Mercurial > projects > ldc
view gen/irstate.h @ 100:5071469303d4 trunk
[svn r104] TONS OF FIXES.
Split up declaration, constant initializer gen and definition for globals, structs, classes and functions.
Improved ClassInfo support (not complete), not in vtable yet.
Fixed a bunch of forward reference problems.
Much more. Major commit! :)
author | lindquist |
---|---|
date | Fri, 16 Nov 2007 08:21:47 +0100 |
parents | 6789050b5ad1 |
children | 027b8d8b71ec |
line wrap: on
line source
#ifndef LLVMDC_GEN_IRSTATE_H #define LLVMDC_GEN_IRSTATE_H #include <stack> #include <vector> #include <deque> #include <map> #include "root.h" // global ir state for current module struct IRState; extern IRState* gIR; extern const llvm::TargetData* gTargetData; struct TypeFunction; struct TypeStruct; struct ClassDeclaration; struct FuncDeclaration; struct Module; struct TypeStruct; /* struct LLVMValue { std::vector<llvm::Value*> vals; }; */ // represents a scope struct IRScope { llvm::BasicBlock* begin; llvm::BasicBlock* end; LLVMBuilder builder; IRScope(); IRScope(llvm::BasicBlock* b, llvm::BasicBlock* e); }; // represents a struct or class struct IRStruct : Object { struct Offset { VarDeclaration* var; const llvm::Type* type; llvm::Constant* init; Offset(VarDeclaration* v, const llvm::Type* ty) : var(v), type(ty), init(NULL) {} }; typedef std::multimap<unsigned, Offset> OffsetMap; typedef std::vector<VarDeclaration*> VarDeclVector; public: IRStruct(); IRStruct(Type*); Type* type; llvm::PATypeHolder recty; OffsetMap offsets; VarDeclVector defaultFields; bool defined; bool constinited; }; // represents a finally block struct IRFinally { llvm::BasicBlock* bb; llvm::BasicBlock* retbb; IRFinally(); IRFinally(llvm::BasicBlock* b, llvm::BasicBlock* rb); }; // represents a function struct IRFunction : Object { llvm::Function* func; llvm::Instruction* allocapoint; FuncDeclaration* decl; TypeFunction* type; // finally blocks typedef std::vector<IRFinally> FinallyVec; FinallyVec finallys; llvm::Value* finallyretval; bool defined; IRFunction(FuncDeclaration*); }; struct IRBuilderHelper { IRState* state; LLVMBuilder* operator->(); }; struct IRExp { Expression* e1; Expression* e2; DValue* v; IRExp(); IRExp(Expression* l, Expression* r, DValue* val); }; // represents a global variable struct IRGlobal : Object { VarDeclaration* var; llvm::PATypeHolder type; IRGlobal(VarDeclaration* v); }; // represents the module struct IRState { IRState(); // module Module* dmodule; llvm::Module* module; // functions typedef std::vector<IRFunction*> FunctionVector; FunctionVector functions; IRFunction* func(); llvm::Function* topfunc(); TypeFunction* topfunctype(); llvm::Instruction* topallocapoint(); // structs typedef std::vector<IRStruct*> StructVector; StructVector structs; IRStruct* topstruct(); // classes TODO move into IRClass typedef std::vector<ClassDeclaration*> ClassDeclVec; ClassDeclVec classes; // D main function bool emitMain; llvm::Function* mainFunc; // expression l/r value handling typedef std::vector<IRExp> ExpVec; ExpVec exps; IRExp* topexp(); // basic block scopes std::vector<IRScope> scopes; IRScope& scope(); llvm::BasicBlock* scopebegin(); llvm::BasicBlock* scopeend(); llvm::BasicBlock* scopebb(); bool scopereturned(); // loop blocks typedef std::vector<IRScope> BBVec; BBVec loopbbs; // this holds the array being indexed or sliced so $ will work // might be a better way but it works. problem is I only get a // VarDeclaration for __dollar, but I can't see how to get the // array pointer from this :( std::vector<DValue*> arrays; // builder helper IRBuilderHelper ir; typedef std::vector<Dsymbol*> DsymbolVector; // dsymbols that need constant initializers constructed DsymbolVector constInitQueue; // dsymbols that need definitions (symbols in current module) DsymbolVector defineQueue; }; #endif // LLVMDC_GEN_IRSTATE_H