projects/ldc: gen/tollvm.cpp annotate

annotate gen/tollvm.cpp @ 1210:3d4581761b4c

Add some alignment info where LLVM might otherwise be more pessimistic. In particular, %.nest_arg is always aligned even though it's bitcast from i8*. Pointers in vtables are also guaranteed to be stored at aligned addresses.

author	Frits van Bommel <fvbommel wxs.nl>
date	Sun, 12 Apr 2009 21:56:43 +0200
parents	3251ce06c820
children	7e5547d8e59f

rev	line source
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	1
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 34 diff changeset	2 #include "gen/llvm.h"
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	3
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	4 #include "dsymbol.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	5 #include "aggregate.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	6 #include "declaration.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	7 #include "init.h"
323 0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 317 diff changeset	8 #include "module.h"
1 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"
1064 f0b6549055ab Make LDC work with LLVM trunk (s/LinkOnceLinkage/LinkOnceOdrLinkage/) Frits van Bommel <fvbommel wxs.nl> parents: 1050 diff changeset	22 #include "gen/linkage.h"
1138 4c8bb03e4fbc Update DtoConstFP() to be correct after LLVM r67562, which changed the way the Frits van Bommel <fvbommel wxs.nl> parents: 1064 diff changeset	23 #include "gen/llvm-version.h"
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	24
1192 3251ce06c820 Started seperating type resolution from the rest of codegen again, the merge had too many regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1179 diff changeset	25 #include "ir/irtype.h"
3251ce06c820 Started seperating type resolution from the rest of codegen again, the merge had too many regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1179 diff changeset	26
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	27 bool DtoIsPassedByRef(Type* type)
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 34 diff changeset	28 {
486 a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 464 diff changeset	29 Type* typ = type->toBasetype();
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: 103 diff changeset	30 TY t = typ->ty;
719 7261ff0f95ff Implemented first class delegates. closes #101 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 715 diff changeset	31 return (t == Tstruct \|\| t == Tsarray);
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 34 diff changeset	32 }
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 34 diff changeset	33
445 cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 414 diff changeset	34 unsigned DtoShouldExtend(Type* type)
cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 414 diff changeset	35 {
cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 414 diff changeset	36 type = type->toBasetype();
cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 414 diff changeset	37 if (type->isintegral())
cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 414 diff changeset	38 {
cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 414 diff changeset	39 switch(type->ty)
cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 414 diff changeset	40 {
cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 414 diff changeset	41 case Tint8:
cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 414 diff changeset	42 case Tint16:
632 df196c8dea26 Updated to latest LLVM trunk, function notes have been removed and merged with parameter attributes, which have been renamed to just attributes. Nothing seems to have broke! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 622 diff changeset	43 return llvm::Attribute::SExt;
445 cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 414 diff changeset	44
cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 414 diff changeset	45 case Tuns8:
cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 414 diff changeset	46 case Tuns16:
632 df196c8dea26 Updated to latest LLVM trunk, function notes have been removed and merged with parameter attributes, which have been renamed to just attributes. Nothing seems to have broke! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 622 diff changeset	47 return llvm::Attribute::ZExt;
445 cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 414 diff changeset	48 }
cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 414 diff changeset	49 }
632 df196c8dea26 Updated to latest LLVM trunk, function notes have been removed and merged with parameter attributes, which have been renamed to just attributes. Nothing seems to have broke! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 622 diff changeset	50 return llvm::Attribute::None;
445 cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 414 diff changeset	51 }
cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 414 diff changeset	52
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	53 const LLType* DtoType(Type* t)
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	54 {
1192 3251ce06c820 Started seperating type resolution from the rest of codegen again, the merge had too many regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1179 diff changeset	55 if (t->irtype)
3251ce06c820 Started seperating type resolution from the rest of codegen again, the merge had too many regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1179 diff changeset	56 {
3251ce06c820 Started seperating type resolution from the rest of codegen again, the merge had too many regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1179 diff changeset	57 return t->irtype->get();
3251ce06c820 Started seperating type resolution from the rest of codegen again, the merge had too many regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1179 diff changeset	58 }
3251ce06c820 Started seperating type resolution from the rest of codegen again, the merge had too many regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1179 diff changeset	59
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	60 assert(t);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	61 switch (t->ty)
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	62 {
1192 3251ce06c820 Started seperating type resolution from the rest of codegen again, the merge had too many regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1179 diff changeset	63 // basic types
3251ce06c820 Started seperating type resolution from the rest of codegen again, the merge had too many regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1179 diff changeset	64 case Tvoid:
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	65 case Tint8:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	66 case Tuns8:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	67 case Tint16:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	68 case Tuns16:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	69 case Tint32:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	70 case Tuns32:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	71 case Tint64:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	72 case Tuns64:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	73 case Tfloat32:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	74 case Tfloat64:
1192 3251ce06c820 Started seperating type resolution from the rest of codegen again, the merge had too many regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1179 diff changeset	75 case Tfloat80:
3251ce06c820 Started seperating type resolution from the rest of codegen again, the merge had too many regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1179 diff changeset	76 case Timaginary32:
62 b86e00b938a5 [svn r66] Added support for imaginary floating point types lindquist parents: 58 diff changeset	77 case Timaginary64:
b86e00b938a5 [svn r66] Added support for imaginary floating point types lindquist parents: 58 diff changeset	78 case Timaginary80:
b86e00b938a5 [svn r66] Added support for imaginary floating point types lindquist parents: 58 diff changeset	79 case Tcomplex32:
b86e00b938a5 [svn r66] Added support for imaginary floating point types lindquist parents: 58 diff changeset	80 case Tcomplex64:
b86e00b938a5 [svn r66] Added support for imaginary floating point types lindquist parents: 58 diff changeset	81 case Tcomplex80:
1192 3251ce06c820 Started seperating type resolution from the rest of codegen again, the merge had too many regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1179 diff changeset	82 //case Tbit:
3251ce06c820 Started seperating type resolution from the rest of codegen again, the merge had too many regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1179 diff changeset	83 case Tbool:
3251ce06c820 Started seperating type resolution from the rest of codegen again, the merge had too many regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1179 diff changeset	84 case Tchar:
3251ce06c820 Started seperating type resolution from the rest of codegen again, the merge had too many regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1179 diff changeset	85 case Twchar:
3251ce06c820 Started seperating type resolution from the rest of codegen again, the merge had too many regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1179 diff changeset	86 case Tdchar:
3251ce06c820 Started seperating type resolution from the rest of codegen again, the merge had too many regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1179 diff changeset	87 {
3251ce06c820 Started seperating type resolution from the rest of codegen again, the merge had too many regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1179 diff changeset	88 t->irtype = new IrTypeBasic(t);
3251ce06c820 Started seperating type resolution from the rest of codegen again, the merge had too many regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1179 diff changeset	89 return t->irtype->get();
3251ce06c820 Started seperating type resolution from the rest of codegen again, the merge had too many regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1179 diff changeset	90 }
62 b86e00b938a5 [svn r66] Added support for imaginary floating point types lindquist parents: 58 diff changeset	91
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	92 // pointers
308 6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 264 diff changeset	93 case Tpointer:
1192 3251ce06c820 Started seperating type resolution from the rest of codegen again, the merge had too many regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1179 diff changeset	94 {
3251ce06c820 Started seperating type resolution from the rest of codegen again, the merge had too many regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1179 diff changeset	95 t->irtype = new IrTypePointer(t);
3251ce06c820 Started seperating type resolution from the rest of codegen again, the merge had too many regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1179 diff changeset	96 return t->irtype->get();
3251ce06c820 Started seperating type resolution from the rest of codegen again, the merge had too many regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1179 diff changeset	97 }
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 // arrays
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	100 case Tarray:
1192 3251ce06c820 Started seperating type resolution from the rest of codegen again, the merge had too many regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1179 diff changeset	101 {
3251ce06c820 Started seperating type resolution from the rest of codegen again, the merge had too many regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1179 diff changeset	102 t->irtype = new IrTypeArray(t);
3251ce06c820 Started seperating type resolution from the rest of codegen again, the merge had too many regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1179 diff changeset	103 return t->irtype->get();
3251ce06c820 Started seperating type resolution from the rest of codegen again, the merge had too many regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1179 diff changeset	104 }
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	105
1192 3251ce06c820 Started seperating type resolution from the rest of codegen again, the merge had too many regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1179 diff changeset	106 case Tsarray:
3251ce06c820 Started seperating type resolution from the rest of codegen again, the merge had too many regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1179 diff changeset	107 {
3251ce06c820 Started seperating type resolution from the rest of codegen again, the merge had too many regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1179 diff changeset	108 t->irtype = new IrTypeSArray(t);
3251ce06c820 Started seperating type resolution from the rest of codegen again, the merge had too many regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1179 diff changeset	109 return t->irtype->get();
3251ce06c820 Started seperating type resolution from the rest of codegen again, the merge had too many regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1179 diff changeset	110 }
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	111
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	112 // aggregates
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	113 case Tstruct: {
848 d54f7cf84e6b Runtime now compiles with D2 again. This does NOT mean it works flawlessly !!! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 811 diff changeset	114 #if DMDV2
d54f7cf84e6b Runtime now compiles with D2 again. This does NOT mean it works flawlessly !!! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 811 diff changeset	115 TypeStruct* ts = (TypeStruct*)t->mutableOf();
d54f7cf84e6b Runtime now compiles with D2 again. This does NOT mean it works flawlessly !!! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 811 diff changeset	116 #else
103 855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	117 TypeStruct* ts = (TypeStruct*)t;
848 d54f7cf84e6b Runtime now compiles with D2 again. This does NOT mean it works flawlessly !!! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 811 diff changeset	118 #endif
103 855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	119 assert(ts->sym);
855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	120 DtoResolveDsymbol(ts->sym);
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 794 diff changeset	121 return ts->ir.type->get();
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	122 }
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 case Tclass: {
848 d54f7cf84e6b Runtime now compiles with D2 again. This does NOT mean it works flawlessly !!! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 811 diff changeset	125 #if DMDV2
d54f7cf84e6b Runtime now compiles with D2 again. This does NOT mean it works flawlessly !!! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 811 diff changeset	126 TypeClass* tc = (TypeClass*)t->mutableOf();
d54f7cf84e6b Runtime now compiles with D2 again. This does NOT mean it works flawlessly !!! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 811 diff changeset	127 #else
103 855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	128 TypeClass* tc = (TypeClass*)t;
848 d54f7cf84e6b Runtime now compiles with D2 again. This does NOT mean it works flawlessly !!! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 811 diff changeset	129 #endif
103 855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	130 assert(tc->sym);
855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	131 DtoResolveDsymbol(tc->sym);
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 794 diff changeset	132 return getPtrToType(tc->ir.type->get());
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	133 }
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 // functions
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	136 case Tfunction:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	137 {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	138 if (!t->ir.type \|\| *t->ir.type == NULL) {
486 a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 464 diff changeset	139 return DtoFunctionType(t,NULL,NULL);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	140 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	141 else {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	142 return t->ir.type->get();
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	143 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	144 }
6 35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	145
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	146 // delegates
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	147 case Tdelegate:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	148 {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	149 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	150 return DtoDelegateType(t);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	151 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	152 else {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	153 return t->ir.type->get();
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	154 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	155 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	156
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	157 // typedefs
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	158 // enum
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	159 case Ttypedef:
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 51 diff changeset	160 case Tenum:
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	161 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	162 Type* bt = t->toBasetype();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	163 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	164 return DtoType(bt);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	165 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	166
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 107 diff changeset	167 // associative arrays
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 107 diff changeset	168 case Taarray:
723 55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 719 diff changeset	169 #if 1
55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 719 diff changeset	170 return getVoidPtrType();
55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 719 diff changeset	171 #else
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 107 diff changeset	172 {
109 5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	173 TypeAArray* taa = (TypeAArray*)t;
328 7086a84ab3d6 [svn r349] Fixed problems with static arrays of void as well as a static arrays with zero length. lindquist parents: 323 diff changeset	174 // aa key/val can't be void
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	175 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	176 }
723 55f6c2e454d7 Implemented correct parameter order according to x86-32 ABI documentation. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 719 diff changeset	177 #endif
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 107 diff changeset	178
648 8d850fa25713 Fix VarDecls for tuples. Closes #99. Christian Kamm <kamm incasoftware de> parents: 637 diff changeset	179 /*
8d850fa25713 Fix VarDecls for tuples. Closes #99. Christian Kamm <kamm incasoftware de> parents: 637 diff changeset	180 Not needed atm as VarDecls for tuples are rewritten as a string of
8d850fa25713 Fix VarDecls for tuples. Closes #99. Christian Kamm <kamm incasoftware de> parents: 637 diff changeset	181 VarDecls for the fields (u -> _u_field_0, ...)
8d850fa25713 Fix VarDecls for tuples. Closes #99. Christian Kamm <kamm incasoftware de> parents: 637 diff changeset	182
8d850fa25713 Fix VarDecls for tuples. Closes #99. Christian Kamm <kamm incasoftware de> parents: 637 diff changeset	183 case Ttuple:
8d850fa25713 Fix VarDecls for tuples. Closes #99. Christian Kamm <kamm incasoftware de> parents: 637 diff changeset	184 {
8d850fa25713 Fix VarDecls for tuples. Closes #99. Christian Kamm <kamm incasoftware de> parents: 637 diff changeset	185 TypeTuple* ttupl = (TypeTuple*)t;
8d850fa25713 Fix VarDecls for tuples. Closes #99. Christian Kamm <kamm incasoftware de> parents: 637 diff changeset	186 return DtoStructTypeFromArguments(ttupl->arguments);
8d850fa25713 Fix VarDecls for tuples. Closes #99. Christian Kamm <kamm incasoftware de> parents: 637 diff changeset	187 }
8d850fa25713 Fix VarDecls for tuples. Closes #99. Christian Kamm <kamm incasoftware de> parents: 637 diff changeset	188 */
379 d632801b15f0 Introducing opaque type to dmd frontent to be used with certain runtime array Christian Kamm <kamm incasoftware de> parents: 365 diff changeset	189
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	190 default:
650 aa6a0b7968f7 Added test case for bug #100 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 648 diff changeset	191 printf("trying to convert unknown type '%s' with value %d\n", t->toChars(), t->ty);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	192 assert(0);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	193 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	194 return 0;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	195 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	196
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	197 //////////////////////////////////////////////////////////////////////////////////////////
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	198
648 8d850fa25713 Fix VarDecls for tuples. Closes #99. Christian Kamm <kamm incasoftware de> parents: 637 diff changeset	199 /*
8d850fa25713 Fix VarDecls for tuples. Closes #99. Christian Kamm <kamm incasoftware de> parents: 637 diff changeset	200 const LLType* DtoStructTypeFromArguments(Arguments* arguments)
8d850fa25713 Fix VarDecls for tuples. Closes #99. Christian Kamm <kamm incasoftware de> parents: 637 diff changeset	201 {
8d850fa25713 Fix VarDecls for tuples. Closes #99. Christian Kamm <kamm incasoftware de> parents: 637 diff changeset	202 if (!arguments)
8d850fa25713 Fix VarDecls for tuples. Closes #99. Christian Kamm <kamm incasoftware de> parents: 637 diff changeset	203 return LLType::VoidTy;
8d850fa25713 Fix VarDecls for tuples. Closes #99. Christian Kamm <kamm incasoftware de> parents: 637 diff changeset	204
8d850fa25713 Fix VarDecls for tuples. Closes #99. Christian Kamm <kamm incasoftware de> parents: 637 diff changeset	205 std::vector<const LLType*> types;
8d850fa25713 Fix VarDecls for tuples. Closes #99. Christian Kamm <kamm incasoftware de> parents: 637 diff changeset	206 for (size_t i = 0; i < arguments->dim; i++)
8d850fa25713 Fix VarDecls for tuples. Closes #99. Christian Kamm <kamm incasoftware de> parents: 637 diff changeset	207 {
8d850fa25713 Fix VarDecls for tuples. Closes #99. Christian Kamm <kamm incasoftware de> parents: 637 diff changeset	208 Argument arg = (Argument )arguments->data[i];
8d850fa25713 Fix VarDecls for tuples. Closes #99. Christian Kamm <kamm incasoftware de> parents: 637 diff changeset	209 assert(arg && arg->type);
8d850fa25713 Fix VarDecls for tuples. Closes #99. Christian Kamm <kamm incasoftware de> parents: 637 diff changeset	210
8d850fa25713 Fix VarDecls for tuples. Closes #99. Christian Kamm <kamm incasoftware de> parents: 637 diff changeset	211 types.push_back(DtoType(arg->type));
8d850fa25713 Fix VarDecls for tuples. Closes #99. Christian Kamm <kamm incasoftware de> parents: 637 diff changeset	212 }
8d850fa25713 Fix VarDecls for tuples. Closes #99. Christian Kamm <kamm incasoftware de> parents: 637 diff changeset	213 return LLStructType::get(types);
8d850fa25713 Fix VarDecls for tuples. Closes #99. Christian Kamm <kamm incasoftware de> parents: 637 diff changeset	214 }
8d850fa25713 Fix VarDecls for tuples. Closes #99. Christian Kamm <kamm incasoftware de> parents: 637 diff changeset	215 */
8d850fa25713 Fix VarDecls for tuples. Closes #99. Christian Kamm <kamm incasoftware de> parents: 637 diff changeset	216
8d850fa25713 Fix VarDecls for tuples. Closes #99. Christian Kamm <kamm incasoftware de> parents: 637 diff changeset	217 //////////////////////////////////////////////////////////////////////////////////////////
8d850fa25713 Fix VarDecls for tuples. Closes #99. Christian Kamm <kamm incasoftware de> parents: 637 diff changeset	218
328 7086a84ab3d6 [svn r349] Fixed problems with static arrays of void as well as a static arrays with zero length. lindquist parents: 323 diff changeset	219 const LLType* DtoTypeNotVoid(Type* t)
7086a84ab3d6 [svn r349] Fixed problems with static arrays of void as well as a static arrays with zero length. lindquist parents: 323 diff changeset	220 {
7086a84ab3d6 [svn r349] Fixed problems with static arrays of void as well as a static arrays with zero length. lindquist parents: 323 diff changeset	221 const LLType* lt = DtoType(t);
7086a84ab3d6 [svn r349] Fixed problems with static arrays of void as well as a static arrays with zero length. lindquist parents: 323 diff changeset	222 if (lt == LLType::VoidTy)
7086a84ab3d6 [svn r349] Fixed problems with static arrays of void as well as a static arrays with zero length. lindquist parents: 323 diff changeset	223 return LLType::Int8Ty;
7086a84ab3d6 [svn r349] Fixed problems with static arrays of void as well as a static arrays with zero length. lindquist parents: 323 diff changeset	224 return lt;
7086a84ab3d6 [svn r349] Fixed problems with static arrays of void as well as a static arrays with zero length. lindquist parents: 323 diff changeset	225 }
7086a84ab3d6 [svn r349] Fixed problems with static arrays of void as well as a static arrays with zero length. lindquist parents: 323 diff changeset	226
7086a84ab3d6 [svn r349] Fixed problems with static arrays of void as well as a static arrays with zero length. lindquist parents: 323 diff changeset	227 //////////////////////////////////////////////////////////////////////////////////////////
7086a84ab3d6 [svn r349] Fixed problems with static arrays of void as well as a static arrays with zero length. lindquist parents: 323 diff changeset	228
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	229 const LLStructType* DtoDelegateType(Type* t)
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	230 {
719 7261ff0f95ff Implemented first class delegates. closes #101 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 715 diff changeset	231 assert(t->ty == Tdelegate);
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	232 const LLType* i8ptr = getVoidPtrType();
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 994 diff changeset	233 const LLType* func = DtoFunctionType(t->nextOf(), NULL, Type::tvoid->pointerTo());
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	234 const LLType* funcptr = getPtrToType(func);
794 661384d6a936 Fix warnings on x86-64. By fvbommel. Christian Kamm <kamm incasoftware de> parents: 758 diff changeset	235 return LLStructType::get(i8ptr, funcptr, NULL);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	236 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	237
53 06ccc817acd4 [svn r57] Added most basic TypeInfo (rebuild lphobos). lindquist parents: 52 diff changeset	238 //////////////////////////////////////////////////////////////////////////////////////////
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	239
344 e20ce6d8d374 [svn r365] Implemented raw struct equality comparison, uses C memcmp. lindquist parents: 328 diff changeset	240 LLValue* DtoDelegateEquals(TOK op, LLValue* lhs, LLValue* rhs)
53 06ccc817acd4 [svn r57] Added most basic TypeInfo (rebuild lphobos). lindquist parents: 52 diff changeset	241 {
344 e20ce6d8d374 [svn r365] Implemented raw struct equality comparison, uses C memcmp. lindquist parents: 328 diff changeset	242 Logger::println("Doing delegate equality");
177 cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	243 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	244 if (rhs == NULL)
cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	245 {
719 7261ff0f95ff Implemented first class delegates. closes #101 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 715 diff changeset	246 rhs = LLConstant::getNullValue(lhs->getType());
177 cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	247 }
719 7261ff0f95ff Implemented first class delegates. closes #101 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 715 diff changeset	248
7261ff0f95ff Implemented first class delegates. closes #101 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 715 diff changeset	249 LLValue* l = gIR->ir->CreateExtractValue(lhs, 0);
7261ff0f95ff Implemented first class delegates. closes #101 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 715 diff changeset	250 LLValue* r = gIR->ir->CreateExtractValue(rhs, 0);
7261ff0f95ff Implemented first class delegates. closes #101 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 715 diff changeset	251 b1 = gIR->ir->CreateICmp(llvm::ICmpInst::ICMP_EQ,l,r,"tmp");
7261ff0f95ff Implemented first class delegates. closes #101 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 715 diff changeset	252
7261ff0f95ff Implemented first class delegates. closes #101 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 715 diff changeset	253 l = gIR->ir->CreateExtractValue(lhs, 1);
7261ff0f95ff Implemented first class delegates. closes #101 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 715 diff changeset	254 r = gIR->ir->CreateExtractValue(rhs, 1);
7261ff0f95ff Implemented first class delegates. closes #101 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 715 diff changeset	255 b2 = gIR->ir->CreateICmp(llvm::ICmpInst::ICMP_EQ,l,r,"tmp");
7261ff0f95ff Implemented first class delegates. closes #101 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 715 diff changeset	256
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	257 LLValue* b = gIR->ir->CreateAnd(b1,b2,"tmp");
719 7261ff0f95ff Implemented first class delegates. closes #101 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 715 diff changeset	258
177 cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	259 if (op == TOKnotequal \|\| op == TOKnotidentity)
53 06ccc817acd4 [svn r57] Added most basic TypeInfo (rebuild lphobos). lindquist parents: 52 diff changeset	260 return gIR->ir->CreateNot(b,"tmp");
719 7261ff0f95ff Implemented first class delegates. closes #101 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 715 diff changeset	261
53 06ccc817acd4 [svn r57] Added most basic TypeInfo (rebuild lphobos). lindquist parents: 52 diff changeset	262 return b;
06ccc817acd4 [svn r57] Added most basic TypeInfo (rebuild lphobos). lindquist parents: 52 diff changeset	263 }
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	264
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	265 //////////////////////////////////////////////////////////////////////////////////////////
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	266
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	267 LLGlobalValue::LinkageTypes DtoLinkage(Dsymbol* sym)
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	268 {
149 4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	269 // global variable
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	270 if (VarDeclaration* vd = sym->isVarDeclaration())
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	271 {
149 4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	272 // template
940 39519a1ff603 Changed the way LDC determines if a template instantiation needs to get a definition, seems to speed up compile times quite a bit in some cases. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	273 if (needsTemplateLinkage(sym))
918 a4fcc13da3cd Changed templates and typeinfo to use linkonce linkage instead of weak linkage, this should fix inlining problems, fixing bug #197 . If problems show up, it's easy to change it back by changing the define in mars.h . I'm 95% sure this is safe, given how we handle templates. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 896 diff changeset	274 return TEMPLATE_LINKAGE_TYPE;
149 4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	275 // local static
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	276 else if (sym->parent && sym->parent->isFuncDeclaration())
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	277 return llvm::GlobalValue::InternalLinkage;
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	278 }
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	279 // function
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	280 else if (FuncDeclaration* fdecl = sym->isFuncDeclaration())
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	281 {
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	282 assert(fdecl->type->ty == Tfunction);
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	283 TypeFunction* ft = (TypeFunction*)fdecl->type;
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	284
703 06576ece1a1b Changed premake.lua to work with mingw. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 661 diff changeset	285 // array operations are always internal
06576ece1a1b Changed premake.lua to work with mingw. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 661 diff changeset	286 if (fdecl->isArrayOp)
06576ece1a1b Changed premake.lua to work with mingw. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 661 diff changeset	287 return llvm::GlobalValue::InternalLinkage;
149 4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	288 // intrinsics are always external
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	289 if (fdecl->llvmInternal == LLVMintrinsic)
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	290 return llvm::GlobalValue::ExternalLinkage;
149 4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	291 // template instances should have weak linkage
920 545f54041d91 Implemented proper support for naked asm using llvm module level asm. Still not 100% complete, but already 1000 times better that what we had before. Don's BignumX86 implementation from Tango (when turned into a standalone unittest) seems to fully work with no changes, and great performance :) Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 918 diff changeset	292 // but only if there's a body, and it's not naked
545f54041d91 Implemented proper support for naked asm using llvm module level asm. Still not 100% complete, but already 1000 times better that what we had before. Don's BignumX86 implementation from Tango (when turned into a standalone unittest) seems to fully work with no changes, and great performance :) Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 918 diff changeset	293 // otherwise we make it external
940 39519a1ff603 Changed the way LDC determines if a template instantiation needs to get a definition, seems to speed up compile times quite a bit in some cases. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	294 else if (needsTemplateLinkage(fdecl) && fdecl->fbody && !fdecl->naked)
918 a4fcc13da3cd Changed templates and typeinfo to use linkonce linkage instead of weak linkage, this should fix inlining problems, fixing bug #197 . If problems show up, it's easy to change it back by changing the define in mars.h . I'm 95% sure this is safe, given how we handle templates. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 896 diff changeset	295 return TEMPLATE_LINKAGE_TYPE;
149 4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	296 // extern(C) functions are always external
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	297 else if (ft->linkage == LINKc)
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	298 return llvm::GlobalValue::ExternalLinkage;
1179 71479f6e2a01 Give function & delegate literals, foreach bodies and lazy parameters internal Frits van Bommel <fvbommel wxs.nl> parents: 1138 diff changeset	299 // Function & delegate literals, foreach bodies and lazy parameters: internal linkage
71479f6e2a01 Give function & delegate literals, foreach bodies and lazy parameters internal Frits van Bommel <fvbommel wxs.nl> parents: 1138 diff changeset	300 else if (fdecl->isFuncLiteralDeclaration())
71479f6e2a01 Give function & delegate literals, foreach bodies and lazy parameters internal Frits van Bommel <fvbommel wxs.nl> parents: 1138 diff changeset	301 return llvm::GlobalValue::InternalLinkage;
149 4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	302 }
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	303 // class
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	304 else if (ClassDeclaration* cd = sym->isClassDeclaration())
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	305 {
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	306 // template
940 39519a1ff603 Changed the way LDC determines if a template instantiation needs to get a definition, seems to speed up compile times quite a bit in some cases. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	307 if (needsTemplateLinkage(cd))
918 a4fcc13da3cd Changed templates and typeinfo to use linkonce linkage instead of weak linkage, this should fix inlining problems, fixing bug #197 . If problems show up, it's easy to change it back by changing the define in mars.h . I'm 95% sure this is safe, given how we handle templates. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 896 diff changeset	308 return TEMPLATE_LINKAGE_TYPE;
149 4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	309 }
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	310 else
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	311 {
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	312 assert(0 && "not global/function");
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	313 }
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	314
149 4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	315 // default to external linkage
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	316 return llvm::GlobalValue::ExternalLinkage;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	317 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	318
149 4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	319 llvm::GlobalValue::LinkageTypes DtoInternalLinkage(Dsymbol* sym)
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	320 {
940 39519a1ff603 Changed the way LDC determines if a template instantiation needs to get a definition, seems to speed up compile times quite a bit in some cases. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	321 if (needsTemplateLinkage(sym))
918 a4fcc13da3cd Changed templates and typeinfo to use linkonce linkage instead of weak linkage, this should fix inlining problems, fixing bug #197 . If problems show up, it's easy to change it back by changing the define in mars.h . I'm 95% sure this is safe, given how we handle templates. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 896 diff changeset	322 return TEMPLATE_LINKAGE_TYPE;
149 4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	323 else
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	324 return llvm::GlobalValue::InternalLinkage;
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	325 }
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	326
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	327 llvm::GlobalValue::LinkageTypes DtoExternalLinkage(Dsymbol* sym)
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	328 {
940 39519a1ff603 Changed the way LDC determines if a template instantiation needs to get a definition, seems to speed up compile times quite a bit in some cases. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	329 if (needsTemplateLinkage(sym))
918 a4fcc13da3cd Changed templates and typeinfo to use linkonce linkage instead of weak linkage, this should fix inlining problems, fixing bug #197 . If problems show up, it's easy to change it back by changing the define in mars.h . I'm 95% sure this is safe, given how we handle templates. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 896 diff changeset	330 return TEMPLATE_LINKAGE_TYPE;
149 4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	331 else
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	332 return llvm::GlobalValue::ExternalLinkage;
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	333 }
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 144 diff changeset	334
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	335 //////////////////////////////////////////////////////////////////////////////////////////
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	336
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	337 LLValue* DtoPointedType(LLValue* ptr, LLValue* val)
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	338 {
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	339 const LLType* ptrTy = ptr->getType()->getContainedType(0);
7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	340 const LLType* valTy = val->getType();
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	341 // ptr points to val's type
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	342 if (ptrTy == valTy)
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	343 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	344 return val;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	345 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	346 // ptr is integer pointer
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	347 else if (ptrTy->isInteger())
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	348 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	349 // val is integer
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	350 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	351 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	352 const LLIntegerType* vt = llvm::cast<const LLIntegerType>(valTy);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	353 if (pt->getBitWidth() < vt->getBitWidth()) {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	354 return new llvm::TruncInst(val, pt, "tmp", gIR->scopebb());
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	355 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	356 else
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	357 assert(0);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	358 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	359 // something else unsupported
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	360 else
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	361 {
622 26fce59fe80a Wrapped all the most potentially expensive logging calls in a conditional to only do work when actually requested. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 618 diff changeset	362 if (Logger::enabled())
26fce59fe80a Wrapped all the most potentially expensive logging calls in a conditional to only do work when actually requested. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 618 diff changeset	363 Logger::cout() << ptrTy << '\|' << valTy << '\n';
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	364 assert(0);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	365 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	366 return 0;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	367 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	368
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	369 //////////////////////////////////////////////////////////////////////////////////////////
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	370
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	371 const LLType* DtoSize_t()
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	372 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	373 // 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	374 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	375 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	376 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	377 return t;
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 34 diff changeset	378 }
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 34 diff changeset	379
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 34 diff changeset	380 //////////////////////////////////////////////////////////////////////////////////////////
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 34 diff changeset	381
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	382 LLValue* DtoGEP1(LLValue* ptr, LLValue* i0, const char* var, llvm::BasicBlock* bb)
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	383 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	384 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	385 }
6 35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	386
11 d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 9 diff changeset	387 //////////////////////////////////////////////////////////////////////////////////////////
d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 9 diff changeset	388
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	389 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	390 {
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	391 LLSmallVector<LLValue*,2> v(2);
6 35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	392 v[0] = i0;
35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	393 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	394 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	395 }
8 5e69b77a5c51 [svn r12] fixed accessing aggregate fields of aggregates lindquist parents: 6 diff changeset	396
11 d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 9 diff changeset	397 //////////////////////////////////////////////////////////////////////////////////////////
d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 9 diff changeset	398
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	399 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	400 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	401 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	402 }
d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 9 diff changeset	403
d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 9 diff changeset	404 //////////////////////////////////////////////////////////////////////////////////////////
d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 9 diff changeset	405
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	406 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	407 {
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	408 LLSmallVector<LLValue*,2> v(2);
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	409 v[0] = DtoConstUint(i0);
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	410 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	411 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	412 }
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 31 diff changeset	413
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 34 diff changeset	414 //////////////////////////////////////////////////////////////////////////////////////////
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 31 diff changeset	415
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	416 void DtoMemSetZero(LLValue* dst, LLValue* nbytes)
129 8096ba7082db [svn r133] Fixed some problems with inlining not happening :P lindquist parents: 121 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 dst = DtoBitCast(dst,getVoidPtrType());
131 5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	419
945 03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 940 diff changeset	420 const LLType* intTy = DtoSize_t();
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 940 diff changeset	421 llvm::Function* fn = llvm::Intrinsic::getDeclaration(gIR->module,
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 940 diff changeset	422 llvm::Intrinsic::memset, &intTy, 1);
131 5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	423
317 1a2777460bd5 [svn r338] Intrinsic calls can never be invokes. ChristianK parents: 315 diff changeset	424 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	425 }
51 61bc1b4ad3c4 [svn r55] Foreach was always generating code as if the value variable was 'ref' lindquist parents: 50 diff changeset	426
61bc1b4ad3c4 [svn r55] Foreach was always generating code as if the value variable was 'ref' lindquist parents: 50 diff changeset	427 //////////////////////////////////////////////////////////////////////////////////////////
61bc1b4ad3c4 [svn r55] Foreach was always generating code as if the value variable was 'ref' lindquist parents: 50 diff changeset	428
1210 3d4581761b4c Add some alignment info where LLVM might otherwise be more pessimistic. Frits van Bommel <fvbommel wxs.nl> parents: 1192 diff changeset	429 void DtoMemCpy(LLValue* dst, LLValue* src, LLValue* nbytes, unsigned align)
51 61bc1b4ad3c4 [svn r55] Foreach was always generating code as if the value variable was 'ref' lindquist parents: 50 diff changeset	430 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	431 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	432 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	433
945 03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 940 diff changeset	434 const LLType* intTy = DtoSize_t();
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 940 diff changeset	435 llvm::Function* fn = llvm::Intrinsic::getDeclaration(gIR->module,
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 940 diff changeset	436 llvm::Intrinsic::memcpy, &intTy, 1);
107 3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 106 diff changeset	437
1210 3d4581761b4c Add some alignment info where LLVM might otherwise be more pessimistic. Frits van Bommel <fvbommel wxs.nl> parents: 1192 diff changeset	438 gIR->ir->CreateCall4(fn, dst, src, nbytes, DtoConstUint(align), "");
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	439 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	440
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	441 //////////////////////////////////////////////////////////////////////////////////////////
107 3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 106 diff changeset	442
344 e20ce6d8d374 [svn r365] Implemented raw struct equality comparison, uses C memcmp. lindquist parents: 328 diff changeset	443 LLValue* DtoMemCmp(LLValue* lhs, LLValue* rhs, LLValue* nbytes)
e20ce6d8d374 [svn r365] Implemented raw struct equality comparison, uses C memcmp. lindquist parents: 328 diff changeset	444 {
e20ce6d8d374 [svn r365] Implemented raw struct equality comparison, uses C memcmp. lindquist parents: 328 diff changeset	445 // int memcmp ( const void * ptr1, const void * ptr2, size_t num );
e20ce6d8d374 [svn r365] Implemented raw struct equality comparison, uses C memcmp. lindquist parents: 328 diff changeset	446
e20ce6d8d374 [svn r365] Implemented raw struct equality comparison, uses C memcmp. lindquist parents: 328 diff changeset	447 LLFunction* fn = gIR->module->getFunction("memcmp");
e20ce6d8d374 [svn r365] Implemented raw struct equality comparison, uses C memcmp. lindquist parents: 328 diff changeset	448 if (!fn)
e20ce6d8d374 [svn r365] Implemented raw struct equality comparison, uses C memcmp. lindquist parents: 328 diff changeset	449 {
e20ce6d8d374 [svn r365] Implemented raw struct equality comparison, uses C memcmp. lindquist parents: 328 diff changeset	450 std::vector<const LLType*> params(3);
e20ce6d8d374 [svn r365] Implemented raw struct equality comparison, uses C memcmp. lindquist parents: 328 diff changeset	451 params[0] = getVoidPtrType();
e20ce6d8d374 [svn r365] Implemented raw struct equality comparison, uses C memcmp. lindquist parents: 328 diff changeset	452 params[1] = getVoidPtrType();
e20ce6d8d374 [svn r365] Implemented raw struct equality comparison, uses C memcmp. lindquist parents: 328 diff changeset	453 params[2] = DtoSize_t();
e20ce6d8d374 [svn r365] Implemented raw struct equality comparison, uses C memcmp. lindquist parents: 328 diff changeset	454 const LLFunctionType* fty = LLFunctionType::get(LLType::Int32Ty, params, false);
e20ce6d8d374 [svn r365] Implemented raw struct equality comparison, uses C memcmp. lindquist parents: 328 diff changeset	455 fn = LLFunction::Create(fty, LLGlobalValue::ExternalLinkage, "memcmp", gIR->module);
e20ce6d8d374 [svn r365] Implemented raw struct equality comparison, uses C memcmp. lindquist parents: 328 diff changeset	456 }
e20ce6d8d374 [svn r365] Implemented raw struct equality comparison, uses C memcmp. lindquist parents: 328 diff changeset	457
e20ce6d8d374 [svn r365] Implemented raw struct equality comparison, uses C memcmp. lindquist parents: 328 diff changeset	458 lhs = DtoBitCast(lhs,getVoidPtrType());
e20ce6d8d374 [svn r365] Implemented raw struct equality comparison, uses C memcmp. lindquist parents: 328 diff changeset	459 rhs = DtoBitCast(rhs,getVoidPtrType());
e20ce6d8d374 [svn r365] Implemented raw struct equality comparison, uses C memcmp. lindquist parents: 328 diff changeset	460
e20ce6d8d374 [svn r365] Implemented raw struct equality comparison, uses C memcmp. lindquist parents: 328 diff changeset	461 return gIR->ir->CreateCall3(fn, lhs, rhs, nbytes, "tmp");
e20ce6d8d374 [svn r365] Implemented raw struct equality comparison, uses C memcmp. lindquist parents: 328 diff changeset	462 }
e20ce6d8d374 [svn r365] Implemented raw struct equality comparison, uses C memcmp. lindquist parents: 328 diff changeset	463
e20ce6d8d374 [svn r365] Implemented raw struct equality comparison, uses C memcmp. lindquist parents: 328 diff changeset	464 //////////////////////////////////////////////////////////////////////////////////////////
e20ce6d8d374 [svn r365] Implemented raw struct equality comparison, uses C memcmp. lindquist parents: 328 diff changeset	465
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	466 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	467 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	468 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	469 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	470 }
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 53 diff changeset	471
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
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	474 void DtoAggrCopy(LLValue* dst, LLValue* src)
97 c4e161556a21 [svn r101] Split up CastExp into several smaller utility functions. lindquist parents: 96 diff changeset	475 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	476 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	477 DtoMemCpy(dst, src, DtoConstSize_t(n));
97 c4e161556a21 [svn r101] Split up CastExp into several smaller utility functions. lindquist parents: 96 diff changeset	478 }
c4e161556a21 [svn r101] Split up CastExp into several smaller utility functions. lindquist parents: 96 diff changeset	479
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	480 //////////////////////////////////////////////////////////////////////////////////////////
97 c4e161556a21 [svn r101] Split up CastExp into several smaller utility functions. lindquist parents: 96 diff changeset	481
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	482 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	483 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	484 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	485 assert(fn != NULL);
107 3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 106 diff changeset	486
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	487 LLSmallVector<LLValue*, 5> llargs;
611 83ca663ecc20 Backed out changeset 1b62222581fb Christian Kamm <kamm incasoftware de> parents: 610 diff changeset	488 llargs.push_back(DtoConstBool(ll));
83ca663ecc20 Backed out changeset 1b62222581fb Christian Kamm <kamm incasoftware de> parents: 610 diff changeset	489 llargs.push_back(DtoConstBool(ls));
83ca663ecc20 Backed out changeset 1b62222581fb Christian Kamm <kamm incasoftware de> parents: 610 diff changeset	490 llargs.push_back(DtoConstBool(sl));
83ca663ecc20 Backed out changeset 1b62222581fb Christian Kamm <kamm incasoftware de> parents: 610 diff changeset	491 llargs.push_back(DtoConstBool(ss));
83ca663ecc20 Backed out changeset 1b62222581fb Christian Kamm <kamm incasoftware de> parents: 610 diff changeset	492 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	493
317 1a2777460bd5 [svn r338] Intrinsic calls can never be invokes. ChristianK parents: 315 diff changeset	494 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	495 }
c4e161556a21 [svn r101] Split up CastExp into several smaller utility functions. lindquist parents: 96 diff changeset	496
c4e161556a21 [svn r101] Split up CastExp into several smaller utility functions. lindquist parents: 96 diff changeset	497 //////////////////////////////////////////////////////////////////////////////////////////
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 53 diff changeset	498
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	499 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	500 {
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	501 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	502 }
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	503 llvm::ConstantInt* DtoConstUint(unsigned i)
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 53 diff changeset	504 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	505 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	506 }
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	507 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	508 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	509 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	510 }
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	511 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	512 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	513 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	514 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	515 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	516 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	517 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	518 }
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 53 diff changeset	519
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: 103 diff changeset	520 llvm::ConstantFP* DtoConstFP(Type* t, long double value)
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: 103 diff changeset	521 {
445 cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 414 diff changeset	522 const LLType* llty = DtoType(t);
cc40db549aea Changed the handling of variadic intrinsics a bit. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 414 diff changeset	523 assert(llty->isFloatingPoint());
653 5812d6fac0f0 Fix x86_fp80 constants. Christian Kamm <kamm incasoftware de> parents: 650 diff changeset	524
5812d6fac0f0 Fix x86_fp80 constants. Christian Kamm <kamm incasoftware de> parents: 650 diff changeset	525 if(llty == LLType::FloatTy \|\| llty == LLType::DoubleTy)
5812d6fac0f0 Fix x86_fp80 constants. Christian Kamm <kamm incasoftware de> parents: 650 diff changeset	526 return LLConstantFP::get(llty, value);
5812d6fac0f0 Fix x86_fp80 constants. Christian Kamm <kamm incasoftware de> parents: 650 diff changeset	527 else if(llty == LLType::X86_FP80Ty) {
5812d6fac0f0 Fix x86_fp80 constants. Christian Kamm <kamm incasoftware de> parents: 650 diff changeset	528 uint64_t bits[] = {0, 0};
1138 4c8bb03e4fbc Update DtoConstFP() to be correct after LLVM r67562, which changed the way the Frits van Bommel <fvbommel wxs.nl> parents: 1064 diff changeset	529 #if LLVM_REV < 67562
4c8bb03e4fbc Update DtoConstFP() to be correct after LLVM r67562, which changed the way the Frits van Bommel <fvbommel wxs.nl> parents: 1064 diff changeset	530 // Prior to r67562, the i80 APInt format expected by the APFloat
4c8bb03e4fbc Update DtoConstFP() to be correct after LLVM r67562, which changed the way the Frits van Bommel <fvbommel wxs.nl> parents: 1064 diff changeset	531 // constructor was different than the memory layout on the actual
4c8bb03e4fbc Update DtoConstFP() to be correct after LLVM r67562, which changed the way the Frits van Bommel <fvbommel wxs.nl> parents: 1064 diff changeset	532 // processor.
653 5812d6fac0f0 Fix x86_fp80 constants. Christian Kamm <kamm incasoftware de> parents: 650 diff changeset	533 bits[1] = (uint16_t)&value;
661 99f32e967746 Simplify fp80 handling in DtoConstFP Christian Kamm <kamm incasoftware de> parents: 653 diff changeset	534 bits[0] = (uint64_t)((uint16_t*)&value + 1);
1138 4c8bb03e4fbc Update DtoConstFP() to be correct after LLVM r67562, which changed the way the Frits van Bommel <fvbommel wxs.nl> parents: 1064 diff changeset	535 #else
4c8bb03e4fbc Update DtoConstFP() to be correct after LLVM r67562, which changed the way the Frits van Bommel <fvbommel wxs.nl> parents: 1064 diff changeset	536 bits[0] = (uint64_t)&value;
4c8bb03e4fbc Update DtoConstFP() to be correct after LLVM r67562, which changed the way the Frits van Bommel <fvbommel wxs.nl> parents: 1064 diff changeset	537 bits[1] = (uint16_t)((uint64_t*)&value + 1);
4c8bb03e4fbc Update DtoConstFP() to be correct after LLVM r67562, which changed the way the Frits van Bommel <fvbommel wxs.nl> parents: 1064 diff changeset	538 #endif
653 5812d6fac0f0 Fix x86_fp80 constants. Christian Kamm <kamm incasoftware de> parents: 650 diff changeset	539 return LLConstantFP::get(APFloat(APInt(80, 2, bits)));
5812d6fac0f0 Fix x86_fp80 constants. Christian Kamm <kamm incasoftware de> parents: 650 diff changeset	540 } else {
5812d6fac0f0 Fix x86_fp80 constants. Christian Kamm <kamm incasoftware de> parents: 650 diff changeset	541 assert(0 && "Unknown floating point type encountered");
5812d6fac0f0 Fix x86_fp80 constants. Christian Kamm <kamm incasoftware de> parents: 650 diff changeset	542 }
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: 103 diff changeset	543 }
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: 103 diff changeset	544
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 53 diff changeset	545 //////////////////////////////////////////////////////////////////////////////////////////
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 53 diff changeset	546
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	547 LLConstant* DtoConstString(const char* str)
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 53 diff changeset	548 {
328 7086a84ab3d6 [svn r349] Fixed problems with static arrays of void as well as a static arrays with zero length. lindquist parents: 323 diff changeset	549 std::string s(str?str:"");
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	550 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	551 llvm::GlobalVariable* gvar = new llvm::GlobalVariable(
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 244 diff changeset	552 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	553 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	554 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	555 DtoConstSize_t(s.length()),
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 53 diff changeset	556 llvm::ConstantExpr::getGetElementPtr(gvar,idxs,2)
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 53 diff changeset	557 );
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 53 diff changeset	558 }
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	559 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	560 {
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	561 std::string s(str);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	562 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	563 llvm::GlobalVariable* gvar = new llvm::GlobalVariable(
246 b604c56945b0 [svn r263] Changed * ATTENTION * to warnings. lindquist parents: 244 diff changeset	564 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	565 if (section) gvar->setSection(section);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	566 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	567 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	568 }
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	569
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	570 //////////////////////////////////////////////////////////////////////////////////////////
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	571
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	572 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	573 {
719 7261ff0f95ff Implemented first class delegates. closes #101 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 715 diff changeset	574 // if (Logger::enabled())
7261ff0f95ff Implemented first class delegates. closes #101 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 715 diff changeset	575 // Logger::cout() << "loading " << *src << '\n';
1210 3d4581761b4c Add some alignment info where LLVM might otherwise be more pessimistic. Frits van Bommel <fvbommel wxs.nl> parents: 1192 diff changeset	576 llvm::LoadInst* 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	577 //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	578 return ld;
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	579 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	580
1210 3d4581761b4c Add some alignment info where LLVM might otherwise be more pessimistic. Frits van Bommel <fvbommel wxs.nl> parents: 1192 diff changeset	581 // Like DtoLoad, but the pointer is guaranteed to be aligned appropriately for the type.
3d4581761b4c Add some alignment info where LLVM might otherwise be more pessimistic. Frits van Bommel <fvbommel wxs.nl> parents: 1192 diff changeset	582 LLValue* DtoAlignedLoad(LLValue* src, const char* name)
3d4581761b4c Add some alignment info where LLVM might otherwise be more pessimistic. Frits van Bommel <fvbommel wxs.nl> parents: 1192 diff changeset	583 {
3d4581761b4c Add some alignment info where LLVM might otherwise be more pessimistic. Frits van Bommel <fvbommel wxs.nl> parents: 1192 diff changeset	584 llvm::LoadInst* ld = gIR->ir->CreateLoad(src, name ? name : "tmp");
3d4581761b4c Add some alignment info where LLVM might otherwise be more pessimistic. Frits van Bommel <fvbommel wxs.nl> parents: 1192 diff changeset	585 ld->setAlignment(getABITypeAlign(ld->getType()));
3d4581761b4c Add some alignment info where LLVM might otherwise be more pessimistic. Frits van Bommel <fvbommel wxs.nl> parents: 1192 diff changeset	586 return ld;
3d4581761b4c Add some alignment info where LLVM might otherwise be more pessimistic. Frits van Bommel <fvbommel wxs.nl> parents: 1192 diff changeset	587 }
3d4581761b4c Add some alignment info where LLVM might otherwise be more pessimistic. Frits van Bommel <fvbommel wxs.nl> parents: 1192 diff changeset	588
3d4581761b4c Add some alignment info where LLVM might otherwise be more pessimistic. Frits van Bommel <fvbommel wxs.nl> parents: 1192 diff changeset	589
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	590 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	591 {
719 7261ff0f95ff Implemented first class delegates. closes #101 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 715 diff changeset	592 // if (Logger::enabled())
7261ff0f95ff Implemented first class delegates. closes #101 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 715 diff changeset	593 // Logger::cout() << "storing " << src << " into " << dst << '\n';
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	594 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	595 //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	596 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	597
1210 3d4581761b4c Add some alignment info where LLVM might otherwise be more pessimistic. Frits van Bommel <fvbommel wxs.nl> parents: 1192 diff changeset	598 // Like DtoStore, but the pointer is guaranteed to be aligned appropriately for the type.
3d4581761b4c Add some alignment info where LLVM might otherwise be more pessimistic. Frits van Bommel <fvbommel wxs.nl> parents: 1192 diff changeset	599 void DtoAlignedStore(LLValue* src, LLValue* dst)
3d4581761b4c Add some alignment info where LLVM might otherwise be more pessimistic. Frits van Bommel <fvbommel wxs.nl> parents: 1192 diff changeset	600 {
3d4581761b4c Add some alignment info where LLVM might otherwise be more pessimistic. Frits van Bommel <fvbommel wxs.nl> parents: 1192 diff changeset	601 llvm::StoreInst* st = gIR->ir->CreateStore(src,dst);
3d4581761b4c Add some alignment info where LLVM might otherwise be more pessimistic. Frits van Bommel <fvbommel wxs.nl> parents: 1192 diff changeset	602 st->setAlignment(getABITypeAlign(src->getType()));
3d4581761b4c Add some alignment info where LLVM might otherwise be more pessimistic. Frits van Bommel <fvbommel wxs.nl> parents: 1192 diff changeset	603 }
3d4581761b4c Add some alignment info where LLVM might otherwise be more pessimistic. Frits van Bommel <fvbommel wxs.nl> parents: 1192 diff changeset	604
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: 103 diff changeset	605 //////////////////////////////////////////////////////////////////////////////////////////
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: 103 diff changeset	606
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	607 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	608 {
98 6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 97 diff changeset	609 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	610 return v;
1050 32ead42679d1 Fix a bug in the X86 ABI. The size of a struct is different from the size of a Frits van Bommel <fvbommel wxs.nl> parents: 1024 diff changeset	611 assert(!isaStruct(t));
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	612 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	613 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	614
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 794 diff changeset	615 LLConstant* DtoBitCast(LLConstant* v, const LLType* t)
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 794 diff changeset	616 {
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 794 diff changeset	617 if (v->getType() == t)
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 794 diff changeset	618 return v;
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 794 diff changeset	619 return llvm::ConstantExpr::getBitCast(v, t);
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 794 diff changeset	620 }
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 794 diff changeset	621
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: 103 diff changeset	622 //////////////////////////////////////////////////////////////////////////////////////////
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: 103 diff changeset	623
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	624 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	625 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	626 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	627 }
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 93 diff changeset	628
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	629 const LLPointerType* isaPointer(const LLType* t)
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	630 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	631 return llvm::dyn_cast<LLPointerType>(t);
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	632 }
ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	633
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	634 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	635 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	636 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	637 }
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 93 diff changeset	638
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	639 const LLArrayType* isaArray(const LLType* t)
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	640 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	641 return llvm::dyn_cast<LLArrayType>(t);
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	642 }
ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 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 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	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 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	647 }
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 93 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 const LLStructType* isaStruct(const LLType* t)
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 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 llvm::dyn_cast<LLStructType>(t);
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	652 }
ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	653
414 ac1fcc138e42 Fixed issue with internal real representation, incorrect for non x86-32 architectures. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 381 diff changeset	654 const LLFunctionType* isaFunction(LLValue* v)
ac1fcc138e42 Fixed issue with internal real representation, incorrect for non x86-32 architectures. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 381 diff changeset	655 {
ac1fcc138e42 Fixed issue with internal real representation, incorrect for non x86-32 architectures. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 381 diff changeset	656 return llvm::dyn_cast<LLFunctionType>(v->getType());
ac1fcc138e42 Fixed issue with internal real representation, incorrect for non x86-32 architectures. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 381 diff changeset	657 }
ac1fcc138e42 Fixed issue with internal real representation, incorrect for non x86-32 architectures. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 381 diff changeset	658
ac1fcc138e42 Fixed issue with internal real representation, incorrect for non x86-32 architectures. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 381 diff changeset	659 const LLFunctionType* isaFunction(const LLType* t)
ac1fcc138e42 Fixed issue with internal real representation, incorrect for non x86-32 architectures. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 381 diff changeset	660 {
ac1fcc138e42 Fixed issue with internal real representation, incorrect for non x86-32 architectures. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 381 diff changeset	661 return llvm::dyn_cast<LLFunctionType>(t);
ac1fcc138e42 Fixed issue with internal real representation, incorrect for non x86-32 architectures. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 381 diff changeset	662 }
ac1fcc138e42 Fixed issue with internal real representation, incorrect for non x86-32 architectures. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 381 diff changeset	663
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	664 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	665 {
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 93 diff changeset	666 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	667 }
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 93 diff changeset	668
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	669 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	670 {
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 93 diff changeset	671 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	672 }
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 93 diff changeset	673
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	674 llvm::Argument* isaArgument(LLValue* v)
96 ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	675 {
ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	676 return llvm::dyn_cast<llvm::Argument>(v);
ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	677 }
ce7ed8f59b99 [svn r100] Moved test/ray.d to demos/ray.d. lindquist parents: 94 diff changeset	678
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	679 llvm::GlobalVariable* isaGlobalVar(LLValue* v)
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 104 diff changeset	680 {
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 104 diff changeset	681 return llvm::dyn_cast<llvm::GlobalVariable>(v);
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 104 diff changeset	682 }
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 104 diff changeset	683
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	684 //////////////////////////////////////////////////////////////////////////////////////////
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	685
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	686 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	687 {
308 6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 264 diff changeset	688 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	689 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	690 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	691 }
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	692
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	693 const LLPointerType* getVoidPtrType()
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 189 diff changeset	694 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	695 return getPtrToType(LLType::Int8Ty);
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 189 diff changeset	696 }
aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 189 diff changeset	697
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	698 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	699 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	700 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	701 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	702 }
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	703
811 8e6135be6999 Fixed ModuleInfo generation to no longer use the ModuleInfo class' default initializer for types/defaults, it's unsafe as initializers don't necesarily match the "formal" type. There might be explicit padding. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 797 diff changeset	704 LLConstant* getNullValue(const LLType* t)
8e6135be6999 Fixed ModuleInfo generation to no longer use the ModuleInfo class' default initializer for types/defaults, it's unsafe as initializers don't necesarily match the "formal" type. There might be explicit padding. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 797 diff changeset	705 {
8e6135be6999 Fixed ModuleInfo generation to no longer use the ModuleInfo class' default initializer for types/defaults, it's unsafe as initializers don't necesarily match the "formal" type. There might be explicit padding. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 797 diff changeset	706 return LLConstant::getNullValue(t);
8e6135be6999 Fixed ModuleInfo generation to no longer use the ModuleInfo class' default initializer for types/defaults, it's unsafe as initializers don't necesarily match the "formal" type. There might be explicit padding. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 797 diff changeset	707 }
8e6135be6999 Fixed ModuleInfo generation to no longer use the ModuleInfo class' default initializer for types/defaults, it's unsafe as initializers don't necesarily match the "formal" type. There might be explicit padding. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 797 diff changeset	708
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	709 //////////////////////////////////////////////////////////////////////////////////////////
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	710
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	711 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	712 {
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	713 return gTargetData->getTypeSizeInBits(t);
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	714 }
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	715
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	716 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	717 {
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	718 return gTargetData->getTypeStoreSize(t);
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	719 }
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	720
945 03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 940 diff changeset	721 size_t getTypePaddedSize(const LLType* t)
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	722 {
945 03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 940 diff changeset	723 size_t sz = gTargetData->getTypePaddedSize(t);
618 c9aa338280ed Removed some excessive llvm type logging tomas@myhost parents: 611 diff changeset	724 //Logger::cout() << "abi type size of: " << *t << " == " << sz << '\n';
486 a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 464 diff changeset	725 return sz;
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	726 }
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	727
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	728 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	729 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	730 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	731 }
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	732
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	733 unsigned char getPrefTypeAlign(const LLType* t)
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	734 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	735 return gTargetData->getPrefTypeAlignment(t);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	736 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	737
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 794 diff changeset	738 const LLType* getBiggestType(const LLType** begin, size_t n)
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 794 diff changeset	739 {
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 794 diff changeset	740 const LLType* bigTy = 0;
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 794 diff changeset	741 size_t bigSize = 0;
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 794 diff changeset	742 size_t bigAlign = 0;
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 794 diff changeset	743
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 794 diff changeset	744 const LLType** end = begin+n;
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 794 diff changeset	745 while (begin != end)
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 794 diff changeset	746 {
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 794 diff changeset	747 const LLType* T = *begin;
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 794 diff changeset	748
945 03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 940 diff changeset	749 size_t sz = getTypePaddedSize(T);
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 794 diff changeset	750 size_t ali = getABITypeAlign(T);
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 794 diff changeset	751 if (sz > bigSize \|\| (sz == bigSize && ali > bigAlign))
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 794 diff changeset	752 {
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 794 diff changeset	753 bigTy = T;
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 794 diff changeset	754 bigSize = sz;
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 794 diff changeset	755 bigAlign = ali;
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 794 diff changeset	756 }
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 794 diff changeset	757
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 794 diff changeset	758 ++begin;
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 794 diff changeset	759 }
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 794 diff changeset	760
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 794 diff changeset	761 // will be null for n==0
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 794 diff changeset	762 return bigTy;
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 794 diff changeset	763 }
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 794 diff changeset	764
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	765 //////////////////////////////////////////////////////////////////////////////////////////
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 99 diff changeset	766
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 237 diff changeset	767 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	768 {
161 3a891cfcd249 [svn r177] moved variable for interface info type from being local static to being within IRState ChristianK parents: 160 diff changeset	769 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	770 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	771
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	772 // build interface info type
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	773 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	774 // 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	775 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	776 DtoResolveClass(cd2);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	777 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	778 // void*[] vtbl
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	779 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	780 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	781 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	782 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	783 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	784 // 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	785 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	786 // 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	787 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	788
161 3a891cfcd249 [svn r177] moved variable for interface info type from being local static to being within IRState ChristianK parents: 160 diff changeset	789 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	790 }
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	791
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	792 //////////////////////////////////////////////////////////////////////////////////////////
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	793
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	794 const LLStructType* DtoMutexType()
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	795 {
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	796 if (gIR->mutexType)
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	797 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	798
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	799 // win32
534 7e2867ed70d9 Get rid of isLinux and isWindows in favor of global.params.os. Christian Kamm <kamm incasoftware de> parents: 516 diff changeset	800 if (global.params.os == OSWindows)
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	801 {
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	802 // CRITICAL_SECTION.sizeof == 68
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	803 std::vector<const LLType*> types(17, LLType::Int32Ty);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	804 return LLStructType::get(types);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	805 }
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	806
637 29dc68c949b0 Applied the FreeBSD patch from Ralith, closes ticket #95 , slightly changed but basically the same. Thanx Ralith :) Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 632 diff changeset	807 // FreeBSD
29dc68c949b0 Applied the FreeBSD patch from Ralith, closes ticket #95 , slightly changed but basically the same. Thanx Ralith :) Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 632 diff changeset	808 else if (global.params.os == OSFreeBSD) {
29dc68c949b0 Applied the FreeBSD patch from Ralith, closes ticket #95 , slightly changed but basically the same. Thanx Ralith :) Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 632 diff changeset	809 // Just a pointer
794 661384d6a936 Fix warnings on x86-64. By fvbommel. Christian Kamm <kamm incasoftware de> parents: 758 diff changeset	810 return LLStructType::get(DtoSize_t(), NULL);
637 29dc68c949b0 Applied the FreeBSD patch from Ralith, closes ticket #95 , slightly changed but basically the same. Thanx Ralith :) Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 632 diff changeset	811 }
29dc68c949b0 Applied the FreeBSD patch from Ralith, closes ticket #95 , slightly changed but basically the same. Thanx Ralith :) Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 632 diff changeset	812
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	813 // pthread_fastlock
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	814 std::vector<const LLType*> types2;
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	815 types2.push_back(DtoSize_t());
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	816 types2.push_back(LLType::Int32Ty);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	817 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	818
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	819 // pthread_mutex
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	820 std::vector<const LLType*> types1;
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	821 types1.push_back(LLType::Int32Ty);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	822 types1.push_back(LLType::Int32Ty);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	823 types1.push_back(getVoidPtrType());
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	824 types1.push_back(LLType::Int32Ty);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	825 types1.push_back(fastlock);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	826 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	827
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	828 // D_CRITICAL_SECTION
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	829 LLOpaqueType* opaque = LLOpaqueType::get();
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	830 std::vector<const LLType*> types;
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	831 types.push_back(getPtrToType(opaque));
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	832 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	833
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	834 // resolve type
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	835 pmutex = LLStructType::get(types);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	836 LLPATypeHolder pa(pmutex);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	837 opaque->refineAbstractTypeTo(pa.get());
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	838 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	839
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	840 gIR->mutexType = pmutex;
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	841 gIR->module->addTypeName("D_CRITICAL_SECTION", pmutex);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	842 return pmutex;
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	843 }
323 0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 317 diff changeset	844
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 317 diff changeset	845 //////////////////////////////////////////////////////////////////////////////////////////
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 317 diff changeset	846
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 317 diff changeset	847 const LLStructType* DtoModuleReferenceType()
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 317 diff changeset	848 {
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 317 diff changeset	849 if (gIR->moduleRefType)
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 317 diff changeset	850 return gIR->moduleRefType;
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 317 diff changeset	851
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 317 diff changeset	852 // this is a recursive type so start out with the opaque
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 317 diff changeset	853 LLOpaqueType* opaque = LLOpaqueType::get();
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 317 diff changeset	854
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 317 diff changeset	855 // add members
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 317 diff changeset	856 std::vector<const LLType*> types;
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 317 diff changeset	857 types.push_back(getPtrToType(opaque));
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 317 diff changeset	858 types.push_back(DtoType(Module::moduleinfo->type));
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 317 diff changeset	859
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 317 diff changeset	860 // resolve type
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 317 diff changeset	861 const LLStructType* st = LLStructType::get(types);
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 317 diff changeset	862 LLPATypeHolder pa(st);
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 317 diff changeset	863 opaque->refineAbstractTypeTo(pa.get());
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 317 diff changeset	864 st = isaStruct(pa.get());
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 317 diff changeset	865
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 317 diff changeset	866 // done
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 317 diff changeset	867 gIR->moduleRefType = st;
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 317 diff changeset	868 gIR->module->addTypeName("ModuleReference", st);
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 317 diff changeset	869 return st;
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 317 diff changeset	870 }
585 fbb1a366cfbc Complex number should now follow the D ABI on x86. They're also treated as first class values now. Big change. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 534 diff changeset	871
fbb1a366cfbc Complex number should now follow the D ABI on x86. They're also treated as first class values now. Big change. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 534 diff changeset	872 //////////////////////////////////////////////////////////////////////////////////////////
fbb1a366cfbc Complex number should now follow the D ABI on x86. They're also treated as first class values now. Big change. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 534 diff changeset	873
fbb1a366cfbc Complex number should now follow the D ABI on x86. They're also treated as first class values now. Big change. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 534 diff changeset	874 LLValue* DtoAggrPair(const LLType* type, LLValue* V1, LLValue* V2, const char* name)
fbb1a366cfbc Complex number should now follow the D ABI on x86. They're also treated as first class values now. Big change. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 534 diff changeset	875 {
fbb1a366cfbc Complex number should now follow the D ABI on x86. They're also treated as first class values now. Big change. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 534 diff changeset	876 LLValue* res = llvm::UndefValue::get(type);
fbb1a366cfbc Complex number should now follow the D ABI on x86. They're also treated as first class values now. Big change. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 534 diff changeset	877 res = gIR->ir->CreateInsertValue(res, V1, 0, "tmp");
fbb1a366cfbc Complex number should now follow the D ABI on x86. They're also treated as first class values now. Big change. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 534 diff changeset	878 return gIR->ir->CreateInsertValue(res, V2, 1, name?name:"tmp");
fbb1a366cfbc Complex number should now follow the D ABI on x86. They're also treated as first class values now. Big change. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 534 diff changeset	879 }
715 30b42a283c8e Removed TypeOpaque from DMD. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 705 diff changeset	880
30b42a283c8e Removed TypeOpaque from DMD. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 705 diff changeset	881 LLValue* DtoAggrPair(LLValue* V1, LLValue* V2, const char* name)
30b42a283c8e Removed TypeOpaque from DMD. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 705 diff changeset	882 {
794 661384d6a936 Fix warnings on x86-64. By fvbommel. Christian Kamm <kamm incasoftware de> parents: 758 diff changeset	883 const LLType* t = LLStructType::get(V1->getType(), V2->getType(), NULL);
715 30b42a283c8e Removed TypeOpaque from DMD. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 705 diff changeset	884 return DtoAggrPair(t, V1, V2, name);
30b42a283c8e Removed TypeOpaque from DMD. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 705 diff changeset	885 }
30b42a283c8e Removed TypeOpaque from DMD. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 705 diff changeset	886
30b42a283c8e Removed TypeOpaque from DMD. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 705 diff changeset	887 LLValue* DtoAggrPaint(LLValue* aggr, const LLType* as)
30b42a283c8e Removed TypeOpaque from DMD. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 705 diff changeset	888 {
30b42a283c8e Removed TypeOpaque from DMD. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 705 diff changeset	889 if (aggr->getType() == as)
30b42a283c8e Removed TypeOpaque from DMD. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 705 diff changeset	890 return aggr;
30b42a283c8e Removed TypeOpaque from DMD. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 705 diff changeset	891
30b42a283c8e Removed TypeOpaque from DMD. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 705 diff changeset	892 LLValue* res = llvm::UndefValue::get(as);
30b42a283c8e Removed TypeOpaque from DMD. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 705 diff changeset	893
30b42a283c8e Removed TypeOpaque from DMD. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 705 diff changeset	894 LLValue* V = gIR->ir->CreateExtractValue(aggr, 0, "tmp");;
30b42a283c8e Removed TypeOpaque from DMD. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 705 diff changeset	895 V = DtoBitCast(V, as->getContainedType(0));
30b42a283c8e Removed TypeOpaque from DMD. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 705 diff changeset	896 res = gIR->ir->CreateInsertValue(res, V, 0, "tmp");
30b42a283c8e Removed TypeOpaque from DMD. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 705 diff changeset	897
30b42a283c8e Removed TypeOpaque from DMD. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 705 diff changeset	898 V = gIR->ir->CreateExtractValue(aggr, 1, "tmp");;
30b42a283c8e Removed TypeOpaque from DMD. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 705 diff changeset	899 V = DtoBitCast(V, as->getContainedType(1));
30b42a283c8e Removed TypeOpaque from DMD. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 705 diff changeset	900 return gIR->ir->CreateInsertValue(res, V, 1, "tmp");
30b42a283c8e Removed TypeOpaque from DMD. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 705 diff changeset	901 }
945 03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 940 diff changeset	902
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 940 diff changeset	903 LLValue* DtoAggrPairSwap(LLValue* aggr)
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 940 diff changeset	904 {
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 940 diff changeset	905 Logger::println("swapping aggr pair");
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 940 diff changeset	906 LLValue* r = gIR->ir->CreateExtractValue(aggr, 0);
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 940 diff changeset	907 LLValue* i = gIR->ir->CreateExtractValue(aggr, 1);
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 940 diff changeset	908 return DtoAggrPair(i, r, "swapped");
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 940 diff changeset	909 }

Mercurial > projects > ldc

annotate gen/tollvm.cpp @ 1210:3d4581761b4c