projects/ldc: gen/llvmhelpers.cpp annotate

annotate gen/llvmhelpers.cpp @ 440:d8dc221d3db7

Insert array bound checks for slices.

author	Christian Kamm <kamm incasoftware de>
date	Wed, 30 Jul 2008 19:02:13 +0200
parents	47b64d06eb9f
children	ca80e42d11e0

rev	line source
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1 #include "gen/llvm.h"
284 70c370e97944 [svn r305] Started support for custom class allocators/deallocators. Allocators with more than one argument still need to be fixed. lindquist parents: 250 diff changeset	2 #include "llvm/Target/TargetMachineRegistry.h"
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	3
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	4 #include "mars.h"
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	5 #include "init.h"
339 385a18242485 [svn r360] Another mostly rewrite of DtoArrayInit. Should be much more robust now, and probably faster code generated for the most common cases too! lindquist parents: 328 diff changeset	6 #include "id.h"
365 bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	7 #include "expression.h"
433 b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	8 #include "template.h"
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	9
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	10 #include "gen/tollvm.h"
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	11 #include "gen/llvmhelpers.h"
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	12 #include "gen/irstate.h"
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	13 #include "gen/runtime.h"
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	14 #include "gen/logger.h"
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	15 #include "gen/arrays.h"
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	16 #include "gen/dvalue.h"
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	17 #include "gen/complex.h"
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	18 #include "gen/classes.h"
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	19 #include "gen/functions.h"
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	20 #include "gen/typeinf.h"
250 fc9c1a0eabbd [svn r267] Fixed debug info for global variables. lindquist parents: 244 diff changeset	21 #include "gen/todebug.h"
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	22
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	23 /****************************************************************************************/
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	24 /*////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	25 // DYNAMIC MEMORY HELPERS
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	26 ////////////////////////////////////////////////////////////////////////////////////////*/
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	27
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	28 LLValue* DtoNew(Type* newtype)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	29 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	30 // get runtime function
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	31 llvm::Function* fn = LLVM_D_GetRuntimeFunction(gIR->module, "_d_allocmemoryT");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	32 // get type info
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	33 LLConstant* ti = DtoTypeInfoOf(newtype);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	34 assert(isaPointer(ti));
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	35 // call runtime allocator
315 a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 309 diff changeset	36 LLValue* mem = gIR->CreateCallOrInvoke(fn, ti, ".gc_mem")->get();
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	37 // cast
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	38 return DtoBitCast(mem, getPtrToType(DtoType(newtype)), ".gc_mem");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	39 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	40
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	41 void DtoDeleteMemory(LLValue* ptr)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	42 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	43 // get runtime function
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	44 llvm::Function* fn = LLVM_D_GetRuntimeFunction(gIR->module, "_d_delmemory");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	45 // build args
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	46 LLSmallVector<LLValue*,1> arg;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	47 arg.push_back(DtoBitCast(ptr, getVoidPtrType(), ".tmp"));
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	48 // call
315 a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 309 diff changeset	49 gIR->CreateCallOrInvoke(fn, arg.begin(), arg.end());
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	50 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	51
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	52 void DtoDeleteClass(LLValue* inst)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	53 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	54 // get runtime function
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	55 llvm::Function* fn = LLVM_D_GetRuntimeFunction(gIR->module, "_d_delclass");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	56 // build args
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	57 LLSmallVector<LLValue*,1> arg;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	58 arg.push_back(DtoBitCast(inst, fn->getFunctionType()->getParamType(0), ".tmp"));
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	59 // call
315 a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 309 diff changeset	60 gIR->CreateCallOrInvoke(fn, arg.begin(), arg.end());
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	61 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	62
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	63 void DtoDeleteInterface(LLValue* inst)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	64 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	65 // get runtime function
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	66 llvm::Function* fn = LLVM_D_GetRuntimeFunction(gIR->module, "_d_delinterface");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	67 // build args
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	68 LLSmallVector<LLValue*,1> arg;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	69 arg.push_back(DtoBitCast(inst, fn->getFunctionType()->getParamType(0), ".tmp"));
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	70 // call
315 a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 309 diff changeset	71 gIR->CreateCallOrInvoke(fn, arg.begin(), arg.end());
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	72 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	73
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	74 void DtoDeleteArray(DValue* arr)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	75 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	76 // get runtime function
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	77 llvm::Function* fn = LLVM_D_GetRuntimeFunction(gIR->module, "_d_delarray");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	78 // build args
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	79 LLSmallVector<LLValue*,2> arg;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	80 arg.push_back(DtoArrayLen(arr));
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	81 arg.push_back(DtoBitCast(DtoArrayPtr(arr), getVoidPtrType(), ".tmp"));
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	82 // call
315 a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 309 diff changeset	83 gIR->CreateCallOrInvoke(fn, arg.begin(), arg.end());
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	84 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	85
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	86 /****************************************************************************************/
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	87 /*////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	88 // ASSERT HELPER
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	89 ////////////////////////////////////////////////////////////////////////////////////////*/
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	90
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	91 void DtoAssert(Loc* loc, DValue* msg)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	92 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	93 std::vector<LLValue*> args;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	94 LLConstant* c;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	95
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	96 // func
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	97 const char* fname = msg ? "_d_assert_msg" : "_d_assert";
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	98 llvm::Function* fn = LLVM_D_GetRuntimeFunction(gIR->module, fname);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	99
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	100 // param attrs
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	101 llvm::PAListPtr palist;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	102 int idx = 1;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	103
291 068cb3c60afb [svn r312] Changed assert codegen to insert an unreachable terminator after the call to the assert function, which currently calls abort(). lindquist parents: 290 diff changeset	104 // FIXME: every assert creates a global for the filename !!!
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	105 c = DtoConstString(loc->filename);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	106
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	107 // msg param
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	108 if (msg)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	109 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	110 if (DSliceValue* s = msg->isSlice())
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	111 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	112 llvm::AllocaInst* alloc = gIR->func()->msgArg;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	113 if (!alloc)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	114 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	115 alloc = new llvm::AllocaInst(c->getType(), ".assertmsg", gIR->topallocapoint());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	116 DtoSetArray(alloc, DtoArrayLen(s), DtoArrayPtr(s));
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	117 gIR->func()->msgArg = alloc;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	118 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	119 args.push_back(alloc);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	120 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	121 else
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	122 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	123 args.push_back(msg->getRVal());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	124 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	125 palist = palist.addAttr(idx++, llvm::ParamAttr::ByVal);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	126 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	127
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	128 // file param
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	129 llvm::AllocaInst* alloc = gIR->func()->srcfileArg;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	130 if (!alloc)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	131 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	132 alloc = new llvm::AllocaInst(c->getType(), ".srcfile", gIR->topallocapoint());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	133 gIR->func()->srcfileArg = alloc;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	134 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	135 LLValue* ptr = DtoGEPi(alloc, 0,0, "tmp");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	136 DtoStore(c->getOperand(0), ptr);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	137 ptr = DtoGEPi(alloc, 0,1, "tmp");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	138 DtoStore(c->getOperand(1), ptr);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	139
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	140 args.push_back(alloc);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	141 palist = palist.addAttr(idx++, llvm::ParamAttr::ByVal);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	142
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	143
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	144 // line param
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	145 c = DtoConstUint(loc->linnum);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	146 args.push_back(c);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	147
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	148 // call
315 a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 309 diff changeset	149 CallOrInvoke* call = gIR->CreateCallOrInvoke(fn, args.begin(), args.end());
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	150 call->setParamAttrs(palist);
291 068cb3c60afb [svn r312] Changed assert codegen to insert an unreachable terminator after the call to the assert function, which currently calls abort(). lindquist parents: 290 diff changeset	151
068cb3c60afb [svn r312] Changed assert codegen to insert an unreachable terminator after the call to the assert function, which currently calls abort(). lindquist parents: 290 diff changeset	152 // after assert is always unreachable
068cb3c60afb [svn r312] Changed assert codegen to insert an unreachable terminator after the call to the assert function, which currently calls abort(). lindquist parents: 290 diff changeset	153 gIR->ir->CreateUnreachable();
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	154 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	155
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	156 /****************************************************************************************/
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	157 /*////////////////////////////////////////////////////////////////////////////////////////
439 47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	158 // ARRAY BOUNDS HELPER
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	159 ////////////////////////////////////////////////////////////////////////////////////////*/
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	160
440 d8dc221d3db7 Insert array bound checks for slices. Christian Kamm <kamm incasoftware de> parents: 439 diff changeset	161 void DtoArrayBoundsCheck(Loc& loc, DValue* arr, DValue* index, bool isslice)
439 47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	162 {
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	163 Type* arrty = arr->getType();
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	164 assert((arrty->ty == Tsarray \|\| arrty->ty == Tarray) && "Can only array bounds check for static or dynamic arrays");
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	165
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	166 // static arrays can get static checks for static indices
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	167
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	168 if(arr->getType()->ty == Tsarray)
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	169 {
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	170 TypeSArray* tsa = (TypeSArray*)arrty;
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	171 size_t tdim = tsa->dim->toInteger();
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	172
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	173 if(llvm::ConstantInt* cindex = llvm::dyn_cast<llvm::ConstantInt>(index->getRVal()))
440 d8dc221d3db7 Insert array bound checks for slices. Christian Kamm <kamm incasoftware de> parents: 439 diff changeset	174 if(cindex->uge(tdim + (isslice ? 1 : 0))) {
d8dc221d3db7 Insert array bound checks for slices. Christian Kamm <kamm incasoftware de> parents: 439 diff changeset	175 size_t cindexval = cindex->getValue().getZExtValue();
d8dc221d3db7 Insert array bound checks for slices. Christian Kamm <kamm incasoftware de> parents: 439 diff changeset	176 if(!isslice)
d8dc221d3db7 Insert array bound checks for slices. Christian Kamm <kamm incasoftware de> parents: 439 diff changeset	177 error(loc, "index %u is larger or equal array size %u", cindexval, tdim);
d8dc221d3db7 Insert array bound checks for slices. Christian Kamm <kamm incasoftware de> parents: 439 diff changeset	178 else
d8dc221d3db7 Insert array bound checks for slices. Christian Kamm <kamm incasoftware de> parents: 439 diff changeset	179 error(loc, "slice upper bound %u is larger than array size %u", cindexval, tdim);
439 47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	180 return;
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	181 }
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	182 }
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	183
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	184 // runtime check
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	185
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	186 llvm::BasicBlock* oldend = gIR->scopeend();
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	187 llvm::BasicBlock* failbb = llvm::BasicBlock::Create("arrayboundscheckfail", gIR->topfunc(), oldend);
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	188 llvm::BasicBlock* okbb = llvm::BasicBlock::Create("arrayboundsok", gIR->topfunc(), oldend);
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	189
440 d8dc221d3db7 Insert array bound checks for slices. Christian Kamm <kamm incasoftware de> parents: 439 diff changeset	190 llvm::ICmpInst::Predicate cmpop = isslice ? llvm::ICmpInst::ICMP_ULE : llvm::ICmpInst::ICMP_ULT;
d8dc221d3db7 Insert array bound checks for slices. Christian Kamm <kamm incasoftware de> parents: 439 diff changeset	191 LLValue* cond = gIR->ir->CreateICmp(cmpop, index->getRVal(), DtoArrayLen(arr), "boundscheck");
439 47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	192 gIR->ir->CreateCondBr(cond, okbb, failbb);
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	193
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	194 // set up failbb to call the array bounds error runtime function
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	195
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	196 gIR->scope() = IRScope(failbb, okbb);
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	197
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	198 std::vector<LLValue*> args;
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	199 llvm::PAListPtr palist;
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	200
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	201 // file param
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	202 // FIXME: every array bounds check creates a global for the filename !!!
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	203 LLConstant* c = DtoConstString(loc.filename);
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	204
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	205 llvm::AllocaInst* alloc = gIR->func()->srcfileArg;
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	206 if (!alloc)
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	207 {
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	208 alloc = new llvm::AllocaInst(c->getType(), ".srcfile", gIR->topallocapoint());
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	209 gIR->func()->srcfileArg = alloc;
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	210 }
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	211 LLValue* ptr = DtoGEPi(alloc, 0,0, "tmp");
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	212 DtoStore(c->getOperand(0), ptr);
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	213 ptr = DtoGEPi(alloc, 0,1, "tmp");
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	214 DtoStore(c->getOperand(1), ptr);
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	215
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	216 args.push_back(alloc);
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	217 palist = palist.addAttr(1, llvm::ParamAttr::ByVal);
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	218
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	219 // line param
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	220 c = DtoConstUint(loc.linnum);
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	221 args.push_back(c);
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	222
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	223 // call
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	224 llvm::Function* errorfn = LLVM_D_GetRuntimeFunction(gIR->module, "_d_array_bounds");
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	225 CallOrInvoke* call = gIR->CreateCallOrInvoke(errorfn, args.begin(), args.end());
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	226 call->setParamAttrs(palist);
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	227
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	228 // the function does not return
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	229 gIR->ir->CreateUnreachable();
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	230
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	231
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	232 // if ok, proceed in okbb
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	233 gIR->scope() = IRScope(okbb, oldend);
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	234 }
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	235
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	236 /****************************************************************************************/
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	237 /*////////////////////////////////////////////////////////////////////////////////////////
305 2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 304 diff changeset	238 // LABEL HELPER
2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 304 diff changeset	239 ////////////////////////////////////////////////////////////////////////////////////////*/
2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 304 diff changeset	240 LabelStatement* DtoLabelStatement(Identifier* ident)
2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 304 diff changeset	241 {
2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 304 diff changeset	242 FuncDeclaration* fd = gIR->func()->decl;
2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 304 diff changeset	243 FuncDeclaration::LabelMap::iterator iter = fd->labmap.find(ident->toChars());
2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 304 diff changeset	244 if (iter == fd->labmap.end())
2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 304 diff changeset	245 {
357 82af71383b8a [svn r378] Make some errors fatal to prevent segfaults. Error instead of assert on missing label. ChristianK parents: 356 diff changeset	246 if (fd->returnLabel && fd->returnLabel->ident->equals(ident))
305 2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 304 diff changeset	247 {
2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 304 diff changeset	248 assert(fd->returnLabel->statement);
2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 304 diff changeset	249 return fd->returnLabel->statement;
2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 304 diff changeset	250 }
2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 304 diff changeset	251 return NULL;
2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 304 diff changeset	252 }
2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 304 diff changeset	253 return iter->second;
2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 304 diff changeset	254 }
2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 304 diff changeset	255
2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 304 diff changeset	256 /****************************************************************************************/
2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 304 diff changeset	257 /*////////////////////////////////////////////////////////////////////////////////////////
302 bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	258 // GOTO HELPER
bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	259 ////////////////////////////////////////////////////////////////////////////////////////*/
356 44daf304421c [svn r377] The previous check was too strict, it completely disallowed gotos within finally blocks. This reenables them as long as they don't cross a finally boundary. ChristianK parents: 355 diff changeset	260 void DtoGoto(Loc* loc, Identifier* target, EnclosingHandler* enclosinghandler, TryFinallyStatement* sourcetf)
302 bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	261 {
bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	262 assert(!gIR->scopereturned());
bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	263
305 2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 304 diff changeset	264 LabelStatement* lblstmt = DtoLabelStatement(target);
357 82af71383b8a [svn r378] Make some errors fatal to prevent segfaults. Error instead of assert on missing label. ChristianK parents: 356 diff changeset	265 if(!lblstmt) {
82af71383b8a [svn r378] Make some errors fatal to prevent segfaults. Error instead of assert on missing label. ChristianK parents: 356 diff changeset	266 error(*loc, "the label %s does not exist", target->toChars());
82af71383b8a [svn r378] Make some errors fatal to prevent segfaults. Error instead of assert on missing label. ChristianK parents: 356 diff changeset	267 fatal();
82af71383b8a [svn r378] Make some errors fatal to prevent segfaults. Error instead of assert on missing label. ChristianK parents: 356 diff changeset	268 }
305 2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 304 diff changeset	269
304 3ebc136702dd [svn r325] Removed dead code. ChristianK parents: 302 diff changeset	270 // if the target label is inside inline asm, error
357 82af71383b8a [svn r378] Make some errors fatal to prevent segfaults. Error instead of assert on missing label. ChristianK parents: 356 diff changeset	271 if(lblstmt->asmLabel) {
82af71383b8a [svn r378] Make some errors fatal to prevent segfaults. Error instead of assert on missing label. ChristianK parents: 356 diff changeset	272 error(*loc, "cannot goto to label %s inside an inline asm block", target->toChars());
82af71383b8a [svn r378] Make some errors fatal to prevent segfaults. Error instead of assert on missing label. ChristianK parents: 356 diff changeset	273 fatal();
82af71383b8a [svn r378] Make some errors fatal to prevent segfaults. Error instead of assert on missing label. ChristianK parents: 356 diff changeset	274 }
304 3ebc136702dd [svn r325] Removed dead code. ChristianK parents: 302 diff changeset	275
353 a7a26f538d6e [svn r374] Move label target basic block from AST to IRFunction. This is a first step to allowing labels to be emitted multiple times. (for instance within finally blocks) ChristianK parents: 339 diff changeset	276 // find target basic block
355 d8357f7004ca [svn r376] Fix bug with finally blocks and labels. The labels would get emitted multiple times and conflict. ChristianK parents: 353 diff changeset	277 std::string labelname = gIR->func()->getScopedLabelName(target->toChars());
353 a7a26f538d6e [svn r374] Move label target basic block from AST to IRFunction. This is a first step to allowing labels to be emitted multiple times. (for instance within finally blocks) ChristianK parents: 339 diff changeset	278 llvm::BasicBlock*& targetBB = gIR->func()->labelToBB[labelname];
a7a26f538d6e [svn r374] Move label target basic block from AST to IRFunction. This is a first step to allowing labels to be emitted multiple times. (for instance within finally blocks) ChristianK parents: 339 diff changeset	279 if (targetBB == NULL)
a7a26f538d6e [svn r374] Move label target basic block from AST to IRFunction. This is a first step to allowing labels to be emitted multiple times. (for instance within finally blocks) ChristianK parents: 339 diff changeset	280 targetBB = llvm::BasicBlock::Create("label", gIR->topfunc());
302 bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	281
bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	282 // find finallys between goto and label
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	283 EnclosingHandler* endfinally = enclosinghandler;
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	284 while(endfinally != NULL && endfinally != lblstmt->enclosinghandler) {
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	285 endfinally = endfinally->getEnclosing();
302 bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	286 }
bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	287
bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	288 // error if didn't find tf statement of label
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	289 if(endfinally != lblstmt->enclosinghandler)
355 d8357f7004ca [svn r376] Fix bug with finally blocks and labels. The labels would get emitted multiple times and conflict. ChristianK parents: 353 diff changeset	290 error(*loc, "cannot goto into try block");
d8357f7004ca [svn r376] Fix bug with finally blocks and labels. The labels would get emitted multiple times and conflict. ChristianK parents: 353 diff changeset	291
d8357f7004ca [svn r376] Fix bug with finally blocks and labels. The labels would get emitted multiple times and conflict. ChristianK parents: 353 diff changeset	292 // goto into finally blocks is forbidden by the spec
d8357f7004ca [svn r376] Fix bug with finally blocks and labels. The labels would get emitted multiple times and conflict. ChristianK parents: 353 diff changeset	293 // though it should not be problematic to implement
357 82af71383b8a [svn r378] Make some errors fatal to prevent segfaults. Error instead of assert on missing label. ChristianK parents: 356 diff changeset	294 if(lblstmt->tf != sourcetf) {
355 d8357f7004ca [svn r376] Fix bug with finally blocks and labels. The labels would get emitted multiple times and conflict. ChristianK parents: 353 diff changeset	295 error(*loc, "spec disallows goto into finally block");
357 82af71383b8a [svn r378] Make some errors fatal to prevent segfaults. Error instead of assert on missing label. ChristianK parents: 356 diff changeset	296 fatal();
82af71383b8a [svn r378] Make some errors fatal to prevent segfaults. Error instead of assert on missing label. ChristianK parents: 356 diff changeset	297 }
302 bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	298
bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	299 // emit code for finallys between goto and label
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	300 DtoEnclosingHandlers(enclosinghandler, endfinally);
302 bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	301
353 a7a26f538d6e [svn r374] Move label target basic block from AST to IRFunction. This is a first step to allowing labels to be emitted multiple times. (for instance within finally blocks) ChristianK parents: 339 diff changeset	302 llvm::BranchInst::Create(targetBB, gIR->scopebb());
302 bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	303 }
bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	304
bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	305 /****************************************************************************************/
bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	306 /*////////////////////////////////////////////////////////////////////////////////////////
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	307 // TRY-FINALLY, VOLATILE AND SYNCHRONIZED HELPER
302 bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	308 ////////////////////////////////////////////////////////////////////////////////////////*/
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	309
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	310 void EnclosingSynchro::emitCode(IRState * p)
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	311 {
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	312 if (s->exp)
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	313 DtoLeaveMonitor(s->llsync);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	314 else
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	315 DtoLeaveCritical(s->llsync);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	316 }
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	317
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	318 EnclosingHandler* EnclosingSynchro::getEnclosing()
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	319 {
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	320 return s->enclosinghandler;
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	321 }
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	322
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	323 ////////////////////////////////////////////////////////////////////////////////////////
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	324
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	325 void EnclosingVolatile::emitCode(IRState * p)
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	326 {
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	327 // store-load barrier
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	328 DtoMemoryBarrier(false, false, true, false);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	329 }
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	330
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	331 EnclosingHandler* EnclosingVolatile::getEnclosing()
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	332 {
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	333 return v->enclosinghandler;
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	334 }
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	335
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	336 ////////////////////////////////////////////////////////////////////////////////////////
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	337
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	338 void EnclosingTryFinally::emitCode(IRState * p)
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	339 {
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	340 assert(tf->finalbody);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	341 tf->finalbody->toIR(p);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	342 }
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	343
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	344 EnclosingHandler* EnclosingTryFinally::getEnclosing()
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	345 {
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	346 return tf->enclosinghandler;
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	347 }
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	348
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	349 ////////////////////////////////////////////////////////////////////////////////////////
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	350
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	351 void DtoEnclosingHandlers(EnclosingHandler* start, EnclosingHandler* end)
302 bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	352 {
bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	353 // verify that end encloses start
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	354 EnclosingHandler* endfinally = start;
302 bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	355 while(endfinally != NULL && endfinally != end) {
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	356 endfinally = endfinally->getEnclosing();
302 bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	357 }
bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	358 assert(endfinally == end);
bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	359
355 d8357f7004ca [svn r376] Fix bug with finally blocks and labels. The labels would get emitted multiple times and conflict. ChristianK parents: 353 diff changeset	360
d8357f7004ca [svn r376] Fix bug with finally blocks and labels. The labels would get emitted multiple times and conflict. ChristianK parents: 353 diff changeset	361 //
302 bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	362 // emit code for finallys between start and end
355 d8357f7004ca [svn r376] Fix bug with finally blocks and labels. The labels would get emitted multiple times and conflict. ChristianK parents: 353 diff changeset	363 //
d8357f7004ca [svn r376] Fix bug with finally blocks and labels. The labels would get emitted multiple times and conflict. ChristianK parents: 353 diff changeset	364
d8357f7004ca [svn r376] Fix bug with finally blocks and labels. The labels would get emitted multiple times and conflict. ChristianK parents: 353 diff changeset	365 // since the labelstatements possibly inside are private
d8357f7004ca [svn r376] Fix bug with finally blocks and labels. The labels would get emitted multiple times and conflict. ChristianK parents: 353 diff changeset	366 // and might already exist push a label scope
d8357f7004ca [svn r376] Fix bug with finally blocks and labels. The labels would get emitted multiple times and conflict. ChristianK parents: 353 diff changeset	367 gIR->func()->pushUniqueLabelScope("enclosing");
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	368 EnclosingHandler* tf = start;
302 bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	369 while(tf != end) {
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	370 tf->emitCode(gIR);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	371 tf = tf->getEnclosing();
302 bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	372 }
355 d8357f7004ca [svn r376] Fix bug with finally blocks and labels. The labels would get emitted multiple times and conflict. ChristianK parents: 353 diff changeset	373 gIR->func()->popLabelScope();
302 bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	374 }
bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	375
bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	376 /****************************************************************************************/
bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	377 /*////////////////////////////////////////////////////////////////////////////////////////
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	378 // SYNCHRONIZED SECTION HELPERS
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	379 ////////////////////////////////////////////////////////////////////////////////////////*/
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	380
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	381 void DtoEnterCritical(LLValue* g)
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	382 {
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	383 LLFunction* fn = LLVM_D_GetRuntimeFunction(gIR->module, "_d_criticalenter");
315 a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 309 diff changeset	384 gIR->CreateCallOrInvoke(fn, g);
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	385 }
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	386
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	387 void DtoLeaveCritical(LLValue* g)
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	388 {
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	389 LLFunction* fn = LLVM_D_GetRuntimeFunction(gIR->module, "_d_criticalexit");
315 a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 309 diff changeset	390 gIR->CreateCallOrInvoke(fn, g);
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	391 }
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	392
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	393 void DtoEnterMonitor(LLValue* v)
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	394 {
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	395 LLFunction* fn = LLVM_D_GetRuntimeFunction(gIR->module, "_d_monitorenter");
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	396 v = DtoBitCast(v, fn->getFunctionType()->getParamType(0));
315 a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 309 diff changeset	397 gIR->CreateCallOrInvoke(fn, v);
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	398 }
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	399
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	400 void DtoLeaveMonitor(LLValue* v)
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	401 {
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	402 LLFunction* fn = LLVM_D_GetRuntimeFunction(gIR->module, "_d_monitorexit");
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	403 v = DtoBitCast(v, fn->getFunctionType()->getParamType(0));
315 a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 309 diff changeset	404 gIR->CreateCallOrInvoke(fn, v);
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	405 }
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	406
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	407 /****************************************************************************************/
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	408 /*////////////////////////////////////////////////////////////////////////////////////////
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	409 // NESTED VARIABLE HELPERS
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	410 ////////////////////////////////////////////////////////////////////////////////////////*/
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	411
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	412 static const LLType* get_next_frame_ptr_type(Dsymbol* sc)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	413 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	414 assert(sc->isFuncDeclaration() \|\| sc->isClassDeclaration());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	415 Dsymbol* p = sc->toParent2();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	416 if (!p->isFuncDeclaration() && !p->isClassDeclaration())
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	417 Logger::println("unexpected parent symbol found while resolving frame pointer - '%s' kind: '%s'", p->toChars(), p->kind());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	418 assert(p->isFuncDeclaration() \|\| p->isClassDeclaration());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	419 if (FuncDeclaration* fd = p->isFuncDeclaration())
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	420 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	421 LLValue* v = fd->ir.irFunc->nestedVar;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	422 assert(v);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	423 return v->getType();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	424 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	425 else if (ClassDeclaration* cd = p->isClassDeclaration())
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	426 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	427 return DtoType(cd->type);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	428 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	429 else
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	430 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	431 Logger::println("symbol: '%s' kind: '%s'", sc->toChars(), sc->kind());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	432 assert(0);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	433 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	434 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	435
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	436 //////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	437
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	438 static LLValue* get_frame_ptr_impl(FuncDeclaration* func, Dsymbol* sc, LLValue* v)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	439 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	440 LOG_SCOPE;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	441 if (sc == func)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	442 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	443 return v;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	444 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	445 else if (FuncDeclaration* fd = sc->isFuncDeclaration())
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	446 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	447 Logger::println("scope is function: %s", fd->toChars());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	448
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	449 if (fd->toParent2() == func)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	450 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	451 if (!func->ir.irFunc->nestedVar)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	452 return NULL;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	453 return DtoBitCast(v, func->ir.irFunc->nestedVar->getType());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	454 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	455
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	456 v = DtoBitCast(v, get_next_frame_ptr_type(fd));
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	457 Logger::cout() << "v = " << *v << '\n';
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	458
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	459 if (fd->toParent2()->isFuncDeclaration())
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	460 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	461 v = DtoGEPi(v, 0,0, "tmp");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	462 v = DtoLoad(v);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	463 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	464 else if (ClassDeclaration* cd = fd->toParent2()->isClassDeclaration())
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	465 {
370 051ab876fe11 [svn r391] Fix classes nested inside functions for real. ChristianK parents: 365 diff changeset	466 v = DtoGEPi(v,0,2+cd->vthis->ir.irField->index,"tmp");
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	467 v = DtoLoad(v);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	468 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	469 else
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	470 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	471 assert(0);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	472 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	473 return get_frame_ptr_impl(func, fd->toParent2(), v);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	474 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	475 else if (ClassDeclaration* cd = sc->isClassDeclaration())
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	476 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	477 Logger::println("scope is class: %s", cd->toChars());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	478 return get_frame_ptr_impl(func, cd->toParent2(), v);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	479 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	480 else
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	481 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	482 Logger::println("symbol: '%s'", sc->toPrettyChars());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	483 assert(0);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	484 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	485 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	486
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	487 //////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	488
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	489 static LLValue* get_frame_ptr(FuncDeclaration* func)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	490 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	491 Logger::println("Resolving context pointer for nested function: '%s'", func->toPrettyChars());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	492 LOG_SCOPE;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	493 IrFunction* irfunc = gIR->func();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	494
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	495 // in the right scope already
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	496 if (func == irfunc->decl)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	497 return irfunc->decl->ir.irFunc->nestedVar;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	498
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	499 // use the 'this' pointer
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	500 LLValue* ptr = irfunc->decl->ir.irFunc->thisVar;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	501 assert(ptr);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	502
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	503 // return the fully resolved frame pointer
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	504 ptr = get_frame_ptr_impl(func, irfunc->decl, ptr);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	505 if (ptr) Logger::cout() << "Found context!" << *ptr;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	506 else Logger::cout() << "NULL context!\n";
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	507
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	508 return ptr;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	509 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	510
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	511 //////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	512
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	513 LLValue* DtoNestedContext(FuncDeclaration* func)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	514 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	515 // resolve frame ptr
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	516 LLValue* ptr = get_frame_ptr(func);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	517 Logger::cout() << "Nested context ptr = ";
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	518 if (ptr) Logger::cout() << *ptr;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	519 else Logger::cout() << "NULL";
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	520 Logger::cout() << '\n';
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	521 return ptr;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	522 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	523
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	524 //////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	525
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	526 static void print_frame_worker(VarDeclaration* vd, Dsymbol* par)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	527 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	528 if (vd->toParent2() == par)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	529 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	530 Logger::println("found: '%s' kind: '%s'", par->toChars(), par->kind());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	531 return;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	532 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	533
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	534 Logger::println("diving into: '%s' kind: '%s'", par->toChars(), par->kind());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	535 LOG_SCOPE;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	536 print_frame_worker(vd, par->toParent2());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	537 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	538
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	539 //////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	540
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	541 static void print_nested_frame_list(VarDeclaration* vd, Dsymbol* par)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	542 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	543 Logger::println("Frame pointer list for nested var: '%s'", vd->toPrettyChars());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	544 LOG_SCOPE;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	545 if (vd->toParent2() != par)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	546 print_frame_worker(vd, par);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	547 else
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	548 Logger::println("Found at level 0");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	549 Logger::println("Done");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	550 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	551
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	552 //////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	553
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	554 LLValue* DtoNestedVariable(VarDeclaration* vd)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	555 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	556 // log the frame list
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	557 IrFunction* irfunc = gIR->func();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	558 if (Logger::enabled())
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	559 print_nested_frame_list(vd, irfunc->decl);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	560
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	561 // resolve frame ptr
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	562 FuncDeclaration* func = vd->toParent2()->isFuncDeclaration();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	563 assert(func);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	564 LLValue* ptr = DtoNestedContext(func);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	565 assert(ptr && "nested var, but no context");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	566
339 385a18242485 [svn r360] Another mostly rewrite of DtoArrayInit. Should be much more robust now, and probably faster code generated for the most common cases too! lindquist parents: 328 diff changeset	567 // if the nested var is a this pointer it's a class member and not a magic struct
385a18242485 [svn r360] Another mostly rewrite of DtoArrayInit. Should be much more robust now, and probably faster code generated for the most common cases too! lindquist parents: 328 diff changeset	568 // so we're done here!
385a18242485 [svn r360] Another mostly rewrite of DtoArrayInit. Should be much more robust now, and probably faster code generated for the most common cases too! lindquist parents: 328 diff changeset	569 // this happens since 1.033 for some reason... always correct ?
385a18242485 [svn r360] Another mostly rewrite of DtoArrayInit. Should be much more robust now, and probably faster code generated for the most common cases too! lindquist parents: 328 diff changeset	570 if (vd->ident == Id::This)
385a18242485 [svn r360] Another mostly rewrite of DtoArrayInit. Should be much more robust now, and probably faster code generated for the most common cases too! lindquist parents: 328 diff changeset	571 {
385a18242485 [svn r360] Another mostly rewrite of DtoArrayInit. Should be much more robust now, and probably faster code generated for the most common cases too! lindquist parents: 328 diff changeset	572 return ptr;
385a18242485 [svn r360] Another mostly rewrite of DtoArrayInit. Should be much more robust now, and probably faster code generated for the most common cases too! lindquist parents: 328 diff changeset	573 }
385a18242485 [svn r360] Another mostly rewrite of DtoArrayInit. Should be much more robust now, and probably faster code generated for the most common cases too! lindquist parents: 328 diff changeset	574
385a18242485 [svn r360] Another mostly rewrite of DtoArrayInit. Should be much more robust now, and probably faster code generated for the most common cases too! lindquist parents: 328 diff changeset	575 // handle a "normal" nested variable
385a18242485 [svn r360] Another mostly rewrite of DtoArrayInit. Should be much more robust now, and probably faster code generated for the most common cases too! lindquist parents: 328 diff changeset	576
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	577 // we must cast here to be sure. nested classes just have a void*
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	578 ptr = DtoBitCast(ptr, func->ir.irFunc->nestedVar->getType());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	579
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	580 // index nested var and load (if necessary)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	581 LLValue* v = DtoGEPi(ptr, 0, vd->ir.irLocal->nestedIndex, "tmp");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	582 // references must be loaded, for normal variables this IS already the variable storage!!!
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	583 if (vd->isParameter() && (vd->isRef() \|\| vd->isOut() \|\| DtoIsPassedByRef(vd->type)))
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	584 v = DtoLoad(v);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	585
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	586 // log and return
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	587 Logger::cout() << "Nested var ptr = " << *v << '\n';
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	588 return v;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	589 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	590
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	591 /****************************************************************************************/
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	592 /*////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	593 // ASSIGNMENT HELPER (store this in that)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	594 ////////////////////////////////////////////////////////////////////////////////////////*/
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	595
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	596 void DtoAssign(Loc& loc, DValue* lhs, DValue* rhs)
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	597 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	598 Logger::cout() << "DtoAssign(...);\n";
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	599 LOG_SCOPE;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	600
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	601 Type* t = DtoDType(lhs->getType());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	602 Type* t2 = DtoDType(rhs->getType());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	603
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	604 if (t->ty == Tstruct) {
295 895e1b50cf2a [svn r316] Fixed array slice assignments like: int[] arr = ...; arr[] = 42; lindquist parents: 294 diff changeset	605 if (!t->equals(t2)) {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	606 // TODO: fix this, use 'rhs' for something
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	607 DtoAggrZeroInit(lhs->getLVal());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	608 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	609 else if (!rhs->inPlace()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	610 DtoAggrCopy(lhs->getLVal(), rhs->getRVal());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	611 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	612 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	613 else if (t->ty == Tarray) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	614 // lhs is slice
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	615 if (DSliceValue* s = lhs->isSlice()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	616 if (DSliceValue* s2 = rhs->isSlice()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	617 DtoArrayCopySlices(s, s2);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	618 }
358 051f5b550d9c [svn r379] Fix slice assigns of the form T[] = T when T is a typedef. ChristianK parents: 357 diff changeset	619 else if (t->next->toBasetype()->equals(t2)) {
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	620 DtoArrayInit(loc, s, rhs);
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	621 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	622 else {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	623 DtoArrayCopyToSlice(s, rhs);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	624 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	625 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	626 // rhs is slice
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	627 else if (DSliceValue* s = rhs->isSlice()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	628 assert(s->getType()->toBasetype() == lhs->getType()->toBasetype());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	629 DtoSetArray(lhs->getLVal(),DtoArrayLen(s),DtoArrayPtr(s));
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	630 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	631 // null
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	632 else if (rhs->isNull()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	633 DtoSetArrayToNull(lhs->getLVal());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	634 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	635 // reference assignment
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	636 else {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	637 DtoArrayAssign(lhs->getLVal(), rhs->getRVal());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	638 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	639 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	640 else if (t->ty == Tsarray) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	641 if (DtoType(lhs->getType()) == DtoType(rhs->getType())) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	642 DtoStaticArrayCopy(lhs->getLVal(), rhs->getRVal());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	643 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	644 else {
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	645 DtoArrayInit(loc, lhs, rhs);
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	646 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	647 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	648 else if (t->ty == Tdelegate) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	649 if (rhs->isNull())
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	650 DtoAggrZeroInit(lhs->getLVal());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	651 else if (!rhs->inPlace()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	652 LLValue* l = lhs->getLVal();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	653 LLValue* r = rhs->getRVal();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	654 Logger::cout() << "assign\nlhs: " << l << "rhs: " << r << '\n';
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	655 DtoAggrCopy(l, r);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	656 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	657 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	658 else if (t->ty == Tclass) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	659 assert(t2->ty == Tclass);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	660 // assignment to this in constructor special case
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	661 if (lhs->isThis()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	662 LLValue* tmp = rhs->getRVal();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	663 FuncDeclaration* fdecl = gIR->func()->decl;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	664 // respecify the this param
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	665 if (!llvm::isa<llvm::AllocaInst>(fdecl->ir.irFunc->thisVar))
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	666 fdecl->ir.irFunc->thisVar = new llvm::AllocaInst(tmp->getType(), "newthis", gIR->topallocapoint());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	667 DtoStore(tmp, fdecl->ir.irFunc->thisVar);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	668 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	669 // regular class ref -> class ref assignment
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	670 else {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	671 DtoStore(rhs->getRVal(), lhs->getLVal());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	672 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	673 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	674 else if (t->iscomplex()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	675 assert(!lhs->isComplex());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	676
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	677 LLValue* dst;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	678 if (DLRValue* lr = lhs->isLRValue()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	679 dst = lr->getLVal();
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	680 rhs = DtoCastComplex(loc, rhs, lr->getLType());
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	681 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	682 else {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	683 dst = lhs->getRVal();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	684 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	685
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	686 if (DComplexValue* cx = rhs->isComplex())
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	687 DtoComplexSet(dst, cx->re, cx->im);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	688 else
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	689 DtoComplexAssign(dst, rhs->getRVal());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	690 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	691 else {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	692 LLValue* l = lhs->getLVal();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	693 LLValue* r = rhs->getRVal();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	694 Logger::cout() << "assign\nlhs: " << l << "rhs: " << r << '\n';
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	695 const LLType* lit = l->getType()->getContainedType(0);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	696 if (r->getType() != lit) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	697 // handle lvalue cast assignments
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	698 if (DLRValue* lr = lhs->isLRValue()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	699 Logger::println("lvalue cast!");
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	700 r = DtoCast(loc, rhs, lr->getLType())->getRVal();
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	701 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	702 else {
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	703 r = DtoCast(loc, rhs, lhs->getType())->getRVal();
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	704 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	705 Logger::cout() << "really assign\nlhs: " << l << "rhs: " << r << '\n';
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	706 assert(r->getType() == l->getType()->getContainedType(0));
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	707 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	708 gIR->ir->CreateStore(r, l);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	709 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	710 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	711
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	712 /****************************************************************************************/
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	713 /*////////////////////////////////////////////////////////////////////////////////////////
372 83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	714 // NULL VALUE HELPER
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	715 ////////////////////////////////////////////////////////////////////////////////////////*/
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	716
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	717 DValue* DtoNullValue(Type* type)
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	718 {
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	719 Type* basetype = type->toBasetype();
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	720 TY basety = basetype->ty;
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	721 const LLType* lltype = DtoType(basetype);
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	722
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	723 // complex, needs to be first since complex are also floating
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	724 if (basetype->iscomplex())
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	725 {
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	726 const LLType* basefp = DtoComplexBaseType(basetype);
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	727 return new DComplexValue(type, LLConstant::getNullValue(basefp), LLConstant::getNullValue(basefp));
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	728 }
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	729 // integer, floating, pointer and class have no special representation
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	730 else if (basetype->isintegral() \|\| basetype->isfloating() \|\| basety == Tpointer \|\| basety == Tclass)
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	731 {
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	732 return new DConstValue(type, LLConstant::getNullValue(lltype));
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	733 }
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	734 // dynamic array
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	735 else if (basety == Tarray)
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	736 {
373 d1574e142e93 [svn r394] Fixed the new DtoNullValue function lindquist parents: 372 diff changeset	737 LLValue* len = DtoConstSize_t(0);
d1574e142e93 [svn r394] Fixed the new DtoNullValue function lindquist parents: 372 diff changeset	738 LLValue* ptr = getNullPtr(getPtrToType(DtoType(basetype->next)));
d1574e142e93 [svn r394] Fixed the new DtoNullValue function lindquist parents: 372 diff changeset	739 return new DSliceValue(type, len, ptr);
372 83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	740 }
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	741 // delegate
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	742 else if (basety == Tdelegate)
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	743 {
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	744 return new DNullValue(type, LLConstant::getNullValue(lltype));
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	745 }
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	746
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	747 // unknown
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	748 std::cout << "unsupported: null value for " << type->toChars() << '\n';
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	749 assert(0);
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	750 return 0;
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	751
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	752 }
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	753
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	754
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	755 /****************************************************************************************/
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	756 /*////////////////////////////////////////////////////////////////////////////////////////
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	757 // CASTING HELPERS
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	758 ////////////////////////////////////////////////////////////////////////////////////////*/
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	759
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	760 DValue* DtoCastInt(Loc& loc, DValue* val, Type* _to)
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	761 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	762 const LLType* tolltype = DtoType(_to);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	763
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	764 Type* to = DtoDType(_to);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	765 Type* from = DtoDType(val->getType());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	766 assert(from->isintegral());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	767
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	768 size_t fromsz = from->size();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	769 size_t tosz = to->size();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	770
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	771 LLValue* rval = val->getRVal();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	772 if (rval->getType() == tolltype) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	773 return new DImValue(_to, rval);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	774 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	775
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	776 if (to->isintegral()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	777 if (fromsz < tosz) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	778 Logger::cout() << "cast to: " << *tolltype << '\n';
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	779 if (from->isunsigned() \|\| from->ty == Tbool) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	780 rval = new llvm::ZExtInst(rval, tolltype, "tmp", gIR->scopebb());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	781 } else {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	782 rval = new llvm::SExtInst(rval, tolltype, "tmp", gIR->scopebb());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	783 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	784 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	785 else if (fromsz > tosz) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	786 rval = new llvm::TruncInst(rval, tolltype, "tmp", gIR->scopebb());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	787 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	788 else {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	789 rval = DtoBitCast(rval, tolltype);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	790 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	791 }
359 926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 358 diff changeset	792 else if (to->iscomplex()) {
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	793 return DtoComplex(loc, to, val);
359 926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 358 diff changeset	794 }
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	795 else if (to->isfloating()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	796 if (from->isunsigned()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	797 rval = new llvm::UIToFPInst(rval, tolltype, "tmp", gIR->scopebb());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	798 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	799 else {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	800 rval = new llvm::SIToFPInst(rval, tolltype, "tmp", gIR->scopebb());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	801 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	802 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	803 else if (to->ty == Tpointer) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	804 Logger::cout() << "cast pointer: " << *tolltype << '\n';
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	805 rval = gIR->ir->CreateIntToPtr(rval, tolltype, "tmp");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	806 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	807 else {
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	808 error(loc, "invalid cast from '%s' to '%s'", val->getType()->toChars(), _to->toChars());
0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	809 fatal();
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	810 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	811
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	812 return new DImValue(_to, rval);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	813 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	814
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	815 DValue* DtoCastPtr(Loc& loc, DValue* val, Type* to)
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	816 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	817 const LLType* tolltype = DtoType(to);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	818
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	819 Type* totype = DtoDType(to);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	820 Type* fromtype = DtoDType(val->getType());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	821 assert(fromtype->ty == Tpointer \|\| fromtype->ty == Tfunction);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	822
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	823 LLValue* rval;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	824
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	825 if (totype->ty == Tpointer \|\| totype->ty == Tclass) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	826 LLValue* src = val->getRVal();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	827 Logger::cout() << "src: " << src << "to type: " << tolltype << '\n';
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	828 rval = DtoBitCast(src, tolltype);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	829 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	830 else if (totype->isintegral()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	831 rval = new llvm::PtrToIntInst(val->getRVal(), tolltype, "tmp", gIR->scopebb());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	832 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	833 else {
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	834 error(loc, "invalid cast from '%s' to '%s'", val->getType()->toChars(), to->toChars());
0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	835 fatal();
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	836 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	837
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	838 return new DImValue(to, rval);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	839 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	840
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	841 DValue* DtoCastFloat(Loc& loc, DValue* val, Type* to)
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	842 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	843 if (val->getType() == to)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	844 return val;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	845
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	846 const LLType* tolltype = DtoType(to);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	847
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	848 Type* totype = DtoDType(to);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	849 Type* fromtype = DtoDType(val->getType());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	850 assert(fromtype->isfloating());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	851
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	852 size_t fromsz = fromtype->size();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	853 size_t tosz = totype->size();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	854
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	855 LLValue* rval;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	856
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	857 if (totype->iscomplex()) {
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	858 return DtoComplex(loc, to, val);
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	859 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	860 else if (totype->isfloating()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	861 if ((fromtype->ty == Tfloat80 \|\| fromtype->ty == Tfloat64) && (totype->ty == Tfloat80 \|\| totype->ty == Tfloat64)) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	862 rval = val->getRVal();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	863 }
359 926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 358 diff changeset	864 else if ((fromtype->ty == Timaginary80 \|\| fromtype->ty == Timaginary64) && (totype->ty == Timaginary80 \|\| totype->ty == Timaginary64)) {
926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 358 diff changeset	865 rval = val->getRVal();
926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 358 diff changeset	866 }
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	867 else if (fromsz < tosz) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	868 rval = new llvm::FPExtInst(val->getRVal(), tolltype, "tmp", gIR->scopebb());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	869 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	870 else if (fromsz > tosz) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	871 rval = new llvm::FPTruncInst(val->getRVal(), tolltype, "tmp", gIR->scopebb());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	872 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	873 else {
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	874 error(loc, "invalid cast from '%s' to '%s'", val->getType()->toChars(), to->toChars());
0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	875 fatal();
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	876 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	877 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	878 else if (totype->isintegral()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	879 if (totype->isunsigned()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	880 rval = new llvm::FPToUIInst(val->getRVal(), tolltype, "tmp", gIR->scopebb());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	881 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	882 else {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	883 rval = new llvm::FPToSIInst(val->getRVal(), tolltype, "tmp", gIR->scopebb());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	884 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	885 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	886 else {
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	887 error(loc, "invalid cast from '%s' to '%s'", val->getType()->toChars(), to->toChars());
0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	888 fatal();
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	889 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	890
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	891 return new DImValue(to, rval);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	892 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	893
419 023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	894 DValue* DtoCastDelegate(Loc& loc, DValue* val, Type* to)
023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	895 {
023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	896 LLValue* res = 0;
023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	897 to = to->toBasetype();
023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	898
023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	899 if (to->ty == Tdelegate)
023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	900 {
023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	901 const LLType* toll = getPtrToType(DtoType(to));
023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	902 res = DtoBitCast(val->getRVal(), toll);
023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	903 }
023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	904 else
023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	905 {
023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	906 error(loc, "invalid cast from '%s' to '%s'", val->getType()->toChars(), to->toChars());
023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	907 fatal();
023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	908 }
023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	909
023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	910 return new DImValue(to, res);
023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	911 }
023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	912
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	913 DValue* DtoCast(Loc& loc, DValue* val, Type* to)
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	914 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	915 Type* fromtype = DtoDType(val->getType());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	916 Logger::println("Casting from '%s' to '%s'", fromtype->toChars(), to->toChars());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	917 if (fromtype->isintegral()) {
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	918 return DtoCastInt(loc, val, to);
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	919 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	920 else if (fromtype->iscomplex()) {
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	921 return DtoCastComplex(loc, val, to);
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	922 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	923 else if (fromtype->isfloating()) {
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	924 return DtoCastFloat(loc, val, to);
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	925 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	926 else if (fromtype->ty == Tclass) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	927 return DtoCastClass(val, to);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	928 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	929 else if (fromtype->ty == Tarray \|\| fromtype->ty == Tsarray) {
424 c8d98ccad0cc Error if static array is cast to an array such that oldarraysize % newelemsize != 0. Christian Kamm <kamm incasoftware de> parents: 419 diff changeset	930 return DtoCastArray(loc, val, to);
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	931 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	932 else if (fromtype->ty == Tpointer \|\| fromtype->ty == Tfunction) {
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	933 return DtoCastPtr(loc, val, to);
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	934 }
419 023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	935 else if (fromtype->ty == Tdelegate) {
023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	936 return DtoCastDelegate(loc, val, to);
023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	937 }
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	938 else {
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	939 error(loc, "invalid cast from '%s' to '%s'", val->getType()->toChars(), to->toChars());
0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	940 fatal();
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	941 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	942 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	943
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	944 /****************************************************************************************/
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	945 /*////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	946 // TEMPLATE HELPERS
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	947 ////////////////////////////////////////////////////////////////////////////////////////*/
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	948
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	949 bool DtoIsTemplateInstance(Dsymbol* s)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	950 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	951 if (!s) return false;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	952 if (s->isTemplateInstance() && !s->isTemplateMixin())
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	953 return true;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	954 else if (s->parent)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	955 return DtoIsTemplateInstance(s->parent);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	956 return false;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	957 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	958
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	959 /****************************************************************************************/
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	960 /*////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	961 // LAZY STATIC INIT HELPER
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	962 ////////////////////////////////////////////////////////////////////////////////////////*/
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	963
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	964 void DtoLazyStaticInit(bool istempl, LLValue* gvar, Initializer* init, Type* t)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	965 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	966 // create a flag to make sure initialization only happens once
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	967 llvm::GlobalValue::LinkageTypes gflaglink = istempl ? llvm::GlobalValue::WeakLinkage : llvm::GlobalValue::InternalLinkage;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	968 std::string gflagname(gvar->getName());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	969 gflagname.append("__initflag");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	970 llvm::GlobalVariable* gflag = new llvm::GlobalVariable(LLType::Int1Ty,false,gflaglink,DtoConstBool(false),gflagname,gIR->module);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	971
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	972 // check flag and do init if not already done
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	973 llvm::BasicBlock* oldend = gIR->scopeend();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	974 llvm::BasicBlock* initbb = llvm::BasicBlock::Create("ifnotinit",gIR->topfunc(),oldend);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	975 llvm::BasicBlock* endinitbb = llvm::BasicBlock::Create("ifnotinitend",gIR->topfunc(),oldend);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	976 LLValue* cond = gIR->ir->CreateICmpEQ(gIR->ir->CreateLoad(gflag,"tmp"),DtoConstBool(false));
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	977 gIR->ir->CreateCondBr(cond, initbb, endinitbb);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	978 gIR->scope() = IRScope(initbb,endinitbb);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	979 DValue* ie = DtoInitializer(init);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	980 if (!ie->inPlace()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	981 DValue* dst = new DVarValue(t, gvar, true);
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	982 DtoAssign(init->loc, dst, ie);
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	983 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	984 gIR->ir->CreateStore(DtoConstBool(true), gflag);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	985 gIR->ir->CreateBr(endinitbb);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	986 gIR->scope() = IRScope(endinitbb,oldend);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	987 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	988
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	989 /****************************************************************************************/
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	990 /*////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	991 // PROCESSING QUEUE HELPERS
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	992 ////////////////////////////////////////////////////////////////////////////////////////*/
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	993
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	994 void DtoResolveDsymbol(Dsymbol* dsym)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	995 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	996 if (StructDeclaration* sd = dsym->isStructDeclaration()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	997 DtoResolveStruct(sd);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	998 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	999 else if (ClassDeclaration* cd = dsym->isClassDeclaration()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1000 DtoResolveClass(cd);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1001 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1002 else if (FuncDeclaration* fd = dsym->isFuncDeclaration()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1003 DtoResolveFunction(fd);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1004 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1005 else if (TypeInfoDeclaration* fd = dsym->isTypeInfoDeclaration()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1006 DtoResolveTypeInfo(fd);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1007 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1008 else {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1009 error(dsym->loc, "unsupported dsymbol: %s", dsym->toChars());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1010 assert(0 && "unsupported dsymbol for DtoResolveDsymbol");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1011 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1012 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1013
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1014 //////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1015
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1016 void DtoDeclareDsymbol(Dsymbol* dsym)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1017 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1018 if (StructDeclaration* sd = dsym->isStructDeclaration()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1019 DtoDeclareStruct(sd);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1020 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1021 else if (ClassDeclaration* cd = dsym->isClassDeclaration()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1022 DtoDeclareClass(cd);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1023 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1024 else if (FuncDeclaration* fd = dsym->isFuncDeclaration()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1025 DtoDeclareFunction(fd);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1026 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1027 else if (TypeInfoDeclaration* fd = dsym->isTypeInfoDeclaration()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1028 DtoDeclareTypeInfo(fd);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1029 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1030 else {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1031 error(dsym->loc, "unsupported dsymbol: %s", dsym->toChars());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1032 assert(0 && "unsupported dsymbol for DtoDeclareDsymbol");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1033 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1034 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1035
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1036 //////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1037
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1038 void DtoConstInitDsymbol(Dsymbol* dsym)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1039 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1040 if (StructDeclaration* sd = dsym->isStructDeclaration()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1041 DtoConstInitStruct(sd);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1042 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1043 else if (ClassDeclaration* cd = dsym->isClassDeclaration()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1044 DtoConstInitClass(cd);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1045 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1046 else if (TypeInfoDeclaration* fd = dsym->isTypeInfoDeclaration()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1047 DtoConstInitTypeInfo(fd);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1048 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1049 else if (VarDeclaration* vd = dsym->isVarDeclaration()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1050 DtoConstInitGlobal(vd);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1051 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1052 else {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1053 error(dsym->loc, "unsupported dsymbol: %s", dsym->toChars());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1054 assert(0 && "unsupported dsymbol for DtoConstInitDsymbol");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1055 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1056 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1057
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1058 //////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1059
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1060 void DtoDefineDsymbol(Dsymbol* dsym)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1061 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1062 if (StructDeclaration* sd = dsym->isStructDeclaration()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1063 DtoDefineStruct(sd);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1064 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1065 else if (ClassDeclaration* cd = dsym->isClassDeclaration()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1066 DtoDefineClass(cd);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1067 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1068 else if (FuncDeclaration* fd = dsym->isFuncDeclaration()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1069 DtoDefineFunc(fd);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1070 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1071 else if (TypeInfoDeclaration* fd = dsym->isTypeInfoDeclaration()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1072 DtoDefineTypeInfo(fd);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1073 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1074 else {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1075 error(dsym->loc, "unsupported dsymbol: %s", dsym->toChars());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1076 assert(0 && "unsupported dsymbol for DtoDefineDsymbol");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1077 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1078 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1079
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1080 //////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1081
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1082 void DtoConstInitGlobal(VarDeclaration* vd)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1083 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1084 if (vd->ir.initialized) return;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1085 vd->ir.initialized = gIR->dmodule;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1086
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1087 Logger::println("* DtoConstInitGlobal(%s)", vd->toChars());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1088 LOG_SCOPE;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1089
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1090 bool emitRTstaticInit = false;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1091
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1092 LLConstant* _init = 0;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1093 if (vd->parent && vd->parent->isFuncDeclaration() && vd->init && vd->init->isExpInitializer()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1094 _init = DtoConstInitializer(vd->type, NULL);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1095 emitRTstaticInit = true;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1096 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1097 else {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1098 _init = DtoConstInitializer(vd->type, vd->init);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1099 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1100
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1101 const LLType* _type = DtoType(vd->type);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1102 Type* t = DtoDType(vd->type);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1103
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1104 //Logger::cout() << "initializer: " << *_init << '\n';
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1105 if (_type != _init->getType()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1106 Logger::cout() << "got type '" << _init->getType() << "' expected '" << _type << "'\n";
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1107 // zero initalizer
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1108 if (_init->isNullValue())
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1109 _init = llvm::Constant::getNullValue(_type);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1110 // pointer to global constant (struct.init)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1111 else if (llvm::isa<llvm::GlobalVariable>(_init))
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1112 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1113 assert(_init->getType()->getContainedType(0) == _type);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1114 llvm::GlobalVariable* gv = llvm::cast<llvm::GlobalVariable>(_init);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1115 assert(t->ty == Tstruct);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1116 TypeStruct* ts = (TypeStruct*)t;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1117 assert(ts->sym->ir.irStruct->constInit);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1118 _init = ts->sym->ir.irStruct->constInit;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1119 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1120 // array single value init
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1121 else if (isaArray(_type))
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1122 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1123 _init = DtoConstStaticArray(_type, _init);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1124 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1125 else {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1126 Logger::cout() << "Unexpected initializer type: " << *_type << '\n';
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1127 //assert(0);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1128 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1129 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1130
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1131 bool istempl = false;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1132 if ((vd->storage_class & STCcomdat) \|\| (vd->parent && DtoIsTemplateInstance(vd->parent))) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1133 istempl = true;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1134 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1135
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1136 if (_init && _init->getType() != _type)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1137 _type = _init->getType();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1138 llvm::cast<LLOpaqueType>(vd->ir.irGlobal->type.get())->refineAbstractTypeTo(_type);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1139 _type = vd->ir.irGlobal->type.get();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1140 //_type->dump();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1141 assert(!_type->isAbstract());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1142
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1143 llvm::GlobalVariable* gvar = llvm::cast<llvm::GlobalVariable>(vd->ir.irGlobal->value);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1144 if (!(vd->storage_class & STCextern) && (vd->getModule() == gIR->dmodule \|\| istempl))
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1145 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1146 gvar->setInitializer(_init);
250 fc9c1a0eabbd [svn r267] Fixed debug info for global variables. lindquist parents: 244 diff changeset	1147 // do debug info
fc9c1a0eabbd [svn r267] Fixed debug info for global variables. lindquist parents: 244 diff changeset	1148 if (global.params.symdebug)
fc9c1a0eabbd [svn r267] Fixed debug info for global variables. lindquist parents: 244 diff changeset	1149 {
fc9c1a0eabbd [svn r267] Fixed debug info for global variables. lindquist parents: 244 diff changeset	1150 LLGlobalVariable* gv = DtoDwarfGlobalVariable(gvar, vd);
fc9c1a0eabbd [svn r267] Fixed debug info for global variables. lindquist parents: 244 diff changeset	1151 // keep a reference so GDCE doesn't delete it !
fc9c1a0eabbd [svn r267] Fixed debug info for global variables. lindquist parents: 244 diff changeset	1152 gIR->usedArray.push_back(llvm::ConstantExpr::getBitCast(gv, getVoidPtrType()));
fc9c1a0eabbd [svn r267] Fixed debug info for global variables. lindquist parents: 244 diff changeset	1153 }
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1154 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1155
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1156 if (emitRTstaticInit)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1157 DtoLazyStaticInit(istempl, gvar, vd->init, t);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1158 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1159
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1160 //////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1161
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1162 void DtoEmptyResolveList()
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1163 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1164 //Logger::println("DtoEmptyResolveList()");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1165 Dsymbol* dsym;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1166 while (!gIR->resolveList.empty()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1167 dsym = gIR->resolveList.front();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1168 gIR->resolveList.pop_front();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1169 DtoResolveDsymbol(dsym);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1170 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1171 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1172
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1173 //////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1174
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1175 void DtoEmptyDeclareList()
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1176 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1177 //Logger::println("DtoEmptyDeclareList()");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1178 Dsymbol* dsym;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1179 while (!gIR->declareList.empty()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1180 dsym = gIR->declareList.front();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1181 gIR->declareList.pop_front();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1182 DtoDeclareDsymbol(dsym);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1183 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1184 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1185
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1186 //////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1187
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1188 void DtoEmptyConstInitList()
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1189 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1190 //Logger::println("DtoEmptyConstInitList()");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1191 Dsymbol* dsym;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1192 while (!gIR->constInitList.empty()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1193 dsym = gIR->constInitList.front();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1194 gIR->constInitList.pop_front();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1195 DtoConstInitDsymbol(dsym);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1196 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1197 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1198
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1199 //////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1200
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1201 void DtoEmptyDefineList()
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1202 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1203 //Logger::println("DtoEmptyDefineList()");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1204 Dsymbol* dsym;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1205 while (!gIR->defineList.empty()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1206 dsym = gIR->defineList.front();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1207 gIR->defineList.pop_front();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1208 DtoDefineDsymbol(dsym);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1209 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1210 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1211
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1212 //////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1213 void DtoEmptyAllLists()
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1214 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1215 for(;;)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1216 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1217 Dsymbol* dsym;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1218 if (!gIR->resolveList.empty()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1219 dsym = gIR->resolveList.front();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1220 gIR->resolveList.pop_front();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1221 DtoResolveDsymbol(dsym);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1222 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1223 else if (!gIR->declareList.empty()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1224 dsym = gIR->declareList.front();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1225 gIR->declareList.pop_front();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1226 DtoDeclareDsymbol(dsym);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1227 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1228 else if (!gIR->constInitList.empty()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1229 dsym = gIR->constInitList.front();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1230 gIR->constInitList.pop_front();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1231 DtoConstInitDsymbol(dsym);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1232 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1233 else if (!gIR->defineList.empty()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1234 dsym = gIR->defineList.front();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1235 gIR->defineList.pop_front();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1236 DtoDefineDsymbol(dsym);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1237 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1238 else {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1239 break;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1240 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1241 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1242 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1243
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1244 //////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1245
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1246 void DtoForceDeclareDsymbol(Dsymbol* dsym)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1247 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1248 if (dsym->ir.declared) return;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1249 Logger::println("DtoForceDeclareDsymbol(%s)", dsym->toPrettyChars());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1250 LOG_SCOPE;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1251 DtoResolveDsymbol(dsym);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1252
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1253 DtoEmptyResolveList();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1254
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1255 DtoDeclareDsymbol(dsym);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1256 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1257
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1258 //////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1259
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1260 void DtoForceConstInitDsymbol(Dsymbol* dsym)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1261 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1262 if (dsym->ir.initialized) return;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1263 Logger::println("DtoForceConstInitDsymbol(%s)", dsym->toPrettyChars());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1264 LOG_SCOPE;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1265 DtoResolveDsymbol(dsym);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1266
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1267 DtoEmptyResolveList();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1268 DtoEmptyDeclareList();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1269
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1270 DtoConstInitDsymbol(dsym);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1271 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1272
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1273 //////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1274
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1275 void DtoForceDefineDsymbol(Dsymbol* dsym)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1276 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1277 if (dsym->ir.defined) return;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1278 Logger::println("DtoForceDefineDsymbol(%s)", dsym->toPrettyChars());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1279 LOG_SCOPE;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1280 DtoResolveDsymbol(dsym);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1281
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1282 DtoEmptyResolveList();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1283 DtoEmptyDeclareList();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1284 DtoEmptyConstInitList();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1285
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1286 DtoDefineDsymbol(dsym);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1287 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1288
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1289 /****************************************************************************************/
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1290 /*////////////////////////////////////////////////////////////////////////////////////////
433 b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1291 // DECLARATION EXP HELPER
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1292 ////////////////////////////////////////////////////////////////////////////////////////*/
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1293 DValue* DtoDeclarationExp(Dsymbol* declaration)
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1294 {
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1295 Logger::print("DtoDeclarationExp: %s\n", declaration->toChars());
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1296 LOG_SCOPE;
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1297
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1298 // variable declaration
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1299 if (VarDeclaration* vd = declaration->isVarDeclaration())
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1300 {
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1301 Logger::println("VarDeclaration");
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1302
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1303 // static
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1304 if (vd->isDataseg())
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1305 {
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1306 vd->toObjFile(0); // TODO: multiobj
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1307 }
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1308 else
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1309 {
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1310 if (global.params.llvmAnnotate)
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1311 DtoAnnotation(declaration->toChars());
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1312
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1313 Logger::println("vdtype = %s", vd->type->toChars());
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1314
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1315 // referenced by nested delegate?
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1316 if (vd->nestedref) {
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1317 Logger::println("has nestedref set");
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1318 assert(vd->ir.irLocal);
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1319 vd->ir.irLocal->value = gIR->func()->decl->ir.irFunc->nestedVar;
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1320 assert(vd->ir.irLocal->value);
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1321 assert(vd->ir.irLocal->nestedIndex >= 0);
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1322 }
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1323 // normal stack variable, allocate storage on the stack if it has not already been done
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1324 else if(!vd->ir.irLocal) {
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1325 const LLType* lltype = DtoType(vd->type);
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1326
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1327 llvm::Value* allocainst;
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1328 if(gTargetData->getTypeSizeInBits(lltype) == 0)
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1329 allocainst = llvm::ConstantPointerNull::get(getPtrToType(lltype));
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1330 else
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1331 allocainst = new llvm::AllocaInst(lltype, vd->toChars(), gIR->topallocapoint());
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1332
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1333 //allocainst->setAlignment(vd->type->alignsize()); // TODO
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1334 vd->ir.irLocal = new IrLocal(vd);
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1335 vd->ir.irLocal->value = allocainst;
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1336
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1337 if (global.params.symdebug)
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1338 {
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1339 DtoDwarfLocalVariable(allocainst, vd);
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1340 }
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1341 }
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1342
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1343 Logger::cout() << "llvm value for decl: " << *vd->ir.irLocal->value << '\n';
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1344 DValue* ie = DtoInitializer(vd->init);
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1345 }
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1346
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: 433 diff changeset	1347 return new DVarValue(vd->type, vd, vd->ir.getIrValue(), true);
433 b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1348 }
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1349 // struct declaration
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1350 else if (StructDeclaration* s = declaration->isStructDeclaration())
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1351 {
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1352 Logger::println("StructDeclaration");
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1353 DtoForceConstInitDsymbol(s);
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1354 }
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1355 // function declaration
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1356 else if (FuncDeclaration* f = declaration->isFuncDeclaration())
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1357 {
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1358 Logger::println("FuncDeclaration");
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1359 DtoForceDeclareDsymbol(f);
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1360 }
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1361 // alias declaration
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1362 else if (AliasDeclaration* a = declaration->isAliasDeclaration())
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1363 {
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1364 Logger::println("AliasDeclaration - no work");
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1365 // do nothing
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1366 }
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1367 // enum
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1368 else if (EnumDeclaration* e = declaration->isEnumDeclaration())
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1369 {
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1370 Logger::println("EnumDeclaration - no work");
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1371 // do nothing
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1372 }
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1373 // class
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1374 else if (ClassDeclaration* e = declaration->isClassDeclaration())
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1375 {
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1376 Logger::println("ClassDeclaration");
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1377 DtoForceConstInitDsymbol(e);
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1378 }
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1379 // typedef
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1380 else if (TypedefDeclaration* tdef = declaration->isTypedefDeclaration())
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1381 {
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1382 Logger::println("TypedefDeclaration");
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1383 DtoTypeInfoOf(tdef->type, false);
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1384 }
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1385 // attribute declaration
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1386 else if (AttribDeclaration* a = declaration->isAttribDeclaration())
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1387 {
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1388 Logger::println("AttribDeclaration");
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1389 for (int i=0; i < a->decl->dim; ++i)
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1390 {
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1391 DtoForceDeclareDsymbol((Dsymbol*)a->decl->data[i]);
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1392 }
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1393 }
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1394 // mixin declaration
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1395 else if (TemplateMixin* m = declaration->isTemplateMixin())
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1396 {
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1397 Logger::println("TemplateMixin");
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1398 for (int i=0; i < m->members->dim; ++i)
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1399 {
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1400 Dsymbol* mdsym = (Dsymbol*)m->members->data[i];
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1401 DtoDeclarationExp(mdsym);
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1402 }
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1403 }
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1404 // unsupported declaration
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1405 else
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1406 {
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1407 error(declaration->loc, "Unimplemented Declaration type for DeclarationExp. kind: %s", declaration->kind());
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1408 assert(0);
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1409 }
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1410 return NULL;
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1411 }
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1412
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1413
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1414 /****************************************************************************************/
b5f55f471e0b Move DeclarationExp code into a helper function so it can call itself for template mixin members. Christian Kamm <kamm incasoftware de> parents: 424 diff changeset	1415 /*////////////////////////////////////////////////////////////////////////////////////////
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1416 // INITIALIZER HELPERS
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1417 ////////////////////////////////////////////////////////////////////////////////////////*/
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1418
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1419 LLConstant* DtoConstInitializer(Type* type, Initializer* init)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1420 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1421 LLConstant* _init = 0; // may return zero
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1422 if (!init)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1423 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1424 Logger::println("const default initializer for %s", type->toChars());
294 94435b0ab2dd [svn r315] Build full const initializer for static arrays in DtoConstInitializer if necessary. ChristianK parents: 291 diff changeset	1425
94435b0ab2dd [svn r315] Build full const initializer for static arrays in DtoConstInitializer if necessary. ChristianK parents: 291 diff changeset	1426 if(type->ty == Tsarray)
94435b0ab2dd [svn r315] Build full const initializer for static arrays in DtoConstInitializer if necessary. ChristianK parents: 291 diff changeset	1427 {
94435b0ab2dd [svn r315] Build full const initializer for static arrays in DtoConstInitializer if necessary. ChristianK parents: 291 diff changeset	1428 Logger::println("type is a static array, building constant array initializer");
94435b0ab2dd [svn r315] Build full const initializer for static arrays in DtoConstInitializer if necessary. ChristianK parents: 291 diff changeset	1429 TypeSArray* arrtype = (TypeSArray*)type;
94435b0ab2dd [svn r315] Build full const initializer for static arrays in DtoConstInitializer if necessary. ChristianK parents: 291 diff changeset	1430 Type* elemtype = type->next;
94435b0ab2dd [svn r315] Build full const initializer for static arrays in DtoConstInitializer if necessary. ChristianK parents: 291 diff changeset	1431
94435b0ab2dd [svn r315] Build full const initializer for static arrays in DtoConstInitializer if necessary. ChristianK parents: 291 diff changeset	1432 integer_t arraydim;
94435b0ab2dd [svn r315] Build full const initializer for static arrays in DtoConstInitializer if necessary. ChristianK parents: 291 diff changeset	1433 arraydim = arrtype->dim->toInteger();
94435b0ab2dd [svn r315] Build full const initializer for static arrays in DtoConstInitializer if necessary. ChristianK parents: 291 diff changeset	1434
94435b0ab2dd [svn r315] Build full const initializer for static arrays in DtoConstInitializer if necessary. ChristianK parents: 291 diff changeset	1435 std::vector<LLConstant*> inits(arraydim, elemtype->defaultInit()->toConstElem(gIR));
94435b0ab2dd [svn r315] Build full const initializer for static arrays in DtoConstInitializer if necessary. ChristianK parents: 291 diff changeset	1436 const LLArrayType* arrty = LLArrayType::get(DtoType(elemtype),arraydim);
94435b0ab2dd [svn r315] Build full const initializer for static arrays in DtoConstInitializer if necessary. ChristianK parents: 291 diff changeset	1437 _init = LLConstantArray::get(arrty, inits);
94435b0ab2dd [svn r315] Build full const initializer for static arrays in DtoConstInitializer if necessary. ChristianK parents: 291 diff changeset	1438 }
94435b0ab2dd [svn r315] Build full const initializer for static arrays in DtoConstInitializer if necessary. ChristianK parents: 291 diff changeset	1439 else
94435b0ab2dd [svn r315] Build full const initializer for static arrays in DtoConstInitializer if necessary. ChristianK parents: 291 diff changeset	1440 _init = type->defaultInit()->toConstElem(gIR);
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1441 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1442 else if (ExpInitializer* ex = init->isExpInitializer())
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1443 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1444 Logger::println("const expression initializer");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1445 _init = ex->exp->toConstElem(gIR);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1446 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1447 else if (StructInitializer* si = init->isStructInitializer())
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1448 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1449 Logger::println("const struct initializer");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1450 _init = DtoConstStructInitializer(si);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1451 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1452 else if (ArrayInitializer* ai = init->isArrayInitializer())
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1453 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1454 Logger::println("const array initializer");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1455 _init = DtoConstArrayInitializer(ai);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1456 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1457 else if (init->isVoidInitializer())
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1458 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1459 Logger::println("const void initializer");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1460 const LLType* ty = DtoType(type);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1461 _init = llvm::Constant::getNullValue(ty);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1462 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1463 else {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1464 Logger::println("unsupported const initializer: %s", init->toChars());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1465 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1466 return _init;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1467 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1468
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1469 //////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1470
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1471 LLConstant* DtoConstFieldInitializer(Type* t, Initializer* init)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1472 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1473 Logger::println("DtoConstFieldInitializer");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1474 LOG_SCOPE;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1475
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1476 const LLType* _type = DtoType(t);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1477
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1478 LLConstant* _init = DtoConstInitializer(t, init);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1479 assert(_init);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1480 if (_type != _init->getType())
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1481 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1482 Logger::cout() << "field init is: " << _init << " type should be " << _type << '\n';
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1483 if (t->ty == Tsarray)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1484 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1485 const LLArrayType* arrty = isaArray(_type);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1486 uint64_t n = arrty->getNumElements();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1487 std::vector<LLConstant*> vals(n,_init);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1488 _init = llvm::ConstantArray::get(arrty, vals);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1489 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1490 else if (t->ty == Tarray)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1491 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1492 assert(isaStruct(_type));
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1493 _init = llvm::ConstantAggregateZero::get(_type);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1494 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1495 else if (t->ty == Tstruct)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1496 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1497 const LLStructType* structty = isaStruct(_type);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1498 TypeStruct* ts = (TypeStruct*)t;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1499 assert(ts);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1500 assert(ts->sym);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1501 assert(ts->sym->ir.irStruct->constInit);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1502 _init = ts->sym->ir.irStruct->constInit;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1503 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1504 else if (t->ty == Tclass)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1505 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1506 _init = llvm::Constant::getNullValue(_type);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1507 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1508 else {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1509 Logger::println("failed for type %s", t->toChars());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1510 assert(0);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1511 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1512 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1513
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1514 return _init;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1515 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1516
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1517 //////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1518
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1519 DValue* DtoInitializer(Initializer* init)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1520 {
328 7086a84ab3d6 [svn r349] Fixed problems with static arrays of void as well as a static arrays with zero length. lindquist parents: 315 diff changeset	1521 if (!init)
7086a84ab3d6 [svn r349] Fixed problems with static arrays of void as well as a static arrays with zero length. lindquist parents: 315 diff changeset	1522 return 0;
7086a84ab3d6 [svn r349] Fixed problems with static arrays of void as well as a static arrays with zero length. lindquist parents: 315 diff changeset	1523 else if (ExpInitializer* ex = init->isExpInitializer())
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1524 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1525 Logger::println("expression initializer");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1526 assert(ex->exp);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1527 return ex->exp->toElem(gIR);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1528 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1529 else if (init->isVoidInitializer())
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1530 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1531 // do nothing
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1532 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1533 else {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1534 Logger::println("unsupported initializer: %s", init->toChars());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1535 assert(0);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1536 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1537 return 0;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1538 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1539
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1540
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1541 //////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1542
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1543 void DtoAnnotation(const char* str)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1544 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1545 std::string s("CODE: ");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1546 s.append(str);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1547 char* p = &s[0];
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1548 while (*p)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1549 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1550 if (*p == '"')
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1551 *p = '\'';
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1552 ++p;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1553 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1554 // create a noop with the code as the result name!
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1555 gIR->ir->CreateAnd(DtoConstSize_t(0),DtoConstSize_t(0),s.c_str());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1556 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1557
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1558 //////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1559
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1560 LLConstant* DtoTypeInfoOf(Type* type, bool base)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1561 {
290 ebaf65fc4726 [svn r311] Fixed: structs no longer output two static typeinfos. lindquist parents: 289 diff changeset	1562 type = type->merge(); // needed.. getTypeInfo does the same
ebaf65fc4726 [svn r311] Fixed: structs no longer output two static typeinfos. lindquist parents: 289 diff changeset	1563 type->getTypeInfo(NULL);
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1564 TypeInfoDeclaration* tidecl = type->vtinfo;
290 ebaf65fc4726 [svn r311] Fixed: structs no longer output two static typeinfos. lindquist parents: 289 diff changeset	1565 assert(tidecl);
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1566 DtoForceDeclareDsymbol(tidecl);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1567 assert(tidecl->ir.irGlobal != NULL);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1568 LLConstant* c = isaConstant(tidecl->ir.irGlobal->value);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1569 assert(c != NULL);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1570 if (base)
290 ebaf65fc4726 [svn r311] Fixed: structs no longer output two static typeinfos. lindquist parents: 289 diff changeset	1571 return llvm::ConstantExpr::getBitCast(c, DtoType(Type::typeinfo->type));
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1572 return c;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1573 }
284 70c370e97944 [svn r305] Started support for custom class allocators/deallocators. Allocators with more than one argument still need to be fixed. lindquist parents: 250 diff changeset	1574
289 17d3b3236334 [svn r310] Fixed a problem with incomplete types and templates in typeinfo code. lindquist parents: 284 diff changeset	1575 //////////////////////////////////////////////////////////////////////////////////////////
17d3b3236334 [svn r310] Fixed a problem with incomplete types and templates in typeinfo code. lindquist parents: 284 diff changeset	1576
284 70c370e97944 [svn r305] Started support for custom class allocators/deallocators. Allocators with more than one argument still need to be fixed. lindquist parents: 250 diff changeset	1577 void findDefaultTarget()
70c370e97944 [svn r305] Started support for custom class allocators/deallocators. Allocators with more than one argument still need to be fixed. lindquist parents: 250 diff changeset	1578 {
70c370e97944 [svn r305] Started support for custom class allocators/deallocators. Allocators with more than one argument still need to be fixed. lindquist parents: 250 diff changeset	1579 std::string err_str;
70c370e97944 [svn r305] Started support for custom class allocators/deallocators. Allocators with more than one argument still need to be fixed. lindquist parents: 250 diff changeset	1580 const llvm::TargetMachineRegistry::entry* e = llvm::TargetMachineRegistry::getClosestTargetForJIT(err_str);
70c370e97944 [svn r305] Started support for custom class allocators/deallocators. Allocators with more than one argument still need to be fixed. lindquist parents: 250 diff changeset	1581 if (e == 0)
70c370e97944 [svn r305] Started support for custom class allocators/deallocators. Allocators with more than one argument still need to be fixed. lindquist parents: 250 diff changeset	1582 {
70c370e97944 [svn r305] Started support for custom class allocators/deallocators. Allocators with more than one argument still need to be fixed. lindquist parents: 250 diff changeset	1583 error("Failed to find a default target machine: %s", err_str.c_str());
70c370e97944 [svn r305] Started support for custom class allocators/deallocators. Allocators with more than one argument still need to be fixed. lindquist parents: 250 diff changeset	1584 fatal();
70c370e97944 [svn r305] Started support for custom class allocators/deallocators. Allocators with more than one argument still need to be fixed. lindquist parents: 250 diff changeset	1585 }
70c370e97944 [svn r305] Started support for custom class allocators/deallocators. Allocators with more than one argument still need to be fixed. lindquist parents: 250 diff changeset	1586 else
70c370e97944 [svn r305] Started support for custom class allocators/deallocators. Allocators with more than one argument still need to be fixed. lindquist parents: 250 diff changeset	1587 {
70c370e97944 [svn r305] Started support for custom class allocators/deallocators. Allocators with more than one argument still need to be fixed. lindquist parents: 250 diff changeset	1588 global.params.llvmArch = const_cast<char*>(e->Name);
70c370e97944 [svn r305] Started support for custom class allocators/deallocators. Allocators with more than one argument still need to be fixed. lindquist parents: 250 diff changeset	1589 }
70c370e97944 [svn r305] Started support for custom class allocators/deallocators. Allocators with more than one argument still need to be fixed. lindquist parents: 250 diff changeset	1590 }
365 bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1591
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1592 //////////////////////////////////////////////////////////////////////////////////////////
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1593
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	1594 LLValue* DtoBoolean(Loc& loc, DValue* dval)
365 bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1595 {
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1596 Type* dtype = dval->getType()->toBasetype();
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1597 TY ty = dtype->ty;
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1598
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1599 // integer
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1600 if (dtype->isintegral())
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1601 {
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1602 LLValue* val = dval->getRVal();
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1603 if (val->getType() == LLType::Int1Ty)
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1604 return val;
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1605 else {
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1606 LLValue* zero = LLConstantInt::get(val->getType(), 0, false);
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1607 return gIR->ir->CreateICmpNE(val, zero, "tmp");
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1608 }
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1609 }
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1610 // complex
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1611 else if (dtype->iscomplex())
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1612 {
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	1613 return DtoComplexEquals(loc, TOKnotequal, dval, DtoNullValue(dtype));
365 bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1614 }
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1615 // floating point
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1616 else if (dtype->isfloating())
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1617 {
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1618 LLValue* val = dval->getRVal();
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1619 LLValue* zero = LLConstant::getNullValue(val->getType());
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1620 return gIR->ir->CreateFCmpONE(val, zero, "tmp");
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1621 }
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1622 // pointer/class
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1623 else if (ty == Tpointer \|\| ty == Tclass) {
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1624 LLValue* val = dval->getRVal();
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1625 LLValue* zero = LLConstant::getNullValue(val->getType());
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1626 return gIR->ir->CreateICmpNE(val, zero, "tmp");
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1627 }
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1628 // dynamic array
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1629 else if (ty == Tarray)
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1630 {
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1631 // return (arr.length != 0)
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1632 return gIR->ir->CreateICmpNE(DtoArrayLen(dval), DtoConstSize_t(0), "tmp");
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1633 }
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1634 // delegate
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1635 else if (ty == Tdelegate)
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1636 {
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1637 // return (dg !is null)
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1638 return DtoDelegateEquals(TOKnotequal, dval->getRVal(), NULL);
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1639 }
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1640 // unknown
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1641 std::cout << "unsupported -> bool : " << dtype->toChars() << '\n';
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1642 assert(0);
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1643 return 0;
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1644 }

Mercurial > projects > ldc

annotate gen/llvmhelpers.cpp @ 440:d8dc221d3db7