projects/ldc: gen/functions.cpp annotate

annotate gen/functions.cpp @ 1042:45af482e3832

Updated ABI handling to be more flexible with regard to reusing lvalues and allocating fewer temporaries.

author	Tomas Lindquist Olsen <tomas.l.olsen@gmail.com>
date	Wed, 04 Mar 2009 17:24:25 +0100
parents	9167d492cbc2
children	a91d6fc600cd

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"
445 cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 443 diff changeset	3 #include "llvm/Intrinsics.h"
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	4
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	5 #include "mtype.h"
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	6 #include "aggregate.h"
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	7 #include "init.h"
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	8 #include "declaration.h"
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	9 #include "template.h"
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	10 #include "module.h"
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	11 #include "statement.h"
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	12
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	13 #include "gen/irstate.h"
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	14 #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	15 #include "gen/llvmhelpers.h"
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	16 #include "gen/runtime.h"
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	17 #include "gen/arrays.h"
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	18 #include "gen/logger.h"
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	19 #include "gen/functions.h"
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	20 #include "gen/todebug.h"
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	21 #include "gen/classes.h"
131 5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	22 #include "gen/dvalue.h"
988 2667e3a145be - Fixed LLVM style CL args for D2. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 958 diff changeset	23 #include "gen/abi.h"
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	24
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	25 const llvm::FunctionType* DtoFunctionType(Type* type, Type* thistype, Type* nesttype, bool ismain)
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	26 {
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	27 // sanity check
435 74101be2a553 Added type param to DVarValue as DMD sometimes overrides the type of the VarDeclaration. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 428 diff changeset	28 assert(type->ty == Tfunction);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	29 TypeFunction* f = (TypeFunction*)type;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	30
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	31 // already built ?
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	32 if (type->ir.type != NULL) {
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	33 assert(f->fty != NULL);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	34 return llvm::cast<llvm::FunctionType>(type->ir.type->get());
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	35 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	36
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	37 // create new ir funcTy
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	38 assert(f->fty == NULL);
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	39 f->fty = new IrFuncTy();
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	40
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	41 // llvm idx counter
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	42 size_t lidx = 0;
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	43
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	44 // main needs a little special handling
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	45 if (ismain)
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	46 {
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	47 f->fty->ret = new IrFuncTyArg(Type::tint32, false);
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	48 }
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	49 // sane return value
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	50 else
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	51 {
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	52 Type* rt = f->next;
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	53 unsigned a = 0;
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	54 // sret return
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	55 if (gABI->returnInArg(f))
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	56 {
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	57 f->fty->arg_sret = new IrFuncTyArg(rt, true, llvm::Attribute::StructRet);
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	58 rt = Type::tvoid;
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	59 lidx++;
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	60 }
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	61 // sext/zext return
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	62 else if (unsigned se = DtoShouldExtend(rt))
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	63 {
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	64 a = se;
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	65 }
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	66 f->fty->ret = new IrFuncTyArg(rt, false, a);
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	67 }
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	68 lidx++;
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	69
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	70 // member functions
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	71 if (thistype)
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	72 {
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	73 bool toref = (thistype->toBasetype()->ty == Tstruct);
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	74 f->fty->arg_this = new IrFuncTyArg(thistype, toref);
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	75 lidx++;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	76 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	77
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	78 // and nested functions
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	79 else if (nesttype)
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	80 {
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	81 f->fty->arg_nest = new IrFuncTyArg(nesttype, false);
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	82 lidx++;
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	83 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	84
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	85 // vararg functions are special too
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	86 if (f->varargs)
234 9760f54af0b7 [svn r250] Fixed the warning about dropping arguments to _Dmain when optimizing. lindquist parents: 225 diff changeset	87 {
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	88 if (f->linkage == LINKd)
234 9760f54af0b7 [svn r250] Fixed the warning about dropping arguments to _Dmain when optimizing. lindquist parents: 225 diff changeset	89 {
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	90 // d style with hidden args
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	91 // 2 (array) is handled by the frontend
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	92 if (f->varargs == 1)
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	93 {
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	94 // _arguments
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	95 f->fty->arg_arguments = new IrFuncTyArg(Type::typeinfo->type->arrayOf(), false);
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	96 lidx++;
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	97 // _argptr
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	98 f->fty->arg_argptr = new IrFuncTyArg(Type::tvoid->pointerTo(), false);
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	99 lidx++;
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	100 }
234 9760f54af0b7 [svn r250] Fixed the warning about dropping arguments to _Dmain when optimizing. lindquist parents: 225 diff changeset	101 }
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	102 else if (f->linkage == LINKc)
988 2667e3a145be - Fixed LLVM style CL args for D2. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 958 diff changeset	103 {
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	104 f->fty->c_vararg = true;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	105 }
988 2667e3a145be - Fixed LLVM style CL args for D2. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 958 diff changeset	106 else
2667e3a145be - Fixed LLVM style CL args for D2. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 958 diff changeset	107 {
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	108 type->error(0, "invalid linkage for variadic function");
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	109 fatal();
445 cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 443 diff changeset	110 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	111 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	112
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	113 // if this _Dmain() doesn't have an argument, we force it to have one
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	114 int nargs = Argument::dim(f->parameters);
930 7985bb036db4 Follow the D ABI and pass the last arg in a register if it is a struct that fits. Christian Kamm <kamm incasoftware de> parents: 920 diff changeset	115
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	116 if (ismain && nargs == 0)
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	117 {
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	118 Type* mainargs = Type::tchar->arrayOf()->arrayOf();
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	119 f->fty->args.push_back(new IrFuncTyArg(mainargs, false));
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	120 lidx++;
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	121 }
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	122 // add explicit parameters
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	123 else for (int i = 0; i < nargs; i++)
723 55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	124 {
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	125 // get argument
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	126 Argument* arg = Argument::getNth(f->parameters, i);
723 55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	127
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	128 // reference semantics? ref, out and static arrays are
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	129 bool byref = (arg->storageClass & (STCref\|STCout)) \|\| (arg->type->toBasetype()->ty == Tsarray);
723 55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	130
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	131 Type* argtype = arg->type;
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	132 unsigned a = 0;
585 fbb1a366cfbc Complex number should now follow the D ABI on x86. They're also treated as first class values now. Big change. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 546 diff changeset	133
719 7261ff0f95ff Implemented first class delegates. closes #101 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 715 diff changeset	134 // handle lazy args
7261ff0f95ff Implemented first class delegates. closes #101 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 715 diff changeset	135 if (arg->storageClass & STClazy)
7261ff0f95ff Implemented first class delegates. closes #101 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 715 diff changeset	136 {
7261ff0f95ff Implemented first class delegates. closes #101 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 715 diff changeset	137 Logger::println("lazy param");
7261ff0f95ff Implemented first class delegates. closes #101 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 715 diff changeset	138 TypeFunction *ltf = new TypeFunction(NULL, arg->type, 0, LINKd);
7261ff0f95ff Implemented first class delegates. closes #101 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 715 diff changeset	139 TypeDelegate *ltd = new TypeDelegate(ltf);
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	140 argtype = ltd;
719 7261ff0f95ff Implemented first class delegates. closes #101 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 715 diff changeset	141 }
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	142 // byval
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	143 else if (gABI->passByVal(argtype))
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	144 {
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	145 if (!byref) a \|= llvm::Attribute::ByVal;
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	146 byref = true;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	147 }
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	148 // sext/zext
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	149 else if (!byref)
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	150 {
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	151 a \|= DtoShouldExtend(argtype);
715 30b42a283c8e Removed TypeOpaque from DMD. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 632 diff changeset	152 }
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	153
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	154 f->fty->args.push_back(new IrFuncTyArg(argtype, byref, a));
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	155 lidx++;
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	156 }
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	157
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	158 // let the abi rewrite the types as necesary
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	159 gABI->rewriteFunctionType(f);
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	160
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	161 // build the function type
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	162 std::vector<const LLType*> argtypes;
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	163 argtypes.reserve(lidx);
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	164
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	165 if (f->fty->arg_sret) argtypes.push_back(f->fty->arg_sret->ltype);
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	166 if (f->fty->arg_this) argtypes.push_back(f->fty->arg_this->ltype);
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	167 if (f->fty->arg_nest) argtypes.push_back(f->fty->arg_nest->ltype);
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	168 if (f->fty->arg_arguments) argtypes.push_back(f->fty->arg_arguments->ltype);
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	169 if (f->fty->arg_argptr) argtypes.push_back(f->fty->arg_argptr->ltype);
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	170
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	171 size_t beg = argtypes.size();
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	172 size_t nargs2 = f->fty->args.size();
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	173 for (size_t i = 0; i < nargs2; i++)
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	174 {
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	175 argtypes.push_back(f->fty->args[i]->ltype);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	176 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	177
723 55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	178 // reverse params?
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	179 if (f->fty->reverseParams && f->parameters->dim > 1)
723 55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	180 {
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	181 std::reverse(argtypes.begin() + beg, argtypes.end());
723 55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	182 }
55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	183
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	184 llvm::FunctionType* functype = llvm::FunctionType::get(f->fty->ret->ltype, argtypes, f->fty->c_vararg);
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 215 diff changeset	185 f->ir.type = new llvm::PATypeHolder(functype);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	186
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	187 return functype;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	188 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	189
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	190 //////////////////////////////////////////////////////////////////////////////////////////
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	191
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	192 static const llvm::FunctionType* DtoVaFunctionType(FuncDeclaration* fdecl)
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	193 {
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	194 // type has already been resolved
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	195 if (fdecl->type->ir.type != 0) {
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	196 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	197 }
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	198
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	199 TypeFunction* f = (TypeFunction*)fdecl->type;
445 cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 443 diff changeset	200 const llvm::FunctionType* fty = 0;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	201
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	202 // create new ir funcTy
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	203 assert(f->fty == NULL);
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	204 f->fty = new IrFuncTy();
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	205 f->fty->ret = new IrFuncTyArg(Type::tvoid, false);
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	206
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	207 f->fty->args.push_back(new IrFuncTyArg(Type::tvoid->pointerTo(), false));
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	208
445 cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 443 diff changeset	209 if (fdecl->llvmInternal == LLVMva_start)
cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 443 diff changeset	210 fty = GET_INTRINSIC_DECL(vastart)->getFunctionType();
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	211 else if (fdecl->llvmInternal == LLVMva_copy) {
445 cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 443 diff changeset	212 fty = GET_INTRINSIC_DECL(vacopy)->getFunctionType();
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	213 f->fty->args.push_back(new IrFuncTyArg(Type::tvoid->pointerTo(), false));
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	214 }
445 cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 443 diff changeset	215 else if (fdecl->llvmInternal == LLVMva_end)
cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 443 diff changeset	216 fty = GET_INTRINSIC_DECL(vaend)->getFunctionType();
cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 443 diff changeset	217 assert(fty);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	218
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	219 f->ir.type = new llvm::PATypeHolder(fty);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	220 return fty;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	221 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	222
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	223 //////////////////////////////////////////////////////////////////////////////////////////
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	224
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	225 const llvm::FunctionType* DtoFunctionType(FuncDeclaration* fdecl)
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	226 {
445 cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 443 diff changeset	227 // handle for C vararg intrinsics
cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 443 diff changeset	228 if (fdecl->isVaIntrinsic())
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	229 return DtoVaFunctionType(fdecl);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	230
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	231 // type has already been resolved
445 cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 443 diff changeset	232 if (fdecl->type->ir.type != 0)
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	233 return llvm::cast<llvm::FunctionType>(fdecl->type->ir.type->get());
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	234
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	235 Type dthis=0, dnest=0;
486 a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	236
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	237 if (fdecl->needThis()) {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	238 if (AggregateDeclaration* ad = fdecl->isMember2()) {
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	239 Logger::println("isMember = this is: %s", ad->type->toChars());
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	240 dthis = ad->type;
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	241 const LLType* thisty = DtoType(dthis);
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 109 diff changeset	242 //Logger::cout() << "this llvm type: " << *thisty << '\n';
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 758 diff changeset	243 if (isaStruct(thisty) \|\| (!gIR->structs.empty() && thisty == gIR->topstruct()->type->ir.type->get()))
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	244 thisty = getPtrToType(thisty);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	245 }
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	246 else {
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	247 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	248 assert(0);
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	249 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	250 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	251 else if (fdecl->isNested()) {
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	252 dnest = Type::tvoid->pointerTo();
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	253 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	254
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	255 const llvm::FunctionType* functype = DtoFunctionType(fdecl->type, dthis, dnest, fdecl->isMain());
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	256
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	257 return functype;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	258 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	259
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	260 //////////////////////////////////////////////////////////////////////////////////////////
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	261
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	262 static llvm::Function* DtoDeclareVaFunction(FuncDeclaration* fdecl)
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	263 {
486 a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	264 TypeFunction* f = (TypeFunction*)fdecl->type->toBasetype();
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	265 const llvm::FunctionType* fty = DtoVaFunctionType(fdecl);
445 cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 443 diff changeset	266 llvm::Function* func = 0;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	267
445 cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 443 diff changeset	268 if (fdecl->llvmInternal == LLVMva_start)
cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 443 diff changeset	269 func = GET_INTRINSIC_DECL(vastart);
cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 443 diff changeset	270 else if (fdecl->llvmInternal == LLVMva_copy)
cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 443 diff changeset	271 func = GET_INTRINSIC_DECL(vacopy);
cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 443 diff changeset	272 else if (fdecl->llvmInternal == LLVMva_end)
cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 443 diff changeset	273 func = GET_INTRINSIC_DECL(vaend);
cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 443 diff changeset	274 assert(func);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	275
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	276 fdecl->ir.irFunc->func = func;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	277 return func;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	278 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	279
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	280 //////////////////////////////////////////////////////////////////////////////////////////
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	281
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	282 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	283 {
121 9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 119 diff changeset	284 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	285 return; // ignore declaration completely
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 119 diff changeset	286 }
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 119 diff changeset	287
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	288 // 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	289 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	290 {
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	291 if (fdecl->prot() == PROTprivate)
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	292 return;
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	293 }
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	294
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	295 if (fdecl->ir.resolved) return;
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	296 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	297
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	298 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	299 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	300
622 26fce59fe80a Wrapped all the most potentially expensive logging calls in a conditional to only do work when actually requested. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 585 diff changeset	301 //printf("resolve function: %s\n", fdecl->toPrettyChars());
26fce59fe80a Wrapped all the most potentially expensive logging calls in a conditional to only do work when actually requested. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 585 diff changeset	302
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	303 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	304 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	305 {
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 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	307 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	308 {
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 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	310 fdecl->llvmInternal = LLVMva_arg;
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	311 fdecl->ir.declared = true;
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	312 fdecl->ir.initialized = true;
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	313 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	314 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	315 }
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 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	317 {
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	318 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	319 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	320 }
527 cecfee2d01a8 Added support for overloaded intrinsics. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 526 diff changeset	321 else if (tempdecl->llvmInternal == LLVMintrinsic)
cecfee2d01a8 Added support for overloaded intrinsics. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 526 diff changeset	322 {
cecfee2d01a8 Added support for overloaded intrinsics. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 526 diff changeset	323 Logger::println("overloaded intrinsic found");
cecfee2d01a8 Added support for overloaded intrinsics. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 526 diff changeset	324 fdecl->llvmInternal = LLVMintrinsic;
cecfee2d01a8 Added support for overloaded intrinsics. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 526 diff changeset	325 DtoOverloadedIntrinsicName(tinst, tempdecl, fdecl->intrinsicName);
723 55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	326 fdecl->linkage = LINKintrinsic;
55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	327 ((TypeFunction*)fdecl->type)->linkage = LINKintrinsic;
527 cecfee2d01a8 Added support for overloaded intrinsics. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 526 diff changeset	328 }
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	329 }
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	330
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	331 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	332
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	333 // queue declaration
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 109 diff changeset	334 if (!fdecl->isAbstract())
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 109 diff changeset	335 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	336 }
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	337
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	338 //////////////////////////////////////////////////////////////////////////////////////////
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	339
240 0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	340 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	341 {
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	342 int funcNumArgs = func->getArgumentList().size();
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	343
723 55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	344 LLSmallVector<llvm::AttributeWithIndex, 9> attrs;
632 df196c8dea26 Updated to latest LLVM trunk, function notes have been removed and merged with parameter attributes, which have been renamed to just attributes. Nothing seems to have broke! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 622 diff changeset	345 llvm::AttributeWithIndex PAWI;
240 0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	346
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	347 int idx = 0;
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	348
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	349 // handle implicit args
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	350 #define ADD_PA(X) \
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	351 if (f->fty->X) { \
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	352 if (f->fty->X->attrs) { \
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	353 PAWI.Index = idx; \
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	354 PAWI.Attrs = f->fty->X->attrs; \
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	355 attrs.push_back(PAWI); \
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	356 } \
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	357 idx++; \
445 cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 443 diff changeset	358 }
cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 443 diff changeset	359
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	360 ADD_PA(ret)
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	361 ADD_PA(arg_sret)
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	362 ADD_PA(arg_this)
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	363 ADD_PA(arg_nest)
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	364 ADD_PA(arg_arguments)
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	365 ADD_PA(arg_argptr)
454 283d113d4753 Added generation of the llvm 'sret' parameter attribute where applicable. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 452 diff changeset	366
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	367 #undef ADD_PA
720 e177ae483f8e Added inreg attribute where appropriate on x86 to follow ABI docs. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 719 diff changeset	368
445 cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 443 diff changeset	369 // set attrs on the rest of the arguments
723 55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	370 size_t n = Argument::dim(f->parameters);
55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	371 LLSmallVector<unsigned,8> attrptr(n, 0);
55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	372
55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	373 for (size_t k = 0; k < n; ++k)
240 0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	374 {
454 283d113d4753 Added generation of the llvm 'sret' parameter attribute where applicable. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 452 diff changeset	375 Argument* fnarg = Argument::getNth(f->parameters, k);
240 0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	376 assert(fnarg);
445 cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 443 diff changeset	377
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	378 attrptr[k] = f->fty->args[k]->attrs;
723 55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	379 }
445 cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 443 diff changeset	380
723 55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	381 // reverse params?
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	382 if (f->fty->reverseParams)
723 55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	383 {
55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	384 std::reverse(attrptr.begin(), attrptr.end());
240 0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	385 }
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	386
723 55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	387 // build rest of attrs list
55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	388 for (int i = 0; i < n; i++)
55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	389 {
55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	390 if (attrptr[i])
55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	391 {
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	392 PAWI.Index = idx+i;
723 55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	393 PAWI.Attrs = attrptr[i];
55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	394 attrs.push_back(PAWI);
55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	395 }
55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	396 }
55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	397
55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	398 llvm::AttrListPtr attrlist = llvm::AttrListPtr::get(attrs.begin(), attrs.end());
55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	399 func->setAttributes(attrlist);
240 0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	400 }
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	401
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	402 //////////////////////////////////////////////////////////////////////////////////////////
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	403
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	404 void DtoDeclareFunction(FuncDeclaration* fdecl)
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	405 {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	406 if (fdecl->ir.declared) return;
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	407 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	408
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	409 Logger::println("DtoDeclareFunction(%s): %s", fdecl->toPrettyChars(), fdecl->loc.toChars());
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	410 LOG_SCOPE;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	411
622 26fce59fe80a Wrapped all the most potentially expensive logging calls in a conditional to only do work when actually requested. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 585 diff changeset	412 //printf("declare function: %s\n", fdecl->toPrettyChars());
26fce59fe80a Wrapped all the most potentially expensive logging calls in a conditional to only do work when actually requested. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 585 diff changeset	413
121 9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 119 diff changeset	414 // intrinsic sanity check
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 119 diff changeset	415 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	416 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	417 fatal();
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 119 diff changeset	418 }
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 119 diff changeset	419
240 0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	420 // get TypeFunction*
486 a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	421 Type* t = fdecl->type->toBasetype();
240 0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	422 TypeFunction* f = (TypeFunction*)t;
0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	423
940 39519a1ff603 Changed the way LDC determines if a template instantiation needs to get a definition, seems to speed up compile times quite a bit in some cases. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 939 diff changeset	424 bool declareOnly = !mustDefineSymbol(fdecl);
39519a1ff603 Changed the way LDC determines if a template instantiation needs to get a definition, seems to speed up compile times quite a bit in some cases. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 939 diff changeset	425
39519a1ff603 Changed the way LDC determines if a template instantiation needs to get a definition, seems to speed up compile times quite a bit in some cases. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 939 diff changeset	426 if (fdecl->llvmInternal == LLVMva_start)
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	427 declareOnly = true;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	428
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	429 if (!fdecl->ir.irFunc) {
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	430 fdecl->ir.irFunc = new IrFunction(fdecl);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	431 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	432
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	433 // mangled name
443 44f08170f4ef Removed tango from the repository and instead added a runtime dir with the files needed to patch and build tango from svn. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 435 diff changeset	434 const char* mangled_name;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	435 if (fdecl->llvmInternal == LLVMintrinsic)
443 44f08170f4ef Removed tango from the repository and instead added a runtime dir with the files needed to patch and build tango from svn. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 435 diff changeset	436 mangled_name = fdecl->intrinsicName.c_str();
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	437 else
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	438 mangled_name = fdecl->mangle();
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	439
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	440 llvm::Function* vafunc = 0;
445 cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 443 diff changeset	441 if (fdecl->isVaIntrinsic())
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	442 vafunc = DtoDeclareVaFunction(fdecl);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	443
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	444 // construct function
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	445 const llvm::FunctionType* functype = DtoFunctionType(fdecl);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	446 llvm::Function* func = vafunc ? vafunc : gIR->module->getFunction(mangled_name);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	447 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	448 func = llvm::Function::Create(functype, DtoLinkage(fdecl), mangled_name, gIR->module);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	449
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	450 // add func to IRFunc
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	451 fdecl->ir.irFunc->func = func;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	452
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	453 // calling convention
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	454 if (!vafunc && fdecl->llvmInternal != LLVMintrinsic)
933 d3a6f1a96731 Replace assertion with errormessage for unsupported calling conventions. like Pascal. See dstress/run/e/extern_10_A.d Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 930 diff changeset	455 func->setCallingConv(DtoCallingConv(fdecl->loc, f->linkage));
149 4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	456 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	457 func->setCallingConv(llvm::CallingConv::C);
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	458
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	459 fdecl->ir.irFunc->func = func;
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	460 assert(llvm::isa<llvm::FunctionType>(f->ir.type->get()));
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	461
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 215 diff changeset	462 // parameter attributes
454 283d113d4753 Added generation of the llvm 'sret' parameter attribute where applicable. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 452 diff changeset	463 if (!fdecl->isIntrinsic()) {
240 0db62b770a49 [svn r257] Fixed: array .sort and .reverse runtime code was incorrect. lindquist parents: 234 diff changeset	464 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	465 }
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 215 diff changeset	466
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 113 diff changeset	467 // main
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	468 if (fdecl->isMain()) {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	469 gIR->mainFunc = func;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	470 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	471
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 113 diff changeset	472 // static ctor
934 b56f3571c450 Fixed problem with static ctors, in templated imported classes, not begin run. Fixes #203 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 933 diff changeset	473 if (fdecl->isStaticCtorDeclaration()) {
958 89729c76b8ff Static ctors/dtors added via template mixins should not be added to modules Christian Kamm <kamm incasoftware de> parents: 947 diff changeset	474 if (mustDefineSymbol(fdecl)) {
934 b56f3571c450 Fixed problem with static ctors, in templated imported classes, not begin run. Fixes #203 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 933 diff changeset	475 gIR->ctors.push_back(fdecl);
b56f3571c450 Fixed problem with static ctors, in templated imported classes, not begin run. Fixes #203 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 933 diff changeset	476 }
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 113 diff changeset	477 }
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 113 diff changeset	478 // static dtor
934 b56f3571c450 Fixed problem with static ctors, in templated imported classes, not begin run. Fixes #203 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 933 diff changeset	479 else if (fdecl->isStaticDtorDeclaration()) {
958 89729c76b8ff Static ctors/dtors added via template mixins should not be added to modules Christian Kamm <kamm incasoftware de> parents: 947 diff changeset	480 if (mustDefineSymbol(fdecl)) {
934 b56f3571c450 Fixed problem with static ctors, in templated imported classes, not begin run. Fixes #203 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 933 diff changeset	481 gIR->dtors.push_back(fdecl);
b56f3571c450 Fixed problem with static ctors, in templated imported classes, not begin run. Fixes #203 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 933 diff changeset	482 }
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 113 diff changeset	483 }
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 113 diff changeset	484
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	485 // we never reference parameters of function prototypes
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 758 diff changeset	486 std::string str;
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	487 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	488 {
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 // 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	490 llvm::Function::arg_iterator iarg = func->arg_begin();
723 55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	491
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	492 if (f->fty->arg_sret) {
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 758 diff changeset	493 iarg->setName(".sret_arg");
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	494 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	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 }
723 55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	497
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	498 if (f->fty->arg_this) {
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 758 diff changeset	499 iarg->setName(".this_arg");
486 a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	500 fdecl->ir.irFunc->thisArg = iarg;
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	501 assert(fdecl->ir.irFunc->thisArg);
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	502 ++iarg;
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	503 }
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	504 else if (f->fty->arg_nest) {
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 758 diff changeset	505 iarg->setName(".nest_arg");
486 a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	506 fdecl->ir.irFunc->nestArg = iarg;
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	507 assert(fdecl->ir.irFunc->nestArg);
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;
1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	509 }
119 79c9ac745fbc [svn r123] Fixed some typeinfo module name mismatches. lindquist parents: 117 diff changeset	510
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	511 if (f->fty->arg_argptr) {
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 758 diff changeset	512 iarg->setName("._arguments");
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	513 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	514 ++iarg;
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 758 diff changeset	515 iarg->setName("._argptr");
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	516 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	517 ++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	518 }
119 79c9ac745fbc [svn r123] Fixed some typeinfo module name mismatches. lindquist parents: 117 diff changeset	519
723 55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	520 int k = 0;
55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	521
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	522 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	523 {
1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	524 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	525 {
723 55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	526 Dsymbol* argsym;
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	527 if (f->fty->reverseParams)
723 55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	528 argsym = (Dsymbol*)fdecl->parameters->data[fdecl->parameters->dim-k-1];
55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	529 else
55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	530 argsym = (Dsymbol*)fdecl->parameters->data[k];
55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	531
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	532 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	533 assert(argvd);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	534 assert(!argvd->ir.irLocal);
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	535 argvd->ir.irLocal = new IrLocal(argvd);
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	536 argvd->ir.irLocal->value = iarg;
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 758 diff changeset	537
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 758 diff changeset	538 str = argvd->ident->toChars();
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 758 diff changeset	539 str.append("_arg");
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 758 diff changeset	540 iarg->setName(str);
723 55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	541
55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	542 k++;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	543 }
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	544 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	545 {
1856c62af24b [svn r178] Fixed codegen values for function arguments, the old approach was completely broken, amazing it even worked... lindquist parents: 157 diff changeset	546 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	547 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	548 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	549 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	550
830 504a21e81a46 Only run unittests contained directly in the module. Christian Kamm <kamm incasoftware de> parents: 797 diff changeset	551 if (fdecl->isUnitTestDeclaration() && !declareOnly)
121 9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 119 diff changeset	552 gIR->unitTests.push_back(fdecl);
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 119 diff changeset	553
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	554 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	555 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	556 else
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	557 assert(func->getLinkage() != llvm::GlobalValue::InternalLinkage);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	558
622 26fce59fe80a Wrapped all the most potentially expensive logging calls in a conditional to only do work when actually requested. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 585 diff changeset	559 if (Logger::enabled())
26fce59fe80a Wrapped all the most potentially expensive logging calls in a conditional to only do work when actually requested. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 585 diff changeset	560 Logger::cout() << "func decl: " << *func << '\n';
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	561 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	562
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	563 //////////////////////////////////////////////////////////////////////////////////////////
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	564
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	565 // FIXME: this isn't too pretty!
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	566
920 545f54041d91 Implemented proper support for naked asm using llvm module level asm. Still not 100% complete, but already 1000 times better that what we had before. Don's BignumX86 implementation from Tango (when turned into a standalone unittest) seems to fully work with no changes, and great performance :) Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 838 diff changeset	567 void DtoDefineFunction(FuncDeclaration* fd)
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	568 {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	569 if (fd->ir.defined) return;
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	570 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	571
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	572 assert(fd->ir.declared);
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	573
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	574 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	575 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	576
920 545f54041d91 Implemented proper support for naked asm using llvm module level asm. Still not 100% complete, but already 1000 times better that what we had before. Don's BignumX86 implementation from Tango (when turned into a standalone unittest) seems to fully work with no changes, and great performance :) Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 838 diff changeset	577 // if this function is naked, we take over right away! no standard processing!
545f54041d91 Implemented proper support for naked asm using llvm module level asm. Still not 100% complete, but already 1000 times better that what we had before. Don's BignumX86 implementation from Tango (when turned into a standalone unittest) seems to fully work with no changes, and great performance :) Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 838 diff changeset	578 if (fd->naked)
545f54041d91 Implemented proper support for naked asm using llvm module level asm. Still not 100% complete, but already 1000 times better that what we had before. Don's BignumX86 implementation from Tango (when turned into a standalone unittest) seems to fully work with no changes, and great performance :) Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 838 diff changeset	579 {
545f54041d91 Implemented proper support for naked asm using llvm module level asm. Still not 100% complete, but already 1000 times better that what we had before. Don's BignumX86 implementation from Tango (when turned into a standalone unittest) seems to fully work with no changes, and great performance :) Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 838 diff changeset	580 DtoDefineNakedFunction(fd);
545f54041d91 Implemented proper support for naked asm using llvm module level asm. Still not 100% complete, but already 1000 times better that what we had before. Don's BignumX86 implementation from Tango (when turned into a standalone unittest) seems to fully work with no changes, and great performance :) Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 838 diff changeset	581 return;
545f54041d91 Implemented proper support for naked asm using llvm module level asm. Still not 100% complete, but already 1000 times better that what we had before. Don's BignumX86 implementation from Tango (when turned into a standalone unittest) seems to fully work with no changes, and great performance :) Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 838 diff changeset	582 }
545f54041d91 Implemented proper support for naked asm using llvm module level asm. Still not 100% complete, but already 1000 times better that what we had before. Don's BignumX86 implementation from Tango (when turned into a standalone unittest) seems to fully work with no changes, and great performance :) Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 838 diff changeset	583
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	584 // debug info
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	585 if (global.params.symdebug) {
946 1714836f2c0b Mostly rewrite debug info generation in terms of llvm/Analysis/DebugInfo.h. Christian Kamm <kamm incasoftware de> parents: 945 diff changeset	586 fd->ir.irFunc->diSubprogram = DtoDwarfSubProgram(fd);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	587 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	588
486 a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	589 Type* t = fd->type->toBasetype();
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	590 TypeFunction* f = (TypeFunction*)t;
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	591 assert(f->ir.type);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	592
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	593 llvm::Function* func = fd->ir.irFunc->func;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	594 const llvm::FunctionType* functype = func->getFunctionType();
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	595
940 39519a1ff603 Changed the way LDC determines if a template instantiation needs to get a definition, seems to speed up compile times quite a bit in some cases. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 939 diff changeset	596 // sanity check
39519a1ff603 Changed the way LDC determines if a template instantiation needs to get a definition, seems to speed up compile times quite a bit in some cases. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 939 diff changeset	597 assert(mustDefineSymbol(fd));
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	598
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	599 // 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	600 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	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 // 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	603 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	604 return;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	605
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	606 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	607 assert(fd->ir.irFunc);
468 45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 457 diff changeset	608 IrFunction* irfunction = fd->ir.irFunc;
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 457 diff changeset	609 gIR->functions.push_back(irfunction);
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	610
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	611 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	612 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	613
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 758 diff changeset	614 std::string entryname("entry");
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	615
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	616 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	617 llvm::BasicBlock* endbb = llvm::BasicBlock::Create("endentry",func);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	618
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	619 //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	620 gIR->scopes.push_back(IRScope(beginbb, endbb));
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	621
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	622 // 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	623 llvm::Instruction* allocaPoint = new llvm::AllocaInst(LLType::Int32Ty, "alloca point", beginbb);
468 45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 457 diff changeset	624 irfunction->allocapoint = allocaPoint;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	625
452 30ef3c7bddca Fixed problems with nested 'this'. Fixes #39 . Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 449 diff changeset	626 // debug info - after all allocas, but before any llvm.dbg.declare etc
30ef3c7bddca Fixed problems with nested 'this'. Fixes #39 . Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 449 diff changeset	627 if (global.params.symdebug) DtoDwarfFuncStart(fd);
30ef3c7bddca Fixed problems with nested 'this'. Fixes #39 . Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 449 diff changeset	628
486 a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	629 // need result variable?
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	630 if (fd->vresult) {
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	631 Logger::println("vresult value");
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	632 fd->vresult->ir.irLocal = new IrLocal(fd->vresult);
486 a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	633 fd->vresult->ir.irLocal->value = DtoAlloca(DtoType(fd->vresult->type), "function_vresult");
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 }
526 642f6fa854e5 First step towards D abi compliance. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 523 diff changeset	635
642f6fa854e5 First step towards D abi compliance. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 523 diff changeset	636 // this hack makes sure the frame pointer elimination optimization is disabled.
642f6fa854e5 First step towards D abi compliance. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 523 diff changeset	637 // this this eliminates a bunch of inline asm related issues.
920 545f54041d91 Implemented proper support for naked asm using llvm module level asm. Still not 100% complete, but already 1000 times better that what we had before. Don's BignumX86 implementation from Tango (when turned into a standalone unittest) seems to fully work with no changes, and great performance :) Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 838 diff changeset	638 if (fd->inlineAsm)
526 642f6fa854e5 First step towards D abi compliance. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 523 diff changeset	639 {
642f6fa854e5 First step towards D abi compliance. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 523 diff changeset	640 // emit a call to llvm_eh_unwind_init
642f6fa854e5 First step towards D abi compliance. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 523 diff changeset	641 LLFunction* hack = GET_INTRINSIC_DECL(eh_unwind_init);
642f6fa854e5 First step towards D abi compliance. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 523 diff changeset	642 gIR->ir->CreateCall(hack, "");
642f6fa854e5 First step towards D abi compliance. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 523 diff changeset	643 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	644
468 45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 457 diff changeset	645 // give the 'this' argument storage and debug info
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	646 if (f->fty->arg_this)
254 8187884566fa [svn r271] Fixed debug info for implicit 'this' param. lindquist parents: 250 diff changeset	647 {
486 a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	648 LLValue* thisvar = irfunction->thisArg;
468 45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 457 diff changeset	649 assert(thisvar);
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 457 diff changeset	650
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 758 diff changeset	651 LLValue* thismem = DtoAlloca(thisvar->getType(), "this");
468 45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 457 diff changeset	652 DtoStore(thisvar, thismem);
486 a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	653 irfunction->thisArg = thismem;
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	654
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	655 assert(!fd->vthis->ir.irLocal);
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	656 fd->vthis->ir.irLocal = new IrLocal(fd->vthis);
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	657 fd->vthis->ir.irLocal->value = thismem;
468 45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 457 diff changeset	658
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 457 diff changeset	659 if (global.params.symdebug)
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 457 diff changeset	660 DtoDwarfLocalVariable(thismem, fd->vthis);
758 f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 752 diff changeset	661
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 752 diff changeset	662 #if DMDV2
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 752 diff changeset	663 if (fd->vthis->nestedrefs.dim)
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 752 diff changeset	664 #else
486 a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	665 if (fd->vthis->nestedref)
758 f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 752 diff changeset	666 #endif
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 752 diff changeset	667 {
486 a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	668 fd->nestedVars.insert(fd->vthis);
758 f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 752 diff changeset	669 }
254 8187884566fa [svn r271] Fixed debug info for implicit 'this' param. lindquist parents: 250 diff changeset	670 }
8187884566fa [svn r271] Fixed debug info for implicit 'this' param. lindquist parents: 250 diff changeset	671
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	672 // give arguments storage
468 45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 457 diff changeset	673 // and debug info
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	674 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	675 {
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	676 size_t n = f->fty->args.size();
9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	677 assert(n == fd->parameters->dim);
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	678 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	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 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	681 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	682 assert(vd);
758 f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 752 diff changeset	683
930 7985bb036db4 Follow the D ABI and pass the last arg in a register if it is a struct that fits. Christian Kamm <kamm incasoftware de> parents: 920 diff changeset	684 IrLocal* irloc = vd->ir.irLocal;
7985bb036db4 Follow the D ABI and pass the last arg in a register if it is a struct that fits. Christian Kamm <kamm incasoftware de> parents: 920 diff changeset	685 assert(irloc);
7985bb036db4 Follow the D ABI and pass the last arg in a register if it is a struct that fits. Christian Kamm <kamm incasoftware de> parents: 920 diff changeset	686
758 f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 752 diff changeset	687 #if DMDV2
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 752 diff changeset	688 if (vd->nestedrefs.dim)
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 752 diff changeset	689 #else
486 a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	690 if (vd->nestedref)
758 f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 752 diff changeset	691 #endif
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 752 diff changeset	692 {
486 a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	693 fd->nestedVars.insert(vd);
758 f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 752 diff changeset	694 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	695
719 7261ff0f95ff Implemented first class delegates. closes #101 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 715 diff changeset	696 bool refout = vd->storage_class & (STCref \| STCout);
7261ff0f95ff Implemented first class delegates. closes #101 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 715 diff changeset	697 bool lazy = vd->storage_class & STClazy;
457 d82ebdba4191 Fixed debug info and lazy arguments. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 455 diff changeset	698
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1018 diff changeset	699 if (!refout && (!f->fty->args[i]->byref \|\| lazy))
254 8187884566fa [svn r271] Fixed debug info for implicit 'this' param. lindquist parents: 250 diff changeset	700 {
1042 45af482e3832 Updated ABI handling to be more flexible with regard to reusing lvalues and allocating fewer temporaries. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1024 diff changeset	701 // alloca a stack slot for this first class value arg
45af482e3832 Updated ABI handling to be more flexible with regard to reusing lvalues and allocating fewer temporaries. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1024 diff changeset	702 LLValue* mem = DtoAlloca(DtoType(vd->type), vd->ident->toChars());
45af482e3832 Updated ABI handling to be more flexible with regard to reusing lvalues and allocating fewer temporaries. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1024 diff changeset	703
45af482e3832 Updated ABI handling to be more flexible with regard to reusing lvalues and allocating fewer temporaries. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1024 diff changeset	704 // let the abi transform the argument back first
45af482e3832 Updated ABI handling to be more flexible with regard to reusing lvalues and allocating fewer temporaries. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1024 diff changeset	705 DImValue arg_dval(vd->type, irloc->value);
45af482e3832 Updated ABI handling to be more flexible with regard to reusing lvalues and allocating fewer temporaries. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1024 diff changeset	706 f->fty->getParam(vd->type, i, &arg_dval, mem);
45af482e3832 Updated ABI handling to be more flexible with regard to reusing lvalues and allocating fewer temporaries. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1024 diff changeset	707
45af482e3832 Updated ABI handling to be more flexible with regard to reusing lvalues and allocating fewer temporaries. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1024 diff changeset	708 // set the arg var value to the alloca
45af482e3832 Updated ABI handling to be more flexible with regard to reusing lvalues and allocating fewer temporaries. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1024 diff changeset	709 irloc->value = mem;
254 8187884566fa [svn r271] Fixed debug info for implicit 'this' param. lindquist parents: 250 diff changeset	710 }
1042 45af482e3832 Updated ABI handling to be more flexible with regard to reusing lvalues and allocating fewer temporaries. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1024 diff changeset	711
752 2d7bcfa68128 Enable function parameter debug info for a wider range of args. Christian Kamm <kamm incasoftware de> parents: 739 diff changeset	712 if (global.params.symdebug && !(isaArgument(irloc->value) && !isaArgument(irloc->value)->hasByValAttr()) && !refout)
2d7bcfa68128 Enable function parameter debug info for a wider range of args. Christian Kamm <kamm incasoftware de> parents: 739 diff changeset	713 DtoDwarfLocalVariable(irloc->value, vd);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	714 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	715 }
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	716
758 f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 752 diff changeset	717 // need result variable? (nested)
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 752 diff changeset	718 #if DMDV2
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 752 diff changeset	719 if (fd->vresult && fd->vresult->nestedrefs.dim) {
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 752 diff changeset	720 #else
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	721 if (fd->vresult && fd->vresult->nestedref) {
758 f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 752 diff changeset	722 #endif
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	723 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	724 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	725 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	726
486 a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	727 // construct nested variables array
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	728 if (!fd->nestedVars.empty())
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	729 {
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	730 Logger::println("has nested frame");
838 94ba810ea2b0 Fixed problem with nested function inside static nested function. see mini/compile_nested2.d. fixes #143 . Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 837 diff changeset	731 // start with adding all enclosing parent frames until a static parent is reached
486 a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	732 int nparelems = 0;
838 94ba810ea2b0 Fixed problem with nested function inside static nested function. see mini/compile_nested2.d. fixes #143 . Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 837 diff changeset	733 if (!fd->isStatic())
486 a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	734 {
838 94ba810ea2b0 Fixed problem with nested function inside static nested function. see mini/compile_nested2.d. fixes #143 . Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 837 diff changeset	735 Dsymbol* par = fd->toParent2();
94ba810ea2b0 Fixed problem with nested function inside static nested function. see mini/compile_nested2.d. fixes #143 . Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 837 diff changeset	736 while (par)
486 a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	737 {
838 94ba810ea2b0 Fixed problem with nested function inside static nested function. see mini/compile_nested2.d. fixes #143 . Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 837 diff changeset	738 if (FuncDeclaration* parfd = par->isFuncDeclaration())
94ba810ea2b0 Fixed problem with nested function inside static nested function. see mini/compile_nested2.d. fixes #143 . Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 837 diff changeset	739 {
94ba810ea2b0 Fixed problem with nested function inside static nested function. see mini/compile_nested2.d. fixes #143 . Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 837 diff changeset	740 nparelems += parfd->nestedVars.size();
94ba810ea2b0 Fixed problem with nested function inside static nested function. see mini/compile_nested2.d. fixes #143 . Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 837 diff changeset	741 // stop at first static
94ba810ea2b0 Fixed problem with nested function inside static nested function. see mini/compile_nested2.d. fixes #143 . Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 837 diff changeset	742 if (parfd->isStatic())
94ba810ea2b0 Fixed problem with nested function inside static nested function. see mini/compile_nested2.d. fixes #143 . Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 837 diff changeset	743 break;
94ba810ea2b0 Fixed problem with nested function inside static nested function. see mini/compile_nested2.d. fixes #143 . Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 837 diff changeset	744 }
94ba810ea2b0 Fixed problem with nested function inside static nested function. see mini/compile_nested2.d. fixes #143 . Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 837 diff changeset	745 else if (ClassDeclaration* parcd = par->isClassDeclaration())
94ba810ea2b0 Fixed problem with nested function inside static nested function. see mini/compile_nested2.d. fixes #143 . Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 837 diff changeset	746 {
94ba810ea2b0 Fixed problem with nested function inside static nested function. see mini/compile_nested2.d. fixes #143 . Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 837 diff changeset	747 // nothing needed
94ba810ea2b0 Fixed problem with nested function inside static nested function. see mini/compile_nested2.d. fixes #143 . Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 837 diff changeset	748 }
94ba810ea2b0 Fixed problem with nested function inside static nested function. see mini/compile_nested2.d. fixes #143 . Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 837 diff changeset	749 else
94ba810ea2b0 Fixed problem with nested function inside static nested function. see mini/compile_nested2.d. fixes #143 . Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 837 diff changeset	750 {
94ba810ea2b0 Fixed problem with nested function inside static nested function. see mini/compile_nested2.d. fixes #143 . Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 837 diff changeset	751 break;
94ba810ea2b0 Fixed problem with nested function inside static nested function. see mini/compile_nested2.d. fixes #143 . Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 837 diff changeset	752 }
94ba810ea2b0 Fixed problem with nested function inside static nested function. see mini/compile_nested2.d. fixes #143 . Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 837 diff changeset	753
94ba810ea2b0 Fixed problem with nested function inside static nested function. see mini/compile_nested2.d. fixes #143 . Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 837 diff changeset	754 par = par->toParent2();
486 a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	755 }
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	756 }
486 a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	757 int nelems = fd->nestedVars.size() + nparelems;
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	758
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	759 // make array type for nested vars
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	760 const LLType* nestedVarsTy = LLArrayType::get(getVoidPtrType(), nelems);
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	761
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	762 // alloca it
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	763 LLValue* nestedVars = DtoAlloca(nestedVarsTy, ".nested_vars");
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	764
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	765 // copy parent frame into beginning
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	766 if (nparelems)
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	767 {
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	768 LLValue* src = irfunction->nestArg;
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	769 if (!src)
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	770 {
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	771 assert(irfunction->thisArg);
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	772 assert(fd->isMember2());
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	773 LLValue* thisval = DtoLoad(irfunction->thisArg);
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	774 ClassDeclaration* cd = fd->isMember2()->isClassDeclaration();
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	775 assert(cd);
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	776 assert(cd->vthis);
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 758 diff changeset	777 src = DtoLoad(DtoGEPi(thisval, 0,cd->vthis->ir.irField->index, ".vthis"));
486 a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	778 }
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	779 DtoMemCpy(nestedVars, src, DtoConstSize_t(nparelems*PTRSIZE));
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	780 }
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	781
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	782 // store in IrFunction
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	783 irfunction->nestedVar = nestedVars;
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	784
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	785 // go through all nested vars and assign indices
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	786 int idx = nparelems;
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	787 for (std::set<VarDeclaration*>::iterator i=fd->nestedVars.begin(); i!=fd->nestedVars.end(); ++i)
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	788 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	789 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	790 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	791 vd->ir.irLocal = new IrLocal(vd);
486 a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	792
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	793 if (vd->isParameter())
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	794 {
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	795 Logger::println("nested param: %s", vd->toChars());
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	796 LLValue* gep = DtoGEPi(nestedVars, 0, idx);
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	797 LLValue* val = DtoBitCast(vd->ir.irLocal->value, getVoidPtrType());
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	798 DtoStore(val, gep);
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	799 }
486 a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	800 else
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	801 {
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	802 Logger::println("nested var: %s", vd->toChars());
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	803 }
486 a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	804
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	805 vd->ir.irLocal->nestedIndex = idx++;
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	806 }
758 f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 752 diff changeset	807
486 a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	808 // fixup nested result variable
758 f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 752 diff changeset	809 #if DMDV2
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 752 diff changeset	810 if (fd->vresult && fd->vresult->nestedrefs.dim) {
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 752 diff changeset	811 #else
486 a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	812 if (fd->vresult && fd->vresult->nestedref) {
758 f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 752 diff changeset	813 #endif
486 a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	814 Logger::println("nested vresult value: %s", fd->vresult->toChars());
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	815 LLValue* gep = DtoGEPi(nestedVars, 0, fd->vresult->ir.irLocal->nestedIndex);
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	816 LLValue* val = DtoBitCast(fd->vresult->ir.irLocal->value, getVoidPtrType());
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	817 DtoStore(val, gep);
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	818 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	819 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	820
715 30b42a283c8e Removed TypeOpaque from DMD. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 632 diff changeset	821 // copy _argptr and _arguments to a memory location
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	822 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	823 {
715 30b42a283c8e Removed TypeOpaque from DMD. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 632 diff changeset	824 // _argptr
486 a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	825 LLValue* argptrmem = DtoAlloca(fd->ir.irFunc->_argptr->getType(), "_argptr_mem");
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	826 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	827 fd->ir.irFunc->_argptr = argptrmem;
715 30b42a283c8e Removed TypeOpaque from DMD. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 632 diff changeset	828
30b42a283c8e Removed TypeOpaque from DMD. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 632 diff changeset	829 // _arguments
30b42a283c8e Removed TypeOpaque from DMD. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 632 diff changeset	830 LLValue* argumentsmem = DtoAlloca(fd->ir.irFunc->_arguments->getType(), "_arguments_mem");
30b42a283c8e Removed TypeOpaque from DMD. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 632 diff changeset	831 new llvm::StoreInst(fd->ir.irFunc->_arguments, argumentsmem, gIR->scopebb());
30b42a283c8e Removed TypeOpaque from DMD. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 632 diff changeset	832 fd->ir.irFunc->_arguments = argumentsmem;
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	833 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	834
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	835 // 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	836 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	837
945 03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 940 diff changeset	838 // TODO: clean up this mess
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 940 diff changeset	839
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 940 diff changeset	840 // std::cout << *func << std::endl;
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 940 diff changeset	841
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	842 // 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	843 // in automatically, so we do it here.
428 8b7cee241e91 Enable insertion of missing terminator instruction for main. Christian Kamm <kamm incasoftware de> parents: 399 diff changeset	844 if (!gIR->scopereturned()) {
8b7cee241e91 Enable insertion of missing terminator instruction for main. Christian Kamm <kamm incasoftware de> parents: 399 diff changeset	845 // pass the previous block into this block
8b7cee241e91 Enable insertion of missing terminator instruction for main. Christian Kamm <kamm incasoftware de> parents: 399 diff changeset	846 if (global.params.symdebug) DtoDwarfFuncEnd(fd);
8b7cee241e91 Enable insertion of missing terminator instruction for main. Christian Kamm <kamm incasoftware de> parents: 399 diff changeset	847 if (func->getReturnType() == LLType::VoidTy) {
8b7cee241e91 Enable insertion of missing terminator instruction for main. Christian Kamm <kamm incasoftware de> parents: 399 diff changeset	848 llvm::ReturnInst::Create(gIR->scopebb());
8b7cee241e91 Enable insertion of missing terminator instruction for main. Christian Kamm <kamm incasoftware de> parents: 399 diff changeset	849 }
8b7cee241e91 Enable insertion of missing terminator instruction for main. Christian Kamm <kamm incasoftware de> parents: 399 diff changeset	850 else {
8b7cee241e91 Enable insertion of missing terminator instruction for main. Christian Kamm <kamm incasoftware de> parents: 399 diff changeset	851 if (!fd->isMain())
945 03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 940 diff changeset	852 {
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 940 diff changeset	853 AsmBlockStatement* asmb = fd->fbody->endsWithAsm();
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 940 diff changeset	854 if (asmb) {
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 940 diff changeset	855 assert(asmb->abiret);
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 940 diff changeset	856 llvm::ReturnInst::Create(asmb->abiret, gIR->scopebb());
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 940 diff changeset	857 }
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 940 diff changeset	858 else {
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 940 diff changeset	859 llvm::ReturnInst::Create(llvm::UndefValue::get(func->getReturnType()), gIR->scopebb());
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 940 diff changeset	860 }
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 940 diff changeset	861 }
428 8b7cee241e91 Enable insertion of missing terminator instruction for main. Christian Kamm <kamm incasoftware de> parents: 399 diff changeset	862 else
8b7cee241e91 Enable insertion of missing terminator instruction for main. Christian Kamm <kamm incasoftware de> parents: 399 diff changeset	863 llvm::ReturnInst::Create(llvm::Constant::getNullValue(func->getReturnType()), gIR->scopebb());
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	864 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	865 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	866
945 03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 940 diff changeset	867 // std::cout << *func << std::endl;
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 940 diff changeset	868
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	869 // 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	870 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	871 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	872 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	873
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	874 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	875
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	876 // 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	877 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	878 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	879
945 03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 940 diff changeset	880 gIR->functions.pop_back();
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 241 diff changeset	881
945 03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 940 diff changeset	882 // std::cout << *func << std::endl;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	883 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	884
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	885 //////////////////////////////////////////////////////////////////////////////////////////
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	886
117 56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	887 const llvm::FunctionType* DtoBaseFunctionType(FuncDeclaration* fdecl)
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	888 {
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	889 Dsymbol* parent = fdecl->toParent();
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	890 ClassDeclaration* cd = parent->isClassDeclaration();
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	891 assert(cd);
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	892
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	893 FuncDeclaration* f = fdecl;
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	894
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	895 while (cd)
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	896 {
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	897 ClassDeclaration* base = cd->baseClass;
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	898 if (!base)
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	899 break;
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	900 FuncDeclaration* f2 = base->findFunc(fdecl->ident, (TypeFunction*)fdecl->type);
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	901 if (f2) {
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	902 f = f2;
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	903 cd = base;
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	904 }
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	905 else
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	906 break;
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	907 }
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	908
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	909 DtoResolveDsymbol(f);
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	910 return llvm::cast<llvm::FunctionType>(DtoType(f->type));
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	911 }
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	912
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	913 //////////////////////////////////////////////////////////////////////////////////////////
131 5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	914
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	915 DValue* DtoArgument(Argument* fnarg, Expression* argexp)
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	916 {
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	917 Logger::println("DtoArgument");
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	918 LOG_SCOPE;
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	919
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	920 DValue* arg = argexp->toElem(gIR);
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	921
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	922 // ref/out arg
723 55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 720 diff changeset	923 if (fnarg && (fnarg->storageClass & (STCref \| STCout)))
131 5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	924 {
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	925 if (arg->isVar() \|\| arg->isLRValue())
486 a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	926 arg = new DImValue(argexp->type, arg->getLVal());
131 5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	927 else
486 a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	928 arg = new DImValue(argexp->type, arg->getRVal());
131 5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	929 }
719 7261ff0f95ff Implemented first class delegates. closes #101 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 715 diff changeset	930 // lazy arg
7261ff0f95ff Implemented first class delegates. closes #101 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 715 diff changeset	931 else if (fnarg && (fnarg->storageClass & STClazy))
7261ff0f95ff Implemented first class delegates. closes #101 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 715 diff changeset	932 {
7261ff0f95ff Implemented first class delegates. closes #101 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 715 diff changeset	933 assert(argexp->type->toBasetype()->ty == Tdelegate);
7261ff0f95ff Implemented first class delegates. closes #101 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 715 diff changeset	934 assert(!arg->isLVal());
7261ff0f95ff Implemented first class delegates. closes #101 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 715 diff changeset	935 return arg;
7261ff0f95ff Implemented first class delegates. closes #101 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 715 diff changeset	936 }
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 215 diff changeset	937 // byval arg, but expr has no storage yet
585 fbb1a366cfbc Complex number should now follow the D ABI on x86. They're also treated as first class values now. Big change. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 546 diff changeset	938 else if (DtoIsPassedByRef(argexp->type) && (arg->isSlice() \|\| arg->isNull()))
131 5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	939 {
486 a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	940 LLValue* alloc = DtoAlloca(DtoType(argexp->type), ".tmp_arg");
585 fbb1a366cfbc Complex number should now follow the D ABI on x86. They're also treated as first class values now. Big change. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 546 diff changeset	941 DVarValue* vv = new DVarValue(argexp->type, alloc);
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 379 diff changeset	942 DtoAssign(argexp->loc, vv, arg);
131 5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	943 arg = vv;
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	944 }
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	945
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	946 return arg;
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	947 }
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	948
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	949 //////////////////////////////////////////////////////////////////////////////////////////
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	950
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	951 void DtoVariadicArgument(Expression* argexp, LLValue* dst)
131 5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	952 {
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	953 Logger::println("DtoVariadicArgument");
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	954 LOG_SCOPE;
585 fbb1a366cfbc Complex number should now follow the D ABI on x86. They're also treated as first class values now. Big change. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 546 diff changeset	955 DVarValue vv(argexp->type, dst);
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 379 diff changeset	956 DtoAssign(argexp->loc, &vv, argexp->toElem(gIR));
131 5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	957 }
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	958
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	959 //////////////////////////////////////////////////////////////////////////////////////////
445 cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 443 diff changeset	960
cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 443 diff changeset	961 bool FuncDeclaration::isIntrinsic()
cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 443 diff changeset	962 {
cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 443 diff changeset	963 return (llvmInternal == LLVMintrinsic \|\| isVaIntrinsic());
cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 443 diff changeset	964 }
cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 443 diff changeset	965
cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 443 diff changeset	966 bool FuncDeclaration::isVaIntrinsic()
cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 443 diff changeset	967 {
cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 443 diff changeset	968 return (llvmInternal == LLVMva_start \|\|
cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 443 diff changeset	969 llvmInternal == LLVMva_copy \|\|
cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 443 diff changeset	970 llvmInternal == LLVMva_end);
cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 443 diff changeset	971 }

Mercurial > projects > ldc

annotate gen/functions.cpp @ 1042:45af482e3832