projects/ldc: gen/tollvm.cpp annotate

annotate gen/tollvm.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	d59c363fccad
children	a9697749e898

rev	line source
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	1 #include <iostream>
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	2
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 34 diff changeset	3 #include "gen/llvm.h"
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	4
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	5 #include "dsymbol.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	6 #include "aggregate.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	7 #include "declaration.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	8 #include "init.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	9
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: 1 diff changeset	10 #include "gen/tollvm.h"
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: 1 diff changeset	11 #include "gen/irstate.h"
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: 1 diff changeset	12 #include "gen/logger.h"
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: 1 diff changeset	13 #include "gen/runtime.h"
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: 1 diff changeset	14 #include "gen/arrays.h"
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	15 #include "gen/dvalue.h"
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	16 #include "gen/functions.h"
88 058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	17 #include "gen/structs.h"
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	18 #include "gen/classes.h"
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	19 #include "gen/typeinf.h"
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: 103 diff changeset	20 #include "gen/complex.h"
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	21 #include "gen/llvmhelpers.h"
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	22
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: 78 diff changeset	23 bool DtoIsPassedByRef(Type* type)
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 34 diff changeset	24 {
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: 103 diff changeset	25 Type* typ = DtoDType(type);
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: 103 diff changeset	26 TY t = typ->ty;
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: 103 diff changeset	27 return (t == Tstruct \|\| t == Tarray \|\| t == Tdelegate \|\| t == Tsarray \|\| typ->iscomplex());
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 34 diff changeset	28 }
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 34 diff changeset	29
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	30 bool DtoIsReturnedInArg(Type* type)
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	31 {
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	32 Type* typ = DtoDType(type);
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	33 TY t = typ->ty;
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	34 return (t == Tstruct \|\| t == Tarray \|\| t == Tdelegate \|\| t == Tsarray \|\| typ->iscomplex());
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	35 }
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	36
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: 78 diff changeset	37 Type* DtoDType(Type* t)
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 34 diff changeset	38 {
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 34 diff changeset	39 if (t->ty == Ttypedef) {
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 34 diff changeset	40 Type* bt = t->toBasetype();
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 34 diff changeset	41 assert(bt);
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: 78 diff changeset	42 return DtoDType(bt);
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 34 diff changeset	43 }
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 34 diff changeset	44 return t;
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 34 diff changeset	45 }
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 34 diff changeset	46
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	47 const LLType* DtoType(Type* t)
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	48 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	49 assert(t);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	50 switch (t->ty)
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	51 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	52 // integers
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	53 case Tint8:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	54 case Tuns8:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	55 case Tchar:
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	56 return (const LLType*)LLType::Int8Ty;
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	57 case Tint16:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	58 case Tuns16:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	59 case Twchar:
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	60 return (const LLType*)LLType::Int16Ty;
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	61 case Tint32:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	62 case Tuns32:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	63 case Tdchar:
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	64 return (const LLType*)LLType::Int32Ty;
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	65 case Tint64:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	66 case Tuns64:
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	67 return (const LLType*)LLType::Int64Ty;
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	68
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	69 case Tbool:
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	70 return (const LLType*)llvm::ConstantInt::getTrue()->getType();
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	71
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	72 // floats
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	73 case Tfloat32:
62 b86e00b938a5 [svn r66] Added support for imaginary floating point types lindquist parents: 58 diff changeset	74 case Timaginary32:
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	75 return LLType::FloatTy;
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	76 case Tfloat64:
62 b86e00b938a5 [svn r66] Added support for imaginary floating point types lindquist parents: 58 diff changeset	77 case Timaginary64:
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	78 return LLType::DoubleTy;
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	79 case Tfloat80:
62 b86e00b938a5 [svn r66] Added support for imaginary floating point types lindquist parents: 58 diff changeset	80 case Timaginary80:
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	81 return (global.params.useFP80) ? LLType::X86_FP80Ty : LLType::DoubleTy;
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	82
62 b86e00b938a5 [svn r66] Added support for imaginary floating point types lindquist parents: 58 diff changeset	83 // complex
b86e00b938a5 [svn r66] Added support for imaginary floating point types lindquist parents: 58 diff changeset	84 case Tcomplex32:
b86e00b938a5 [svn r66] Added support for imaginary floating point types lindquist parents: 58 diff changeset	85 case Tcomplex64:
b86e00b938a5 [svn r66] Added support for imaginary floating point types lindquist parents: 58 diff changeset	86 case Tcomplex80:
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: 103 diff changeset	87 return DtoComplexType(t);
62 b86e00b938a5 [svn r66] Added support for imaginary floating point types lindquist parents: 58 diff changeset	88
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	89 // pointers
308 6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 264 diff changeset	90 case Tpointer:
6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 264 diff changeset	91 return getPtrToType(DtoType(t->next));
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	92
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	93 // arrays
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	94 case Tarray:
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: 78 diff changeset	95 return DtoArrayType(t);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	96 case Tsarray:
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: 78 diff changeset	97 return DtoStaticArrayType(t);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	98
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	99 // void
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	100 case Tvoid:
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	101 return LLType::VoidTy;
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	102
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	103 // aggregates
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	104 case Tstruct: {
103 855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	105 TypeStruct* ts = (TypeStruct*)t;
855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	106 assert(ts->sym);
855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	107 DtoResolveDsymbol(ts->sym);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	108 return ts->sym->ir.irStruct->recty.get(); // t->ir.type->get();
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	109 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	110
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	111 case Tclass: {
103 855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	112 TypeClass* tc = (TypeClass*)t;
855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	113 assert(tc->sym);
855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	114 DtoResolveDsymbol(tc->sym);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	115 return getPtrToType(tc->sym->ir.irStruct->recty.get()); // t->ir.type->get());
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	116 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	117
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	118 // functions
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	119 case Tfunction:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	120 {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	121 if (!t->ir.type \|\| *t->ir.type == NULL) {
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 78 diff changeset	122 return DtoFunctionType(t,NULL);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	123 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	124 else {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	125 return t->ir.type->get();
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	126 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	127 }
6 35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	128
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	129 // delegates
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	130 case Tdelegate:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	131 {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	132 if (!t->ir.type \|\| *t->ir.type == NULL) {
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 78 diff changeset	133 return DtoDelegateType(t);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	134 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	135 else {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	136 return t->ir.type->get();
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	137 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	138 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	139
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	140 // typedefs
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	141 // enum
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	142 case Ttypedef:
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	143 case Tenum:
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	144 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	145 Type* bt = t->toBasetype();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	146 assert(bt);
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: 78 diff changeset	147 return DtoType(bt);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	148 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	149
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 107 diff changeset	150 // associative arrays
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 107 diff changeset	151 case Taarray:
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 107 diff changeset	152 {
109 5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	153 TypeAArray* taa = (TypeAArray*)t;
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	154 return getPtrToType(LLStructType::get(DtoType(taa->key), DtoType(taa->next), 0));
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 107 diff changeset	155 }
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 107 diff changeset	156
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	157 default:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	158 printf("trying to convert unknown type with value %d\n", t->ty);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	159 assert(0);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	160 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	161 return 0;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	162 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	163
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	164 //////////////////////////////////////////////////////////////////////////////////////////
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	165
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	166 const LLStructType* DtoDelegateType(Type* t)
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	167 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	168 const LLType* i8ptr = getVoidPtrType();
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	169 const LLType* func = DtoFunctionType(t->next, i8ptr);
7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	170 const LLType* funcptr = getPtrToType(func);
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	171 return LLStructType::get(i8ptr, funcptr, 0);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	172 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	173
53 06ccc817acd4 [svn r57] Added most basic TypeInfo (rebuild lphobos). lindquist parents: 52 diff changeset	174 //////////////////////////////////////////////////////////////////////////////////////////
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	175
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	176 LLValue* DtoDelegateCompare(TOK op, LLValue* lhs, LLValue* rhs)
53 06ccc817acd4 [svn r57] Added most basic TypeInfo (rebuild lphobos). lindquist parents: 52 diff changeset	177 {
177 cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	178 Logger::println("Doing delegate compare");
cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	179 llvm::ICmpInst::Predicate pred = (op == TOKequal \|\| op == TOKidentity) ? llvm::ICmpInst::ICMP_EQ : llvm::ICmpInst::ICMP_NE;
cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	180 llvm::Value b1, b2;
cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	181 if (rhs == NULL)
cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	182 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	183 LLValue* l = DtoLoad(DtoGEPi(lhs,0,0));
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	184 LLValue* r = llvm::Constant::getNullValue(l->getType());
177 cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	185 b1 = gIR->ir->CreateICmp(pred,l,r,"tmp");
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	186 l = DtoLoad(DtoGEPi(lhs,0,1));
177 cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	187 r = llvm::Constant::getNullValue(l->getType());
cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	188 b2 = gIR->ir->CreateICmp(pred,l,r,"tmp");
cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	189 }
cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	190 else
cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	191 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	192 LLValue* l = DtoLoad(DtoGEPi(lhs,0,0));
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	193 LLValue* r = DtoLoad(DtoGEPi(rhs,0,0));
177 cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	194 b1 = gIR->ir->CreateICmp(pred,l,r,"tmp");
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	195 l = DtoLoad(DtoGEPi(lhs,0,1));
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	196 r = DtoLoad(DtoGEPi(rhs,0,1));
177 cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	197 b2 = gIR->ir->CreateICmp(pred,l,r,"tmp");
cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	198 }
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	199 LLValue* b = gIR->ir->CreateAnd(b1,b2,"tmp");
177 cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	200 if (op == TOKnotequal \|\| op == TOKnotidentity)
53 06ccc817acd4 [svn r57] Added most basic TypeInfo (rebuild lphobos). lindquist parents: 52 diff changeset	201 return gIR->ir->CreateNot(b,"tmp");
06ccc817acd4 [svn r57] Added most basic TypeInfo (rebuild lphobos). lindquist parents: 52 diff changeset	202 return b;
06ccc817acd4 [svn r57] Added most basic TypeInfo (rebuild lphobos). lindquist parents: 52 diff changeset	203 }
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	204
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	205 //////////////////////////////////////////////////////////////////////////////////////////
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	206
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	207 LLGlobalValue::LinkageTypes DtoLinkage(Dsymbol* sym)
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	208 {
149 4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	209 // global variable
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	210 if (VarDeclaration* vd = sym->isVarDeclaration())
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	211 {
149 4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	212 // template
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	213 if (DtoIsTemplateInstance(sym))
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	214 return llvm::GlobalValue::WeakLinkage;
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	215 // local static
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	216 else if (sym->parent && sym->parent->isFuncDeclaration())
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	217 return llvm::GlobalValue::InternalLinkage;
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	218 }
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	219 // function
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	220 else if (FuncDeclaration* fdecl = sym->isFuncDeclaration())
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	221 {
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	222 assert(fdecl->type->ty == Tfunction);
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	223 TypeFunction* ft = (TypeFunction*)fdecl->type;
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	224
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	225 // intrinsics are always external
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	226 if (fdecl->llvmInternal == LLVMintrinsic)
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	227 return llvm::GlobalValue::ExternalLinkage;
149 4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	228 // template instances should have weak linkage
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	229 else if (DtoIsTemplateInstance(fdecl))
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	230 return llvm::GlobalValue::WeakLinkage;
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	231 // extern(C) functions are always external
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	232 else if (ft->linkage == LINKc)
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	233 return llvm::GlobalValue::ExternalLinkage;
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	234 }
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	235 // class
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	236 else if (ClassDeclaration* cd = sym->isClassDeclaration())
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	237 {
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	238 // template
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	239 if (DtoIsTemplateInstance(cd))
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	240 return llvm::GlobalValue::WeakLinkage;
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	241 }
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	242 else
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	243 {
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	244 assert(0 && "not global/function");
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	245 }
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	246
149 4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	247 // default to external linkage
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	248 return llvm::GlobalValue::ExternalLinkage;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	249 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	250
149 4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	251 llvm::GlobalValue::LinkageTypes DtoInternalLinkage(Dsymbol* sym)
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	252 {
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	253 if (DtoIsTemplateInstance(sym))
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	254 return llvm::GlobalValue::WeakLinkage;
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	255 else
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	256 return llvm::GlobalValue::InternalLinkage;
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	257 }
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	258
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	259 llvm::GlobalValue::LinkageTypes DtoExternalLinkage(Dsymbol* sym)
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	260 {
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	261 if (DtoIsTemplateInstance(sym))
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	262 return llvm::GlobalValue::WeakLinkage;
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	263 else
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	264 return llvm::GlobalValue::ExternalLinkage;
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	265 }
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	266
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	267 //////////////////////////////////////////////////////////////////////////////////////////
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	268
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 78 diff changeset	269 unsigned DtoCallingConv(LINK l)
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	270 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	271 if (l == LINKc)
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	272 return llvm::CallingConv::C;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	273 else if (l == LINKd \|\| l == LINKdefault)
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	274 return llvm::CallingConv::Fast;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	275 else if (l == LINKwindows)
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	276 return llvm::CallingConv::X86_StdCall;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	277 else
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	278 assert(0 && "Unsupported calling convention");
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	279 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	280
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	281 //////////////////////////////////////////////////////////////////////////////////////////
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	282
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	283 LLValue* DtoPointedType(LLValue* ptr, LLValue* val)
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	284 {
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	285 const LLType* ptrTy = ptr->getType()->getContainedType(0);
7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	286 const LLType* valTy = val->getType();
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	287 // ptr points to val's type
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	288 if (ptrTy == valTy)
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	289 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	290 return val;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	291 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	292 // ptr is integer pointer
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	293 else if (ptrTy->isInteger())
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	294 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	295 // val is integer
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	296 assert(valTy->isInteger());
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	297 const LLIntegerType* pt = llvm::cast<const LLIntegerType>(ptrTy);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	298 const LLIntegerType* vt = llvm::cast<const LLIntegerType>(valTy);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	299 if (pt->getBitWidth() < vt->getBitWidth()) {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	300 return new llvm::TruncInst(val, pt, "tmp", gIR->scopebb());
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	301 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	302 else
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	303 assert(0);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	304 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	305 // something else unsupported
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	306 else
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	307 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	308 Logger::cout() << ptrTy << '\|' << valTy << '\n';
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	309 assert(0);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	310 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	311 return 0;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	312 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	313
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	314 //////////////////////////////////////////////////////////////////////////////////////////
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	315
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	316 LLValue* DtoBoolean(LLValue* val)
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	317 {
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	318 const LLType* t = val->getType();
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	319 if (t->isInteger())
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	320 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	321 if (t == LLType::Int1Ty)
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	322 return val;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	323 else {
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	324 LLValue* zero = llvm::ConstantInt::get(t, 0, false);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	325 return new llvm::ICmpInst(llvm::ICmpInst::ICMP_NE, val, zero, "tmp", gIR->scopebb());
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	326 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	327 }
264 a9dae3da4e87 [svn r285] Fixed D -> bool LLVM helper for floating point values. lindquist parents: 246 diff changeset	328 else if (t->isFloatingPoint())
a9dae3da4e87 [svn r285] Fixed D -> bool LLVM helper for floating point values. lindquist parents: 246 diff changeset	329 {
a9dae3da4e87 [svn r285] Fixed D -> bool LLVM helper for floating point values. lindquist parents: 246 diff changeset	330 LLValue* zero = llvm::Constant::getNullValue(t);
a9dae3da4e87 [svn r285] Fixed D -> bool LLVM helper for floating point values. lindquist parents: 246 diff changeset	331 return new llvm::FCmpInst(llvm::FCmpInst::FCMP_ONE, val, zero, "tmp", gIR->scopebb());
a9dae3da4e87 [svn r285] Fixed D -> bool LLVM helper for floating point values. lindquist parents: 246 diff changeset	332 }
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	333 else if (isaPointer(t)) {
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	334 LLValue* zero = llvm::Constant::getNullValue(t);
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	335 return new llvm::ICmpInst(llvm::ICmpInst::ICMP_NE, val, zero, "tmp", gIR->scopebb());
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	336 }
264 a9dae3da4e87 [svn r285] Fixed D -> bool LLVM helper for floating point values. lindquist parents: 246 diff changeset	337 std::cout << "unsupported -> bool : " << *t << '\n';
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	338 assert(0);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	339 return 0;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	340 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	341
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	342 //////////////////////////////////////////////////////////////////////////////////////////
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	343
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	344 const LLType* DtoSize_t()
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	345 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	346 // the type of size_t does not change once set
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	347 static const LLType* t = NULL;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	348 if (t == NULL)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	349 t = (global.params.is64bit) ? LLType::Int64Ty : LLType::Int32Ty;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	350 return t;
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 34 diff changeset	351 }
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 34 diff changeset	352
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 34 diff changeset	353 //////////////////////////////////////////////////////////////////////////////////////////
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 34 diff changeset	354
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	355 LLValue* DtoGEP1(LLValue* ptr, LLValue* i0, const char* var, llvm::BasicBlock* bb)
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	356 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	357 return llvm::GetElementPtrInst::Create(ptr, i0, var?var:"tmp", bb?bb:gIR->scopebb());
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	358 }
6 35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	359
11 d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 9 diff changeset	360 //////////////////////////////////////////////////////////////////////////////////////////
d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 9 diff changeset	361
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	362 LLValue* DtoGEP(LLValue* ptr, LLValue* i0, LLValue* i1, const char* var, llvm::BasicBlock* bb)
6 35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	363 {
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	364 LLSmallVector<LLValue*,2> v(2);
6 35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	365 v[0] = i0;
35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	366 v[1] = i1;
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	367 return llvm::GetElementPtrInst::Create(ptr, v.begin(), v.end(), var?var:"tmp", bb?bb:gIR->scopebb());
6 35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	368 }
8 5e69b77a5c51 [svn r12] fixed accessing aggregate fields of aggregates lindquist parents: 6 diff changeset	369
11 d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 9 diff changeset	370 //////////////////////////////////////////////////////////////////////////////////////////
d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 9 diff changeset	371
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	372 LLValue* DtoGEPi(LLValue* ptr, const DStructIndexVector& src, const char* var, llvm::BasicBlock* bb)
8 5e69b77a5c51 [svn r12] fixed accessing aggregate fields of aggregates lindquist parents: 6 diff changeset	373 {
5e69b77a5c51 [svn r12] fixed accessing aggregate fields of aggregates lindquist parents: 6 diff changeset	374 size_t n = src.size();
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	375 LLSmallVector<LLValue*, 3> dst(n);
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	376
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	377 size_t j=0;
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	378 for (DStructIndexVector::const_iterator i=src.begin(); i!=src.end(); ++i)
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	379 dst[j++] = DtoConstUint(*i);
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	380
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	381 return llvm::GetElementPtrInst::Create(ptr, dst.begin(), dst.end(), var?var:"tmp", bb?bb:gIR->scopebb());
8 5e69b77a5c51 [svn r12] fixed accessing aggregate fields of aggregates lindquist parents: 6 diff changeset	382 }
9 dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	383
11 d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 9 diff changeset	384 //////////////////////////////////////////////////////////////////////////////////////////
d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 9 diff changeset	385
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	386 LLValue* DtoGEPi1(LLValue* ptr, unsigned i, const char* var, llvm::BasicBlock* bb)
11 d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 9 diff changeset	387 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	388 return llvm::GetElementPtrInst::Create(ptr, DtoConstUint(i), var?var:"tmp", bb?bb:gIR->scopebb());
11 d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 9 diff changeset	389 }
d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 9 diff changeset	390
d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 9 diff changeset	391 //////////////////////////////////////////////////////////////////////////////////////////
d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 9 diff changeset	392
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	393 LLValue* DtoGEPi(LLValue* ptr, unsigned i0, unsigned i1, const char* var, llvm::BasicBlock* bb)
11 d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 9 diff changeset	394 {
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	395 LLSmallVector<LLValue*,2> v(2);
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	396 v[0] = DtoConstUint(i0);
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	397 v[1] = DtoConstUint(i1);
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	398 return llvm::GetElementPtrInst::Create(ptr, v.begin(), v.end(), var?var:"tmp", bb?bb:gIR->scopebb());
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 31 diff changeset	399 }
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 31 diff changeset	400
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 34 diff changeset	401 //////////////////////////////////////////////////////////////////////////////////////////
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 31 diff changeset	402
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	403 void DtoMemSetZero(LLValue* dst, LLValue* nbytes)
129 8096ba7082db [svn r133] Fixed some problems with inlining not happening :P lindquist parents: 121 diff changeset	404 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	405 dst = DtoBitCast(dst,getVoidPtrType());
131 5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	406
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	407 llvm::Function* fn;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	408 if (global.params.is64bit)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	409 fn = GET_INTRINSIC_DECL(memset_i64);
131 5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	410 else
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	411 fn = GET_INTRINSIC_DECL(memset_i32);
131 5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	412
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	413 gIR->ir->CreateCall4(fn, dst, DtoConstUbyte(0), nbytes, DtoConstUint(0), "");
50 6fcc08a4d406 [svn r54] Added support for nested delegates referencing parent's stack variables. lindquist parents: 49 diff changeset	414 }
51 61bc1b4ad3c4 [svn r55] Foreach was always generating code as if the value variable was 'ref' lindquist parents: 50 diff changeset	415
61bc1b4ad3c4 [svn r55] Foreach was always generating code as if the value variable was 'ref' lindquist parents: 50 diff changeset	416 //////////////////////////////////////////////////////////////////////////////////////////
61bc1b4ad3c4 [svn r55] Foreach was always generating code as if the value variable was 'ref' lindquist parents: 50 diff changeset	417
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	418 void DtoMemCpy(LLValue* dst, LLValue* src, LLValue* nbytes)
51 61bc1b4ad3c4 [svn r55] Foreach was always generating code as if the value variable was 'ref' lindquist parents: 50 diff changeset	419 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	420 dst = DtoBitCast(dst,getVoidPtrType());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	421 src = DtoBitCast(src,getVoidPtrType());
51 61bc1b4ad3c4 [svn r55] Foreach was always generating code as if the value variable was 'ref' lindquist parents: 50 diff changeset	422
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	423 llvm::Function* fn;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	424 if (global.params.is64bit)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	425 fn = GET_INTRINSIC_DECL(memcpy_i64);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	426 else
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	427 fn = GET_INTRINSIC_DECL(memcpy_i32);
107 3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 106 diff changeset	428
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	429 gIR->ir->CreateCall4(fn, dst, src, nbytes, DtoConstUint(0), "");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	430 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	431
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	432 //////////////////////////////////////////////////////////////////////////////////////////
107 3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 106 diff changeset	433
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	434 void DtoAggrZeroInit(LLValue* v)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	435 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	436 uint64_t n = getTypeStoreSize(v->getType()->getContainedType(0));
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	437 DtoMemSetZero(v, DtoConstSize_t(n));
51 61bc1b4ad3c4 [svn r55] Foreach was always generating code as if the value variable was 'ref' lindquist parents: 50 diff changeset	438 }
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 53 diff changeset	439
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 53 diff changeset	440 //////////////////////////////////////////////////////////////////////////////////////////
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	441
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	442 void DtoAggrCopy(LLValue* dst, LLValue* src)
97 c4e161556a21 [svn r101] Split up CastExp into several smaller utility functions. lindquist parents: 96 diff changeset	443 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	444 uint64_t n = getTypeStoreSize(dst->getType()->getContainedType(0));
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	445 DtoMemCpy(dst, src, DtoConstSize_t(n));
97 c4e161556a21 [svn r101] Split up CastExp into several smaller utility functions. lindquist parents: 96 diff changeset	446 }
c4e161556a21 [svn r101] Split up CastExp into several smaller utility functions. lindquist parents: 96 diff changeset	447
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	448 //////////////////////////////////////////////////////////////////////////////////////////
97 c4e161556a21 [svn r101] Split up CastExp into several smaller utility functions. lindquist parents: 96 diff changeset	449
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	450 void DtoMemoryBarrier(bool ll, bool ls, bool sl, bool ss, bool device)
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: 103 diff changeset	451 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	452 llvm::Function* fn = GET_INTRINSIC_DECL(memory_barrier);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	453 assert(fn != NULL);
107 3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 106 diff changeset	454
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	455 LLSmallVector<LLValue*, 5> llargs;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	456 llargs.push_back(DtoConstBool(ll));
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	457 llargs.push_back(DtoConstBool(ls));
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	458 llargs.push_back(DtoConstBool(sl));
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	459 llargs.push_back(DtoConstBool(ss));
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	460 llargs.push_back(DtoConstBool(device));
107 3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 106 diff changeset	461
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	462 llvm::CallInst::Create(fn, llargs.begin(), llargs.end(), "", gIR->scopebb());
97 c4e161556a21 [svn r101] Split up CastExp into several smaller utility functions. lindquist parents: 96 diff changeset	463 }
c4e161556a21 [svn r101] Split up CastExp into several smaller utility functions. lindquist parents: 96 diff changeset	464
c4e161556a21 [svn r101] Split up CastExp into several smaller utility functions. lindquist parents: 96 diff changeset	465 //////////////////////////////////////////////////////////////////////////////////////////
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 53 diff changeset	466
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 78 diff changeset	467 llvm::ConstantInt* DtoConstSize_t(size_t i)
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 53 diff changeset	468 {
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 78 diff changeset	469 return llvm::ConstantInt::get(DtoSize_t(), i, false);
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 53 diff changeset	470 }
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: 78 diff changeset	471 llvm::ConstantInt* DtoConstUint(unsigned i)
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 53 diff changeset	472 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	473 return llvm::ConstantInt::get(LLType::Int32Ty, i, false);
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 53 diff changeset	474 }
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: 78 diff changeset	475 llvm::ConstantInt* DtoConstInt(int i)
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: 78 diff changeset	476 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	477 return llvm::ConstantInt::get(LLType::Int32Ty, i, true);
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: 78 diff changeset	478 }
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	479 LLConstant* DtoConstBool(bool b)
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: 78 diff changeset	480 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	481 return llvm::ConstantInt::get(LLType::Int1Ty, b, false);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	482 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	483 llvm::ConstantInt* DtoConstUbyte(unsigned char i)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	484 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	485 return llvm::ConstantInt::get(LLType::Int8Ty, i, false);
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: 78 diff changeset	486 }
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 53 diff changeset	487
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: 103 diff changeset	488 llvm::ConstantFP* DtoConstFP(Type* t, long double value)
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: 103 diff changeset	489 {
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: 103 diff changeset	490 TY ty = DtoDType(t)->ty;
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: 103 diff changeset	491 if (ty == Tfloat32 \|\| ty == Timaginary32)
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	492 return llvm::ConstantFP::get(llvm::APFloat(float(value)));
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: 103 diff changeset	493 else if (ty == Tfloat64 \|\| ty == Timaginary64 \|\| ty == Tfloat80 \|\| ty == Timaginary80)
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	494 return llvm::ConstantFP::get(llvm::APFloat(double(value)));
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: 103 diff changeset	495 }
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: 103 diff changeset	496
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 53 diff changeset	497 //////////////////////////////////////////////////////////////////////////////////////////
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 53 diff changeset	498
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	499 LLConstant* DtoConstString(const char* str)
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 53 diff changeset	500 {
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 53 diff changeset	501 std::string s(str);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	502 LLConstant* init = llvm::ConstantArray::get(s, true);
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 53 diff changeset	503 llvm::GlobalVariable* gvar = new llvm::GlobalVariable(
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 244 diff changeset	504 init->getType(), true,llvm::GlobalValue::InternalLinkage, init, ".str", gIR->module);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	505 LLConstant* idxs[2] = { DtoConstUint(0), DtoConstUint(0) };
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 78 diff changeset	506 return DtoConstSlice(
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: 78 diff changeset	507 DtoConstSize_t(s.length()),
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 53 diff changeset	508 llvm::ConstantExpr::getGetElementPtr(gvar,idxs,2)
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 53 diff changeset	509 );
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 53 diff changeset	510 }
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	511 LLConstant* DtoConstStringPtr(const char* str, const char* section)
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: 81 diff changeset	512 {
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: 81 diff changeset	513 std::string s(str);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	514 LLConstant* init = llvm::ConstantArray::get(s, true);
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: 81 diff changeset	515 llvm::GlobalVariable* gvar = new llvm::GlobalVariable(
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 244 diff changeset	516 init->getType(), true,llvm::GlobalValue::InternalLinkage, init, ".str", gIR->module);
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: 81 diff changeset	517 if (section) gvar->setSection(section);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	518 LLConstant* idxs[2] = { DtoConstUint(0), DtoConstUint(0) };
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: 81 diff changeset	519 return llvm::ConstantExpr::getGetElementPtr(gvar,idxs,2);
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: 81 diff changeset	520 }
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	521
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	522 //////////////////////////////////////////////////////////////////////////////////////////
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	523
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	524 LLValue* DtoLoad(LLValue* src, const char* name)
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	525 {
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	526 LLValue* ld = gIR->ir->CreateLoad(src, name ? name : "tmp");
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	527 //ld->setVolatile(gIR->func()->inVolatile);
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	528 return ld;
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	529 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	530
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	531 void DtoStore(LLValue* src, LLValue* dst)
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	532 {
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	533 LLValue* st = gIR->ir->CreateStore(src,dst);
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	534 //st->setVolatile(gIR->func()->inVolatile);
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	535 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	536
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	537 bool DtoCanLoad(LLValue* ptr)
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	538 {
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	539 if (isaPointer(ptr->getType())) {
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	540 return ptr->getType()->getContainedType(0)->isFirstClassType();
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	541 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	542 return false;
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	543 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	544
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: 103 diff changeset	545 //////////////////////////////////////////////////////////////////////////////////////////
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: 103 diff changeset	546
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	547 LLValue* DtoBitCast(LLValue* v, const LLType* t, const char* name)
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	548 {
98 6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 97 diff changeset	549 if (v->getType() == t)
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 97 diff changeset	550 return v;
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	551 return gIR->ir->CreateBitCast(v, t, name ? name : "tmp");
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	552 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	553
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: 103 diff changeset	554 //////////////////////////////////////////////////////////////////////////////////////////
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: 103 diff changeset	555
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	556 const LLPointerType* isaPointer(LLValue* v)
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 93 diff changeset	557 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	558 return llvm::dyn_cast<LLPointerType>(v->getType());
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 93 diff changeset	559 }
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 93 diff changeset	560
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	561 const LLPointerType* isaPointer(const LLType* t)
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	562 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	563 return llvm::dyn_cast<LLPointerType>(t);
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	564 }
ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	565
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	566 const LLArrayType* isaArray(LLValue* v)
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 93 diff changeset	567 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	568 return llvm::dyn_cast<LLArrayType>(v->getType());
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 93 diff changeset	569 }
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 93 diff changeset	570
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	571 const LLArrayType* isaArray(const LLType* t)
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	572 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	573 return llvm::dyn_cast<LLArrayType>(t);
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	574 }
ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	575
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	576 const LLStructType* isaStruct(LLValue* v)
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 93 diff changeset	577 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	578 return llvm::dyn_cast<LLStructType>(v->getType());
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 93 diff changeset	579 }
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 93 diff changeset	580
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	581 const LLStructType* isaStruct(const LLType* t)
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	582 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	583 return llvm::dyn_cast<LLStructType>(t);
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	584 }
ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	585
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	586 LLConstant* isaConstant(LLValue* v)
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 93 diff changeset	587 {
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 93 diff changeset	588 return llvm::dyn_cast<llvm::Constant>(v);
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 93 diff changeset	589 }
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 93 diff changeset	590
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	591 llvm::ConstantInt* isaConstantInt(LLValue* v)
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 93 diff changeset	592 {
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 93 diff changeset	593 return llvm::dyn_cast<llvm::ConstantInt>(v);
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 93 diff changeset	594 }
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 93 diff changeset	595
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	596 llvm::Argument* isaArgument(LLValue* v)
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	597 {
ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	598 return llvm::dyn_cast<llvm::Argument>(v);
ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	599 }
ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	600
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	601 llvm::GlobalVariable* isaGlobalVar(LLValue* v)
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 104 diff changeset	602 {
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 104 diff changeset	603 return llvm::dyn_cast<llvm::GlobalVariable>(v);
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 104 diff changeset	604 }
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 104 diff changeset	605
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	606 //////////////////////////////////////////////////////////////////////////////////////////
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	607
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	608 const LLPointerType* getPtrToType(const LLType* t)
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	609 {
308 6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 264 diff changeset	610 if (t == LLType::VoidTy)
6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 264 diff changeset	611 t = LLType::Int8Ty;
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	612 return LLPointerType::get(t, 0);
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	613 }
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	614
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	615 const LLPointerType* getVoidPtrType()
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 189 diff changeset	616 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	617 return getPtrToType(LLType::Int8Ty);
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 189 diff changeset	618 }
aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 189 diff changeset	619
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	620 llvm::ConstantPointerNull* getNullPtr(const LLType* t)
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	621 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	622 const LLPointerType* pt = llvm::cast<LLPointerType>(t);
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	623 return llvm::ConstantPointerNull::get(pt);
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	624 }
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	625
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	626 //////////////////////////////////////////////////////////////////////////////////////////
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	627
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	628 size_t getTypeBitSize(const LLType* t)
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	629 {
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	630 return gTargetData->getTypeSizeInBits(t);
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	631 }
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	632
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	633 size_t getTypeStoreSize(const LLType* t)
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	634 {
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	635 return gTargetData->getTypeStoreSize(t);
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	636 }
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	637
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	638 size_t getABITypeSize(const LLType* t)
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	639 {
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	640 Logger::cout() << "getting abi type of: " << *t << '\n';
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	641 return gTargetData->getABITypeSize(t);
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	642 }
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	643
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	644 unsigned char getABITypeAlign(const LLType* t)
88 058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	645 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	646 return gTargetData->getABITypeAlignment(t);
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	647 }
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	648
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	649 unsigned char getPrefTypeAlign(const LLType* t)
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	650 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	651 return gTargetData->getPrefTypeAlignment(t);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	652 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	653
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	654 //////////////////////////////////////////////////////////////////////////////////////////
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	655
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	656 const LLStructType* DtoInterfaceInfoType()
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 135 diff changeset	657 {
161 3a891cfcd249 [svn r177] moved variable for interface info type from being local static to being within IRState ChristianK parents: 160 diff changeset	658 if (gIR->interfaceInfoType)
3a891cfcd249 [svn r177] moved variable for interface info type from being local static to being within IRState ChristianK parents: 160 diff changeset	659 return gIR->interfaceInfoType;
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 135 diff changeset	660
0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 135 diff changeset	661 // build interface info type
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	662 std::vector<const LLType*> types;
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 135 diff changeset	663 // ClassInfo classinfo
0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 135 diff changeset	664 ClassDeclaration* cd2 = ClassDeclaration::classinfo;
0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 135 diff changeset	665 DtoResolveClass(cd2);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	666 types.push_back(getPtrToType(cd2->type->ir.type->get()));
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 135 diff changeset	667 // void*[] vtbl
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	668 std::vector<const LLType*> vtbltypes;
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 135 diff changeset	669 vtbltypes.push_back(DtoSize_t());
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	670 const LLType* byteptrptrty = getPtrToType(getPtrToType(LLType::Int8Ty));
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 135 diff changeset	671 vtbltypes.push_back(byteptrptrty);
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	672 types.push_back(LLStructType::get(vtbltypes));
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 135 diff changeset	673 // int offset
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	674 types.push_back(LLType::Int32Ty);
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 135 diff changeset	675 // create type
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	676 gIR->interfaceInfoType = LLStructType::get(types);
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 135 diff changeset	677
161 3a891cfcd249 [svn r177] moved variable for interface info type from being local static to being within IRState ChristianK parents: 160 diff changeset	678 return gIR->interfaceInfoType;
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 135 diff changeset	679 }
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: 201 diff changeset	680
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	681 //////////////////////////////////////////////////////////////////////////////////////////
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: 201 diff changeset	682
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	683 const LLStructType* DtoMutexType()
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	684 {
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	685 if (gIR->mutexType)
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	686 return gIR->mutexType;
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: 201 diff changeset	687
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	688 // win32
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	689 if (global.params.isWindows)
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	690 {
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	691 // CRITICAL_SECTION.sizeof == 68
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	692 std::vector<const LLType*> types(17, LLType::Int32Ty);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	693 return LLStructType::get(types);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	694 }
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: 201 diff changeset	695
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	696 // pthread_fastlock
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	697 std::vector<const LLType*> types2;
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	698 types2.push_back(DtoSize_t());
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	699 types2.push_back(LLType::Int32Ty);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	700 const LLStructType* fastlock = LLStructType::get(types2);
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: 201 diff changeset	701
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	702 // pthread_mutex
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	703 std::vector<const LLType*> types1;
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	704 types1.push_back(LLType::Int32Ty);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	705 types1.push_back(LLType::Int32Ty);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	706 types1.push_back(getVoidPtrType());
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	707 types1.push_back(LLType::Int32Ty);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	708 types1.push_back(fastlock);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	709 const LLStructType* pmutex = LLStructType::get(types1);
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: 201 diff changeset	710
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	711 // D_CRITICAL_SECTION
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	712 LLOpaqueType* opaque = LLOpaqueType::get();
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	713 std::vector<const LLType*> types;
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	714 types.push_back(getPtrToType(opaque));
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	715 types.push_back(pmutex);
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: 201 diff changeset	716
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	717 // resolve type
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	718 pmutex = LLStructType::get(types);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	719 LLPATypeHolder pa(pmutex);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	720 opaque->refineAbstractTypeTo(pa.get());
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	721 pmutex = isaStruct(pa.get());
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: 201 diff changeset	722
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	723 gIR->mutexType = pmutex;
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	724 gIR->module->addTypeName("D_CRITICAL_SECTION", pmutex);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	725 return pmutex;
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	726 }

Mercurial > projects > ldc

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