projects/ldc: gen/functions.cpp annotate

annotate gen/functions.cpp @ 268:23d0d9855cad trunk

[svn r289] Fixed: right shift >> was broken for unsigned types. Fixed: debug info for classes now started.

author	lindquist
date	Sun, 15 Jun 2008 18:52:27 +0200
parents	88252a1af660
children	665b81613475

rev	line source
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1 #include "gen/llvm.h"
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 258 diff changeset	2 #include "llvm/Support/CFG.h"
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	3
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	4 #include "mtype.h"
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	5 #include "aggregate.h"
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	6 #include "init.h"
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	7 #include "declaration.h"
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	8 #include "template.h"
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	9 #include "module.h"
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	10 #include "statement.h"
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	11
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	12 #include "gen/irstate.h"
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	13 #include "gen/tollvm.h"
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	14 #include "gen/llvmhelpers.h"
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	15 #include "gen/runtime.h"
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	16 #include "gen/arrays.h"
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	17 #include "gen/logger.h"
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	18 #include "gen/functions.h"
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	19 #include "gen/todebug.h"
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	20 #include "gen/classes.h"
131 5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	21 #include "gen/dvalue.h"
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	22
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	23 const llvm::FunctionType* DtoFunctionType(Type* type, const LLType* thistype, bool ismain)
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	24 {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	25 TypeFunction* f = (TypeFunction*)type;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	26 assert(f != 0);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	27
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	28 if (type->ir.type != NULL) {
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	29 return llvm::cast<llvm::FunctionType>(type->ir.type->get());
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	30 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	31
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	32 bool typesafeVararg = false;
162 1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	33 bool arrayVararg = false;
1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	34 if (f->linkage == LINKd)
1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	35 {
1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	36 if (f->varargs == 1)
1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	37 typesafeVararg = true;
1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	38 else if (f->varargs == 2)
1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	39 arrayVararg = true;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	40 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	41
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	42 // return value type
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	43 const LLType* rettype;
7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	44 const LLType* actualRettype;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	45 Type* rt = f->next;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	46 bool retinptr = false;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	47 bool usesthis = false;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	48
234 9760f54af0b7 [svn r250] Fixed the warning about dropping arguments to _Dmain when optimizing. lindquist parents: 225 diff changeset	49 // parameter types
9760f54af0b7 [svn r250] Fixed the warning about dropping arguments to _Dmain when optimizing. lindquist parents: 225 diff changeset	50 std::vector<const LLType*> paramvec;
9760f54af0b7 [svn r250] Fixed the warning about dropping arguments to _Dmain when optimizing. lindquist parents: 225 diff changeset	51
9760f54af0b7 [svn r250] Fixed the warning about dropping arguments to _Dmain when optimizing. lindquist parents: 225 diff changeset	52 if (ismain)
9760f54af0b7 [svn r250] Fixed the warning about dropping arguments to _Dmain when optimizing. lindquist parents: 225 diff changeset	53 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	54 rettype = LLType::Int32Ty;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	55 actualRettype = rettype;
234 9760f54af0b7 [svn r250] Fixed the warning about dropping arguments to _Dmain when optimizing. lindquist parents: 225 diff changeset	56 if (Argument::dim(f->parameters) == 0)
9760f54af0b7 [svn r250] Fixed the warning about dropping arguments to _Dmain when optimizing. lindquist parents: 225 diff changeset	57 {
9760f54af0b7 [svn r250] Fixed the warning about dropping arguments to _Dmain when optimizing. lindquist parents: 225 diff changeset	58 const LLType* arrTy = DtoArrayType(LLType::Int8Ty);
9760f54af0b7 [svn r250] Fixed the warning about dropping arguments to _Dmain when optimizing. lindquist parents: 225 diff changeset	59 const LLType* arrArrTy = DtoArrayType(arrTy);
9760f54af0b7 [svn r250] Fixed the warning about dropping arguments to _Dmain when optimizing. lindquist parents: 225 diff changeset	60 paramvec.push_back(getPtrToType(arrArrTy));
9760f54af0b7 [svn r250] Fixed the warning about dropping arguments to _Dmain when optimizing. lindquist parents: 225 diff changeset	61 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	62 }
234 9760f54af0b7 [svn r250] Fixed the warning about dropping arguments to _Dmain when optimizing. lindquist parents: 225 diff changeset	63 else{
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	64 assert(rt);
109 5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	65 Type* rtfin = DtoDType(rt);
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 215 diff changeset	66 if (DtoIsReturnedInArg(rt)) {
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	67 rettype = getPtrToType(DtoType(rt));
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	68 actualRettype = LLType::VoidTy;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	69 f->llvmRetInPtr = retinptr = true;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	70 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	71 else {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	72 rettype = DtoType(rt);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	73 actualRettype = rettype;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	74 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	75 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	76
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	77 if (retinptr) {
123 7f9a0a58394b [svn r127] Updated the lphobos build scripts a little. Created a new rebuild profile. lindquist parents: 121 diff changeset	78 //Logger::cout() << "returning through pointer parameter: " << *rettype << '\n';
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	79 paramvec.push_back(rettype);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	80 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	81
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	82 if (thistype) {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	83 paramvec.push_back(thistype);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	84 usesthis = true;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	85 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	86
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	87 if (typesafeVararg) {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	88 ClassDeclaration* ti = Type::typeinfo;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	89 ti->toObjFile();
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	90 DtoForceConstInitDsymbol(ti);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	91 assert(ti->ir.irStruct->constInit);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	92 std::vector<const LLType*> types;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	93 types.push_back(DtoSize_t());
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	94 types.push_back(getPtrToType(getPtrToType(ti->ir.irStruct->constInit->getType())));
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	95 const LLType* t1 = llvm::StructType::get(types);
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	96 paramvec.push_back(getPtrToType(t1));
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	97 paramvec.push_back(getPtrToType(LLType::Int8Ty));
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	98 }
162 1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	99 else if (arrayVararg)
1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	100 {
1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	101 // do nothing?
1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	102 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	103
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	104 size_t n = Argument::dim(f->parameters);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	105
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 215 diff changeset	106 int nbyval = 0;
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 215 diff changeset	107
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 215 diff changeset	108 llvm::PAListPtr palist;
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 215 diff changeset	109
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	110 for (int i=0; i < n; ++i) {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	111 Argument* arg = Argument::getNth(f->parameters, i);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	112 // ensure scalar
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	113 Type* argT = DtoDType(arg->type);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	114 assert(argT);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	115
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 215 diff changeset	116 bool refOrOut = ((arg->storageClass & STCref) \|\| (arg->storageClass & STCout));
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 215 diff changeset	117
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	118 const LLType* at = DtoType(argT);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	119 if (isaStruct(at)) {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	120 Logger::println("struct param");
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	121 paramvec.push_back(getPtrToType(at));
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 215 diff changeset	122 arg->llvmByVal = !refOrOut;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	123 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	124 else if (isaArray(at)) {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	125 Logger::println("sarray param");
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	126 assert(argT->ty == Tsarray);
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	127 //paramvec.push_back(getPtrToType(at->getContainedType(0)));
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	128 paramvec.push_back(getPtrToType(at));
241 53568c37cfa7 [svn r258] Fixed: we were passing static arrays by value. lindquist parents: 240 diff changeset	129 //arg->llvmByVal = !refOrOut; // static array are passed by reference
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	130 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	131 else if (llvm::isa<llvm::OpaqueType>(at)) {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	132 Logger::println("opaque param");
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	133 assert(argT->ty == Tstruct \|\| argT->ty == Tclass);
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	134 paramvec.push_back(getPtrToType(at));
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	135 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	136 else {
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 215 diff changeset	137 if (refOrOut) {
131 5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	138 Logger::println("by ref param");
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	139 at = getPtrToType(at);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	140 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	141 else {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	142 Logger::println("in param");
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	143 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	144 paramvec.push_back(at);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	145 }
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 215 diff changeset	146
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 215 diff changeset	147 if (arg->llvmByVal)
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 215 diff changeset	148 nbyval++;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	149 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	150
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 215 diff changeset	151 //warning("set %d byval args for type: %s", nbyval, f->toChars());
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 215 diff changeset	152
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	153 // construct function type
162 1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	154 bool isvararg = !(typesafeVararg \|\| arrayVararg) && f->varargs;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	155 llvm::FunctionType* functype = llvm::FunctionType::get(actualRettype, paramvec, isvararg);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	156
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	157 f->llvmRetInPtr = retinptr;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	158 f->llvmUsesThis = usesthis;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	159
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 215 diff changeset	160 f->ir.type = new llvm::PATypeHolder(functype);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	161
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	162 return functype;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	163 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	164
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	165 //////////////////////////////////////////////////////////////////////////////////////////
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	166
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	167 static const llvm::FunctionType* DtoVaFunctionType(FuncDeclaration* fdecl)
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	168 {
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	169 // type has already been resolved
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	170 if (fdecl->type->ir.type != 0) {
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	171 return llvm::cast<llvm::FunctionType>(fdecl->type->ir.type->get());
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	172 }
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	173
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	174 TypeFunction* f = (TypeFunction*)fdecl->type;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	175 assert(f != 0);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	176
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	177 const llvm::PointerType* i8pty = getPtrToType(LLType::Int8Ty);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	178 std::vector<const LLType*> args;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	179
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	180 if (fdecl->llvmInternal == LLVMva_start) {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	181 args.push_back(i8pty);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	182 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	183 else if (fdecl->llvmInternal == LLVMva_intrinsic) {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	184 size_t n = Argument::dim(f->parameters);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	185 for (size_t i=0; i<n; ++i) {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	186 args.push_back(i8pty);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	187 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	188 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	189 else
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	190 assert(0);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	191
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	192 const llvm::FunctionType* fty = llvm::FunctionType::get(LLType::VoidTy, args, false);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	193
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	194 f->ir.type = new llvm::PATypeHolder(fty);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	195
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	196 return fty;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	197 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	198
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	199 //////////////////////////////////////////////////////////////////////////////////////////
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	200
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	201 const llvm::FunctionType* DtoFunctionType(FuncDeclaration* fdecl)
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	202 {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	203 if ((fdecl->llvmInternal == LLVMva_start) \|\| (fdecl->llvmInternal == LLVMva_intrinsic)) {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	204 return DtoVaFunctionType(fdecl);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	205 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	206
121 9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 119 diff changeset	207 // unittest has null type, just build it manually
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 119 diff changeset	208 /*if (fdecl->isUnitTestDeclaration()) {
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	209 std::vector<const LLType*> args;
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	210 return llvm::FunctionType::get(LLType::VoidTy, args, false);
121 9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 119 diff changeset	211 }*/
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 119 diff changeset	212
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	213 // type has already been resolved
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	214 if (fdecl->type->ir.type != 0) {
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	215 return llvm::cast<llvm::FunctionType>(fdecl->type->ir.type->get());
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	216 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	217
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	218 const LLType* thisty = NULL;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	219 if (fdecl->needThis()) {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	220 if (AggregateDeclaration* ad = fdecl->isMember2()) {
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	221 Logger::println("isMember = this is: %s", ad->type->toChars());
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	222 thisty = DtoType(ad->type);
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 109 diff changeset	223 //Logger::cout() << "this llvm type: " << *thisty << '\n';
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	224 if (isaStruct(thisty) \|\| (!gIR->structs.empty() && thisty == gIR->topstruct()->recty.get()))
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	225 thisty = getPtrToType(thisty);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	226 }
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	227 else {
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	228 Logger::println("chars: %s type: %s kind: %s", fdecl->toChars(), fdecl->type->toChars(), fdecl->kind());
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	229 assert(0);
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	230 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	231 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	232 else if (fdecl->isNested()) {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	233 thisty = getPtrToType(LLType::Int8Ty);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	234 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	235
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	236 const llvm::FunctionType* functype = DtoFunctionType(fdecl->type, thisty, fdecl->isMain());
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	237
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	238 return functype;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	239 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	240
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	241 //////////////////////////////////////////////////////////////////////////////////////////
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	242
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	243 static llvm::Function* DtoDeclareVaFunction(FuncDeclaration* fdecl)
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	244 {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	245 TypeFunction* f = (TypeFunction*)DtoDType(fdecl->type);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	246 const llvm::FunctionType* fty = DtoVaFunctionType(fdecl);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	247 LLConstant* fn = 0;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	248
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	249 if (fdecl->llvmInternal == LLVMva_start) {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	250 fn = gIR->module->getOrInsertFunction("llvm.va_start", fty);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	251 assert(fn);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	252 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	253 else if (fdecl->llvmInternal == LLVMva_intrinsic) {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	254 fn = gIR->module->getOrInsertFunction(fdecl->llvmInternal1, fty);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	255 assert(fn);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	256 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	257 else
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	258 assert(0);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	259
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	260 llvm::Function* func = llvm::dyn_cast<llvm::Function>(fn);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	261 assert(func);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	262 assert(func->isIntrinsic());
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	263 fdecl->ir.irFunc->func = func;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	264 return func;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	265 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	266
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	267 //////////////////////////////////////////////////////////////////////////////////////////
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	268
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	269 void DtoResolveFunction(FuncDeclaration* fdecl)
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	270 {
121 9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 119 diff changeset	271 if (!global.params.useUnitTests && fdecl->isUnitTestDeclaration()) {
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 119 diff changeset	272 return; // ignore declaration completely
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 119 diff changeset	273 }
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 119 diff changeset	274
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	275 // is imported and we don't have access?
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	276 if (fdecl->getModule() != gIR->dmodule)
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	277 {
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	278 if (fdecl->prot() == PROTprivate)
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	279 return;
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	280 }
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	281
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	282 if (fdecl->ir.resolved) return;
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	283 fdecl->ir.resolved = true;
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	284
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	285 Logger::println("DtoResolveFunction(%s): %s", fdecl->toPrettyChars(), fdecl->loc.toChars());
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	286 LOG_SCOPE;
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	287
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	288 if (fdecl->runTimeHack) {
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	289 gIR->declareList.push_back(fdecl);
127 facc562f5674 [svn r131] Fixed #11 lindquist parents: 123 diff changeset	290 TypeFunction* tf = (TypeFunction*)fdecl->type;
facc562f5674 [svn r131] Fixed #11 lindquist parents: 123 diff changeset	291 tf->llvmRetInPtr = DtoIsPassedByRef(tf->next);
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	292 return;
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	293 }
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	294
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	295 if (fdecl->parent)
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	296 if (TemplateInstance* tinst = fdecl->parent->isTemplateInstance())
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	297 {
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	298 TemplateDeclaration* tempdecl = tinst->tempdecl;
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	299 if (tempdecl->llvmInternal == LLVMva_arg)
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	300 {
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	301 Logger::println("magic va_arg found");
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	302 fdecl->llvmInternal = LLVMva_arg;
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	303 fdecl->ir.declared = true;
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	304 fdecl->ir.initialized = true;
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	305 fdecl->ir.defined = true;
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	306 return; // this gets mapped to an instruction so a declaration makes no sence
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	307 }
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	308 else if (tempdecl->llvmInternal == LLVMva_start)
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	309 {
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	310 Logger::println("magic va_start found");
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	311 fdecl->llvmInternal = LLVMva_start;
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	312 }
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	313 }
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	314
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	315 DtoFunctionType(fdecl);
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	316
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	317 // queue declaration
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 109 diff changeset	318 if (!fdecl->isAbstract())
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 109 diff changeset	319 gIR->declareList.push_back(fdecl);
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	320 }
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	321
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	322 //////////////////////////////////////////////////////////////////////////////////////////
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	323
240 0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	324 static void set_param_attrs(TypeFunction* f, llvm::Function* func, FuncDeclaration* fdecl)
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	325 {
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	326 assert(f->parameters);
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	327
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	328 int llidx = 1;
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	329 if (f->llvmRetInPtr) ++llidx;
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	330 if (f->llvmUsesThis) ++llidx;
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	331 if (f->linkage == LINKd && f->varargs == 1)
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	332 llidx += 2;
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	333
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	334 int funcNumArgs = func->getArgumentList().size();
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	335 std::vector<llvm::ParamAttrsWithIndex> attrs;
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	336 int k = 0;
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	337
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	338 int nbyval = 0;
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	339
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	340 if (fdecl->isMain() && Argument::dim(f->parameters) == 0)
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	341 {
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	342 llvm::ParamAttrsWithIndex PAWI;
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	343 PAWI.Index = llidx;
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	344 PAWI.Attrs = llvm::ParamAttr::ByVal;
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	345 attrs.push_back(PAWI);
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	346 llidx++;
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	347 nbyval++;
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	348 }
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	349
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	350 for (; llidx <= funcNumArgs && f->parameters->dim > k; ++llidx,++k)
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	351 {
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	352 Argument* fnarg = (Argument*)f->parameters->data[k];
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	353 assert(fnarg);
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	354 if (fnarg->llvmByVal)
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	355 {
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	356 llvm::ParamAttrsWithIndex PAWI;
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	357 PAWI.Index = llidx;
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	358 PAWI.Attrs = llvm::ParamAttr::ByVal;
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	359 attrs.push_back(PAWI);
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	360 nbyval++;
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	361 }
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	362 }
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	363
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	364 if (nbyval) {
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	365 llvm::PAListPtr palist = llvm::PAListPtr::get(attrs.begin(), attrs.end());
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	366 func->setParamAttrs(palist);
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	367 }
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	368 }
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	369
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	370 //////////////////////////////////////////////////////////////////////////////////////////
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	371
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	372 void DtoDeclareFunction(FuncDeclaration* fdecl)
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	373 {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	374 if (fdecl->ir.declared) return;
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	375 fdecl->ir.declared = true;
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	376
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	377 Logger::println("DtoDeclareFunction(%s): %s", fdecl->toPrettyChars(), fdecl->loc.toChars());
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	378 LOG_SCOPE;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	379
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 109 diff changeset	380 assert(!fdecl->isAbstract());
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 109 diff changeset	381
121 9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 119 diff changeset	382 // intrinsic sanity check
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 119 diff changeset	383 if (fdecl->llvmInternal == LLVMintrinsic && fdecl->fbody) {
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 119 diff changeset	384 error(fdecl->loc, "intrinsics cannot have function bodies");
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 119 diff changeset	385 fatal();
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 119 diff changeset	386 }
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 119 diff changeset	387
240 0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	388 // get TypeFunction*
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	389 Type* t = DtoDType(fdecl->type);
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	390 TypeFunction* f = (TypeFunction*)t;
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	391
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	392 // runtime function special handling
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	393 if (fdecl->runTimeHack) {
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	394 Logger::println("runtime hack func chars: %s", fdecl->toChars());
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	395 if (!fdecl->ir.irFunc) {
240 0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	396 IrFunction* irfunc = new IrFunction(fdecl);
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	397 llvm::Function* llfunc = LLVM_D_GetRuntimeFunction(gIR->module, fdecl->toChars());
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	398 fdecl->ir.irFunc = irfunc;
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	399 fdecl->ir.irFunc->func = llfunc;
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	400 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	401 return;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	402 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	403
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	404 bool declareOnly = false;
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	405 bool templInst = fdecl->parent && DtoIsTemplateInstance(fdecl->parent);
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	406 if (!templInst && fdecl->getModule() != gIR->dmodule)
144 a27941d00351 [svn r149] fixed: a bunch of D-style variadics problems. lindquist parents: 139 diff changeset	407 {
a27941d00351 [svn r149] fixed: a bunch of D-style variadics problems. lindquist parents: 139 diff changeset	408 Logger::println("not template instance, and not in this module. declare only!");
a27941d00351 [svn r149] fixed: a bunch of D-style variadics problems. lindquist parents: 139 diff changeset	409 Logger::println("current module: %s", gIR->dmodule->ident->toChars());
a27941d00351 [svn r149] fixed: a bunch of D-style variadics problems. lindquist parents: 139 diff changeset	410 Logger::println("func module: %s", fdecl->getModule()->ident->toChars());
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	411 declareOnly = true;
144 a27941d00351 [svn r149] fixed: a bunch of D-style variadics problems. lindquist parents: 139 diff changeset	412 }
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	413 else if (fdecl->llvmInternal == LLVMva_start)
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	414 declareOnly = true;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	415
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	416 if (!fdecl->ir.irFunc) {
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	417 fdecl->ir.irFunc = new IrFunction(fdecl);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	418 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	419
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	420 // mangled name
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	421 char* mangled_name;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	422 if (fdecl->llvmInternal == LLVMintrinsic)
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	423 mangled_name = fdecl->llvmInternal1;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	424 else
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	425 mangled_name = fdecl->mangle();
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	426
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	427 llvm::Function* vafunc = 0;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	428 if ((fdecl->llvmInternal == LLVMva_start) \|\| (fdecl->llvmInternal == LLVMva_intrinsic)) {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	429 vafunc = DtoDeclareVaFunction(fdecl);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	430 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	431
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	432 // construct function
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	433 const llvm::FunctionType* functype = DtoFunctionType(fdecl);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	434 llvm::Function* func = vafunc ? vafunc : gIR->module->getFunction(mangled_name);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	435 if (!func)
205 9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 173 diff changeset	436 func = llvm::Function::Create(functype, DtoLinkage(fdecl), mangled_name, gIR->module);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	437 else
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	438 assert(func->getFunctionType() == functype);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	439
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	440 // add func to IRFunc
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	441 fdecl->ir.irFunc->func = func;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	442
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	443 // calling convention
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	444 if (!vafunc && fdecl->llvmInternal != LLVMintrinsic)
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	445 func->setCallingConv(DtoCallingConv(f->linkage));
149 4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	446 else // fall back to C, it should be the right thing to do
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	447 func->setCallingConv(llvm::CallingConv::C);
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	448
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	449 fdecl->ir.irFunc->func = func;
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	450 assert(llvm::isa<llvm::FunctionType>(f->ir.type->get()));
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	451
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 215 diff changeset	452 // parameter attributes
240 0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	453 if (f->parameters) {
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	454 set_param_attrs(f, func, fdecl);
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 215 diff changeset	455 }
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 215 diff changeset	456
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 113 diff changeset	457 // main
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	458 if (fdecl->isMain()) {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	459 gIR->mainFunc = func;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	460 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	461
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 113 diff changeset	462 // static ctor
163 a8cd9bc1021a [svn r179] lots and lots of fixes, much more of tango now compiles/works. lindquist parents: 162 diff changeset	463 if (fdecl->isStaticCtorDeclaration() && fdecl->getModule() == gIR->dmodule) {
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 113 diff changeset	464 gIR->ctors.push_back(fdecl);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 113 diff changeset	465 }
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 113 diff changeset	466 // static dtor
163 a8cd9bc1021a [svn r179] lots and lots of fixes, much more of tango now compiles/works. lindquist parents: 162 diff changeset	467 else if (fdecl->isStaticDtorDeclaration() && fdecl->getModule() == gIR->dmodule) {
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 113 diff changeset	468 gIR->dtors.push_back(fdecl);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 113 diff changeset	469 }
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 113 diff changeset	470
162 1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	471 // we never reference parameters of function prototypes
1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	472 if (!declareOnly)
1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	473 {
1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	474 // name parameters
1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	475 llvm::Function::arg_iterator iarg = func->arg_begin();
1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	476 int k = 0;
1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	477 if (f->llvmRetInPtr) {
1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	478 iarg->setName("retval");
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	479 fdecl->ir.irFunc->retArg = iarg;
162 1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	480 ++iarg;
1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	481 }
1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	482 if (f->llvmUsesThis) {
1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	483 iarg->setName("this");
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	484 fdecl->ir.irFunc->thisVar = iarg;
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	485 assert(fdecl->ir.irFunc->thisVar);
162 1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	486 ++iarg;
1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	487 }
119 79c9ac745fbc [svn r123] Fixed some typeinfo module name mismatches. lindquist parents: 117 diff changeset	488
162 1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	489 if (f->linkage == LINKd && f->varargs == 1) {
1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	490 iarg->setName("_arguments");
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	491 fdecl->ir.irFunc->_arguments = iarg;
162 1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	492 ++iarg;
1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	493 iarg->setName("_argptr");
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	494 fdecl->ir.irFunc->_argptr = iarg;
162 1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	495 ++iarg;
1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	496 }
119 79c9ac745fbc [svn r123] Fixed some typeinfo module name mismatches. lindquist parents: 117 diff changeset	497
162 1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	498 for (; iarg != func->arg_end(); ++iarg)
1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	499 {
1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	500 if (fdecl->parameters && fdecl->parameters->dim > k)
1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	501 {
1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	502 Dsymbol* argsym = (Dsymbol*)fdecl->parameters->data[k++];
1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	503 VarDeclaration* argvd = argsym->isVarDeclaration();
1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	504 assert(argvd);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	505 assert(!argvd->ir.irLocal);
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	506 argvd->ir.irLocal = new IrLocal(argvd);
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	507 argvd->ir.irLocal->value = iarg;
162 1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	508 iarg->setName(argvd->ident->toChars());
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	509 }
162 1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	510 else
1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	511 {
1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	512 iarg->setName("unnamed");
1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	513 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	514 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	515 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	516
121 9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 119 diff changeset	517 if (fdecl->isUnitTestDeclaration())
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 119 diff changeset	518 gIR->unitTests.push_back(fdecl);
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 119 diff changeset	519
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	520 if (!declareOnly)
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	521 gIR->defineList.push_back(fdecl);
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	522 else
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	523 assert(func->getLinkage() != llvm::GlobalValue::InternalLinkage);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	524
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	525 Logger::cout() << "func decl: " << *func << '\n';
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	526 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	527
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	528 //////////////////////////////////////////////////////////////////////////////////////////
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	529
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	530 void DtoDefineFunc(FuncDeclaration* fd)
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	531 {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	532 if (fd->ir.defined) return;
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	533 fd->ir.defined = true;
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	534
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	535 assert(fd->ir.declared);
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	536
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	537 Logger::println("DtoDefineFunc(%s): %s", fd->toPrettyChars(), fd->loc.toChars());
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	538 LOG_SCOPE;
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	539
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	540 // debug info
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	541 if (global.params.symdebug) {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	542 Module* mo = fd->getModule();
250 fc9c1a0eabbd [svn r267] Fixed debug info for global variables. lindquist parents: 245 diff changeset	543 fd->ir.irFunc->dwarfSubProg = DtoDwarfSubProgram(fd);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	544 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	545
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	546 Type* t = DtoDType(fd->type);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	547 TypeFunction* f = (TypeFunction*)t;
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	548 assert(f->ir.type);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	549
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	550 llvm::Function* func = fd->ir.irFunc->func;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	551 const llvm::FunctionType* functype = func->getFunctionType();
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	552
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	553 // only members of the current module or template instances maybe be defined
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	554 if (!(fd->getModule() == gIR->dmodule \|\| DtoIsTemplateInstance(fd->parent)))
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	555 return;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	556
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	557 // set module owner
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	558 fd->ir.DModule = gIR->dmodule;
205 9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 173 diff changeset	559
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	560 // is there a body?
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	561 if (fd->fbody == NULL)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	562 return;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	563
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	564 Logger::println("Doing function body for: %s", fd->toChars());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	565 assert(fd->ir.irFunc);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	566 gIR->functions.push_back(fd->ir.irFunc);
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	567
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	568 if (fd->isMain())
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	569 gIR->emitMain = true;
162 1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	570
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	571 std::string entryname("entry_");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	572 entryname.append(fd->toPrettyChars());
162 1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	573
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	574 llvm::BasicBlock* beginbb = llvm::BasicBlock::Create(entryname,func);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	575 llvm::BasicBlock* endbb = llvm::BasicBlock::Create("endentry",func);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	576
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	577 //assert(gIR->scopes.empty());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	578 gIR->scopes.push_back(IRScope(beginbb, endbb));
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	579
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	580 // create alloca point
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	581 llvm::Instruction* allocaPoint = new llvm::AllocaInst(LLType::Int32Ty, "alloca point", beginbb);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	582 gIR->func()->allocapoint = allocaPoint;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	583
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	584 // need result variable? (not nested)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	585 if (fd->vresult && !fd->vresult->nestedref) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	586 Logger::println("non-nested vresult value");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	587 fd->vresult->ir.irLocal = new IrLocal(fd->vresult);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	588 fd->vresult->ir.irLocal->value = new llvm::AllocaInst(DtoType(fd->vresult->type),"function_vresult",allocaPoint);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	589 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	590
254 8187884566fa [svn r271] Fixed debug info for implicit 'this' param. lindquist parents: 250 diff changeset	591 // give 'this' argument debug info (and storage)
258 8dbddae09152 [svn r276] Fixed debug info for 'this' arg seemed to be broken. lindquist parents: 254 diff changeset	592 if (fd->needThis() && global.params.symdebug)
254 8187884566fa [svn r271] Fixed debug info for implicit 'this' param. lindquist parents: 250 diff changeset	593 {
8187884566fa [svn r271] Fixed debug info for implicit 'this' param. lindquist parents: 250 diff changeset	594 LLValue** thisvar = &fd->ir.irFunc->thisVar;
8187884566fa [svn r271] Fixed debug info for implicit 'this' param. lindquist parents: 250 diff changeset	595 assert(*thisvar);
8187884566fa [svn r271] Fixed debug info for implicit 'this' param. lindquist parents: 250 diff changeset	596 LLValue* thismem = new llvm::AllocaInst((*thisvar)->getType(), "newthis", allocaPoint);
8187884566fa [svn r271] Fixed debug info for implicit 'this' param. lindquist parents: 250 diff changeset	597 DtoDwarfLocalVariable(thismem, fd->vthis);
8187884566fa [svn r271] Fixed debug info for implicit 'this' param. lindquist parents: 250 diff changeset	598 gIR->ir->CreateStore(*thisvar, thismem);
8187884566fa [svn r271] Fixed debug info for implicit 'this' param. lindquist parents: 250 diff changeset	599 *thisvar = thismem;
8187884566fa [svn r271] Fixed debug info for implicit 'this' param. lindquist parents: 250 diff changeset	600 }
8187884566fa [svn r271] Fixed debug info for implicit 'this' param. lindquist parents: 250 diff changeset	601
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	602 // give arguments storage
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	603 if (fd->parameters)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	604 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	605 size_t n = fd->parameters->dim;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	606 for (int i=0; i < n; ++i)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	607 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	608 Dsymbol* argsym = (Dsymbol*)fd->parameters->data[i];
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	609 VarDeclaration* vd = argsym->isVarDeclaration();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	610 assert(vd);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	611
258 8dbddae09152 [svn r276] Fixed debug info for 'this' arg seemed to be broken. lindquist parents: 254 diff changeset	612 // FIXME: llvm seems to want an alloca/byval for debug info
254 8187884566fa [svn r271] Fixed debug info for implicit 'this' param. lindquist parents: 250 diff changeset	613 if (!vd->needsStorage \|\| vd->nestedref \|\| vd->isRef() \|\| vd->isOut())
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	614 continue;
254 8187884566fa [svn r271] Fixed debug info for implicit 'this' param. lindquist parents: 250 diff changeset	615 // debug info for normal aggr params seem to work fine
8187884566fa [svn r271] Fixed debug info for implicit 'this' param. lindquist parents: 250 diff changeset	616 else if (DtoIsPassedByRef(vd->type))
8187884566fa [svn r271] Fixed debug info for implicit 'this' param. lindquist parents: 250 diff changeset	617 {
8187884566fa [svn r271] Fixed debug info for implicit 'this' param. lindquist parents: 250 diff changeset	618 if (global.params.symdebug)
8187884566fa [svn r271] Fixed debug info for implicit 'this' param. lindquist parents: 250 diff changeset	619 DtoDwarfLocalVariable(vd->ir.getIrValue(), vd);
8187884566fa [svn r271] Fixed debug info for implicit 'this' param. lindquist parents: 250 diff changeset	620 continue;
8187884566fa [svn r271] Fixed debug info for implicit 'this' param. lindquist parents: 250 diff changeset	621 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	622
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	623 LLValue* a = vd->ir.irLocal->value;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	624 assert(a);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	625 std::string s(a->getName());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	626 Logger::println("giving argument '%s' storage", s.c_str());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	627 s.append("_storage");
225 74701ba40398 [svn r241] Fixed missing terminator for void main() with inline asm block. lindquist parents: 217 diff changeset	628
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	629 LLValue* v = new llvm::AllocaInst(a->getType(),s,allocaPoint);
245 d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	630
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	631 if (global.params.symdebug)
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	632 DtoDwarfLocalVariable(v, vd);
d61ce72c39ab [svn r262] Fixed debug info for normal function parameters. lindquist parents: 244 diff changeset	633
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	634 gIR->ir->CreateStore(a,v);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	635 vd->ir.irLocal->value = v;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	636 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	637 }
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	638
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	639 // debug info
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	640 if (global.params.symdebug) DtoDwarfFuncStart(fd);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	641
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	642 LLValue* parentNested = NULL;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	643 if (FuncDeclaration* fd2 = fd->toParent2()->isFuncDeclaration()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	644 if (!fd->isStatic()) // huh?
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	645 parentNested = fd2->ir.irFunc->nestedVar;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	646 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	647
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	648 // need result variable? (nested)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	649 if (fd->vresult && fd->vresult->nestedref) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	650 Logger::println("nested vresult value: %s", fd->vresult->toChars());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	651 fd->nestedVars.insert(fd->vresult);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	652 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	653
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	654 // construct nested variables struct
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	655 if (!fd->nestedVars.empty() \|\| parentNested) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	656 std::vector<const LLType*> nestTypes;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	657 int j = 0;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	658 if (parentNested) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	659 nestTypes.push_back(parentNested->getType());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	660 j++;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	661 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	662 for (std::set<VarDeclaration*>::iterator i=fd->nestedVars.begin(); i!=fd->nestedVars.end(); ++i) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	663 VarDeclaration* vd = *i;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	664 Logger::println("referenced nested variable %s", vd->toChars());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	665 if (!vd->ir.irLocal)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	666 vd->ir.irLocal = new IrLocal(vd);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	667 vd->ir.irLocal->nestedIndex = j++;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	668 if (vd->isParameter()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	669 if (!vd->ir.irLocal->value) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	670 assert(vd == fd->vthis);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	671 vd->ir.irLocal->value = fd->ir.irFunc->thisVar;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	672 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	673 assert(vd->ir.irLocal->value);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	674 nestTypes.push_back(vd->ir.irLocal->value->getType());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	675 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	676 else {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	677 nestTypes.push_back(DtoType(vd->type));
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	678 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	679 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	680 const llvm::StructType* nestSType = llvm::StructType::get(nestTypes);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	681 Logger::cout() << "nested var struct has type:" << *nestSType << '\n';
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	682 fd->ir.irFunc->nestedVar = new llvm::AllocaInst(nestSType,"nestedvars",allocaPoint);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	683 if (parentNested) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	684 assert(fd->ir.irFunc->thisVar);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	685 LLValue* ptr = gIR->ir->CreateBitCast(fd->ir.irFunc->thisVar, parentNested->getType(), "tmp");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	686 gIR->ir->CreateStore(ptr, DtoGEPi(fd->ir.irFunc->nestedVar, 0,0, "tmp"));
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	687 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	688 for (std::set<VarDeclaration*>::iterator i=fd->nestedVars.begin(); i!=fd->nestedVars.end(); ++i) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	689 VarDeclaration* vd = *i;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	690 if (vd->isParameter()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	691 assert(vd->ir.irLocal);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	692 gIR->ir->CreateStore(vd->ir.irLocal->value, DtoGEPi(fd->ir.irFunc->nestedVar, 0, vd->ir.irLocal->nestedIndex, "tmp"));
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	693 vd->ir.irLocal->value = fd->ir.irFunc->nestedVar;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	694 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	695 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	696 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	697
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	698 // copy _argptr to a memory location
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	699 if (f->linkage == LINKd && f->varargs == 1)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	700 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	701 LLValue* argptrmem = new llvm::AllocaInst(fd->ir.irFunc->_argptr->getType(), "_argptrmem", gIR->topallocapoint());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	702 new llvm::StoreInst(fd->ir.irFunc->_argptr, argptrmem, gIR->scopebb());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	703 fd->ir.irFunc->_argptr = argptrmem;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	704 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	705
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	706 // output function body
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	707 fd->fbody->toIR(gIR);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	708
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	709 // llvm requires all basic blocks to end with a TerminatorInst but DMD does not put a return statement
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	710 // in automatically, so we do it here.
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	711 if (!fd->isMain()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	712 if (!gIR->scopereturned()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	713 // pass the previous block into this block
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	714 if (global.params.symdebug) DtoDwarfFuncEnd(fd);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	715 if (func->getReturnType() == LLType::VoidTy) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	716 llvm::ReturnInst::Create(gIR->scopebb());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	717 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	718 else {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	719 llvm::ReturnInst::Create(llvm::UndefValue::get(func->getReturnType()), gIR->scopebb());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	720 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	721 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	722 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	723
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	724 // erase alloca point
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	725 allocaPoint->eraseFromParent();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	726 allocaPoint = 0;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	727 gIR->func()->allocapoint = 0;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	728
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	729 gIR->scopes.pop_back();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	730
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	731 // get rid of the endentry block, it's never used
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	732 assert(!func->getBasicBlockList().empty());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	733 func->getBasicBlockList().pop_back();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	734
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	735 // if the last block is empty now, it must be unreachable or it's a bug somewhere else
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	736 // would be nice to figure out how to assert that this is correct
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	737 llvm::BasicBlock* lastbb = &func->getBasicBlockList().back();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	738 if (lastbb->empty()) {
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 258 diff changeset	739 new llvm::UnreachableInst(lastbb);
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 258 diff changeset	740 // if (llvm::pred_begin(lastbb) != llvm::pred_end(lastbb))
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 258 diff changeset	741 // {
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 258 diff changeset	742 // Logger::println("Erasing lastbb");
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 258 diff changeset	743 // lastbb->eraseFromParent();
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 258 diff changeset	744 // }
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 258 diff changeset	745 // else {
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 258 diff changeset	746 // new llvm::UnreachableInst(lastbb);
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 258 diff changeset	747 // // if (func->getReturnType() == LLType::VoidTy) {
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 258 diff changeset	748 // // llvm::ReturnInst::Create(lastbb);
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 258 diff changeset	749 // // }
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 258 diff changeset	750 // // else {
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 258 diff changeset	751 // // llvm::ReturnInst::Create(llvm::UndefValue::get(func->getReturnType()), lastbb);
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 258 diff changeset	752 // // }
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 258 diff changeset	753 // }
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	754 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	755
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	756 // if the last block is not terminated we return a null value or void
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	757 // for some unknown reason this is needed when a void main() has a inline asm block ...
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	758 // this should be harmless for well formed code!
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	759 lastbb = &func->getBasicBlockList().back();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	760 if (!lastbb->getTerminator())
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	761 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	762 Logger::println("adding missing return statement");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	763 if (func->getReturnType() == LLType::VoidTy)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	764 llvm::ReturnInst::Create(lastbb);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	765 else
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	766 llvm::ReturnInst::Create(llvm::Constant::getNullValue(func->getReturnType()), lastbb);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	767 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	768
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	769 gIR->functions.pop_back();
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	770 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	771
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	772 //////////////////////////////////////////////////////////////////////////////////////////
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	773
117 56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	774 const llvm::FunctionType* DtoBaseFunctionType(FuncDeclaration* fdecl)
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	775 {
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	776 Dsymbol* parent = fdecl->toParent();
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	777 ClassDeclaration* cd = parent->isClassDeclaration();
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	778 assert(cd);
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	779
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	780 FuncDeclaration* f = fdecl;
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	781
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	782 while (cd)
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	783 {
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	784 ClassDeclaration* base = cd->baseClass;
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	785 if (!base)
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	786 break;
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	787 FuncDeclaration* f2 = base->findFunc(fdecl->ident, (TypeFunction*)fdecl->type);
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	788 if (f2) {
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	789 f = f2;
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	790 cd = base;
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	791 }
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	792 else
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	793 break;
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	794 }
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	795
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	796 DtoResolveDsymbol(f);
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	797 return llvm::cast<llvm::FunctionType>(DtoType(f->type));
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	798 }
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	799
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	800 //////////////////////////////////////////////////////////////////////////////////////////
131 5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	801
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	802 DValue* DtoArgument(Argument* fnarg, Expression* argexp)
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	803 {
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	804 Logger::println("DtoArgument");
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	805 LOG_SCOPE;
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	806
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	807 DValue* arg = argexp->toElem(gIR);
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	808
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	809 // ref/out arg
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	810 if (fnarg && ((fnarg->storageClass & STCref) \|\| (fnarg->storageClass & STCout)))
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	811 {
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	812 if (arg->isVar() \|\| arg->isLRValue())
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	813 arg = new DImValue(argexp->type, arg->getLVal(), false);
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	814 else
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	815 arg = new DImValue(argexp->type, arg->getRVal(), false);
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	816 }
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 215 diff changeset	817 // byval arg, but expr has no storage yet
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 215 diff changeset	818 else if (DtoIsPassedByRef(argexp->type) && (arg->isSlice() \|\| arg->isComplex() \|\| arg->isNull()))
131 5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	819 {
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	820 LLValue* alloc = new llvm::AllocaInst(DtoType(argexp->type), "tmpparam", gIR->topallocapoint());
131 5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	821 DVarValue* vv = new DVarValue(argexp->type, alloc, true);
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	822 DtoAssign(vv, arg);
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	823 arg = vv;
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	824 }
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	825
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	826 return arg;
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	827 }
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	828
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	829 //////////////////////////////////////////////////////////////////////////////////////////
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	830
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	831 void DtoVariadicArgument(Expression* argexp, LLValue* dst)
131 5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	832 {
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	833 Logger::println("DtoVariadicArgument");
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	834 LOG_SCOPE;
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	835 DVarValue* vv = new DVarValue(argexp->type, dst, true);
215 a58d8f4b84df [svn r231] Changed: warnings are no longer treated as an error. lindquist parents: 213 diff changeset	836 gIR->exps.push_back(IRExp(NULL, argexp, vv));
131 5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	837 DtoAssign(vv, argexp->toElem(gIR));
215 a58d8f4b84df [svn r231] Changed: warnings are no longer treated as an error. lindquist parents: 213 diff changeset	838 gIR->exps.pop_back();
131 5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	839 }
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	840
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	841 //////////////////////////////////////////////////////////////////////////////////////////

Mercurial > projects > ldc

annotate gen/functions.cpp @ 268:23d0d9855cad trunk