Class Assert

Inheritance Relationships

Base Type

Class Documentation

class seq::Assert : public seq::Stmt

Public Functions

Assert(Expr *expr, Expr *msg = nullptr)
void resolveTypes() override

Performs type resolution on this statement and all sub-expressions/statements/etc. This is called prior to Expr::getType().

void codegen0(llvm::BasicBlock *&block) override

Performs code generation for this statement.

  • block: reference to block where code should be generated; possibly modified to point to a new block where codegen should resume

Assert *clone(Generic *ref) override

Clones this statement. ref is used internally to keep track of cloned objects, and to make sure we don’t clone certain objects twice.


cloned statement

  • ref: generic object that is being cloned