projects/ldc: gen/arrays.cpp annotate

annotate gen/arrays.cpp @ 103:855adfdb8d38 trunk

[svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable)

author	lindquist
date	Sun, 18 Nov 2007 08:25:07 +0100
parents	027b8d8b71ec
children	288fe1029e1f

rev	line source
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	1 #include "gen/llvm.h"
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	2
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	3 #include "mtype.h"
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	4 #include "dsymbol.h"
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	5 #include "aggregate.h"
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	6 #include "declaration.h"
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	7 #include "init.h"
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	8
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	9 #include "gen/irstate.h"
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	10 #include "gen/tollvm.h"
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	11 #include "gen/arrays.h"
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	12 #include "gen/runtime.h"
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	13 #include "gen/logger.h"
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	14 #include "gen/dvalue.h"
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	15
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	16 //////////////////////////////////////////////////////////////////////////////////////////
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	17
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	18 const llvm::StructType* DtoArrayType(Type* t)
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	19 {
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	20 assert(t->next);
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	21 const llvm::Type* at = DtoType(t->next);
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	22 const llvm::Type* arrty;
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	23
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	24 if (at == llvm::Type::VoidTy) {
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	25 at = llvm::Type::Int8Ty;
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	26 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	27 arrty = llvm::PointerType::get(at);
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	28
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	29 std::vector<const llvm::Type*> members;
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	30 if (global.params.is64bit)
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	31 members.push_back(llvm::Type::Int64Ty);
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	32 else
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	33 members.push_back(llvm::Type::Int32Ty);
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	34
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	35 members.push_back(arrty);
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	36
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	37 return llvm::StructType::get(members);
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	38 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	39
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	40 //////////////////////////////////////////////////////////////////////////////////////////
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	41
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	42 const llvm::ArrayType* DtoStaticArrayType(Type* t)
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	43 {
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	44 if (t->llvmType)
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	45 return isaArray(t->llvmType->get());
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	46
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	47 assert(t->ty == Tsarray);
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	48 assert(t->next);
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	49
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	50 const llvm::Type* at = DtoType(t->next);
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	51
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	52 TypeSArray* tsa = (TypeSArray*)t;
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	53 assert(tsa->dim->type->isintegral());
11 d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 6 diff changeset	54 const llvm::ArrayType* arrty = llvm::ArrayType::get(at,tsa->dim->toUInteger());
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	55
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	56 assert(!tsa->llvmType);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	57 tsa->llvmType = new llvm::PATypeHolder(arrty);
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	58 return arrty;
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	59 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	60
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	61 //////////////////////////////////////////////////////////////////////////////////////////
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	62
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	63 void DtoSetArrayToNull(llvm::Value* v)
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	64 {
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	65 llvm::Value* len = DtoGEPi(v,0,0,"tmp",gIR->scopebb());
36 c0967c4b2a74 [svn r40] Cleaned up some of the array routines to use gep/load/store instead of memcpy/memset. lindquist parents: 34 diff changeset	66 llvm::Value* zerolen = llvm::ConstantInt::get(len->getType()->getContainedType(0), 0, false);
c0967c4b2a74 [svn r40] Cleaned up some of the array routines to use gep/load/store instead of memcpy/memset. lindquist parents: 34 diff changeset	67 new llvm::StoreInst(zerolen, len, gIR->scopebb());
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	68
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	69 llvm::Value* ptr = DtoGEPi(v,0,1,"tmp",gIR->scopebb());
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	70 const llvm::PointerType* pty = isaPointer(ptr->getType()->getContainedType(0));
36 c0967c4b2a74 [svn r40] Cleaned up some of the array routines to use gep/load/store instead of memcpy/memset. lindquist parents: 34 diff changeset	71 llvm::Value* nullptr = llvm::ConstantPointerNull::get(pty);
c0967c4b2a74 [svn r40] Cleaned up some of the array routines to use gep/load/store instead of memcpy/memset. lindquist parents: 34 diff changeset	72 new llvm::StoreInst(nullptr, ptr, gIR->scopebb());
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	73 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	74
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	75 //////////////////////////////////////////////////////////////////////////////////////////
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	76
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	77 void DtoArrayAssign(llvm::Value* dst, llvm::Value* src)
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	78 {
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	79 assert(gIR);
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	80 if (dst->getType() == src->getType())
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	81 {
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	82 llvm::Value* ptr = DtoGEPi(src,0,0,"tmp",gIR->scopebb());
36 c0967c4b2a74 [svn r40] Cleaned up some of the array routines to use gep/load/store instead of memcpy/memset. lindquist parents: 34 diff changeset	83 llvm::Value* val = new llvm::LoadInst(ptr,"tmp",gIR->scopebb());
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	84 ptr = DtoGEPi(dst,0,0,"tmp",gIR->scopebb());
36 c0967c4b2a74 [svn r40] Cleaned up some of the array routines to use gep/load/store instead of memcpy/memset. lindquist parents: 34 diff changeset	85 new llvm::StoreInst(val, ptr, gIR->scopebb());
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	86
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	87 ptr = DtoGEPi(src,0,1,"tmp",gIR->scopebb());
36 c0967c4b2a74 [svn r40] Cleaned up some of the array routines to use gep/load/store instead of memcpy/memset. lindquist parents: 34 diff changeset	88 val = new llvm::LoadInst(ptr,"tmp",gIR->scopebb());
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	89 ptr = DtoGEPi(dst,0,1,"tmp",gIR->scopebb());
36 c0967c4b2a74 [svn r40] Cleaned up some of the array routines to use gep/load/store instead of memcpy/memset. lindquist parents: 34 diff changeset	90 new llvm::StoreInst(val, ptr, gIR->scopebb());
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	91 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	92 else
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	93 {
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	94 Logger::cout() << "array assignment type dont match: " << dst->getType() << '\n' << src->getType() << '\n';
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	95 const llvm::ArrayType* arrty = isaArray(src->getType()->getContainedType(0));
ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	96 if (!arrty)
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	97 {
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	98 Logger::cout() << "invalid: " << *src << '\n';
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	99 assert(0);
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	100 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	101 llvm::Type* dstty = llvm::PointerType::get(arrty->getElementType());
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	102
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	103 llvm::Value* dstlen = DtoGEPi(dst,0,0,"tmp",gIR->scopebb());
3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	104 llvm::Value* srclen = DtoConstSize_t(arrty->getNumElements());
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	105 new llvm::StoreInst(srclen, dstlen, gIR->scopebb());
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	106
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	107 llvm::Value* dstptr = DtoGEPi(dst,0,1,"tmp",gIR->scopebb());
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	108 llvm::Value* srcptr = new llvm::BitCastInst(src,dstty,"tmp",gIR->scopebb());
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	109 new llvm::StoreInst(srcptr, dstptr, gIR->scopebb());
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	110 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	111 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	112
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	113 //////////////////////////////////////////////////////////////////////////////////////////
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	114
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	115 void DtoArrayInit(llvm::Value* l, llvm::Value* r)
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	116 {
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	117 const llvm::PointerType* ptrty = isaPointer(l->getType());
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	118 const llvm::Type* t = ptrty->getContainedType(0);
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	119 const llvm::ArrayType* arrty = isaArray(t);
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	120 if (arrty)
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	121 {
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	122 llvm::Value* ptr = DtoGEPi(l,0,0,"tmp",gIR->scopebb());
3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	123 llvm::Value* dim = llvm::ConstantInt::get(DtoSize_t(), arrty->getNumElements(), false);
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	124 DtoArrayInit(ptr, dim, r);
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	125 }
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	126 else if (isaStruct(t))
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	127 {
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	128 llvm::Value* dim = DtoLoad(DtoGEPi(l, 0,0, "tmp"));
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	129 llvm::Value* ptr = DtoLoad(DtoGEPi(l, 0,1, "tmp"));
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	130 DtoArrayInit(ptr, dim, r);
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	131 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	132 else
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	133 assert(0);
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	134 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	135
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	136 //////////////////////////////////////////////////////////////////////////////////////////
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	137
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	138 typedef const llvm::Type* constLLVMTypeP;
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	139
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	140 static size_t checkRectArrayInit(const llvm::Type* pt, constLLVMTypeP& finalty)
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	141 {
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	142 if (const llvm::ArrayType* arrty = isaArray(pt)) {
ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	143 size_t n = checkRectArrayInit(arrty->getElementType(), finalty);
ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	144 size_t ne = arrty->getNumElements();
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	145 if (n) return n * ne;
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	146 return ne;
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	147 }
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	148 finalty = pt;
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	149 return 0;
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	150 }
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	151
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	152 void DtoArrayInit(llvm::Value* ptr, llvm::Value* dim, llvm::Value* val)
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	153 {
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	154 Logger::println("HELLO");
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	155 Logger::cout() << "array: " << ptr << " dim: " << dim << " val: " << *val << '\n';
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	156 const llvm::Type* pt = ptr->getType()->getContainedType(0);
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	157 const llvm::Type* t = val->getType();
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	158 const llvm::Type* finalTy;
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	159 if (size_t arrsz = checkRectArrayInit(pt, finalTy)) {
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	160 assert(finalTy == t);
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	161 llvm::Constant* c = isaConstant(dim);
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	162 assert(c);
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	163 dim = llvm::ConstantExpr::getMul(c, DtoConstSize_t(arrsz));
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	164 ptr = gIR->ir->CreateBitCast(ptr, llvm::PointerType::get(finalTy), "tmp");
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	165 }
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	166 else if (isaStruct(t)) {
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	167 assert(0);
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	168 }
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	169 else {
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	170 assert(t == pt);
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	171 }
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	172
43 eb7bf7b7972e [svn r47] fixed a problem with gdc 4.1 lindquist parents: 40 diff changeset	173 std::vector<llvm::Value*> args;
eb7bf7b7972e [svn r47] fixed a problem with gdc 4.1 lindquist parents: 40 diff changeset	174 args.push_back(ptr);
eb7bf7b7972e [svn r47] fixed a problem with gdc 4.1 lindquist parents: 40 diff changeset	175 args.push_back(dim);
eb7bf7b7972e [svn r47] fixed a problem with gdc 4.1 lindquist parents: 40 diff changeset	176 args.push_back(val);
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	177
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	178 const char* funcname = NULL;
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	179
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	180 if (isaPointer(t)) {
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	181 funcname = "_d_array_init_pointer";
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	182
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	183 const llvm::Type* dstty = llvm::PointerType::get(llvm::PointerType::get(llvm::Type::Int8Ty));
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	184 if (args[0]->getType() != dstty)
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	185 args[0] = new llvm::BitCastInst(args[0],dstty,"tmp",gIR->scopebb());
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	186
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	187 const llvm::Type* valty = llvm::PointerType::get(llvm::Type::Int8Ty);
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	188 if (args[2]->getType() != valty)
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	189 args[2] = new llvm::BitCastInst(args[2],valty,"tmp",gIR->scopebb());
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	190 }
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	191 else if (t == llvm::Type::Int1Ty) {
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	192 funcname = "_d_array_init_i1";
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	193 }
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	194 else if (t == llvm::Type::Int8Ty) {
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	195 funcname = "_d_array_init_i8";
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	196 }
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	197 else if (t == llvm::Type::Int16Ty) {
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	198 funcname = "_d_array_init_i16";
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	199 }
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	200 else if (t == llvm::Type::Int32Ty) {
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	201 funcname = "_d_array_init_i32";
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	202 }
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	203 else if (t == llvm::Type::Int64Ty) {
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	204 funcname = "_d_array_init_i64";
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	205 }
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	206 else if (t == llvm::Type::FloatTy) {
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	207 funcname = "_d_array_init_float";
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	208 }
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	209 else if (t == llvm::Type::DoubleTy) {
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	210 funcname = "_d_array_init_double";
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	211 }
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	212 else {
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	213 Logger::cout() << ptr->getType() << " = " << val->getType() << '\n';
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	214 assert(0);
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	215 }
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	216
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	217 llvm::Function* fn = LLVM_D_GetRuntimeFunction(gIR->module, funcname);
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	218 assert(fn);
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	219 Logger::cout() << "calling array init function: " << *fn <<'\n';
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	220 llvm::CallInst* call = new llvm::CallInst(fn, args.begin(), args.end(), "", gIR->scopebb());
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	221 call->setCallingConv(llvm::CallingConv::C);
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	222 }
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	223
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	224 //////////////////////////////////////////////////////////////////////////////////////////
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	225
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	226 void DtoSetArray(llvm::Value* arr, llvm::Value* dim, llvm::Value* ptr)
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	227 {
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	228 Logger::cout() << "DtoSetArray(" << arr << ", " << dim << ", " << *ptr << ")\n";
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	229 const llvm::StructType* st = isaStruct(arr->getType()->getContainedType(0));
ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	230
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	231 llvm::Value* zero = llvm::ConstantInt::get(llvm::Type::Int32Ty, 0, false);
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	232 llvm::Value* one = llvm::ConstantInt::get(llvm::Type::Int32Ty, 1, false);
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	233
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	234 llvm::Value* arrdim = DtoGEP(arr,zero,zero,"tmp",gIR->scopebb());
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	235 new llvm::StoreInst(dim, arrdim, gIR->scopebb());
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	236
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	237 llvm::Value* arrptr = DtoGEP(arr,zero,one,"tmp",gIR->scopebb());
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	238 new llvm::StoreInst(ptr, arrptr, gIR->scopebb());
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	239 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	240
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	241 //////////////////////////////////////////////////////////////////////////////////////////
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	242 llvm::Constant* DtoConstArrayInitializer(ArrayInitializer* arrinit)
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	243 {
88 058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	244 Logger::println("DtoConstArrayInitializer: %s \| %s", arrinit->toChars(), arrinit->type->toChars());
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	245 LOG_SCOPE;
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	246
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	247 Type* arrinittype = DtoDType(arrinit->type);
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	248
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	249 Type* t;
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	250 integer_t tdim;
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	251 if (arrinittype->ty == Tsarray) {
88 058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	252 Logger::println("static array");
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	253 TypeSArray* tsa = (TypeSArray*)arrinittype;
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	254 tdim = tsa->dim->toInteger();
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	255 t = tsa;
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	256 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	257 else if (arrinittype->ty == Tarray) {
88 058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	258 Logger::println("dynamic array");
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	259 t = arrinittype;
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	260 tdim = arrinit->dim;
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	261 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	262 else
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	263 assert(0);
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	264
88 058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	265 Logger::println("dim = %u", tdim);
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	266
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	267 std::vector<llvm::Constant*> inits(tdim, NULL);
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	268
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	269 const llvm::Type* elemty = DtoType(arrinittype->next);
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	270
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	271 assert(arrinit->index.dim == arrinit->value.dim);
88 058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	272 for (unsigned i=0,j=0; i < tdim; ++i)
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	273 {
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	274 Initializer* init = 0;
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	275 Expression* idx = (Expression*)arrinit->index.data[j];
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	276
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	277 if (idx)
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	278 {
88 058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	279 // this is pretty weird :/ idx->type turned out NULL for the initializer:
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	280 // const in6_addr IN6ADDR_ANY = { s6_addr8: [0] };
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	281 // in std.c.linux.socket
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	282 if (idx->type) {
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	283 //integer_t k = idx->toInteger();
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	284 Logger::println("getting value for exp: %s \| %s", idx->toChars(), idx->type->toChars());
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	285 llvm::Constant* cc = idx->toConstElem(gIR);
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	286 Logger::println("value gotten");
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	287 assert(cc != NULL);
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	288 llvm::ConstantInt* ci = llvm::dyn_cast<llvm::ConstantInt>(cc);
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	289 assert(ci != NULL);
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	290 uint64_t k = ci->getZExtValue();
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	291 if (i == k)
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	292 {
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	293 init = (Initializer*)arrinit->value.data[j];
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	294 assert(init);
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	295 ++j;
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	296 }
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	297 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	298 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	299 else
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	300 {
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	301 init = (Initializer*)arrinit->value.data[j];
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	302 ++j;
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	303 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	304
88 058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	305 llvm::Constant* v = DtoConstInitializer(t->next, init);
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	306 assert(v);
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	307
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	308 inits[i] = v;
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	309 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	310
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	311 const llvm::ArrayType* arrty = llvm::ArrayType::get(elemty,tdim);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	312 llvm::Constant* constarr = llvm::ConstantArray::get(arrty, inits);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	313
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	314 if (arrinittype->ty == Tsarray)
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	315 return constarr;
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	316 else
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	317 assert(arrinittype->ty == Tarray);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	318
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	319 llvm::GlobalVariable* gvar = new llvm::GlobalVariable(arrty,true,llvm::GlobalValue::InternalLinkage,constarr,"constarray",gIR->module);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	320 llvm::Constant* idxs[2] = { DtoConstUint(0), DtoConstUint(0) };
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	321 llvm::Constant* gep = llvm::ConstantExpr::getGetElementPtr(gvar,idxs,2);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	322 return DtoConstSlice(DtoConstSize_t(tdim),gep);
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	323 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	324
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	325 //////////////////////////////////////////////////////////////////////////////////////////
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	326 static llvm::Value* get_slice_ptr(DSliceValue* e, llvm::Value*& sz)
21 8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	327 {
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	328 const llvm::Type* t = e->ptr->getType()->getContainedType(0);
21 8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	329 llvm::Value* ret = 0;
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	330 if (e->len != 0) {
22 a6360e68134a [svn r26] * Fixed templates defining a constant value lindquist parents: 21 diff changeset	331 // this means it's a real slice
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	332 ret = e->ptr;
22 a6360e68134a [svn r26] * Fixed templates defining a constant value lindquist parents: 21 diff changeset	333
a6360e68134a [svn r26] * Fixed templates defining a constant value lindquist parents: 21 diff changeset	334 size_t elembsz = gTargetData->getTypeSize(ret->getType());
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	335 llvm::ConstantInt* elemsz = llvm::ConstantInt::get(DtoSize_t(), elembsz, false);
22 a6360e68134a [svn r26] * Fixed templates defining a constant value lindquist parents: 21 diff changeset	336
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	337 if (isaConstantInt(e->len)) {
ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	338 sz = llvm::ConstantExpr::getMul(elemsz, isaConstant(e->len));
22 a6360e68134a [svn r26] * Fixed templates defining a constant value lindquist parents: 21 diff changeset	339 }
a6360e68134a [svn r26] * Fixed templates defining a constant value lindquist parents: 21 diff changeset	340 else {
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	341 sz = llvm::BinaryOperator::createMul(elemsz,e->len,"tmp",gIR->scopebb());
22 a6360e68134a [svn r26] * Fixed templates defining a constant value lindquist parents: 21 diff changeset	342 }
a6360e68134a [svn r26] * Fixed templates defining a constant value lindquist parents: 21 diff changeset	343 }
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	344 else if (isaArray(t)) {
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	345 ret = DtoGEPi(e->ptr, 0, 0, "tmp", gIR->scopebb());
21 8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	346
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	347 size_t elembsz = gTargetData->getTypeSize(ret->getType()->getContainedType(0));
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	348 llvm::ConstantInt* elemsz = llvm::ConstantInt::get(DtoSize_t(), elembsz, false);
21 8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	349
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	350 size_t numelements = isaArray(t)->getNumElements();
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	351 llvm::ConstantInt* nelems = llvm::ConstantInt::get(DtoSize_t(), numelements, false);
21 8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	352
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	353 sz = llvm::ConstantExpr::getMul(elemsz, nelems);
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	354 }
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	355 else if (isaStruct(t)) {
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	356 ret = DtoGEPi(e->ptr, 0, 1, "tmp", gIR->scopebb());
21 8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	357 ret = new llvm::LoadInst(ret, "tmp", gIR->scopebb());
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	358
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	359 size_t elembsz = gTargetData->getTypeSize(ret->getType()->getContainedType(0));
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	360 llvm::ConstantInt* elemsz = llvm::ConstantInt::get(DtoSize_t(), elembsz, false);
21 8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	361
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	362 llvm::Value* len = DtoGEPi(e->ptr, 0, 0, "tmp", gIR->scopebb());
21 8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	363 len = new llvm::LoadInst(len, "tmp", gIR->scopebb());
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	364 sz = llvm::BinaryOperator::createMul(len,elemsz,"tmp",gIR->scopebb());
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	365 }
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	366 else {
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	367 assert(0);
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	368 }
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	369 return ret;
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	370 }
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	371
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	372 void DtoArrayCopy(DSliceValue* dst, DSliceValue* src)
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	373 {
21 8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	374 llvm::Type* arrty = llvm::PointerType::get(llvm::Type::Int8Ty);
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	375
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	376 llvm::Value* sz1;
36 c0967c4b2a74 [svn r40] Cleaned up some of the array routines to use gep/load/store instead of memcpy/memset. lindquist parents: 34 diff changeset	377 llvm::Value* dstarr = new llvm::BitCastInst(get_slice_ptr(dst,sz1),arrty,"tmp",gIR->scopebb());
c0967c4b2a74 [svn r40] Cleaned up some of the array routines to use gep/load/store instead of memcpy/memset. lindquist parents: 34 diff changeset	378
21 8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	379 llvm::Value* sz2;
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	380 llvm::Value* srcarr = new llvm::BitCastInst(get_slice_ptr(src,sz2),arrty,"tmp",gIR->scopebb());
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	381
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	382 llvm::Function* fn = (global.params.is64bit) ? LLVM_DeclareMemCpy64() : LLVM_DeclareMemCpy32();
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	383 std::vector<llvm::Value*> llargs;
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	384 llargs.resize(4);
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	385 llargs[0] = dstarr;
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	386 llargs[1] = srcarr;
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	387 llargs[2] = sz1;
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	388 llargs[3] = llvm::ConstantInt::get(llvm::Type::Int32Ty, 0, false);
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	389
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	390 new llvm::CallInst(fn, llargs.begin(), llargs.end(), "", gIR->scopebb());
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	391 }
21 8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	392
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	393 //////////////////////////////////////////////////////////////////////////////////////////
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	394 void DtoStaticArrayCopy(llvm::Value* dst, llvm::Value* src)
48 4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	395 {
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	396 assert(dst->getType() == src->getType());
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	397 size_t arrsz = gTargetData->getTypeSize(dst->getType()->getContainedType(0));
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	398 llvm::Value* n = llvm::ConstantInt::get(DtoSize_t(), arrsz, false);
48 4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	399
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	400 llvm::Type* arrty = llvm::PointerType::get(llvm::Type::Int8Ty);
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	401 llvm::Value* dstarr = new llvm::BitCastInst(dst,arrty,"tmp",gIR->scopebb());
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	402 llvm::Value* srcarr = new llvm::BitCastInst(src,arrty,"tmp",gIR->scopebb());
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	403
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	404 llvm::Function* fn = (global.params.is64bit) ? LLVM_DeclareMemCpy64() : LLVM_DeclareMemCpy32();
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	405 std::vector<llvm::Value*> llargs;
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	406 llargs.resize(4);
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	407 llargs[0] = dstarr;
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	408 llargs[1] = srcarr;
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	409 llargs[2] = n;
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	410 llargs[3] = llvm::ConstantInt::get(llvm::Type::Int32Ty, 0, false);
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	411
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	412 new llvm::CallInst(fn, llargs.begin(), llargs.end(), "", gIR->scopebb());
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	413 }
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	414
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	415 //////////////////////////////////////////////////////////////////////////////////////////
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	416 llvm::Constant* DtoConstSlice(llvm::Constant* dim, llvm::Constant* ptr)
21 8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	417 {
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	418 std::vector<const llvm::Type*> types;
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	419 types.push_back(dim->getType());
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	420 types.push_back(ptr->getType());
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	421 const llvm::StructType* type = llvm::StructType::get(types);
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	422 std::vector<llvm::Constant*> values;
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	423 values.push_back(dim);
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	424 values.push_back(ptr);
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	425 return llvm::ConstantStruct::get(type,values);
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	426 }
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	427
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	428 //////////////////////////////////////////////////////////////////////////////////////////
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	429 llvm::Value* DtoNewDynArray(llvm::Value* dst, llvm::Value* dim, Type* dty, bool doinit)
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	430 {
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	431 const llvm::Type* ty = DtoType(dty);
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	432 assert(ty != llvm::Type::VoidTy);
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	433 size_t sz = gTargetData->getTypeSize(ty);
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	434 llvm::ConstantInt* n = llvm::ConstantInt::get(DtoSize_t(), sz, false);
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	435 llvm::Value* bytesize = (sz == 1) ? dim : llvm::BinaryOperator::createMul(n,dim,"tmp",gIR->scopebb());
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	436
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	437 llvm::Value* nullptr = llvm::ConstantPointerNull::get(llvm::PointerType::get(ty));
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	438
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	439 llvm::Value* newptr = DtoRealloc(nullptr, bytesize);
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	440
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	441 if (doinit) {
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	442 DValue* e = dty->defaultInit()->toElem(gIR);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	443 DtoArrayInit(newptr,dim,e->getRVal());
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	444 }
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	445
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	446 llvm::Value* lenptr = DtoGEPi(dst,0,0,"tmp",gIR->scopebb());
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	447 new llvm::StoreInst(dim,lenptr,gIR->scopebb());
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	448 llvm::Value* ptrptr = DtoGEPi(dst,0,1,"tmp",gIR->scopebb());
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	449 new llvm::StoreInst(newptr,ptrptr,gIR->scopebb());
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	450
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	451 return newptr;
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	452 }
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	453
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	454 //////////////////////////////////////////////////////////////////////////////////////////
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	455 llvm::Value* DtoResizeDynArray(llvm::Value* arr, llvm::Value* sz)
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	456 {
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	457 llvm::Value* ptr = DtoGEPi(arr, 0, 1, "tmp", gIR->scopebb());
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	458 llvm::Value* ptrld = new llvm::LoadInst(ptr,"tmp",gIR->scopebb());
36 c0967c4b2a74 [svn r40] Cleaned up some of the array routines to use gep/load/store instead of memcpy/memset. lindquist parents: 34 diff changeset	459
c0967c4b2a74 [svn r40] Cleaned up some of the array routines to use gep/load/store instead of memcpy/memset. lindquist parents: 34 diff changeset	460 size_t isz = gTargetData->getTypeSize(ptrld->getType()->getContainedType(0));
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	461 llvm::ConstantInt* n = llvm::ConstantInt::get(DtoSize_t(), isz, false);
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	462 llvm::Value* bytesz = (isz == 1) ? sz : llvm::BinaryOperator::createMul(n,sz,"tmp",gIR->scopebb());
36 c0967c4b2a74 [svn r40] Cleaned up some of the array routines to use gep/load/store instead of memcpy/memset. lindquist parents: 34 diff changeset	463
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	464 llvm::Value* newptr = DtoRealloc(ptrld, bytesz);
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	465 new llvm::StoreInst(newptr,ptr,gIR->scopebb());
36 c0967c4b2a74 [svn r40] Cleaned up some of the array routines to use gep/load/store instead of memcpy/memset. lindquist parents: 34 diff changeset	466
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	467 llvm::Value* len = DtoGEPi(arr, 0, 0, "tmp", gIR->scopebb());
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	468 new llvm::StoreInst(sz,len,gIR->scopebb());
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	469
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	470 return newptr;
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	471 }
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	472
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	473 //////////////////////////////////////////////////////////////////////////////////////////
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	474 void DtoCatAssignElement(llvm::Value* arr, Expression* exp)
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	475 {
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	476 llvm::Value* ptr = DtoGEPi(arr, 0, 0, "tmp");
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	477 llvm::Value* idx = DtoLoad(ptr);
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	478 llvm::Value* one = llvm::ConstantInt::get(idx->getType(),1,false);
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	479 llvm::Value* len = llvm::BinaryOperator::createAdd(idx, one, "tmp", gIR->scopebb());
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	480 DtoResizeDynArray(arr,len);
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	481
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	482 ptr = DtoLoad(DtoGEPi(arr, 0, 1, "tmp"));
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	483 ptr = new llvm::GetElementPtrInst(ptr, idx, "tmp", gIR->scopebb());
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	484
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	485 DValue* dptr = new DVarValue(exp->type, ptr, true);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	486
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	487 gIR->exps.push_back(IRExp(0,exp,dptr));
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	488 DValue* e = exp->toElem(gIR);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	489 gIR->exps.pop_back();
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	490
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	491 if (!e->inPlace())
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	492 DtoAssign(dptr, e);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	493 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	494
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	495 //////////////////////////////////////////////////////////////////////////////////////////
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	496 void DtoCatAssignArray(llvm::Value* arr, Expression* exp)
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	497 {
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	498 DValue* e = exp->toElem(gIR);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	499
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	500 llvm::Value len1, len2, src1, src2, *res;
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	501
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	502 DValue* darr = new DVarValue(exp->type, arr, true);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	503
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	504 len1 = DtoArrayLen(darr);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	505 len2 = DtoArrayLen(e);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	506 res = gIR->ir->CreateAdd(len1,len2,"tmp");
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	507
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	508 llvm::Value* mem = DtoResizeDynArray(arr,res);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	509
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	510 src1 = DtoArrayPtr(darr);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	511 src2 = DtoArrayPtr(e);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	512
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	513 mem = gIR->ir->CreateGEP(mem,len1,"tmp");
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	514 DtoMemCpy(mem,src2,len2);
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	515 }
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	516
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	517 //////////////////////////////////////////////////////////////////////////////////////////
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	518 void DtoCatArrays(llvm::Value* arr, Expression* exp1, Expression* exp2)
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	519 {
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	520 Type* t1 = DtoDType(exp1->type);
3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	521 Type* t2 = DtoDType(exp2->type);
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	522
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	523 assert(t1->ty == Tarray);
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	524 assert(t1->ty == t2->ty);
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	525
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	526 DValue* e1 = exp1->toElem(gIR);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	527 llvm::Value* a = e1->getRVal();
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	528
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	529 DValue* e2 = exp2->toElem(gIR);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	530 llvm::Value* b = e2->getRVal();
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	531
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	532 llvm::Value len1, len2, src1, src2, *res;
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	533 len1 = gIR->ir->CreateLoad(DtoGEPi(a,0,0,"tmp"),"tmp");
3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	534 len2 = gIR->ir->CreateLoad(DtoGEPi(b,0,0,"tmp"),"tmp");
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	535 res = gIR->ir->CreateAdd(len1,len2,"tmp");
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	536
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	537 llvm::Value* mem = DtoNewDynArray(arr, res, DtoDType(t1->next), false);
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	538
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	539 src1 = gIR->ir->CreateLoad(DtoGEPi(a,0,1,"tmp"),"tmp");
3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	540 src2 = gIR->ir->CreateLoad(DtoGEPi(b,0,1,"tmp"),"tmp");
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	541
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	542 DtoMemCpy(mem,src1,len1);
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	543 mem = gIR->ir->CreateGEP(mem,len1,"tmp");
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	544 DtoMemCpy(mem,src2,len2);
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	545 }
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	546
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	547 //////////////////////////////////////////////////////////////////////////////////////////
99 a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	548 // helper for eq and cmp
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	549 static llvm::Value* DtoArrayEqCmp_impl(const char* func, DValue* l, DValue* r, bool useti)
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	550 {
99 a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	551 llvm::Function* fn = LLVM_D_GetRuntimeFunction(gIR->module, func);
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	552 assert(fn);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	553
98 6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	554 llvm::Value* lmem;
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	555 llvm::Value* rmem;
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	556
98 6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	557 // cast static arrays to dynamic ones, this turns them into DSliceValues
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	558 Type* l_ty = DtoDType(l->getType());
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	559 Type* r_ty = DtoDType(r->getType());
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	560 assert(l_ty->next == r_ty->next);
99 a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	561 if ((l_ty->ty == Tsarray) \|\| (r_ty->ty == Tsarray)) {
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	562 Type* a_ty = new Type(Tarray, l_ty->next);
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	563 if (l_ty->ty == Tsarray)
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	564 l = DtoCastArray(l, a_ty);
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	565 if (r_ty->ty == Tsarray)
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	566 r = DtoCastArray(r, a_ty);
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	567 }
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	568
98 6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	569 // we need to give slices storage
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	570 if (l->isSlice()) {
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	571 lmem = new llvm::AllocaInst(DtoType(l->getType()), "tmpparam", gIR->topallocapoint());
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	572 DtoSetArray(lmem, DtoArrayLen(l), DtoArrayPtr(l));
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	573 }
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	574 else
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	575 lmem = l->getRVal();
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	576
98 6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	577 if (r->isSlice()) {
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	578 rmem = new llvm::AllocaInst(DtoType(r->getType()), "tmpparam", gIR->topallocapoint());
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	579 DtoSetArray(rmem, DtoArrayLen(r), DtoArrayPtr(r));
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	580 }
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	581 else
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	582 rmem = r->getRVal();
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	583
98 6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	584 const llvm::Type* pt = fn->getFunctionType()->getParamType(0);
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	585
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	586 std::vector<llvm::Value*> args;
98 6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	587 args.push_back(DtoBitCast(lmem,pt));
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	588 args.push_back(DtoBitCast(rmem,pt));
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	589
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	590 // pass element typeinfo ?
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	591 if (useti) {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	592 TypeInfoDeclaration* ti = DtoDType(l->getType())->next->getTypeInfoDeclaration();
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	593 if (!ti->llvmValue) {
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	594 DtoForceConstInitDsymbol(ti);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	595 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	596 Logger::cout() << "typeinfo decl: " << *ti->llvmValue << '\n';
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	597
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	598 pt = fn->getFunctionType()->getParamType(2);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	599 args.push_back(DtoBitCast(ti->llvmValue, pt));
98 6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	600 }
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	601
99 a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	602 return gIR->ir->CreateCall(fn, args.begin(), args.end(), "tmp");
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	603 }
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	604
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	605 //////////////////////////////////////////////////////////////////////////////////////////
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	606 llvm::Value* DtoArrayEquals(TOK op, DValue* l, DValue* r)
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	607 {
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	608 llvm::Function* fn = LLVM_D_GetRuntimeFunction(gIR->module, "_adEq");
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	609 assert(fn);
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	610
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	611 llvm::Value* res = DtoArrayEqCmp_impl("_adEq", l, r, true);
98 6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	612 if (op == TOKnotequal)
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	613 res = gIR->ir->CreateNot(res, "tmp");
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	614
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	615 return res;
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	616 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	617
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	618 //////////////////////////////////////////////////////////////////////////////////////////
99 a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	619 llvm::Value* DtoArrayCompare(TOK op, DValue* l, DValue* r)
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	620 {
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	621 llvm::Value* res = 0;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	622
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	623 llvm::ICmpInst::Predicate cmpop;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	624 bool skip = false;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	625
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	626 switch(op)
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	627 {
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	628 case TOKlt:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	629 case TOKul:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	630 cmpop = llvm::ICmpInst::ICMP_SLT;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	631 break;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	632 case TOKle:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	633 case TOKule:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	634 cmpop = llvm::ICmpInst::ICMP_SLE;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	635 break;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	636 case TOKgt:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	637 case TOKug:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	638 cmpop = llvm::ICmpInst::ICMP_SGT;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	639 break;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	640 case TOKge:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	641 case TOKuge:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	642 cmpop = llvm::ICmpInst::ICMP_SGE;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	643 break;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	644 case TOKue:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	645 cmpop = llvm::ICmpInst::ICMP_EQ;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	646 break;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	647 case TOKlg:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	648 cmpop = llvm::ICmpInst::ICMP_NE;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	649 break;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	650 case TOKleg:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	651 skip = true;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	652 res = llvm::ConstantInt::getTrue();
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	653 break;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	654 case TOKunord:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	655 skip = true;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	656 res = llvm::ConstantInt::getFalse();
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	657 break;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	658
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	659 default:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	660 assert(0);
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	661 }
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	662
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	663 if (!skip)
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	664 {
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	665 Type* t = DtoDType(DtoDType(l->getType())->next);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	666 if (t->ty == Tchar)
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	667 res = DtoArrayEqCmp_impl("_adCmpChar", l, r, false);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	668 else
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	669 res = DtoArrayEqCmp_impl("_adCmp", l, r, true);
99 a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	670 res = new llvm::ICmpInst(cmpop, res, DtoConstInt(0), "tmp", gIR->scopebb());
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	671 }
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	672
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	673 assert(res);
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	674 return res;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	675 }
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	676
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	677 //////////////////////////////////////////////////////////////////////////////////////////
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	678 llvm::Value* DtoArrayCastLength(llvm::Value* len, const llvm::Type* elemty, const llvm::Type* newelemty)
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	679 {
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 88 diff changeset	680 size_t esz = gTargetData->getTypeSize(elemty);
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 88 diff changeset	681 size_t nsz = gTargetData->getTypeSize(newelemty);
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 88 diff changeset	682 if (esz == nsz)
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 88 diff changeset	683 return len;
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 88 diff changeset	684
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	685 std::vector<llvm::Value*> args;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	686 args.push_back(len);
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 88 diff changeset	687 args.push_back(llvm::ConstantInt::get(DtoSize_t(), esz, false));
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 88 diff changeset	688 args.push_back(llvm::ConstantInt::get(DtoSize_t(), nsz, false));
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 88 diff changeset	689
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 88 diff changeset	690 llvm::Function* fn = LLVM_D_GetRuntimeFunction(gIR->module, "_d_array_cast_len");
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	691 return new llvm::CallInst(fn, args.begin(), args.end(), "tmp", gIR->scopebb());
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	692 }
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	693
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	694 //////////////////////////////////////////////////////////////////////////////////////////
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	695 llvm::Value* DtoDynArrayIs(TOK op, llvm::Value* l, llvm::Value* r)
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	696 {
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	697 llvm::ICmpInst::Predicate pred = (op == TOKidentity) ? llvm::ICmpInst::ICMP_EQ : llvm::ICmpInst::ICMP_NE;
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	698
69 2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 64 diff changeset	699 if (r == NULL) {
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	700 llvm::Value* ll = gIR->ir->CreateLoad(DtoGEPi(l, 0,0, "tmp"),"tmp");
3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	701 llvm::Value* rl = DtoConstSize_t(0);
69 2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 64 diff changeset	702 llvm::Value* b1 = gIR->ir->CreateICmp(pred,ll,rl,"tmp");
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 64 diff changeset	703
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	704 llvm::Value* lp = gIR->ir->CreateLoad(DtoGEPi(l, 0,1, "tmp"),"tmp");
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	705 const llvm::PointerType* pty = isaPointer(lp->getType());
69 2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 64 diff changeset	706 llvm::Value* rp = llvm::ConstantPointerNull::get(pty);
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 64 diff changeset	707 llvm::Value* b2 = gIR->ir->CreateICmp(pred,lp,rp,"tmp");
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	708
69 2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 64 diff changeset	709 llvm::Value* b = gIR->ir->CreateAnd(b1,b2,"tmp");
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 64 diff changeset	710 return b;
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 64 diff changeset	711 }
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 64 diff changeset	712 else {
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 64 diff changeset	713 assert(l->getType() == r->getType());
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	714
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	715 llvm::Value* ll = gIR->ir->CreateLoad(DtoGEPi(l, 0,0, "tmp"),"tmp");
3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	716 llvm::Value* rl = gIR->ir->CreateLoad(DtoGEPi(r, 0,0, "tmp"),"tmp");
69 2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 64 diff changeset	717 llvm::Value* b1 = gIR->ir->CreateICmp(pred,ll,rl,"tmp");
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 64 diff changeset	718
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	719 llvm::Value* lp = gIR->ir->CreateLoad(DtoGEPi(l, 0,1, "tmp"),"tmp");
3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	720 llvm::Value* rp = gIR->ir->CreateLoad(DtoGEPi(r, 0,1, "tmp"),"tmp");
69 2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 64 diff changeset	721 llvm::Value* b2 = gIR->ir->CreateICmp(pred,lp,rp,"tmp");
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 64 diff changeset	722
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 64 diff changeset	723 llvm::Value* b = gIR->ir->CreateAnd(b1,b2,"tmp");
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 64 diff changeset	724 return b;
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 64 diff changeset	725 }
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	726 }
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	727
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	728 //////////////////////////////////////////////////////////////////////////////////////////
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	729 llvm::Constant* DtoConstStaticArray(const llvm::Type* t, llvm::Constant* c)
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	730 {
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	731 const llvm::ArrayType* at = isaArray(t);
ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	732 assert(at);
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	733
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	734 if (isaArray(at->getElementType()))
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	735 {
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	736 c = DtoConstStaticArray(at->getElementType(), c);
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	737 }
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	738 else {
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	739 assert(at->getElementType() == c->getType());
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	740 }
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	741 std::vector<llvm::Constant*> initvals;
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	742 initvals.resize(at->getNumElements(), c);
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	743 return llvm::ConstantArray::get(at, initvals);
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	744 }
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	745
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	746 //////////////////////////////////////////////////////////////////////////////////////////
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	747 llvm::Value* DtoArrayLen(DValue* v)
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	748 {
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	749 Type* t = DtoDType(v->getType());
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	750 if (t->ty == Tarray) {
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	751 if (DSliceValue* s = v->isSlice()) {
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	752 if (s->len) return s->len;
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	753 DValue* next = new DVarValue(t,s->ptr,true);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	754 return DtoArrayLen(next);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	755 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	756 return DtoLoad(DtoGEPi(v->getRVal(), 0,0, "tmp"));
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	757 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	758 else if (t->ty == Tsarray) {
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 88 diff changeset	759 llvm::Value* rv = v->getRVal();
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 88 diff changeset	760 Logger::cout() << "casting: " << *rv << '\n';
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	761 const llvm::ArrayType* t = isaArray(rv->getType()->getContainedType(0));
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	762 return DtoConstSize_t(t->getNumElements());
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	763 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	764 assert(0);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	765 return 0;
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	766 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	767
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	768 //////////////////////////////////////////////////////////////////////////////////////////
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	769 llvm::Value* DtoArrayPtr(DValue* v)
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	770 {
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	771 Type* t = DtoDType(v->getType());
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	772 if (t->ty == Tarray) {
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	773 if (DSliceValue* s = v->isSlice()) {
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	774 if (s->len) return s->ptr;
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	775 DValue* next = new DVarValue(t,s->ptr,true);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	776 return DtoArrayPtr(next);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	777 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	778 return DtoLoad(DtoGEPi(v->getRVal(), 0,1, "tmp"));
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	779 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	780 else if (t->ty == Tsarray) {
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	781 return DtoGEPi(v->getRVal(), 0,0, "tmp");
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	782 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	783 assert(0);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	784 return 0;
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	785 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	786
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	787 //////////////////////////////////////////////////////////////////////////////////////////
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	788 DValue* DtoCastArray(DValue* u, Type* to)
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	789 {
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	790 const llvm::Type* tolltype = DtoType(to);
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	791
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	792 Type* totype = DtoDType(to);
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	793 Type* fromtype = DtoDType(u->getType());
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	794 assert(fromtype->ty == Tarray \|\| fromtype->ty == Tsarray);
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	795
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	796 llvm::Value* rval;
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	797 llvm::Value* rval2;
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	798 bool isslice = false;
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	799
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	800 Logger::cout() << "from array or sarray" << '\n';
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	801 if (totype->ty == Tpointer) {
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	802 Logger::cout() << "to pointer" << '\n';
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	803 assert(fromtype->next == totype->next \|\| totype->next->ty == Tvoid);
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	804 llvm::Value* ptr = DtoGEPi(u->getRVal(),0,1,"tmp",gIR->scopebb());
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	805 rval = new llvm::LoadInst(ptr, "tmp", gIR->scopebb());
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	806 if (fromtype->next != totype->next)
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	807 rval = gIR->ir->CreateBitCast(rval, llvm::PointerType::get(llvm::Type::Int8Ty), "tmp");
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	808 }
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	809 else if (totype->ty == Tarray) {
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	810 Logger::cout() << "to array" << '\n';
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	811 const llvm::Type* ptrty = DtoType(totype->next);
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	812 if (ptrty == llvm::Type::VoidTy)
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	813 ptrty = llvm::Type::Int8Ty;
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	814 ptrty = llvm::PointerType::get(ptrty);
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	815
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	816 const llvm::Type* ety = DtoType(fromtype->next);
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	817 if (ety == llvm::Type::VoidTy)
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	818 ety = llvm::Type::Int8Ty;
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	819
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	820 if (DSliceValue* usl = u->isSlice()) {
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	821 Logger::println("from slice");
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	822 Logger::cout() << "from: " << usl->ptr << " to: " << ptrty << '\n';
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	823 rval = new llvm::BitCastInst(usl->ptr, ptrty, "tmp", gIR->scopebb());
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	824 if (fromtype->next->size() == totype->next->size())
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	825 rval2 = usl->len;
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	826 else
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	827 rval2 = DtoArrayCastLength(usl->len, ety, ptrty->getContainedType(0));
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	828 }
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	829 else {
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	830 llvm::Value* uval = u->getRVal();
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	831 if (fromtype->ty == Tsarray) {
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	832 Logger::cout() << "uvalTy = " << *uval->getType() << '\n';
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	833 assert(isaPointer(uval->getType()));
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	834 const llvm::ArrayType* arrty = isaArray(uval->getType()->getContainedType(0));
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	835 rval2 = llvm::ConstantInt::get(DtoSize_t(), arrty->getNumElements(), false);
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	836 rval2 = DtoArrayCastLength(rval2, ety, ptrty->getContainedType(0));
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	837 rval = new llvm::BitCastInst(uval, ptrty, "tmp", gIR->scopebb());
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	838 }
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	839 else {
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	840 llvm::Value* zero = llvm::ConstantInt::get(llvm::Type::Int32Ty, 0, false);
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	841 llvm::Value* one = llvm::ConstantInt::get(llvm::Type::Int32Ty, 1, false);
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	842 rval2 = DtoGEP(uval,zero,zero,"tmp",gIR->scopebb());
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	843 rval2 = new llvm::LoadInst(rval2, "tmp", gIR->scopebb());
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	844 rval2 = DtoArrayCastLength(rval2, ety, ptrty->getContainedType(0));
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	845
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	846 rval = DtoGEP(uval,zero,one,"tmp",gIR->scopebb());
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	847 rval = new llvm::LoadInst(rval, "tmp", gIR->scopebb());
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	848 //Logger::cout() << e->mem->getType() << '\|' << ptrty << '\n';
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	849 rval = new llvm::BitCastInst(rval, ptrty, "tmp", gIR->scopebb());
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	850 }
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	851 }
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	852 isslice = true;
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	853 }
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	854 else if (totype->ty == Tsarray) {
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	855 Logger::cout() << "to sarray" << '\n';
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	856 assert(0);
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	857 }
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	858 else {
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	859 assert(0);
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	860 }
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	861
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	862 if (isslice) {
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	863 Logger::println("isslice");
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	864 return new DSliceValue(to, rval2, rval);
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	865 }
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	866
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	867 return new DImValue(to, rval);
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	868 }

Mercurial > projects > ldc

annotate gen/arrays.cpp @ 103:855adfdb8d38 trunk