Mercurial > projects > ldc
annotate gen/tollvm.cpp @ 96:ce7ed8f59b99 trunk
[svn r100] Moved test/ray.d to demos/ray.d.
Cleanups.
| author | lindquist |
|---|---|
| date | Mon, 12 Nov 2007 07:58:44 +0100 |
| parents | 61615fa85940 |
| children | c4e161556a21 |
| rev | line source |
|---|---|
| 1 | 1 #include <iostream> |
| 2 | |
| 40 | 3 #include "gen/llvm.h" |
| 1 | 4 |
| 5 #include "mtype.h" | |
| 6 #include "dsymbol.h" | |
| 7 #include "aggregate.h" | |
| 8 #include "declaration.h" | |
| 9 #include "init.h" | |
| 10 | |
|
4
e116aa1488e6
[svn r8] changed backend includes to always use the gen/<foo>.h prefix
lindquist
parents:
1
diff
changeset
|
11 #include "gen/tollvm.h" |
|
e116aa1488e6
[svn r8] changed backend includes to always use the gen/<foo>.h prefix
lindquist
parents:
1
diff
changeset
|
12 #include "gen/irstate.h" |
|
e116aa1488e6
[svn r8] changed backend includes to always use the gen/<foo>.h prefix
lindquist
parents:
1
diff
changeset
|
13 #include "gen/logger.h" |
|
e116aa1488e6
[svn r8] changed backend includes to always use the gen/<foo>.h prefix
lindquist
parents:
1
diff
changeset
|
14 #include "gen/runtime.h" |
|
e116aa1488e6
[svn r8] changed backend includes to always use the gen/<foo>.h prefix
lindquist
parents:
1
diff
changeset
|
15 #include "gen/arrays.h" |
|
86
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
16 #include "gen/dvalue.h" |
|
88
058d3925950e
[svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too.
lindquist
parents:
86
diff
changeset
|
17 #include "gen/structs.h" |
| 1 | 18 |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
19 bool DtoIsPassedByRef(Type* type) |
| 40 | 20 { |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
21 TY t = DtoDType(type)->ty; |
|
86
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
22 return (t == Tstruct || t == Tarray || t == Tdelegate || t == Tsarray); |
| 40 | 23 } |
| 24 | |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
25 Type* DtoDType(Type* t) |
| 40 | 26 { |
| 27 if (t->ty == Ttypedef) { | |
| 28 Type* bt = t->toBasetype(); | |
| 29 assert(bt); | |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
30 return DtoDType(bt); |
| 40 | 31 } |
| 32 return t; | |
| 33 } | |
| 34 | |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
35 const llvm::Type* DtoType(Type* t) |
| 1 | 36 { |
| 37 assert(t); | |
| 38 switch (t->ty) | |
| 39 { | |
| 40 // integers | |
| 41 case Tint8: | |
| 42 case Tuns8: | |
| 43 case Tchar: | |
| 44 return (const llvm::Type*)llvm::Type::Int8Ty; | |
| 45 case Tint16: | |
| 46 case Tuns16: | |
| 47 case Twchar: | |
| 48 return (const llvm::Type*)llvm::Type::Int16Ty; | |
| 49 case Tint32: | |
| 50 case Tuns32: | |
| 51 case Tdchar: | |
| 52 return (const llvm::Type*)llvm::Type::Int32Ty; | |
| 53 case Tint64: | |
| 54 case Tuns64: | |
| 55 return (const llvm::Type*)llvm::Type::Int64Ty; | |
| 56 | |
| 57 case Tbool: | |
| 58 return (const llvm::Type*)llvm::ConstantInt::getTrue()->getType(); | |
| 59 | |
| 60 // floats | |
| 61 case Tfloat32: | |
|
62
b86e00b938a5
[svn r66] Added support for imaginary floating point types
lindquist
parents:
58
diff
changeset
|
62 case Timaginary32: |
| 1 | 63 return llvm::Type::FloatTy; |
| 64 case Tfloat64: | |
|
62
b86e00b938a5
[svn r66] Added support for imaginary floating point types
lindquist
parents:
58
diff
changeset
|
65 case Timaginary64: |
| 1 | 66 case Tfloat80: |
|
62
b86e00b938a5
[svn r66] Added support for imaginary floating point types
lindquist
parents:
58
diff
changeset
|
67 case Timaginary80: |
| 1 | 68 return llvm::Type::DoubleTy; |
| 69 | |
|
62
b86e00b938a5
[svn r66] Added support for imaginary floating point types
lindquist
parents:
58
diff
changeset
|
70 // complex |
|
b86e00b938a5
[svn r66] Added support for imaginary floating point types
lindquist
parents:
58
diff
changeset
|
71 case Tcomplex32: |
| 90 | 72 return DtoComplexType(llvm::Type::FloatTy); |
|
62
b86e00b938a5
[svn r66] Added support for imaginary floating point types
lindquist
parents:
58
diff
changeset
|
73 case Tcomplex64: |
|
b86e00b938a5
[svn r66] Added support for imaginary floating point types
lindquist
parents:
58
diff
changeset
|
74 case Tcomplex80: |
| 90 | 75 return DtoComplexType(llvm::Type::DoubleTy); |
|
62
b86e00b938a5
[svn r66] Added support for imaginary floating point types
lindquist
parents:
58
diff
changeset
|
76 |
| 1 | 77 // pointers |
| 78 case Tpointer: { | |
| 79 assert(t->next); | |
| 80 if (t->next->ty == Tvoid) | |
| 81 return (const llvm::Type*)llvm::PointerType::get(llvm::Type::Int8Ty); | |
| 82 else | |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
83 return (const llvm::Type*)llvm::PointerType::get(DtoType(t->next)); |
| 1 | 84 } |
| 85 | |
| 86 // arrays | |
| 87 case Tarray: | |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
88 return DtoArrayType(t); |
| 1 | 89 case Tsarray: |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
90 return DtoStaticArrayType(t); |
| 1 | 91 |
| 92 // void | |
| 93 case Tvoid: | |
| 94 return llvm::Type::VoidTy; | |
| 95 | |
| 96 // aggregates | |
| 97 case Tstruct: { | |
| 98 if (t->llvmType == 0) | |
| 99 { | |
| 100 // recursive or cyclic declaration | |
| 101 if (!gIR->structs.empty()) | |
| 102 { | |
| 103 IRStruct* found = 0; | |
| 104 for (IRState::StructVector::iterator i=gIR->structs.begin(); i!=gIR->structs.end(); ++i) | |
| 105 { | |
| 106 if (t == i->type) | |
| 107 { | |
| 108 return i->recty.get(); | |
| 109 } | |
| 110 } | |
| 111 } | |
| 112 | |
| 113 // forward declaration | |
| 114 TypeStruct* ts = (TypeStruct*)t; | |
| 115 assert(ts->sym); | |
| 116 ts->sym->toObjFile(); | |
| 117 } | |
| 118 return t->llvmType; | |
| 119 } | |
| 120 | |
| 121 case Tclass: { | |
| 122 if (t->llvmType == 0) | |
| 123 { | |
| 6 | 124 // recursive or cyclic declaration |
| 125 if (!gIR->structs.empty()) | |
| 126 { | |
| 127 IRStruct* found = 0; | |
| 128 for (IRState::StructVector::iterator i=gIR->structs.begin(); i!=gIR->structs.end(); ++i) | |
| 129 { | |
| 130 if (t == i->type) | |
| 131 { | |
| 132 return llvm::PointerType::get(i->recty.get()); | |
| 133 } | |
| 134 } | |
| 135 } | |
| 136 | |
| 137 // forward declaration | |
| 1 | 138 TypeClass* tc = (TypeClass*)t; |
| 139 assert(tc->sym); | |
| 6 | 140 tc->sym->toObjFile(); |
| 1 | 141 } |
| 142 return llvm::PointerType::get(t->llvmType); | |
| 143 } | |
| 144 | |
| 145 // functions | |
| 146 case Tfunction: | |
| 147 { | |
| 148 if (t->llvmType == 0) { | |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
149 return DtoFunctionType(t,NULL); |
| 1 | 150 } |
| 151 else { | |
| 152 return t->llvmType; | |
| 153 } | |
| 154 } | |
| 6 | 155 |
| 1 | 156 // delegates |
| 157 case Tdelegate: | |
| 158 { | |
| 159 if (t->llvmType == 0) { | |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
160 return DtoDelegateType(t); |
| 1 | 161 } |
| 162 else { | |
| 163 return t->llvmType; | |
| 164 } | |
| 165 } | |
| 166 | |
| 167 // typedefs | |
| 52 | 168 // enum |
| 1 | 169 case Ttypedef: |
| 52 | 170 case Tenum: |
| 1 | 171 { |
| 172 Type* bt = t->toBasetype(); | |
| 173 assert(bt); | |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
174 return DtoType(bt); |
| 1 | 175 } |
| 176 | |
| 177 default: | |
| 178 printf("trying to convert unknown type with value %d\n", t->ty); | |
| 179 assert(0); | |
| 180 } | |
| 181 return 0; | |
| 182 } | |
| 183 | |
| 184 ////////////////////////////////////////////////////////////////////////////////////////// | |
| 185 | |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
186 const llvm::FunctionType* DtoFunctionType(Type* type, const llvm::Type* thistype, bool ismain) |
| 1 | 187 { |
| 72 | 188 TypeFunction* f = (TypeFunction*)type; |
|
55
0ccfae271c45
[svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown.
lindquist
parents:
54
diff
changeset
|
189 assert(f != 0); |
|
0ccfae271c45
[svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown.
lindquist
parents:
54
diff
changeset
|
190 |
|
57
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
191 bool typesafeVararg = false; |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
192 if (f->linkage == LINKd && f->varargs == 1) { |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
193 typesafeVararg = true; |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
194 } |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
195 |
| 1 | 196 // return value type |
| 197 const llvm::Type* rettype; | |
| 198 const llvm::Type* actualRettype; | |
| 199 Type* rt = f->next; | |
| 200 bool retinptr = false; | |
| 201 bool usesthis = false; | |
| 202 | |
| 72 | 203 if (ismain) { |
| 1 | 204 rettype = llvm::Type::Int32Ty; |
| 205 actualRettype = rettype; | |
| 206 } | |
| 72 | 207 else { |
| 208 assert(rt); | |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
209 if (DtoIsPassedByRef(rt)) { |
|
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
210 rettype = llvm::PointerType::get(DtoType(rt)); |
| 1 | 211 actualRettype = llvm::Type::VoidTy; |
| 212 f->llvmRetInPtr = retinptr = true; | |
| 213 } | |
| 214 else { | |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
215 rettype = DtoType(rt); |
| 1 | 216 actualRettype = rettype; |
| 217 } | |
| 218 } | |
| 219 | |
| 220 // parameter types | |
| 221 std::vector<const llvm::Type*> paramvec; | |
| 222 | |
|
57
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
223 if (retinptr) { |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
224 Logger::cout() << "returning through pointer parameter: " << *rettype << '\n'; |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
225 paramvec.push_back(rettype); |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
226 } |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
227 |
| 72 | 228 if (thistype) { |
| 229 paramvec.push_back(thistype); | |
|
57
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
230 usesthis = true; |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
231 } |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
232 |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
233 if (typesafeVararg) { |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
234 ClassDeclaration* ti = Type::typeinfo; |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
235 if (!ti->llvmInitZ) |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
236 ti->toObjFile(); |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
237 assert(ti->llvmInitZ); |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
238 std::vector<const llvm::Type*> types; |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
239 types.push_back(DtoSize_t()); |
|
57
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
240 types.push_back(llvm::PointerType::get(llvm::PointerType::get(ti->llvmInitZ->getType()))); |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
241 const llvm::Type* t1 = llvm::StructType::get(types); |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
242 paramvec.push_back(llvm::PointerType::get(t1)); |
|
55
0ccfae271c45
[svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown.
lindquist
parents:
54
diff
changeset
|
243 paramvec.push_back(llvm::PointerType::get(llvm::Type::Int8Ty)); |
| 1 | 244 } |
|
57
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
245 |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
246 size_t n = Argument::dim(f->parameters); |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
247 |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
248 for (int i=0; i < n; ++i) { |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
249 Argument* arg = Argument::getNth(f->parameters, i); |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
250 // ensure scalar |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
251 Type* argT = DtoDType(arg->type); |
|
57
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
252 assert(argT); |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
253 |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
254 if ((arg->storageClass & STCref) || (arg->storageClass & STCout)) { |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
255 //assert(arg->vardecl); |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
256 //arg->vardecl->refparam = true; |
| 9 | 257 } |
|
57
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
258 else |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
259 arg->llvmCopy = true; |
| 1 | 260 |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
261 const llvm::Type* at = DtoType(argT); |
| 96 | 262 if (isaStruct(at)) { |
|
57
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
263 Logger::println("struct param"); |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
264 paramvec.push_back(llvm::PointerType::get(at)); |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
265 } |
| 96 | 266 else if (isaArray(at)) { |
|
57
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
267 Logger::println("sarray param"); |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
268 assert(argT->ty == Tsarray); |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
269 //paramvec.push_back(llvm::PointerType::get(at->getContainedType(0))); |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
270 paramvec.push_back(llvm::PointerType::get(at)); |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
271 } |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
272 else if (llvm::isa<llvm::OpaqueType>(at)) { |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
273 Logger::println("opaque param"); |
| 96 | 274 assert(argT->ty == Tstruct || argT->ty == Tclass); |
| 275 paramvec.push_back(llvm::PointerType::get(at)); | |
| 40 | 276 } |
|
57
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
277 else { |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
278 if (!arg->llvmCopy) { |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
279 Logger::println("ref param"); |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
280 at = llvm::PointerType::get(at); |
| 1 | 281 } |
|
57
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
282 else { |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
283 Logger::println("in param"); |
|
55
0ccfae271c45
[svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown.
lindquist
parents:
54
diff
changeset
|
284 } |
|
57
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
285 paramvec.push_back(at); |
| 1 | 286 } |
| 287 } | |
| 288 | |
| 289 // construct function type | |
|
57
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
290 bool isvararg = !typesafeVararg && f->varargs; |
| 1 | 291 llvm::FunctionType* functype = llvm::FunctionType::get(actualRettype, paramvec, isvararg); |
| 292 | |
| 9 | 293 f->llvmRetInPtr = retinptr; |
| 294 f->llvmUsesThis = usesthis; | |
| 1 | 295 return functype; |
| 296 } | |
| 297 | |
| 298 ////////////////////////////////////////////////////////////////////////////////////////// | |
| 299 | |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
300 static const llvm::FunctionType* DtoVaFunctionType(FuncDeclaration* fdecl) |
| 72 | 301 { |
| 302 TypeFunction* f = (TypeFunction*)fdecl->type; | |
| 303 assert(f != 0); | |
| 304 | |
| 305 const llvm::PointerType* i8pty = llvm::PointerType::get(llvm::Type::Int8Ty); | |
| 306 std::vector<const llvm::Type*> args; | |
| 307 | |
| 308 if (fdecl->llvmInternal == LLVMva_start) { | |
| 309 args.push_back(i8pty); | |
| 310 } | |
| 311 else if (fdecl->llvmInternal == LLVMva_intrinsic) { | |
| 312 size_t n = Argument::dim(f->parameters); | |
| 313 for (size_t i=0; i<n; ++i) { | |
| 314 args.push_back(i8pty); | |
| 315 } | |
| 316 } | |
| 317 else | |
| 318 assert(0); | |
| 319 | |
| 320 const llvm::FunctionType* fty = llvm::FunctionType::get(llvm::Type::VoidTy, args, false); | |
| 321 f->llvmType = fty; | |
| 322 return fty; | |
| 323 } | |
| 324 | |
| 325 ////////////////////////////////////////////////////////////////////////////////////////// | |
| 326 | |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
327 const llvm::FunctionType* DtoFunctionType(FuncDeclaration* fdecl) |
| 72 | 328 { |
| 329 if ((fdecl->llvmInternal == LLVMva_start) || (fdecl->llvmInternal == LLVMva_intrinsic)) { | |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
330 return DtoVaFunctionType(fdecl); |
| 72 | 331 } |
| 332 | |
| 333 // type has already been resolved | |
| 334 if (fdecl->type->llvmType != 0) { | |
| 335 return llvm::cast<llvm::FunctionType>(fdecl->type->llvmType); | |
| 336 } | |
| 337 | |
| 338 const llvm::Type* thisty = NULL; | |
| 339 if (fdecl->needThis()) { | |
| 340 if (AggregateDeclaration* ad = fdecl->isMember()) { | |
| 341 Logger::print("isMember = this is: %s\n", ad->type->toChars()); | |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
342 thisty = DtoType(ad->type); |
| 72 | 343 Logger::cout() << "this llvm type: " << *thisty << '\n'; |
| 96 | 344 if (isaStruct(thisty) || thisty == gIR->topstruct().recty.get()) |
| 72 | 345 thisty = llvm::PointerType::get(thisty); |
| 346 } | |
| 347 else | |
| 348 assert(0); | |
| 349 } | |
| 350 else if (fdecl->isNested()) { | |
| 351 thisty = llvm::PointerType::get(llvm::Type::Int8Ty); | |
| 352 } | |
| 353 | |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
354 const llvm::FunctionType* functype = DtoFunctionType(fdecl->type, thisty, fdecl->isMain()); |
| 72 | 355 fdecl->type->llvmType = functype; |
| 356 return functype; | |
| 357 } | |
| 358 | |
| 359 ////////////////////////////////////////////////////////////////////////////////////////// | |
| 360 | |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
361 const llvm::StructType* DtoDelegateType(Type* t) |
| 1 | 362 { |
| 363 const llvm::Type* i8ptr = llvm::PointerType::get(llvm::Type::Int8Ty); | |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
364 const llvm::Type* func = DtoFunctionType(t->next, i8ptr); |
| 1 | 365 const llvm::Type* funcptr = llvm::PointerType::get(func); |
| 366 | |
| 367 std::vector<const llvm::Type*> types; | |
| 368 types.push_back(i8ptr); | |
| 369 types.push_back(funcptr); | |
| 370 return llvm::StructType::get(types); | |
| 371 } | |
| 372 | |
| 373 ////////////////////////////////////////////////////////////////////////////////////////// | |
| 374 | |
| 90 | 375 const llvm::StructType* DtoComplexType(const llvm::Type* base) |
| 376 { | |
| 377 std::vector<const llvm::Type*> types; | |
| 378 types.push_back(base); | |
| 379 types.push_back(base); | |
| 380 return llvm::StructType::get(types); | |
| 381 } | |
| 382 | |
| 383 ////////////////////////////////////////////////////////////////////////////////////////// | |
| 384 | |
| 1 | 385 static llvm::Function* LLVM_DeclareMemIntrinsic(const char* name, int bits, bool set=false) |
| 386 { | |
| 387 assert(bits == 32 || bits == 64); | |
| 388 const llvm::Type* int8ty = (const llvm::Type*)llvm::Type::Int8Ty; | |
| 389 const llvm::Type* int32ty = (const llvm::Type*)llvm::Type::Int32Ty; | |
| 390 const llvm::Type* int64ty = (const llvm::Type*)llvm::Type::Int64Ty; | |
| 391 const llvm::Type* int8ptrty = (const llvm::Type*)llvm::PointerType::get(llvm::Type::Int8Ty); | |
| 392 const llvm::Type* voidty = (const llvm::Type*)llvm::Type::VoidTy; | |
| 393 | |
| 394 assert(gIR); | |
| 395 assert(gIR->module); | |
| 396 | |
| 397 // parameter types | |
| 398 std::vector<const llvm::Type*> pvec; | |
| 399 pvec.push_back(int8ptrty); | |
| 400 pvec.push_back(set?int8ty:int8ptrty); | |
| 401 pvec.push_back(bits==32?int32ty:int64ty); | |
| 402 pvec.push_back(int32ty); | |
| 403 llvm::FunctionType* functype = llvm::FunctionType::get(voidty, pvec, false); | |
| 404 return new llvm::Function(functype, llvm::GlobalValue::ExternalLinkage, name, gIR->module); | |
| 405 } | |
| 406 | |
| 407 ////////////////////////////////////////////////////////////////////////////////////////// | |
| 408 | |
| 409 // llvm.memset.i32 | |
|
4
e116aa1488e6
[svn r8] changed backend includes to always use the gen/<foo>.h prefix
lindquist
parents:
1
diff
changeset
|
410 llvm::Function* LLVM_DeclareMemSet32() |
| 1 | 411 { |
| 412 static llvm::Function* _func = 0; | |
| 413 if (_func == 0) { | |
| 414 _func = LLVM_DeclareMemIntrinsic("llvm.memset.i32", 32, true); | |
| 415 } | |
| 416 return _func; | |
| 417 } | |
| 418 | |
| 419 ////////////////////////////////////////////////////////////////////////////////////////// | |
| 420 | |
|
4
e116aa1488e6
[svn r8] changed backend includes to always use the gen/<foo>.h prefix
lindquist
parents:
1
diff
changeset
|
421 llvm::Function* LLVM_DeclareMemSet64() |
| 1 | 422 { |
| 423 static llvm::Function* _func = 0; | |
| 424 if (_func == 0) { | |
| 425 _func = LLVM_DeclareMemIntrinsic("llvm.memset.i64", 64, true); | |
| 426 } | |
| 427 return _func; | |
| 428 } | |
| 429 | |
| 430 ////////////////////////////////////////////////////////////////////////////////////////// | |
| 431 | |
| 432 // llvm.memcpy.i32 | |
|
4
e116aa1488e6
[svn r8] changed backend includes to always use the gen/<foo>.h prefix
lindquist
parents:
1
diff
changeset
|
433 llvm::Function* LLVM_DeclareMemCpy32() |
| 1 | 434 { |
| 435 static llvm::Function* _func = 0; | |
| 436 if (_func == 0) { | |
| 437 _func = LLVM_DeclareMemIntrinsic("llvm.memcpy.i32", 32); | |
| 438 } | |
| 439 return _func; | |
| 440 } | |
| 441 | |
| 442 ////////////////////////////////////////////////////////////////////////////////////////// | |
| 443 | |
| 444 // llvm.memcpy.i64 | |
|
4
e116aa1488e6
[svn r8] changed backend includes to always use the gen/<foo>.h prefix
lindquist
parents:
1
diff
changeset
|
445 llvm::Function* LLVM_DeclareMemCpy64() |
| 1 | 446 { |
| 447 static llvm::Function* _func = 0; | |
| 448 if (_func == 0) { | |
| 449 _func = LLVM_DeclareMemIntrinsic("llvm.memcpy.i64", 64); | |
| 450 } | |
| 451 return _func; | |
| 452 } | |
| 453 | |
| 454 ////////////////////////////////////////////////////////////////////////////////////////// | |
| 455 | |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
456 llvm::Value* DtoNullDelegate(llvm::Value* v) |
| 1 | 457 { |
| 458 assert(gIR); | |
| 459 d_uns64 n = (global.params.is64bit) ? 16 : 8; | |
| 460 | |
| 461 llvm::Type* i8p_ty = llvm::PointerType::get(llvm::Type::Int8Ty); | |
| 462 | |
| 463 llvm::Value* arr = new llvm::BitCastInst(v,i8p_ty,"tmp",gIR->scopebb()); | |
| 464 | |
| 465 llvm::Function* fn = LLVM_DeclareMemSet32(); | |
| 466 std::vector<llvm::Value*> llargs; | |
| 467 llargs.resize(4); | |
| 468 llargs[0] = arr; | |
| 469 llargs[1] = llvm::ConstantInt::get(llvm::Type::Int8Ty, 0, false); | |
| 470 llargs[2] = llvm::ConstantInt::get(llvm::Type::Int32Ty, n, false); | |
| 471 llargs[3] = llvm::ConstantInt::get(llvm::Type::Int32Ty, 0, false); | |
| 472 | |
| 473 llvm::Value* ret = new llvm::CallInst(fn, llargs.begin(), llargs.end(), "", gIR->scopebb()); | |
| 474 | |
| 475 return ret; | |
| 476 } | |
| 477 | |
| 478 ////////////////////////////////////////////////////////////////////////////////////////// | |
| 479 | |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
480 llvm::Value* DtoDelegateCopy(llvm::Value* dst, llvm::Value* src) |
| 1 | 481 { |
| 482 assert(dst->getType() == src->getType()); | |
| 483 assert(gIR); | |
| 484 | |
| 485 d_uns64 n = (global.params.is64bit) ? 16 : 8; | |
| 486 | |
| 487 llvm::Type* arrty = llvm::PointerType::get(llvm::Type::Int8Ty); | |
| 488 | |
| 489 llvm::Value* dstarr = new llvm::BitCastInst(dst,arrty,"tmp",gIR->scopebb()); | |
| 490 llvm::Value* srcarr = new llvm::BitCastInst(src,arrty,"tmp",gIR->scopebb()); | |
| 491 | |
| 492 llvm::Function* fn = LLVM_DeclareMemCpy32(); | |
| 493 std::vector<llvm::Value*> llargs; | |
| 494 llargs.resize(4); | |
| 495 llargs[0] = dstarr; | |
| 496 llargs[1] = srcarr; | |
| 497 llargs[2] = llvm::ConstantInt::get(llvm::Type::Int32Ty, n, false); | |
| 498 llargs[3] = llvm::ConstantInt::get(llvm::Type::Int32Ty, 0, false); | |
| 499 | |
| 500 return new llvm::CallInst(fn, llargs.begin(), llargs.end(), "", gIR->scopebb()); | |
| 501 } | |
| 502 | |
|
53
06ccc817acd4
[svn r57] Added most basic TypeInfo (rebuild lphobos).
lindquist
parents:
52
diff
changeset
|
503 ////////////////////////////////////////////////////////////////////////////////////////// |
| 1 | 504 |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
505 llvm::Value* DtoCompareDelegate(TOK op, llvm::Value* lhs, llvm::Value* rhs) |
|
53
06ccc817acd4
[svn r57] Added most basic TypeInfo (rebuild lphobos).
lindquist
parents:
52
diff
changeset
|
506 { |
|
06ccc817acd4
[svn r57] Added most basic TypeInfo (rebuild lphobos).
lindquist
parents:
52
diff
changeset
|
507 llvm::ICmpInst::Predicate pred = (op == TOKequal) ? llvm::ICmpInst::ICMP_EQ : llvm::ICmpInst::ICMP_NE; |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
508 llvm::Value* l = gIR->ir->CreateLoad(DtoGEPi(lhs,0,0,"tmp"),"tmp"); |
|
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
509 llvm::Value* r = gIR->ir->CreateLoad(DtoGEPi(rhs,0,0,"tmp"),"tmp"); |
|
53
06ccc817acd4
[svn r57] Added most basic TypeInfo (rebuild lphobos).
lindquist
parents:
52
diff
changeset
|
510 llvm::Value* b1 = gIR->ir->CreateICmp(pred,l,r,"tmp"); |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
511 l = gIR->ir->CreateLoad(DtoGEPi(lhs,0,1,"tmp"),"tmp"); |
|
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
512 r = gIR->ir->CreateLoad(DtoGEPi(rhs,0,1,"tmp"),"tmp"); |
|
53
06ccc817acd4
[svn r57] Added most basic TypeInfo (rebuild lphobos).
lindquist
parents:
52
diff
changeset
|
513 llvm::Value* b2 = gIR->ir->CreateICmp(pred,l,r,"tmp"); |
|
06ccc817acd4
[svn r57] Added most basic TypeInfo (rebuild lphobos).
lindquist
parents:
52
diff
changeset
|
514 llvm::Value* b = gIR->ir->CreateAnd(b1,b2,"tmp"); |
|
06ccc817acd4
[svn r57] Added most basic TypeInfo (rebuild lphobos).
lindquist
parents:
52
diff
changeset
|
515 if (op == TOKnotequal) |
|
06ccc817acd4
[svn r57] Added most basic TypeInfo (rebuild lphobos).
lindquist
parents:
52
diff
changeset
|
516 return gIR->ir->CreateNot(b,"tmp"); |
|
06ccc817acd4
[svn r57] Added most basic TypeInfo (rebuild lphobos).
lindquist
parents:
52
diff
changeset
|
517 return b; |
|
06ccc817acd4
[svn r57] Added most basic TypeInfo (rebuild lphobos).
lindquist
parents:
52
diff
changeset
|
518 } |
| 1 | 519 |
| 520 ////////////////////////////////////////////////////////////////////////////////////////// | |
| 521 | |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
522 llvm::GlobalValue::LinkageTypes DtoLinkage(PROT prot, uint stc) |
| 1 | 523 { |
| 524 switch(prot) | |
| 525 { | |
| 526 case PROTprivate: | |
| 527 return llvm::GlobalValue::InternalLinkage; | |
| 528 | |
| 529 case PROTpublic: | |
| 530 case PROTpackage: | |
| 531 case PROTprotected: | |
| 532 case PROTexport: | |
| 533 return llvm::GlobalValue::ExternalLinkage; | |
| 534 | |
| 535 case PROTundefined: | |
| 536 case PROTnone: | |
| 537 assert(0 && "Unsupported linkage type"); | |
| 538 } | |
| 539 return llvm::GlobalValue::ExternalLinkage; | |
| 540 | |
| 541 /* ExternalLinkage = 0, LinkOnceLinkage, WeakLinkage, AppendingLinkage, | |
| 542 InternalLinkage, DLLImportLinkage, DLLExportLinkage, ExternalWeakLinkage, | |
| 543 GhostLinkage */ | |
| 544 } | |
| 545 | |
| 546 ////////////////////////////////////////////////////////////////////////////////////////// | |
| 547 | |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
548 unsigned DtoCallingConv(LINK l) |
| 1 | 549 { |
| 550 if (l == LINKc) | |
| 551 return llvm::CallingConv::C; | |
| 552 else if (l == LINKd || l == LINKdefault) | |
| 553 return llvm::CallingConv::Fast; | |
| 554 else if (l == LINKwindows) | |
| 555 return llvm::CallingConv::X86_StdCall; | |
| 556 else | |
| 557 assert(0 && "Unsupported calling convention"); | |
| 558 } | |
| 559 | |
| 560 ////////////////////////////////////////////////////////////////////////////////////////// | |
| 561 | |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
562 llvm::Value* DtoPointedType(llvm::Value* ptr, llvm::Value* val) |
| 1 | 563 { |
| 564 const llvm::Type* ptrTy = ptr->getType()->getContainedType(0); | |
| 565 const llvm::Type* valTy = val->getType(); | |
| 566 // ptr points to val's type | |
| 567 if (ptrTy == valTy) | |
| 568 { | |
| 569 return val; | |
| 570 } | |
| 571 // ptr is integer pointer | |
| 572 else if (ptrTy->isInteger()) | |
| 573 { | |
| 574 // val is integer | |
| 575 assert(valTy->isInteger()); | |
| 576 const llvm::IntegerType* pt = llvm::cast<const llvm::IntegerType>(ptrTy); | |
| 577 const llvm::IntegerType* vt = llvm::cast<const llvm::IntegerType>(valTy); | |
| 578 if (pt->getBitWidth() < vt->getBitWidth()) { | |
| 579 return new llvm::TruncInst(val, pt, "tmp", gIR->scopebb()); | |
| 580 } | |
| 581 else | |
| 582 assert(0); | |
| 583 } | |
| 584 // something else unsupported | |
| 585 else | |
| 586 { | |
| 587 Logger::cout() << *ptrTy << '|' << *valTy << '\n'; | |
| 588 assert(0); | |
| 589 } | |
| 590 return 0; | |
| 591 } | |
| 592 | |
| 593 ////////////////////////////////////////////////////////////////////////////////////////// | |
| 594 | |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
595 llvm::Value* DtoBoolean(llvm::Value* val) |
| 1 | 596 { |
| 597 const llvm::Type* t = val->getType(); | |
| 598 if (t->isInteger()) | |
| 599 { | |
| 600 if (t == llvm::Type::Int1Ty) | |
| 601 return val; | |
| 602 else { | |
| 603 llvm::Value* zero = llvm::ConstantInt::get(t, 0, false); | |
| 604 return new llvm::ICmpInst(llvm::ICmpInst::ICMP_NE, val, zero, "tmp", gIR->scopebb()); | |
| 605 } | |
| 606 } | |
| 96 | 607 else if (isaPointer(t)) { |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
608 const llvm::Type* st = DtoSize_t(); |
| 1 | 609 llvm::Value* ptrasint = new llvm::PtrToIntInst(val,st,"tmp",gIR->scopebb()); |
| 610 llvm::Value* zero = llvm::ConstantInt::get(st, 0, false); | |
| 611 return new llvm::ICmpInst(llvm::ICmpInst::ICMP_NE, ptrasint, zero, "tmp", gIR->scopebb()); | |
| 612 } | |
| 613 else | |
| 614 { | |
| 615 Logger::cout() << *t << '\n'; | |
| 616 } | |
| 617 assert(0); | |
| 618 return 0; | |
| 619 } | |
| 620 | |
| 621 ////////////////////////////////////////////////////////////////////////////////////////// | |
| 622 | |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
623 const llvm::Type* DtoSize_t() |
| 1 | 624 { |
| 625 if (global.params.is64bit) | |
| 626 return llvm::Type::Int64Ty; | |
| 627 else | |
| 628 return llvm::Type::Int32Ty; | |
| 629 } | |
| 630 | |
| 631 ////////////////////////////////////////////////////////////////////////////////////////// | |
| 632 | |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
633 void DtoMain() |
| 1 | 634 { |
| 635 // emit main function llvm style | |
| 636 // int main(int argc, char**argv, char**env); | |
| 637 | |
| 638 assert(gIR != 0); | |
| 639 IRState& ir = *gIR; | |
| 640 | |
| 641 assert(ir.emitMain && ir.mainFunc); | |
| 642 | |
| 643 // parameter types | |
| 644 std::vector<const llvm::Type*> pvec; | |
| 645 pvec.push_back((const llvm::Type*)llvm::Type::Int32Ty); | |
| 646 const llvm::Type* chPtrType = (const llvm::Type*)llvm::PointerType::get(llvm::Type::Int8Ty); | |
| 647 pvec.push_back((const llvm::Type*)llvm::PointerType::get(chPtrType)); | |
| 648 pvec.push_back((const llvm::Type*)llvm::PointerType::get(chPtrType)); | |
| 649 const llvm::Type* rettype = (const llvm::Type*)llvm::Type::Int32Ty; | |
| 650 | |
| 651 llvm::FunctionType* functype = llvm::FunctionType::get(rettype, pvec, false); | |
| 652 llvm::Function* func = new llvm::Function(functype,llvm::GlobalValue::ExternalLinkage,"main",ir.module); | |
| 653 | |
| 654 llvm::BasicBlock* bb = new llvm::BasicBlock("entry",func); | |
| 655 | |
| 656 // call static ctors | |
| 657 llvm::Function* fn = LLVM_D_GetRuntimeFunction(ir.module,"_d_run_module_ctors"); | |
| 91 | 658 llvm::Instruction* apt = new llvm::CallInst(fn,"",bb); |
| 1 | 659 |
| 660 // call user main function | |
| 91 | 661 const llvm::FunctionType* mainty = ir.mainFunc->getFunctionType(); |
| 662 llvm::CallInst* call; | |
| 663 if (mainty->getNumParams() > 0) | |
| 664 { | |
| 665 // main with arguments | |
| 666 assert(mainty->getNumParams() == 1); | |
| 667 std::vector<llvm::Value*> args; | |
| 668 llvm::Function* mfn = LLVM_D_GetRuntimeFunction(ir.module,"_d_main_args"); | |
| 669 | |
| 670 llvm::Function::arg_iterator argi = func->arg_begin(); | |
| 671 args.push_back(argi++); | |
| 672 args.push_back(argi++); | |
| 673 | |
| 674 const llvm::Type* at = mainty->getParamType(0)->getContainedType(0); | |
| 675 llvm::Value* arr = new llvm::AllocaInst(at->getContainedType(1)->getContainedType(0), func->arg_begin(), "argstorage", apt); | |
| 676 llvm::Value* a = new llvm::AllocaInst(at, "argarray", apt); | |
| 677 llvm::Value* ptr = DtoGEPi(a,0,0,"tmp",bb); | |
|
93
08508eebbb3e
[svn r97] Fixed bug with main(string[] args) on 32 bit systems. 64bit worked.
lindquist
parents:
92
diff
changeset
|
678 llvm::Value* v = args[0]; |
|
08508eebbb3e
[svn r97] Fixed bug with main(string[] args) on 32 bit systems. 64bit worked.
lindquist
parents:
92
diff
changeset
|
679 if (v->getType() != DtoSize_t()) |
|
08508eebbb3e
[svn r97] Fixed bug with main(string[] args) on 32 bit systems. 64bit worked.
lindquist
parents:
92
diff
changeset
|
680 v = new llvm::ZExtInst(v, DtoSize_t(), "tmp", bb); |
| 91 | 681 new llvm::StoreInst(v,ptr,bb); |
| 682 ptr = DtoGEPi(a,0,1,"tmp",bb); | |
| 683 new llvm::StoreInst(arr,ptr,bb); | |
| 684 args.push_back(a); | |
| 685 new llvm::CallInst(mfn, args.begin(), args.end(), "", bb); | |
| 686 call = new llvm::CallInst(ir.mainFunc,a,"ret",bb); | |
| 687 } | |
| 688 else | |
| 689 { | |
| 690 // main with no arguments | |
| 691 call = new llvm::CallInst(ir.mainFunc,"ret",bb); | |
| 692 } | |
| 1 | 693 call->setCallingConv(ir.mainFunc->getCallingConv()); |
| 694 | |
| 695 // call static dtors | |
| 696 fn = LLVM_D_GetRuntimeFunction(ir.module,"_d_run_module_dtors"); | |
| 697 new llvm::CallInst(fn,"",bb); | |
| 698 | |
| 699 // return | |
| 700 new llvm::ReturnInst(call,bb); | |
| 701 } | |
| 702 | |
| 703 ////////////////////////////////////////////////////////////////////////////////////////// | |
| 704 | |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
705 void DtoCallClassDtors(TypeClass* tc, llvm::Value* instance) |
| 1 | 706 { |
| 707 Array* arr = &tc->sym->dtors; | |
| 708 for (size_t i=0; i<arr->dim; i++) | |
| 709 { | |
| 710 FuncDeclaration* fd = (FuncDeclaration*)arr->data[i]; | |
| 711 assert(fd->llvmValue); | |
| 712 new llvm::CallInst(fd->llvmValue, instance, "", gIR->scopebb()); | |
| 713 } | |
| 714 } | |
| 715 | |
| 716 ////////////////////////////////////////////////////////////////////////////////////////// | |
| 717 | |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
718 void DtoInitClass(TypeClass* tc, llvm::Value* dst) |
| 1 | 719 { |
| 720 assert(gIR); | |
| 721 | |
| 722 assert(tc->llvmType); | |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
723 uint64_t size_t_size = gTargetData->getTypeSize(DtoSize_t()); |
|
11
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
724 uint64_t n = gTargetData->getTypeSize(tc->llvmType) - size_t_size; |
| 1 | 725 |
|
11
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
726 // set vtable field |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
727 llvm::Value* vtblvar = DtoGEPi(dst,0,0,"tmp",gIR->scopebb()); |
|
11
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
728 assert(tc->sym->llvmVtbl); |
|
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
729 new llvm::StoreInst(tc->sym->llvmVtbl, vtblvar, gIR->scopebb()); |
|
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
730 |
|
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
731 // copy the static initializer |
|
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
732 if (n > 0) { |
|
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
733 assert(tc->llvmInit); |
|
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
734 assert(dst->getType() == tc->llvmInit->getType()); |
|
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
735 |
|
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
736 llvm::Type* arrty = llvm::PointerType::get(llvm::Type::Int8Ty); |
| 1 | 737 |
|
11
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
738 llvm::Value* dstarr = new llvm::BitCastInst(dst,arrty,"tmp",gIR->scopebb()); |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
739 dstarr = DtoGEPi(dstarr,size_t_size,"tmp",gIR->scopebb()); |
|
11
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
740 |
|
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
741 llvm::Value* srcarr = new llvm::BitCastInst(tc->llvmInit,arrty,"tmp",gIR->scopebb()); |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
742 srcarr = DtoGEPi(srcarr,size_t_size,"tmp",gIR->scopebb()); |
| 1 | 743 |
|
11
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
744 llvm::Function* fn = LLVM_DeclareMemCpy32(); |
|
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
745 std::vector<llvm::Value*> llargs; |
|
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
746 llargs.resize(4); |
|
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
747 llargs[0] = dstarr; |
|
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
748 llargs[1] = srcarr; |
|
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
749 llargs[2] = llvm::ConstantInt::get(llvm::Type::Int32Ty, n, false); |
|
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
750 llargs[3] = llvm::ConstantInt::get(llvm::Type::Int32Ty, 0, false); |
|
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
751 |
|
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
752 new llvm::CallInst(fn, llargs.begin(), llargs.end(), "", gIR->scopebb()); |
|
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
753 } |
| 1 | 754 } |
| 755 | |
| 756 ////////////////////////////////////////////////////////////////////////////////////////// | |
| 757 | |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
758 llvm::Constant* DtoConstInitializer(Type* type, Initializer* init) |
| 1 | 759 { |
|
21
8d45266bbabe
[svn r25] * Fixed a lot of problems with string literals
lindquist
parents:
18
diff
changeset
|
760 llvm::Constant* _init = 0; // may return zero |
| 1 | 761 if (!init) |
| 762 { | |
| 40 | 763 Logger::println("const default initializer for %s", type->toChars()); |
| 764 _init = type->defaultInit()->toConstElem(gIR); | |
| 1 | 765 } |
| 766 else if (ExpInitializer* ex = init->isExpInitializer()) | |
| 767 { | |
| 40 | 768 Logger::println("const expression initializer"); |
| 769 _init = ex->exp->toConstElem(gIR); | |
| 1 | 770 } |
| 771 else if (StructInitializer* si = init->isStructInitializer()) | |
| 772 { | |
| 40 | 773 Logger::println("const struct initializer"); |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
774 _init = DtoConstStructInitializer(si); |
| 1 | 775 } |
| 776 else if (ArrayInitializer* ai = init->isArrayInitializer()) | |
| 777 { | |
| 40 | 778 Logger::println("const array initializer"); |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
779 _init = DtoConstArrayInitializer(ai); |
| 1 | 780 } |
| 781 else if (init->isVoidInitializer()) | |
| 782 { | |
| 40 | 783 Logger::println("const void initializer"); |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
784 const llvm::Type* ty = DtoType(type); |
| 1 | 785 _init = llvm::Constant::getNullValue(ty); |
| 786 } | |
| 787 else { | |
| 40 | 788 Logger::println("unsupported const initializer: %s", init->toChars()); |
| 789 } | |
| 790 return _init; | |
| 791 } | |
| 792 | |
| 793 ////////////////////////////////////////////////////////////////////////////////////////// | |
| 794 | |
|
94
61615fa85940
[svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca").
lindquist
parents:
93
diff
changeset
|
795 DValue* DtoInitializer(Initializer* init) |
| 40 | 796 { |
| 797 if (ExpInitializer* ex = init->isExpInitializer()) | |
| 798 { | |
| 799 Logger::println("expression initializer"); | |
| 92 | 800 assert(ex->exp); |
|
85
f869c636a113
[svn r89] Fixed a bunch of problems with template instance across multiple modules.
lindquist
parents:
83
diff
changeset
|
801 return ex->exp->toElem(gIR); |
|
f869c636a113
[svn r89] Fixed a bunch of problems with template instance across multiple modules.
lindquist
parents:
83
diff
changeset
|
802 } |
|
f869c636a113
[svn r89] Fixed a bunch of problems with template instance across multiple modules.
lindquist
parents:
83
diff
changeset
|
803 else if (init->isVoidInitializer()) |
|
f869c636a113
[svn r89] Fixed a bunch of problems with template instance across multiple modules.
lindquist
parents:
83
diff
changeset
|
804 { |
|
f869c636a113
[svn r89] Fixed a bunch of problems with template instance across multiple modules.
lindquist
parents:
83
diff
changeset
|
805 // do nothing |
| 40 | 806 } |
| 807 else { | |
| 1 | 808 Logger::println("unsupported initializer: %s", init->toChars()); |
|
85
f869c636a113
[svn r89] Fixed a bunch of problems with template instance across multiple modules.
lindquist
parents:
83
diff
changeset
|
809 assert(0); |
| 1 | 810 } |
|
85
f869c636a113
[svn r89] Fixed a bunch of problems with template instance across multiple modules.
lindquist
parents:
83
diff
changeset
|
811 return 0; |
| 1 | 812 } |
| 6 | 813 |
|
11
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
814 ////////////////////////////////////////////////////////////////////////////////////////// |
|
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
815 |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
816 llvm::Value* DtoGEP(llvm::Value* ptr, llvm::Value* i0, llvm::Value* i1, const std::string& var, llvm::BasicBlock* bb) |
| 6 | 817 { |
| 818 std::vector<llvm::Value*> v(2); | |
| 819 v[0] = i0; | |
| 820 v[1] = i1; | |
|
11
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
821 Logger::cout() << "DtoGEP: " << *ptr << '\n'; |
|
50
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
822 return new llvm::GetElementPtrInst(ptr, v.begin(), v.end(), var, bb?bb:gIR->scopebb()); |
| 6 | 823 } |
|
8
5e69b77a5c51
[svn r12] fixed accessing aggregate fields of aggregates
lindquist
parents:
6
diff
changeset
|
824 |
|
11
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
825 ////////////////////////////////////////////////////////////////////////////////////////// |
|
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
826 |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
827 llvm::Value* DtoGEP(llvm::Value* ptr, const std::vector<unsigned>& src, const std::string& var, llvm::BasicBlock* bb) |
|
8
5e69b77a5c51
[svn r12] fixed accessing aggregate fields of aggregates
lindquist
parents:
6
diff
changeset
|
828 { |
|
5e69b77a5c51
[svn r12] fixed accessing aggregate fields of aggregates
lindquist
parents:
6
diff
changeset
|
829 size_t n = src.size(); |
|
5e69b77a5c51
[svn r12] fixed accessing aggregate fields of aggregates
lindquist
parents:
6
diff
changeset
|
830 std::vector<llvm::Value*> dst(n); |
| 40 | 831 std::ostream& ostr = Logger::cout(); |
| 832 ostr << "indices for '" << *ptr << "':"; | |
|
8
5e69b77a5c51
[svn r12] fixed accessing aggregate fields of aggregates
lindquist
parents:
6
diff
changeset
|
833 for (size_t i=0; i<n; ++i) |
|
5e69b77a5c51
[svn r12] fixed accessing aggregate fields of aggregates
lindquist
parents:
6
diff
changeset
|
834 { |
| 40 | 835 ostr << ' ' << i; |
|
8
5e69b77a5c51
[svn r12] fixed accessing aggregate fields of aggregates
lindquist
parents:
6
diff
changeset
|
836 dst[i] = llvm::ConstantInt::get(llvm::Type::Int32Ty, src[i], false); |
|
5e69b77a5c51
[svn r12] fixed accessing aggregate fields of aggregates
lindquist
parents:
6
diff
changeset
|
837 } |
| 40 | 838 ostr << '\n'; |
|
50
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
839 return new llvm::GetElementPtrInst(ptr, dst.begin(), dst.end(), var, bb?bb:gIR->scopebb()); |
|
8
5e69b77a5c51
[svn r12] fixed accessing aggregate fields of aggregates
lindquist
parents:
6
diff
changeset
|
840 } |
| 9 | 841 |
|
11
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
842 ////////////////////////////////////////////////////////////////////////////////////////// |
|
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
843 |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
844 llvm::Value* DtoGEPi(llvm::Value* ptr, unsigned i, const std::string& var, llvm::BasicBlock* bb) |
|
11
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
845 { |
|
50
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
846 return new llvm::GetElementPtrInst(ptr, llvm::ConstantInt::get(llvm::Type::Int32Ty, i, false), var, bb?bb:gIR->scopebb()); |
|
11
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
847 } |
|
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
848 |
|
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
849 ////////////////////////////////////////////////////////////////////////////////////////// |
|
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
850 |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
851 llvm::Value* DtoGEPi(llvm::Value* ptr, unsigned i0, unsigned i1, const std::string& var, llvm::BasicBlock* bb) |
|
11
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
852 { |
|
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
853 std::vector<llvm::Value*> v(2); |
|
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
854 v[0] = llvm::ConstantInt::get(llvm::Type::Int32Ty, i0, false); |
|
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
855 v[1] = llvm::ConstantInt::get(llvm::Type::Int32Ty, i1, false); |
|
50
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
856 return new llvm::GetElementPtrInst(ptr, v.begin(), v.end(), var, bb?bb:gIR->scopebb()); |
|
11
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
857 } |
|
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
858 |
|
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
859 ////////////////////////////////////////////////////////////////////////////////////////// |
|
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
860 |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
861 static llvm::Function* DtoDeclareVaFunction(FuncDeclaration* fdecl) |
|
55
0ccfae271c45
[svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown.
lindquist
parents:
54
diff
changeset
|
862 { |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
863 TypeFunction* f = (TypeFunction*)DtoDType(fdecl->type); |
|
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
864 const llvm::FunctionType* fty = DtoVaFunctionType(fdecl); |
|
55
0ccfae271c45
[svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown.
lindquist
parents:
54
diff
changeset
|
865 llvm::Constant* fn = 0; |
|
0ccfae271c45
[svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown.
lindquist
parents:
54
diff
changeset
|
866 |
|
0ccfae271c45
[svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown.
lindquist
parents:
54
diff
changeset
|
867 if (fdecl->llvmInternal == LLVMva_start) { |
|
0ccfae271c45
[svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown.
lindquist
parents:
54
diff
changeset
|
868 fn = gIR->module->getOrInsertFunction("llvm.va_start", fty); |
|
0ccfae271c45
[svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown.
lindquist
parents:
54
diff
changeset
|
869 assert(fn); |
|
0ccfae271c45
[svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown.
lindquist
parents:
54
diff
changeset
|
870 } |
|
0ccfae271c45
[svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown.
lindquist
parents:
54
diff
changeset
|
871 else if (fdecl->llvmInternal == LLVMva_intrinsic) { |
|
0ccfae271c45
[svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown.
lindquist
parents:
54
diff
changeset
|
872 fn = gIR->module->getOrInsertFunction(fdecl->llvmInternal1, fty); |
|
0ccfae271c45
[svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown.
lindquist
parents:
54
diff
changeset
|
873 assert(fn); |
|
0ccfae271c45
[svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown.
lindquist
parents:
54
diff
changeset
|
874 } |
|
0ccfae271c45
[svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown.
lindquist
parents:
54
diff
changeset
|
875 else |
|
0ccfae271c45
[svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown.
lindquist
parents:
54
diff
changeset
|
876 assert(0); |
|
0ccfae271c45
[svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown.
lindquist
parents:
54
diff
changeset
|
877 |
| 96 | 878 llvm::Function* func = llvm::dyn_cast<llvm::Function>(fn); |
|
55
0ccfae271c45
[svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown.
lindquist
parents:
54
diff
changeset
|
879 assert(func); |
|
0ccfae271c45
[svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown.
lindquist
parents:
54
diff
changeset
|
880 assert(func->isIntrinsic()); |
|
0ccfae271c45
[svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown.
lindquist
parents:
54
diff
changeset
|
881 fdecl->llvmValue = func; |
|
0ccfae271c45
[svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown.
lindquist
parents:
54
diff
changeset
|
882 return func; |
|
0ccfae271c45
[svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown.
lindquist
parents:
54
diff
changeset
|
883 } |
|
0ccfae271c45
[svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown.
lindquist
parents:
54
diff
changeset
|
884 |
|
0ccfae271c45
[svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown.
lindquist
parents:
54
diff
changeset
|
885 ////////////////////////////////////////////////////////////////////////////////////////// |
|
0ccfae271c45
[svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown.
lindquist
parents:
54
diff
changeset
|
886 |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
887 llvm::Function* DtoDeclareFunction(FuncDeclaration* fdecl) |
| 9 | 888 { |
|
55
0ccfae271c45
[svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown.
lindquist
parents:
54
diff
changeset
|
889 if ((fdecl->llvmInternal == LLVMva_start) || (fdecl->llvmInternal == LLVMva_intrinsic)) { |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
890 return DtoDeclareVaFunction(fdecl); |
|
55
0ccfae271c45
[svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown.
lindquist
parents:
54
diff
changeset
|
891 } |
|
0ccfae271c45
[svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown.
lindquist
parents:
54
diff
changeset
|
892 |
|
27
92408a3a2bac
[svn r31] * Fixed returning through hidden pointer was unable to report back the return value
lindquist
parents:
24
diff
changeset
|
893 // mangled name |
|
55
0ccfae271c45
[svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown.
lindquist
parents:
54
diff
changeset
|
894 char* mangled_name; |
|
0ccfae271c45
[svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown.
lindquist
parents:
54
diff
changeset
|
895 if (fdecl->llvmInternal == LLVMintrinsic) |
|
0ccfae271c45
[svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown.
lindquist
parents:
54
diff
changeset
|
896 mangled_name = fdecl->llvmInternal1; |
|
0ccfae271c45
[svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown.
lindquist
parents:
54
diff
changeset
|
897 else |
|
0ccfae271c45
[svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown.
lindquist
parents:
54
diff
changeset
|
898 mangled_name = fdecl->mangle(); |
|
27
92408a3a2bac
[svn r31] * Fixed returning through hidden pointer was unable to report back the return value
lindquist
parents:
24
diff
changeset
|
899 |
|
92408a3a2bac
[svn r31] * Fixed returning through hidden pointer was unable to report back the return value
lindquist
parents:
24
diff
changeset
|
900 // unit test special handling |
|
92408a3a2bac
[svn r31] * Fixed returning through hidden pointer was unable to report back the return value
lindquist
parents:
24
diff
changeset
|
901 if (fdecl->isUnitTestDeclaration()) |
|
92408a3a2bac
[svn r31] * Fixed returning through hidden pointer was unable to report back the return value
lindquist
parents:
24
diff
changeset
|
902 { |
|
92408a3a2bac
[svn r31] * Fixed returning through hidden pointer was unable to report back the return value
lindquist
parents:
24
diff
changeset
|
903 assert(0 && "no unittests yet"); |
|
92408a3a2bac
[svn r31] * Fixed returning through hidden pointer was unable to report back the return value
lindquist
parents:
24
diff
changeset
|
904 /*const llvm::FunctionType* fnty = llvm::FunctionType::get(llvm::Type::VoidTy, std::vector<const llvm::Type*>(), false); |
|
92408a3a2bac
[svn r31] * Fixed returning through hidden pointer was unable to report back the return value
lindquist
parents:
24
diff
changeset
|
905 // make the function |
|
92408a3a2bac
[svn r31] * Fixed returning through hidden pointer was unable to report back the return value
lindquist
parents:
24
diff
changeset
|
906 llvm::Function* func = gIR->module->getFunction(mangled_name); |
|
92408a3a2bac
[svn r31] * Fixed returning through hidden pointer was unable to report back the return value
lindquist
parents:
24
diff
changeset
|
907 if (func == 0) |
|
92408a3a2bac
[svn r31] * Fixed returning through hidden pointer was unable to report back the return value
lindquist
parents:
24
diff
changeset
|
908 func = new llvm::Function(fnty,llvm::GlobalValue::InternalLinkage,mangled_name,gIR->module); |
|
92408a3a2bac
[svn r31] * Fixed returning through hidden pointer was unable to report back the return value
lindquist
parents:
24
diff
changeset
|
909 func->setCallingConv(llvm::CallingConv::Fast); |
|
92408a3a2bac
[svn r31] * Fixed returning through hidden pointer was unable to report back the return value
lindquist
parents:
24
diff
changeset
|
910 fdecl->llvmValue = func; |
|
92408a3a2bac
[svn r31] * Fixed returning through hidden pointer was unable to report back the return value
lindquist
parents:
24
diff
changeset
|
911 return func; |
|
92408a3a2bac
[svn r31] * Fixed returning through hidden pointer was unable to report back the return value
lindquist
parents:
24
diff
changeset
|
912 */ |
|
92408a3a2bac
[svn r31] * Fixed returning through hidden pointer was unable to report back the return value
lindquist
parents:
24
diff
changeset
|
913 } |
|
92408a3a2bac
[svn r31] * Fixed returning through hidden pointer was unable to report back the return value
lindquist
parents:
24
diff
changeset
|
914 |
|
92408a3a2bac
[svn r31] * Fixed returning through hidden pointer was unable to report back the return value
lindquist
parents:
24
diff
changeset
|
915 // regular function |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
916 TypeFunction* f = (TypeFunction*)DtoDType(fdecl->type); |
|
11
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
917 assert(f != 0); |
|
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
918 |
| 9 | 919 if (fdecl->llvmValue != 0) { |
| 18 | 920 if (!llvm::isa<llvm::Function>(fdecl->llvmValue)) |
| 921 { | |
| 922 Logger::cout() << *fdecl->llvmValue << '\n'; | |
| 923 assert(0); | |
| 924 } | |
| 9 | 925 return llvm::cast<llvm::Function>(fdecl->llvmValue); |
| 926 } | |
| 927 | |
| 18 | 928 Logger::print("FuncDeclaration::toObjFile(%s): %s\n", fdecl->needThis()?"this":"static",fdecl->toChars()); |
| 9 | 929 LOG_SCOPE; |
| 930 | |
| 931 if (fdecl->llvmInternal == LLVMintrinsic && fdecl->fbody) { | |
| 932 error("intrinsics cannot have function bodies"); | |
| 933 fatal(); | |
| 934 } | |
| 935 | |
| 936 // construct function | |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
937 const llvm::FunctionType* functype = (f->llvmType == 0) ? DtoFunctionType(fdecl) : llvm::cast<llvm::FunctionType>(f->llvmType); |
| 9 | 938 |
| 939 // make the function | |
| 940 llvm::Function* func = gIR->module->getFunction(mangled_name); | |
| 941 if (func == 0) { | |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
942 func = new llvm::Function(functype,DtoLinkage(fdecl->protection, fdecl->storage_class),mangled_name,gIR->module); |
| 9 | 943 } |
| 944 | |
| 945 if (fdecl->llvmInternal != LLVMintrinsic) | |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
946 func->setCallingConv(DtoCallingConv(f->linkage)); |
| 9 | 947 |
| 948 fdecl->llvmValue = func; | |
| 949 f->llvmType = functype; | |
|
11
d3ee9efe20e2
[svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing.
lindquist
parents:
9
diff
changeset
|
950 assert(llvm::isa<llvm::FunctionType>(f->llvmType)); |
| 9 | 951 |
| 952 if (fdecl->isMain()) { | |
| 953 gIR->mainFunc = func; | |
| 954 } | |
| 955 | |
| 956 // name parameters | |
| 957 llvm::Function::arg_iterator iarg = func->arg_begin(); | |
| 958 int k = 0; | |
| 959 if (f->llvmRetInPtr) { | |
| 960 iarg->setName("retval"); | |
| 961 f->llvmRetArg = iarg; | |
| 962 ++iarg; | |
| 963 } | |
| 964 if (f->llvmUsesThis) { | |
| 965 iarg->setName("this"); | |
| 966 ++iarg; | |
| 967 } | |
|
57
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
968 int varargs = -1; |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
969 if (f->linkage == LINKd && f->varargs == 1) |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
970 varargs = 0; |
| 9 | 971 for (; iarg != func->arg_end(); ++iarg) |
| 972 { | |
| 973 Argument* arg = Argument::getNth(f->parameters, k++); | |
| 974 //arg->llvmValue = iarg; | |
|
86
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
975 //Logger::println("identifier: '%s' %p\n", arg->ident->toChars(), arg->ident); |
|
57
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
976 if (arg && arg->ident != 0) { |
| 9 | 977 if (arg->vardecl) { |
| 978 arg->vardecl->llvmValue = iarg; | |
| 979 } | |
| 980 iarg->setName(arg->ident->toChars()); | |
| 981 } | |
|
57
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
982 else if (!arg && varargs >= 0) { |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
983 if (varargs == 0) { |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
984 iarg->setName("_arguments"); |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
985 fdecl->llvmArguments = iarg; |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
986 } |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
987 else if (varargs == 1) { |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
988 iarg->setName("_argptr"); |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
989 fdecl->llvmArgPtr = iarg; |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
990 } |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
991 else |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
992 assert(0); |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
993 varargs++; |
|
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
994 } |
| 9 | 995 else { |
| 996 iarg->setName("unnamed"); | |
| 997 } | |
| 998 } | |
| 999 | |
|
86
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1000 Logger::cout() << "func decl: " << *func << '\n'; |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1001 |
| 9 | 1002 return func; |
| 1003 } | |
|
29
253a5fc4033a
[svn r33] * Added support for assignment to function arguments
lindquist
parents:
27
diff
changeset
|
1004 |
|
253a5fc4033a
[svn r33] * Added support for assignment to function arguments
lindquist
parents:
27
diff
changeset
|
1005 ////////////////////////////////////////////////////////////////////////////////////////// |
|
253a5fc4033a
[svn r33] * Added support for assignment to function arguments
lindquist
parents:
27
diff
changeset
|
1006 |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
1007 llvm::Value* DtoRealloc(llvm::Value* ptr, const llvm::Type* ty) |
| 34 | 1008 { |
| 1009 /*size_t sz = gTargetData->getTypeSize(ty); | |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
1010 llvm::ConstantInt* n = llvm::ConstantInt::get(DtoSize_t(), sz, false); |
| 34 | 1011 if (ptr == 0) { |
| 1012 llvm::PointerType* i8pty = llvm::PointerType::get(llvm::Type::Int8Ty); | |
| 1013 ptr = llvm::ConstantPointerNull::get(i8pty); | |
| 1014 } | |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
1015 return DtoRealloc(ptr, n);*/ |
| 34 | 1016 return NULL; |
| 1017 } | |
| 1018 | |
| 1019 ////////////////////////////////////////////////////////////////////////////////////////// | |
| 1020 | |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
1021 llvm::Value* DtoRealloc(llvm::Value* ptr, llvm::Value* n) |
| 34 | 1022 { |
| 1023 assert(ptr); | |
| 1024 assert(n); | |
| 1025 | |
| 1026 llvm::Function* fn = LLVM_D_GetRuntimeFunction(gIR->module, "_d_realloc"); | |
| 1027 assert(fn); | |
| 1028 | |
| 1029 llvm::Value* newptr = ptr; | |
| 1030 | |
| 1031 llvm::PointerType* i8pty = llvm::PointerType::get(llvm::Type::Int8Ty); | |
| 1032 if (ptr->getType() != i8pty) { | |
| 1033 newptr = new llvm::BitCastInst(ptr,i8pty,"tmp",gIR->scopebb()); | |
| 1034 } | |
| 1035 | |
| 1036 std::vector<llvm::Value*> args; | |
| 1037 args.push_back(newptr); | |
| 1038 args.push_back(n); | |
| 1039 llvm::Value* ret = new llvm::CallInst(fn, args.begin(), args.end(), "tmprealloc", gIR->scopebb()); | |
| 1040 | |
| 1041 return ret->getType() == ptr->getType() ? ret : new llvm::BitCastInst(ret,ptr->getType(),"tmp",gIR->scopebb()); | |
| 1042 } | |
| 1043 | |
| 1044 ////////////////////////////////////////////////////////////////////////////////////////// | |
| 1045 | |
|
94
61615fa85940
[svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca").
lindquist
parents:
93
diff
changeset
|
1046 void DtoAssert(llvm::Value* cond, Loc* loc, DValue* msg) |
| 34 | 1047 { |
|
94
61615fa85940
[svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca").
lindquist
parents:
93
diff
changeset
|
1048 llvm::Function* fn = LLVM_D_GetRuntimeFunction(gIR->module, "_d_assert"); |
|
61615fa85940
[svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca").
lindquist
parents:
93
diff
changeset
|
1049 const llvm::FunctionType* fnt = fn->getFunctionType(); |
|
61615fa85940
[svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca").
lindquist
parents:
93
diff
changeset
|
1050 |
| 34 | 1051 std::vector<llvm::Value*> llargs; |
| 1052 llargs.resize(3); | |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
1053 llargs[0] = cond ? DtoBoolean(cond) : llvm::ConstantInt::getFalse(); |
|
94
61615fa85940
[svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca").
lindquist
parents:
93
diff
changeset
|
1054 llargs[1] = DtoConstUint(loc->linnum); |
|
61615fa85940
[svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca").
lindquist
parents:
93
diff
changeset
|
1055 llargs[2] = msg ? msg->getRVal() : llvm::Constant::getNullValue(fnt->getParamType(2)); |
| 34 | 1056 |
| 1057 assert(fn); | |
| 1058 llvm::CallInst* call = new llvm::CallInst(fn, llargs.begin(), llargs.end(), "", gIR->scopebb()); | |
| 1059 call->setCallingConv(llvm::CallingConv::C); | |
| 1060 } | |
| 1061 | |
| 40 | 1062 ////////////////////////////////////////////////////////////////////////////////////////// |
| 34 | 1063 |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
1064 llvm::Value* DtoArgument(const llvm::Type* paramtype, Argument* fnarg, Expression* argexp) |
| 40 | 1065 { |
| 1066 llvm::Value* retval = 0; | |
| 1067 | |
|
54
28e99b04a132
[svn r58] Fixed cond expression resulting in a non-basic type.
lindquist
parents:
53
diff
changeset
|
1068 bool haslvals = !gIR->exps.empty(); |
| 40 | 1069 if (haslvals) |
|
54
28e99b04a132
[svn r58] Fixed cond expression resulting in a non-basic type.
lindquist
parents:
53
diff
changeset
|
1070 gIR->exps.push_back(IRExp(NULL,NULL,NULL)); |
| 40 | 1071 |
|
86
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1072 DValue* arg = argexp->toElem(gIR); |
| 40 | 1073 |
| 1074 if (haslvals) | |
|
54
28e99b04a132
[svn r58] Fixed cond expression resulting in a non-basic type.
lindquist
parents:
53
diff
changeset
|
1075 gIR->exps.pop_back(); |
| 40 | 1076 |
|
86
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1077 if (arg->inPlace()) { |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1078 retval = arg->getRVal(); |
| 40 | 1079 return retval; |
| 1080 } | |
| 1081 | |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
1082 Type* realtype = DtoDType(argexp->type); |
| 40 | 1083 TY argty = realtype->ty; |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
1084 if (DtoIsPassedByRef(realtype)) { |
| 40 | 1085 if (!fnarg || !fnarg->llvmCopy) { |
|
86
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1086 if (DSliceValue* sv = arg->isSlice()) { |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1087 retval = new llvm::AllocaInst(DtoType(realtype), "tmpparam", gIR->topallocapoint()); |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1088 DtoSetArray(retval, DtoArrayLen(sv), DtoArrayPtr(sv)); |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1089 } |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1090 else { |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1091 retval = arg->getRVal(); |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1092 } |
| 40 | 1093 } |
| 1094 else { | |
| 1095 llvm::Value* allocaInst = 0; | |
| 1096 llvm::BasicBlock* entryblock = &gIR->topfunc()->front(); | |
| 96 | 1097 |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
1098 const llvm::Type* realtypell = DtoType(realtype); |
|
51
61bc1b4ad3c4
[svn r55] Foreach was always generating code as if the value variable was 'ref'
lindquist
parents:
50
diff
changeset
|
1099 const llvm::PointerType* pty = llvm::PointerType::get(realtypell); |
| 40 | 1100 if (argty == Tstruct) { |
| 1101 allocaInst = new llvm::AllocaInst(pty->getElementType(), "tmpparam", gIR->topallocapoint()); | |
|
86
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1102 DValue* dst = new DVarValue(realtype, allocaInst, true); |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1103 DtoAssign(dst,arg); |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1104 delete dst; |
| 40 | 1105 } |
| 1106 else if (argty == Tdelegate) { | |
| 1107 allocaInst = new llvm::AllocaInst(pty->getElementType(), "tmpparam", gIR->topallocapoint()); | |
|
86
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1108 DValue* dst = new DVarValue(realtype, allocaInst, true); |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1109 DtoAssign(dst,arg); |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1110 delete dst; |
| 40 | 1111 } |
| 1112 else if (argty == Tarray) { | |
|
86
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1113 if (arg->isSlice()) { |
|
51
61bc1b4ad3c4
[svn r55] Foreach was always generating code as if the value variable was 'ref'
lindquist
parents:
50
diff
changeset
|
1114 allocaInst = new llvm::AllocaInst(realtypell, "tmpparam", gIR->topallocapoint()); |
|
83
339422268de1
[svn r87] Fixed some memory bloat when passing string literals as char[] params (double temporary before)
lindquist
parents:
82
diff
changeset
|
1115 } |
| 40 | 1116 else { |
| 1117 allocaInst = new llvm::AllocaInst(pty->getElementType(), "tmpparam", gIR->topallocapoint()); | |
| 1118 } | |
| 1119 } | |
| 1120 else | |
| 1121 assert(0); | |
| 1122 | |
|
86
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1123 DValue* dst = new DVarValue(realtype, allocaInst, true); |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1124 DtoAssign(dst,arg); |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1125 delete dst; |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1126 |
| 40 | 1127 retval = allocaInst; |
| 1128 } | |
| 1129 } | |
| 1130 else if (!fnarg || fnarg->llvmCopy) { | |
| 1131 Logger::println("regular arg"); | |
|
86
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1132 if (DSliceValue* sl = arg->isSlice()) { |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1133 if (sl->ptr) Logger::cout() << "ptr = " << *sl->ptr << '\n'; |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1134 if (sl->len) Logger::cout() << "len = " << *sl->len << '\n'; |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1135 assert(0); |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1136 } |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1137 else { |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1138 retval = arg->getRVal(); |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1139 } |
| 40 | 1140 } |
| 1141 else { | |
| 1142 Logger::println("as ptr arg"); | |
|
86
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1143 retval = arg->getLVal(); |
|
57
a9d29e9f1fed
[svn r61] Added support for D-style variadic functions :)
lindquist
parents:
55
diff
changeset
|
1144 if (paramtype && retval->getType() != paramtype) |
| 40 | 1145 { |
|
86
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1146 assert(0); |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1147 /*assert(retval->getType() == paramtype->getContainedType(0)); |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1148 new llvm::StoreInst(retval, arg->getLVal(), gIR->scopebb()); |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1149 retval = arg->getLVal();*/ |
| 40 | 1150 } |
| 1151 } | |
| 1152 | |
|
78
2332006e1fa4
[svn r82] Fixed: Fall-through switch cases were broken.
lindquist
parents:
77
diff
changeset
|
1153 if (fnarg && paramtype && retval->getType() != paramtype) { |
|
2332006e1fa4
[svn r82] Fixed: Fall-through switch cases were broken.
lindquist
parents:
77
diff
changeset
|
1154 // this is unfortunately needed with the way SymOffExp is overused |
|
2332006e1fa4
[svn r82] Fixed: Fall-through switch cases were broken.
lindquist
parents:
77
diff
changeset
|
1155 // and static arrays can end up being a pointer to their element type |
|
86
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1156 if (arg->isField()) { |
|
78
2332006e1fa4
[svn r82] Fixed: Fall-through switch cases were broken.
lindquist
parents:
77
diff
changeset
|
1157 retval = gIR->ir->CreateBitCast(retval, paramtype, "tmp"); |
|
2332006e1fa4
[svn r82] Fixed: Fall-through switch cases were broken.
lindquist
parents:
77
diff
changeset
|
1158 } |
|
2332006e1fa4
[svn r82] Fixed: Fall-through switch cases were broken.
lindquist
parents:
77
diff
changeset
|
1159 else { |
|
2332006e1fa4
[svn r82] Fixed: Fall-through switch cases were broken.
lindquist
parents:
77
diff
changeset
|
1160 Logger::cout() << "got '" << *retval->getType() << "' expected '" << *paramtype << "'\n"; |
|
2332006e1fa4
[svn r82] Fixed: Fall-through switch cases were broken.
lindquist
parents:
77
diff
changeset
|
1161 assert(0 && "parameter type that was actually passed is invalid"); |
|
2332006e1fa4
[svn r82] Fixed: Fall-through switch cases were broken.
lindquist
parents:
77
diff
changeset
|
1162 } |
|
2332006e1fa4
[svn r82] Fixed: Fall-through switch cases were broken.
lindquist
parents:
77
diff
changeset
|
1163 } |
|
2332006e1fa4
[svn r82] Fixed: Fall-through switch cases were broken.
lindquist
parents:
77
diff
changeset
|
1164 |
| 40 | 1165 delete arg; |
| 1166 | |
| 1167 return retval; | |
| 1168 } | |
| 34 | 1169 |
|
50
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
1170 ////////////////////////////////////////////////////////////////////////////////////////// |
| 34 | 1171 |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
1172 llvm::Value* DtoNestedVariable(VarDeclaration* vd) |
|
50
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
1173 { |
|
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
1174 FuncDeclaration* fd = vd->toParent()->isFuncDeclaration(); |
|
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
1175 assert(fd != NULL); |
|
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
1176 |
|
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
1177 IRFunction* fcur = &gIR->func(); |
|
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
1178 FuncDeclaration* f = fcur->decl; |
|
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
1179 |
|
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
1180 // on this stack |
|
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
1181 if (fd == f) { |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
1182 llvm::Value* v = DtoGEPi(vd->llvmValue,0,unsigned(vd->llvmNestedIndex),"tmp"); |
|
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
1183 if (vd->isParameter() && (vd->isRef() || vd->isOut() || DtoIsPassedByRef(vd->type))) { |
| 73 | 1184 Logger::cout() << "1267 loading: " << *v << '\n'; |
|
67
f918f3e2e99e
[svn r71] Fixed accessing parent function arguments from inside nested delegates.
lindquist
parents:
62
diff
changeset
|
1185 v = gIR->ir->CreateLoad(v,"tmp"); |
| 73 | 1186 } |
|
67
f918f3e2e99e
[svn r71] Fixed accessing parent function arguments from inside nested delegates.
lindquist
parents:
62
diff
changeset
|
1187 return v; |
|
50
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
1188 } |
|
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
1189 |
|
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
1190 // on a caller stack |
|
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
1191 llvm::Value* ptr = f->llvmThisVar; |
|
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
1192 assert(ptr); |
|
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
1193 |
|
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
1194 f = f->toParent()->isFuncDeclaration(); |
|
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
1195 assert(f); |
|
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
1196 assert(f->llvmNested); |
|
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
1197 const llvm::Type* nesttype = f->llvmNested->getType(); |
|
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
1198 assert(nesttype); |
|
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
1199 |
|
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
1200 ptr = gIR->ir->CreateBitCast(ptr, nesttype, "tmp"); |
|
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
1201 |
|
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
1202 Logger::cout() << "nested var reference:" << '\n' << *ptr << *nesttype << '\n'; |
|
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
1203 |
|
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
1204 while (f) { |
|
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
1205 if (fd == f) { |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
1206 llvm::Value* v = DtoGEPi(ptr,0,vd->llvmNestedIndex,"tmp"); |
|
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
1207 if (vd->isParameter() && (vd->isRef() || vd->isOut() || DtoIsPassedByRef(vd->type))) { |
| 73 | 1208 Logger::cout() << "1291 loading: " << *v << '\n'; |
|
67
f918f3e2e99e
[svn r71] Fixed accessing parent function arguments from inside nested delegates.
lindquist
parents:
62
diff
changeset
|
1209 v = gIR->ir->CreateLoad(v,"tmp"); |
| 73 | 1210 } |
|
67
f918f3e2e99e
[svn r71] Fixed accessing parent function arguments from inside nested delegates.
lindquist
parents:
62
diff
changeset
|
1211 return v; |
|
50
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
1212 } |
|
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
1213 else { |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
1214 ptr = DtoGEPi(ptr,0,0,"tmp"); |
|
50
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
1215 ptr = gIR->ir->CreateLoad(ptr,"tmp"); |
|
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
1216 } |
|
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
1217 f = f->toParent()->isFuncDeclaration(); |
|
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
1218 } |
|
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
1219 |
|
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
1220 assert(0 && "nested var not found"); |
|
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
1221 return NULL; |
|
6fcc08a4d406
[svn r54] Added support for nested delegates referencing parent's stack variables.
lindquist
parents:
49
diff
changeset
|
1222 } |
|
51
61bc1b4ad3c4
[svn r55] Foreach was always generating code as if the value variable was 'ref'
lindquist
parents:
50
diff
changeset
|
1223 |
|
61bc1b4ad3c4
[svn r55] Foreach was always generating code as if the value variable was 'ref'
lindquist
parents:
50
diff
changeset
|
1224 ////////////////////////////////////////////////////////////////////////////////////////// |
|
61bc1b4ad3c4
[svn r55] Foreach was always generating code as if the value variable was 'ref'
lindquist
parents:
50
diff
changeset
|
1225 |
|
86
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1226 void DtoAssign(DValue* lhs, DValue* rhs) |
|
51
61bc1b4ad3c4
[svn r55] Foreach was always generating code as if the value variable was 'ref'
lindquist
parents:
50
diff
changeset
|
1227 { |
| 92 | 1228 Logger::cout() << "DtoAssign(...);\n"; |
|
86
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1229 Type* t = DtoDType(lhs->getType()); |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1230 Type* t2 = DtoDType(rhs->getType()); |
|
51
61bc1b4ad3c4
[svn r55] Foreach was always generating code as if the value variable was 'ref'
lindquist
parents:
50
diff
changeset
|
1231 |
|
61bc1b4ad3c4
[svn r55] Foreach was always generating code as if the value variable was 'ref'
lindquist
parents:
50
diff
changeset
|
1232 if (t->ty == Tstruct) { |
|
86
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1233 if (t2 != t) { |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1234 // TODO: fix this, use 'rhs' for something |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1235 DtoStructZeroInit(lhs->getLVal()); |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1236 } |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1237 else if (!rhs->inPlace()) { |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1238 DtoStructCopy(lhs->getLVal(),rhs->getRVal()); |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1239 } |
|
51
61bc1b4ad3c4
[svn r55] Foreach was always generating code as if the value variable was 'ref'
lindquist
parents:
50
diff
changeset
|
1240 } |
|
61bc1b4ad3c4
[svn r55] Foreach was always generating code as if the value variable was 'ref'
lindquist
parents:
50
diff
changeset
|
1241 else if (t->ty == Tarray) { |
|
86
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1242 // lhs is slice |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1243 if (DSliceValue* s = lhs->isSlice()) { |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1244 if (DSliceValue* s2 = rhs->isSlice()) { |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1245 DtoArrayCopy(s, s2); |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1246 } |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1247 else if (t->next == t2) { |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1248 if (s->len) |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1249 DtoArrayInit(s->ptr, s->len, rhs->getRVal()); |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1250 else |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1251 DtoArrayInit(s->ptr, rhs->getRVal()); |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1252 } |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1253 else |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1254 assert(rhs->inPlace()); |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1255 } |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1256 // rhs is slice |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1257 else if (DSliceValue* s = rhs->isSlice()) { |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1258 DtoSetArray(lhs->getLVal(),s->len,s->ptr); |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1259 } |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1260 // null |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1261 else if (rhs->isNull()) { |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1262 DtoNullArray(lhs->getLVal()); |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1263 } |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1264 // reference assignment |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1265 else { |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1266 DtoArrayAssign(lhs->getLVal(), rhs->getRVal()); |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1267 } |
|
51
61bc1b4ad3c4
[svn r55] Foreach was always generating code as if the value variable was 'ref'
lindquist
parents:
50
diff
changeset
|
1268 } |
|
61bc1b4ad3c4
[svn r55] Foreach was always generating code as if the value variable was 'ref'
lindquist
parents:
50
diff
changeset
|
1269 else if (t->ty == Tsarray) { |
|
86
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1270 DtoStaticArrayCopy(lhs->getLVal(), rhs->getRVal()); |
|
51
61bc1b4ad3c4
[svn r55] Foreach was always generating code as if the value variable was 'ref'
lindquist
parents:
50
diff
changeset
|
1271 } |
|
61bc1b4ad3c4
[svn r55] Foreach was always generating code as if the value variable was 'ref'
lindquist
parents:
50
diff
changeset
|
1272 else if (t->ty == Tdelegate) { |
|
86
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1273 if (rhs->isNull()) |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1274 DtoNullDelegate(lhs->getLVal()); |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1275 else if (!rhs->inPlace()) |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1276 DtoDelegateCopy(lhs->getLVal(), rhs->getRVal()); |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1277 } |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1278 else if (t->ty == Tclass) { |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1279 assert(t2->ty == Tclass); |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1280 // assignment to this in constructor special case |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1281 if (lhs->isThis()) { |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1282 llvm::Value* tmp = rhs->getRVal(); |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1283 FuncDeclaration* fdecl = gIR->func().decl; |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1284 // respecify the this param |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1285 if (!llvm::isa<llvm::AllocaInst>(fdecl->llvmThisVar)) |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1286 fdecl->llvmThisVar = new llvm::AllocaInst(tmp->getType(), "newthis", gIR->topallocapoint()); |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1287 DtoStore(tmp, fdecl->llvmThisVar); |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1288 } |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1289 // regular class ref -> class ref assignment |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1290 else { |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1291 DtoStore(rhs->getRVal(), lhs->getLVal()); |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1292 } |
|
51
61bc1b4ad3c4
[svn r55] Foreach was always generating code as if the value variable was 'ref'
lindquist
parents:
50
diff
changeset
|
1293 } |
|
61bc1b4ad3c4
[svn r55] Foreach was always generating code as if the value variable was 'ref'
lindquist
parents:
50
diff
changeset
|
1294 else { |
|
86
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1295 llvm::Value* r = rhs->getRVal(); |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1296 llvm::Value* l = lhs->getLVal(); |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1297 Logger::cout() << "assign\nlhs: " << *l << "rhs: " << *r << '\n'; |
|
94
61615fa85940
[svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca").
lindquist
parents:
93
diff
changeset
|
1298 const llvm::Type* lit = l->getType()->getContainedType(0); |
|
61615fa85940
[svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca").
lindquist
parents:
93
diff
changeset
|
1299 if (r->getType() != lit) { |
|
61615fa85940
[svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca").
lindquist
parents:
93
diff
changeset
|
1300 r = DtoBitCast(r, lit); |
|
61615fa85940
[svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca").
lindquist
parents:
93
diff
changeset
|
1301 Logger::cout() << "really assign\nlhs: " << *l << "rhs: " << *r << '\n'; |
|
61615fa85940
[svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca").
lindquist
parents:
93
diff
changeset
|
1302 } |
|
86
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1303 gIR->ir->CreateStore(r, l); |
|
51
61bc1b4ad3c4
[svn r55] Foreach was always generating code as if the value variable was 'ref'
lindquist
parents:
50
diff
changeset
|
1304 } |
|
61bc1b4ad3c4
[svn r55] Foreach was always generating code as if the value variable was 'ref'
lindquist
parents:
50
diff
changeset
|
1305 } |
|
54
28e99b04a132
[svn r58] Fixed cond expression resulting in a non-basic type.
lindquist
parents:
53
diff
changeset
|
1306 |
|
28e99b04a132
[svn r58] Fixed cond expression resulting in a non-basic type.
lindquist
parents:
53
diff
changeset
|
1307 ////////////////////////////////////////////////////////////////////////////////////////// |
|
28e99b04a132
[svn r58] Fixed cond expression resulting in a non-basic type.
lindquist
parents:
53
diff
changeset
|
1308 |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
1309 llvm::ConstantInt* DtoConstSize_t(size_t i) |
|
54
28e99b04a132
[svn r58] Fixed cond expression resulting in a non-basic type.
lindquist
parents:
53
diff
changeset
|
1310 { |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
1311 return llvm::ConstantInt::get(DtoSize_t(), i, false); |
|
54
28e99b04a132
[svn r58] Fixed cond expression resulting in a non-basic type.
lindquist
parents:
53
diff
changeset
|
1312 } |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
1313 llvm::ConstantInt* DtoConstUint(unsigned i) |
|
54
28e99b04a132
[svn r58] Fixed cond expression resulting in a non-basic type.
lindquist
parents:
53
diff
changeset
|
1314 { |
|
28e99b04a132
[svn r58] Fixed cond expression resulting in a non-basic type.
lindquist
parents:
53
diff
changeset
|
1315 return llvm::ConstantInt::get(llvm::Type::Int32Ty, i, false); |
|
28e99b04a132
[svn r58] Fixed cond expression resulting in a non-basic type.
lindquist
parents:
53
diff
changeset
|
1316 } |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
1317 llvm::ConstantInt* DtoConstInt(int i) |
|
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
1318 { |
|
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
1319 return llvm::ConstantInt::get(llvm::Type::Int32Ty, i, true); |
|
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
1320 } |
|
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
1321 llvm::Constant* DtoConstBool(bool b) |
|
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
1322 { |
|
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
1323 return llvm::ConstantInt::get(llvm::Type::Int1Ty, b, false); |
|
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
1324 } |
|
54
28e99b04a132
[svn r58] Fixed cond expression resulting in a non-basic type.
lindquist
parents:
53
diff
changeset
|
1325 |
|
28e99b04a132
[svn r58] Fixed cond expression resulting in a non-basic type.
lindquist
parents:
53
diff
changeset
|
1326 ////////////////////////////////////////////////////////////////////////////////////////// |
|
28e99b04a132
[svn r58] Fixed cond expression resulting in a non-basic type.
lindquist
parents:
53
diff
changeset
|
1327 |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
1328 llvm::Constant* DtoConstString(const char* str) |
|
54
28e99b04a132
[svn r58] Fixed cond expression resulting in a non-basic type.
lindquist
parents:
53
diff
changeset
|
1329 { |
|
28e99b04a132
[svn r58] Fixed cond expression resulting in a non-basic type.
lindquist
parents:
53
diff
changeset
|
1330 std::string s(str); |
|
28e99b04a132
[svn r58] Fixed cond expression resulting in a non-basic type.
lindquist
parents:
53
diff
changeset
|
1331 llvm::Constant* init = llvm::ConstantArray::get(s, true); |
|
28e99b04a132
[svn r58] Fixed cond expression resulting in a non-basic type.
lindquist
parents:
53
diff
changeset
|
1332 llvm::GlobalVariable* gvar = new llvm::GlobalVariable( |
|
28e99b04a132
[svn r58] Fixed cond expression resulting in a non-basic type.
lindquist
parents:
53
diff
changeset
|
1333 init->getType(), true,llvm::GlobalValue::InternalLinkage, init, "stringliteral", gIR->module); |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
1334 llvm::Constant* idxs[2] = { DtoConstUint(0), DtoConstUint(0) }; |
|
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
1335 return DtoConstSlice( |
|
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
1336 DtoConstSize_t(s.length()), |
|
54
28e99b04a132
[svn r58] Fixed cond expression resulting in a non-basic type.
lindquist
parents:
53
diff
changeset
|
1337 llvm::ConstantExpr::getGetElementPtr(gvar,idxs,2) |
|
28e99b04a132
[svn r58] Fixed cond expression resulting in a non-basic type.
lindquist
parents:
53
diff
changeset
|
1338 ); |
|
28e99b04a132
[svn r58] Fixed cond expression resulting in a non-basic type.
lindquist
parents:
53
diff
changeset
|
1339 } |
|
82
d8dd47ef3973
[svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes.
lindquist
parents:
81
diff
changeset
|
1340 llvm::Constant* DtoConstStringPtr(const char* str, const char* section) |
|
d8dd47ef3973
[svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes.
lindquist
parents:
81
diff
changeset
|
1341 { |
|
d8dd47ef3973
[svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes.
lindquist
parents:
81
diff
changeset
|
1342 std::string s(str); |
|
d8dd47ef3973
[svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes.
lindquist
parents:
81
diff
changeset
|
1343 llvm::Constant* init = llvm::ConstantArray::get(s, true); |
|
d8dd47ef3973
[svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes.
lindquist
parents:
81
diff
changeset
|
1344 llvm::GlobalVariable* gvar = new llvm::GlobalVariable( |
|
d8dd47ef3973
[svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes.
lindquist
parents:
81
diff
changeset
|
1345 init->getType(), true,llvm::GlobalValue::InternalLinkage, init, "stringliteral", gIR->module); |
|
d8dd47ef3973
[svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes.
lindquist
parents:
81
diff
changeset
|
1346 if (section) gvar->setSection(section); |
|
d8dd47ef3973
[svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes.
lindquist
parents:
81
diff
changeset
|
1347 llvm::Constant* idxs[2] = { DtoConstUint(0), DtoConstUint(0) }; |
|
d8dd47ef3973
[svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes.
lindquist
parents:
81
diff
changeset
|
1348 return llvm::ConstantExpr::getGetElementPtr(gvar,idxs,2); |
|
d8dd47ef3973
[svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes.
lindquist
parents:
81
diff
changeset
|
1349 } |
|
58
2c3cd3596187
[svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum
lindquist
parents:
57
diff
changeset
|
1350 |
|
2c3cd3596187
[svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum
lindquist
parents:
57
diff
changeset
|
1351 ////////////////////////////////////////////////////////////////////////////////////////// |
|
2c3cd3596187
[svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum
lindquist
parents:
57
diff
changeset
|
1352 |
|
81
3587401b6eeb
[svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed.
lindquist
parents:
78
diff
changeset
|
1353 void DtoMemCpy(llvm::Value* dst, llvm::Value* src, llvm::Value* nbytes) |
|
58
2c3cd3596187
[svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum
lindquist
parents:
57
diff
changeset
|
1354 { |
|
2c3cd3596187
[svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum
lindquist
parents:
57
diff
changeset
|
1355 assert(dst->getType() == src->getType()); |
|
2c3cd3596187
[svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum
lindquist
parents:
57
diff
changeset
|
1356 |
|
2c3cd3596187
[svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum
lindquist
parents:
57
diff
changeset
|
1357 llvm::Type* arrty = llvm::PointerType::get(llvm::Type::Int8Ty); |
|
2c3cd3596187
[svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum
lindquist
parents:
57
diff
changeset
|
1358 llvm::Value *dstarr, *srcarr; |
|
2c3cd3596187
[svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum
lindquist
parents:
57
diff
changeset
|
1359 if (dst->getType() == arrty) |
|
2c3cd3596187
[svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum
lindquist
parents:
57
diff
changeset
|
1360 { |
|
2c3cd3596187
[svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum
lindquist
parents:
57
diff
changeset
|
1361 dstarr = dst; |
|
2c3cd3596187
[svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum
lindquist
parents:
57
diff
changeset
|
1362 srcarr = src; |
|
2c3cd3596187
[svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum
lindquist
parents:
57
diff
changeset
|
1363 } |
|
2c3cd3596187
[svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum
lindquist
parents:
57
diff
changeset
|
1364 else |
|
2c3cd3596187
[svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum
lindquist
parents:
57
diff
changeset
|
1365 { |
|
2c3cd3596187
[svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum
lindquist
parents:
57
diff
changeset
|
1366 dstarr = new llvm::BitCastInst(dst,arrty,"tmp",gIR->scopebb()); |
|
2c3cd3596187
[svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum
lindquist
parents:
57
diff
changeset
|
1367 srcarr = new llvm::BitCastInst(src,arrty,"tmp",gIR->scopebb()); |
|
2c3cd3596187
[svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum
lindquist
parents:
57
diff
changeset
|
1368 } |
|
2c3cd3596187
[svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum
lindquist
parents:
57
diff
changeset
|
1369 |
|
2c3cd3596187
[svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum
lindquist
parents:
57
diff
changeset
|
1370 llvm::Function* fn = (global.params.is64bit) ? LLVM_DeclareMemCpy64() : LLVM_DeclareMemCpy32(); |
|
2c3cd3596187
[svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum
lindquist
parents:
57
diff
changeset
|
1371 std::vector<llvm::Value*> llargs; |
|
2c3cd3596187
[svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum
lindquist
parents:
57
diff
changeset
|
1372 llargs.resize(4); |
|
2c3cd3596187
[svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum
lindquist
parents:
57
diff
changeset
|
1373 llargs[0] = dstarr; |
|
2c3cd3596187
[svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum
lindquist
parents:
57
diff
changeset
|
1374 llargs[1] = srcarr; |
|
2c3cd3596187
[svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum
lindquist
parents:
57
diff
changeset
|
1375 llargs[2] = nbytes; |
|
2c3cd3596187
[svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum
lindquist
parents:
57
diff
changeset
|
1376 llargs[3] = llvm::ConstantInt::get(llvm::Type::Int32Ty, 0, false); |
|
2c3cd3596187
[svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum
lindquist
parents:
57
diff
changeset
|
1377 |
|
2c3cd3596187
[svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum
lindquist
parents:
57
diff
changeset
|
1378 new llvm::CallInst(fn, llargs.begin(), llargs.end(), "", gIR->scopebb()); |
|
2c3cd3596187
[svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum
lindquist
parents:
57
diff
changeset
|
1379 } |
|
77
714057ff2dbb
[svn r81] Fixed: Union support was very buggy. Should be fairly solid now.
lindquist
parents:
73
diff
changeset
|
1380 |
|
714057ff2dbb
[svn r81] Fixed: Union support was very buggy. Should be fairly solid now.
lindquist
parents:
73
diff
changeset
|
1381 ////////////////////////////////////////////////////////////////////////////////////////// |
|
714057ff2dbb
[svn r81] Fixed: Union support was very buggy. Should be fairly solid now.
lindquist
parents:
73
diff
changeset
|
1382 |
|
86
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1383 llvm::Value* DtoLoad(llvm::Value* src) |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1384 { |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1385 return gIR->ir->CreateLoad(src,"tmp"); |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1386 } |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1387 |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1388 void DtoStore(llvm::Value* src, llvm::Value* dst) |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1389 { |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1390 gIR->ir->CreateStore(src,dst); |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1391 } |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1392 |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1393 bool DtoCanLoad(llvm::Value* ptr) |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1394 { |
| 96 | 1395 if (isaPointer(ptr->getType())) { |
|
86
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1396 return ptr->getType()->getContainedType(0)->isFirstClassType(); |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1397 } |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1398 return false; |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1399 } |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1400 |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1401 llvm::Value* DtoBitCast(llvm::Value* v, const llvm::Type* t) |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1402 { |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1403 return gIR->ir->CreateBitCast(v, t, "tmp"); |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1404 } |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1405 |
|
94
61615fa85940
[svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca").
lindquist
parents:
93
diff
changeset
|
1406 const llvm::PointerType* isaPointer(llvm::Value* v) |
|
61615fa85940
[svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca").
lindquist
parents:
93
diff
changeset
|
1407 { |
|
61615fa85940
[svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca").
lindquist
parents:
93
diff
changeset
|
1408 return llvm::dyn_cast<llvm::PointerType>(v->getType()); |
|
61615fa85940
[svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca").
lindquist
parents:
93
diff
changeset
|
1409 } |
|
61615fa85940
[svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca").
lindquist
parents:
93
diff
changeset
|
1410 |
| 96 | 1411 const llvm::PointerType* isaPointer(const llvm::Type* t) |
| 1412 { | |
| 1413 return llvm::dyn_cast<llvm::PointerType>(t); | |
| 1414 } | |
| 1415 | |
|
94
61615fa85940
[svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca").
lindquist
parents:
93
diff
changeset
|
1416 const llvm::ArrayType* isaArray(llvm::Value* v) |
|
61615fa85940
[svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca").
lindquist
parents:
93
diff
changeset
|
1417 { |
|
61615fa85940
[svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca").
lindquist
parents:
93
diff
changeset
|
1418 return llvm::dyn_cast<llvm::ArrayType>(v->getType()); |
|
61615fa85940
[svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca").
lindquist
parents:
93
diff
changeset
|
1419 } |
|
61615fa85940
[svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca").
lindquist
parents:
93
diff
changeset
|
1420 |
| 96 | 1421 const llvm::ArrayType* isaArray(const llvm::Type* t) |
| 1422 { | |
| 1423 return llvm::dyn_cast<llvm::ArrayType>(t); | |
| 1424 } | |
| 1425 | |
|
94
61615fa85940
[svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca").
lindquist
parents:
93
diff
changeset
|
1426 const llvm::StructType* isaStruct(llvm::Value* v) |
|
61615fa85940
[svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca").
lindquist
parents:
93
diff
changeset
|
1427 { |
|
61615fa85940
[svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca").
lindquist
parents:
93
diff
changeset
|
1428 return llvm::dyn_cast<llvm::StructType>(v->getType()); |
|
61615fa85940
[svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca").
lindquist
parents:
93
diff
changeset
|
1429 } |
|
61615fa85940
[svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca").
lindquist
parents:
93
diff
changeset
|
1430 |
| 96 | 1431 const llvm::StructType* isaStruct(const llvm::Type* t) |
| 1432 { | |
| 1433 return llvm::dyn_cast<llvm::StructType>(t); | |
| 1434 } | |
| 1435 | |
|
94
61615fa85940
[svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca").
lindquist
parents:
93
diff
changeset
|
1436 llvm::Constant* isaConstant(llvm::Value* v) |
|
61615fa85940
[svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca").
lindquist
parents:
93
diff
changeset
|
1437 { |
|
61615fa85940
[svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca").
lindquist
parents:
93
diff
changeset
|
1438 return llvm::dyn_cast<llvm::Constant>(v); |
|
61615fa85940
[svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca").
lindquist
parents:
93
diff
changeset
|
1439 } |
|
61615fa85940
[svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca").
lindquist
parents:
93
diff
changeset
|
1440 |
|
61615fa85940
[svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca").
lindquist
parents:
93
diff
changeset
|
1441 llvm::ConstantInt* isaConstantInt(llvm::Value* v) |
|
61615fa85940
[svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca").
lindquist
parents:
93
diff
changeset
|
1442 { |
|
61615fa85940
[svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca").
lindquist
parents:
93
diff
changeset
|
1443 return llvm::dyn_cast<llvm::ConstantInt>(v); |
|
61615fa85940
[svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca").
lindquist
parents:
93
diff
changeset
|
1444 } |
|
61615fa85940
[svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca").
lindquist
parents:
93
diff
changeset
|
1445 |
| 96 | 1446 llvm::Argument* isaArgument(llvm::Value* v) |
| 1447 { | |
| 1448 return llvm::dyn_cast<llvm::Argument>(v); | |
| 1449 } | |
| 1450 | |
|
86
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1451 ////////////////////////////////////////////////////////////////////////////////////////// |
|
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1452 |
|
85
f869c636a113
[svn r89] Fixed a bunch of problems with template instance across multiple modules.
lindquist
parents:
83
diff
changeset
|
1453 bool DtoIsTemplateInstance(Dsymbol* s) |
|
f869c636a113
[svn r89] Fixed a bunch of problems with template instance across multiple modules.
lindquist
parents:
83
diff
changeset
|
1454 { |
|
86
fd32135dca3e
[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!!
lindquist
parents:
85
diff
changeset
|
1455 if (!s) return false; |
|
85
f869c636a113
[svn r89] Fixed a bunch of problems with template instance across multiple modules.
lindquist
parents:
83
diff
changeset
|
1456 if (s->isTemplateInstance() && !s->isTemplateMixin()) |
|
f869c636a113
[svn r89] Fixed a bunch of problems with template instance across multiple modules.
lindquist
parents:
83
diff
changeset
|
1457 return true; |
|
f869c636a113
[svn r89] Fixed a bunch of problems with template instance across multiple modules.
lindquist
parents:
83
diff
changeset
|
1458 else if (s->parent) |
|
f869c636a113
[svn r89] Fixed a bunch of problems with template instance across multiple modules.
lindquist
parents:
83
diff
changeset
|
1459 return DtoIsTemplateInstance(s->parent); |
|
f869c636a113
[svn r89] Fixed a bunch of problems with template instance across multiple modules.
lindquist
parents:
83
diff
changeset
|
1460 return false; |
|
f869c636a113
[svn r89] Fixed a bunch of problems with template instance across multiple modules.
lindquist
parents:
83
diff
changeset
|
1461 } |
|
88
058d3925950e
[svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too.
lindquist
parents:
86
diff
changeset
|
1462 |
|
058d3925950e
[svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too.
lindquist
parents:
86
diff
changeset
|
1463 void DtoLazyStaticInit(bool istempl, llvm::Value* gvar, Initializer* init, Type* t) |
|
058d3925950e
[svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too.
lindquist
parents:
86
diff
changeset
|
1464 { |
|
058d3925950e
[svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too.
lindquist
parents:
86
diff
changeset
|
1465 // create a flag to make sure initialization only happens once |
|
058d3925950e
[svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too.
lindquist
parents:
86
diff
changeset
|
1466 llvm::GlobalValue::LinkageTypes gflaglink = istempl ? llvm::GlobalValue::WeakLinkage : llvm::GlobalValue::InternalLinkage; |
|
058d3925950e
[svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too.
lindquist
parents:
86
diff
changeset
|
1467 std::string gflagname(gvar->getName()); |
|
058d3925950e
[svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too.
lindquist
parents:
86
diff
changeset
|
1468 gflagname.append("__initflag"); |
|
058d3925950e
[svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too.
lindquist
parents:
86
diff
changeset
|
1469 llvm::GlobalVariable* gflag = new llvm::GlobalVariable(llvm::Type::Int1Ty,false,gflaglink,DtoConstBool(false),gflagname,gIR->module); |
|
058d3925950e
[svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too.
lindquist
parents:
86
diff
changeset
|
1470 |
|
058d3925950e
[svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too.
lindquist
parents:
86
diff
changeset
|
1471 // check flag and do init if not already done |
|
058d3925950e
[svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too.
lindquist
parents:
86
diff
changeset
|
1472 llvm::BasicBlock* oldend = gIR->scopeend(); |
|
058d3925950e
[svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too.
lindquist
parents:
86
diff
changeset
|
1473 llvm::BasicBlock* initbb = new llvm::BasicBlock("ifnotinit",gIR->topfunc(),oldend); |
|
058d3925950e
[svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too.
lindquist
parents:
86
diff
changeset
|
1474 llvm::BasicBlock* endinitbb = new llvm::BasicBlock("ifnotinitend",gIR->topfunc(),oldend); |
|
058d3925950e
[svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too.
lindquist
parents:
86
diff
changeset
|
1475 llvm::Value* cond = gIR->ir->CreateICmpEQ(gIR->ir->CreateLoad(gflag,"tmp"),DtoConstBool(false)); |
|
058d3925950e
[svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too.
lindquist
parents:
86
diff
changeset
|
1476 gIR->ir->CreateCondBr(cond, initbb, endinitbb); |
|
058d3925950e
[svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too.
lindquist
parents:
86
diff
changeset
|
1477 gIR->scope() = IRScope(initbb,endinitbb); |
|
94
61615fa85940
[svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca").
lindquist
parents:
93
diff
changeset
|
1478 DValue* ie = DtoInitializer(init); |
|
88
058d3925950e
[svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too.
lindquist
parents:
86
diff
changeset
|
1479 if (!ie->inPlace()) { |
|
058d3925950e
[svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too.
lindquist
parents:
86
diff
changeset
|
1480 DValue* dst = new DVarValue(t, gvar, true); |
|
058d3925950e
[svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too.
lindquist
parents:
86
diff
changeset
|
1481 DtoAssign(dst, ie); |
|
058d3925950e
[svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too.
lindquist
parents:
86
diff
changeset
|
1482 } |
|
058d3925950e
[svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too.
lindquist
parents:
86
diff
changeset
|
1483 gIR->ir->CreateStore(DtoConstBool(true), gflag); |
|
058d3925950e
[svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too.
lindquist
parents:
86
diff
changeset
|
1484 gIR->ir->CreateBr(endinitbb); |
|
058d3925950e
[svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too.
lindquist
parents:
86
diff
changeset
|
1485 gIR->scope() = IRScope(endinitbb,oldend); |
|
058d3925950e
[svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too.
lindquist
parents:
86
diff
changeset
|
1486 } |