projects/ldc: gen/arrays.cpp annotate

annotate gen/arrays.cpp @ 109:5ab8e92611f9 trunk

[svn r113] Added initial support for associative arrays (AAs). Fixed some problems with the string runtime support functions. Fixed initialization of array of structs. Fixed slice assignment where LHS is slice but RHS is dynamic array. Fixed problems with result of assignment expressions. Fixed foreach problems with key type mismatches.

author	lindquist
date	Wed, 21 Nov 2007 04:13:15 +0100
parents	288fe1029e1f
children	fd7ad91fd713

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::cout() << "array: " << ptr << " dim: " << dim << " val: " << *val << '\n';
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	155 const llvm::Type* pt = ptr->getType()->getContainedType(0);
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	156 const llvm::Type* t = val->getType();
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	157 const llvm::Type* finalTy;
109 5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	158 size_t aggrsz = 0;
64 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)) {
109 5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	167 aggrsz = gTargetData->getTypeSize(t);
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	168 llvm::Constant* c = isaConstant(val);
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	169 if (c && c->isNullValue()) {
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	170 llvm::Value* nbytes;
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	171 if (aggrsz == 1)
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	172 nbytes = dim;
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	173 else
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	174 nbytes = gIR->ir->CreateMul(dim, DtoConstSize_t(aggrsz), "tmp");
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	175 DtoMemSetZero(ptr,nbytes);
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	176 return;
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	177 }
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	178 else {
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	179 ptr = gIR->ir->CreateBitCast(ptr, llvm::PointerType::get(llvm::Type::Int8Ty), "tmp");
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	180 }
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	181 }
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	182 else {
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	183 assert(t == pt);
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	184 }
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	185
109 5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	186 Logger::cout() << "array: " << ptr << " dim: " << dim << " val: " << *val << '\n';
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	187
43 eb7bf7b7972e [svn r47] fixed a problem with gdc 4.1 lindquist parents: 40 diff changeset	188 std::vector<llvm::Value*> args;
eb7bf7b7972e [svn r47] fixed a problem with gdc 4.1 lindquist parents: 40 diff changeset	189 args.push_back(ptr);
eb7bf7b7972e [svn r47] fixed a problem with gdc 4.1 lindquist parents: 40 diff changeset	190 args.push_back(dim);
eb7bf7b7972e [svn r47] fixed a problem with gdc 4.1 lindquist parents: 40 diff changeset	191 args.push_back(val);
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	192
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	193 const char* funcname = NULL;
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	194
109 5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	195 if (aggrsz) {
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	196 funcname = "_d_array_init_mem";
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	197 args.push_back(DtoConstSize_t(aggrsz));
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	198 }
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	199 else 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	200 funcname = "_d_array_init_pointer";
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	201
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	202 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	203 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	204 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	205
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	206 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	207 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	208 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	209 }
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	210 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	211 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	212 }
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	213 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	214 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	215 }
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	216 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	217 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	218 }
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	219 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	220 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	221 }
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	222 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	223 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	224 }
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	225 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	226 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	227 }
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	228 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	229 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	230 }
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	231 else {
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	232 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	233 assert(0);
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	234 }
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	235
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	236 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	237 assert(fn);
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	238 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	239 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	240 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	241 }
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	242
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	243 //////////////////////////////////////////////////////////////////////////////////////////
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	244
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	245 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	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 Logger::cout() << "DtoSetArray(" << arr << ", " << dim << ", " << *ptr << ")\n";
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	248 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	249
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	250 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	251 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	252
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	253 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	254 new llvm::StoreInst(dim, arrdim, gIR->scopebb());
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	255
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	256 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	257 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	258 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	259
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	260 //////////////////////////////////////////////////////////////////////////////////////////
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	261 llvm::Constant* DtoConstArrayInitializer(ArrayInitializer* arrinit)
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	262 {
88 058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	263 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	264 LOG_SCOPE;
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	265
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	266 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	267
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	268 Type* t;
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	269 integer_t tdim;
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	270 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	271 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	272 TypeSArray* tsa = (TypeSArray*)arrinittype;
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	273 tdim = tsa->dim->toInteger();
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	274 t = tsa;
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	275 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	276 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	277 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	278 t = arrinittype;
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	279 tdim = arrinit->dim;
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	280 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	281 else
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	282 assert(0);
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	283
88 058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	284 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	285
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	286 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	287
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	288 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	289
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	290 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	291 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	292 {
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	293 Initializer* init = 0;
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	294 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	295
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	296 if (idx)
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	297 {
88 058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	298 // 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	299 // 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	300 // 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	301 if (idx->type) {
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	302 //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	303 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	304 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	305 Logger::println("value gotten");
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	306 assert(cc != NULL);
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	307 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	308 assert(ci != NULL);
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	309 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	310 if (i == k)
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	311 {
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	312 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	313 assert(init);
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	314 ++j;
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	315 }
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	316 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	317 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	318 else
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	319 {
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	320 init = (Initializer*)arrinit->value.data[j];
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	321 ++j;
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	322 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	323
88 058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	324 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	325 assert(v);
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	326
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	327 inits[i] = v;
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	328 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	329
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	330 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	331 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	332
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	333 if (arrinittype->ty == Tsarray)
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	334 return constarr;
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	335 else
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	336 assert(arrinittype->ty == Tarray);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	337
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	338 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	339 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	340 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	341 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	342 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	343
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	344 //////////////////////////////////////////////////////////////////////////////////////////
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	345 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	346 {
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	347 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	348 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	349 if (e->len != 0) {
22 a6360e68134a [svn r26] * Fixed templates defining a constant value lindquist parents: 21 diff changeset	350 // 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	351 ret = e->ptr;
22 a6360e68134a [svn r26] * Fixed templates defining a constant value lindquist parents: 21 diff changeset	352
a6360e68134a [svn r26] * Fixed templates defining a constant value lindquist parents: 21 diff changeset	353 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	354 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	355
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	356 if (isaConstantInt(e->len)) {
ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	357 sz = llvm::ConstantExpr::getMul(elemsz, isaConstant(e->len));
22 a6360e68134a [svn r26] * Fixed templates defining a constant value lindquist parents: 21 diff changeset	358 }
a6360e68134a [svn r26] * Fixed templates defining a constant value lindquist parents: 21 diff changeset	359 else {
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	360 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	361 }
a6360e68134a [svn r26] * Fixed templates defining a constant value lindquist parents: 21 diff changeset	362 }
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	363 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	364 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	365
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	366 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	367 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	368
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	369 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	370 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	371
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	372 sz = llvm::ConstantExpr::getMul(elemsz, nelems);
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	373 }
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	374 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	375 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	376 ret = new llvm::LoadInst(ret, "tmp", gIR->scopebb());
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	377
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	378 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	379 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	380
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	381 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	382 len = new llvm::LoadInst(len, "tmp", gIR->scopebb());
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	383 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	384 }
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	385 else {
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	386 assert(0);
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	387 }
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	388 return ret;
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
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	391 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	392 {
21 8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	393 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	394
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	395 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	396 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	397
21 8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	398 llvm::Value* sz2;
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	399 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	400
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	401 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	402 std::vector<llvm::Value*> llargs;
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	403 llargs.resize(4);
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	404 llargs[0] = dstarr;
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	405 llargs[1] = srcarr;
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	406 llargs[2] = sz1;
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	407 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	408
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	409 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	410 }
21 8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	411
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	412 void DtoArrayCopyToSlice(DSliceValue* dst, DValue* src)
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	413 {
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	414 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	415
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	416 llvm::Value* sz1;
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	417 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	418 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	419
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	420 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	421 std::vector<llvm::Value*> llargs;
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	422 llargs.resize(4);
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	423 llargs[0] = dstarr;
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	424 llargs[1] = srcarr;
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	425 llargs[2] = sz1;
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	426 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	427
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	428 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	429 }
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	430
21 8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	431 //////////////////////////////////////////////////////////////////////////////////////////
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	432 void DtoStaticArrayCopy(llvm::Value* dst, llvm::Value* src)
48 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 assert(dst->getType() == src->getType());
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	435 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	436 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	437
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	438 llvm::Type* arrty = llvm::PointerType::get(llvm::Type::Int8Ty);
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	439 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	440 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	441
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	442 llvm::Function* fn = (global.params.is64bit) ? LLVM_DeclareMemCpy64() : LLVM_DeclareMemCpy32();
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	443 std::vector<llvm::Value*> llargs;
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	444 llargs.resize(4);
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	445 llargs[0] = dstarr;
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	446 llargs[1] = srcarr;
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	447 llargs[2] = n;
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	448 llargs[3] = llvm::ConstantInt::get(llvm::Type::Int32Ty, 0, false);
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	449
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	450 new llvm::CallInst(fn, llargs.begin(), llargs.end(), "", gIR->scopebb());
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	451 }
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	452
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	453 //////////////////////////////////////////////////////////////////////////////////////////
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	454 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	455 {
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	456 std::vector<const llvm::Type*> types;
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	457 types.push_back(dim->getType());
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	458 types.push_back(ptr->getType());
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	459 const llvm::StructType* type = llvm::StructType::get(types);
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	460 std::vector<llvm::Constant*> values;
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	461 values.push_back(dim);
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	462 values.push_back(ptr);
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	463 return llvm::ConstantStruct::get(type,values);
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	464 }
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	465
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	466 //////////////////////////////////////////////////////////////////////////////////////////
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 69 diff changeset	467 llvm::Value* DtoNewDynArray(llvm::Value* dst, llvm::Value* dim, Type* dty, bool doinit)
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	468 {
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	469 const llvm::Type* ty = DtoType(dty);
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	470 assert(ty != llvm::Type::VoidTy);
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	471 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	472 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	473 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	474
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	475 llvm::Value* nullptr = llvm::ConstantPointerNull::get(llvm::PointerType::get(ty));
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	476
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	477 llvm::Value* newptr = DtoRealloc(nullptr, bytesize);
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	478
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	479 if (doinit) {
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	480 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	481 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	482 }
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	483
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	484 llvm::Value* lenptr = DtoGEPi(dst,0,0,"tmp",gIR->scopebb());
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	485 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	486 llvm::Value* ptrptr = DtoGEPi(dst,0,1,"tmp",gIR->scopebb());
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	487 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	488
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 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
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	492 //////////////////////////////////////////////////////////////////////////////////////////
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	493 llvm::Value* DtoResizeDynArray(llvm::Value* arr, llvm::Value* sz)
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	494 {
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	495 llvm::Value* ptr = DtoGEPi(arr, 0, 1, "tmp", gIR->scopebb());
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	496 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	497
c0967c4b2a74 [svn r40] Cleaned up some of the array routines to use gep/load/store instead of memcpy/memset. lindquist parents: 34 diff changeset	498 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	499 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	500 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	501
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	502 llvm::Value* newptr = DtoRealloc(ptrld, bytesz);
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	503 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	504
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	505 llvm::Value* len = DtoGEPi(arr, 0, 0, "tmp", gIR->scopebb());
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	506 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	507
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	508 return newptr;
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	509 }
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	510
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	511 //////////////////////////////////////////////////////////////////////////////////////////
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	512 void DtoCatAssignElement(llvm::Value* arr, Expression* exp)
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	513 {
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	514 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	515 llvm::Value* idx = DtoLoad(ptr);
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	516 llvm::Value* one = llvm::ConstantInt::get(idx->getType(),1,false);
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	517 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	518 DtoResizeDynArray(arr,len);
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	519
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	520 ptr = DtoLoad(DtoGEPi(arr, 0, 1, "tmp"));
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	521 ptr = new llvm::GetElementPtrInst(ptr, idx, "tmp", gIR->scopebb());
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	522
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	523 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	524
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	525 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	526 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	527 gIR->exps.pop_back();
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 if (!e->inPlace())
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	530 DtoAssign(dptr, 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
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	533 //////////////////////////////////////////////////////////////////////////////////////////
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	534 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	535 {
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	536 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	537
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	538 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	539
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	540 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	541
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	542 len1 = DtoArrayLen(darr);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	543 len2 = DtoArrayLen(e);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	544 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	545
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	546 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	547
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	548 src1 = DtoArrayPtr(darr);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	549 src2 = DtoArrayPtr(e);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	550
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	551 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	552 DtoMemCpy(mem,src2,len2);
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	553 }
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	554
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 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 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	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 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	559 Type* t2 = DtoDType(exp2->type);
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	560
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	561 assert(t1->ty == Tarray);
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	562 assert(t1->ty == t2->ty);
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	563
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	564 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	565 llvm::Value* a = e1->getRVal();
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	566
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	567 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	568 llvm::Value* b = e2->getRVal();
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	569
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	570 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	571 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	572 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	573 res = gIR->ir->CreateAdd(len1,len2,"tmp");
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	574
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	575 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	576
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	577 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	578 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	579
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	580 DtoMemCpy(mem,src1,len1);
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	581 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	582 DtoMemCpy(mem,src2,len2);
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	583 }
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	584
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	585 //////////////////////////////////////////////////////////////////////////////////////////
99 a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	586 // helper for eq and cmp
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	587 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	588 {
99 a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	589 llvm::Function* fn = LLVM_D_GetRuntimeFunction(gIR->module, func);
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	590 assert(fn);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	591
98 6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	592 llvm::Value* lmem;
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	593 llvm::Value* rmem;
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	594
98 6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	595 // 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	596 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	597 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	598 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	599 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	600 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	601 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	602 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	603 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	604 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	605 }
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	606
98 6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	607 // 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	608 if (l->isSlice()) {
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	609 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	610 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	611 }
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	612 else
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	613 lmem = l->getRVal();
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	614
98 6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	615 if (r->isSlice()) {
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	616 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	617 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	618 }
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	619 else
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	620 rmem = r->getRVal();
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	621
98 6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	622 const llvm::Type* pt = fn->getFunctionType()->getParamType(0);
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	623
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	624 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	625 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	626 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	627
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	628 // pass element typeinfo ?
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	629 if (useti) {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	630 TypeInfoDeclaration* ti = DtoDType(l->getType())->next->getTypeInfoDeclaration();
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	631 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	632 DtoForceConstInitDsymbol(ti);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	633 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	634 Logger::cout() << "typeinfo decl: " << *ti->llvmValue << '\n';
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	635
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	636 pt = fn->getFunctionType()->getParamType(2);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	637 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	638 }
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	639
99 a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	640 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	641 }
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	642
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	643 //////////////////////////////////////////////////////////////////////////////////////////
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	644 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	645 {
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	646 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	647 assert(fn);
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	648
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	649 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	650 if (op == TOKnotequal)
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	651 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	652
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	653 return res;
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	654 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	655
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	656 //////////////////////////////////////////////////////////////////////////////////////////
99 a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	657 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	658 {
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	659 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	660
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	661 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	662 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	663
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	664 switch(op)
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	665 {
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	666 case TOKlt:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	667 case TOKul:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	668 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	669 break;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	670 case TOKle:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	671 case TOKule:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	672 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	673 break;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	674 case TOKgt:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	675 case TOKug:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	676 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	677 break;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	678 case TOKge:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	679 case TOKuge:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	680 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	681 break;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	682 case TOKue:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	683 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	684 break;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	685 case TOKlg:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	686 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	687 break;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	688 case TOKleg:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	689 skip = true;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	690 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	691 break;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	692 case TOKunord:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	693 skip = true;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	694 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	695 break;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	696
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	697 default:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	698 assert(0);
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	699 }
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	700
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	701 if (!skip)
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	702 {
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	703 Type* t = DtoDType(DtoDType(l->getType())->next);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	704 if (t->ty == Tchar)
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	705 res = DtoArrayEqCmp_impl("_adCmpChar", l, r, false);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	706 else
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	707 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	708 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	709 }
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	710
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	711 assert(res);
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	712 return res;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	713 }
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	714
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	715 //////////////////////////////////////////////////////////////////////////////////////////
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	716 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	717 {
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 88 diff changeset	718 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	719 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	720 if (esz == nsz)
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 88 diff changeset	721 return len;
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 88 diff changeset	722
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	723 std::vector<llvm::Value*> args;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	724 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	725 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	726 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	727
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 88 diff changeset	728 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	729 return new llvm::CallInst(fn, args.begin(), args.end(), "tmp", gIR->scopebb());
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	730 }
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	731
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	732 //////////////////////////////////////////////////////////////////////////////////////////
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	733 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	734 {
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	735 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	736
69 2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 64 diff changeset	737 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	738 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	739 llvm::Value* rl = DtoConstSize_t(0);
69 2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 64 diff changeset	740 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	741
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	742 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	743 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	744 llvm::Value* rp = llvm::ConstantPointerNull::get(pty);
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 64 diff changeset	745 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	746
69 2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 64 diff changeset	747 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	748 return b;
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 64 diff changeset	749 }
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 64 diff changeset	750 else {
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 64 diff changeset	751 assert(l->getType() == r->getType());
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	752
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	753 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	754 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	755 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	756
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	757 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	758 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	759 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	760
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 64 diff changeset	761 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	762 return b;
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 64 diff changeset	763 }
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	764 }
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	765
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	766 //////////////////////////////////////////////////////////////////////////////////////////
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	767 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	768 {
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	769 const llvm::ArrayType* at = isaArray(t);
ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	770 assert(at);
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	771
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	772 if (isaArray(at->getElementType()))
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	773 {
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	774 c = DtoConstStaticArray(at->getElementType(), c);
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	775 }
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	776 else {
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	777 assert(at->getElementType() == c->getType());
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	778 }
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	779 std::vector<llvm::Constant*> initvals;
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	780 initvals.resize(at->getNumElements(), c);
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	781 return llvm::ConstantArray::get(at, initvals);
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	782 }
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	783
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	784 //////////////////////////////////////////////////////////////////////////////////////////
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	785 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	786 {
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	787 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	788 if (t->ty == Tarray) {
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	789 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	790 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	791 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	792 return DtoArrayLen(next);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	793 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	794 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	795 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	796 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	797 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	798 Logger::cout() << "casting: " << *rv << '\n';
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	799 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	800 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	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
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	806 //////////////////////////////////////////////////////////////////////////////////////////
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	807 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	808 {
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	809 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	810 if (t->ty == Tarray) {
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	811 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	812 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	813 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	814 return DtoArrayPtr(next);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	815 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	816 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	817 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	818 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	819 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	820 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	821 assert(0);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	822 return 0;
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	823 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	824
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	825 //////////////////////////////////////////////////////////////////////////////////////////
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 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	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 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	829
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 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	831 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	832 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	833
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 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	835 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	836 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	837
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 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	839 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	840 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	841 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	842 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	843 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	844 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	845 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	846 }
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 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	848 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	849 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	850 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	851 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	852 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	853
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	854 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	855 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	856 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	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 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	859 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	860 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	861 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	862 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	863 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	864 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	865 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	866 }
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	867 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	868 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	869 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	870 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	871 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	872 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	873 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	874 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	875 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	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 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	879 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	880 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	881 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	882 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	883
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 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	885 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	886 //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	887 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	888 }
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	889 }
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	890 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	891 }
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	892 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	893 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	894 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	895 }
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	896 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	897 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	898 }
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	899
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	900 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	901 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	902 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	903 }
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	904
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	905 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	906 }

Mercurial > projects > ldc

annotate gen/arrays.cpp @ 109:5ab8e92611f9 trunk