projects/ldc: gen/arrays.cpp annotate

annotate gen/arrays.cpp @ 108:288fe1029e1f trunk

[svn r112] Fixed 'case 1,2,3:' style case statements. Fixed a bunch of bugs with return/break/continue in loops. Fixed support for the DMDFE hidden implicit return value variable. This can be needed for some foreach statements where the loop body is converted to a nested delegate, but also possibly returns from the function. Added std.math to phobos. Added AA runtime support code, done ground work for implementing AAs. Several other bugfixes.

author	lindquist
date	Tue, 20 Nov 2007 05:29:20 +0100
parents	027b8d8b71ec
children	5ab8e92611f9

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
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	372 void DtoArrayCopySlices(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
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	393 void DtoArrayCopyToSlice(DSliceValue* dst, DValue* src)
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	394 {
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	395 llvm::Type* arrty = llvm::PointerType::get(llvm::Type::Int8Ty);
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	396
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	397 llvm::Value* sz1;
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	398 llvm::Value* dstarr = new llvm::BitCastInst(get_slice_ptr(dst,sz1),arrty,"tmp",gIR->scopebb());
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	399 llvm::Value* srcarr = new llvm::BitCastInst(DtoArrayPtr(src),arrty,"tmp",gIR->scopebb());
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	400
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	401 llvm::Function* fn = (global.params.is64bit) ? LLVM_DeclareMemCpy64() : LLVM_DeclareMemCpy32();
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	402 std::vector<llvm::Value*> llargs;
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	403 llargs.resize(4);
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	404 llargs[0] = dstarr;
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	405 llargs[1] = srcarr;
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	406 llargs[2] = sz1;
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	407 llargs[3] = llvm::ConstantInt::get(llvm::Type::Int32Ty, 0, false);
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	408
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	409 new llvm::CallInst(fn, llargs.begin(), llargs.end(), "", gIR->scopebb());
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	410 }
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	411
21 8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	412 //////////////////////////////////////////////////////////////////////////////////////////
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	413 void DtoStaticArrayCopy(llvm::Value* dst, llvm::Value* src)
48 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 assert(dst->getType() == src->getType());
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	416 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	417 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	418
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	419 llvm::Type* arrty = llvm::PointerType::get(llvm::Type::Int8Ty);
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	420 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	421 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	422
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	423 llvm::Function* fn = (global.params.is64bit) ? LLVM_DeclareMemCpy64() : LLVM_DeclareMemCpy32();
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	424 std::vector<llvm::Value*> llargs;
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	425 llargs.resize(4);
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	426 llargs[0] = dstarr;
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	427 llargs[1] = srcarr;
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	428 llargs[2] = n;
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	429 llargs[3] = llvm::ConstantInt::get(llvm::Type::Int32Ty, 0, false);
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	430
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	431 new llvm::CallInst(fn, llargs.begin(), llargs.end(), "", gIR->scopebb());
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	432 }
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	433
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	434 //////////////////////////////////////////////////////////////////////////////////////////
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	435 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	436 {
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	437 std::vector<const llvm::Type*> types;
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	438 types.push_back(dim->getType());
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	439 types.push_back(ptr->getType());
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	440 const llvm::StructType* type = llvm::StructType::get(types);
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	441 std::vector<llvm::Constant*> values;
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	442 values.push_back(dim);
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	443 values.push_back(ptr);
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	444 return llvm::ConstantStruct::get(type,values);
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	445 }
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	446
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	447 //////////////////////////////////////////////////////////////////////////////////////////
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* DtoNewDynArray(llvm::Value* dst, llvm::Value* dim, Type* dty, bool doinit)
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	449 {
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	450 const llvm::Type* ty = DtoType(dty);
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	451 assert(ty != llvm::Type::VoidTy);
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	452 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	453 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	454 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	455
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	456 llvm::Value* nullptr = llvm::ConstantPointerNull::get(llvm::PointerType::get(ty));
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	457
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	458 llvm::Value* newptr = DtoRealloc(nullptr, bytesize);
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	459
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	460 if (doinit) {
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	461 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	462 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	463 }
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	464
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	465 llvm::Value* lenptr = DtoGEPi(dst,0,0,"tmp",gIR->scopebb());
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	466 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	467 llvm::Value* ptrptr = DtoGEPi(dst,0,1,"tmp",gIR->scopebb());
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	468 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	469
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 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
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	473 //////////////////////////////////////////////////////////////////////////////////////////
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	474 llvm::Value* DtoResizeDynArray(llvm::Value* arr, llvm::Value* sz)
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	475 {
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	476 llvm::Value* ptr = DtoGEPi(arr, 0, 1, "tmp", gIR->scopebb());
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	477 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	478
c0967c4b2a74 [svn r40] Cleaned up some of the array routines to use gep/load/store instead of memcpy/memset. lindquist parents: 34 diff changeset	479 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	480 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	481 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	482
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	483 llvm::Value* newptr = DtoRealloc(ptrld, bytesz);
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	484 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	485
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	486 llvm::Value* len = DtoGEPi(arr, 0, 0, "tmp", gIR->scopebb());
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	487 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	488
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	489 return newptr;
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	490 }
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	491
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	492 //////////////////////////////////////////////////////////////////////////////////////////
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	493 void DtoCatAssignElement(llvm::Value* arr, Expression* exp)
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	494 {
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	495 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	496 llvm::Value* idx = DtoLoad(ptr);
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	497 llvm::Value* one = llvm::ConstantInt::get(idx->getType(),1,false);
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	498 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	499 DtoResizeDynArray(arr,len);
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	500
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	501 ptr = DtoLoad(DtoGEPi(arr, 0, 1, "tmp"));
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	502 ptr = new llvm::GetElementPtrInst(ptr, idx, "tmp", gIR->scopebb());
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	503
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	504 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	505
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	506 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	507 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	508 gIR->exps.pop_back();
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 if (!e->inPlace())
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	511 DtoAssign(dptr, 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
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	514 //////////////////////////////////////////////////////////////////////////////////////////
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	515 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	516 {
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	517 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	518
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	519 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	520
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	521 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	522
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	523 len1 = DtoArrayLen(darr);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	524 len2 = DtoArrayLen(e);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	525 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	526
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	527 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	528
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	529 src1 = DtoArrayPtr(darr);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	530 src2 = DtoArrayPtr(e);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	531
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	532 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	533 DtoMemCpy(mem,src2,len2);
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	534 }
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	535
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 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 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	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 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	540 Type* t2 = DtoDType(exp2->type);
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	541
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	542 assert(t1->ty == Tarray);
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	543 assert(t1->ty == t2->ty);
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	544
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	545 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	546 llvm::Value* a = e1->getRVal();
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	547
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	548 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	549 llvm::Value* b = e2->getRVal();
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	550
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	551 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	552 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	553 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	554 res = gIR->ir->CreateAdd(len1,len2,"tmp");
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	555
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	556 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	557
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	558 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	559 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	560
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	561 DtoMemCpy(mem,src1,len1);
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	562 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	563 DtoMemCpy(mem,src2,len2);
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	564 }
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	565
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	566 //////////////////////////////////////////////////////////////////////////////////////////
99 a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	567 // helper for eq and cmp
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	568 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	569 {
99 a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	570 llvm::Function* fn = LLVM_D_GetRuntimeFunction(gIR->module, func);
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	571 assert(fn);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	572
98 6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	573 llvm::Value* lmem;
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	574 llvm::Value* rmem;
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	575
98 6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	576 // 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	577 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	578 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	579 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	580 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	581 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	582 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	583 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	584 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	585 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	586 }
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	587
98 6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	588 // 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	589 if (l->isSlice()) {
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	590 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	591 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	592 }
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	593 else
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	594 lmem = l->getRVal();
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	595
98 6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	596 if (r->isSlice()) {
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	597 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	598 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	599 }
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	600 else
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	601 rmem = r->getRVal();
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	602
98 6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	603 const llvm::Type* pt = fn->getFunctionType()->getParamType(0);
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	604
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	605 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	606 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	607 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	608
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	609 // pass element typeinfo ?
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	610 if (useti) {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	611 TypeInfoDeclaration* ti = DtoDType(l->getType())->next->getTypeInfoDeclaration();
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	612 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	613 DtoForceConstInitDsymbol(ti);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	614 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	615 Logger::cout() << "typeinfo decl: " << *ti->llvmValue << '\n';
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	616
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	617 pt = fn->getFunctionType()->getParamType(2);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	618 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	619 }
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	620
99 a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	621 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	622 }
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	623
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	624 //////////////////////////////////////////////////////////////////////////////////////////
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	625 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	626 {
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	627 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	628 assert(fn);
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	629
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	630 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	631 if (op == TOKnotequal)
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	632 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	633
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	634 return res;
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	635 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	636
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	637 //////////////////////////////////////////////////////////////////////////////////////////
99 a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	638 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	639 {
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	640 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	641
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	642 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	643 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	644
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	645 switch(op)
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	646 {
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	647 case TOKlt:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	648 case TOKul:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	649 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	650 break;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	651 case TOKle:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	652 case TOKule:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	653 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	654 break;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	655 case TOKgt:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	656 case TOKug:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	657 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	658 break;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	659 case TOKge:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	660 case TOKuge:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	661 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	662 break;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	663 case TOKue:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	664 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	665 break;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	666 case TOKlg:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	667 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	668 break;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	669 case TOKleg:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	670 skip = true;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	671 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	672 break;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	673 case TOKunord:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	674 skip = true;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	675 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	676 break;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	677
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	678 default:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	679 assert(0);
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	680 }
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	681
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	682 if (!skip)
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	683 {
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	684 Type* t = DtoDType(DtoDType(l->getType())->next);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	685 if (t->ty == Tchar)
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	686 res = DtoArrayEqCmp_impl("_adCmpChar", l, r, false);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	687 else
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	688 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	689 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	690 }
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	691
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	692 assert(res);
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	693 return res;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	694 }
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	695
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	696 //////////////////////////////////////////////////////////////////////////////////////////
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	697 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	698 {
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 88 diff changeset	699 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	700 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	701 if (esz == nsz)
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 88 diff changeset	702 return len;
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 88 diff changeset	703
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	704 std::vector<llvm::Value*> args;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	705 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	706 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	707 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	708
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 88 diff changeset	709 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	710 return new llvm::CallInst(fn, args.begin(), args.end(), "tmp", gIR->scopebb());
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	711 }
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	712
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	713 //////////////////////////////////////////////////////////////////////////////////////////
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	714 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	715 {
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	716 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	717
69 2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 64 diff changeset	718 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	719 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	720 llvm::Value* rl = DtoConstSize_t(0);
69 2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 64 diff changeset	721 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	722
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	723 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	724 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	725 llvm::Value* rp = llvm::ConstantPointerNull::get(pty);
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 64 diff changeset	726 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	727
69 2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 64 diff changeset	728 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	729 return b;
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 64 diff changeset	730 }
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 64 diff changeset	731 else {
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 64 diff changeset	732 assert(l->getType() == r->getType());
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	733
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	734 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	735 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	736 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	737
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	738 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	739 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	740 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	741
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 64 diff changeset	742 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	743 return b;
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 64 diff changeset	744 }
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	745 }
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	746
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	747 //////////////////////////////////////////////////////////////////////////////////////////
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	748 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	749 {
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	750 const llvm::ArrayType* at = isaArray(t);
ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	751 assert(at);
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	752
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	753 if (isaArray(at->getElementType()))
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	754 {
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	755 c = DtoConstStaticArray(at->getElementType(), c);
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	756 }
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	757 else {
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	758 assert(at->getElementType() == c->getType());
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	759 }
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	760 std::vector<llvm::Constant*> initvals;
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	761 initvals.resize(at->getNumElements(), c);
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	762 return llvm::ConstantArray::get(at, initvals);
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	763 }
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	764
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	765 //////////////////////////////////////////////////////////////////////////////////////////
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	766 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	767 {
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	768 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	769 if (t->ty == Tarray) {
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	770 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	771 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	772 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	773 return DtoArrayLen(next);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	774 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	775 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	776 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	777 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	778 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	779 Logger::cout() << "casting: " << *rv << '\n';
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	780 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	781 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	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
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	787 //////////////////////////////////////////////////////////////////////////////////////////
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	788 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	789 {
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	790 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	791 if (t->ty == Tarray) {
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	792 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	793 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	794 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	795 return DtoArrayPtr(next);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	796 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	797 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	798 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	799 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	800 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	801 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	802 assert(0);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	803 return 0;
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	804 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	805
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	806 //////////////////////////////////////////////////////////////////////////////////////////
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 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	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 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	810
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 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	812 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	813 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	814
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 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	816 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	817 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	818
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 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	820 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	821 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	822 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	823 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	824 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	825 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	826 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	827 }
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 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	829 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	830 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	831 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	832 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	833 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	834
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 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	836 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	837 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	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 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	840 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	841 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	842 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	843 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	844 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	845 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	846 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	847 }
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 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	849 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	850 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	851 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	852 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	853 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	854 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	855 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	856 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	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 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	860 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	861 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	862 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	863 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	864
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 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	866 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	867 //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	868 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	869 }
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	870 }
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	871 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	872 }
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	873 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	874 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	875 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	876 }
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	877 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	878 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	879 }
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	880
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	881 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	882 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	883 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	884 }
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	885
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	886 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	887 }

Mercurial > projects > ldc

annotate gen/arrays.cpp @ 108:288fe1029e1f trunk