projects/ldc: gen/functions.cpp annotate

annotate gen/functions.cpp @ 270:d9d5d59873d8 trunk

[svn r291] Fixed a bunch of the old Phobos tests to work with Tango. Branch statements now emit a new block after it. Fixed the _adSort runtime function had a bad signature. Added a missing dot prefix on compiler generated string tables for string switch. Fixed, PTRSIZE seems like it was wrong on 64bit, now it definitely gets set properly.

author	lindquist
date	Mon, 16 Jun 2008 16:01:19 +0200
parents	88252a1af660
children	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 @ 270:d9d5d59873d8 trunk