projects/ldc: gen/irstate.h annotate

annotate gen/irstate.h @ 1529:ad7f2f1862d6

Adjust LDC to work with the LLVMContext LLVM changes. This means we now require a fairly new LLVM revision. I use 75234.

author	Christian Kamm <kamm incasoftware de>
date	Fri, 10 Jul 2009 21:30:02 +0200
parents	e1e93343fc11
children	61f12f4651b5

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);
1529 ad7f2f1862d6 Adjust LDC to work with the LLVMContext LLVM changes. Christian Kamm <kamm incasoftware de> parents: 1508 diff changeset	51
ad7f2f1862d6 Adjust LDC to work with the LLVMContext LLVM changes. Christian Kamm <kamm incasoftware de> parents: 1508 diff changeset	52 const IRScope& operator=(const IRScope& rhs);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	53 };
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	54
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	55 struct IRBuilderHelper
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	56 {
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	57 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	58 IRBuilder<>* operator->();
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	59 };
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	60
232 092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 213 diff changeset	61 struct IRAsmStmt
092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 213 diff changeset	62 {
477 253f234eb80c Make sure to initialize isBranchToLabel to zero. Christian Kamm <kamm incasoftware de> parents: 447 diff changeset	63 IRAsmStmt()
253f234eb80c Make sure to initialize isBranchToLabel to zero. Christian Kamm <kamm incasoftware de> parents: 447 diff changeset	64 : isBranchToLabel(NULL) {}
253f234eb80c Make sure to initialize isBranchToLabel to zero. Christian Kamm <kamm incasoftware de> parents: 447 diff changeset	65
232 092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 213 diff changeset	66 std::string code;
092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 213 diff changeset	67 std::string out_c;
092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 213 diff changeset	68 std::string in_c;
092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 213 diff changeset	69 std::vector<LLValue*> out;
092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 213 diff changeset	70 std::vector<LLValue*> in;
299 df8a7b8d5929 [svn r320] Begun work on branches out of asm blocks. Unfinished. ChristianK parents: 252 diff changeset	71
302 bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 299 diff changeset	72 // 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	73 Identifier* isBranchToLabel;
232 092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 213 diff changeset	74 };
092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 213 diff changeset	75
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	76 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	77 {
945 03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	78 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	79 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	80 size_t outputcount;
299 df8a7b8d5929 [svn r320] Begun work on branches out of asm blocks. Unfinished. ChristianK parents: 252 diff changeset	81
df8a7b8d5929 [svn r320] Begun work on branches out of asm blocks. Unfinished. ChristianK parents: 252 diff changeset	82 // stores the labels within the asm block
df8a7b8d5929 [svn r320] Begun work on branches out of asm blocks. Unfinished. ChristianK parents: 252 diff changeset	83 std::vector<Identifier*> internalLabels;
945 03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	84
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	85 AsmBlockStatement* asmBlock;
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	86 const LLType* retty;
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	87 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	88 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	89 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	90
959 7e669954db7d Implement implicit return after inline asm on x86_64 Frits van Bommel <fvbommel wxs.nl> parents: 954 diff changeset	91 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	92 : 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	93 outputcount(0)
985104c0f1db Fix the problems exposed by the callingconv1.d test case. Frits van Bommel <fvbommel wxs.nl> parents: 959 diff changeset	94 {}
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	95 };
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	96
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	97 // represents the module
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	98 struct IRState
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	99 {
946 1714836f2c0b Mostly rewrite debug info generation in terms of llvm/Analysis/DebugInfo.h. Christian Kamm <kamm incasoftware de> parents: 945 diff changeset	100 IRState(llvm::Module* m);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	101
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	102 // module
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	103 Module* dmodule;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	104 llvm::Module* module;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	105
161 3a891cfcd249 [svn r177] moved variable for interface info type from being local static to being within IRState ChristianK parents: 157 diff changeset	106 // interface info type, used in DtoInterfaceInfoType
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	107 const LLStructType* interfaceInfoType;
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	108 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	109 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	110
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	111 // 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 typedef std::vector<IrFunction*> FunctionVector;
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	113 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	114 IrFunction* func();
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	115
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	116 llvm::Function* topfunc();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	117 TypeFunction* topfunctype();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	118 llvm::Instruction* topallocapoint();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	119
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	120 // 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 typedef std::vector<IrStruct*> StructVector;
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	122 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	123 IrStruct* topstruct();
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	124
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	125 // D main function
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	126 bool emitMain;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	127 llvm::Function* mainFunc;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	128
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	129 // basic block scopes
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	130 std::vector<IRScope> scopes;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	131 IRScope& scope();
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 103 diff changeset	132 llvm::BasicBlock* scopebb();
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	133 llvm::BasicBlock* scopeend();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	134 bool scopereturned();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	135
315 a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	136 // 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	137 // 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	138 template <typename InputIterator>
1013 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, 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	140 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	141 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	142 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	143 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	144 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	145
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	146 // 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	147 // 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	148 // 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	149 // 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	150 std::vector<DValue*> arrays;
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 6 diff changeset	151
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	152 // builder helper
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	153 IRBuilderHelper ir;
98 6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 94 diff changeset	154
946 1714836f2c0b Mostly rewrite debug info generation in terms of llvm/Analysis/DebugInfo.h. Christian Kamm <kamm incasoftware de> parents: 945 diff changeset	155 // 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	156 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	157
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 113 diff changeset	158 // static ctors/dtors/unittests
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 113 diff changeset	159 typedef std::vector<FuncDeclaration*> FuncDeclVector;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 113 diff changeset	160 FuncDeclVector ctors;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 113 diff changeset	161 FuncDeclVector dtors;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 113 diff changeset	162 FuncDeclVector unitTests;
1478 4dca8ed9d8b7 Fix #318 by making a list of all seen template instances in a module for Christian Kamm <kamm incasoftware de> parents: 1412 diff changeset	163
4dca8ed9d8b7 Fix #318 by making a list of all seen template instances in a module for Christian Kamm <kamm incasoftware de> parents: 1412 diff changeset	164 // all template instances that had members emitted
4dca8ed9d8b7 Fix #318 by making a list of all seen template instances in a module for Christian Kamm <kamm incasoftware de> parents: 1412 diff changeset	165 // currently only filled for singleobj
4dca8ed9d8b7 Fix #318 by making a list of all seen template instances in a module for Christian Kamm <kamm incasoftware de> parents: 1412 diff changeset	166 // used to make sure the complete template instance gets emitted in the
4dca8ed9d8b7 Fix #318 by making a list of all seen template instances in a module for Christian Kamm <kamm incasoftware de> parents: 1412 diff changeset	167 // first file that touches a member, see #318
4dca8ed9d8b7 Fix #318 by making a list of all seen template instances in a module for Christian Kamm <kamm incasoftware de> parents: 1412 diff changeset	168 typedef std::set<TemplateInstance*> TemplateInstanceSet;
4dca8ed9d8b7 Fix #318 by making a list of all seen template instances in a module for Christian Kamm <kamm incasoftware de> parents: 1412 diff changeset	169 TemplateInstanceSet seenTemplateInstances;
232 092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 213 diff changeset	170
092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 213 diff changeset	171 // 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	172 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	173 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	174
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	175 // '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	176 std::vector<LLConstant*> usedArray;
250 fc9c1a0eabbd [svn r267] Fixed debug info for global variables. lindquist parents: 233 diff changeset	177
252 e3355ce5444b [svn r269] Fixed dwarf debug info for structs. lindquist parents: 250 diff changeset	178 // dwarf dbg stuff
e3355ce5444b [svn r269] Fixed dwarf debug info for structs. lindquist parents: 250 diff changeset	179 LLGlobalVariable* dwarfCUs;
e3355ce5444b [svn r269] Fixed dwarf debug info for structs. lindquist parents: 250 diff changeset	180 LLGlobalVariable* dwarfSPs;
e3355ce5444b [svn r269] Fixed dwarf debug info for structs. lindquist parents: 250 diff changeset	181 LLGlobalVariable* dwarfGVs;
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	182 };
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	183
315 a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	184 template <typename InputIterator>
1013 8c73ff5f69e0 Use llvm::CallSite instead of custom CallOrInvoke class. Frits van Bommel <fvbommel wxs.nl> parents: 988 diff changeset	185 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	186 {
1508 e1e93343fc11 Move function codegen data from IrFunction to new FuncGen. Christian Kamm <kamm incasoftware de> parents: 1478 diff changeset	187 llvm::BasicBlock* pad = func()->gen->landingPad;
1412 3f5ea912149d Fix #308 by giving finally code emitted by EnclosingTryFinally a different landing pad. Christian Kamm <kamm incasoftware de> parents: 1300 diff changeset	188 if(pad)
315 a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	189 {
1300 329e45865d84 Add 'nounwind' attribute to the relevant runtime functions, and use it when Frits van Bommel <fvbommel wxs.nl> parents: 1277 diff changeset	190 // intrinsics don't support invoking and 'nounwind' functions don't need it.
447 f7259fa1349c Fixed problem with invoking intrinsics, which llvm doesn't allow. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 334 diff changeset	191 LLFunction* funcval = llvm::dyn_cast<LLFunction>(Callee);
1300 329e45865d84 Add 'nounwind' attribute to the relevant runtime functions, and use it when Frits van Bommel <fvbommel wxs.nl> parents: 1277 diff changeset	192 if (funcval && (funcval->isIntrinsic() \|\| funcval->doesNotThrow()))
447 f7259fa1349c Fixed problem with invoking intrinsics, which llvm doesn't allow. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 334 diff changeset	193 {
1277 6bd5ce91b136 Add some attributes to runtime calls, to provide the standard LLVM optimization Frits van Bommel <fvbommel wxs.nl> parents: 1148 diff changeset	194 llvm::CallInst* call = ir->CreateCall(Callee, ArgBegin, ArgEnd, Name);
1300 329e45865d84 Add 'nounwind' attribute to the relevant runtime functions, and use it when Frits van Bommel <fvbommel wxs.nl> parents: 1277 diff changeset	195 call->setAttributes(funcval->getAttributes());
1277 6bd5ce91b136 Add some attributes to runtime calls, to provide the standard LLVM optimization Frits van Bommel <fvbommel wxs.nl> parents: 1148 diff changeset	196 return call;
447 f7259fa1349c Fixed problem with invoking intrinsics, which llvm doesn't allow. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 334 diff changeset	197 }
f7259fa1349c Fixed problem with invoking intrinsics, which llvm doesn't allow. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 334 diff changeset	198
315 a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	199 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	200 llvm::InvokeInst* invoke = ir->CreateInvoke(Callee, postinvoke, pad, ArgBegin, ArgEnd, Name);
1277 6bd5ce91b136 Add some attributes to runtime calls, to provide the standard LLVM optimization Frits van Bommel <fvbommel wxs.nl> parents: 1148 diff changeset	201 if (LLFunction* fn = llvm::dyn_cast<LLFunction>(Callee))
6bd5ce91b136 Add some attributes to runtime calls, to provide the standard LLVM optimization Frits van Bommel <fvbommel wxs.nl> parents: 1148 diff changeset	202 invoke->setAttributes(fn->getAttributes());
315 a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	203 scope() = IRScope(postinvoke, scopeend());
1013 8c73ff5f69e0 Use llvm::CallSite instead of custom CallOrInvoke class. Frits van Bommel <fvbommel wxs.nl> parents: 988 diff changeset	204 return invoke;
315 a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	205 }
319 e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	206 else
1277 6bd5ce91b136 Add some attributes to runtime calls, to provide the standard LLVM optimization Frits van Bommel <fvbommel wxs.nl> parents: 1148 diff changeset	207 {
6bd5ce91b136 Add some attributes to runtime calls, to provide the standard LLVM optimization Frits van Bommel <fvbommel wxs.nl> parents: 1148 diff changeset	208 llvm::CallInst* call = ir->CreateCall(Callee, ArgBegin, ArgEnd, Name);
6bd5ce91b136 Add some attributes to runtime calls, to provide the standard LLVM optimization Frits van Bommel <fvbommel wxs.nl> parents: 1148 diff changeset	209 if (LLFunction* fn = llvm::dyn_cast<LLFunction>(Callee))
6bd5ce91b136 Add some attributes to runtime calls, to provide the standard LLVM optimization Frits van Bommel <fvbommel wxs.nl> parents: 1148 diff changeset	210 call->setAttributes(fn->getAttributes());
6bd5ce91b136 Add some attributes to runtime calls, to provide the standard LLVM optimization Frits van Bommel <fvbommel wxs.nl> parents: 1148 diff changeset	211 return call;
6bd5ce91b136 Add some attributes to runtime calls, to provide the standard LLVM optimization Frits van Bommel <fvbommel wxs.nl> parents: 1148 diff changeset	212 }
315 a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	213 }
a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	214
664 eef8ac26c66c Some missed LLVMDC -> LDC. Christian Kamm <kamm incasoftware de> parents: 632 diff changeset	215 #endif // LDC_GEN_IRSTATE_H

Mercurial > projects > ldc

annotate gen/irstate.h @ 1529:ad7f2f1862d6