mattia/pacciani
Archived
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Implement "ho visto" statement.

Browse Source
This commit is contained in:
Stefano Sanfilippo 2020-02-23 10:52:19 +01:00
parent 7338102d46
commit 4b49bd28e7
1 changed files with 22 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
src/codegen.cpp
View File

@ -102,6 +102,7 @@ public:
llvm::Value* visitLoopStatement(const LoopStatement* l);
llvm::Value* visitInputStatement(const InputStatement* s);
llvm::Value* visitPrintStatement(const PrintStatement* p);
llvm::Value* visitAssertStatement(const AssertStatement* a);
llvm::Value* visitAbortStatement(const AbortStatement* a);
llvm::Value* visitExpressionStatement(const ExpressionStatement* s) {
visit(s->getExpression());
@ -541,6 +542,27 @@ llvm::Value* IRGenerator::visitPrintStatement(const PrintStatement* p) {
return nullptr;
}
llvm::Value* IRGenerator::visitAssertStatement(const AssertStatement* a) {
llvm::BasicBlock* check_bb =
llvm::BasicBlock::Create(context_, "assert.check", current_function());
llvm::BasicBlock* fail_bb = llvm::BasicBlock::Create(context_, "assert.fail", current_function());
llvm::BasicBlock* success_bb =
llvm::BasicBlock::Create(context_, "assert.success", current_function());
builder_.CreateBr(check_bb);
builder_.SetInsertPoint(check_bb);
llvm::Value* condition = evalBooleanCondition(a->getExpression());
builder_.CreateCondBr(condition, success_bb, fail_bb);
builder_.SetInsertPoint(fail_bb);
visitAbortStatement(nullptr); // Assert is just a conditional abort.
builder_.CreateBr(success_bb); // We will never get here, but LLVM does not know.
builder_.SetInsertPoint(success_bb);
return nullptr;
}
llvm::Value* IRGenerator::visitAbortStatement(const AbortStatement*) {
auto abort_builtin = module_->getFunction("abort");
assert(abort_builtin && "Builtin abort was not declared");