projects/ldc: gen/typinf.cpp annotate

annotate gen/typinf.cpp @ 1351:8d501abecd24

Initial (but disabled) fix for ticket #294 , the actual part that fixes the bug is in a #if 0 block as I'm afraid it will cause regressions. I'm most likely not going to be around tonight, and maybe not tomorrow as well, so I'm pushing it in case someone wants to run some serious testing/investigate the problem noted in llvmhelpers.cpp : realignOffset .

author	Tomas Lindquist Olsen <tomas.l.olsen gmail com>
date	Thu, 14 May 2009 17:20:17 +0200
parents	712662f45ee4
children	78038e540342

rev	line source
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	1
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	2
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	3 // Copyright (c) 1999-2004 by Digital Mars
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	4 // All Rights Reserved
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	5 // written by Walter Bright
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	6 // www.digitalmars.com
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	7 // License for redistribution is by either the Artistic License
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	8 // in artistic.txt, or the GNU General Public License in gnu.txt.
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	9 // See the included readme.txt for details.
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	10
663 6aaa3d3c1183 First part of rename to LDC. Christian Kamm <kamm incasoftware de> parents: 622 diff changeset	11 // Modifications for LDC:
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	12 // Copyright (c) 2007 by Tomas Lindquist Olsen
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	13 // tomas at famolsen dk
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	14
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	15 #include <cstdio>
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	16 #include <cassert>
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	17
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	18 #include "gen/llvm.h"
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	19
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	20 #include "mars.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	21 #include "module.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	22 #include "mtype.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	23 #include "scope.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	24 #include "init.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	25 #include "expression.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	26 #include "attrib.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	27 #include "declaration.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	28 #include "template.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	29 #include "id.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	30 #include "enum.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	31 #include "import.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	32 #include "aggregate.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	33
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	34 #include "gen/irstate.h"
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: 1 diff changeset	35 #include "gen/logger.h"
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	36 #include "gen/runtime.h"
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	37 #include "gen/tollvm.h"
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 213 diff changeset	38 #include "gen/llvmhelpers.h"
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	39 #include "gen/arrays.h"
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	40 #include "gen/structs.h"
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	41 #include "gen/classes.h"
1064 f0b6549055ab Make LDC work with LLVM trunk (s/LinkOnceLinkage/LinkOnceOdrLinkage/) Frits van Bommel <fvbommel wxs.nl> parents: 918 diff changeset	42 #include "gen/linkage.h"
1284 5851c18e4c6d Add metadata for TypeInfo -> llvm::Type mapping. Frits van Bommel <fvbommel wxs.nl> parents: 1283 diff changeset	43 #include "gen/metadata.h"
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	44
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: 133 diff changeset	45 #include "ir/irvar.h"
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: 133 diff changeset	46
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	47 /*******************************************
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	48 * Get a canonicalized form of the TypeInfo for use with the internal
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	49 * runtime library routines. Canonicalized in that static arrays are
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	50 * represented as dynamic arrays, enums are represented by their
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	51 * underlying type, etc. This reduces the number of TypeInfo's needed,
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	52 * so we can use the custom internal ones more.
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	53 */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	54
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	55 Expression Type::getInternalTypeInfo(Scope sc)
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	56 { TypeInfoDeclaration *tid;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	57 Expression *e;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	58 Type *t;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	59 static TypeInfoDeclaration *internalTI[TMAX];
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	60
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	61 //printf("Type::getInternalTypeInfo() %s\n", toChars());
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	62 t = toBasetype();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	63 switch (t->ty)
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	64 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	65 case Tsarray:
758 f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	66 #if 0
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	67 // convert to corresponding dynamic array type
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	68 t = t->nextOf()->mutableOf()->arrayOf();
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	69 #endif
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	70 break;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	71
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	72 case Tclass:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	73 if (((TypeClass *)t)->sym->isInterfaceDeclaration())
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	74 break;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	75 goto Linternal;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	76
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	77 case Tarray:
758 f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	78 #if DMDV2
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	79 // convert to corresponding dynamic array type
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	80 t = t->nextOf()->mutableOf()->arrayOf();
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	81 #endif
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	82 if (t->nextOf()->ty != Tclass)
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	83 break;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	84 goto Linternal;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	85
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	86 case Tfunction:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	87 case Tdelegate:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	88 case Tpointer:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	89 Linternal:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	90 tid = internalTI[t->ty];
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	91 if (!tid)
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	92 { tid = new TypeInfoDeclaration(t, 1);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	93 internalTI[t->ty] = tid;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	94 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	95 e = new VarExp(0, tid);
758 f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	96 e = e->addressOf(sc);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	97 e->type = tid->type; // do this so we don't get redundant dereference
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	98 return e;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	99
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	100 default:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	101 break;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	102 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	103 //printf("\tcalling getTypeInfo() %s\n", t->toChars());
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	104 return t->getTypeInfo(sc);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	105 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	106
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	107 /****************************************************
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	108 * Get the exact TypeInfo.
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	109 */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	110
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	111 Expression Type::getTypeInfo(Scope sc)
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	112 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	113 Expression *e;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	114 Type *t;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	115
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	116 //printf("Type::getTypeInfo() %p, %s\n", this, toChars());
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	117 t = merge(); // do this since not all Type's are merge'd
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	118 if (!t->vtinfo)
758 f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	119 {
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	120 #if DMDV2
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	121 if (t->isConst())
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	122 t->vtinfo = new TypeInfoConstDeclaration(t);
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	123 else if (t->isInvariant())
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	124 t->vtinfo = new TypeInfoInvariantDeclaration(t);
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	125 else
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	126 #endif
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	127 t->vtinfo = t->getTypeInfoDeclaration();
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	128 assert(t->vtinfo);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	129
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	130 /* If this has a custom implementation in std/typeinfo, then
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	131 * do not generate a COMDAT for it.
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	132 */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	133 if (!t->builtinTypeInfo())
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	134 { // Generate COMDAT
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	135 if (sc) // if in semantic() pass
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	136 { // Find module that will go all the way to an object file
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	137 Module *m = sc->module->importedFrom;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	138 m->members->push(t->vtinfo);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	139 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	140 else // if in obj generation pass
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	141 {
1147 dbe4af57b240 Changed use of toObjFile to a new codegen method. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	142 #if IN_DMD
336 aaade6ded589 [svn r357] Merged DMD 1.033 lindquist parents: 290 diff changeset	143 t->vtinfo->toObjFile(0); // TODO: multiobj
1147 dbe4af57b240 Changed use of toObjFile to a new codegen method. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	144 #else
dbe4af57b240 Changed use of toObjFile to a new codegen method. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	145 t->vtinfo->codegen(sir);
dbe4af57b240 Changed use of toObjFile to a new codegen method. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	146 #endif
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	147 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	148 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	149 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	150 e = new VarExp(0, t->vtinfo);
1147 dbe4af57b240 Changed use of toObjFile to a new codegen method. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	151 e = e->addressOf(sc);
dbe4af57b240 Changed use of toObjFile to a new codegen method. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	152 e->type = t->vtinfo->type; // do this so we don't get redundant dereference
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	153 return e;
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
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	156 enum RET TypeFunction::retStyle()
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	157 {
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	158 return RETstack;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	159 }
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	160
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	161 TypeInfoDeclaration *Type::getTypeInfoDeclaration()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	162 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	163 //printf("Type::getTypeInfoDeclaration() %s\n", toChars());
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	164 return new TypeInfoDeclaration(this, 0);
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
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	167 TypeInfoDeclaration *TypeTypedef::getTypeInfoDeclaration()
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	168 {
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	169 return new TypeInfoTypedefDeclaration(this);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	170 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	171
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	172 TypeInfoDeclaration *TypePointer::getTypeInfoDeclaration()
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	173 {
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	174 return new TypeInfoPointerDeclaration(this);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	175 }
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	176
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	177 TypeInfoDeclaration *TypeDArray::getTypeInfoDeclaration()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	178 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	179 return new TypeInfoArrayDeclaration(this);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	180 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	181
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	182 TypeInfoDeclaration *TypeSArray::getTypeInfoDeclaration()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	183 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	184 return new TypeInfoStaticArrayDeclaration(this);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	185 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	186
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	187 TypeInfoDeclaration *TypeAArray::getTypeInfoDeclaration()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	188 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	189 return new TypeInfoAssociativeArrayDeclaration(this);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	190 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	191
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	192 TypeInfoDeclaration *TypeStruct::getTypeInfoDeclaration()
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	193 {
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	194 return new TypeInfoStructDeclaration(this);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	195 }
1 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 TypeInfoDeclaration *TypeClass::getTypeInfoDeclaration()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	198 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	199 if (sym->isInterfaceDeclaration())
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	200 return new TypeInfoInterfaceDeclaration(this);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	201 else
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	202 return new TypeInfoClassDeclaration(this);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	203 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	204
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	205 TypeInfoDeclaration *TypeEnum::getTypeInfoDeclaration()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	206 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	207 return new TypeInfoEnumDeclaration(this);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	208 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	209
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	210 TypeInfoDeclaration *TypeFunction::getTypeInfoDeclaration()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	211 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	212 return new TypeInfoFunctionDeclaration(this);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	213 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	214
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	215 TypeInfoDeclaration *TypeDelegate::getTypeInfoDeclaration()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	216 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	217 return new TypeInfoDelegateDeclaration(this);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	218 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	219
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	220 TypeInfoDeclaration *TypeTuple::getTypeInfoDeclaration()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	221 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	222 return new TypeInfoTupleDeclaration(this);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	223 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	224
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	225
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	226 /* ========================================================================= */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	227
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	228 /* These decide if there's an instance for them already in std.typeinfo,
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	229 * because then the compiler doesn't need to build one.
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	230 */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	231
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	232 int Type::builtinTypeInfo()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	233 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	234 return 0;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	235 }
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 int TypeBasic::builtinTypeInfo()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	238 {
764 8e7d4ddab66d Forgot D2 versioning on typeinfo change. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 763 diff changeset	239 #if DMDV2
763 9a9f403ab399 D2 changes! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 761 diff changeset	240 return !mod;
764 8e7d4ddab66d Forgot D2 versioning on typeinfo change. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 763 diff changeset	241 #else
8e7d4ddab66d Forgot D2 versioning on typeinfo change. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 763 diff changeset	242 return 1;
8e7d4ddab66d Forgot D2 versioning on typeinfo change. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 763 diff changeset	243 #endif
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	244 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	245
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	246 int TypeDArray::builtinTypeInfo()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	247 {
763 9a9f403ab399 D2 changes! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 761 diff changeset	248 #if DMDV2
9a9f403ab399 D2 changes! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 761 diff changeset	249 return !mod && next->isTypeBasic() != NULL && !next->mod;
9a9f403ab399 D2 changes! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 761 diff changeset	250 #else
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	251 return next->isTypeBasic() != NULL;
763 9a9f403ab399 D2 changes! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 761 diff changeset	252 #endif
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	253 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	254
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	255 /* ========================================================================= */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	256
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	257 //////////////////////////////////////////////////////////////////////////////
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	258 // MAGIC PLACE
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	259 //////////////////////////////////////////////////////////////////////////////
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	260
1148 3d1b16dabd25 Eliminated the need for resolve, declare, const-init and define lists to drive code generation. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1147 diff changeset	261 void DtoResolveTypeInfo(TypeInfoDeclaration* tid);
3d1b16dabd25 Eliminated the need for resolve, declare, const-init and define lists to drive code generation. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1147 diff changeset	262 void DtoDeclareTypeInfo(TypeInfoDeclaration* tid);
3d1b16dabd25 Eliminated the need for resolve, declare, const-init and define lists to drive code generation. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1147 diff changeset	263 void DtoConstInitTypeInfo(TypeInfoDeclaration* tid);
3d1b16dabd25 Eliminated the need for resolve, declare, const-init and define lists to drive code generation. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1147 diff changeset	264
3d1b16dabd25 Eliminated the need for resolve, declare, const-init and define lists to drive code generation. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1147 diff changeset	265 void TypeInfoDeclaration::codegen(Ir*)
3d1b16dabd25 Eliminated the need for resolve, declare, const-init and define lists to drive code generation. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1147 diff changeset	266 {
3d1b16dabd25 Eliminated the need for resolve, declare, const-init and define lists to drive code generation. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1147 diff changeset	267 DtoResolveTypeInfo(this);
3d1b16dabd25 Eliminated the need for resolve, declare, const-init and define lists to drive code generation. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1147 diff changeset	268 }
3d1b16dabd25 Eliminated the need for resolve, declare, const-init and define lists to drive code generation. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1147 diff changeset	269
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	270 void DtoResolveTypeInfo(TypeInfoDeclaration* tid)
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	271 {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	272 if (tid->ir.resolved) return;
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	273 tid->ir.resolved = true;
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	274
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 121 diff changeset	275 Logger::println("DtoResolveTypeInfo(%s)", tid->toChars());
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	276 LOG_SCOPE;
65 d4a678905d5e [svn r69] forgot std.stdarg lindquist parents: 58 diff changeset	277
1148 3d1b16dabd25 Eliminated the need for resolve, declare, const-init and define lists to drive code generation. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1147 diff changeset	278 IrGlobal* irg = new IrGlobal(tid);
1156 19d4ded7204a Fixed issue with runtime supplied typeinfo generating multiple symbols. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1148 diff changeset	279
19d4ded7204a Fixed issue with runtime supplied typeinfo generating multiple symbols. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1148 diff changeset	280 std::string mangle(tid->mangle());
19d4ded7204a Fixed issue with runtime supplied typeinfo generating multiple symbols. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1148 diff changeset	281
19d4ded7204a Fixed issue with runtime supplied typeinfo generating multiple symbols. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1148 diff changeset	282 irg->value = gIR->module->getGlobalVariable(mangle);
19d4ded7204a Fixed issue with runtime supplied typeinfo generating multiple symbols. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1148 diff changeset	283 if (!irg->value)
19d4ded7204a Fixed issue with runtime supplied typeinfo generating multiple symbols. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1148 diff changeset	284 irg->value = new llvm::GlobalVariable(irg->type.get(), true,
19d4ded7204a Fixed issue with runtime supplied typeinfo generating multiple symbols. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1148 diff changeset	285 TYPEINFO_LINKAGE_TYPE, NULL, mangle, gIR->module);
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	286
1148 3d1b16dabd25 Eliminated the need for resolve, declare, const-init and define lists to drive code generation. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1147 diff changeset	287 tid->ir.irGlobal = irg;
98 6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	288
1284 5851c18e4c6d Add metadata for TypeInfo -> llvm::Type mapping. Frits van Bommel <fvbommel wxs.nl> parents: 1283 diff changeset	289 #ifdef USE_METADATA
5851c18e4c6d Add metadata for TypeInfo -> llvm::Type mapping. Frits van Bommel <fvbommel wxs.nl> parents: 1283 diff changeset	290 // Add some metadata for use by optimization passes.
1291 875afb7a93b6 Factor out some constants into the header so producers and consumers of Frits van Bommel <fvbommel wxs.nl> parents: 1284 diff changeset	291 std::string metaname = std::string(TD_PREFIX) + mangle;
1284 5851c18e4c6d Add metadata for TypeInfo -> llvm::Type mapping. Frits van Bommel <fvbommel wxs.nl> parents: 1283 diff changeset	292 LLGlobalVariable* meta = gIR->module->getGlobalVariable(metaname);
5851c18e4c6d Add metadata for TypeInfo -> llvm::Type mapping. Frits van Bommel <fvbommel wxs.nl> parents: 1283 diff changeset	293 // Don't generate metadata for non-concrete types
5851c18e4c6d Add metadata for TypeInfo -> llvm::Type mapping. Frits van Bommel <fvbommel wxs.nl> parents: 1283 diff changeset	294 // (such as tuple types, slice types, typeof(expr), etc.)
5851c18e4c6d Add metadata for TypeInfo -> llvm::Type mapping. Frits van Bommel <fvbommel wxs.nl> parents: 1283 diff changeset	295 if (!meta && tid->tinfo->toBasetype()->ty < Terror) {
1291 875afb7a93b6 Factor out some constants into the header so producers and consumers of Frits van Bommel <fvbommel wxs.nl> parents: 1284 diff changeset	296 // Construct the fields
1343 c21a6654cce2 Update for metadata changes in LLVM trunk. Frits van Bommel <fvbommel wxs.nl> parents: 1316 diff changeset	297 MDNodeField* mdVals[TD_NumFields];
1316 8c65217be813 Work around an LLVM bug by not referring to globals from metadata. This was Frits van Bommel <fvbommel wxs.nl> parents: 1291 diff changeset	298 if (TD_Confirm >= 0)
1344 3297edb697eb Re-enable consistency check for fixed LLVM versions. Frits van Bommel <fvbommel wxs.nl> parents: 1343 diff changeset	299 mdVals[TD_Confirm] = llvm::cast<MDNodeField>(irg->value);
1291 875afb7a93b6 Factor out some constants into the header so producers and consumers of Frits van Bommel <fvbommel wxs.nl> parents: 1284 diff changeset	300 mdVals[TD_Type] = llvm::UndefValue::get(DtoType(tid->tinfo));
875afb7a93b6 Factor out some constants into the header so producers and consumers of Frits van Bommel <fvbommel wxs.nl> parents: 1284 diff changeset	301 // Construct the metadata
875afb7a93b6 Factor out some constants into the header so producers and consumers of Frits van Bommel <fvbommel wxs.nl> parents: 1284 diff changeset	302 llvm::MDNode* metadata = llvm::MDNode::get(mdVals, TD_NumFields);
875afb7a93b6 Factor out some constants into the header so producers and consumers of Frits van Bommel <fvbommel wxs.nl> parents: 1284 diff changeset	303 // Insert it into the module
1284 5851c18e4c6d Add metadata for TypeInfo -> llvm::Type mapping. Frits van Bommel <fvbommel wxs.nl> parents: 1283 diff changeset	304 new llvm::GlobalVariable(metadata->getType(), true,
5851c18e4c6d Add metadata for TypeInfo -> llvm::Type mapping. Frits van Bommel <fvbommel wxs.nl> parents: 1283 diff changeset	305 METADATA_LINKAGE_TYPE, metadata, metaname, gIR->module);
5851c18e4c6d Add metadata for TypeInfo -> llvm::Type mapping. Frits van Bommel <fvbommel wxs.nl> parents: 1283 diff changeset	306 }
5851c18e4c6d Add metadata for TypeInfo -> llvm::Type mapping. Frits van Bommel <fvbommel wxs.nl> parents: 1283 diff changeset	307 #endif
5851c18e4c6d Add metadata for TypeInfo -> llvm::Type mapping. Frits van Bommel <fvbommel wxs.nl> parents: 1283 diff changeset	308
1148 3d1b16dabd25 Eliminated the need for resolve, declare, const-init and define lists to drive code generation. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1147 diff changeset	309 DtoDeclareTypeInfo(tid);
1147 dbe4af57b240 Changed use of toObjFile to a new codegen method. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	310 }
dbe4af57b240 Changed use of toObjFile to a new codegen method. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1146 diff changeset	311
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	312 void DtoDeclareTypeInfo(TypeInfoDeclaration* tid)
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	313 {
1148 3d1b16dabd25 Eliminated the need for resolve, declare, const-init and define lists to drive code generation. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1147 diff changeset	314 DtoResolveTypeInfo(tid);
3d1b16dabd25 Eliminated the need for resolve, declare, const-init and define lists to drive code generation. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1147 diff changeset	315
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	316 if (tid->ir.declared) return;
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	317 tid->ir.declared = true;
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	318
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 121 diff changeset	319 Logger::println("DtoDeclareTypeInfo(%s)", tid->toChars());
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	320 LOG_SCOPE;
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	321
1148 3d1b16dabd25 Eliminated the need for resolve, declare, const-init and define lists to drive code generation. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1147 diff changeset	322 IrGlobal* irg = tid->ir.irGlobal;
3d1b16dabd25 Eliminated the need for resolve, declare, const-init and define lists to drive code generation. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1147 diff changeset	323
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	324 std::string mangled(tid->mangle());
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	325
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	326 Logger::println("type = '%s'", tid->tinfo->toChars());
98 6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	327 Logger::println("typeinfo mangle: %s", mangled.c_str());
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	328
1148 3d1b16dabd25 Eliminated the need for resolve, declare, const-init and define lists to drive code generation. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1147 diff changeset	329 assert(irg->value != NULL);
3d1b16dabd25 Eliminated the need for resolve, declare, const-init and define lists to drive code generation. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1147 diff changeset	330
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	331 // this is a declaration of a builtin __initZ var
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	332 if (tid->tinfo->builtinTypeInfo()) {
1148 3d1b16dabd25 Eliminated the need for resolve, declare, const-init and define lists to drive code generation. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1147 diff changeset	333 // fixup the global
3d1b16dabd25 Eliminated the need for resolve, declare, const-init and define lists to drive code generation. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1147 diff changeset	334 const llvm::Type* rty = Type::typeinfo->type->ir.type->get();
3d1b16dabd25 Eliminated the need for resolve, declare, const-init and define lists to drive code generation. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1147 diff changeset	335 llvm::cast<llvm::OpaqueType>(irg->type.get())->refineAbstractTypeTo(rty);
3d1b16dabd25 Eliminated the need for resolve, declare, const-init and define lists to drive code generation. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1147 diff changeset	336 LLGlobalVariable* g = isaGlobalVar(irg->value);
3d1b16dabd25 Eliminated the need for resolve, declare, const-init and define lists to drive code generation. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1147 diff changeset	337 g->setLinkage(llvm::GlobalValue::ExternalLinkage);
3d1b16dabd25 Eliminated the need for resolve, declare, const-init and define lists to drive code generation. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1147 diff changeset	338 return;
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	339 }
1148 3d1b16dabd25 Eliminated the need for resolve, declare, const-init and define lists to drive code generation. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1147 diff changeset	340
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	341 // custom typedef
1148 3d1b16dabd25 Eliminated the need for resolve, declare, const-init and define lists to drive code generation. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1147 diff changeset	342 DtoConstInitTypeInfo(tid);
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	343 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	344
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	345 void DtoConstInitTypeInfo(TypeInfoDeclaration* tid)
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	346 {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	347 if (tid->ir.initialized) return;
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	348 tid->ir.initialized = true;
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	349
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 121 diff changeset	350 Logger::println("DtoConstInitTypeInfo(%s)", tid->toChars());
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	351 LOG_SCOPE;
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	352
1148 3d1b16dabd25 Eliminated the need for resolve, declare, const-init and define lists to drive code generation. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1147 diff changeset	353 tid->llvmDefine();
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	354 }
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	355
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	356 /* ========================================================================= */
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	357
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	358 void TypeInfoDeclaration::llvmDefine()
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	359 {
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	360 assert(0 && "TypeInfoDeclaration::llvmDeclare");
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	361 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	362
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	363 /* ========================================================================= */
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	364
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	365 void TypeInfoTypedefDeclaration::llvmDefine()
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	366 {
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	367 Logger::println("TypeInfoTypedefDeclaration::llvmDefine() %s", toChars());
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	368 LOG_SCOPE;
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	369
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	370 ClassDeclaration* base = Type::typeinfotypedef;
1148 3d1b16dabd25 Eliminated the need for resolve, declare, const-init and define lists to drive code generation. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1147 diff changeset	371 base->codegen(Type::sir);
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	372
115 5ba6d286c941 [svn r119] Added the monitor data field that comes after the vtable pointer to all classes. Represented as a void* initialized to zero. lindquist parents: 113 diff changeset	373 // vtbl
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	374 std::vector<LLConstant*> sinits;
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1156 diff changeset	375 sinits.push_back(base->ir.irStruct->getVtblSymbol());
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	376
115 5ba6d286c941 [svn r119] Added the monitor data field that comes after the vtable pointer to all classes. Represented as a void* initialized to zero. lindquist parents: 113 diff changeset	377 // monitor
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 213 diff changeset	378 sinits.push_back(getNullPtr(getPtrToType(LLType::Int8Ty)));
115 5ba6d286c941 [svn r119] Added the monitor data field that comes after the vtable pointer to all classes. Represented as a void* initialized to zero. lindquist parents: 113 diff changeset	379
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	380 assert(tinfo->ty == Ttypedef);
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	381 TypeTypedef tc = (TypeTypedef )tinfo;
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	382 TypedefDeclaration *sd = tc->sym;
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	383
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	384 // TypeInfo base
290 ebaf65fc4726 [svn r311] Fixed: structs no longer output two static typeinfos. lindquist parents: 275 diff changeset	385 sd->basetype = sd->basetype->merge(); // DMD does this!
275 665b81613475 [svn r296] Removed: the 'suite' dir, it never took off! lindquist parents: 244 diff changeset	386 LLConstant* castbase = DtoTypeInfoOf(sd->basetype, true);
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	387 sinits.push_back(castbase);
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	388
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	389 // char[] name
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	390 char *name = sd->toPrettyChars();
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: 73 diff changeset	391 sinits.push_back(DtoConstString(name));
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	392
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	393 // void[] init
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 213 diff changeset	394 const LLPointerType* initpt = getPtrToType(LLType::Int8Ty);
69 2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 65 diff changeset	395 if (tinfo->isZeroInit() \|\| !sd->init) // 0 initializer, or the same as the base type
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 65 diff changeset	396 {
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	397 sinits.push_back(DtoConstSlice(DtoConstSize_t(0), getNullPtr(initpt)));
69 2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 65 diff changeset	398 }
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 65 diff changeset	399 else
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 65 diff changeset	400 {
796 6e7a4c3b64d2 Error instead of assert when trying to build a default initializer for void[n]. Christian Kamm <kamm incasoftware de> parents: 766 diff changeset	401 LLConstant* ci = DtoConstInitializer(sd->loc, sd->basetype, sd->init);
69 2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 65 diff changeset	402 std::string ciname(sd->mangle());
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 65 diff changeset	403 ciname.append("__init");
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: 73 diff changeset	404 llvm::GlobalVariable* civar = new llvm::GlobalVariable(DtoType(sd->basetype),true,llvm::GlobalValue::InternalLinkage,ci,ciname,gIR->module);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	405 LLConstant* cicast = llvm::ConstantExpr::getBitCast(civar, initpt);
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	406 size_t cisize = getTypeStoreSize(DtoType(sd->basetype));
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: 73 diff changeset	407 sinits.push_back(DtoConstSlice(DtoConstSize_t(cisize), cicast));
69 2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 65 diff changeset	408 }
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	409
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	410 // create the inititalizer
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	411 LLConstant* tiInit = llvm::ConstantStruct::get(sinits);
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	412
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	413 // refine global type
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	414 llvm::cast<llvm::OpaqueType>(ir.irGlobal->type.get())->refineAbstractTypeTo(tiInit->getType());
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	415
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	416 // set the initializer
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	417 isaGlobalVar(ir.irGlobal->value)->setInitializer(tiInit);
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	418 }
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	419
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	420 /* ========================================================================= */
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	421
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	422 void TypeInfoEnumDeclaration::llvmDefine()
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	423 {
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	424 Logger::println("TypeInfoEnumDeclaration::llvmDefine() %s", toChars());
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	425 LOG_SCOPE;
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	426
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	427 ClassDeclaration* base = Type::typeinfoenum;
1148 3d1b16dabd25 Eliminated the need for resolve, declare, const-init and define lists to drive code generation. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1147 diff changeset	428 base->codegen(Type::sir);
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	429
115 5ba6d286c941 [svn r119] Added the monitor data field that comes after the vtable pointer to all classes. Represented as a void* initialized to zero. lindquist parents: 113 diff changeset	430 // vtbl
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	431 std::vector<LLConstant*> sinits;
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1156 diff changeset	432 sinits.push_back(base->ir.irStruct->getVtblSymbol());
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	433
115 5ba6d286c941 [svn r119] Added the monitor data field that comes after the vtable pointer to all classes. Represented as a void* initialized to zero. lindquist parents: 113 diff changeset	434 // monitor
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 213 diff changeset	435 sinits.push_back(llvm::ConstantPointerNull::get(getPtrToType(LLType::Int8Ty)));
115 5ba6d286c941 [svn r119] Added the monitor data field that comes after the vtable pointer to all classes. Represented as a void* initialized to zero. lindquist parents: 113 diff changeset	436
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	437 assert(tinfo->ty == Tenum);
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	438 TypeEnum tc = (TypeEnum )tinfo;
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	439 EnumDeclaration *sd = tc->sym;
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	440
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	441 // TypeInfo base
275 665b81613475 [svn r296] Removed: the 'suite' dir, it never took off! lindquist parents: 244 diff changeset	442 LLConstant* castbase = DtoTypeInfoOf(sd->memtype, true);
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	443 sinits.push_back(castbase);
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	444
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	445 // char[] name
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	446 char *name = sd->toPrettyChars();
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: 73 diff changeset	447 sinits.push_back(DtoConstString(name));
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	448
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	449 // void[] init
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 213 diff changeset	450 const LLPointerType* initpt = getPtrToType(LLType::Int8Ty);
71 53d3086b5ad3 [svn r75] Fixed the init member in custom enum typeinfo. I don't see any way this could actually need emmision though :/ lindquist parents: 69 diff changeset	451 if (tinfo->isZeroInit() \|\| !sd->defaultval) // 0 initializer, or the same as the base type
53d3086b5ad3 [svn r75] Fixed the init member in custom enum typeinfo. I don't see any way this could actually need emmision though :/ lindquist parents: 69 diff changeset	452 {
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: 73 diff changeset	453 sinits.push_back(DtoConstSlice(DtoConstSize_t(0), llvm::ConstantPointerNull::get(initpt)));
71 53d3086b5ad3 [svn r75] Fixed the init member in custom enum typeinfo. I don't see any way this could actually need emmision though :/ lindquist parents: 69 diff changeset	454 }
53d3086b5ad3 [svn r75] Fixed the init member in custom enum typeinfo. I don't see any way this could actually need emmision though :/ lindquist parents: 69 diff changeset	455 else
53d3086b5ad3 [svn r75] Fixed the init member in custom enum typeinfo. I don't see any way this could actually need emmision though :/ lindquist parents: 69 diff changeset	456 {
758 f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	457 #if DMDV2
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	458 assert(0 && "initializer not implemented");
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	459 #else
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	460 const LLType* memty = DtoType(sd->memtype);
7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	461 LLConstant* ci = llvm::ConstantInt::get(memty, sd->defaultval, !sd->memtype->isunsigned());
71 53d3086b5ad3 [svn r75] Fixed the init member in custom enum typeinfo. I don't see any way this could actually need emmision though :/ lindquist parents: 69 diff changeset	462 std::string ciname(sd->mangle());
53d3086b5ad3 [svn r75] Fixed the init member in custom enum typeinfo. I don't see any way this could actually need emmision though :/ lindquist parents: 69 diff changeset	463 ciname.append("__init");
53d3086b5ad3 [svn r75] Fixed the init member in custom enum typeinfo. I don't see any way this could actually need emmision though :/ lindquist parents: 69 diff changeset	464 llvm::GlobalVariable* civar = new llvm::GlobalVariable(memty,true,llvm::GlobalValue::InternalLinkage,ci,ciname,gIR->module);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	465 LLConstant* cicast = llvm::ConstantExpr::getBitCast(civar, initpt);
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	466 size_t cisize = getTypeStoreSize(memty);
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: 73 diff changeset	467 sinits.push_back(DtoConstSlice(DtoConstSize_t(cisize), cicast));
758 f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	468 #endif
71 53d3086b5ad3 [svn r75] Fixed the init member in custom enum typeinfo. I don't see any way this could actually need emmision though :/ lindquist parents: 69 diff changeset	469 }
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	470
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	471 // create the inititalizer
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	472 LLConstant* tiInit = llvm::ConstantStruct::get(sinits);
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	473
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	474 // refine global type
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	475 llvm::cast<llvm::OpaqueType>(ir.irGlobal->type.get())->refineAbstractTypeTo(tiInit->getType());
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	476
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	477 // set the initializer
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	478 isaGlobalVar(ir.irGlobal->value)->setInitializer(tiInit);
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	479 }
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	480
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	481 /* ========================================================================= */
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	482
880 2dfd05525e2e Fixed bad return types in typinf.cpp Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 797 diff changeset	483 static void LLVM_D_Define_TypeInfoBase(Type* basetype, TypeInfoDeclaration* tid, ClassDeclaration* cd)
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	484 {
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	485 ClassDeclaration* base = cd;
1148 3d1b16dabd25 Eliminated the need for resolve, declare, const-init and define lists to drive code generation. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1147 diff changeset	486 base->codegen(Type::sir);
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	487
115 5ba6d286c941 [svn r119] Added the monitor data field that comes after the vtable pointer to all classes. Represented as a void* initialized to zero. lindquist parents: 113 diff changeset	488 // vtbl
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	489 std::vector<LLConstant*> sinits;
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1156 diff changeset	490 sinits.push_back(base->ir.irStruct->getVtblSymbol());
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	491
115 5ba6d286c941 [svn r119] Added the monitor data field that comes after the vtable pointer to all classes. Represented as a void* initialized to zero. lindquist parents: 113 diff changeset	492 // monitor
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 213 diff changeset	493 sinits.push_back(llvm::ConstantPointerNull::get(getPtrToType(LLType::Int8Ty)));
115 5ba6d286c941 [svn r119] Added the monitor data field that comes after the vtable pointer to all classes. Represented as a void* initialized to zero. lindquist parents: 113 diff changeset	494
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	495 // TypeInfo base
275 665b81613475 [svn r296] Removed: the 'suite' dir, it never took off! lindquist parents: 244 diff changeset	496 LLConstant* castbase = DtoTypeInfoOf(basetype, true);
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	497 sinits.push_back(castbase);
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	498
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	499 // create the inititalizer
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	500 LLConstant* tiInit = llvm::ConstantStruct::get(sinits);
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	501
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	502 // refine global type
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	503 llvm::cast<llvm::OpaqueType>(tid->ir.irGlobal->type.get())->refineAbstractTypeTo(tiInit->getType());
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	504
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	505 // set the initializer
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	506 isaGlobalVar(tid->ir.irGlobal->value)->setInitializer(tiInit);
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	507 }
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	508
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	509 /* ========================================================================= */
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	510
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	511 void TypeInfoPointerDeclaration::llvmDefine()
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	512 {
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	513 Logger::println("TypeInfoPointerDeclaration::llvmDefine() %s", toChars());
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	514 LOG_SCOPE;
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	515
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	516 assert(tinfo->ty == Tpointer);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	517 TypePointer tc = (TypePointer )tinfo;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	518
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	519 LLVM_D_Define_TypeInfoBase(tc->next, this, Type::typeinfopointer);
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	520 }
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	521
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	522 /* ========================================================================= */
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	523
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	524 void TypeInfoArrayDeclaration::llvmDefine()
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	525 {
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	526 Logger::println("TypeInfoArrayDeclaration::llvmDefine() %s", toChars());
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	527 LOG_SCOPE;
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	528
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	529 assert(tinfo->ty == Tarray);
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	530 TypeDArray tc = (TypeDArray )tinfo;
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	531
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	532 LLVM_D_Define_TypeInfoBase(tc->next, this, Type::typeinfoarray);
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	533 }
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	534
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	535 /* ========================================================================= */
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	536
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	537 void TypeInfoStaticArrayDeclaration::llvmDefine()
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	538 {
1146 1860414bf3b7 * Moved ir/irsymbol.cpp/h into ir/irdsymbol.cpp/h. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1064 diff changeset	539 Logger::println("TypeInfoStaticArrayDeclaration::llvmDefine() %s", toChars());
105 182b41f56b7f [svn r109] Fixed support for static array TypeInfo lindquist parents: 102 diff changeset	540 LOG_SCOPE;
182b41f56b7f [svn r109] Fixed support for static array TypeInfo lindquist parents: 102 diff changeset	541
182b41f56b7f [svn r109] Fixed support for static array TypeInfo lindquist parents: 102 diff changeset	542 // init typeinfo class
182b41f56b7f [svn r109] Fixed support for static array TypeInfo lindquist parents: 102 diff changeset	543 ClassDeclaration* base = Type::typeinfostaticarray;
1148 3d1b16dabd25 Eliminated the need for resolve, declare, const-init and define lists to drive code generation. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1147 diff changeset	544 base->codegen(Type::sir);
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	545
105 182b41f56b7f [svn r109] Fixed support for static array TypeInfo lindquist parents: 102 diff changeset	546 // get type of typeinfo class
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 213 diff changeset	547 const LLStructType* stype = isaStruct(base->type->ir.type->get());
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	548
105 182b41f56b7f [svn r109] Fixed support for static array TypeInfo lindquist parents: 102 diff changeset	549 // initializer vector
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	550 std::vector<LLConstant*> sinits;
105 182b41f56b7f [svn r109] Fixed support for static array TypeInfo lindquist parents: 102 diff changeset	551 // first is always the vtable
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1156 diff changeset	552 sinits.push_back(base->ir.irStruct->getVtblSymbol());
105 182b41f56b7f [svn r109] Fixed support for static array TypeInfo lindquist parents: 102 diff changeset	553
115 5ba6d286c941 [svn r119] Added the monitor data field that comes after the vtable pointer to all classes. Represented as a void* initialized to zero. lindquist parents: 113 diff changeset	554 // monitor
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 213 diff changeset	555 sinits.push_back(llvm::ConstantPointerNull::get(getPtrToType(LLType::Int8Ty)));
115 5ba6d286c941 [svn r119] Added the monitor data field that comes after the vtable pointer to all classes. Represented as a void* initialized to zero. lindquist parents: 113 diff changeset	556
105 182b41f56b7f [svn r109] Fixed support for static array TypeInfo lindquist parents: 102 diff changeset	557 // value typeinfo
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	558 assert(tinfo->ty == Tsarray);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	559 TypeSArray tc = (TypeSArray )tinfo;
275 665b81613475 [svn r296] Removed: the 'suite' dir, it never took off! lindquist parents: 244 diff changeset	560 LLConstant* castbase = DtoTypeInfoOf(tc->next, true);
665b81613475 [svn r296] Removed: the 'suite' dir, it never took off! lindquist parents: 244 diff changeset	561 assert(castbase->getType() == stype->getElementType(2));
105 182b41f56b7f [svn r109] Fixed support for static array TypeInfo lindquist parents: 102 diff changeset	562 sinits.push_back(castbase);
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	563
105 182b41f56b7f [svn r109] Fixed support for static array TypeInfo lindquist parents: 102 diff changeset	564 // length
182b41f56b7f [svn r109] Fixed support for static array TypeInfo lindquist parents: 102 diff changeset	565 sinits.push_back(DtoConstSize_t(tc->dim->toInteger()));
182b41f56b7f [svn r109] Fixed support for static array TypeInfo lindquist parents: 102 diff changeset	566
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	567 // create the inititalizer
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	568 LLConstant* tiInit = llvm::ConstantStruct::get(sinits);
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	569
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	570 // refine global type
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	571 llvm::cast<llvm::OpaqueType>(ir.irGlobal->type.get())->refineAbstractTypeTo(tiInit->getType());
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	572
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	573 // set the initializer
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	574 isaGlobalVar(ir.irGlobal->value)->setInitializer(tiInit);
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	575 }
105 182b41f56b7f [svn r109] Fixed support for static array TypeInfo lindquist parents: 102 diff changeset	576
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	577 /* ========================================================================= */
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	578
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	579 void TypeInfoAssociativeArrayDeclaration::llvmDefine()
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	580 {
1146 1860414bf3b7 * Moved ir/irsymbol.cpp/h into ir/irdsymbol.cpp/h. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1064 diff changeset	581 Logger::println("TypeInfoAssociativeArrayDeclaration::llvmDefine() %s", toChars());
109 5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	582 LOG_SCOPE;
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	583
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	584 // init typeinfo class
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	585 ClassDeclaration* base = Type::typeinfoassociativearray;
1148 3d1b16dabd25 Eliminated the need for resolve, declare, const-init and define lists to drive code generation. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1147 diff changeset	586 base->codegen(Type::sir);
109 5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	587
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	588 // initializer vector
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	589 std::vector<LLConstant*> sinits;
109 5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	590 // first is always the vtable
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1156 diff changeset	591 sinits.push_back(base->ir.irStruct->getVtblSymbol());
109 5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	592
115 5ba6d286c941 [svn r119] Added the monitor data field that comes after the vtable pointer to all classes. Represented as a void* initialized to zero. lindquist parents: 113 diff changeset	593 // monitor
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 213 diff changeset	594 sinits.push_back(llvm::ConstantPointerNull::get(getPtrToType(LLType::Int8Ty)));
115 5ba6d286c941 [svn r119] Added the monitor data field that comes after the vtable pointer to all classes. Represented as a void* initialized to zero. lindquist parents: 113 diff changeset	595
109 5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	596 // get type
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	597 assert(tinfo->ty == Taarray);
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	598 TypeAArray tc = (TypeAArray )tinfo;
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	599
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	600 // value typeinfo
275 665b81613475 [svn r296] Removed: the 'suite' dir, it never took off! lindquist parents: 244 diff changeset	601 LLConstant* castbase = DtoTypeInfoOf(tc->next, true);
109 5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	602 sinits.push_back(castbase);
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	603
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	604 // key typeinfo
275 665b81613475 [svn r296] Removed: the 'suite' dir, it never took off! lindquist parents: 244 diff changeset	605 castbase = DtoTypeInfoOf(tc->index, true);
109 5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	606 sinits.push_back(castbase);
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	607
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	608 // create the inititalizer
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	609 LLConstant* tiInit = llvm::ConstantStruct::get(sinits);
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	610
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	611 // refine global type
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	612 llvm::cast<llvm::OpaqueType>(ir.irGlobal->type.get())->refineAbstractTypeTo(tiInit->getType());
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	613
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	614 // set the initializer
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	615 isaGlobalVar(ir.irGlobal->value)->setInitializer(tiInit);
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	616 }
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	617
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	618 /* ========================================================================= */
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	619
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	620 void TypeInfoFunctionDeclaration::llvmDefine()
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	621 {
1146 1860414bf3b7 * Moved ir/irsymbol.cpp/h into ir/irdsymbol.cpp/h. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1064 diff changeset	622 Logger::println("TypeInfoFunctionDeclaration::llvmDefine() %s", toChars());
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	623 LOG_SCOPE;
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	624
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	625 assert(tinfo->ty == Tfunction);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	626 TypeFunction tc = (TypeFunction )tinfo;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	627
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	628 LLVM_D_Define_TypeInfoBase(tc->next, this, Type::typeinfofunction);
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	629 }
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	630
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	631 /* ========================================================================= */
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	632
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	633 void TypeInfoDelegateDeclaration::llvmDefine()
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	634 {
1146 1860414bf3b7 * Moved ir/irsymbol.cpp/h into ir/irdsymbol.cpp/h. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1064 diff changeset	635 Logger::println("TypeInfoDelegateDeclaration::llvmDefine() %s", toChars());
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	636 LOG_SCOPE;
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	637
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	638 assert(tinfo->ty == Tdelegate);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	639 TypeDelegate tc = (TypeDelegate )tinfo;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	640
758 f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	641 LLVM_D_Define_TypeInfoBase(tc->nextOf()->nextOf(), this, Type::typeinfodelegate);
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	642 }
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	643
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	644 /* ========================================================================= */
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	645
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	646 void TypeInfoStructDeclaration::llvmDefine()
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	647 {
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	648 Logger::println("TypeInfoStructDeclaration::llvmDefine() %s", toChars());
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	649 LOG_SCOPE;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	650
1245 465a77c904d4 Fixed all issues preventing Tango 0.99.8 to compile with `sh build-tango.sh --verbose ldc'. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1228 diff changeset	651 // make sure struct is resolved
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	652 assert(tinfo->ty == Tstruct);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	653 TypeStruct tc = (TypeStruct )tinfo;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	654 StructDeclaration *sd = tc->sym;
1345 712662f45ee4 Added error instead of assertion failure when trying to get !TypeInfo for a forward declared struct. Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1344 diff changeset	655
712662f45ee4 Added error instead of assertion failure when trying to get !TypeInfo for a forward declared struct. Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1344 diff changeset	656 // can't emit typeinfo for forward declarations
712662f45ee4 Added error instead of assertion failure when trying to get !TypeInfo for a forward declared struct. Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1344 diff changeset	657 if (sd->sizeok != 1)
712662f45ee4 Added error instead of assertion failure when trying to get !TypeInfo for a forward declared struct. Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1344 diff changeset	658 {
712662f45ee4 Added error instead of assertion failure when trying to get !TypeInfo for a forward declared struct. Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1344 diff changeset	659 sd->error("cannot emit TypeInfo for forward declaration");
712662f45ee4 Added error instead of assertion failure when trying to get !TypeInfo for a forward declared struct. Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1344 diff changeset	660 fatal();
712662f45ee4 Added error instead of assertion failure when trying to get !TypeInfo for a forward declared struct. Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1344 diff changeset	661 }
712662f45ee4 Added error instead of assertion failure when trying to get !TypeInfo for a forward declared struct. Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1344 diff changeset	662
1148 3d1b16dabd25 Eliminated the need for resolve, declare, const-init and define lists to drive code generation. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1147 diff changeset	663 sd->codegen(Type::sir);
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	664
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	665 ClassDeclaration* base = Type::typeinfostruct;
1148 3d1b16dabd25 Eliminated the need for resolve, declare, const-init and define lists to drive code generation. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1147 diff changeset	666 base->codegen(Type::sir);
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	667
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 213 diff changeset	668 const LLStructType* stype = isaStruct(base->type->ir.type->get());
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	669
115 5ba6d286c941 [svn r119] Added the monitor data field that comes after the vtable pointer to all classes. Represented as a void* initialized to zero. lindquist parents: 113 diff changeset	670 // vtbl
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	671 std::vector<LLConstant*> sinits;
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1156 diff changeset	672 sinits.push_back(base->ir.irStruct->getVtblSymbol());
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	673
115 5ba6d286c941 [svn r119] Added the monitor data field that comes after the vtable pointer to all classes. Represented as a void* initialized to zero. lindquist parents: 113 diff changeset	674 // monitor
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 213 diff changeset	675 sinits.push_back(llvm::ConstantPointerNull::get(getPtrToType(LLType::Int8Ty)));
115 5ba6d286c941 [svn r119] Added the monitor data field that comes after the vtable pointer to all classes. Represented as a void* initialized to zero. lindquist parents: 113 diff changeset	676
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	677 // char[] name
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	678 char *name = sd->toPrettyChars();
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: 73 diff changeset	679 sinits.push_back(DtoConstString(name));
110 e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 109 diff changeset	680 //Logger::println("************** A");
115 5ba6d286c941 [svn r119] Added the monitor data field that comes after the vtable pointer to all classes. Represented as a void* initialized to zero. lindquist parents: 113 diff changeset	681 assert(sinits.back()->getType() == stype->getElementType(2));
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	682
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	683 // void[] init
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 213 diff changeset	684 const LLPointerType* initpt = getPtrToType(LLType::Int8Ty);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	685 #if 0
7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	686 // the implementation of TypeInfo_Struct uses this to determine size. :/
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	687 if (sd->zeroInit) // 0 initializer, or the same as the base type
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	688 {
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: 73 diff changeset	689 sinits.push_back(DtoConstSlice(DtoConstSize_t(0), llvm::ConstantPointerNull::get(initpt)));
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	690 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	691 else
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	692 #endif
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	693 {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	694 size_t cisize = getTypeStoreSize(tc->ir.type->get());
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1156 diff changeset	695 LLConstant* cicast = llvm::ConstantExpr::getBitCast(sd->ir.irStruct->getInitSymbol(), initpt);
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: 73 diff changeset	696 sinits.push_back(DtoConstSlice(DtoConstSize_t(cisize), cicast));
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	697 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	698
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	699 // toX functions ground work
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	700 FuncDeclaration *fd;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	701 FuncDeclaration *fdx;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	702 TypeFunction *tf;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	703 Type *ta;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	704 Dsymbol *s;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	705
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	706 static TypeFunction *tftohash;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	707 static TypeFunction *tftostring;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	708
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	709 if (!tftohash)
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	710 {
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	711 Scope sc;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	712
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	713 tftohash = new TypeFunction(NULL, Type::thash_t, 0, LINKd);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	714 tftohash = (TypeFunction *)tftohash->semantic(0, &sc);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	715
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	716 tftostring = new TypeFunction(NULL, Type::tchar->arrayOf(), 0, LINKd);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	717 tftostring = (TypeFunction *)tftostring->semantic(0, &sc);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	718 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	719
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	720 TypeFunction *tfeqptr;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	721 {
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	722 Scope sc;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	723 Arguments *arguments = new Arguments;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	724 Argument *arg = new Argument(STCin, tc->pointerTo(), NULL, NULL);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	725
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	726 arguments->push(arg);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	727 tfeqptr = new TypeFunction(arguments, Type::tint32, 0, LINKd);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	728 tfeqptr = (TypeFunction *)tfeqptr->semantic(0, &sc);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	729 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	730
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	731 #if 0
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	732 TypeFunction *tfeq;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	733 {
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	734 Scope sc;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	735 Array *arguments = new Array;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	736 Argument *arg = new Argument(In, tc, NULL, NULL);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	737
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	738 arguments->push(arg);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	739 tfeq = new TypeFunction(arguments, Type::tint32, 0, LINKd);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	740 tfeq = (TypeFunction *)tfeq->semantic(0, &sc);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	741 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	742 #endif
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	743
110 e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 109 diff changeset	744 //Logger::println("************** B");
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 213 diff changeset	745 const LLPointerType* ptty = isaPointer(stype->getElementType(4));
115 5ba6d286c941 [svn r119] Added the monitor data field that comes after the vtable pointer to all classes. Represented as a void* initialized to zero. lindquist parents: 113 diff changeset	746 assert(ptty);
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	747
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	748 s = search_function(sd, Id::tohash);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	749 fdx = s ? s->isFuncDeclaration() : NULL;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	750 if (fdx)
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	751 {
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	752 fd = fdx->overloadExactMatch(tftohash);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	753 if (fd) {
1148 3d1b16dabd25 Eliminated the need for resolve, declare, const-init and define lists to drive code generation. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1147 diff changeset	754 fd->codegen(Type::sir);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	755 assert(fd->ir.irFunc->func != 0);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	756 LLConstant* c = isaConstant(fd->ir.irFunc->func);
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	757 assert(c);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	758 c = llvm::ConstantExpr::getBitCast(c, ptty);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	759 sinits.push_back(c);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	760 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	761 else {
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	762 //fdx->error("must be declared as extern (D) uint toHash()");
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	763 sinits.push_back(llvm::ConstantPointerNull::get(ptty));
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	764 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	765 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	766 else {
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	767 sinits.push_back(llvm::ConstantPointerNull::get(ptty));
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	768 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	769
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	770 s = search_function(sd, Id::eq);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	771 fdx = s ? s->isFuncDeclaration() : NULL;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	772 for (int i = 0; i < 2; i++)
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	773 {
110 e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 109 diff changeset	774 //Logger::println("************** C %d", i);
115 5ba6d286c941 [svn r119] Added the monitor data field that comes after the vtable pointer to all classes. Represented as a void* initialized to zero. lindquist parents: 113 diff changeset	775 ptty = isaPointer(stype->getElementType(5+i));
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	776 if (fdx)
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	777 {
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	778 fd = fdx->overloadExactMatch(tfeqptr);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	779 if (fd) {
1148 3d1b16dabd25 Eliminated the need for resolve, declare, const-init and define lists to drive code generation. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1147 diff changeset	780 fd->codegen(Type::sir);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	781 assert(fd->ir.irFunc->func != 0);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	782 LLConstant* c = isaConstant(fd->ir.irFunc->func);
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	783 assert(c);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	784 c = llvm::ConstantExpr::getBitCast(c, ptty);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	785 sinits.push_back(c);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	786 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	787 else {
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	788 //fdx->error("must be declared as extern (D) int %s(%s*)", fdx->toChars(), sd->toChars());
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	789 sinits.push_back(llvm::ConstantPointerNull::get(ptty));
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	790 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	791 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	792 else {
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	793 sinits.push_back(llvm::ConstantPointerNull::get(ptty));
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	794 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	795
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	796 s = search_function(sd, Id::cmp);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	797 fdx = s ? s->isFuncDeclaration() : NULL;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	798 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	799
110 e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 109 diff changeset	800 //Logger::println("************** D");
115 5ba6d286c941 [svn r119] Added the monitor data field that comes after the vtable pointer to all classes. Represented as a void* initialized to zero. lindquist parents: 113 diff changeset	801 ptty = isaPointer(stype->getElementType(7));
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	802 s = search_function(sd, Id::tostring);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	803 fdx = s ? s->isFuncDeclaration() : NULL;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	804 if (fdx)
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	805 {
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	806 fd = fdx->overloadExactMatch(tftostring);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	807 if (fd) {
1148 3d1b16dabd25 Eliminated the need for resolve, declare, const-init and define lists to drive code generation. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1147 diff changeset	808 fd->codegen(Type::sir);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	809 assert(fd->ir.irFunc->func != 0);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	810 LLConstant* c = isaConstant(fd->ir.irFunc->func);
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	811 assert(c);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	812 c = llvm::ConstantExpr::getBitCast(c, ptty);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	813 sinits.push_back(c);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	814 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	815 else {
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	816 //fdx->error("must be declared as extern (D) char[] toString()");
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	817 sinits.push_back(llvm::ConstantPointerNull::get(ptty));
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	818 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	819 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	820 else {
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	821 sinits.push_back(llvm::ConstantPointerNull::get(ptty));
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	822 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	823
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	824 // uint m_flags;
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: 73 diff changeset	825 sinits.push_back(DtoConstUint(tc->hasPointers()));
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	826
758 f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	827 #if DMDV2
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	828
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	829 // const(MemberInfo[]) function(in char[]) xgetMembers;
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	830 sinits.push_back(LLConstant::getNullValue(stype->getElementType(sinits.size())));
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	831
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	832 //void function(void*) xdtor;
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	833 sinits.push_back(LLConstant::getNullValue(stype->getElementType(sinits.size())));
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	834
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	835 //void function(void*) xpostblit;
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	836 sinits.push_back(LLConstant::getNullValue(stype->getElementType(sinits.size())));
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	837
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	838 #endif
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	839
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	840 // create the inititalizer
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	841 LLConstant* tiInit = llvm::ConstantStruct::get(sinits);
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	842
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	843 // refine global type
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	844 llvm::cast<llvm::OpaqueType>(ir.irGlobal->type.get())->refineAbstractTypeTo(tiInit->getType());
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	845
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	846 // set the initializer
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	847 isaGlobalVar(ir.irGlobal->value)->setInitializer(tiInit);
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	848 }
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	849
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	850 /* ========================================================================= */
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	851
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	852 void TypeInfoClassDeclaration::llvmDefine()
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	853 {
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	854 Logger::println("TypeInfoClassDeclaration::llvmDefine() %s", toChars());
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	855 LOG_SCOPE;
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	856
1245 465a77c904d4 Fixed all issues preventing Tango 0.99.8 to compile with `sh build-tango.sh --verbose ldc'. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1228 diff changeset	857 // make sure class is resolved
465a77c904d4 Fixed all issues preventing Tango 0.99.8 to compile with `sh build-tango.sh --verbose ldc'. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1228 diff changeset	858 assert(tinfo->ty == Tclass);
465a77c904d4 Fixed all issues preventing Tango 0.99.8 to compile with `sh build-tango.sh --verbose ldc'. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1228 diff changeset	859 TypeClass tc = (TypeClass )tinfo;
465a77c904d4 Fixed all issues preventing Tango 0.99.8 to compile with `sh build-tango.sh --verbose ldc'. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1228 diff changeset	860 tc->sym->codegen(Type::sir);
465a77c904d4 Fixed all issues preventing Tango 0.99.8 to compile with `sh build-tango.sh --verbose ldc'. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1228 diff changeset	861
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	862 // init typeinfo class
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	863 ClassDeclaration* base = Type::typeinfoclass;
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	864 assert(base);
1148 3d1b16dabd25 Eliminated the need for resolve, declare, const-init and define lists to drive code generation. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1147 diff changeset	865 base->codegen(Type::sir);
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	866
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	867 // initializer vector
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	868 std::vector<LLConstant*> sinits;
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	869 // first is always the vtable
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1156 diff changeset	870 sinits.push_back(base->ir.irStruct->getVtblSymbol());
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	871
115 5ba6d286c941 [svn r119] Added the monitor data field that comes after the vtable pointer to all classes. Represented as a void* initialized to zero. lindquist parents: 113 diff changeset	872 // monitor
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 213 diff changeset	873 sinits.push_back(llvm::ConstantPointerNull::get(getPtrToType(LLType::Int8Ty)));
115 5ba6d286c941 [svn r119] Added the monitor data field that comes after the vtable pointer to all classes. Represented as a void* initialized to zero. lindquist parents: 113 diff changeset	874
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	875 // get classinfo
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1156 diff changeset	876 sinits.push_back(tc->sym->ir.irStruct->getClassInfoSymbol());
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	877
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	878 // create the inititalizer
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	879 LLConstant* tiInit = llvm::ConstantStruct::get(sinits);
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	880
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	881 // refine global type
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	882 llvm::cast<llvm::OpaqueType>(ir.irGlobal->type.get())->refineAbstractTypeTo(tiInit->getType());
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	883
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	884 // set the initializer
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	885 isaGlobalVar(ir.irGlobal->value)->setInitializer(tiInit);
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	886 }
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	887
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	888 /* ========================================================================= */
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	889
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	890 void TypeInfoInterfaceDeclaration::llvmDefine()
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	891 {
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	892 Logger::println("TypeInfoInterfaceDeclaration::llvmDefine() %s", toChars());
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	893 LOG_SCOPE;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	894
1245 465a77c904d4 Fixed all issues preventing Tango 0.99.8 to compile with `sh build-tango.sh --verbose ldc'. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1228 diff changeset	895 // make sure interface is resolved
465a77c904d4 Fixed all issues preventing Tango 0.99.8 to compile with `sh build-tango.sh --verbose ldc'. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1228 diff changeset	896 assert(tinfo->ty == Tclass);
465a77c904d4 Fixed all issues preventing Tango 0.99.8 to compile with `sh build-tango.sh --verbose ldc'. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1228 diff changeset	897 TypeClass tc = (TypeClass )tinfo;
465a77c904d4 Fixed all issues preventing Tango 0.99.8 to compile with `sh build-tango.sh --verbose ldc'. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1228 diff changeset	898 tc->sym->codegen(Type::sir);
465a77c904d4 Fixed all issues preventing Tango 0.99.8 to compile with `sh build-tango.sh --verbose ldc'. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1228 diff changeset	899
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	900 // init typeinfo class
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	901 ClassDeclaration* base = Type::typeinfointerface;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	902 assert(base);
1148 3d1b16dabd25 Eliminated the need for resolve, declare, const-init and define lists to drive code generation. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1147 diff changeset	903 base->codegen(Type::sir);
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	904
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	905 // get type of typeinfo class
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 213 diff changeset	906 const LLStructType* stype = isaStruct(base->type->ir.type->get());
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	907
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	908 // initializer vector
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	909 std::vector<LLConstant*> sinits;
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	910 // first is always the vtable
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1156 diff changeset	911 sinits.push_back(base->ir.irStruct->getVtblSymbol());
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	912
115 5ba6d286c941 [svn r119] Added the monitor data field that comes after the vtable pointer to all classes. Represented as a void* initialized to zero. lindquist parents: 113 diff changeset	913 // monitor
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 213 diff changeset	914 sinits.push_back(llvm::ConstantPointerNull::get(getPtrToType(LLType::Int8Ty)));
115 5ba6d286c941 [svn r119] Added the monitor data field that comes after the vtable pointer to all classes. Represented as a void* initialized to zero. lindquist parents: 113 diff changeset	915
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	916 // get classinfo
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1156 diff changeset	917 sinits.push_back(tc->sym->ir.irStruct->getClassInfoSymbol());
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	918
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	919 // create the inititalizer
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	920 LLConstant* tiInit = llvm::ConstantStruct::get(sinits);
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	921
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	922 // refine global type
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	923 llvm::cast<llvm::OpaqueType>(ir.irGlobal->type.get())->refineAbstractTypeTo(tiInit->getType());
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	924
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	925 // set the initializer
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	926 isaGlobalVar(ir.irGlobal->value)->setInitializer(tiInit);
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	927 }
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	928
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	929 /* ========================================================================= */
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	930
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	931 void TypeInfoTupleDeclaration::llvmDefine()
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	932 {
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	933 Logger::println("TypeInfoTupleDeclaration::llvmDefine() %s", toChars());
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	934 LOG_SCOPE;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	935
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	936 // init typeinfo class
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	937 ClassDeclaration* base = Type::typeinfotypelist;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	938 assert(base);
1148 3d1b16dabd25 Eliminated the need for resolve, declare, const-init and define lists to drive code generation. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1147 diff changeset	939 base->codegen(Type::sir);
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	940
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	941 // get type of typeinfo class
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 213 diff changeset	942 const LLStructType* stype = isaStruct(base->type->ir.type->get());
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	943
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	944 // initializer vector
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	945 std::vector<LLConstant*> sinits;
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	946 // first is always the vtable
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1156 diff changeset	947 sinits.push_back(base->ir.irStruct->getVtblSymbol());
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	948
115 5ba6d286c941 [svn r119] Added the monitor data field that comes after the vtable pointer to all classes. Represented as a void* initialized to zero. lindquist parents: 113 diff changeset	949 // monitor
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 213 diff changeset	950 sinits.push_back(llvm::ConstantPointerNull::get(getPtrToType(LLType::Int8Ty)));
115 5ba6d286c941 [svn r119] Added the monitor data field that comes after the vtable pointer to all classes. Represented as a void* initialized to zero. lindquist parents: 113 diff changeset	951
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	952 // create elements array
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	953 assert(tinfo->ty == Ttuple);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	954 TypeTuple tu = (TypeTuple )tinfo;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	955
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	956 size_t dim = tu->arguments->dim;
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	957 std::vector<LLConstant*> arrInits;
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	958
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	959 const LLType* tiTy = Type::typeinfo->type->ir.type->get();
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	960 tiTy = getPtrToType(tiTy);
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	961
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	962 for (size_t i = 0; i < dim; i++)
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	963 {
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	964 Argument arg = (Argument )tu->arguments->data[i];
275 665b81613475 [svn r296] Removed: the 'suite' dir, it never took off! lindquist parents: 244 diff changeset	965 LLConstant* castbase = DtoTypeInfoOf(arg->type, true);
665b81613475 [svn r296] Removed: the 'suite' dir, it never took off! lindquist parents: 244 diff changeset	966 assert(castbase->getType() == tiTy);
665b81613475 [svn r296] Removed: the 'suite' dir, it never took off! lindquist parents: 244 diff changeset	967 arrInits.push_back(castbase);
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	968 }
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	969
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	970 // build array type
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 213 diff changeset	971 const LLArrayType* arrTy = LLArrayType::get(tiTy, dim);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	972 LLConstant* arrC = llvm::ConstantArray::get(arrTy, arrInits);
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	973
522 cd4eeb6cc5f6 Fix TypeInfo_Tuple array initialization. Christian Kamm <kamm incasoftware de> parents: 508 diff changeset	974 // need the pointer to the first element of arrC, so create a global for it
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: 880 diff changeset	975 llvm::GlobalValue::LinkageTypes _linkage = llvm::GlobalValue::InternalLinkage;
522 cd4eeb6cc5f6 Fix TypeInfo_Tuple array initialization. Christian Kamm <kamm incasoftware de> parents: 508 diff changeset	976 llvm::GlobalVariable* gvar = new llvm::GlobalVariable(arrTy,true,_linkage,arrC,".tupleelements",gIR->module);
cd4eeb6cc5f6 Fix TypeInfo_Tuple array initialization. Christian Kamm <kamm incasoftware de> parents: 508 diff changeset	977
cd4eeb6cc5f6 Fix TypeInfo_Tuple array initialization. Christian Kamm <kamm incasoftware de> parents: 508 diff changeset	978 // get pointer to first element
cd4eeb6cc5f6 Fix TypeInfo_Tuple array initialization. Christian Kamm <kamm incasoftware de> parents: 508 diff changeset	979 llvm::ConstantInt* zero = DtoConstSize_t(0);
cd4eeb6cc5f6 Fix TypeInfo_Tuple array initialization. Christian Kamm <kamm incasoftware de> parents: 508 diff changeset	980 LLConstant* idxs[2] = { zero, zero };
cd4eeb6cc5f6 Fix TypeInfo_Tuple array initialization. Christian Kamm <kamm incasoftware de> parents: 508 diff changeset	981 LLConstant* arrptr = llvm::ConstantExpr::getGetElementPtr(gvar, idxs, 2);
cd4eeb6cc5f6 Fix TypeInfo_Tuple array initialization. Christian Kamm <kamm incasoftware de> parents: 508 diff changeset	982
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	983 // build the slice
522 cd4eeb6cc5f6 Fix TypeInfo_Tuple array initialization. Christian Kamm <kamm incasoftware de> parents: 508 diff changeset	984 LLConstant* slice = DtoConstSlice(DtoConstSize_t(dim), arrptr);
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	985 sinits.push_back(slice);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	986
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	987 // create the inititalizer
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	988 LLConstant* tiInit = llvm::ConstantStruct::get(sinits);
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	989
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	990 // refine global type
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	991 llvm::cast<llvm::OpaqueType>(ir.irGlobal->type.get())->refineAbstractTypeTo(tiInit->getType());
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	992
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	993 // set the initializer
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	994 isaGlobalVar(ir.irGlobal->value)->setInitializer(tiInit);
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	995 }
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	996
758 f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	997 /* ========================================================================= */
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	998
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	999 #if DMDV2
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	1000
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	1001 void TypeInfoConstDeclaration::llvmDefine()
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	1002 {
1146 1860414bf3b7 * Moved ir/irsymbol.cpp/h into ir/irdsymbol.cpp/h. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1064 diff changeset	1003 Logger::println("TypeInfoConstDeclaration::llvmDefine() %s", toChars());
758 f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	1004 LOG_SCOPE;
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	1005
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	1006 Type *tm = tinfo->mutableOf();
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	1007 tm = tm->merge();
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	1008
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	1009 LLVM_D_Define_TypeInfoBase(tm, this, Type::typeinfoconst);
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	1010 }
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	1011
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	1012 /* ========================================================================= */
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	1013
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	1014 void TypeInfoInvariantDeclaration::llvmDefine()
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	1015 {
1146 1860414bf3b7 * Moved ir/irsymbol.cpp/h into ir/irdsymbol.cpp/h. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1064 diff changeset	1016 Logger::println("TypeInfoInvariantDeclaration::llvmDefine() %s", toChars());
761 fa306ca8843b Applied fvbommel's patch from #112 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 758 diff changeset	1017 LOG_SCOPE;
fa306ca8843b Applied fvbommel's patch from #112 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 758 diff changeset	1018
fa306ca8843b Applied fvbommel's patch from #112 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 758 diff changeset	1019 Type *tm = tinfo->mutableOf();
fa306ca8843b Applied fvbommel's patch from #112 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 758 diff changeset	1020 tm = tm->merge();
fa306ca8843b Applied fvbommel's patch from #112 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 758 diff changeset	1021
fa306ca8843b Applied fvbommel's patch from #112 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 758 diff changeset	1022 LLVM_D_Define_TypeInfoBase(tm, this, Type::typeinfoinvariant);
758 f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	1023 }
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 663 diff changeset	1024
766 af04bbae8553 D2: Fixed global constants not initialized until module constructor. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 764 diff changeset	1025 #endif

Mercurial > projects > ldc

annotate gen/typinf.cpp @ 1351:8d501abecd24