projects/ldc: gen/irstate.h annotate

annotate gen/irstate.h @ 161:3a891cfcd249 trunk

[svn r177] moved variable for interface info type from being local static to being within IRState

author	ChristianK
date	Sun, 04 May 2008 21:25:48 +0200
parents	5c17f81fc1c1
children	db9890b3fb64

rev	line source
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	1 #ifndef LLVMDC_GEN_IRSTATE_H
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	2 #define LLVMDC_GEN_IRSTATE_H
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	3
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	4 #include <vector>
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	5 #include <list>
155 7f92f477ff53 [svn r171] starting to move IR data from AST nodes into IRState; started with IrFunction ChristianK parents: 148 diff changeset	6 #include <map>
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	7
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	8 #include "root.h"
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 108 diff changeset	9 #include "aggregate.h"
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	10
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 116 diff changeset	11 #include "ir/irfunction.h"
0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 116 diff changeset	12 #include "ir/irstruct.h"
0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 116 diff changeset	13 #include "ir/irvar.h"
156 ccd07d9f2ce9 [svn r172] moving all IR state previously stored in Dsymbol into IrDsymbol and a Dsymbol->IrDsymbol map ChristianK parents: 155 diff changeset	14 #include "ir/irsymbol.h"
157 5c17f81fc1c1 [svn r173] moved IR state previously stored in Type into IrType and a Type->IrType map; fixes #7 ChristianK parents: 156 diff changeset	15 #include "ir/irtype.h"
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 116 diff changeset	16
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	17 // global ir state for current module
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	18 struct IRState;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	19 extern IRState* gIR;
73 b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 54 diff changeset	20 extern const llvm::TargetData* gTargetData;
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	21
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	22 struct TypeFunction;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	23 struct TypeStruct;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	24 struct ClassDeclaration;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	25 struct FuncDeclaration;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	26 struct Module;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	27 struct TypeStruct;
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 108 diff changeset	28 struct BaseClass;
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 136 diff changeset	29 struct TryFinallyStatement;
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	30
156 ccd07d9f2ce9 [svn r172] moving all IR state previously stored in Dsymbol into IrDsymbol and a Dsymbol->IrDsymbol map ChristianK parents: 155 diff changeset	31 struct IrModule;
ccd07d9f2ce9 [svn r172] moving all IR state previously stored in Dsymbol into IrDsymbol and a Dsymbol->IrDsymbol map ChristianK parents: 155 diff changeset	32
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	33 // represents a scope
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	34 struct IRScope
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	35 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	36 llvm::BasicBlock* begin;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	37 llvm::BasicBlock* end;
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	38 LLVMBuilder builder;
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	39
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	40 IRScope();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	41 IRScope(llvm::BasicBlock* b, llvm::BasicBlock* e);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	42 };
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	43
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 136 diff changeset	44 // scope for loops
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 136 diff changeset	45 struct IRLoopScope : IRScope
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 136 diff changeset	46 {
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 136 diff changeset	47 // generating statement
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 136 diff changeset	48 Statement* s;
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 136 diff changeset	49 // the try of a TryFinally that encloses the loop
148 86d3bb8ca33e [svn r154] renaming enclosingtry to enclosingtryfinally to distinguish it from enclosingtrycatch, which will probably need to be added for exception handling ChristianK parents: 145 diff changeset	50 TryFinallyStatement* enclosingtryfinally;
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 136 diff changeset	51
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 136 diff changeset	52 IRLoopScope();
148 86d3bb8ca33e [svn r154] renaming enclosingtry to enclosingtryfinally to distinguish it from enclosingtrycatch, which will probably need to be added for exception handling ChristianK parents: 145 diff changeset	53 IRLoopScope(Statement* s, TryFinallyStatement* enclosingtryfinally, llvm::BasicBlock* b, llvm::BasicBlock* e);
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 136 diff changeset	54 };
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 136 diff changeset	55
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	56 struct IRBuilderHelper
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	57 {
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	58 IRState* state;
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	59 LLVMBuilder* operator->();
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	60 };
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	61
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 40 diff changeset	62 struct IRExp
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 40 diff changeset	63 {
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 40 diff changeset	64 Expression* e1;
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 40 diff changeset	65 Expression* e2;
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	66 DValue* v;
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 40 diff changeset	67 IRExp();
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	68 IRExp(Expression* l, Expression* r, DValue* val);
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 40 diff changeset	69 };
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 40 diff changeset	70
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	71 // represents the module
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	72 struct IRState
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	73 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	74 IRState();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	75
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	76 // module
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	77 Module* dmodule;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	78 llvm::Module* module;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	79
161 3a891cfcd249 [svn r177] moved variable for interface info type from being local static to being within IRState ChristianK parents: 157 diff changeset	80 // interface info type, used in DtoInterfaceInfoType
3a891cfcd249 [svn r177] moved variable for interface info type from being local static to being within IRState ChristianK parents: 157 diff changeset	81 llvm::StructType* interfaceInfoType;
3a891cfcd249 [svn r177] moved variable for interface info type from being local static to being within IRState ChristianK parents: 157 diff changeset	82
156 ccd07d9f2ce9 [svn r172] moving all IR state previously stored in Dsymbol into IrDsymbol and a Dsymbol->IrDsymbol map ChristianK parents: 155 diff changeset	83 // ir data associated with DMD Dsymbol nodes
ccd07d9f2ce9 [svn r172] moving all IR state previously stored in Dsymbol into IrDsymbol and a Dsymbol->IrDsymbol map ChristianK parents: 155 diff changeset	84 std::map<Dsymbol*, IrDsymbol> irDsymbol;
ccd07d9f2ce9 [svn r172] moving all IR state previously stored in Dsymbol into IrDsymbol and a Dsymbol->IrDsymbol map ChristianK parents: 155 diff changeset	85
157 5c17f81fc1c1 [svn r173] moved IR state previously stored in Type into IrType and a Type->IrType map; fixes #7 ChristianK parents: 156 diff changeset	86 // ir data associated with DMD Type instances
5c17f81fc1c1 [svn r173] moved IR state previously stored in Type into IrType and a Type->IrType map; fixes #7 ChristianK parents: 156 diff changeset	87 std::map<Type*, IrType> irType;
5c17f81fc1c1 [svn r173] moved IR state previously stored in Type into IrType and a Type->IrType map; fixes #7 ChristianK parents: 156 diff changeset	88
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	89 // functions
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 116 diff changeset	90 typedef std::vector<IrFunction*> FunctionVector;
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	91 FunctionVector functions;
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 116 diff changeset	92 IrFunction* func();
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	93
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	94 llvm::Function* topfunc();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	95 TypeFunction* topfunctype();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	96 llvm::Instruction* topallocapoint();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	97
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	98 // structs
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 116 diff changeset	99 typedef std::vector<IrStruct*> StructVector;
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	100 StructVector structs;
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 116 diff changeset	101 IrStruct* topstruct();
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	102
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	103 // classes TODO move into IRClass
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	104 typedef std::vector<ClassDeclaration*> ClassDeclVec;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	105 ClassDeclVec classes;
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 6 diff changeset	106
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	107 // D main function
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	108 bool emitMain;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	109 llvm::Function* mainFunc;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	110
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 40 diff changeset	111 // expression l/r value handling
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 40 diff changeset	112 typedef std::vector<IRExp> ExpVec;
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 40 diff changeset	113 ExpVec exps;
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 40 diff changeset	114 IRExp* topexp();
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	115
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	116 // basic block scopes
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	117 std::vector<IRScope> scopes;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	118 IRScope& scope();
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 103 diff changeset	119 llvm::BasicBlock* scopebb();
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	120 llvm::BasicBlock* scopeend();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	121 bool scopereturned();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	122
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	123 // loop blocks
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	124 typedef std::vector<IRScope> BBVec;
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 136 diff changeset	125 typedef std::vector<IRLoopScope> LoopScopeVec;
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 136 diff changeset	126 LoopScopeVec loopbbs;
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	127
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	128 // this holds the array being indexed or sliced so $ will work
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	129 // might be a better way but it works. problem is I only get a
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	130 // VarDeclaration for __dollar, but I can't see how to get the
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	131 // array pointer from this :(
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	132 std::vector<DValue*> arrays;
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 6 diff changeset	133
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	134 // builder helper
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	135 IRBuilderHelper ir;
98 6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 94 diff changeset	136
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	137 typedef std::list<Dsymbol*> DsymbolList;
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	138 // dsymbols that need to be resolved
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	139 DsymbolList resolveList;
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	140 // dsymbols that need to be declared
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	141 DsymbolList declareList;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	142 // dsymbols that need constant initializers constructed
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	143 DsymbolList constInitList;
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	144 // dsymbols that need definitions
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	145 DsymbolList defineList;
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 113 diff changeset	146
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 113 diff changeset	147 // static ctors/dtors/unittests
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 113 diff changeset	148 typedef std::vector<FuncDeclaration*> FuncDeclVector;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 113 diff changeset	149 FuncDeclVector ctors;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 113 diff changeset	150 FuncDeclVector dtors;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 113 diff changeset	151 FuncDeclVector unitTests;
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	152 };
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	153
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	154 #endif // LLVMDC_GEN_IRSTATE_H

Mercurial > projects > ldc

annotate gen/irstate.h @ 161:3a891cfcd249 trunk