projects/ldc: gen/irstate.h annotate

annotate gen/irstate.h @ 315:a9697749e898 trunk

[svn r336] Made sure calls within a landing pad area are invokes. Nested trys still need some consideration.

author	ChristianK
date	Thu, 03 Jul 2008 22:05:45 +0200
parents	8d98e42ece93
children	e9c93739bc4c

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>
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	6
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	7 #include "root.h"
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 108 diff changeset	8 #include "aggregate.h"
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	9
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	10 #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	11 #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	12 #include "ir/irvar.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
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	14 // global ir state for current module
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	15 struct IRState;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	16 extern IRState* gIR;
73 b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 54 diff changeset	17 extern const llvm::TargetData* gTargetData;
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	18
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	19 struct TypeFunction;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	20 struct TypeStruct;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	21 struct ClassDeclaration;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	22 struct FuncDeclaration;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	23 struct Module;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	24 struct TypeStruct;
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 108 diff changeset	25 struct BaseClass;
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	26 struct EnclosingHandler;
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	27
156 ccd07d9f2ce9 [svn r172] moving all IR state previously stored in Dsymbol into IrDsymbol and a Dsymbol->IrDsymbol map ChristianK parents: 155 diff changeset	28 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	29
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	30 // represents a scope
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	31 struct IRScope
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	32 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	33 llvm::BasicBlock* begin;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	34 llvm::BasicBlock* end;
205 9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 189 diff changeset	35 IRBuilder builder;
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	36
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	37 IRScope();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	38 IRScope(llvm::BasicBlock* b, llvm::BasicBlock* e);
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
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 136 diff changeset	41 // scope for loops
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 136 diff changeset	42 struct IRLoopScope : IRScope
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 136 diff changeset	43 {
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 136 diff changeset	44 // generating statement
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 136 diff changeset	45 Statement* s;
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 136 diff changeset	46 // the try of a TryFinally that encloses the loop
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	47 EnclosingHandler* enclosinghandler;
311 9967a3270837 [svn r332] Fix codegen for continue within switch. ChristianK parents: 309 diff changeset	48 // if it is a switch, we are a possible target for break
9967a3270837 [svn r332] Fix codegen for continue within switch. ChristianK parents: 309 diff changeset	49 // but not for continue
9967a3270837 [svn r332] Fix codegen for continue within switch. ChristianK parents: 309 diff changeset	50 bool isSwitch;
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();
311 9967a3270837 [svn r332] Fix codegen for continue within switch. ChristianK parents: 309 diff changeset	53 IRLoopScope(Statement* s, EnclosingHandler* enclosinghandler, llvm::BasicBlock* b, llvm::BasicBlock* e, bool isSwitch = false);
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;
205 9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 189 diff changeset	59 IRBuilder* operator->();
40 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
232 092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 213 diff changeset	71 struct IRAsmStmt
092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 213 diff changeset	72 {
092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 213 diff changeset	73 std::string code;
092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 213 diff changeset	74 std::string out_c;
092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 213 diff changeset	75 std::string in_c;
092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 213 diff changeset	76 std::vector<LLValue*> out;
092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 213 diff changeset	77 std::vector<LLValue*> in;
299 df8a7b8d5929 [svn r320] Begun work on branches out of asm blocks. Unfinished. ChristianK parents: 252 diff changeset	78
302 bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 299 diff changeset	79 // if this is nonzero, it contains the target label
305 2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 302 diff changeset	80 Identifier* isBranchToLabel;
232 092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 213 diff changeset	81 };
092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 213 diff changeset	82
233 76ee1bbe487e [svn r249] Changed inline asm clobbers to a set instead of a list so we don't get duplicate clobbers. lindquist parents: 232 diff changeset	83 struct IRAsmBlock
76ee1bbe487e [svn r249] Changed inline asm clobbers to a set instead of a list so we don't get duplicate clobbers. lindquist parents: 232 diff changeset	84 {
76ee1bbe487e [svn r249] Changed inline asm clobbers to a set instead of a list so we don't get duplicate clobbers. lindquist parents: 232 diff changeset	85 std::vector<IRAsmStmt*> s;
76ee1bbe487e [svn r249] Changed inline asm clobbers to a set instead of a list so we don't get duplicate clobbers. lindquist parents: 232 diff changeset	86 std::set<std::string> clobs;
299 df8a7b8d5929 [svn r320] Begun work on branches out of asm blocks. Unfinished. ChristianK parents: 252 diff changeset	87
df8a7b8d5929 [svn r320] Begun work on branches out of asm blocks. Unfinished. ChristianK parents: 252 diff changeset	88 // stores the labels within the asm block
df8a7b8d5929 [svn r320] Begun work on branches out of asm blocks. Unfinished. ChristianK parents: 252 diff changeset	89 std::vector<Identifier*> internalLabels;
233 76ee1bbe487e [svn r249] Changed inline asm clobbers to a set instead of a list so we don't get duplicate clobbers. lindquist parents: 232 diff changeset	90 };
76ee1bbe487e [svn r249] Changed inline asm clobbers to a set instead of a list so we don't get duplicate clobbers. lindquist parents: 232 diff changeset	91
315 a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	92 // llvm::CallInst and llvm::InvokeInst don't share a common base
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	93 // but share common functionality. to avoid duplicating code for
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	94 // adjusting these common properties these structs are made
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	95 struct CallOrInvoke
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	96 {
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	97 virtual void setParamAttrs(const llvm::PAListPtr& Attrs) = 0;
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	98 virtual void setCallingConv(unsigned CC) = 0;
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	99 virtual llvm::Instruction* get() = 0;
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	100 };
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	101
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	102 struct CallOrInvoke_Call : public CallOrInvoke
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	103 {
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	104 llvm::CallInst* inst;
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	105 CallOrInvoke_Call(llvm::CallInst* call) : inst(call) {}
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	106
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	107 virtual void setParamAttrs(const llvm::PAListPtr& Attrs)
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	108 { inst->setParamAttrs(Attrs); }
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	109 virtual void setCallingConv(unsigned CC)
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	110 { inst->setCallingConv(CC); }
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	111 virtual llvm::Instruction* get()
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	112 { return inst; }
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	113 };
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	114
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	115 struct CallOrInvoke_Invoke : public CallOrInvoke
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	116 {
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	117 llvm::InvokeInst* inst;
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	118 CallOrInvoke_Invoke(llvm::InvokeInst* invoke) : inst(invoke) {}
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	119
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	120 virtual void setParamAttrs(const llvm::PAListPtr& Attrs)
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	121 { inst->setParamAttrs(Attrs); }
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	122 virtual void setCallingConv(unsigned CC)
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	123 { inst->setCallingConv(CC); }
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	124 virtual llvm::Instruction* get()
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	125 { return inst; }
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	126 };
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	127
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	128 // represents the module
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	129 struct IRState
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	130 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	131 IRState();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	132
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	133 // module
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	134 Module* dmodule;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	135 llvm::Module* module;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	136
161 3a891cfcd249 [svn r177] moved variable for interface info type from being local static to being within IRState ChristianK parents: 157 diff changeset	137 // interface info type, used in DtoInterfaceInfoType
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	138 const LLStructType* interfaceInfoType;
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	139 const LLStructType* mutexType;
161 3a891cfcd249 [svn r177] moved variable for interface info type from being local static to being within IRState ChristianK parents: 157 diff changeset	140
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	141 // 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	142 typedef std::vector<IrFunction*> FunctionVector;
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	143 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	144 IrFunction* func();
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	145
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	146 llvm::Function* topfunc();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	147 TypeFunction* topfunctype();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	148 llvm::Instruction* topallocapoint();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	149
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	150 // 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	151 typedef std::vector<IrStruct*> StructVector;
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	152 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	153 IrStruct* topstruct();
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	154
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	155 // classes TODO move into IRClass
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	156 typedef std::vector<ClassDeclaration*> ClassDeclVec;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	157 ClassDeclVec classes;
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 6 diff changeset	158
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	159 // D main function
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	160 bool emitMain;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	161 llvm::Function* mainFunc;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	162
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 40 diff changeset	163 // expression l/r value handling
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 40 diff changeset	164 typedef std::vector<IRExp> ExpVec;
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 40 diff changeset	165 ExpVec exps;
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 40 diff changeset	166 IRExp* topexp();
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	167
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	168 // basic block scopes
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	169 std::vector<IRScope> scopes;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	170 IRScope& scope();
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 103 diff changeset	171 llvm::BasicBlock* scopebb();
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	172 llvm::BasicBlock* scopeend();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	173 bool scopereturned();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	174
314 8d98e42ece93 [svn r335] The basics of exception handling are in place. ChristianK parents: 311 diff changeset	175 // landing pads for try statements
8d98e42ece93 [svn r335] The basics of exception handling are in place. ChristianK parents: 311 diff changeset	176 typedef std::vector<llvm::BasicBlock*> BBVec;
8d98e42ece93 [svn r335] The basics of exception handling are in place. ChristianK parents: 311 diff changeset	177 BBVec landingPads;
8d98e42ece93 [svn r335] The basics of exception handling are in place. ChristianK parents: 311 diff changeset	178
315 a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	179 // create a call or invoke, depending on the landing pad info
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	180 // the template function is defined further down in this file
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	181 template <typename InputIterator>
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	182 CallOrInvoke* CreateCallOrInvoke(LLValue* Callee, InputIterator ArgBegin, InputIterator ArgEnd, const char* Name="");
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	183 CallOrInvoke* CreateCallOrInvoke(LLValue* Callee, const char* Name="");
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	184 CallOrInvoke* CreateCallOrInvoke(LLValue* Callee, LLValue* Arg1, const char* Name="");
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	185 CallOrInvoke* CreateCallOrInvoke2(LLValue* Callee, LLValue* Arg1, LLValue* Arg2, const char* Name="");
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	186 CallOrInvoke* CreateCallOrInvoke3(LLValue* Callee, LLValue* Arg1, LLValue* Arg2, LLValue* Arg3, const char* Name="");
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	187 CallOrInvoke* CreateCallOrInvoke4(LLValue* Callee, LLValue* Arg1, LLValue* Arg2, LLValue* Arg3, LLValue* Arg4, const char* Name="");
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	188
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	189 // loop blocks
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 136 diff changeset	190 typedef std::vector<IRLoopScope> LoopScopeVec;
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 136 diff changeset	191 LoopScopeVec loopbbs;
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	192
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	193 // 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	194 // 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	195 // 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	196 // 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	197 std::vector<DValue*> arrays;
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 6 diff changeset	198
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	199 // builder helper
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	200 IRBuilderHelper ir;
98 6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 94 diff changeset	201
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	202 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	203 // 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	204 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	205 // 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	206 DsymbolList declareList;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	207 // 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	208 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	209 // 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	210 DsymbolList defineList;
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 113 diff changeset	211
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 113 diff changeset	212 // static ctors/dtors/unittests
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 113 diff changeset	213 typedef std::vector<FuncDeclaration*> FuncDeclVector;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 113 diff changeset	214 FuncDeclVector ctors;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 113 diff changeset	215 FuncDeclVector dtors;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 113 diff changeset	216 FuncDeclVector unitTests;
232 092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 213 diff changeset	217
092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 213 diff changeset	218 // for inline asm
233 76ee1bbe487e [svn r249] Changed inline asm clobbers to a set instead of a list so we don't get duplicate clobbers. lindquist parents: 232 diff changeset	219 IRAsmBlock* asmBlock;
250 fc9c1a0eabbd [svn r267] Fixed debug info for global variables. lindquist parents: 233 diff changeset	220
252 e3355ce5444b [svn r269] Fixed dwarf debug info for structs. lindquist parents: 250 diff changeset	221 // dwarf dbg stuff
e3355ce5444b [svn r269] Fixed dwarf debug info for structs. lindquist parents: 250 diff changeset	222 // 'used' array solely for keeping a reference to globals
250 fc9c1a0eabbd [svn r267] Fixed debug info for global variables. lindquist parents: 233 diff changeset	223 std::vector<LLConstant*> usedArray;
252 e3355ce5444b [svn r269] Fixed dwarf debug info for structs. lindquist parents: 250 diff changeset	224 LLGlobalVariable* dwarfCUs;
e3355ce5444b [svn r269] Fixed dwarf debug info for structs. lindquist parents: 250 diff changeset	225 LLGlobalVariable* dwarfSPs;
e3355ce5444b [svn r269] Fixed dwarf debug info for structs. lindquist parents: 250 diff changeset	226 LLGlobalVariable* dwarfGVs;
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	227 };
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	228
315 a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	229 template <typename InputIterator>
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	230 CallOrInvoke* IRState::CreateCallOrInvoke(LLValue* Callee, InputIterator ArgBegin, InputIterator ArgEnd, const char* Name)
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	231 {
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	232 if(landingPads.empty())
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	233 return new CallOrInvoke_Call(ir->CreateCall(Callee, ArgBegin, ArgEnd, Name));
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	234 else
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	235 {
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	236 llvm::BasicBlock* postinvoke = llvm::BasicBlock::Create("postinvoke", topfunc(), scopeend());
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	237 llvm::InvokeInst* invoke = ir->CreateInvoke(Callee, postinvoke, *landingPads.rbegin(), ArgBegin, ArgEnd, Name);
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	238 scope() = IRScope(postinvoke, scopeend());
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	239 return new CallOrInvoke_Invoke(invoke);
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	240 }
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	241 }
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	242
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	243 #endif // LLVMDC_GEN_IRSTATE_H

Mercurial > projects > ldc

annotate gen/irstate.h @ 315:a9697749e898 trunk