projects/ldc: gen/irstate.cpp annotate

annotate gen/irstate.cpp @ 314:8d98e42ece93 trunk

[svn r335] The basics of exception handling are in place. Still need to make sure calls are turned into invokes everywhere. (NewExpression for instance) Still some rough edges and corner cases to figure out. Needs testing!

author	ChristianK
date	Wed, 02 Jul 2008 22:20:18 +0200
parents	9967a3270837
children	a9697749e898

rev	line source
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	1 /* DMDFE backend stubs
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	2 * This file contains the implementations of the backend routines.
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	3 * For dmdfe these do nothing but print a message saying the module
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	4 * has been parsed. Substitute your own behaviors for these routimes.
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	5 */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	6
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	7 #include <cstdarg>
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	8
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	9 #include "gen/llvm.h"
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	10
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	11 #include "mtype.h"
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	12 #include "declaration.h"
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 262 diff changeset	13 #include "statement.h"
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	14
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: 1 diff changeset	15 #include "gen/irstate.h"
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	16 #include "tollvm.h"
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	17
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	18 IRState* gIR = 0;
73 b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 54 diff changeset	19 const llvm::TargetData* gTargetData = 0;
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	20
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	21 //////////////////////////////////////////////////////////////////////////////////////////
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	22 IRScope::IRScope()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	23 {
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	24 begin = end = NULL;
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	25 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	26
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	27 IRScope::IRScope(llvm::BasicBlock* b, llvm::BasicBlock* e)
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	28 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	29 begin = b;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	30 end = e;
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	31 builder.SetInsertPoint(b);
1 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
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	34 //////////////////////////////////////////////////////////////////////////////////////////
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 136 diff changeset	35 IRLoopScope::IRLoopScope()
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 136 diff changeset	36 {
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 136 diff changeset	37 }
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 136 diff changeset	38
311 9967a3270837 [svn r332] Fix codegen for continue within switch. ChristianK parents: 309 diff changeset	39 IRLoopScope::IRLoopScope(Statement* s, EnclosingHandler* enclosinghandler, llvm::BasicBlock* b, llvm::BasicBlock* e, bool isSwitch)
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 136 diff changeset	40 {
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 136 diff changeset	41 begin = b;
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 136 diff changeset	42 end = e;
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 252 diff changeset	43 //builder.SetInsertPoint(b);
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 136 diff changeset	44 this->s = s;
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 262 diff changeset	45 this->enclosinghandler = enclosinghandler;
311 9967a3270837 [svn r332] Fix codegen for continue within switch. ChristianK parents: 309 diff changeset	46 this->isSwitch = isSwitch;
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 136 diff changeset	47 }
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 136 diff changeset	48
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 136 diff changeset	49 //////////////////////////////////////////////////////////////////////////////////////////
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	50 IRState::IRState()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	51 {
161 3a891cfcd249 [svn r177] moved variable for interface info type from being local static to being within IRState ChristianK parents: 148 diff changeset	52 interfaceInfoType = NULL;
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 262 diff changeset	53 mutexType = NULL;
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 262 diff changeset	54
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	55 dmodule = 0;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	56 module = 0;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	57 emitMain = false;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	58 mainFunc = 0;
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	59 ir.state = this;
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	60 asmBlock = NULL;
252 e3355ce5444b [svn r269] Fixed dwarf debug info for structs. lindquist parents: 233 diff changeset	61
e3355ce5444b [svn r269] Fixed dwarf debug info for structs. lindquist parents: 233 diff changeset	62 dwarfCUs = NULL;
e3355ce5444b [svn r269] Fixed dwarf debug info for structs. lindquist parents: 233 diff changeset	63 dwarfSPs = NULL;
e3355ce5444b [svn r269] Fixed dwarf debug info for structs. lindquist parents: 233 diff changeset	64 dwarfGVs = NULL;
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	65 }
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	66
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: 113 diff changeset	67 IrFunction* IRState::func()
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	68 {
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	69 assert(!functions.empty() && "Function stack is empty!");
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	70 return functions.back();
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	71 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	72
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	73 llvm::Function* IRState::topfunc()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	74 {
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	75 assert(!functions.empty() && "Function stack is empty!");
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 94 diff changeset	76 return functions.back()->func;
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	77 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	78
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	79 TypeFunction* IRState::topfunctype()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	80 {
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	81 assert(!functions.empty() && "Function stack is empty!");
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 94 diff changeset	82 return functions.back()->type;
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	83 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	84
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	85 llvm::Instruction* IRState::topallocapoint()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	86 {
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	87 assert(!functions.empty() && "AllocaPoint stack is empty!");
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 94 diff changeset	88 return functions.back()->allocapoint;
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	89 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	90
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: 113 diff changeset	91 IrStruct* IRState::topstruct()
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	92 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	93 assert(!structs.empty() && "Struct vector is empty!");
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	94 return structs.back();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	95 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	96
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 40 diff changeset	97 IRExp* IRState::topexp()
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	98 {
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 40 diff changeset	99 return exps.empty() ? NULL : &exps.back();
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	100 }
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 IRScope& IRState::scope()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	103 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	104 assert(!scopes.empty());
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	105 return scopes.back();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	106 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	107
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	108 llvm::BasicBlock* IRState::scopebb()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	109 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	110 IRScope& s = scope();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	111 assert(s.begin);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	112 return s.begin;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	113 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	114 llvm::BasicBlock* IRState::scopeend()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	115 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	116 IRScope& s = scope();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	117 assert(s.end);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	118 return s.end;
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 bool IRState::scopereturned()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	121 {
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: 6 diff changeset	122 //return scope().returned;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: 6 diff changeset	123 return !scopebb()->empty() && scopebb()->back().isTerminator();
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
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
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	128 IRBuilder* IRBuilderHelper::operator->()
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	129 {
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	130 IRBuilder& b = state->scope().builder;
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	131 assert(b.GetInsertBlock() != NULL);
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	132 return &b;
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	133 }
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	134
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	135 //////////////////////////////////////////////////////////////////////////////////////////
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 31 diff changeset	136
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 40 diff changeset	137 IRExp::IRExp()
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 40 diff changeset	138 {
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 40 diff changeset	139 e1 = e2 = NULL;
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 40 diff changeset	140 v = NULL;
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 40 diff changeset	141 }
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 40 diff changeset	142
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	143 IRExp::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	144 {
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 40 diff changeset	145 e1 = l;
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 40 diff changeset	146 e2 = r;
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 40 diff changeset	147 v = val;
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 40 diff changeset	148 }

Mercurial > projects > ldc

annotate gen/irstate.cpp @ 314:8d98e42ece93 trunk