Mercurial > projects > ldc
annotate gen/irstate.cpp @ 270:d9d5d59873d8 trunk
[svn r291] Fixed a bunch of the old Phobos tests to work with Tango.
Branch statements now emit a new block after it.
Fixed the _adSort runtime function had a bad signature.
Added a missing dot prefix on compiler generated string tables for string switch.
Fixed, PTRSIZE seems like it was wrong on 64bit, now it definitely gets set properly.
| author | lindquist |
|---|---|
| date | Mon, 16 Jun 2008 16:01:19 +0200 |
| parents | 88252a1af660 |
| children | d59c363fccad |
| rev | line source |
|---|---|
| 1 | 1 /* DMDFE backend stubs |
| 2 * This file contains the implementations of the backend routines. | |
| 3 * For dmdfe these do nothing but print a message saying the module | |
| 4 * has been parsed. Substitute your own behaviors for these routimes. | |
| 5 */ | |
| 6 | |
| 40 | 7 #include <cstdarg> |
| 8 | |
| 9 #include "gen/llvm.h" | |
| 10 | |
| 1 | 11 #include "mtype.h" |
| 40 | 12 #include "declaration.h" |
| 13 | |
|
4
e116aa1488e6
[svn r8] changed backend includes to always use the gen/<foo>.h prefix
lindquist
parents:
1
diff
changeset
|
14 #include "gen/irstate.h" |
| 40 | 15 #include "tollvm.h" |
| 1 | 16 |
| 17 IRState* gIR = 0; | |
| 73 | 18 const llvm::TargetData* gTargetData = 0; |
| 1 | 19 |
| 20 ////////////////////////////////////////////////////////////////////////////////////////// | |
| 21 IRScope::IRScope() | |
| 22 { | |
| 40 | 23 begin = end = NULL; |
| 1 | 24 } |
| 25 | |
| 26 IRScope::IRScope(llvm::BasicBlock* b, llvm::BasicBlock* e) | |
| 27 { | |
| 28 begin = b; | |
| 29 end = e; | |
| 40 | 30 builder.SetInsertPoint(b); |
| 1 | 31 } |
| 32 | |
| 33 ////////////////////////////////////////////////////////////////////////////////////////// | |
|
145
8f704cb9969b
[svn r150] fixes #16 and #17, implements GotoCaseStatement
ChristianK
parents:
136
diff
changeset
|
34 IRLoopScope::IRLoopScope() |
|
8f704cb9969b
[svn r150] fixes #16 and #17, implements GotoCaseStatement
ChristianK
parents:
136
diff
changeset
|
35 { |
|
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 |
|
148
86d3bb8ca33e
[svn r154] renaming enclosingtry to enclosingtryfinally to distinguish it from enclosingtrycatch, which will probably need to be added for exception handling
ChristianK
parents:
145
diff
changeset
|
38 IRLoopScope::IRLoopScope(Statement* s, TryFinallyStatement* enclosingtryfinally, llvm::BasicBlock* b, llvm::BasicBlock* e) |
|
145
8f704cb9969b
[svn r150] fixes #16 and #17, implements GotoCaseStatement
ChristianK
parents:
136
diff
changeset
|
39 { |
|
8f704cb9969b
[svn r150] fixes #16 and #17, implements GotoCaseStatement
ChristianK
parents:
136
diff
changeset
|
40 begin = b; |
|
8f704cb9969b
[svn r150] fixes #16 and #17, implements GotoCaseStatement
ChristianK
parents:
136
diff
changeset
|
41 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
|
42 //builder.SetInsertPoint(b); |
|
145
8f704cb9969b
[svn r150] fixes #16 and #17, implements GotoCaseStatement
ChristianK
parents:
136
diff
changeset
|
43 this->s = s; |
|
148
86d3bb8ca33e
[svn r154] renaming enclosingtry to enclosingtryfinally to distinguish it from enclosingtrycatch, which will probably need to be added for exception handling
ChristianK
parents:
145
diff
changeset
|
44 this->enclosingtryfinally = enclosingtryfinally; |
|
145
8f704cb9969b
[svn r150] fixes #16 and #17, implements GotoCaseStatement
ChristianK
parents:
136
diff
changeset
|
45 } |
|
8f704cb9969b
[svn r150] fixes #16 and #17, implements GotoCaseStatement
ChristianK
parents:
136
diff
changeset
|
46 |
|
8f704cb9969b
[svn r150] fixes #16 and #17, implements GotoCaseStatement
ChristianK
parents:
136
diff
changeset
|
47 ////////////////////////////////////////////////////////////////////////////////////////// |
| 1 | 48 IRState::IRState() |
| 49 { | |
|
161
3a891cfcd249
[svn r177] moved variable for interface info type from being local static to being within IRState
ChristianK
parents:
148
diff
changeset
|
50 interfaceInfoType = NULL; |
| 1 | 51 dmodule = 0; |
| 52 module = 0; | |
| 53 emitMain = false; | |
| 54 mainFunc = 0; | |
| 40 | 55 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
|
56 asmBlock = NULL; |
| 252 | 57 |
| 58 dwarfCUs = NULL; | |
| 59 dwarfSPs = NULL; | |
| 60 dwarfGVs = NULL; | |
| 40 | 61 } |
| 62 | |
|
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
|
63 IrFunction* IRState::func() |
| 40 | 64 { |
| 65 assert(!functions.empty() && "Function stack is empty!"); | |
| 66 return functions.back(); | |
| 1 | 67 } |
| 68 | |
| 69 llvm::Function* IRState::topfunc() | |
| 70 { | |
| 40 | 71 assert(!functions.empty() && "Function stack is empty!"); |
| 100 | 72 return functions.back()->func; |
| 1 | 73 } |
| 74 | |
| 75 TypeFunction* IRState::topfunctype() | |
| 76 { | |
| 40 | 77 assert(!functions.empty() && "Function stack is empty!"); |
| 100 | 78 return functions.back()->type; |
| 1 | 79 } |
| 80 | |
| 81 llvm::Instruction* IRState::topallocapoint() | |
| 82 { | |
| 40 | 83 assert(!functions.empty() && "AllocaPoint stack is empty!"); |
| 100 | 84 return functions.back()->allocapoint; |
| 1 | 85 } |
| 86 | |
|
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
|
87 IrStruct* IRState::topstruct() |
| 1 | 88 { |
| 89 assert(!structs.empty() && "Struct vector is empty!"); | |
| 90 return structs.back(); | |
| 91 } | |
| 92 | |
|
54
28e99b04a132
[svn r58] Fixed cond expression resulting in a non-basic type.
lindquist
parents:
40
diff
changeset
|
93 IRExp* IRState::topexp() |
| 1 | 94 { |
|
54
28e99b04a132
[svn r58] Fixed cond expression resulting in a non-basic type.
lindquist
parents:
40
diff
changeset
|
95 return exps.empty() ? NULL : &exps.back(); |
| 1 | 96 } |
| 97 | |
| 98 IRScope& IRState::scope() | |
| 99 { | |
| 100 assert(!scopes.empty()); | |
| 101 return scopes.back(); | |
| 102 } | |
| 103 | |
| 104 llvm::BasicBlock* IRState::scopebb() | |
| 105 { | |
| 106 IRScope& s = scope(); | |
| 107 assert(s.begin); | |
| 108 return s.begin; | |
| 109 } | |
| 110 llvm::BasicBlock* IRState::scopeend() | |
| 111 { | |
| 112 IRScope& s = scope(); | |
| 113 assert(s.end); | |
| 114 return s.end; | |
| 115 } | |
| 116 bool IRState::scopereturned() | |
| 117 { | |
|
14
0e86428ee567
[svn r18] * Initial support for switch statements - No string switches yet.
lindquist
parents:
6
diff
changeset
|
118 //return scope().returned; |
|
0e86428ee567
[svn r18] * Initial support for switch statements - No string switches yet.
lindquist
parents:
6
diff
changeset
|
119 return !scopebb()->empty() && scopebb()->back().isTerminator(); |
| 1 | 120 } |
| 121 | |
| 122 ////////////////////////////////////////////////////////////////////////////////////////// | |
| 123 | |
|
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
|
124 IRBuilder* IRBuilderHelper::operator->() |
| 40 | 125 { |
|
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
|
126 IRBuilder& b = state->scope().builder; |
| 40 | 127 assert(b.GetInsertBlock() != NULL); |
| 128 return &b; | |
| 129 } | |
| 130 | |
| 131 ////////////////////////////////////////////////////////////////////////////////////////// | |
| 132 | |
|
54
28e99b04a132
[svn r58] Fixed cond expression resulting in a non-basic type.
lindquist
parents:
40
diff
changeset
|
133 IRExp::IRExp() |
|
28e99b04a132
[svn r58] Fixed cond expression resulting in a non-basic type.
lindquist
parents:
40
diff
changeset
|
134 { |
|
28e99b04a132
[svn r58] Fixed cond expression resulting in a non-basic type.
lindquist
parents:
40
diff
changeset
|
135 e1 = e2 = NULL; |
|
28e99b04a132
[svn r58] Fixed cond expression resulting in a non-basic type.
lindquist
parents:
40
diff
changeset
|
136 v = NULL; |
|
28e99b04a132
[svn r58] Fixed cond expression resulting in a non-basic type.
lindquist
parents:
40
diff
changeset
|
137 } |
|
28e99b04a132
[svn r58] Fixed cond expression resulting in a non-basic type.
lindquist
parents:
40
diff
changeset
|
138 |
|
86
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
82
diff
changeset
|
139 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
|
140 { |
|
28e99b04a132
[svn r58] Fixed cond expression resulting in a non-basic type.
lindquist
parents:
40
diff
changeset
|
141 e1 = l; |
|
28e99b04a132
[svn r58] Fixed cond expression resulting in a non-basic type.
lindquist
parents:
40
diff
changeset
|
142 e2 = r; |
|
28e99b04a132
[svn r58] Fixed cond expression resulting in a non-basic type.
lindquist
parents:
40
diff
changeset
|
143 v = val; |
|
28e99b04a132
[svn r58] Fixed cond expression resulting in a non-basic type.
lindquist
parents:
40
diff
changeset
|
144 } |