projects/ldc: gen/llvmhelpers.cpp annotate

annotate gen/llvmhelpers.cpp @ 482:aa8c050dfd19

Move zero init of padding to DtoInitializer in order to respect void initializers.

author	Christian Kamm <kamm incasoftware de>
date	Thu, 07 Aug 2008 18:15:27 +0200
parents	18480579dc04
children	d86af825e8d9

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
482 aa8c050dfd19 Move zero init of padding to DtoInitializer in order to respect void initializers. Christian Kamm <kamm incasoftware de> parents: 481 diff changeset	23 #include <stack>
aa8c050dfd19 Move zero init of padding to DtoInitializer in order to respect void initializers. Christian Kamm <kamm incasoftware de> parents: 481 diff changeset	24
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	25 /****************************************************************************************/
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 // 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	28 ////////////////////////////////////////////////////////////////////////////////////////*/
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 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	31 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	32 // 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	33 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	34 // 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	35 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	36 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	37 // call runtime allocator
315 a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 309 diff changeset	38 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	39 // cast
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	40 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	41 }
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 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	44 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	45 // 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	46 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	47 // build args
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	48 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	49 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	50 // call
315 a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 309 diff changeset	51 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	52 }
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 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	55 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	56 // 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	57 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	58 // build args
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	59 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	60 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	61 // call
315 a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 309 diff changeset	62 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	63 }
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 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	66 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	67 // 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	68 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	69 // build args
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	70 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	71 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	72 // call
315 a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 309 diff changeset	73 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	74 }
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 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	77 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	78 // 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	79 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	80 // build args
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	81 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	82 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	83 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	84 // call
315 a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 309 diff changeset	85 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	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 /****************************************************************************************/
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	89 /*////////////////////////////////////////////////////////////////////////////////////////
479 672eb4893b55 Move AllocaInst creation into DtoAlloca helper. Will enable special zero-init of fp80 reals' padding. Christian Kamm <kamm incasoftware de> parents: 468 diff changeset	90 // ALLOCA HELPERS
672eb4893b55 Move AllocaInst creation into DtoAlloca helper. Will enable special zero-init of fp80 reals' padding. Christian Kamm <kamm incasoftware de> parents: 468 diff changeset	91 ////////////////////////////////////////////////////////////////////////////////////////*/
672eb4893b55 Move AllocaInst creation into DtoAlloca helper. Will enable special zero-init of fp80 reals' padding. Christian Kamm <kamm incasoftware de> parents: 468 diff changeset	92
672eb4893b55 Move AllocaInst creation into DtoAlloca helper. Will enable special zero-init of fp80 reals' padding. Christian Kamm <kamm incasoftware de> parents: 468 diff changeset	93
672eb4893b55 Move AllocaInst creation into DtoAlloca helper. Will enable special zero-init of fp80 reals' padding. Christian Kamm <kamm incasoftware de> parents: 468 diff changeset	94 llvm::AllocaInst* DtoAlloca(const LLType* lltype, const std::string& name)
672eb4893b55 Move AllocaInst creation into DtoAlloca helper. Will enable special zero-init of fp80 reals' padding. Christian Kamm <kamm incasoftware de> parents: 468 diff changeset	95 {
672eb4893b55 Move AllocaInst creation into DtoAlloca helper. Will enable special zero-init of fp80 reals' padding. Christian Kamm <kamm incasoftware de> parents: 468 diff changeset	96 return new llvm::AllocaInst(lltype, name, gIR->topallocapoint());
672eb4893b55 Move AllocaInst creation into DtoAlloca helper. Will enable special zero-init of fp80 reals' padding. Christian Kamm <kamm incasoftware de> parents: 468 diff changeset	97 }
672eb4893b55 Move AllocaInst creation into DtoAlloca helper. Will enable special zero-init of fp80 reals' padding. Christian Kamm <kamm incasoftware de> parents: 468 diff changeset	98
672eb4893b55 Move AllocaInst creation into DtoAlloca helper. Will enable special zero-init of fp80 reals' padding. Christian Kamm <kamm incasoftware de> parents: 468 diff changeset	99 llvm::AllocaInst* DtoAlloca(const LLType* lltype, LLValue* arraysize, const std::string& name)
672eb4893b55 Move AllocaInst creation into DtoAlloca helper. Will enable special zero-init of fp80 reals' padding. Christian Kamm <kamm incasoftware de> parents: 468 diff changeset	100 {
672eb4893b55 Move AllocaInst creation into DtoAlloca helper. Will enable special zero-init of fp80 reals' padding. Christian Kamm <kamm incasoftware de> parents: 468 diff changeset	101 return new llvm::AllocaInst(lltype, arraysize, name, gIR->topallocapoint());
672eb4893b55 Move AllocaInst creation into DtoAlloca helper. Will enable special zero-init of fp80 reals' padding. Christian Kamm <kamm incasoftware de> parents: 468 diff changeset	102 }
672eb4893b55 Move AllocaInst creation into DtoAlloca helper. Will enable special zero-init of fp80 reals' padding. Christian Kamm <kamm incasoftware de> parents: 468 diff changeset	103
672eb4893b55 Move AllocaInst creation into DtoAlloca helper. Will enable special zero-init of fp80 reals' padding. Christian Kamm <kamm incasoftware de> parents: 468 diff changeset	104
672eb4893b55 Move AllocaInst creation into DtoAlloca helper. Will enable special zero-init of fp80 reals' padding. Christian Kamm <kamm incasoftware de> parents: 468 diff changeset	105 /****************************************************************************************/
672eb4893b55 Move AllocaInst creation into DtoAlloca helper. Will enable special zero-init of fp80 reals' padding. Christian Kamm <kamm incasoftware de> parents: 468 diff changeset	106 /*////////////////////////////////////////////////////////////////////////////////////////
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	107 // ASSERT HELPER
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	108 ////////////////////////////////////////////////////////////////////////////////////////*/
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 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	111 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	112 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	113 LLConstant* c;
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 // func
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	116 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	117 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	118
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	119 // param attrs
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	120 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	121 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	122
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	123 // 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	124 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	125
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	126 // msg param
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	127 if (msg)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	128 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	129 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	130 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	131 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	132 if (!alloc)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	133 {
479 672eb4893b55 Move AllocaInst creation into DtoAlloca helper. Will enable special zero-init of fp80 reals' padding. Christian Kamm <kamm incasoftware de> parents: 468 diff changeset	134 alloc = DtoAlloca(c->getType(), ".assertmsg");
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	135 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	136 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	137 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	138 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	139 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	140 else
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	141 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	142 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	143 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	144 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	145 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	146
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	147 // file param
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	148 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	149 if (!alloc)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	150 {
479 672eb4893b55 Move AllocaInst creation into DtoAlloca helper. Will enable special zero-init of fp80 reals' padding. Christian Kamm <kamm incasoftware de> parents: 468 diff changeset	151 alloc = DtoAlloca(c->getType(), ".srcfile");
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	152 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	153 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	154 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	155 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	156 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	157 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	158
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	159 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	160 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	161
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	162
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	163 // line param
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	164 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	165 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	166
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	167 // call
315 a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 309 diff changeset	168 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	169 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	170
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	171 // 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	172 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	173 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	174
439 47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	175
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	176 /****************************************************************************************/
47b64d06eb9f Enable array bounds check and emit them in IndexExp. Christian Kamm <kamm incasoftware de> parents: 435 diff changeset	177 /*////////////////////////////////////////////////////////////////////////////////////////
305 2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 304 diff changeset	178 // LABEL HELPER
2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 304 diff changeset	179 ////////////////////////////////////////////////////////////////////////////////////////*/
2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 304 diff changeset	180 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	181 {
2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 304 diff changeset	182 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	183 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	184 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	185 {
357 82af71383b8a [svn r378] Make some errors fatal to prevent segfaults. Error instead of assert on missing label. ChristianK parents: 356 diff changeset	186 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	187 {
2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 304 diff changeset	188 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	189 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	190 }
2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 304 diff changeset	191 return NULL;
2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 304 diff changeset	192 }
2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 304 diff changeset	193 return iter->second;
2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 304 diff changeset	194 }
2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 304 diff changeset	195
2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 304 diff changeset	196 /****************************************************************************************/
2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 304 diff changeset	197 /*////////////////////////////////////////////////////////////////////////////////////////
302 bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	198 // GOTO HELPER
bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	199 ////////////////////////////////////////////////////////////////////////////////////////*/
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	200 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	201 {
bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	202 assert(!gIR->scopereturned());
bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	203
305 2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 304 diff changeset	204 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	205 if(!lblstmt) {
82af71383b8a [svn r378] Make some errors fatal to prevent segfaults. Error instead of assert on missing label. ChristianK parents: 356 diff changeset	206 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	207 fatal();
82af71383b8a [svn r378] Make some errors fatal to prevent segfaults. Error instead of assert on missing label. ChristianK parents: 356 diff changeset	208 }
305 2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 304 diff changeset	209
304 3ebc136702dd [svn r325] Removed dead code. ChristianK parents: 302 diff changeset	210 // 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	211 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	212 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	213 fatal();
82af71383b8a [svn r378] Make some errors fatal to prevent segfaults. Error instead of assert on missing label. ChristianK parents: 356 diff changeset	214 }
304 3ebc136702dd [svn r325] Removed dead code. ChristianK parents: 302 diff changeset	215
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	216 // 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	217 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	218 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	219 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	220 targetBB = llvm::BasicBlock::Create("label", gIR->topfunc());
302 bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	221
bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	222 // find finallys between goto and label
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	223 EnclosingHandler* endfinally = enclosinghandler;
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	224 while(endfinally != NULL && endfinally != lblstmt->enclosinghandler) {
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	225 endfinally = endfinally->getEnclosing();
302 bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	226 }
bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	227
bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	228 // error if didn't find tf statement of label
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	229 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	230 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	231
d8357f7004ca [svn r376] Fix bug with finally blocks and labels. The labels would get emitted multiple times and conflict. ChristianK parents: 353 diff changeset	232 // 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	233 // 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	234 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	235 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	236 fatal();
82af71383b8a [svn r378] Make some errors fatal to prevent segfaults. Error instead of assert on missing label. ChristianK parents: 356 diff changeset	237 }
302 bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	238
bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	239 // emit code for finallys between goto and label
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	240 DtoEnclosingHandlers(enclosinghandler, endfinally);
302 bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	241
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	242 llvm::BranchInst::Create(targetBB, gIR->scopebb());
302 bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	243 }
bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	244
bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	245 /****************************************************************************************/
bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	246 /*////////////////////////////////////////////////////////////////////////////////////////
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	247 // TRY-FINALLY, VOLATILE AND SYNCHRONIZED HELPER
302 bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	248 ////////////////////////////////////////////////////////////////////////////////////////*/
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	249
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	250 void EnclosingSynchro::emitCode(IRState * p)
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	251 {
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	252 if (s->exp)
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	253 DtoLeaveMonitor(s->llsync);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	254 else
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	255 DtoLeaveCritical(s->llsync);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	256 }
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	257
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	258 EnclosingHandler* EnclosingSynchro::getEnclosing()
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	259 {
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	260 return s->enclosinghandler;
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	261 }
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	262
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	263 ////////////////////////////////////////////////////////////////////////////////////////
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	264
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	265 void EnclosingVolatile::emitCode(IRState * p)
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	266 {
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	267 // store-load barrier
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	268 DtoMemoryBarrier(false, false, true, false);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	269 }
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	270
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	271 EnclosingHandler* EnclosingVolatile::getEnclosing()
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	272 {
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	273 return v->enclosinghandler;
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	274 }
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	275
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	276 ////////////////////////////////////////////////////////////////////////////////////////
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	277
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	278 void EnclosingTryFinally::emitCode(IRState * p)
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	279 {
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	280 assert(tf->finalbody);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	281 tf->finalbody->toIR(p);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	282 }
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	283
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	284 EnclosingHandler* EnclosingTryFinally::getEnclosing()
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	285 {
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	286 return tf->enclosinghandler;
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	287 }
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	288
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	289 ////////////////////////////////////////////////////////////////////////////////////////
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	290
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	291 void DtoEnclosingHandlers(EnclosingHandler* start, EnclosingHandler* end)
302 bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	292 {
bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	293 // verify that end encloses start
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	294 EnclosingHandler* endfinally = start;
302 bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	295 while(endfinally != NULL && endfinally != end) {
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	296 endfinally = endfinally->getEnclosing();
302 bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	297 }
bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	298 assert(endfinally == end);
bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	299
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	300
d8357f7004ca [svn r376] Fix bug with finally blocks and labels. The labels would get emitted multiple times and conflict. ChristianK parents: 353 diff changeset	301 //
302 bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	302 // 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	303 //
d8357f7004ca [svn r376] Fix bug with finally blocks and labels. The labels would get emitted multiple times and conflict. ChristianK parents: 353 diff changeset	304
d8357f7004ca [svn r376] Fix bug with finally blocks and labels. The labels would get emitted multiple times and conflict. ChristianK parents: 353 diff changeset	305 // 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	306 // 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	307 gIR->func()->pushUniqueLabelScope("enclosing");
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	308 EnclosingHandler* tf = start;
302 bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	309 while(tf != end) {
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	310 tf->emitCode(gIR);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	311 tf = tf->getEnclosing();
302 bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	312 }
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	313 gIR->func()->popLabelScope();
302 bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	314 }
bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	315
bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	316 /****************************************************************************************/
bef811104734 [svn r323] Branching out of inline asm works. ChristianK parents: 295 diff changeset	317 /*////////////////////////////////////////////////////////////////////////////////////////
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	318 // SYNCHRONIZED SECTION HELPERS
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	319 ////////////////////////////////////////////////////////////////////////////////////////*/
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	320
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	321 void DtoEnterCritical(LLValue* g)
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	322 {
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	323 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	324 gIR->CreateCallOrInvoke(fn, g);
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	325 }
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	326
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	327 void DtoLeaveCritical(LLValue* g)
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	328 {
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	329 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	330 gIR->CreateCallOrInvoke(fn, g);
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	331 }
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	332
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	333 void DtoEnterMonitor(LLValue* v)
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	334 {
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	335 LLFunction* fn = LLVM_D_GetRuntimeFunction(gIR->module, "_d_monitorenter");
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	336 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	337 gIR->CreateCallOrInvoke(fn, v);
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	338 }
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	339
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	340 void DtoLeaveMonitor(LLValue* v)
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	341 {
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	342 LLFunction* fn = LLVM_D_GetRuntimeFunction(gIR->module, "_d_monitorexit");
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	343 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	344 gIR->CreateCallOrInvoke(fn, v);
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	345 }
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	346
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	347 /****************************************************************************************/
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 305 diff changeset	348 /*////////////////////////////////////////////////////////////////////////////////////////
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	349 // 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	350 ////////////////////////////////////////////////////////////////////////////////////////*/
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	351
468 45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	352 /*
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	353
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	354 got:
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	355
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	356 context pointer of 'this' function
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	357
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	358 declaration for target context's function
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	359
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	360 want:
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	361
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	362 context pointer of target function in call chain
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	363
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	364 */
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	365
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	366 static LLValue* dive_into_nested(Dsymbol* from, LLValue* val)
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	367 {
468 45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	368 from = from->toParent2();
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	369
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	370 // parent is a function
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	371 if (FuncDeclaration* f = from->isFuncDeclaration())
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	372 {
468 45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	373 IrFunction* irfunc = f->ir.irFunc;
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	374 // parent has nested var struct
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	375 if (irfunc->nestedVar)
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	376 {
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	377 return DtoBitCast(val, irfunc->nestedVar->getType());
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	378 }
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	379 // parent has this argument
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	380 else if (irfunc->thisVar)
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	381 {
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	382 return DtoBitCast(val, irfunc->thisVar->getType()->getContainedType(0));
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	383 }
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	384 // none of the above, means no context is required, dummy.
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	385 else
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	386 {
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	387 return getNullPtr(getVoidPtrType());
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	388 }
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	389 }
468 45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	390 // parent is a class
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	391 else if (ClassDeclaration* c = from->isClassDeclaration())
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	392 {
468 45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	393 return DtoBitCast(DtoLoad(val), DtoType(c->type));
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	394 }
468 45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	395 // parent is not valid
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	396 else
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	397 {
468 45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	398 assert(0 && "!(class\|function)");
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	399 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	400 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	401
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	402 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	403 {
468 45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	404 Logger::println("listing context frame list for funcdecl '%s'", func->toPrettyChars());
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	405 LOG_SCOPE;
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	406
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	407 int level = 0;
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	408
468 45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	409 IrFunction* irfunc = gIR->func();
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	410 Dsymbol* current = irfunc->decl;
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	411
468 45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	412 // this context ?
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	413 if (current == func)
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	414 {
468 45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	415 return irfunc->nestedVar;
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	416 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	417
468 45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	418 // otherwise use the context argument
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	419 LLValue* val = dive_into_nested(current, irfunc->thisVar);
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	420 current = current->toParent2();
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	421 assert(val);
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	422
468 45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	423 for (;;)
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	424 {
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	425 Logger::cout() << "context: " << *val << '\n';
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	426 Logger::println("(%d) looking in: %s (%s)", level, current->toPrettyChars(), current->kind());
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	427 if (FuncDeclaration* f = current->isFuncDeclaration())
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	428 {
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	429 if (f == func)
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	430 {
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	431 Logger::println("-> found <-");
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	432 Logger::cout() << "-> val: " << *val << '\n';
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	433 return val;
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	434 }
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	435 else
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	436 {
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	437 val = DtoLoad(DtoGEPi(val,0,0));
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	438 }
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	439 }
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	440 else if (ClassDeclaration* c = current->isClassDeclaration())
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	441 {
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	442 val = DtoLoad(DtoGEPi(val, 0, 2+c->vthis->ir.irField->index));
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	443 val = dive_into_nested(current, val);
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	444 }
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	445 else
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	446 {
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	447 Logger::cout() << "val: " << *val << '\n';
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	448 assert(0 && "!(class\|function)");
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	449 }
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	450 current = current->toParent2();
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	451 ++level;
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	452 }
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	453
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	454 assert(0);
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	455 return val;
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	456 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	457
468 45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	458 DValue* DtoNestedVariable(Type* astype, VarDeclaration* vd)
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	459 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	460 IrFunction* irfunc = gIR->func();
468 45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	461
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	462 // var parent (the scope we're looking for)
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	463 Dsymbol* varParent = vd->toParent2();
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	464
468 45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	465 // on level 0
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	466 if (varParent == irfunc->decl)
453 60332cd85308 Fixed regressions Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 452 diff changeset	467 {
468 45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	468 LLValue* nest = irfunc->nestedVar;
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	469 LLValue* v = DtoGEPi(nest, 0, vd->ir.irLocal->nestedIndex, "tmp");
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	470 // references must be loaded to get the variable address
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	471 if (vd->isParameter() && (vd->isRef() \|\| vd->isOut() \|\| DtoIsPassedByRef(vd->type)))
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	472 v = DtoLoad(v);
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	473 return new DVarValue(astype, vd, v, true);
453 60332cd85308 Fixed regressions Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 452 diff changeset	474 }
60332cd85308 Fixed regressions Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 452 diff changeset	475
468 45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	476 // on level n != 0
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	477 FuncDeclaration* varFunc = varParent->isFuncDeclaration();
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	478 assert(varFunc);
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	479
468 45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	480 // get context of variable
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	481 LLValue* ctx = DtoNestedContext(varFunc);
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	482
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	483 // if no local var, it's the context itself (class this)
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	484 if (!vd->ir.irLocal)
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	485 return new DImValue(astype, ctx);
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	486
468 45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	487 // extract variable
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	488 IrLocal* local = vd->ir.irLocal;
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	489 assert(local);
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	490 assert(local->nestedIndex >= 0);
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	491 LLValue* val = DtoGEPi(ctx, 0, local->nestedIndex);
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	492
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	493 // references must be loaded to get the variable address
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	494 if (vd->isParameter() && (vd->isRef() \|\| vd->isOut() \|\| DtoIsPassedByRef(vd->type)))
468 45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	495 val = DtoLoad(val);
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	496
468 45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	497 Logger::cout() << "value: " << *val << '\n';
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	498
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	499 return new DVarValue(astype, vd, val, true);
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	500 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	501
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 /*////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	504 // 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	505 ////////////////////////////////////////////////////////////////////////////////////////*/
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	506
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	507 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	508 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	509 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	510 LOG_SCOPE;
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 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	513 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	514
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	515 if (t->ty == Tstruct) {
295 895e1b50cf2a [svn r316] Fixed array slice assignments like: int[] arr = ...; arr[] = 42; lindquist parents: 294 diff changeset	516 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	517 // 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	518 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	519 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	520 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	521 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	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 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	525 // 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	526 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	527 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	528 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	529 }
358 051f5b550d9c [svn r379] Fix slice assigns of the form T[] = T when T is a typedef. ChristianK parents: 357 diff changeset	530 else if (t->next->toBasetype()->equals(t2)) {
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	531 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	532 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	533 else {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	534 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	535 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	536 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	537 // 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	538 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	539 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	540 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	541 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	542 // null
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	543 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	544 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	545 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	546 // reference assignment
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 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	549 }
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 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	552 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	553 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	554 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	555 else {
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	556 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	557 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	558 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	559 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	560 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	561 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	562 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	563 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	564 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	565 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	566 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	567 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	568 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	569 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	570 assert(t2->ty == Tclass);
468 45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	571 LLValue* l = lhs->getLVal();
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	572 LLValue* r = rhs->getRVal();
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	573 Logger::cout() << "l : " << *l << '\n';
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	574 Logger::cout() << "r : " << *r << '\n';
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	575 r = DtoBitCast(r, l->getType()->getContainedType(0));
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	576 DtoStore(r, l);
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	577 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	578 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	579 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	580
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	581 LLValue* dst;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	582 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	583 dst = lr->getLVal();
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	584 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	585 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	586 else {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	587 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	588 }
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 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	591 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	592 else
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	593 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	594 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	595 else {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	596 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	597 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	598 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	599 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	600 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	601 // 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	602 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	603 Logger::println("lvalue cast!");
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	604 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	605 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	606 else {
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	607 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	608 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	609 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	610 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	611 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	612 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	613 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	614 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	615
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	616 /****************************************************************************************/
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	617 /*////////////////////////////////////////////////////////////////////////////////////////
372 83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	618 // NULL VALUE HELPER
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	619 ////////////////////////////////////////////////////////////////////////////////////////*/
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	620
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	621 DValue* DtoNullValue(Type* type)
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	622 {
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	623 Type* basetype = type->toBasetype();
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	624 TY basety = basetype->ty;
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	625 const LLType* lltype = DtoType(basetype);
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	626
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	627 // complex, needs to be first since complex are also floating
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	628 if (basetype->iscomplex())
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	629 {
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	630 const LLType* basefp = DtoComplexBaseType(basetype);
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	631 return new DComplexValue(type, LLConstant::getNullValue(basefp), LLConstant::getNullValue(basefp));
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	632 }
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	633 // integer, floating, pointer and class have no special representation
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	634 else if (basetype->isintegral() \|\| basetype->isfloating() \|\| basety == Tpointer \|\| basety == Tclass)
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	635 {
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	636 return new DConstValue(type, LLConstant::getNullValue(lltype));
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	637 }
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	638 // dynamic array
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	639 else if (basety == Tarray)
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	640 {
373 d1574e142e93 [svn r394] Fixed the new DtoNullValue function lindquist parents: 372 diff changeset	641 LLValue* len = DtoConstSize_t(0);
d1574e142e93 [svn r394] Fixed the new DtoNullValue function lindquist parents: 372 diff changeset	642 LLValue* ptr = getNullPtr(getPtrToType(DtoType(basetype->next)));
d1574e142e93 [svn r394] Fixed the new DtoNullValue function lindquist parents: 372 diff changeset	643 return new DSliceValue(type, len, ptr);
372 83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	644 }
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	645 // delegate
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	646 else if (basety == Tdelegate)
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	647 {
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	648 return new DNullValue(type, LLConstant::getNullValue(lltype));
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	649 }
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	650
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	651 // unknown
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	652 std::cout << "unsupported: null value for " << type->toChars() << '\n';
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	653 assert(0);
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	654 return 0;
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	655
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	656 }
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	657
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	658
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	659 /****************************************************************************************/
83ade4f4025a [svn r393] Started implementation for DtoNullValue. ChristianK parents: 370 diff changeset	660 /*////////////////////////////////////////////////////////////////////////////////////////
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	661 // CASTING HELPERS
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	662 ////////////////////////////////////////////////////////////////////////////////////////*/
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	663
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	664 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	665 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	666 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	667
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	668 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	669 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	670 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	671
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	672 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	673 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	674
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	675 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	676 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	677 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	678 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	679
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	680 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	681 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	682 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	683 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	684 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	685 } else {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	686 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	687 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	688 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	689 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	690 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	691 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	692 else {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	693 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	694 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	695 }
359 926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 358 diff changeset	696 else if (to->iscomplex()) {
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	697 return DtoComplex(loc, to, val);
359 926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 358 diff changeset	698 }
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	699 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	700 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	701 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	702 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	703 else {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	704 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	705 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	706 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	707 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	708 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	709 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	710 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	711 else {
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	712 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	713 fatal();
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	714 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	715
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	716 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	717 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	718
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	719 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	720 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	721 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	722
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	723 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	724 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	725 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	726
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	727 LLValue* rval;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	728
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	729 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	730 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	731 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	732 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	733 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	734 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	735 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	736 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	737 else {
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	738 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	739 fatal();
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	740 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	741
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	742 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	743 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	744
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	745 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	746 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	747 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	748 return val;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	749
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	750 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	751
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	752 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	753 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	754 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	755
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	756 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	757 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	758
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	759 LLValue* rval;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	760
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	761 if (totype->iscomplex()) {
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	762 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	763 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	764 else if (totype->isfloating()) {
445 cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 442 diff changeset	765 if (fromsz == tosz) {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	766 rval = val->getRVal();
445 cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 442 diff changeset	767 assert(rval->getType() == tolltype);
359 926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 358 diff changeset	768 }
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	769 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	770 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	771 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	772 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	773 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	774 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	775 else {
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	776 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	777 fatal();
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	778 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	779 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	780 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	781 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	782 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	783 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	784 else {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	785 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	786 }
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 {
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	789 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	790 fatal();
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	791 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	792
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	793 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	794 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	795
419 023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	796 DValue* DtoCastDelegate(Loc& loc, DValue* val, Type* to)
023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	797 {
023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	798 LLValue* res = 0;
023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	799 to = to->toBasetype();
023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	800
023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	801 if (to->ty == Tdelegate)
023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	802 {
023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	803 const LLType* toll = getPtrToType(DtoType(to));
023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	804 res = DtoBitCast(val->getRVal(), toll);
023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	805 }
023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	806 else
023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	807 {
023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	808 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	809 fatal();
023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	810 }
023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	811
023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	812 return new DImValue(to, res);
023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	813 }
023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	814
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	815 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	816 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	817 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	818 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	819 if (fromtype->isintegral()) {
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	820 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	821 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	822 else if (fromtype->iscomplex()) {
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	823 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	824 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	825 else if (fromtype->isfloating()) {
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	826 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	827 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	828 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	829 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	830 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	831 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	832 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	833 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	834 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	835 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	836 }
419 023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	837 else if (fromtype->ty == Tdelegate) {
023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	838 return DtoCastDelegate(loc, val, to);
023fa78c1203 Fixed delegate casts. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 399 diff changeset	839 }
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	840 else {
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	841 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	842 fatal();
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	843 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	844 }
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 /****************************************************************************************/
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 // TEMPLATE HELPERS
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	849 ////////////////////////////////////////////////////////////////////////////////////////*/
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	850
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	851 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	852 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	853 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	854 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	855 return true;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	856 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	857 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	858 return false;
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
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	861 /****************************************************************************************/
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	862 /*////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	863 // 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	864 ////////////////////////////////////////////////////////////////////////////////////////*/
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	865
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	866 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	867 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	868 // 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	869 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	870 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	871 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	872 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	873
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	874 // 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	875 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	876 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	877 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	878 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	879 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	880 gIR->scope() = IRScope(initbb,endinitbb);
482 aa8c050dfd19 Move zero init of padding to DtoInitializer in order to respect void initializers. Christian Kamm <kamm incasoftware de> parents: 481 diff changeset	881 DValue* ie = DtoInitializer(gvar, init);
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	882 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	883 DValue* dst = new DVarValue(t, gvar, true);
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	884 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	885 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	886 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	887 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	888 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	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 /****************************************************************************************/
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 // 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	894 ////////////////////////////////////////////////////////////////////////////////////////*/
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	895
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	896 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	897 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	898 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	899 DtoResolveStruct(sd);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	900 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	901 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	902 DtoResolveClass(cd);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	903 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	904 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	905 DtoResolveFunction(fd);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	906 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	907 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	908 DtoResolveTypeInfo(fd);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	909 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	910 else {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	911 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	912 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	913 }
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
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	916 //////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	917
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	918 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	919 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	920 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	921 DtoDeclareStruct(sd);
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 (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	924 DtoDeclareClass(cd);
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 (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	927 DtoDeclareFunction(fd);
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 (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	930 DtoDeclareTypeInfo(fd);
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 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	933 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	934 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	935 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	936 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	937
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	938 //////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	939
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	940 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	941 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	942 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	943 DtoConstInitStruct(sd);
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 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	946 DtoConstInitClass(cd);
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 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	949 DtoConstInitTypeInfo(fd);
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 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	952 DtoConstInitGlobal(vd);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	953 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	954 else {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	955 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	956 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	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
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	962 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	963 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	964 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	965 DtoDefineStruct(sd);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	966 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	967 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	968 DtoDefineClass(cd);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	969 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	970 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	971 DtoDefineFunc(fd);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	972 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	973 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	974 DtoDefineTypeInfo(fd);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	975 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	976 else {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	977 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	978 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	979 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	980 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	981
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	982 //////////////////////////////////////////////////////////////////////////////////////////
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 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	985 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	986 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	987 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	988
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	989 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	990 LOG_SCOPE;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	991
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	992 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	993
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	994 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	995 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	996 _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	997 emitRTstaticInit = true;
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 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1000 _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	1001 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1002
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1003 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	1004 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	1005
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1006 //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	1007 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	1008 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	1009 // zero initalizer
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1010 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	1011 _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	1012 // 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	1013 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	1014 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1015 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	1016 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	1017 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	1018 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	1019 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	1020 _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	1021 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1022 // 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	1023 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	1024 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1025 _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	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 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1028 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	1029 //assert(0);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1030 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1031 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1032
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1033 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	1034 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	1035 istempl = true;
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 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	1039 _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	1040 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	1041 _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	1042 //_type->dump();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1043 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	1044
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1045 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	1046 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	1047 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1048 gvar->setInitializer(_init);
250 fc9c1a0eabbd [svn r267] Fixed debug info for global variables. lindquist parents: 244 diff changeset	1049 // do debug info
fc9c1a0eabbd [svn r267] Fixed debug info for global variables. lindquist parents: 244 diff changeset	1050 if (global.params.symdebug)
fc9c1a0eabbd [svn r267] Fixed debug info for global variables. lindquist parents: 244 diff changeset	1051 {
fc9c1a0eabbd [svn r267] Fixed debug info for global variables. lindquist parents: 244 diff changeset	1052 LLGlobalVariable* gv = DtoDwarfGlobalVariable(gvar, vd);
fc9c1a0eabbd [svn r267] Fixed debug info for global variables. lindquist parents: 244 diff changeset	1053 // keep a reference so GDCE doesn't delete it !
fc9c1a0eabbd [svn r267] Fixed debug info for global variables. lindquist parents: 244 diff changeset	1054 gIR->usedArray.push_back(llvm::ConstantExpr::getBitCast(gv, getVoidPtrType()));
fc9c1a0eabbd [svn r267] Fixed debug info for global variables. lindquist parents: 244 diff changeset	1055 }
244 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 if (emitRTstaticInit)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1059 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	1060 }
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 //////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1063
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1064 void DtoEmptyResolveList()
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1065 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1066 //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	1067 Dsymbol* dsym;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1068 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	1069 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	1070 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	1071 DtoResolveDsymbol(dsym);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1072 }
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
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1075 //////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1076
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1077 void DtoEmptyDeclareList()
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 //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	1080 Dsymbol* dsym;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1081 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	1082 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	1083 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	1084 DtoDeclareDsymbol(dsym);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1085 }
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
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1088 //////////////////////////////////////////////////////////////////////////////////////////
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 void DtoEmptyConstInitList()
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 //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	1093 Dsymbol* dsym;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1094 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	1095 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	1096 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	1097 DtoConstInitDsymbol(dsym);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1098 }
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 //////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1102
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1103 void DtoEmptyDefineList()
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1104 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1105 //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	1106 Dsymbol* dsym;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1107 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	1108 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	1109 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	1110 DtoDefineDsymbol(dsym);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1111 }
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
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1114 //////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1115 void DtoEmptyAllLists()
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1116 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1117 for(;;)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1118 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1119 Dsymbol* dsym;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1120 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	1121 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	1122 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	1123 DtoResolveDsymbol(dsym);
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 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	1126 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	1127 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	1128 DtoDeclareDsymbol(dsym);
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 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	1131 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	1132 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	1133 DtoConstInitDsymbol(dsym);
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 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	1136 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	1137 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	1138 DtoDefineDsymbol(dsym);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1139 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1140 else {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1141 break;
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 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1144 }
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 //////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1147
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1148 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	1149 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1150 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	1151 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	1152 LOG_SCOPE;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1153 DtoResolveDsymbol(dsym);
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 DtoEmptyResolveList();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1156
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1157 DtoDeclareDsymbol(dsym);
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 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	1163 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1164 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	1165 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	1166 LOG_SCOPE;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1167 DtoResolveDsymbol(dsym);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1168
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1169 DtoEmptyResolveList();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1170 DtoEmptyDeclareList();
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 DtoConstInitDsymbol(dsym);
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 //////////////////////////////////////////////////////////////////////////////////////////
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 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	1178 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1179 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	1180 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	1181 LOG_SCOPE;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1182 DtoResolveDsymbol(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 DtoEmptyResolveList();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1185 DtoEmptyDeclareList();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1186 DtoEmptyConstInitList();
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 DtoDefineDsymbol(dsym);
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
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1191 /****************************************************************************************/
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1192 /*////////////////////////////////////////////////////////////////////////////////////////
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	1193 // 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	1194 ////////////////////////////////////////////////////////////////////////////////////////*/
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	1195 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	1196 {
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	1197 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	1198 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	1199
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	1200 // 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	1201 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	1202 {
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	1203 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	1204
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	1205 // 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	1206 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	1207 {
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	1208 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	1209 }
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	1210 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	1211 {
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	1212 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	1213 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	1214
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	1215 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	1216
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	1217 // 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	1218 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	1219 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	1220 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	1221 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	1222 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	1223 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	1224 }
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	1225 // 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	1226 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	1227 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	1228
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	1229 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	1230 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	1231 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	1232 else
479 672eb4893b55 Move AllocaInst creation into DtoAlloca helper. Will enable special zero-init of fp80 reals' padding. Christian Kamm <kamm incasoftware de> parents: 468 diff changeset	1233 allocainst = DtoAlloca(lltype, vd->toChars());
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	1234
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	1235 //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	1236 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	1237 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	1238
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	1239 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	1240 {
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	1241 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	1242 }
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	1243 }
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	1244
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	1245 Logger::cout() << "llvm value for decl: " << *vd->ir.irLocal->value << '\n';
482 aa8c050dfd19 Move zero init of padding to DtoInitializer in order to respect void initializers. Christian Kamm <kamm incasoftware de> parents: 481 diff changeset	1246 DValue* ie = DtoInitializer(vd->ir.irLocal->value, vd->init);
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	1247 }
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	1248
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	1249 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	1250 }
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	1251 // 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	1252 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	1253 {
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	1254 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	1255 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	1256 }
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	1257 // 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	1258 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	1259 {
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	1260 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	1261 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	1262 }
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	1263 // 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	1264 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	1265 {
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	1266 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	1267 // 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	1268 }
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	1269 // 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	1270 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	1271 {
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	1272 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	1273 // 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	1274 }
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	1275 // 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	1276 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	1277 {
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	1278 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	1279 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	1280 }
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	1281 // 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	1282 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	1283 {
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	1284 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	1285 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	1286 }
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	1287 // 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	1288 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	1289 {
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	1290 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	1291 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	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 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	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 }
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 // 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	1297 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	1298 {
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 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	1300 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	1301 {
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 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	1303 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	1304 }
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 // 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	1307 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	1308 {
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 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	1310 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	1311 }
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 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	1313 }
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
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 /****************************************************************************************/
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 /*////////////////////////////////////////////////////////////////////////////////////////
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1318 // INITIALIZER HELPERS
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1319 ////////////////////////////////////////////////////////////////////////////////////////*/
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1320
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1321 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	1322 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1323 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	1324 if (!init)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1325 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1326 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	1327
94435b0ab2dd [svn r315] Build full const initializer for static arrays in DtoConstInitializer if necessary. ChristianK parents: 291 diff changeset	1328 if(type->ty == Tsarray)
94435b0ab2dd [svn r315] Build full const initializer for static arrays in DtoConstInitializer if necessary. ChristianK parents: 291 diff changeset	1329 {
94435b0ab2dd [svn r315] Build full const initializer for static arrays in DtoConstInitializer if necessary. ChristianK parents: 291 diff changeset	1330 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	1331 TypeSArray* arrtype = (TypeSArray*)type;
94435b0ab2dd [svn r315] Build full const initializer for static arrays in DtoConstInitializer if necessary. ChristianK parents: 291 diff changeset	1332 Type* elemtype = type->next;
94435b0ab2dd [svn r315] Build full const initializer for static arrays in DtoConstInitializer if necessary. ChristianK parents: 291 diff changeset	1333
94435b0ab2dd [svn r315] Build full const initializer for static arrays in DtoConstInitializer if necessary. ChristianK parents: 291 diff changeset	1334 integer_t arraydim;
94435b0ab2dd [svn r315] Build full const initializer for static arrays in DtoConstInitializer if necessary. ChristianK parents: 291 diff changeset	1335 arraydim = arrtype->dim->toInteger();
94435b0ab2dd [svn r315] Build full const initializer for static arrays in DtoConstInitializer if necessary. ChristianK parents: 291 diff changeset	1336
94435b0ab2dd [svn r315] Build full const initializer for static arrays in DtoConstInitializer if necessary. ChristianK parents: 291 diff changeset	1337 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	1338 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	1339 _init = LLConstantArray::get(arrty, inits);
94435b0ab2dd [svn r315] Build full const initializer for static arrays in DtoConstInitializer if necessary. ChristianK parents: 291 diff changeset	1340 }
94435b0ab2dd [svn r315] Build full const initializer for static arrays in DtoConstInitializer if necessary. ChristianK parents: 291 diff changeset	1341 else
94435b0ab2dd [svn r315] Build full const initializer for static arrays in DtoConstInitializer if necessary. ChristianK parents: 291 diff changeset	1342 _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	1343 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1344 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	1345 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1346 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	1347 _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	1348 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1349 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	1350 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1351 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	1352 _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	1353 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1354 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	1355 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1356 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	1357 _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	1358 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1359 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	1360 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1361 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	1362 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	1363 _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	1364 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1365 else {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1366 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	1367 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1368 return _init;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1369 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1370
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1371 //////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1372
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1373 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	1374 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1375 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	1376 LOG_SCOPE;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1377
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1378 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	1379
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1380 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	1381 assert(_init);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1382 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	1383 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1384 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	1385 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	1386 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1387 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	1388 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	1389 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	1390 _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	1391 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1392 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	1393 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1394 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	1395 _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	1396 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1397 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	1398 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1399 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	1400 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	1401 assert(ts);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1402 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	1403 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	1404 _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	1405 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1406 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	1407 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1408 _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	1409 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1410 else {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1411 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	1412 assert(0);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1413 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1414 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1415
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1416 return _init;
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 //////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1420
482 aa8c050dfd19 Move zero init of padding to DtoInitializer in order to respect void initializers. Christian Kamm <kamm incasoftware de> parents: 481 diff changeset	1421 DValue* DtoInitializer(LLValue* target, Initializer* init)
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1422 {
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	1423 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	1424 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	1425 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	1426 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1427 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	1428 assert(ex->exp);
482 aa8c050dfd19 Move zero init of padding to DtoInitializer in order to respect void initializers. Christian Kamm <kamm incasoftware de> parents: 481 diff changeset	1429 DValue* res = ex->exp->toElem(gIR);
aa8c050dfd19 Move zero init of padding to DtoInitializer in order to respect void initializers. Christian Kamm <kamm incasoftware de> parents: 481 diff changeset	1430
aa8c050dfd19 Move zero init of padding to DtoInitializer in order to respect void initializers. Christian Kamm <kamm incasoftware de> parents: 481 diff changeset	1431 assert(llvm::isa<llvm::PointerType>(target->getType()) && "init target must be ptr");
aa8c050dfd19 Move zero init of padding to DtoInitializer in order to respect void initializers. Christian Kamm <kamm incasoftware de> parents: 481 diff changeset	1432 const LLType* targetty = target->getType()->getContainedType(0);
aa8c050dfd19 Move zero init of padding to DtoInitializer in order to respect void initializers. Christian Kamm <kamm incasoftware de> parents: 481 diff changeset	1433 if(targetty == LLType::X86_FP80Ty)
aa8c050dfd19 Move zero init of padding to DtoInitializer in order to respect void initializers. Christian Kamm <kamm incasoftware de> parents: 481 diff changeset	1434 {
aa8c050dfd19 Move zero init of padding to DtoInitializer in order to respect void initializers. Christian Kamm <kamm incasoftware de> parents: 481 diff changeset	1435 Logger::println("setting fp80 padding to zero");
aa8c050dfd19 Move zero init of padding to DtoInitializer in order to respect void initializers. Christian Kamm <kamm incasoftware de> parents: 481 diff changeset	1436
aa8c050dfd19 Move zero init of padding to DtoInitializer in order to respect void initializers. Christian Kamm <kamm incasoftware de> parents: 481 diff changeset	1437 LLValue* castv = DtoBitCast(target, getPtrToType(LLType::Int16Ty));
aa8c050dfd19 Move zero init of padding to DtoInitializer in order to respect void initializers. Christian Kamm <kamm incasoftware de> parents: 481 diff changeset	1438 LLValue* padding = DtoGEPi1(castv, 5);
aa8c050dfd19 Move zero init of padding to DtoInitializer in order to respect void initializers. Christian Kamm <kamm incasoftware de> parents: 481 diff changeset	1439 DtoStore(llvm::Constant::getNullValue(LLType::Int16Ty), padding);
aa8c050dfd19 Move zero init of padding to DtoInitializer in order to respect void initializers. Christian Kamm <kamm incasoftware de> parents: 481 diff changeset	1440 }
aa8c050dfd19 Move zero init of padding to DtoInitializer in order to respect void initializers. Christian Kamm <kamm incasoftware de> parents: 481 diff changeset	1441 else if(targetty == DtoComplexType(Type::tcomplex80))
aa8c050dfd19 Move zero init of padding to DtoInitializer in order to respect void initializers. Christian Kamm <kamm incasoftware de> parents: 481 diff changeset	1442 {
aa8c050dfd19 Move zero init of padding to DtoInitializer in order to respect void initializers. Christian Kamm <kamm incasoftware de> parents: 481 diff changeset	1443 Logger::println("setting complex fp80 padding to zero");
aa8c050dfd19 Move zero init of padding to DtoInitializer in order to respect void initializers. Christian Kamm <kamm incasoftware de> parents: 481 diff changeset	1444
aa8c050dfd19 Move zero init of padding to DtoInitializer in order to respect void initializers. Christian Kamm <kamm incasoftware de> parents: 481 diff changeset	1445 LLValue* castv = DtoBitCast(target, getPtrToType(LLType::Int16Ty));
aa8c050dfd19 Move zero init of padding to DtoInitializer in order to respect void initializers. Christian Kamm <kamm incasoftware de> parents: 481 diff changeset	1446 LLValue* padding = DtoGEPi1(castv, 5);
aa8c050dfd19 Move zero init of padding to DtoInitializer in order to respect void initializers. Christian Kamm <kamm incasoftware de> parents: 481 diff changeset	1447 DtoStore(llvm::Constant::getNullValue(LLType::Int16Ty), padding);
aa8c050dfd19 Move zero init of padding to DtoInitializer in order to respect void initializers. Christian Kamm <kamm incasoftware de> parents: 481 diff changeset	1448 padding = DtoGEPi1(castv, 11);
aa8c050dfd19 Move zero init of padding to DtoInitializer in order to respect void initializers. Christian Kamm <kamm incasoftware de> parents: 481 diff changeset	1449 DtoStore(llvm::Constant::getNullValue(LLType::Int16Ty), padding);
aa8c050dfd19 Move zero init of padding to DtoInitializer in order to respect void initializers. Christian Kamm <kamm incasoftware de> parents: 481 diff changeset	1450 }
244 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 (init->isVoidInitializer())
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 // do nothing
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1455 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1456 else {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1457 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	1458 assert(0);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1459 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1460 return 0;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1461 }
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
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1464 //////////////////////////////////////////////////////////////////////////////////////////
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 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	1467 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1468 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	1469 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	1470 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	1471 while (*p)
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 if (*p == '"')
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1474 *p = '\'';
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1475 ++p;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1476 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1477 // 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	1478 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	1479 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1480
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
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1483 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	1484 {
290 ebaf65fc4726 [svn r311] Fixed: structs no longer output two static typeinfos. lindquist parents: 289 diff changeset	1485 type = type->merge(); // needed.. getTypeInfo does the same
ebaf65fc4726 [svn r311] Fixed: structs no longer output two static typeinfos. lindquist parents: 289 diff changeset	1486 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	1487 TypeInfoDeclaration* tidecl = type->vtinfo;
290 ebaf65fc4726 [svn r311] Fixed: structs no longer output two static typeinfos. lindquist parents: 289 diff changeset	1488 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	1489 DtoForceDeclareDsymbol(tidecl);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1490 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	1491 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	1492 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	1493 if (base)
290 ebaf65fc4726 [svn r311] Fixed: structs no longer output two static typeinfos. lindquist parents: 289 diff changeset	1494 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	1495 return c;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: diff changeset	1496 }
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	1497
289 17d3b3236334 [svn r310] Fixed a problem with incomplete types and templates in typeinfo code. lindquist parents: 284 diff changeset	1498 //////////////////////////////////////////////////////////////////////////////////////////
17d3b3236334 [svn r310] Fixed a problem with incomplete types and templates in typeinfo code. lindquist parents: 284 diff changeset	1499
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	1500 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	1501 {
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	1502 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	1503 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	1504 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	1505 {
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	1506 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	1507 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	1508 }
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	1509 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	1510 {
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	1511 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	1512 }
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	1513 }
365 bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1514
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1515 //////////////////////////////////////////////////////////////////////////////////////////
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1516
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	1517 LLValue* DtoBoolean(Loc& loc, DValue* dval)
365 bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1518 {
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1519 Type* dtype = dval->getType()->toBasetype();
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1520 TY ty = dtype->ty;
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1521
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1522 // integer
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1523 if (dtype->isintegral())
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1524 {
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1525 LLValue* val = dval->getRVal();
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1526 if (val->getType() == LLType::Int1Ty)
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1527 return val;
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1528 else {
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1529 LLValue* zero = LLConstantInt::get(val->getType(), 0, false);
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1530 return gIR->ir->CreateICmpNE(val, zero, "tmp");
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1531 }
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1532 }
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1533 // complex
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1534 else if (dtype->iscomplex())
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1535 {
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 373 diff changeset	1536 return DtoComplexEquals(loc, TOKnotequal, dval, DtoNullValue(dtype));
365 bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1537 }
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1538 // floating point
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1539 else if (dtype->isfloating())
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1540 {
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1541 LLValue* val = dval->getRVal();
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1542 LLValue* zero = LLConstant::getNullValue(val->getType());
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1543 return gIR->ir->CreateFCmpONE(val, zero, "tmp");
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1544 }
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1545 // pointer/class
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1546 else if (ty == Tpointer \|\| ty == Tclass) {
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1547 LLValue* val = dval->getRVal();
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1548 LLValue* zero = LLConstant::getNullValue(val->getType());
468 45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	1549 Logger::cout() << "val: " << *val << '\n';
45a67b6f1310 Removed the 'needsstorage' thing from Dsymbol. Arguments are not always given storage when applicable. This is not longer treat specially Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 453 diff changeset	1550 Logger::cout() << "zero: " << *zero << '\n';
365 bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1551 return gIR->ir->CreateICmpNE(val, zero, "tmp");
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1552 }
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1553 // dynamic array
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1554 else if (ty == Tarray)
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1555 {
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1556 // return (arr.length != 0)
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1557 return gIR->ir->CreateICmpNE(DtoArrayLen(dval), DtoConstSize_t(0), "tmp");
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1558 }
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1559 // delegate
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1560 else if (ty == Tdelegate)
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1561 {
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1562 // return (dg !is null)
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1563 return DtoDelegateEquals(TOKnotequal, dval->getRVal(), NULL);
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1564 }
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1565 // unknown
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1566 std::cout << "unsupported -> bool : " << dtype->toChars() << '\n';
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1567 assert(0);
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1568 return 0;
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 363 diff changeset	1569 }

Mercurial > projects > ldc

annotate gen/llvmhelpers.cpp @ 482:aa8c050dfd19