projects/ldc: gen/arrays.cpp annotate

annotate gen/arrays.cpp @ 314:8d98e42ece93 trunk

[svn r335] The basics of exception handling are in place. Still need to make sure calls are turned into invokes everywhere. (NewExpression for instance) Still some rough edges and corner cases to figure out. Needs testing!

author	ChristianK
date	Wed, 02 Jul 2008 22:20:18 +0200
parents	6b62e8cdf970
children	a9697749e898

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"
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	11 #include "gen/llvmhelpers.h"
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	12 #include "gen/arrays.h"
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	13 #include "gen/runtime.h"
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	14 #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	15 #include "gen/dvalue.h"
4 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 //////////////////////////////////////////////////////////////////////////////////////////
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	18
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	19 const LLStructType* DtoArrayType(Type* arrayTy)
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	20 {
234 9760f54af0b7 [svn r250] Fixed the warning about dropping arguments to _Dmain when optimizing. lindquist parents: 217 diff changeset	21 assert(arrayTy->next);
9760f54af0b7 [svn r250] Fixed the warning about dropping arguments to _Dmain when optimizing. lindquist parents: 217 diff changeset	22 const LLType* elemty = DtoType(arrayTy->next);
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	23 if (elemty == LLType::VoidTy)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	24 elemty = LLType::Int8Ty;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	25 return LLStructType::get(DtoSize_t(), getPtrToType(elemty), 0);
4 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
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	28 const LLStructType* DtoArrayType(const LLType* t)
234 9760f54af0b7 [svn r250] Fixed the warning about dropping arguments to _Dmain when optimizing. lindquist parents: 217 diff changeset	29 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	30 return LLStructType::get(DtoSize_t(), getPtrToType(t), 0);
234 9760f54af0b7 [svn r250] Fixed the warning about dropping arguments to _Dmain when optimizing. lindquist parents: 217 diff changeset	31 }
9760f54af0b7 [svn r250] Fixed the warning about dropping arguments to _Dmain when optimizing. lindquist parents: 217 diff changeset	32
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	33 //////////////////////////////////////////////////////////////////////////////////////////
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	34
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	35 const LLArrayType* DtoStaticArrayType(Type* t)
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	36 {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	37 if (t->ir.type)
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	38 return isaArray(t->ir.type->get());
4 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 assert(t->ty == Tsarray);
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	41 assert(t->next);
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	42
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	43 const LLType* at = DtoType(t->next);
4 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 TypeSArray* tsa = (TypeSArray*)t;
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	46 assert(tsa->dim->type->isintegral());
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	47 const LLArrayType* arrty = LLArrayType::get(at,tsa->dim->toUInteger());
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	48
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	49 assert(!tsa->ir.type);
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	50 tsa->ir.type = new LLPATypeHolder(arrty);
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	51 return arrty;
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	52 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	53
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
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	56 void DtoSetArrayToNull(LLValue* v)
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	57 {
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	58 Logger::println("DtoSetArrayToNull");
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	59 LOG_SCOPE;
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	60
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	61 LLValue* len = DtoGEPi(v,0,0);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	62 LLValue* zerolen = llvm::ConstantInt::get(len->getType()->getContainedType(0), 0, false);
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	63 DtoStore(zerolen, len);
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	64
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	65 LLValue* ptr = DtoGEPi(v,0,1);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	66 const LLPointerType* pty = isaPointer(ptr->getType()->getContainedType(0));
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	67 LLValue* nullptr = llvm::ConstantPointerNull::get(pty);
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	68 DtoStore(nullptr, ptr);
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	69 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	70
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
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	73 void DtoArrayAssign(LLValue* dst, LLValue* src)
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	74 {
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	75 Logger::println("DtoArrayAssign");
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	76 LOG_SCOPE;
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	77
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	78 assert(gIR);
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	79 if (dst->getType() == src->getType())
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	80 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	81 LLValue* ptr = DtoGEPi(src,0,0);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	82 LLValue* val = DtoLoad(ptr);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	83 ptr = DtoGEPi(dst,0,0);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	84 DtoStore(val, ptr);
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	85
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	86 ptr = DtoGEPi(src,0,1);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	87 val = DtoLoad(ptr);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	88 ptr = DtoGEPi(dst,0,1);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	89 DtoStore(val, ptr);
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	90 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	91 else
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	92 {
118 d580b95cce2b [svn r122] Fixed temporary delegates can now alloca their own storage. lindquist parents: 116 diff changeset	93 Logger::cout() << "array assignment type dont match: " << dst->getType() << "\n\n" << src->getType() << '\n';
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	94 const LLArrayType* arrty = isaArray(src->getType()->getContainedType(0));
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	95 if (!arrty)
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	96 {
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	97 Logger::cout() << "invalid: " << *src << '\n';
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	98 assert(0);
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	99 }
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	100 const LLType* dstty = getPtrToType(arrty->getElementType());
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	101
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	102 LLValue* dstlen = DtoGEPi(dst,0,0);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	103 LLValue* srclen = DtoConstSize_t(arrty->getNumElements());
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	104 DtoStore(srclen, dstlen);
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	105
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	106 LLValue* dstptr = DtoGEPi(dst,0,1);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	107 LLValue* srcptr = DtoBitCast(src, dstty);
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	108 DtoStore(srcptr, dstptr);
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	109 }
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
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	114 typedef const LLType* constLLVMTypeP;
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	115
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	116 static size_t checkRectArrayInit(const LLType* pt, constLLVMTypeP& finalty)
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	117 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	118 if (const LLArrayType* arrty = isaArray(pt)) {
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	119 size_t n = checkRectArrayInit(arrty->getElementType(), finalty);
ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	120 size_t ne = arrty->getNumElements();
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	121 if (n) return n * ne;
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	122 return ne;
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	123 }
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	124 finalty = pt;
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	125 return 0;
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	126 }
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	127
295 895e1b50cf2a [svn r316] Fixed array slice assignments like: int[] arr = ...; arr[] = 42; lindquist parents: 293 diff changeset	128 void DtoArrayInit(DValue* array, DValue* value)
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	129 {
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	130 Logger::println("DtoArrayInit");
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	131 LOG_SCOPE;
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	132
295 895e1b50cf2a [svn r316] Fixed array slice assignments like: int[] arr = ...; arr[] = 42; lindquist parents: 293 diff changeset	133 LLValue* dim = DtoArrayLen(array);
895e1b50cf2a [svn r316] Fixed array slice assignments like: int[] arr = ...; arr[] = 42; lindquist parents: 293 diff changeset	134 LLValue* ptr = DtoArrayPtr(array);
895e1b50cf2a [svn r316] Fixed array slice assignments like: int[] arr = ...; arr[] = 42; lindquist parents: 293 diff changeset	135 LLValue* val = value->getRVal();
895e1b50cf2a [svn r316] Fixed array slice assignments like: int[] arr = ...; arr[] = 42; lindquist parents: 293 diff changeset	136
895e1b50cf2a [svn r316] Fixed array slice assignments like: int[] arr = ...; arr[] = 42; lindquist parents: 293 diff changeset	137 Logger::cout() << "llvm values:\n" << " ptr: " << ptr << " dim: " << dim << " val: " << *val << '\n';
895e1b50cf2a [svn r316] Fixed array slice assignments like: int[] arr = ...; arr[] = 42; lindquist parents: 293 diff changeset	138
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	139 const LLType* pt = ptr->getType()->getContainedType(0);
7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	140 const LLType* t = val->getType();
7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	141 const LLType* finalTy;
295 895e1b50cf2a [svn r316] Fixed array slice assignments like: int[] arr = ...; arr[] = 42; lindquist parents: 293 diff changeset	142
109 5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	143 size_t aggrsz = 0;
295 895e1b50cf2a [svn r316] Fixed array slice assignments like: int[] arr = ...; arr[] = 42; lindquist parents: 293 diff changeset	144 Type* valtype = value->getType()->toBasetype();
895e1b50cf2a [svn r316] Fixed array slice assignments like: int[] arr = ...; arr[] = 42; lindquist parents: 293 diff changeset	145
895e1b50cf2a [svn r316] Fixed array slice assignments like: int[] arr = ...; arr[] = 42; lindquist parents: 293 diff changeset	146 // handle rectangular init
895e1b50cf2a [svn r316] Fixed array slice assignments like: int[] arr = ...; arr[] = 42; lindquist parents: 293 diff changeset	147 if (size_t arrsz = checkRectArrayInit(pt, finalTy))
895e1b50cf2a [svn r316] Fixed array slice assignments like: int[] arr = ...; arr[] = 42; lindquist parents: 293 diff changeset	148 {
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	149 assert(finalTy == t);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	150 LLConstant* c = isaConstant(dim);
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	151 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	152 dim = llvm::ConstantExpr::getMul(c, DtoConstSize_t(arrsz));
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	153 ptr = gIR->ir->CreateBitCast(ptr, getPtrToType(finalTy), "tmp");
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	154 }
295 895e1b50cf2a [svn r316] Fixed array slice assignments like: int[] arr = ...; arr[] = 42; lindquist parents: 293 diff changeset	155 // handle null aggregate
895e1b50cf2a [svn r316] Fixed array slice assignments like: int[] arr = ...; arr[] = 42; lindquist parents: 293 diff changeset	156 else if (isaStruct(t))
895e1b50cf2a [svn r316] Fixed array slice assignments like: int[] arr = ...; arr[] = 42; lindquist parents: 293 diff changeset	157 {
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	158 aggrsz = getABITypeSize(t);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	159 LLConstant* c = isaConstant(val);
295 895e1b50cf2a [svn r316] Fixed array slice assignments like: int[] arr = ...; arr[] = 42; lindquist parents: 293 diff changeset	160 assert(c && c->isNullValue());
895e1b50cf2a [svn r316] Fixed array slice assignments like: int[] arr = ...; arr[] = 42; lindquist parents: 293 diff changeset	161 LLValue* nbytes;
895e1b50cf2a [svn r316] Fixed array slice assignments like: int[] arr = ...; arr[] = 42; lindquist parents: 293 diff changeset	162 if (aggrsz == 1)
895e1b50cf2a [svn r316] Fixed array slice assignments like: int[] arr = ...; arr[] = 42; lindquist parents: 293 diff changeset	163 nbytes = dim;
895e1b50cf2a [svn r316] Fixed array slice assignments like: int[] arr = ...; arr[] = 42; lindquist parents: 293 diff changeset	164 else
895e1b50cf2a [svn r316] Fixed array slice assignments like: int[] arr = ...; arr[] = 42; lindquist parents: 293 diff changeset	165 nbytes = gIR->ir->CreateMul(dim, DtoConstSize_t(aggrsz), "tmp");
895e1b50cf2a [svn r316] Fixed array slice assignments like: int[] arr = ...; arr[] = 42; lindquist parents: 293 diff changeset	166 DtoMemSetZero(ptr,nbytes);
895e1b50cf2a [svn r316] Fixed array slice assignments like: int[] arr = ...; arr[] = 42; lindquist parents: 293 diff changeset	167 return;
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	168 }
295 895e1b50cf2a [svn r316] Fixed array slice assignments like: int[] arr = ...; arr[] = 42; lindquist parents: 293 diff changeset	169 // handle general aggregate case
895e1b50cf2a [svn r316] Fixed array slice assignments like: int[] arr = ...; arr[] = 42; lindquist parents: 293 diff changeset	170 else if (DtoIsPassedByRef(valtype))
895e1b50cf2a [svn r316] Fixed array slice assignments like: int[] arr = ...; arr[] = 42; lindquist parents: 293 diff changeset	171 {
895e1b50cf2a [svn r316] Fixed array slice assignments like: int[] arr = ...; arr[] = 42; lindquist parents: 293 diff changeset	172 aggrsz = getABITypeSize(pt);
895e1b50cf2a [svn r316] Fixed array slice assignments like: int[] arr = ...; arr[] = 42; lindquist parents: 293 diff changeset	173 ptr = gIR->ir->CreateBitCast(ptr, getVoidPtrType(), "tmp");
895e1b50cf2a [svn r316] Fixed array slice assignments like: int[] arr = ...; arr[] = 42; lindquist parents: 293 diff changeset	174 val = gIR->ir->CreateBitCast(val, getVoidPtrType(), "tmp");
895e1b50cf2a [svn r316] Fixed array slice assignments like: int[] arr = ...; arr[] = 42; lindquist parents: 293 diff changeset	175 }
895e1b50cf2a [svn r316] Fixed array slice assignments like: int[] arr = ...; arr[] = 42; lindquist parents: 293 diff changeset	176 else
895e1b50cf2a [svn r316] Fixed array slice assignments like: int[] arr = ...; arr[] = 42; lindquist parents: 293 diff changeset	177 {
895e1b50cf2a [svn r316] Fixed array slice assignments like: int[] arr = ...; arr[] = 42; lindquist parents: 293 diff changeset	178 Logger::cout() << "no special handling" << '\n';
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	179 assert(t == pt);
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	180 }
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	181
109 5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	182 Logger::cout() << "array: " << ptr << " dim: " << dim << " val: " << *val << '\n';
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	183
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	184 LLSmallVector<LLValue*, 4> args;
43 eb7bf7b7972e [svn r47] fixed a problem with gdc 4.1 lindquist parents: 40 diff changeset	185 args.push_back(ptr);
eb7bf7b7972e [svn r47] fixed a problem with gdc 4.1 lindquist parents: 40 diff changeset	186 args.push_back(dim);
eb7bf7b7972e [svn r47] fixed a problem with gdc 4.1 lindquist parents: 40 diff changeset	187 args.push_back(val);
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	188
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	189 const char* funcname = NULL;
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	190
109 5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	191 if (aggrsz) {
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	192 funcname = "_d_array_init_mem";
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	193 args.push_back(DtoConstSize_t(aggrsz));
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	194 }
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	195 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	196 funcname = "_d_array_init_pointer";
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	197
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	198 const LLType* dstty = getPtrToType(getPtrToType(LLType::Int8Ty));
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	199 if (args[0]->getType() != dstty)
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	200 args[0] = DtoBitCast(args[0],dstty);
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	201
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	202 const LLType* valty = getPtrToType(LLType::Int8Ty);
37 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[2]->getType() != valty)
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	204 args[2] = DtoBitCast(args[2],valty);
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	205 }
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	206 else if (t == LLType::Int1Ty) {
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	207 funcname = "_d_array_init_i1";
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	208 }
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	209 else if (t == LLType::Int8Ty) {
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	210 funcname = "_d_array_init_i8";
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	211 }
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	212 else if (t == LLType::Int16Ty) {
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	213 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	214 }
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	215 else if (t == LLType::Int32Ty) {
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	216 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	217 }
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	218 else if (t == LLType::Int64Ty) {
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	219 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	220 }
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	221 else if (t == LLType::FloatTy) {
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	222 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	223 }
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	224 else if (t == LLType::DoubleTy) {
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	225 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	226 }
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	227 else {
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	228 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	229 assert(0);
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
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	232 LLFunction* fn = LLVM_D_GetRuntimeFunction(gIR->module, funcname);
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(fn);
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	234 Logger::cout() << "calling array init function: " << *fn <<'\n';
205 9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 203 diff changeset	235 llvm::CallInst* call = llvm::CallInst::Create(fn, args.begin(), args.end(), "", gIR->scopebb());
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	236 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	237 }
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	238
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	239 //////////////////////////////////////////////////////////////////////////////////////////
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 36 diff changeset	240
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	241 void DtoSetArray(LLValue* arr, LLValue* dim, LLValue* ptr)
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	242 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	243 Logger::println("SetArray");
308 6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 297 diff changeset	244 assert(isaStruct(arr->getType()->getContainedType(0)));
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	245 DtoStore(dim, DtoGEPi(arr,0,0));
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	246 DtoStore(ptr, DtoGEPi(arr,0,1));
4 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
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	249 //////////////////////////////////////////////////////////////////////////////////////////
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	250 LLConstant* DtoConstArrayInitializer(ArrayInitializer* arrinit)
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	251 {
88 058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	252 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	253 LOG_SCOPE;
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	254
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	255 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	256
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	257 Type* t;
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	258 integer_t tdim;
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	259 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	260 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	261 TypeSArray* tsa = (TypeSArray*)arrinittype;
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	262 tdim = tsa->dim->toInteger();
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	263 t = tsa;
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	264 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	265 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	266 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	267 t = arrinittype;
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	268 tdim = arrinit->dim;
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	269 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	270 else
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	271 assert(0);
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	272
88 058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	273 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	274
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	275 std::vector<LLConstant*> inits(tdim, NULL);
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	276
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 109 diff changeset	277 Type* arrnext = arrinittype->next;
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	278 const LLType* elemty = DtoType(arrinittype->next);
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	279
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	280 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	281 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	282 {
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	283 Initializer* init = 0;
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 109 diff changeset	284 Expression* idx;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 109 diff changeset	285
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 109 diff changeset	286 if (j < arrinit->index.dim)
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 109 diff changeset	287 idx = (Expression*)arrinit->index.data[j];
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 109 diff changeset	288 else
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 109 diff changeset	289 idx = NULL;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 109 diff changeset	290
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	291 LLConstant* v = NULL;
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 if (idx)
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	294 {
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 109 diff changeset	295 Logger::println("%d has idx", i);
88 058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	296 // 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	297 // 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	298 // 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	299 if (idx->type) {
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 109 diff changeset	300 Logger::println("has idx->type", i);
88 058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	301 //integer_t k = idx->toInteger();
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 109 diff changeset	302 //Logger::println("getting value for exp: %s \| %s", idx->toChars(), arrnext->toChars());
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	303 LLConstant* cc = idx->toConstElem(gIR);
88 058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	304 Logger::println("value gotten");
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	305 assert(cc != NULL);
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	306 LLConstantInt* ci = llvm::dyn_cast<LLConstantInt>(cc);
88 058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	307 assert(ci != NULL);
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	308 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	309 if (i == k)
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	310 {
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	311 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	312 assert(init);
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	313 ++j;
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	314 }
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	315 }
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 else
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	318 {
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 109 diff changeset	319 if (j < arrinit->value.dim) {
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 109 diff changeset	320 init = (Initializer*)arrinit->value.data[j];
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 109 diff changeset	321 ++j;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 109 diff changeset	322 }
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 109 diff changeset	323 else
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 109 diff changeset	324 v = arrnext->defaultInit()->toConstElem(gIR);
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	325 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	326
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 109 diff changeset	327 if (!v)
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 109 diff changeset	328 v = DtoConstInitializer(t->next, init);
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	329 assert(v);
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	330
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	331 inits[i] = v;
176 a074a5ff709c [svn r192] Fixed: String literals as constant expression was broken for utf16/32. lindquist parents: 174 diff changeset	332 Logger::cout() << "llval: " << *v << '\n';
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	333 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	334
176 a074a5ff709c [svn r192] Fixed: String literals as constant expression was broken for utf16/32. lindquist parents: 174 diff changeset	335 Logger::println("building constant array");
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	336 const LLArrayType* arrty = LLArrayType::get(elemty,tdim);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	337 LLConstant* constarr = LLConstantArray::get(arrty, inits);
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	338
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	339 if (arrinittype->ty == Tsarray)
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	340 return constarr;
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	341 else
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	342 assert(arrinittype->ty == Tarray);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	343
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	344 LLGlobalVariable* gvar = new LLGlobalVariable(arrty,true,LLGlobalValue::InternalLinkage,constarr,"constarray",gIR->module);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	345 LLConstant* idxs[2] = { DtoConstUint(0), DtoConstUint(0) };
7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	346 LLConstant* gep = llvm::ConstantExpr::getGetElementPtr(gvar,idxs,2);
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	347 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	348 }
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	349
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	350 //////////////////////////////////////////////////////////////////////////////////////////
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	351 static LLValue* get_slice_ptr(DSliceValue* e, LLValue*& sz)
21 8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	352 {
308 6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 297 diff changeset	353 assert(e->len != 0);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	354 const LLType* t = e->ptr->getType()->getContainedType(0);
308 6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 297 diff changeset	355 sz = gIR->ir->CreateMul(DtoConstSize_t(getABITypeSize(t)), e->len, "tmp");
6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 297 diff changeset	356 return e->ptr;
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
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	359 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	360 {
182 6526cf5bb2be [svn r198] Fixed: doing a length-changing cast of a full slice segfaulted. eg: lindquist parents: 176 diff changeset	361 Logger::println("ArrayCopySlices");
21 8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	362
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	363 LLValue sz1,sz2;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	364 LLValue* dstarr = get_slice_ptr(dst,sz1);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	365 LLValue* srcarr = get_slice_ptr(src,sz2);
21 8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	366
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	367 DtoMemCpy(dstarr, srcarr, sz1);
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: diff changeset	368 }
21 8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	369
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	370 void DtoArrayCopyToSlice(DSliceValue* dst, DValue* src)
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	371 {
182 6526cf5bb2be [svn r198] Fixed: doing a length-changing cast of a full slice segfaulted. eg: lindquist parents: 176 diff changeset	372 Logger::println("ArrayCopyToSlice");
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	373
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	374 LLValue* sz1;
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	375 LLValue* dstarr = get_slice_ptr(dst,sz1);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	376 LLValue* srcarr = DtoArrayPtr(src);
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	377
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	378 DtoMemCpy(dstarr, srcarr, sz1);
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	379 }
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 102 diff changeset	380
21 8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	381 //////////////////////////////////////////////////////////////////////////////////////////
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	382 void DtoStaticArrayCopy(LLValue* dst, LLValue* src)
48 4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	383 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	384 Logger::println("StaticArrayCopy");
48 4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	385
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	386 size_t n = getABITypeSize(dst->getType()->getContainedType(0));
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	387 DtoMemCpy(dst, src, DtoConstSize_t(n));
48 4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	388 }
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	389
4d171915a77b [svn r52] fixed static arrays in struct literals lindquist parents: 43 diff changeset	390 //////////////////////////////////////////////////////////////////////////////////////////
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	391 LLConstant* DtoConstSlice(LLConstant* dim, LLConstant* ptr)
21 8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	392 {
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	393 LLConstant* values[2] = { dim, ptr };
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	394 return llvm::ConstantStruct::get(values, 2);
21 8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 11 diff changeset	395 }
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	396
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	397 //////////////////////////////////////////////////////////////////////////////////////////
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	398 DSliceValue* DtoNewDynArray(Type* arrayType, DValue* dim, bool defaultInit)
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	399 {
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	400 Logger::println("DtoNewDynArray : %s", arrayType->toChars());
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	401 LOG_SCOPE;
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	402
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	403 // typeinfo arg
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	404 LLValue* arrayTypeInfo = DtoTypeInfoOf(arrayType);
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	405
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	406 // dim arg
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	407 assert(DtoType(dim->getType()) == DtoSize_t());
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	408 LLValue* arrayLen = dim->getRVal();
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	409
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	410 // get runtime function
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	411 bool zeroInit = arrayType->toBasetype()->nextOf()->isZeroInit();
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	412 LLFunction* fn = LLVM_D_GetRuntimeFunction(gIR->module, zeroInit ? "_d_newarrayT" : "_d_newarrayiT" );
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	413
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	414 // call allocator
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	415 LLValue* newptr = gIR->ir->CreateCall2(fn, arrayTypeInfo, arrayLen, ".gc_mem");
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	416
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	417 // cast to wanted type
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	418 const LLType* dstType = DtoType(arrayType)->getContainedType(1);
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	419 if (newptr->getType() != dstType)
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	420 newptr = DtoBitCast(newptr, dstType, ".gc_mem");
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	421
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	422 Logger::cout() << "final ptr = " << *newptr << '\n';
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	423
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	424 #if 0
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	425 if (defaultInit) {
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	426 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	427 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	428 }
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	429 #endif
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	430
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	431 return new DSliceValue(arrayType, arrayLen, newptr);
34 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
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	434 //////////////////////////////////////////////////////////////////////////////////////////
286 a3b7c19c866c [svn r307] Fixed: multidimensional new expressions now work. Eg.: lindquist parents: 280 diff changeset	435 DSliceValue* DtoNewMulDimDynArray(Type* arrayType, DValue** dims, size_t ndims, bool defaultInit)
a3b7c19c866c [svn r307] Fixed: multidimensional new expressions now work. Eg.: lindquist parents: 280 diff changeset	436 {
a3b7c19c866c [svn r307] Fixed: multidimensional new expressions now work. Eg.: lindquist parents: 280 diff changeset	437 Logger::println("DtoNewMulDimDynArray : %s", arrayType->toChars());
a3b7c19c866c [svn r307] Fixed: multidimensional new expressions now work. Eg.: lindquist parents: 280 diff changeset	438 LOG_SCOPE;
a3b7c19c866c [svn r307] Fixed: multidimensional new expressions now work. Eg.: lindquist parents: 280 diff changeset	439
a3b7c19c866c [svn r307] Fixed: multidimensional new expressions now work. Eg.: lindquist parents: 280 diff changeset	440 // typeinfo arg
a3b7c19c866c [svn r307] Fixed: multidimensional new expressions now work. Eg.: lindquist parents: 280 diff changeset	441 LLValue* arrayTypeInfo = DtoTypeInfoOf(arrayType);
a3b7c19c866c [svn r307] Fixed: multidimensional new expressions now work. Eg.: lindquist parents: 280 diff changeset	442
293 ebfa488f4abc [svn r314] Get correct value type for newing of multidimensional dynamic arrays. ChristianK parents: 291 diff changeset	443 // get value type
ebfa488f4abc [svn r314] Get correct value type for newing of multidimensional dynamic arrays. ChristianK parents: 291 diff changeset	444 Type* vtype = arrayType->toBasetype();
ebfa488f4abc [svn r314] Get correct value type for newing of multidimensional dynamic arrays. ChristianK parents: 291 diff changeset	445 for (size_t i=0; i<ndims; ++i)
ebfa488f4abc [svn r314] Get correct value type for newing of multidimensional dynamic arrays. ChristianK parents: 291 diff changeset	446 vtype = vtype->nextOf();
ebfa488f4abc [svn r314] Get correct value type for newing of multidimensional dynamic arrays. ChristianK parents: 291 diff changeset	447
286 a3b7c19c866c [svn r307] Fixed: multidimensional new expressions now work. Eg.: lindquist parents: 280 diff changeset	448 // get runtime function
293 ebfa488f4abc [svn r314] Get correct value type for newing of multidimensional dynamic arrays. ChristianK parents: 291 diff changeset	449 bool zeroInit = vtype->isZeroInit();
286 a3b7c19c866c [svn r307] Fixed: multidimensional new expressions now work. Eg.: lindquist parents: 280 diff changeset	450 LLFunction* fn = LLVM_D_GetRuntimeFunction(gIR->module, zeroInit ? "_d_newarraymT" : "_d_newarraymiT" );
a3b7c19c866c [svn r307] Fixed: multidimensional new expressions now work. Eg.: lindquist parents: 280 diff changeset	451
a3b7c19c866c [svn r307] Fixed: multidimensional new expressions now work. Eg.: lindquist parents: 280 diff changeset	452 // build dims
a3b7c19c866c [svn r307] Fixed: multidimensional new expressions now work. Eg.: lindquist parents: 280 diff changeset	453 LLValue* dimsArg = new llvm::AllocaInst(DtoSize_t(), DtoConstUint(ndims), ".newdims", gIR->topallocapoint());
287 00eb2c967c3a [svn r308] Really fixed multidimensional new expressions. the first length was bad in the resulting slice. lindquist parents: 286 diff changeset	454 LLValue* firstDim = NULL;
286 a3b7c19c866c [svn r307] Fixed: multidimensional new expressions now work. Eg.: lindquist parents: 280 diff changeset	455 for (size_t i=0; i<ndims; ++i)
a3b7c19c866c [svn r307] Fixed: multidimensional new expressions now work. Eg.: lindquist parents: 280 diff changeset	456 {
a3b7c19c866c [svn r307] Fixed: multidimensional new expressions now work. Eg.: lindquist parents: 280 diff changeset	457 LLValue* dim = dims[i]->getRVal();
287 00eb2c967c3a [svn r308] Really fixed multidimensional new expressions. the first length was bad in the resulting slice. lindquist parents: 286 diff changeset	458 if (!firstDim) firstDim = dim;
286 a3b7c19c866c [svn r307] Fixed: multidimensional new expressions now work. Eg.: lindquist parents: 280 diff changeset	459 DtoStore(dim, DtoGEPi1(dimsArg, i));
a3b7c19c866c [svn r307] Fixed: multidimensional new expressions now work. Eg.: lindquist parents: 280 diff changeset	460 }
a3b7c19c866c [svn r307] Fixed: multidimensional new expressions now work. Eg.: lindquist parents: 280 diff changeset	461
a3b7c19c866c [svn r307] Fixed: multidimensional new expressions now work. Eg.: lindquist parents: 280 diff changeset	462 // call allocator
287 00eb2c967c3a [svn r308] Really fixed multidimensional new expressions. the first length was bad in the resulting slice. lindquist parents: 286 diff changeset	463 LLValue* newptr = gIR->ir->CreateCall3(fn, arrayTypeInfo, DtoConstSize_t(ndims), dimsArg, ".gc_mem");
286 a3b7c19c866c [svn r307] Fixed: multidimensional new expressions now work. Eg.: lindquist parents: 280 diff changeset	464
a3b7c19c866c [svn r307] Fixed: multidimensional new expressions now work. Eg.: lindquist parents: 280 diff changeset	465 // cast to wanted type
a3b7c19c866c [svn r307] Fixed: multidimensional new expressions now work. Eg.: lindquist parents: 280 diff changeset	466 const LLType* dstType = DtoType(arrayType)->getContainedType(1);
a3b7c19c866c [svn r307] Fixed: multidimensional new expressions now work. Eg.: lindquist parents: 280 diff changeset	467 if (newptr->getType() != dstType)
a3b7c19c866c [svn r307] Fixed: multidimensional new expressions now work. Eg.: lindquist parents: 280 diff changeset	468 newptr = DtoBitCast(newptr, dstType, ".gc_mem");
a3b7c19c866c [svn r307] Fixed: multidimensional new expressions now work. Eg.: lindquist parents: 280 diff changeset	469
a3b7c19c866c [svn r307] Fixed: multidimensional new expressions now work. Eg.: lindquist parents: 280 diff changeset	470 Logger::cout() << "final ptr = " << *newptr << '\n';
a3b7c19c866c [svn r307] Fixed: multidimensional new expressions now work. Eg.: lindquist parents: 280 diff changeset	471
a3b7c19c866c [svn r307] Fixed: multidimensional new expressions now work. Eg.: lindquist parents: 280 diff changeset	472 #if 0
a3b7c19c866c [svn r307] Fixed: multidimensional new expressions now work. Eg.: lindquist parents: 280 diff changeset	473 if (defaultInit) {
a3b7c19c866c [svn r307] Fixed: multidimensional new expressions now work. Eg.: lindquist parents: 280 diff changeset	474 DValue* e = dty->defaultInit()->toElem(gIR);
a3b7c19c866c [svn r307] Fixed: multidimensional new expressions now work. Eg.: lindquist parents: 280 diff changeset	475 DtoArrayInit(newptr,dim,e->getRVal());
a3b7c19c866c [svn r307] Fixed: multidimensional new expressions now work. Eg.: lindquist parents: 280 diff changeset	476 }
a3b7c19c866c [svn r307] Fixed: multidimensional new expressions now work. Eg.: lindquist parents: 280 diff changeset	477 #endif
a3b7c19c866c [svn r307] Fixed: multidimensional new expressions now work. Eg.: lindquist parents: 280 diff changeset	478
287 00eb2c967c3a [svn r308] Really fixed multidimensional new expressions. the first length was bad in the resulting slice. lindquist parents: 286 diff changeset	479 assert(firstDim);
00eb2c967c3a [svn r308] Really fixed multidimensional new expressions. the first length was bad in the resulting slice. lindquist parents: 286 diff changeset	480 return new DSliceValue(arrayType, firstDim, newptr);
286 a3b7c19c866c [svn r307] Fixed: multidimensional new expressions now work. Eg.: lindquist parents: 280 diff changeset	481 }
a3b7c19c866c [svn r307] Fixed: multidimensional new expressions now work. Eg.: lindquist parents: 280 diff changeset	482
a3b7c19c866c [svn r307] Fixed: multidimensional new expressions now work. Eg.: lindquist parents: 280 diff changeset	483 //////////////////////////////////////////////////////////////////////////////////////////
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	484 DSliceValue* DtoResizeDynArray(Type* arrayType, DValue* array, DValue* newdim)
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	485 {
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	486 Logger::println("DtoResizeDynArray : %s", arrayType->toChars());
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	487 LOG_SCOPE;
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	488
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	489 assert(array);
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	490 assert(newdim);
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	491 assert(arrayType);
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	492 assert(arrayType->toBasetype()->ty == Tarray);
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	493
211 f66219e0d530 [svn r227] Fixed: crash in lifetime.d when resizing array of AAs by .length assignment. lindquist parents: 205 diff changeset	494 // decide on what runtime function to call based on whether the type is zero initialized
f66219e0d530 [svn r227] Fixed: crash in lifetime.d when resizing array of AAs by .length assignment. lindquist parents: 205 diff changeset	495 bool zeroInit = arrayType->toBasetype()->next->isZeroInit();
f66219e0d530 [svn r227] Fixed: crash in lifetime.d when resizing array of AAs by .length assignment. lindquist parents: 205 diff changeset	496
f66219e0d530 [svn r227] Fixed: crash in lifetime.d when resizing array of AAs by .length assignment. lindquist parents: 205 diff changeset	497 // call runtime
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	498 LLFunction* fn = LLVM_D_GetRuntimeFunction(gIR->module, zeroInit ? "_d_arraysetlengthT" : "_d_arraysetlengthiT" );
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	499
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	500 LLSmallVector<LLValue*,4> args;
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	501 args.push_back(DtoTypeInfoOf(arrayType));
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	502 args.push_back(newdim->getRVal());
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	503 args.push_back(DtoArrayLen(array));
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	504
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	505 LLValue* arrPtr = DtoArrayPtr(array);
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	506 Logger::cout() << "arrPtr = " << *arrPtr << '\n';
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	507 args.push_back(DtoBitCast(arrPtr, fn->getFunctionType()->getParamType(3), "tmp"));
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	508
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	509 LLValue* newptr = gIR->ir->CreateCall(fn, args.begin(), args.end(), ".gc_mem");
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	510 if (newptr->getType() != arrPtr->getType())
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	511 newptr = DtoBitCast(newptr, arrPtr->getType(), ".gc_mem");
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	512
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	513 return new DSliceValue(arrayType, newdim->getRVal(), newptr);
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	514 }
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 22 diff changeset	515
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	516 //////////////////////////////////////////////////////////////////////////////////////////
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	517 DSliceValue* DtoCatAssignElement(DValue* array, Expression* exp)
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	518 {
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	519 Logger::println("DtoCatAssignElement");
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	520 LOG_SCOPE;
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	521
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	522 assert(array);
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	523
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	524 LLValue* idx = DtoArrayLen(array);
7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	525 LLValue* one = DtoConstSize_t(1);
7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	526 LLValue* len = gIR->ir->CreateAdd(idx,one,"tmp");
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	527
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	528 DValue* newdim = new DImValue(Type::tsize_t, len);
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	529 DSliceValue* slice = DtoResizeDynArray(array->getType(), array, newdim);
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	530
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	531 LLValue* ptr = slice->ptr;
205 9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 203 diff changeset	532 ptr = llvm::GetElementPtrInst::Create(ptr, idx, "tmp", gIR->scopebb());
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	533
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	534 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	535
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	536 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	537 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	538 gIR->exps.pop_back();
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 if (!e->inPlace())
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	541 DtoAssign(dptr, e);
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	542
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	543 return slice;
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	544 }
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 //////////////////////////////////////////////////////////////////////////////////////////
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	547 DSliceValue* DtoCatAssignArray(DValue* arr, Expression* exp)
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	548 {
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	549 Logger::println("DtoCatAssignArray");
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	550 LOG_SCOPE;
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	551
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	552 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	553
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	554 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	555
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	556 len1 = DtoArrayLen(arr);
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	557 len2 = DtoArrayLen(e);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	558 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	559
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	560 DValue* newdim = new DImValue(Type::tsize_t, res);
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	561 DSliceValue* slice = DtoResizeDynArray(arr->getType(), arr, newdim);
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	562
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	563 src1 = slice->ptr;
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	564 src2 = DtoArrayPtr(e);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	565
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	566 // advance ptr
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	567 src1 = gIR->ir->CreateGEP(src1,len1,"tmp");
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	568
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	569 // memcpy
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	570 LLValue* elemSize = DtoConstSize_t(getABITypeSize(src2->getType()->getContainedType(0)));
7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	571 LLValue* bytelen = gIR->ir->CreateMul(len2, elemSize, "tmp");
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	572 DtoMemCpy(src1,src2,bytelen);
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	573
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	574 return slice;
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	575 }
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	576
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	577 //////////////////////////////////////////////////////////////////////////////////////////
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	578 DSliceValue* DtoCatArrays(Type* type, Expression* exp1, Expression* exp2)
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	579 {
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	580 Logger::println("DtoCatArrays");
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	581 LOG_SCOPE;
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	582
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	583 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	584 Type* t2 = DtoDType(exp2->type);
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	585
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	586 assert(t1->ty == Tarray);
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	587 assert(t1->ty == t2->ty);
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	588
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	589 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	590 DValue* e2 = exp2->toElem(gIR);
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	591
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	592 llvm::Value len1, len2, src1, src2, *res;
174 16e676ae5ab4 [svn r190] Fixed array concatenation for some broken cases. lindquist parents: 173 diff changeset	593
16e676ae5ab4 [svn r190] Fixed array concatenation for some broken cases. lindquist parents: 173 diff changeset	594 len1 = DtoArrayLen(e1);
16e676ae5ab4 [svn r190] Fixed array concatenation for some broken cases. lindquist parents: 173 diff changeset	595 len2 = DtoArrayLen(e2);
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	596 res = gIR->ir->CreateAdd(len1,len2,"tmp");
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	597
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	598 DValue* lenval = new DImValue(Type::tsize_t, res);
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	599 DSliceValue* slice = DtoNewDynArray(type, lenval, false);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	600 LLValue* mem = slice->ptr;
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	601
174 16e676ae5ab4 [svn r190] Fixed array concatenation for some broken cases. lindquist parents: 173 diff changeset	602 src1 = DtoArrayPtr(e1);
16e676ae5ab4 [svn r190] Fixed array concatenation for some broken cases. lindquist parents: 173 diff changeset	603 src2 = DtoArrayPtr(e2);
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	604
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	605 // first memcpy
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	606 LLValue* elemSize = DtoConstSize_t(getABITypeSize(src1->getType()->getContainedType(0)));
7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	607 LLValue* bytelen = gIR->ir->CreateMul(len1, elemSize, "tmp");
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	608 DtoMemCpy(mem,src1,bytelen);
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	609
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	610 // second memcpy
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	611 mem = gIR->ir->CreateGEP(mem,len1,"tmp");
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	612 bytelen = gIR->ir->CreateMul(len2, elemSize, "tmp");
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	613 DtoMemCpy(mem,src2,bytelen);
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	614
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	615 return slice;
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	616 }
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	617
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 54 diff changeset	618 //////////////////////////////////////////////////////////////////////////////////////////
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	619 DSliceValue* DtoCatArrayElement(Type* type, Expression* exp1, Expression* exp2)
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 127 diff changeset	620 {
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	621 Logger::println("DtoCatArrayElement");
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	622 LOG_SCOPE;
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	623
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 127 diff changeset	624 Type* t1 = DtoDType(exp1->type);
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 127 diff changeset	625 Type* t2 = DtoDType(exp2->type);
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 127 diff changeset	626
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 127 diff changeset	627 DValue* e1 = exp1->toElem(gIR);
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 127 diff changeset	628 DValue* e2 = exp2->toElem(gIR);
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 127 diff changeset	629
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 127 diff changeset	630 llvm::Value len1, src1, *res;
163 a8cd9bc1021a [svn r179] lots and lots of fixes, much more of tango now compiles/works. lindquist parents: 162 diff changeset	631
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	632 // handle prefix case, eg. int~int[]
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	633 if (t2->next && t1 == DtoDType(t2->next))
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	634 {
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	635 len1 = DtoArrayLen(e2);
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	636 res = gIR->ir->CreateAdd(len1,DtoConstSize_t(1),"tmp");
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	637
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	638 DValue* lenval = new DImValue(Type::tsize_t, res);
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	639 DSliceValue* slice = DtoNewDynArray(type, lenval, false);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	640 LLValue* mem = slice->ptr;
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 127 diff changeset	641
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	642 DVarValue* memval = new DVarValue(e1->getType(), mem, true);
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	643 DtoAssign(memval, e1);
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	644
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	645 src1 = DtoArrayPtr(e2);
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	646
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	647 mem = gIR->ir->CreateGEP(mem,DtoConstSize_t(1),"tmp");
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	648
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	649 LLValue* elemSize = DtoConstSize_t(getABITypeSize(src1->getType()->getContainedType(0)));
7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	650 LLValue* bytelen = gIR->ir->CreateMul(len1, elemSize, "tmp");
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	651 DtoMemCpy(mem,src1,bytelen);
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	652
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 127 diff changeset	653
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	654 return slice;
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	655 }
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	656 // handle suffix case, eg. int[]~int
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	657 else
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	658 {
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	659 len1 = DtoArrayLen(e1);
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	660 res = gIR->ir->CreateAdd(len1,DtoConstSize_t(1),"tmp");
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 127 diff changeset	661
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	662 DValue* lenval = new DImValue(Type::tsize_t, res);
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	663 DSliceValue* slice = DtoNewDynArray(type, lenval, false);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	664 LLValue* mem = slice->ptr;
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 127 diff changeset	665
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	666 src1 = DtoArrayPtr(e1);
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	667
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	668 LLValue* elemSize = DtoConstSize_t(getABITypeSize(src1->getType()->getContainedType(0)));
7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	669 LLValue* bytelen = gIR->ir->CreateMul(len1, elemSize, "tmp");
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	670 DtoMemCpy(mem,src1,bytelen);
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	671
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	672 mem = gIR->ir->CreateGEP(mem,len1,"tmp");
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	673 DVarValue* memval = new DVarValue(e2->getType(), mem, true);
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	674 DtoAssign(memval, e2);
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	675
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	676 return slice;
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	677 }
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 127 diff changeset	678 }
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 127 diff changeset	679
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 127 diff changeset	680 //////////////////////////////////////////////////////////////////////////////////////////
99 a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	681 // helper for eq and cmp
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	682 static LLValue* DtoArrayEqCmp_impl(const char* func, DValue* l, DValue* r, bool useti)
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	683 {
163 a8cd9bc1021a [svn r179] lots and lots of fixes, much more of tango now compiles/works. lindquist parents: 162 diff changeset	684 Logger::println("comparing arrays");
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	685 LLFunction* fn = LLVM_D_GetRuntimeFunction(gIR->module, func);
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	686 assert(fn);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	687
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	688 LLValue* lmem;
7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	689 LLValue* rmem;
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	690
98 6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	691 // cast static arrays to dynamic ones, this turns them into DSliceValues
163 a8cd9bc1021a [svn r179] lots and lots of fixes, much more of tango now compiles/works. lindquist parents: 162 diff changeset	692 Logger::println("casting to dynamic arrays");
98 6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	693 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	694 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	695 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	696 if ((l_ty->ty == Tsarray) \|\| (r_ty->ty == Tsarray)) {
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	697 Type* a_ty = l_ty->next->arrayOf();
99 a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	698 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	699 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	700 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	701 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	702 }
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	703
163 a8cd9bc1021a [svn r179] lots and lots of fixes, much more of tango now compiles/works. lindquist parents: 162 diff changeset	704 Logger::println("giving storage");
a8cd9bc1021a [svn r179] lots and lots of fixes, much more of tango now compiles/works. lindquist parents: 162 diff changeset	705
98 6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	706 // 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	707 if (l->isSlice()) {
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	708 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	709 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	710 }
163 a8cd9bc1021a [svn r179] lots and lots of fixes, much more of tango now compiles/works. lindquist parents: 162 diff changeset	711 // also null
a8cd9bc1021a [svn r179] lots and lots of fixes, much more of tango now compiles/works. lindquist parents: 162 diff changeset	712 else if (l->isNull())
a8cd9bc1021a [svn r179] lots and lots of fixes, much more of tango now compiles/works. lindquist parents: 162 diff changeset	713 {
a8cd9bc1021a [svn r179] lots and lots of fixes, much more of tango now compiles/works. lindquist parents: 162 diff changeset	714 lmem = new llvm::AllocaInst(DtoType(l->getType()), "tmpparam", gIR->topallocapoint());
a8cd9bc1021a [svn r179] lots and lots of fixes, much more of tango now compiles/works. lindquist parents: 162 diff changeset	715 DtoSetArray(lmem, llvm::Constant::getNullValue(DtoSize_t()), llvm::Constant::getNullValue(DtoType(l->getType()->next->pointerTo())));
a8cd9bc1021a [svn r179] lots and lots of fixes, much more of tango now compiles/works. lindquist parents: 162 diff changeset	716 }
98 6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	717 else
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	718 lmem = l->getRVal();
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	719
163 a8cd9bc1021a [svn r179] lots and lots of fixes, much more of tango now compiles/works. lindquist parents: 162 diff changeset	720 // and for the rvalue ...
a8cd9bc1021a [svn r179] lots and lots of fixes, much more of tango now compiles/works. lindquist parents: 162 diff changeset	721 // we need to give slices storage
98 6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	722 if (r->isSlice()) {
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	723 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	724 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	725 }
163 a8cd9bc1021a [svn r179] lots and lots of fixes, much more of tango now compiles/works. lindquist parents: 162 diff changeset	726 // also null
a8cd9bc1021a [svn r179] lots and lots of fixes, much more of tango now compiles/works. lindquist parents: 162 diff changeset	727 else if (r->isNull())
a8cd9bc1021a [svn r179] lots and lots of fixes, much more of tango now compiles/works. lindquist parents: 162 diff changeset	728 {
a8cd9bc1021a [svn r179] lots and lots of fixes, much more of tango now compiles/works. lindquist parents: 162 diff changeset	729 rmem = new llvm::AllocaInst(DtoType(r->getType()), "tmpparam", gIR->topallocapoint());
a8cd9bc1021a [svn r179] lots and lots of fixes, much more of tango now compiles/works. lindquist parents: 162 diff changeset	730 DtoSetArray(rmem, llvm::Constant::getNullValue(DtoSize_t()), llvm::Constant::getNullValue(DtoType(r->getType()->next->pointerTo())));
a8cd9bc1021a [svn r179] lots and lots of fixes, much more of tango now compiles/works. lindquist parents: 162 diff changeset	731 }
98 6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	732 else
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	733 rmem = r->getRVal();
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	734
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	735 const LLType* pt = fn->getFunctionType()->getParamType(0);
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	736
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	737 LLSmallVector<LLValue*, 3> args;
163 a8cd9bc1021a [svn r179] lots and lots of fixes, much more of tango now compiles/works. lindquist parents: 162 diff changeset	738 Logger::cout() << "bitcasting to " << *pt << '\n';
a8cd9bc1021a [svn r179] lots and lots of fixes, much more of tango now compiles/works. lindquist parents: 162 diff changeset	739 Logger::cout() << *lmem << '\n';
a8cd9bc1021a [svn r179] lots and lots of fixes, much more of tango now compiles/works. lindquist parents: 162 diff changeset	740 Logger::cout() << *rmem << '\n';
98 6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	741 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	742 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	743
291 068cb3c60afb [svn r312] Changed assert codegen to insert an unreachable terminator after the call to the assert function, which currently calls abort(). lindquist parents: 287 diff changeset	744 // pass array typeinfo ?
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	745 if (useti) {
291 068cb3c60afb [svn r312] Changed assert codegen to insert an unreachable terminator after the call to the assert function, which currently calls abort(). lindquist parents: 287 diff changeset	746 Type* t = l->getType();
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	747 LLValue* tival = DtoTypeInfoOf(t);
7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	748 // DtoTypeInfoOf only does declare, not enough in this case :/
7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	749 DtoForceConstInitDsymbol(t->vtinfo);
7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	750 Logger::cout() << "typeinfo decl: " << *tival << '\n';
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	751
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	752 pt = fn->getFunctionType()->getParamType(2);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	753 args.push_back(DtoBitCast(tival, pt));
98 6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	754 }
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	755
275 665b81613475 [svn r296] Removed: the 'suite' dir, it never took off! lindquist parents: 244 diff changeset	756 llvm::CallInst* call = gIR->ir->CreateCall(fn, args.begin(), args.end(), "tmp");
665b81613475 [svn r296] Removed: the 'suite' dir, it never took off! lindquist parents: 244 diff changeset	757
665b81613475 [svn r296] Removed: the 'suite' dir, it never took off! lindquist parents: 244 diff changeset	758 // set param attrs
665b81613475 [svn r296] Removed: the 'suite' dir, it never took off! lindquist parents: 244 diff changeset	759 llvm::PAListPtr palist;
665b81613475 [svn r296] Removed: the 'suite' dir, it never took off! lindquist parents: 244 diff changeset	760 palist = palist.addAttr(1, llvm::ParamAttr::ByVal);
665b81613475 [svn r296] Removed: the 'suite' dir, it never took off! lindquist parents: 244 diff changeset	761 palist = palist.addAttr(2, llvm::ParamAttr::ByVal);
665b81613475 [svn r296] Removed: the 'suite' dir, it never took off! lindquist parents: 244 diff changeset	762 call->setParamAttrs(palist);
665b81613475 [svn r296] Removed: the 'suite' dir, it never took off! lindquist parents: 244 diff changeset	763
665b81613475 [svn r296] Removed: the 'suite' dir, it never took off! lindquist parents: 244 diff changeset	764 return call;
99 a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	765 }
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	766
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	767 //////////////////////////////////////////////////////////////////////////////////////////
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	768 LLValue* DtoArrayEquals(TOK op, DValue* l, DValue* r)
99 a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	769 {
297 5de180867c46 [svn r318] Moved the call to DtoBoolean before the not instruction. ChristianK parents: 296 diff changeset	770 LLValue* res = DtoBoolean(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	771 if (op == TOKnotequal)
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	772 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	773
297 5de180867c46 [svn r318] Moved the call to DtoBoolean before the not instruction. ChristianK parents: 296 diff changeset	774 return res;
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	775 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	776
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	777 //////////////////////////////////////////////////////////////////////////////////////////
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	778 LLValue* DtoArrayCompare(TOK op, DValue* l, DValue* r)
99 a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	779 {
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	780 LLValue* res = 0;
99 a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	781
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	782 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	783 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	784
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	785 switch(op)
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	786 {
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	787 case TOKlt:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	788 case TOKul:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	789 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	790 break;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	791 case TOKle:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	792 case TOKule:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	793 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	794 break;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	795 case TOKgt:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	796 case TOKug:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	797 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	798 break;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	799 case TOKge:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	800 case TOKuge:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	801 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	802 break;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	803 case TOKue:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	804 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	805 break;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	806 case TOKlg:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	807 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	808 break;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	809 case TOKleg:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	810 skip = true;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	811 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	812 break;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	813 case TOKunord:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	814 skip = true;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	815 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	816 break;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	817
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	818 default:
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	819 assert(0);
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	820 }
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	821
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	822 if (!skip)
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	823 {
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	824 Type* t = DtoDType(DtoDType(l->getType())->next);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	825 if (t->ty == Tchar)
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	826 res = DtoArrayEqCmp_impl("_adCmpChar", l, r, false);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	827 else
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	828 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	829 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	830 }
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	831
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	832 assert(res);
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	833 return res;
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	834 }
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	835
a676a7743642 [svn r103] Array comparisons are now fully implemented, that is - to the extent that TypeInfo is. lindquist parents: 98 diff changeset	836 //////////////////////////////////////////////////////////////////////////////////////////
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	837 LLValue* DtoArrayCastLength(LLValue* len, const LLType* elemty, const LLType* newelemty)
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	838 {
182 6526cf5bb2be [svn r198] Fixed: doing a length-changing cast of a full slice segfaulted. eg: lindquist parents: 176 diff changeset	839 Logger::println("DtoArrayCastLength");
6526cf5bb2be [svn r198] Fixed: doing a length-changing cast of a full slice segfaulted. eg: lindquist parents: 176 diff changeset	840 LOG_SCOPE;
6526cf5bb2be [svn r198] Fixed: doing a length-changing cast of a full slice segfaulted. eg: lindquist parents: 176 diff changeset	841
6526cf5bb2be [svn r198] Fixed: doing a length-changing cast of a full slice segfaulted. eg: lindquist parents: 176 diff changeset	842 assert(len);
6526cf5bb2be [svn r198] Fixed: doing a length-changing cast of a full slice segfaulted. eg: lindquist parents: 176 diff changeset	843 assert(elemty);
6526cf5bb2be [svn r198] Fixed: doing a length-changing cast of a full slice segfaulted. eg: lindquist parents: 176 diff changeset	844 assert(newelemty);
6526cf5bb2be [svn r198] Fixed: doing a length-changing cast of a full slice segfaulted. eg: lindquist parents: 176 diff changeset	845
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	846 size_t esz = getABITypeSize(elemty);
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	847 size_t nsz = getABITypeSize(newelemty);
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 88 diff changeset	848 if (esz == nsz)
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 88 diff changeset	849 return len;
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 88 diff changeset	850
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	851 LLSmallVector<LLValue*, 3> args;
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	852 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	853 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	854 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	855
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	856 LLFunction* fn = LLVM_D_GetRuntimeFunction(gIR->module, "_d_array_cast_len");
205 9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 203 diff changeset	857 return llvm::CallInst::Create(fn, args.begin(), args.end(), "tmp", gIR->scopebb());
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	858 }
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	859
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	860 //////////////////////////////////////////////////////////////////////////////////////////
308 6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 297 diff changeset	861 LLValue* DtoDynArrayIs(TOK op, DValue* l, DValue* r)
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	862 {
308 6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 297 diff changeset	863 LLValue len1, ptr1, len2, ptr2;
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	864
308 6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 297 diff changeset	865 assert(l);
6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 297 diff changeset	866 assert(r);
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	867
308 6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 297 diff changeset	868 // compare lengths
6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 297 diff changeset	869 len1 = DtoArrayLen(l);
6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 297 diff changeset	870 len2 = DtoArrayLen(r);
6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 297 diff changeset	871 LLValue* b1 = gIR->ir->CreateICmp(llvm::ICmpInst::ICMP_EQ,len1,len2,"tmp");
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	872
308 6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 297 diff changeset	873 // compare pointers
6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 297 diff changeset	874 ptr1 = DtoArrayPtr(l);
6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 297 diff changeset	875 ptr2 = DtoArrayPtr(r);
6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 297 diff changeset	876 LLValue* b2 = gIR->ir->CreateICmp(llvm::ICmpInst::ICMP_EQ,ptr1,ptr2,"tmp");
69 2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 64 diff changeset	877
308 6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 297 diff changeset	878 // combine
6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 297 diff changeset	879 LLValue* res = gIR->ir->CreateAnd(b1,b2,"tmp");
69 2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 64 diff changeset	880
308 6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 297 diff changeset	881 // return result
6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 297 diff changeset	882 return (op == TOKnotidentity) ? gIR->ir->CreateNot(res) : res;
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	883 }
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	884
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	885 //////////////////////////////////////////////////////////////////////////////////////////
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	886 LLConstant* DtoConstStaticArray(const LLType* t, LLConstant* c)
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	887 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	888 const LLArrayType* at = isaArray(t);
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	889 assert(at);
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	890
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	891 if (isaArray(at->getElementType()))
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	892 {
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	893 c = DtoConstStaticArray(at->getElementType(), c);
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	894 }
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	895 else {
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	896 assert(at->getElementType() == c->getType());
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	897 }
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	898 std::vector<LLConstant*> initvals;
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	899 initvals.resize(at->getNumElements(), c);
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	900 return llvm::ConstantArray::get(at, initvals);
b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 58 diff changeset	901 }
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	902
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	903 //////////////////////////////////////////////////////////////////////////////////////////
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	904 LLValue* DtoArrayLen(DValue* v)
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	905 {
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 109 diff changeset	906 Logger::println("DtoArrayLen");
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 109 diff changeset	907 LOG_SCOPE;
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	908
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	909 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	910 if (t->ty == Tarray) {
308 6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 297 diff changeset	911 if (DSliceValue* s = v->isSlice())
6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 297 diff changeset	912 return s->len;
6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 297 diff changeset	913 else if (v->isNull())
6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 297 diff changeset	914 return DtoConstSize_t(0);
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	915 return DtoLoad(DtoGEPi(v->getRVal(), 0,0));
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	916 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	917 else if (t->ty == Tsarray) {
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 109 diff changeset	918 assert(!v->isSlice());
308 6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 297 diff changeset	919 assert(!v->isNull());
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	920 LLValue* rv = v->getRVal();
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	921 const LLArrayType* t = isaArray(rv->getType()->getContainedType(0));
308 6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 297 diff changeset	922 assert(t);
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	923 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	924 }
308 6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 297 diff changeset	925 assert(0 && "unsupported array for len");
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	926 return 0;
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	927 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	928
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	929 //////////////////////////////////////////////////////////////////////////////////////////
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	930 LLValue* DtoArrayPtr(DValue* v)
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	931 {
203 e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	932 Logger::println("DtoArrayPtr");
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	933 LOG_SCOPE;
e881c9b1c738 [svn r219] Fixed: the tango/lib/gc/basic garbage collector now compiles and links into an executable (change in tango/lib/llvmdc-posix.mak), closes #5 . lindquist parents: 193 diff changeset	934
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	935 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	936 if (t->ty == Tarray) {
308 6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 297 diff changeset	937 if (DSliceValue* s = v->isSlice())
6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 297 diff changeset	938 return s->ptr;
6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 297 diff changeset	939 else if (v->isNull())
6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 297 diff changeset	940 return getNullPtr(getPtrToType(DtoType(t->next)));
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	941 return DtoLoad(DtoGEPi(v->getRVal(), 0,1));
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	942 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	943 else if (t->ty == Tsarray) {
308 6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 297 diff changeset	944 assert(!v->isSlice());
6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 297 diff changeset	945 assert(!v->isNull());
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	946 return DtoGEPi(v->getRVal(), 0,0);
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	947 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	948 assert(0);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	949 return 0;
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	950 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 81 diff changeset	951
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	952 //////////////////////////////////////////////////////////////////////////////////////////
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	953 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	954 {
182 6526cf5bb2be [svn r198] Fixed: doing a length-changing cast of a full slice segfaulted. eg: lindquist parents: 176 diff changeset	955 Logger::println("DtoCastArray");
6526cf5bb2be [svn r198] Fixed: doing a length-changing cast of a full slice segfaulted. eg: lindquist parents: 176 diff changeset	956 LOG_SCOPE;
6526cf5bb2be [svn r198] Fixed: doing a length-changing cast of a full slice segfaulted. eg: lindquist parents: 176 diff changeset	957
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	958 const LLType* tolltype = DtoType(to);
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	959
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	960 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	961 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	962 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	963
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	964 LLValue* rval;
7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	965 LLValue* rval2;
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	966 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	967
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	968 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	969 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	970 Logger::cout() << "to pointer" << '\n';
163 a8cd9bc1021a [svn r179] lots and lots of fixes, much more of tango now compiles/works. lindquist parents: 162 diff changeset	971 rval = DtoArrayPtr(u);
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 182 diff changeset	972 if (rval->getType() != tolltype)
aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 182 diff changeset	973 rval = gIR->ir->CreateBitCast(rval, tolltype, "tmp");
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	974 }
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	975 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	976 Logger::cout() << "to array" << '\n';
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	977 const LLType* ptrty = DtoType(totype->next);
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	978 if (ptrty == LLType::VoidTy)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	979 ptrty = LLType::Int8Ty;
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	980 ptrty = getPtrToType(ptrty);
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	981
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	982 const LLType* ety = DtoType(fromtype->next);
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	983 if (ety == LLType::VoidTy)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	984 ety = LLType::Int8Ty;
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	985
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	986 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	987 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	988 Logger::cout() << "from: " << usl->ptr << " to: " << ptrty << '\n';
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	989 rval = DtoBitCast(usl->ptr, ptrty);
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	990 if (fromtype->next->size() == totype->next->size())
182 6526cf5bb2be [svn r198] Fixed: doing a length-changing cast of a full slice segfaulted. eg: lindquist parents: 176 diff changeset	991 rval2 = DtoArrayLen(usl);
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	992 else
182 6526cf5bb2be [svn r198] Fixed: doing a length-changing cast of a full slice segfaulted. eg: lindquist parents: 176 diff changeset	993 rval2 = DtoArrayCastLength(DtoArrayLen(usl), ety, ptrty->getContainedType(0));
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	994 }
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	995 else {
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	996 LLValue* uval = u->getRVal();
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	997 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	998 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	999 assert(isaPointer(uval->getType()));
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	1000 const LLArrayType* arrty = isaArray(uval->getType()->getContainedType(0));
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	1001 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	1002 rval2 = DtoArrayCastLength(rval2, ety, ptrty->getContainedType(0));
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	1003 rval = DtoBitCast(uval, ptrty);
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	1004 }
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	1005 else {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	1006 LLValue* zero = llvm::ConstantInt::get(LLType::Int32Ty, 0, false);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	1007 LLValue* one = llvm::ConstantInt::get(LLType::Int32Ty, 1, false);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	1008 rval2 = DtoGEP(uval,zero,zero);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	1009 rval2 = DtoLoad(rval2);
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	1010 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	1011
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	1012 rval = DtoGEP(uval,zero,one);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	1013 rval = DtoLoad(rval);
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	1014 //Logger::cout() << e->mem->getType() << '\|' << ptrty << '\n';
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 211 diff changeset	1015 rval = DtoBitCast(rval, ptrty);
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	1016 }
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	1017 }
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	1018 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	1019 }
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	1020 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	1021 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	1022 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	1023 }
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	1024 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	1025 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	1026 }
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	1027
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	1028 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	1029 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	1030 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	1031 }
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	1032
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	1033 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	1034 }

Mercurial > projects > ldc

annotate gen/arrays.cpp @ 314:8d98e42ece93 trunk