projects/ldc: gen/irstate.h annotate

annotate gen/irstate.h @ 1148:3d1b16dabd25

Eliminated the need for resolve, declare, const-init and define lists to drive code generation.

author	Tomas Lindquist Olsen <tomas.l.olsen gmail.com>
date	Fri, 27 Mar 2009 21:50:32 +0100
parents	40caa8207b3e
children	6bd5ce91b136

rev	line source
664 eef8ac26c66c Some missed LLVMDC -> LDC. Christian Kamm <kamm incasoftware de> parents: 632 diff changeset	1 #ifndef LDC_GEN_IRSTATE_H
eef8ac26c66c Some missed LLVMDC -> LDC. Christian Kamm <kamm incasoftware de> parents: 632 diff changeset	2 #define LDC_GEN_IRSTATE_H
1 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>
945 03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	5 #include <deque>
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	6 #include <list>
920 545f54041d91 Implemented proper support for naked asm using llvm module level asm. Still not 100% complete, but already 1000 times better that what we had before. Don's BignumX86 implementation from Tango (when turned into a standalone unittest) seems to fully work with no changes, and great performance :) Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 797 diff changeset	7 #include <sstream>
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	8
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	9 #include "root.h"
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 108 diff changeset	10 #include "aggregate.h"
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	11
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	12 #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	13 #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	14 #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	15
1013 8c73ff5f69e0 Use llvm::CallSite instead of custom CallOrInvoke class. Frits van Bommel <fvbommel wxs.nl> parents: 988 diff changeset	16 #include "llvm/Support/CallSite.h"
8c73ff5f69e0 Use llvm::CallSite instead of custom CallOrInvoke class. Frits van Bommel <fvbommel wxs.nl> parents: 988 diff changeset	17
988 2667e3a145be - Fixed LLVM style CL args for D2. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 971 diff changeset	18 namespace llvm {
2667e3a145be - Fixed LLVM style CL args for D2. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 971 diff changeset	19 class TargetMachine;
2667e3a145be - Fixed LLVM style CL args for D2. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 971 diff changeset	20 }
2667e3a145be - Fixed LLVM style CL args for D2. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 971 diff changeset	21
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	22 // global ir state for current module
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	23 struct IRState;
988 2667e3a145be - Fixed LLVM style CL args for D2. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 971 diff changeset	24 struct TargetABI;
2667e3a145be - Fixed LLVM style CL args for D2. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 971 diff changeset	25
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	26 extern IRState* gIR;
988 2667e3a145be - Fixed LLVM style CL args for D2. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 971 diff changeset	27 extern llvm::TargetMachine* gTargetMachine;
73 b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 54 diff changeset	28 extern const llvm::TargetData* gTargetData;
988 2667e3a145be - Fixed LLVM style CL args for D2. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 971 diff changeset	29 extern TargetABI* gABI;
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	30
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	31 struct TypeFunction;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	32 struct TypeStruct;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	33 struct ClassDeclaration;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	34 struct FuncDeclaration;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	35 struct Module;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	36 struct TypeStruct;
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 108 diff changeset	37 struct BaseClass;
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 664 diff changeset	38 struct AnonDeclaration;
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	39
156 ccd07d9f2ce9 [svn r172] moving all IR state previously stored in Dsymbol into IrDsymbol and a Dsymbol->IrDsymbol map ChristianK parents: 155 diff changeset	40 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	41
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	42 // represents a scope
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	43 struct IRScope
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	44 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	45 llvm::BasicBlock* begin;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	46 llvm::BasicBlock* end;
493 017ca8645a1f Make llvmdc work with llvm 2.4svn revision 54614. Breaks compatibility with llvm 2.3. Christian Kamm <kamm incasoftware de> parents: 477 diff changeset	47 IRBuilder<> builder;
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	48
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	49 IRScope();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	50 IRScope(llvm::BasicBlock* b, llvm::BasicBlock* e);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	51 };
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	52
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	53 struct IRBuilderHelper
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	54 {
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	55 IRState* state;
493 017ca8645a1f Make llvmdc work with llvm 2.4svn revision 54614. Breaks compatibility with llvm 2.3. Christian Kamm <kamm incasoftware de> parents: 477 diff changeset	56 IRBuilder<>* operator->();
40 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
232 092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 213 diff changeset	59 struct IRAsmStmt
092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 213 diff changeset	60 {
477 253f234eb80c Make sure to initialize isBranchToLabel to zero. Christian Kamm <kamm incasoftware de> parents: 447 diff changeset	61 IRAsmStmt()
253f234eb80c Make sure to initialize isBranchToLabel to zero. Christian Kamm <kamm incasoftware de> parents: 447 diff changeset	62 : isBranchToLabel(NULL) {}
253f234eb80c Make sure to initialize isBranchToLabel to zero. Christian Kamm <kamm incasoftware de> parents: 447 diff changeset	63
232 092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 213 diff changeset	64 std::string code;
092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 213 diff changeset	65 std::string out_c;
092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 213 diff changeset	66 std::string in_c;
092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 213 diff changeset	67 std::vector<LLValue*> out;
092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 213 diff changeset	68 std::vector<LLValue*> in;
299 df8a7b8d5929 [svn r320] Begun work on branches out of asm blocks. Unfinished. ChristianK parents: 252 diff changeset	69
302 bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 299 diff changeset	70 // 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	71 Identifier* isBranchToLabel;
232 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
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	74 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	75 {
945 03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	76 std::deque<IRAsmStmt*> s;
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	77 std::set<std::string> clobs;
971 985104c0f1db Fix the problems exposed by the callingconv1.d test case. Frits van Bommel <fvbommel wxs.nl> parents: 959 diff changeset	78 size_t outputcount;
299 df8a7b8d5929 [svn r320] Begun work on branches out of asm blocks. Unfinished. ChristianK parents: 252 diff changeset	79
df8a7b8d5929 [svn r320] Begun work on branches out of asm blocks. Unfinished. ChristianK parents: 252 diff changeset	80 // stores the labels within the asm block
df8a7b8d5929 [svn r320] Begun work on branches out of asm blocks. Unfinished. ChristianK parents: 252 diff changeset	81 std::vector<Identifier*> internalLabels;
945 03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	82
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	83 AsmBlockStatement* asmBlock;
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	84 const LLType* retty;
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	85 unsigned retn;
954 e048e36bc155 Added support for using a temporary to implement emulated ABI return from inline asm, could be easier to use, but I think this will do. It's so extremely target dependent in any case that doing a completely generic approach seems hard. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 946 diff changeset	86 bool retemu; // emulate abi ret with a temporary
959 7e669954db7d Implement implicit return after inline asm on x86_64 Frits van Bommel <fvbommel wxs.nl> parents: 954 diff changeset	87 LLValue* (retfixup)(IRBuilderHelper b, LLValue orig); // Modifies retval
945 03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	88
959 7e669954db7d Implement implicit return after inline asm on x86_64 Frits van Bommel <fvbommel wxs.nl> parents: 954 diff changeset	89 IRAsmBlock(AsmBlockStatement* b)
971 985104c0f1db Fix the problems exposed by the callingconv1.d test case. Frits van Bommel <fvbommel wxs.nl> parents: 959 diff changeset	90 : asmBlock(b), retty(NULL), retn(0), retemu(false), retfixup(NULL),
985104c0f1db Fix the problems exposed by the callingconv1.d test case. Frits van Bommel <fvbommel wxs.nl> parents: 959 diff changeset	91 outputcount(0)
985104c0f1db Fix the problems exposed by the callingconv1.d test case. Frits van Bommel <fvbommel wxs.nl> parents: 959 diff changeset	92 {}
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	93 };
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	94
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	95 // represents the module
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	96 struct IRState
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	97 {
946 1714836f2c0b Mostly rewrite debug info generation in terms of llvm/Analysis/DebugInfo.h. Christian Kamm <kamm incasoftware de> parents: 945 diff changeset	98 IRState(llvm::Module* m);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	99
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	100 // module
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	101 Module* dmodule;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	102 llvm::Module* module;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	103
161 3a891cfcd249 [svn r177] moved variable for interface info type from being local static to being within IRState ChristianK parents: 157 diff changeset	104 // interface info type, used in DtoInterfaceInfoType
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	105 const LLStructType* interfaceInfoType;
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	106 const LLStructType* mutexType;
323 0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 319 diff changeset	107 const LLStructType* moduleRefType;
161 3a891cfcd249 [svn r177] moved variable for interface info type from being local static to being within IRState ChristianK parents: 157 diff changeset	108
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	109 // 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	110 typedef std::vector<IrFunction*> FunctionVector;
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	111 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	112 IrFunction* func();
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	113
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	114 llvm::Function* topfunc();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	115 TypeFunction* topfunctype();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	116 llvm::Instruction* topallocapoint();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	117
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	118 // 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	119 typedef std::vector<IrStruct*> StructVector;
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	120 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	121 IrStruct* topstruct();
1 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 // D main function
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	124 bool emitMain;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	125 llvm::Function* mainFunc;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	126
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	127 // basic block scopes
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	128 std::vector<IRScope> scopes;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	129 IRScope& scope();
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 103 diff changeset	130 llvm::BasicBlock* scopebb();
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	131 llvm::BasicBlock* scopeend();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	132 bool scopereturned();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	133
315 a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	134 // 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	135 // 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	136 template <typename InputIterator>
1013 8c73ff5f69e0 Use llvm::CallSite instead of custom CallOrInvoke class. Frits van Bommel <fvbommel wxs.nl> parents: 988 diff changeset	137 llvm::CallSite CreateCallOrInvoke(LLValue* Callee, InputIterator ArgBegin, InputIterator ArgEnd, const char* Name="");
8c73ff5f69e0 Use llvm::CallSite instead of custom CallOrInvoke class. Frits van Bommel <fvbommel wxs.nl> parents: 988 diff changeset	138 llvm::CallSite CreateCallOrInvoke(LLValue* Callee, const char* Name="");
8c73ff5f69e0 Use llvm::CallSite instead of custom CallOrInvoke class. Frits van Bommel <fvbommel wxs.nl> parents: 988 diff changeset	139 llvm::CallSite CreateCallOrInvoke(LLValue* Callee, LLValue* Arg1, const char* Name="");
8c73ff5f69e0 Use llvm::CallSite instead of custom CallOrInvoke class. Frits van Bommel <fvbommel wxs.nl> parents: 988 diff changeset	140 llvm::CallSite CreateCallOrInvoke2(LLValue* Callee, LLValue* Arg1, LLValue* Arg2, const char* Name="");
8c73ff5f69e0 Use llvm::CallSite instead of custom CallOrInvoke class. Frits van Bommel <fvbommel wxs.nl> parents: 988 diff changeset	141 llvm::CallSite CreateCallOrInvoke3(LLValue* Callee, LLValue* Arg1, LLValue* Arg2, LLValue* Arg3, const char* Name="");
8c73ff5f69e0 Use llvm::CallSite instead of custom CallOrInvoke class. Frits van Bommel <fvbommel wxs.nl> parents: 988 diff changeset	142 llvm::CallSite CreateCallOrInvoke4(LLValue* Callee, LLValue* Arg1, LLValue* Arg2, LLValue* Arg3, LLValue* Arg4, const char* Name="");
315 a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	143
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	144 // 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	145 // 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	146 // 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	147 // 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	148 std::vector<DValue*> arrays;
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 6 diff changeset	149
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	150 // builder helper
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	151 IRBuilderHelper ir;
98 6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 94 diff changeset	152
946 1714836f2c0b Mostly rewrite debug info generation in terms of llvm/Analysis/DebugInfo.h. Christian Kamm <kamm incasoftware de> parents: 945 diff changeset	153 // debug info helper
1714836f2c0b Mostly rewrite debug info generation in terms of llvm/Analysis/DebugInfo.h. Christian Kamm <kamm incasoftware de> parents: 945 diff changeset	154 llvm::DIFactory difactory;
1714836f2c0b Mostly rewrite debug info generation in terms of llvm/Analysis/DebugInfo.h. Christian Kamm <kamm incasoftware de> parents: 945 diff changeset	155
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 113 diff changeset	156 // static ctors/dtors/unittests
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 113 diff changeset	157 typedef std::vector<FuncDeclaration*> FuncDeclVector;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 113 diff changeset	158 FuncDeclVector ctors;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 113 diff changeset	159 FuncDeclVector dtors;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 113 diff changeset	160 FuncDeclVector unitTests;
232 092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 213 diff changeset	161
092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 213 diff changeset	162 // 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	163 IRAsmBlock* asmBlock;
920 545f54041d91 Implemented proper support for naked asm using llvm module level asm. Still not 100% complete, but already 1000 times better that what we had before. Don's BignumX86 implementation from Tango (when turned into a standalone unittest) seems to fully work with no changes, and great performance :) Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 797 diff changeset	164 std::ostringstream nakedAsm;
545f54041d91 Implemented proper support for naked asm using llvm module level asm. Still not 100% complete, but already 1000 times better that what we had before. Don's BignumX86 implementation from Tango (when turned into a standalone unittest) seems to fully work with no changes, and great performance :) Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 797 diff changeset	165
545f54041d91 Implemented proper support for naked asm using llvm module level asm. Still not 100% complete, but already 1000 times better that what we had before. Don's BignumX86 implementation from Tango (when turned into a standalone unittest) seems to fully work with no changes, and great performance :) Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 797 diff changeset	166 // 'used' array solely for keeping a reference to globals
545f54041d91 Implemented proper support for naked asm using llvm module level asm. Still not 100% complete, but already 1000 times better that what we had before. Don's BignumX86 implementation from Tango (when turned into a standalone unittest) seems to fully work with no changes, and great performance :) Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 797 diff changeset	167 std::vector<LLConstant*> usedArray;
250 fc9c1a0eabbd [svn r267] Fixed debug info for global variables. lindquist parents: 233 diff changeset	168
252 e3355ce5444b [svn r269] Fixed dwarf debug info for structs. lindquist parents: 250 diff changeset	169 // dwarf dbg stuff
e3355ce5444b [svn r269] Fixed dwarf debug info for structs. lindquist parents: 250 diff changeset	170 LLGlobalVariable* dwarfCUs;
e3355ce5444b [svn r269] Fixed dwarf debug info for structs. lindquist parents: 250 diff changeset	171 LLGlobalVariable* dwarfSPs;
e3355ce5444b [svn r269] Fixed dwarf debug info for structs. lindquist parents: 250 diff changeset	172 LLGlobalVariable* dwarfGVs;
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	173 };
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	174
315 a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	175 template <typename InputIterator>
1013 8c73ff5f69e0 Use llvm::CallSite instead of custom CallOrInvoke class. Frits van Bommel <fvbommel wxs.nl> parents: 988 diff changeset	176 llvm::CallSite IRState::CreateCallOrInvoke(LLValue* Callee, InputIterator ArgBegin, InputIterator ArgEnd, const char* Name)
315 a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	177 {
319 e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	178 llvm::BasicBlock* pad;
e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	179 if(pad = func()->landingPad.get())
315 a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	180 {
447 f7259fa1349c Fixed problem with invoking intrinsics, which llvm doesn't allow. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 334 diff changeset	181 // intrinsics don't support invoking
f7259fa1349c Fixed problem with invoking intrinsics, which llvm doesn't allow. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 334 diff changeset	182 LLFunction* funcval = llvm::dyn_cast<LLFunction>(Callee);
f7259fa1349c Fixed problem with invoking intrinsics, which llvm doesn't allow. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 334 diff changeset	183 if (funcval && funcval->isIntrinsic())
f7259fa1349c Fixed problem with invoking intrinsics, which llvm doesn't allow. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 334 diff changeset	184 {
1013 8c73ff5f69e0 Use llvm::CallSite instead of custom CallOrInvoke class. Frits van Bommel <fvbommel wxs.nl> parents: 988 diff changeset	185 return ir->CreateCall(Callee, ArgBegin, ArgEnd, Name);
447 f7259fa1349c Fixed problem with invoking intrinsics, which llvm doesn't allow. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 334 diff changeset	186 }
f7259fa1349c Fixed problem with invoking intrinsics, which llvm doesn't allow. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 334 diff changeset	187
315 a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	188 llvm::BasicBlock* postinvoke = llvm::BasicBlock::Create("postinvoke", topfunc(), scopeend());
319 e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	189 llvm::InvokeInst* invoke = ir->CreateInvoke(Callee, postinvoke, pad, ArgBegin, ArgEnd, Name);
315 a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	190 scope() = IRScope(postinvoke, scopeend());
1013 8c73ff5f69e0 Use llvm::CallSite instead of custom CallOrInvoke class. Frits van Bommel <fvbommel wxs.nl> parents: 988 diff changeset	191 return invoke;
315 a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	192 }
319 e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	193 else
1013 8c73ff5f69e0 Use llvm::CallSite instead of custom CallOrInvoke class. Frits van Bommel <fvbommel wxs.nl> parents: 988 diff changeset	194 return ir->CreateCall(Callee, ArgBegin, ArgEnd, Name);
315 a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	195 }
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	196
664 eef8ac26c66c Some missed LLVMDC -> LDC. Christian Kamm <kamm incasoftware de> parents: 632 diff changeset	197 #endif // LDC_GEN_IRSTATE_H

Mercurial > projects > ldc

annotate gen/irstate.h @ 1148:3d1b16dabd25