Mercurial > projects > ldc
view gen/irstate.cpp @ 109:5ab8e92611f9 trunk
[svn r113] Added initial support for associative arrays (AAs).
Fixed some problems with the string runtime support functions.
Fixed initialization of array of structs.
Fixed slice assignment where LHS is slice but RHS is dynamic array.
Fixed problems with result of assignment expressions.
Fixed foreach problems with key type mismatches.
author | lindquist |
---|---|
date | Wed, 21 Nov 2007 04:13:15 +0100 |
parents | 288fe1029e1f |
children | 27b9f749d9fe |
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 "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); } ////////////////////////////////////////////////////////////////////////////////////////// IRState::IRState() { dmodule = 0; module = 0; emitMain = false; mainFunc = 0; ir.state = this; } 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(); } ////////////////////////////////////////////////////////////////////////////////////////// IRStruct::IRStruct(Type* t) : recty((t->llvmType != NULL) ? *t->llvmType : llvm::OpaqueType::get()) { type = t; defined = false; constinited = false; } ////////////////////////////////////////////////////////////////////////////////////////// IRFinally::IRFinally() { bb = 0; retbb = 0; } IRFinally::IRFinally(llvm::BasicBlock* b, llvm::BasicBlock* rb) { bb = b; retbb = rb; } ////////////////////////////////////////////////////////////////////////////////////////// LLVMBuilder* IRBuilderHelper::operator->() { LLVMBuilder& b = state->scope().builder; assert(b.GetInsertBlock() != NULL); return &b; } ////////////////////////////////////////////////////////////////////////////////////////// IRFunction::IRFunction(FuncDeclaration* fd) { decl = fd; Type* t = DtoDType(fd->type); assert(t->ty == Tfunction); type = (TypeFunction*)t; func = NULL; allocapoint = NULL; finallyretval = NULL; defined = false; } ////////////////////////////////////////////////////////////////////////////////////////// IRExp::IRExp() { e1 = e2 = NULL; v = NULL; } IRExp::IRExp(Expression* l, Expression* r, DValue* val) { e1 = l; e2 = r; v = val; } ////////////////////////////////////////////////////////////////////////////////////////// IRGlobal::IRGlobal(VarDeclaration* v) : type(llvm::OpaqueType::get()) { var = v; }