projects/ldc: gen/arrays.c annotate

annotate gen/arrays.c @ 57:a9d29e9f1fed trunk

[svn r61] Added support for D-style variadic functions :)

author	lindquist
date	Thu, 25 Oct 2007 02:39:53 +0200
parents	28e99b04a132
children	2c3cd3596187

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"
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	14 #include "gen/elem.h"
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
11 d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 6 diff changeset	18 const llvm::StructType* LLVM_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);
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	21 const llvm::Type* at = LLVM_DtoType(t->next);
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 (t->ty == Tsarray) {
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	25 TypeSArray* tsa = (TypeSArray*)t;
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	26 assert(tsa->dim->type->isintegral());
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	27 arrty = llvm::ArrayType::get(at,tsa->dim->toUInteger());
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 else {
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	30 arrty = llvm::ArrayType::get(at,0);
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	31 }*/
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	32 if (at == llvm::Type::VoidTy) {
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	33 at = llvm::Type::Int8Ty;
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 arrty = llvm::PointerType::get(at);
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 std::vector<const llvm::Type*> members;
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	38 if (global.params.is64bit)
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	39 members.push_back(llvm::Type::Int64Ty);
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	40 else
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	41 members.push_back(llvm::Type::Int32Ty);
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	42
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	43 members.push_back(arrty);
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	44
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	45 return llvm::StructType::get(members);
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
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	48 //////////////////////////////////////////////////////////////////////////////////////////
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	49
11 d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 6 diff changeset	50 const llvm::ArrayType* LLVM_DtoStaticArrayType(Type* t)
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 if (t->llvmType)
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	53 return llvm::cast<llvm::ArrayType>(t->llvmType);
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	54
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	55 assert(t->ty == Tsarray);
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	56 assert(t->next);
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	57
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	58 const llvm::Type* at = LLVM_DtoType(t->next);
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 TypeSArray* tsa = (TypeSArray*)t;
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	61 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	62 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	63
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	64 tsa->llvmType = arrty;
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	65 return arrty;
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	66 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	67
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	68 //////////////////////////////////////////////////////////////////////////////////////////
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	69
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	70 void LLVM_DtoNullArray(llvm::Value* v)
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	71 {
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	72 assert(gIR);
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	73
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	74 llvm::Value* len = LLVM_DtoGEPi(v,0,0,"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	75 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	76 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	77
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	78 llvm::Value* ptr = LLVM_DtoGEPi(v,0,1,"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	79 const llvm::PointerType* pty = llvm::cast<llvm::PointerType>(ptr->getType()->getContainedType(0));
c0967c4b2a74 [svn r40] Cleaned up some of the array routines to use gep/load/store instead of memcpy/memset. lindquist parents: 34 diff changeset	80 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	81 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	82 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	83
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	84 //////////////////////////////////////////////////////////////////////////////////////////
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	85
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	86 void LLVM_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	87 {
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	88 assert(gIR);
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	89 if (dst->getType() == src->getType())
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	90 {
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	91 llvm::Value* ptr = LLVM_DtoGEPi(src,0,0,"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	92 llvm::Value* val = new llvm::LoadInst(ptr,"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	93 ptr = LLVM_DtoGEPi(dst,0,0,"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	94 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	95
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	96 ptr = LLVM_DtoGEPi(src,0,1,"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	97 val = new llvm::LoadInst(ptr,"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	98 ptr = LLVM_DtoGEPi(dst,0,1,"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	99 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	100 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	101 else
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	102 {
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	103 Logger::cout() << "array assignment type dont match: " << dst->getType() << '\n' << src->getType() << '\n';
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	104 if (!llvm::isa<llvm::ArrayType>(src->getType()->getContainedType(0)))
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	105 {
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	106 Logger::cout() << "invalid: " << *src << '\n';
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	107 assert(0);
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	108 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	109 const llvm::ArrayType* arrty = llvm::cast<llvm::ArrayType>(src->getType()->getContainedType(0));
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	110 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	111
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	112 llvm::Value* dstlen = LLVM_DtoGEPi(dst,0,0,"tmp",gIR->scopebb());
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	113 llvm::Value* srclen = LLVM_DtoConstSize_t(arrty->getNumElements());
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	114 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	115
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	116 llvm::Value* dstptr = LLVM_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	117 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	118 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	119 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	120 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	121
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	122 //////////////////////////////////////////////////////////////////////////////////////////
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	123
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	124 void LLVM_DtoArrayInit(llvm::Value* l, llvm::Value* r)
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	125 {
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	126 const llvm::PointerType* ptrty = llvm::cast<llvm::PointerType>(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	127 const llvm::Type* t = ptrty->getContainedType(0);
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	128 const llvm::ArrayType* arrty = llvm::cast_or_null<llvm::ArrayType>(t);
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	129 if (arrty)
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	130 {
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	131 llvm::Value* ptr = LLVM_DtoGEPi(l,0,0,"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	132 llvm::Value* dim = llvm::ConstantInt::get(LLVM_DtoSize_t(), arrty->getNumElements(), false);
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	133 llvm::Value* val = r;
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	134 LLVM_DtoArrayInit(ptr, dim, val);
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	135 }
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	136 else if (llvm::isa<llvm::StructType>(t))
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	137 {
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	138 assert(0 && "Only static arrays support initialisers atm");
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	139 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	140 else
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	141 assert(0);
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	142 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	143
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	144 //////////////////////////////////////////////////////////////////////////////////////////
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	145
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	146 void LLVM_DtoArrayInit(llvm::Value* ptr, llvm::Value* dim, llvm::Value* val)
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	147 {
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	148 const llvm::Type* t = ptr->getType()->getContainedType(0);
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	149
43 eb7bf7b7972e [svn r47] fixed a problem with gdc 4.1 lindquist parents: 40 diff changeset	150 std::vector<llvm::Value*> args;
eb7bf7b7972e [svn r47] fixed a problem with gdc 4.1 lindquist parents: 40 diff changeset	151 args.push_back(ptr);
eb7bf7b7972e [svn r47] fixed a problem with gdc 4.1 lindquist parents: 40 diff changeset	152 args.push_back(dim);
eb7bf7b7972e [svn r47] fixed a problem with gdc 4.1 lindquist parents: 40 diff changeset	153 args.push_back(val);
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	154
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	155 const char* funcname = NULL;
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	156
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	157 if (llvm::isa<llvm::PointerType>(t)) {
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	158 funcname = "_d_array_init_pointer";
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	159
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	160 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	161 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	162 args[0] = new llvm::BitCastInst(args[0],dstty,"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	163
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	164 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	165 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	166 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	167 }
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	168 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	169 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	170 }
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	171 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	172 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	173 }
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	174 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	175 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	176 }
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	177 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	178 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	179 }
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	180 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	181 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	182 }
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	183 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	184 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	185 }
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	186 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	187 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	188 }
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	189 else {
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	190 assert(0);
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	191 }
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	192
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	193 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	194 assert(fn);
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	195 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	196 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	197 }
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	198
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	199 //////////////////////////////////////////////////////////////////////////////////////////
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	200
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	201 void LLVM_DtoSetArray(llvm::Value* arr, llvm::Value* dim, llvm::Value* ptr)
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	202 {
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	203 Logger::cout() << "LLVM_DtoSetArray(" << arr << ", " << dim << ", " << *ptr << ")\n";
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	204 const llvm::StructType* st = llvm::cast<llvm::StructType>(arr->getType()->getContainedType(0));
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	205 //const llvm::PointerType* pt = llvm::cast<llvm::PointerType>(r->getType());
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	206
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	207 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	208 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	209
6 35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	210 llvm::Value* arrdim = LLVM_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	211 new llvm::StoreInst(dim, arrdim, gIR->scopebb());
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	212
6 35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	213 llvm::Value* arrptr = LLVM_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	214 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	215 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	216
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	217 //////////////////////////////////////////////////////////////////////////////////////////
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	218 llvm::Constant* LLVM_DtoConstArrayInitializer(ArrayInitializer* arrinit)
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	219 {
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	220 Logger::println("arr init begin");
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	221 Type* arrinittype = LLVM_DtoDType(arrinit->type);
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	222 assert(arrinittype->ty == Tsarray);
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	223 TypeSArray* t = (TypeSArray*)arrinittype;
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	224 integer_t tdim = t->dim->toInteger();
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	225
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	226 std::vector<llvm::Constant*> inits(tdim, 0);
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	227
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	228 const llvm::Type* elemty = LLVM_DtoType(arrinittype->next);
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	229
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	230 assert(arrinit->index.dim == arrinit->value.dim);
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	231 for (int i=0,j=0; i < tdim; ++i)
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	232 {
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	233 Initializer* init = 0;
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	234 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	235
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	236 if (idx)
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	237 {
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	238 integer_t k = idx->toInteger();
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	239 if (i == k)
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	240 {
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	241 init = (Initializer*)arrinit->value.data[j];
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	242 assert(init);
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	243 ++j;
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	244 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	245 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	246 else
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	247 {
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	248 init = (Initializer*)arrinit->value.data[j];
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	249 ++j;
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	250 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	251
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	252 llvm::Constant* v = 0;
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	253
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	254 if (!init)
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	255 {
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	256 v = t->next->defaultInit()->toConstElem(gIR);
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	257 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	258 else if (ExpInitializer* ex = init->isExpInitializer())
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	259 {
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	260 v = ex->exp->toConstElem(gIR);
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	261 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	262 else if (StructInitializer* si = init->isStructInitializer())
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	263 {
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	264 v = LLVM_DtoConstStructInitializer(si);
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	265 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	266 else if (ArrayInitializer* ai = init->isArrayInitializer())
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	267 {
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	268 v = LLVM_DtoConstArrayInitializer(ai);
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	269 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	270 else if (init->isVoidInitializer())
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	271 {
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	272 v = llvm::UndefValue::get(elemty);
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	273 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	274 else
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	275 assert(v);
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	276
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	277 inits[i] = v;
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	278 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	279
11 d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 6 diff changeset	280 const llvm::ArrayType* arrty = LLVM_DtoStaticArrayType(t);
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	281 return llvm::ConstantArray::get(arrty, inits);
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	282 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	283
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	284 //////////////////////////////////////////////////////////////////////////////////////////
21 8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	285 static llvm::Value* get_slice_ptr(elem* e, llvm::Value*& sz)
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	286 {
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	287 assert(e->mem);
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	288 const llvm::Type* t = e->mem->getType()->getContainedType(0);
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	289 llvm::Value* ret = 0;
22 a6360e68134a [svn r26] * Fixed templates defining a constant value lindquist parents: 21 diff changeset	290 if (e->arg != 0) {
a6360e68134a [svn r26] * Fixed templates defining a constant value lindquist parents: 21 diff changeset	291 // this means it's a real slice
a6360e68134a [svn r26] * Fixed templates defining a constant value lindquist parents: 21 diff changeset	292 ret = e->mem;
a6360e68134a [svn r26] * Fixed templates defining a constant value lindquist parents: 21 diff changeset	293
a6360e68134a [svn r26] * Fixed templates defining a constant value lindquist parents: 21 diff changeset	294 size_t elembsz = gTargetData->getTypeSize(ret->getType());
a6360e68134a [svn r26] * Fixed templates defining a constant value lindquist parents: 21 diff changeset	295 llvm::ConstantInt* elemsz = llvm::ConstantInt::get(LLVM_DtoSize_t(), elembsz, false);
a6360e68134a [svn r26] * Fixed templates defining a constant value lindquist parents: 21 diff changeset	296
a6360e68134a [svn r26] * Fixed templates defining a constant value lindquist parents: 21 diff changeset	297 if (llvm::isa<llvm::ConstantInt>(e->arg)) {
a6360e68134a [svn r26] * Fixed templates defining a constant value lindquist parents: 21 diff changeset	298 sz = llvm::ConstantExpr::getMul(elemsz, llvm::cast<llvm::Constant>(e->arg));
a6360e68134a [svn r26] * Fixed templates defining a constant value lindquist parents: 21 diff changeset	299 }
a6360e68134a [svn r26] * Fixed templates defining a constant value lindquist parents: 21 diff changeset	300 else {
a6360e68134a [svn r26] * Fixed templates defining a constant value lindquist parents: 21 diff changeset	301 sz = llvm::BinaryOperator::createMul(elemsz,e->arg,"tmp",gIR->scopebb());
a6360e68134a [svn r26] * Fixed templates defining a constant value lindquist parents: 21 diff changeset	302 }
a6360e68134a [svn r26] * Fixed templates defining a constant value lindquist parents: 21 diff changeset	303 }
a6360e68134a [svn r26] * Fixed templates defining a constant value lindquist parents: 21 diff changeset	304 else if (llvm::isa<llvm::ArrayType>(t)) {
21 8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	305 ret = LLVM_DtoGEPi(e->mem, 0, 0, "tmp", gIR->scopebb());
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	306
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	307 size_t elembsz = gTargetData->getTypeSize(ret->getType()->getContainedType(0));
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	308 llvm::ConstantInt* elemsz = llvm::ConstantInt::get(LLVM_DtoSize_t(), elembsz, false);
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	309
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	310 size_t numelements = llvm::cast<llvm::ArrayType>(t)->getNumElements();
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	311 llvm::ConstantInt* nelems = llvm::ConstantInt::get(LLVM_DtoSize_t(), numelements, false);
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	312
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	313 sz = llvm::ConstantExpr::getMul(elemsz, nelems);
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	314 }
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	315 else if (llvm::isa<llvm::StructType>(t)) {
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	316 ret = LLVM_DtoGEPi(e->mem, 0, 1, "tmp", gIR->scopebb());
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	317 ret = new llvm::LoadInst(ret, "tmp", gIR->scopebb());
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	318
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	319 size_t elembsz = gTargetData->getTypeSize(ret->getType()->getContainedType(0));
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	320 llvm::ConstantInt* elemsz = llvm::ConstantInt::get(LLVM_DtoSize_t(), elembsz, false);
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	321
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	322 llvm::Value* len = LLVM_DtoGEPi(e->mem, 0, 0, "tmp", gIR->scopebb());
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	323 len = new llvm::LoadInst(len, "tmp", gIR->scopebb());
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	324 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	325 }
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	326 else {
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	327 assert(0);
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	328 }
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	329 return ret;
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	330 }
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	331
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	332 void LLVM_DtoArrayCopy(elem* dst, elem* src)
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	333 {
21 8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	334 Logger::cout() << "Array copy ((((" << src->mem << ")))) into ((((" << dst->mem << "))))\n";
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	335
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	336 assert(dst->type == elem::SLICE);
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	337 assert(src->type == elem::SLICE);
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	338
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	339 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	340
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	341 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	342 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	343
21 8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	344 llvm::Value* sz2;
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	345 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	346
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	347 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	348 std::vector<llvm::Value*> llargs;
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	349 llargs.resize(4);
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	350 llargs[0] = dstarr;
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	351 llargs[1] = srcarr;
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	352 llargs[2] = sz1;
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	353 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	354
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	355 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	356 }
21 8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	357
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	358 //////////////////////////////////////////////////////////////////////////////////////////
48 4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	359 void LLVM_DtoStaticArrayCopy(llvm::Value* dst, llvm::Value* src)
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	360 {
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	361 assert(dst->getType() == src->getType());
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	362 size_t arrsz = gTargetData->getTypeSize(dst->getType()->getContainedType(0));
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	363 llvm::Value* n = llvm::ConstantInt::get(LLVM_DtoSize_t(), arrsz, false);
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	364
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	365 llvm::Type* arrty = llvm::PointerType::get(llvm::Type::Int8Ty);
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	366 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	367 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	368
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	369 llvm::Function* fn = (global.params.is64bit) ? LLVM_DeclareMemCpy64() : LLVM_DeclareMemCpy32();
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	370 std::vector<llvm::Value*> llargs;
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	371 llargs.resize(4);
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	372 llargs[0] = dstarr;
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	373 llargs[1] = srcarr;
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	374 llargs[2] = n;
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	375 llargs[3] = llvm::ConstantInt::get(llvm::Type::Int32Ty, 0, false);
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	376
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	377 new llvm::CallInst(fn, llargs.begin(), llargs.end(), "", gIR->scopebb());
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	378 }
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	379
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	380 //////////////////////////////////////////////////////////////////////////////////////////
21 8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	381 llvm::Constant* LLVM_DtoConstantSlice(llvm::Constant* dim, llvm::Constant* ptr)
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	382 {
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	383 std::vector<const llvm::Type*> types;
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	384 types.push_back(dim->getType());
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	385 types.push_back(ptr->getType());
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	386 const llvm::StructType* type = llvm::StructType::get(types);
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	387 std::vector<llvm::Constant*> values;
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	388 values.push_back(dim);
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	389 values.push_back(ptr);
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	390 return llvm::ConstantStruct::get(type,values);
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	391 }
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	392
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	393 //////////////////////////////////////////////////////////////////////////////////////////
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	394 void LLVM_DtoNewDynArray(llvm::Value* dst, llvm::Value* dim, Type* dty, bool doinit)
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	395 {
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	396 const llvm::Type* ty = LLVM_DtoType(dty);
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	397 size_t sz = gTargetData->getTypeSize(ty);
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	398 llvm::ConstantInt* n = llvm::ConstantInt::get(LLVM_DtoSize_t(), sz, false);
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	399 llvm::Value* bytesize = llvm::BinaryOperator::createMul(n,dim,"tmp",gIR->scopebb());
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	400
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	401 llvm::Value* nullptr = llvm::ConstantPointerNull::get(llvm::PointerType::get(ty));
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	402
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	403 llvm::Value* newptr = LLVM_DtoRealloc(nullptr, bytesize);
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	404
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	405 if (doinit) {
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	406 elem* e = dty->defaultInit()->toElem(gIR);
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	407 LLVM_DtoArrayInit(newptr,dim,e->getValue());
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	408 delete e;
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	409 }
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	410
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	411 llvm::Value* lenptr = LLVM_DtoGEPi(dst,0,0,"tmp",gIR->scopebb());
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	412 new llvm::StoreInst(dim,lenptr,gIR->scopebb());
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	413 llvm::Value* ptrptr = LLVM_DtoGEPi(dst,0,1,"tmp",gIR->scopebb());
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	414 new llvm::StoreInst(newptr,ptrptr,gIR->scopebb());
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	415 }
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	416
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	417 //////////////////////////////////////////////////////////////////////////////////////////
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	418 void LLVM_DtoResizeDynArray(llvm::Value* arr, llvm::Value* sz)
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	419 {
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	420 llvm::Value* ptr = LLVM_DtoGEPi(arr, 0, 1, "tmp", gIR->scopebb());
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	421 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	422
c0967c4b2a74 [svn r40] Cleaned up some of the array routines to use gep/load/store instead of memcpy/memset. lindquist parents: 34 diff changeset	423 size_t isz = gTargetData->getTypeSize(ptrld->getType()->getContainedType(0));
c0967c4b2a74 [svn r40] Cleaned up some of the array routines to use gep/load/store instead of memcpy/memset. lindquist parents: 34 diff changeset	424 llvm::ConstantInt* n = llvm::ConstantInt::get(LLVM_DtoSize_t(), isz, 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	425 llvm::Value* bytesz = llvm::BinaryOperator::createMul(n,sz,"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	426
c0967c4b2a74 [svn r40] Cleaned up some of the array routines to use gep/load/store instead of memcpy/memset. lindquist parents: 34 diff changeset	427 llvm::Value* newptr = LLVM_DtoRealloc(ptrld, bytesz);
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	428 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	429
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	430 llvm::Value* len = LLVM_DtoGEPi(arr, 0, 0, "tmp", gIR->scopebb());
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	431 new llvm::StoreInst(sz,len,gIR->scopebb());
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	432 }
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	433
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	434 //////////////////////////////////////////////////////////////////////////////////////////
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	435 void LLVM_DtoCatArrayElement(llvm::Value* arr, Expression* exp)
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	436 {
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	437 llvm::Value* ptr = LLVM_DtoGEPi(arr, 0, 0, "tmp", gIR->scopebb());
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	438 llvm::Value* idx = new llvm::LoadInst(ptr, "tmp", gIR->scopebb());
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	439 llvm::Value* one = llvm::ConstantInt::get(idx->getType(),1,false);
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	440 llvm::Value* len = llvm::BinaryOperator::createAdd(idx, one, "tmp", gIR->scopebb());
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	441 LLVM_DtoResizeDynArray(arr,len);
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	442
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	443 ptr = LLVM_DtoGEPi(arr, 0, 1, "tmp", gIR->scopebb());
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	444 ptr = new llvm::LoadInst(ptr, "tmp", gIR->scopebb());
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	445 ptr = new llvm::GetElementPtrInst(ptr, idx, "tmp", gIR->scopebb());
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	446
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	447 elem* e = exp->toElem(gIR);
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	448 Type* et = LLVM_DtoDType(exp->type);
51 61bc1b4ad3c4 [svn r55] Foreach was always generating code as if the value variable was 'ref' lindquist parents: 48 diff changeset	449 LLVM_DtoAssign(et, ptr, e->getValue());
61bc1b4ad3c4 [svn r55] Foreach was always generating code as if the value variable was 'ref' lindquist parents: 48 diff changeset	450 delete e;
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	451 }
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	452
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	453 //////////////////////////////////////////////////////////////////////////////////////////
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	454 llvm::Value* LLVM_DtoStaticArrayCompare(TOK op, llvm::Value* l, llvm::Value* r)
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	455 {
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	456 const char* fname;
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	457 if (op == TOKequal)
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	458 fname = "_d_static_array_eq";
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	459 else if (op == TOKnotequal)
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	460 fname = "_d_static_array_neq";
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	461 else
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	462 assert(0);
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	463 llvm::Function* fn = LLVM_D_GetRuntimeFunction(gIR->module, fname);
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	464 assert(fn);
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	465
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	466 assert(l->getType() == r->getType());
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	467 assert(llvm::isa<llvm::PointerType>(l->getType()));
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	468 const llvm::Type* arrty = l->getType()->getContainedType(0);
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	469 assert(llvm::isa<llvm::ArrayType>(arrty));
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	470
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	471 llvm::Value* ll = new llvm::BitCastInst(l, llvm::PointerType::get(llvm::Type::Int8Ty), "tmp", gIR->scopebb());
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	472 llvm::Value* rr = new llvm::BitCastInst(r, llvm::PointerType::get(llvm::Type::Int8Ty), "tmp", gIR->scopebb());
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	473 llvm::Value* n = llvm::ConstantInt::get(LLVM_DtoSize_t(),gTargetData->getTypeSize(arrty),false);
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	474
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	475 std::vector<llvm::Value*> args;
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	476 args.push_back(ll);
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	477 args.push_back(rr);
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	478 args.push_back(n);
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	479 return new llvm::CallInst(fn, args.begin(), args.end(), "tmp", gIR->scopebb());
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	480 }
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	481
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	482 //////////////////////////////////////////////////////////////////////////////////////////
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	483
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	484 llvm::Value* LLVM_DtoDynArrayCompare(TOK op, llvm::Value* l, llvm::Value* r)
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	485 {
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	486 const char* fname;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	487 if (op == TOKequal)
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	488 fname = "_d_dyn_array_eq";
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	489 else if (op == TOKnotequal)
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	490 fname = "_d_dyn_array_neq";
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	491 else
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	492 assert(0);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	493 llvm::Function* fn = LLVM_D_GetRuntimeFunction(gIR->module, fname);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	494 assert(fn);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	495
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	496 Logger::cout() << "lhsType:" << l->getType() << "\nrhsType:" << r->getType() << '\n';
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	497 assert(l->getType() == r->getType());
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	498 assert(llvm::isa<llvm::PointerType>(l->getType()));
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	499 const llvm::Type* arrty = l->getType()->getContainedType(0);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	500 assert(llvm::isa<llvm::StructType>(arrty));
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	501 const llvm::StructType* structType = llvm::cast<llvm::StructType>(arrty);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	502 const llvm::Type* elemType = structType->getElementType(1)->getContainedType(0);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	503
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	504 std::vector<const llvm::Type*> arrTypes;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	505 arrTypes.push_back(LLVM_DtoSize_t());
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	506 arrTypes.push_back(llvm::PointerType::get(llvm::Type::Int8Ty));
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	507 const llvm::StructType* arrType = llvm::StructType::get(arrTypes);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	508
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	509 llvm::Value* llmem = l;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	510 llvm::Value* rrmem = r;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	511
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	512 if (arrty != arrType) {
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	513 llmem= new llvm::AllocaInst(arrType,"tmparr",gIR->topallocapoint());
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	514
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	515 llvm::Value* ll = gIR->ir->CreateLoad(LLVM_DtoGEPi(l, 0,0, "tmp"),"tmp");
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	516 ll = LLVM_DtoArrayCastLength(ll, elemType, llvm::Type::Int8Ty);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	517 llvm::Value* lllen = LLVM_DtoGEPi(llmem, 0,0, "tmp");
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	518 gIR->ir->CreateStore(ll,lllen);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	519
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	520 ll = gIR->ir->CreateLoad(LLVM_DtoGEPi(l, 0,1, "tmp"),"tmp");
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	521 ll = new llvm::BitCastInst(ll, llvm::PointerType::get(llvm::Type::Int8Ty), "tmp", gIR->scopebb());
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	522 llvm::Value* llptr = LLVM_DtoGEPi(llmem, 0,1, "tmp");
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	523 gIR->ir->CreateStore(ll,llptr);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	524
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	525 rrmem = new llvm::AllocaInst(arrType,"tmparr",gIR->topallocapoint());
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	526
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	527 llvm::Value* rr = gIR->ir->CreateLoad(LLVM_DtoGEPi(r, 0,0, "tmp"),"tmp");
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	528 rr = LLVM_DtoArrayCastLength(rr, elemType, llvm::Type::Int8Ty);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	529 llvm::Value* rrlen = LLVM_DtoGEPi(rrmem, 0,0, "tmp");
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	530 gIR->ir->CreateStore(rr,rrlen);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	531
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	532 rr = gIR->ir->CreateLoad(LLVM_DtoGEPi(r, 0,1, "tmp"),"tmp");
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	533 rr = new llvm::BitCastInst(rr, llvm::PointerType::get(llvm::Type::Int8Ty), "tmp", gIR->scopebb());
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	534 llvm::Value* rrptr = LLVM_DtoGEPi(rrmem, 0,1, "tmp");
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	535 gIR->ir->CreateStore(rr,rrptr);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	536 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	537
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	538 std::vector<llvm::Value*> args;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	539 args.push_back(llmem);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	540 args.push_back(rrmem);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	541 return new llvm::CallInst(fn, args.begin(), args.end(), "tmp", gIR->scopebb());
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	542 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	543
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	544 //////////////////////////////////////////////////////////////////////////////////////////
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	545 llvm::Value* LLVM_DtoArrayCastLength(llvm::Value* len, const llvm::Type* elemty, const llvm::Type* newelemty)
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	546 {
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	547 llvm::Function* fn = LLVM_D_GetRuntimeFunction(gIR->module, "_d_array_cast_len");
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	548 assert(fn);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	549 std::vector<llvm::Value*> args;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	550 args.push_back(len);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	551 args.push_back(llvm::ConstantInt::get(LLVM_DtoSize_t(), gTargetData->getTypeSize(elemty), false));
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	552 args.push_back(llvm::ConstantInt::get(LLVM_DtoSize_t(), gTargetData->getTypeSize(newelemty), false));
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	553 return new llvm::CallInst(fn, args.begin(), args.end(), "tmp", gIR->scopebb());
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	554 }
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	555
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	556 //////////////////////////////////////////////////////////////////////////////////////////
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	557 llvm::Value* LLVM_DtoDynArrayIs(TOK op, llvm::Value* l, llvm::Value* r)
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	558 {
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	559 assert(l->getType() == r->getType());
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	560
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	561 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	562
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	563 llvm::Value* ll = gIR->ir->CreateLoad(LLVM_DtoGEPi(l, 0,0, "tmp"),"tmp");
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	564 llvm::Value* rl = gIR->ir->CreateLoad(LLVM_DtoGEPi(r, 0,0, "tmp"),"tmp");
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	565 llvm::Value* b1 = gIR->ir->CreateICmp(pred,ll,rl,"tmp");
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	566
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	567 llvm::Value* lp = gIR->ir->CreateLoad(LLVM_DtoGEPi(l, 0,1, "tmp"),"tmp");
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	568 llvm::Value* rp = gIR->ir->CreateLoad(LLVM_DtoGEPi(r, 0,1, "tmp"),"tmp");
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	569 llvm::Value* b2 = gIR->ir->CreateICmp(pred,lp,rp,"tmp");
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	570
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	571 llvm::Value* b = gIR->ir->CreateAnd(b1,b2,"tmp");
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	572 if (op == TOKnotidentity)
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	573 return gIR->ir->CreateNot(b,"tmp");
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	574 else
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	575 return b;
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	576 }

Mercurial > projects > ldc

annotate gen/arrays.c @ 57:a9d29e9f1fed trunk