Mercurial > projects > ldc
view gen/irstate.cpp @ 314:8d98e42ece93 trunk
[svn r335] The basics of exception handling are in place.
Still need to make sure calls are turned into invokes everywhere. (NewExpression for instance)
Still some rough edges and corner cases to figure out.
Needs testing!
author | ChristianK |
---|---|
date | Wed, 02 Jul 2008 22:20:18 +0200 |
parents | 9967a3270837 |
children | a9697749e898 |
line wrap: on
line source
/* DMDFE backend stubs * This file contains the implementations of the backend routines. * For dmdfe these do nothing but print a message saying the module * has been parsed. Substitute your own behaviors for these routimes. */ #include <cstdarg> #include "gen/llvm.h" #include "mtype.h" #include "declaration.h" #include "statement.h" #include "gen/irstate.h" #include "tollvm.h" IRState* gIR = 0; const llvm::TargetData* gTargetData = 0; ////////////////////////////////////////////////////////////////////////////////////////// IRScope::IRScope() { begin = end = NULL; } IRScope::IRScope(llvm::BasicBlock* b, llvm::BasicBlock* e) { begin = b; end = e; builder.SetInsertPoint(b); } ////////////////////////////////////////////////////////////////////////////////////////// IRLoopScope::IRLoopScope() { } IRLoopScope::IRLoopScope(Statement* s, EnclosingHandler* enclosinghandler, llvm::BasicBlock* b, llvm::BasicBlock* e, bool isSwitch) { begin = b; end = e; //builder.SetInsertPoint(b); this->s = s; this->enclosinghandler = enclosinghandler; this->isSwitch = isSwitch; } ////////////////////////////////////////////////////////////////////////////////////////// IRState::IRState() { interfaceInfoType = NULL; mutexType = NULL; dmodule = 0; module = 0; emitMain = false; mainFunc = 0; ir.state = this; asmBlock = NULL; dwarfCUs = NULL; dwarfSPs = NULL; dwarfGVs = NULL; } IrFunction* IRState::func() { assert(!functions.empty() && "Function stack is empty!"); return functions.back(); } llvm::Function* IRState::topfunc() { assert(!functions.empty() && "Function stack is empty!"); return functions.back()->func; } TypeFunction* IRState::topfunctype() { assert(!functions.empty() && "Function stack is empty!"); return functions.back()->type; } llvm::Instruction* IRState::topallocapoint() { assert(!functions.empty() && "AllocaPoint stack is empty!"); return functions.back()->allocapoint; } IrStruct* IRState::topstruct() { assert(!structs.empty() && "Struct vector is empty!"); return structs.back(); } IRExp* IRState::topexp() { return exps.empty() ? NULL : &exps.back(); } IRScope& IRState::scope() { assert(!scopes.empty()); return scopes.back(); } llvm::BasicBlock* IRState::scopebb() { IRScope& s = scope(); assert(s.begin); return s.begin; } llvm::BasicBlock* IRState::scopeend() { IRScope& s = scope(); assert(s.end); return s.end; } bool IRState::scopereturned() { //return scope().returned; return !scopebb()->empty() && scopebb()->back().isTerminator(); } ////////////////////////////////////////////////////////////////////////////////////////// IRBuilder* IRBuilderHelper::operator->() { IRBuilder& b = state->scope().builder; assert(b.GetInsertBlock() != NULL); return &b; } ////////////////////////////////////////////////////////////////////////////////////////// IRExp::IRExp() { e1 = e2 = NULL; v = NULL; } IRExp::IRExp(Expression* l, Expression* r, DValue* val) { e1 = l; e2 = r; v = val; }