projects/ldc: gen/typinf.cpp annotate

annotate gen/typinf.cpp @ 837:331a176c1f4f

Removed error on naked, not fully complete, but I'll be doing more work on it during this Christmas, and some things do work. Fixed taking delegate of final class method. see mini/delegate3.d.

author	Tomas Lindquist Olsen <tomas.l.olsen@gmail.com>
date	Tue, 09 Dec 2008 14:07:30 +0100
parents	340acf1535d0
children	2dfd05525e2e

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"
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	42
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	43 #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	44
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	45 /*******************************************
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	46 * 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	47 * runtime library routines. Canonicalized in that static arrays are
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	48 * represented as dynamic arrays, enums are represented by their
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	49 * 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	50 * so we can use the custom internal ones more.
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	51 */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	52
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	53 Expression Type::getInternalTypeInfo(Scope sc)
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	54 { TypeInfoDeclaration *tid;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	55 Expression *e;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	56 Type *t;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	57 static TypeInfoDeclaration *internalTI[TMAX];
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	58
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	59 //printf("Type::getInternalTypeInfo() %s\n", toChars());
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	60 t = toBasetype();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	61 switch (t->ty)
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	62 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	63 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	64 #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	65 // 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	66 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	67 #endif
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	68 break;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	69
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	70 case Tclass:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	71 if (((TypeClass *)t)->sym->isInterfaceDeclaration())
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	72 break;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	73 goto Linternal;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	74
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	75 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	76 #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	77 // 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	78 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	79 #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	80 if (t->nextOf()->ty != Tclass)
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	81 break;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	82 goto Linternal;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	83
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	84 case Tfunction:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	85 case Tdelegate:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	86 case Tpointer:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	87 Linternal:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	88 tid = internalTI[t->ty];
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	89 if (!tid)
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	90 { tid = new TypeInfoDeclaration(t, 1);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	91 internalTI[t->ty] = tid;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	92 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	93 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	94 e = e->addressOf(sc);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	95 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	96 return e;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	97
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	98 default:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	99 break;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	100 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	101 //printf("\tcalling getTypeInfo() %s\n", t->toChars());
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	102 return t->getTypeInfo(sc);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	103 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	104
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 * Get the exact TypeInfo.
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
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	109 Expression Type::getTypeInfo(Scope sc)
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 *e;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	112 Type *t;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	113
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	114 //printf("Type::getTypeInfo() %p, %s\n", this, toChars());
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	115 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	116 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	117 {
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	118 #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	119 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	120 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	121 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	122 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	123 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	124 #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	125 t->vtinfo = t->getTypeInfoDeclaration();
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	126 assert(t->vtinfo);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	127
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	128 /* If this has a custom implementation in std/typeinfo, then
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	129 * do not generate a COMDAT for it.
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	130 */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	131 if (!t->builtinTypeInfo())
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	132 { // Generate COMDAT
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	133 if (sc) // if in semantic() pass
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	134 { // 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	135 Module *m = sc->module->importedFrom;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	136 m->members->push(t->vtinfo);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	137 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	138 else // if in obj generation pass
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	139 {
336 aaade6ded589 [svn r357] Merged DMD 1.033 lindquist parents: 290 diff changeset	140 t->vtinfo->toObjFile(0); // TODO: multiobj
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	141 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	142 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	143 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	144 e = new VarExp(0, t->vtinfo);
381 6590ec13f14d Fixed root cause for Invalid BitCasts. DtoCanLoad continues to return false Christian Kamm <kamm incasoftware de> parents: 379 diff changeset	145 //e = e->addressOf(sc);
6590ec13f14d Fixed root cause for Invalid BitCasts. DtoCanLoad continues to return false Christian Kamm <kamm incasoftware de> parents: 379 diff changeset	146 //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	147 return e;
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
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	150 enum RET TypeFunction::retStyle()
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	151 {
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	152 return RETstack;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	153 }
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	154
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	155 TypeInfoDeclaration *Type::getTypeInfoDeclaration()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	156 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	157 //printf("Type::getTypeInfoDeclaration() %s\n", toChars());
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	158 return new TypeInfoDeclaration(this, 0);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	159 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	160
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	161 TypeInfoDeclaration *TypeTypedef::getTypeInfoDeclaration()
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	162 {
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	163 return new TypeInfoTypedefDeclaration(this);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	164 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	165
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	166 TypeInfoDeclaration *TypePointer::getTypeInfoDeclaration()
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	167 {
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	168 return new TypeInfoPointerDeclaration(this);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	169 }
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 TypeInfoDeclaration *TypeDArray::getTypeInfoDeclaration()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	172 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	173 return new TypeInfoArrayDeclaration(this);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	174 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	175
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	176 TypeInfoDeclaration *TypeSArray::getTypeInfoDeclaration()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	177 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	178 return new TypeInfoStaticArrayDeclaration(this);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	179 }
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 TypeInfoDeclaration *TypeAArray::getTypeInfoDeclaration()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	182 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	183 return new TypeInfoAssociativeArrayDeclaration(this);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	184 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	185
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	186 TypeInfoDeclaration *TypeStruct::getTypeInfoDeclaration()
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	187 {
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	188 return new TypeInfoStructDeclaration(this);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	189 }
1 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 TypeInfoDeclaration *TypeClass::getTypeInfoDeclaration()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	192 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	193 if (sym->isInterfaceDeclaration())
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	194 return new TypeInfoInterfaceDeclaration(this);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	195 else
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	196 return new TypeInfoClassDeclaration(this);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	197 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	198
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	199 TypeInfoDeclaration *TypeEnum::getTypeInfoDeclaration()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	200 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	201 return new TypeInfoEnumDeclaration(this);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	202 }
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 TypeInfoDeclaration *TypeFunction::getTypeInfoDeclaration()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	205 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	206 return new TypeInfoFunctionDeclaration(this);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	207 }
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 TypeInfoDeclaration *TypeDelegate::getTypeInfoDeclaration()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	210 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	211 return new TypeInfoDelegateDeclaration(this);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	212 }
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 TypeInfoDeclaration *TypeTuple::getTypeInfoDeclaration()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	215 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	216 return new TypeInfoTupleDeclaration(this);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	217 }
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 /* ========================================================================= */
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 /* 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	223 * because then the compiler doesn't need to build one.
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 int Type::builtinTypeInfo()
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 return 0;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	229 }
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 int TypeBasic::builtinTypeInfo()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	232 {
764 8e7d4ddab66d Forgot D2 versioning on typeinfo change. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 763 diff changeset	233 #if DMDV2
763 9a9f403ab399 D2 changes! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 761 diff changeset	234 return !mod;
764 8e7d4ddab66d Forgot D2 versioning on typeinfo change. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 763 diff changeset	235 #else
8e7d4ddab66d Forgot D2 versioning on typeinfo change. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 763 diff changeset	236 return 1;
8e7d4ddab66d Forgot D2 versioning on typeinfo change. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 763 diff changeset	237 #endif
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	238 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	239
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	240 int TypeDArray::builtinTypeInfo()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	241 {
763 9a9f403ab399 D2 changes! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 761 diff changeset	242 #if DMDV2
9a9f403ab399 D2 changes! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 761 diff changeset	243 return !mod && next->isTypeBasic() != NULL && !next->mod;
9a9f403ab399 D2 changes! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 761 diff changeset	244 #else
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	245 return next->isTypeBasic() != NULL;
763 9a9f403ab399 D2 changes! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 761 diff changeset	246 #endif
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	247 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	248
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	249 /* ========================================================================= */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	250
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	251 /***************************************
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	252 * Create a static array of TypeInfo references
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	253 * corresponding to an array of Expression's.
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	254 * Used to supply hidden _arguments[] value for variadic D functions.
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
57 a9d29e9f1fed [svn r61] Added support for D-style variadic functions :) lindquist parents: 54 diff changeset	257 Expression createTypeInfoArray(Scope sc, Expression *exps[], int dim)
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	258 {
663 6aaa3d3c1183 First part of rename to LDC. Christian Kamm <kamm incasoftware de> parents: 622 diff changeset	259 assert(0); // done elsewhere in LDC
57 a9d29e9f1fed [svn r61] Added support for D-style variadic functions :) lindquist parents: 54 diff changeset	260 return NULL;
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	261 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	262
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	263 /* ========================================================================= */
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	264
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	265 //////////////////////////////////////////////////////////////////////////////
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	266 // MAGIC PLACE
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	267 //////////////////////////////////////////////////////////////////////////////
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	268
336 aaade6ded589 [svn r357] Merged DMD 1.033 lindquist parents: 290 diff changeset	269 void TypeInfoDeclaration::toObjFile(int multiobj)
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	270 {
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	271 gIR->resolveList.push_back(this);
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	272 }
57 a9d29e9f1fed [svn r61] Added support for D-style variadic functions :) lindquist parents: 54 diff changeset	273
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 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	275 {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	276 if (tid->ir.resolved) return;
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	277 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	278
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 121 diff changeset	279 Logger::println("DtoResolveTypeInfo(%s)", tid->toChars());
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	280 LOG_SCOPE;
65 d4a678905d5e [svn r69] forgot std.stdarg lindquist parents: 58 diff changeset	281
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	282 tid->ir.irGlobal = new IrGlobal(tid);
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	283
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	284 gIR->declareList.push_back(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	285 }
98 6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	286
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	287 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	288 {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	289 if (tid->ir.declared) return;
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	290 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	291
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 121 diff changeset	292 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	293 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	294
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	295 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	296
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	297 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	298 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	299
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	300 // 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	301 if (tid->tinfo->builtinTypeInfo()) {
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	302 LLValue* found = gIR->module->getNamedGlobal(mangled);
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 121 diff changeset	303 if (!found)
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 121 diff changeset	304 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 213 diff changeset	305 const LLType* t = LLOpaqueType::get();
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 121 diff changeset	306 llvm::GlobalVariable* g = new llvm::GlobalVariable(t, true, llvm::GlobalValue::ExternalLinkage, NULL, mangled, gIR->module);
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 121 diff changeset	307 assert(g);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	308 /*if (!tid->ir.irGlobal)
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	309 tid->ir.irGlobal = new IrGlobal(tid);*/
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	310 tid->ir.irGlobal->value = g;
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 121 diff changeset	311 mangled.append("__TYPE");
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	312 gIR->module->addTypeName(mangled, tid->ir.irGlobal->value->getType()->getContainedType(0));
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	313 Logger::println("Got typeinfo var: %s", tid->ir.irGlobal->value->getName().c_str());
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	314 tid->ir.initialized = true;
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	315 tid->ir.defined = true;
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 121 diff changeset	316 }
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	317 else if (!tid->ir.irGlobal->value) {
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	318 tid->ir.irGlobal->value = found;
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	319 tid->ir.initialized = true;
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	320 tid->ir.defined = true;
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 121 diff changeset	321 }
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	322 }
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	323 // custom typedef
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	324 else {
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	325 tid->llvmDeclare();
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	326 gIR->constInitList.push_back(tid);
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	327 }
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	328 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	329
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	330 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	331 {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	332 if (tid->ir.initialized) return;
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	333 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	334
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 121 diff changeset	335 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	336 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	337
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	338 gIR->defineList.push_back(tid);
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	339 }
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	340
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	341 void DtoDefineTypeInfo(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	342 {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	343 if (tid->ir.defined) return;
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	344 tid->ir.defined = 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	345
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 121 diff changeset	346 Logger::println("DtoDefineTypeInfo(%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	347 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	348
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	349 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	350 }
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
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	352 /* ========================================================================= */
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	353
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	354 void TypeInfoDeclaration::toDt(dt_t **pdt)
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	355 {
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	356 assert(0 && "TypeInfoDeclaration::toDt");
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	357 }
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	358
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	359 void TypeInfoDeclaration::llvmDeclare()
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	360 {
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	361 assert(0 && "TypeInfoDeclaration::llvmDeclare");
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	362 }
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	363
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	364 void TypeInfoDeclaration::llvmDefine()
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	365 {
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	366 assert(0 && "TypeInfoDeclaration::llvmDeclare");
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	367 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	368
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	369 /* ========================================================================= */
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	370
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	371 void TypeInfoTypedefDeclaration::llvmDeclare()
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	372 {
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	373 Logger::println("TypeInfoTypedefDeclaration::llvmDeclare() %s", toChars());
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	374 LOG_SCOPE;
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	375
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	376 ClassDeclaration* base = Type::typeinfotypedef;
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	377 DtoResolveClass(base);
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	378
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 213 diff changeset	379 const LLStructType* stype = isaStruct(base->type->ir.type->get());
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	380
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	381 // create the symbol
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	382 ir.irGlobal->value = new llvm::GlobalVariable(ir.irGlobal->type.get(), true,llvm::GlobalValue::WeakLinkage,NULL,toChars(),gIR->module);
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	383 }
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	384
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	385 void TypeInfoTypedefDeclaration::llvmDefine()
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	386 {
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	387 Logger::println("TypeInfoTypedefDeclaration::llvmDefine() %s", toChars());
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	388 LOG_SCOPE;
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	389
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	390 ClassDeclaration* base = Type::typeinfotypedef;
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	391 DtoForceConstInitDsymbol(base);
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	392
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	393 // vtbl
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	394 std::vector<LLConstant*> sinits;
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	395 sinits.push_back(base->ir.irStruct->vtbl);
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	396
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	397 // 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	398 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	399
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	400 assert(tinfo->ty == Ttypedef);
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	401 TypeTypedef tc = (TypeTypedef )tinfo;
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	402 TypedefDeclaration *sd = tc->sym;
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	403
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	404 // TypeInfo base
290 ebaf65fc4726 [svn r311] Fixed: structs no longer output two static typeinfos. lindquist parents: 275 diff changeset	405 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	406 LLConstant* castbase = DtoTypeInfoOf(sd->basetype, true);
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	407 sinits.push_back(castbase);
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	408
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	409 // char[] name
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	410 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	411 sinits.push_back(DtoConstString(name));
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	412
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	413 // 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	414 const LLPointerType* initpt = getPtrToType(LLType::Int8Ty);
69 2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 65 diff changeset	415 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	416 {
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	417 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	418 }
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 65 diff changeset	419 else
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 65 diff changeset	420 {
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	421 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	422 std::string ciname(sd->mangle());
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 65 diff changeset	423 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	424 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	425 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	426 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	427 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	428 }
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	429
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	430 // 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	431 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	432
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	433 // 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	434 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	435
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	436 // 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	437 isaGlobalVar(ir.irGlobal->value)->setInitializer(tiInit);
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	438 }
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	439
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	440 void TypeInfoTypedefDeclaration::toDt(dt_t **pdt)
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	441 {
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	442 assert(0);
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	443 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	444
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	445 /* ========================================================================= */
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	446
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	447 void TypeInfoEnumDeclaration::llvmDeclare()
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	448 {
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	449 Logger::println("TypeInfoEnumDeclaration::llvmDeclare() %s", toChars());
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	450 LOG_SCOPE;
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	451
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	452 ClassDeclaration* base = Type::typeinfoenum;
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	453 DtoResolveClass(base);
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	454
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	455 // create the symbol
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	456 ir.irGlobal->value = new llvm::GlobalVariable(ir.irGlobal->type.get(), true,llvm::GlobalValue::WeakLinkage,NULL,toChars(),gIR->module);
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	457 }
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	458
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	459 void TypeInfoEnumDeclaration::llvmDefine()
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	460 {
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	461 Logger::println("TypeInfoEnumDeclaration::llvmDefine() %s", toChars());
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	462 LOG_SCOPE;
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	463
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	464 ClassDeclaration* base = Type::typeinfoenum;
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	465 DtoForceConstInitDsymbol(base);
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	466
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	467 // vtbl
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	468 std::vector<LLConstant*> sinits;
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	469 sinits.push_back(base->ir.irStruct->vtbl);
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	470
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	471 // 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	472 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	473
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	474 assert(tinfo->ty == Tenum);
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	475 TypeEnum tc = (TypeEnum )tinfo;
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	476 EnumDeclaration *sd = tc->sym;
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	477
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	478 // TypeInfo base
275 665b81613475 [svn r296] Removed: the 'suite' dir, it never took off! lindquist parents: 244 diff changeset	479 LLConstant* castbase = DtoTypeInfoOf(sd->memtype, true);
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	480 sinits.push_back(castbase);
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 // char[] name
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	483 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	484 sinits.push_back(DtoConstString(name));
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	485
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	486 // 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	487 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	488 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	489 {
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	490 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	491 }
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	492 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	493 {
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	494 #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	495 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	496 #else
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	497 const LLType* memty = DtoType(sd->memtype);
7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	498 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	499 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	500 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	501 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	502 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	503 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	504 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	505 #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	506 }
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	507
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	508 // 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	509 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	510
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	511 // 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	512 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	513
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	514 // 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	515 isaGlobalVar(ir.irGlobal->value)->setInitializer(tiInit);
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	516 }
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	517
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	518 void TypeInfoEnumDeclaration::toDt(dt_t **pdt)
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	519 {
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	520 assert(0);
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	521 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	522
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	523 /* ========================================================================= */
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	524
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	525 static LLConstant* LLVM_D_Declare_TypeInfoBase(TypeInfoDeclaration* tid, ClassDeclaration* cd)
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	526 {
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	527 ClassDeclaration* base = cd;
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	528 DtoResolveClass(base);
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	529
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	530 // create the symbol
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	531 tid->ir.irGlobal->value = new llvm::GlobalVariable(tid->ir.irGlobal->type.get(), true,llvm::GlobalValue::WeakLinkage,NULL,tid->toChars(),gIR->module);
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	532 }
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	533
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	534 static LLConstant* 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	535 {
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	536 ClassDeclaration* base = cd;
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	537 DtoForceConstInitDsymbol(base);
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	538
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	539 // vtbl
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	540 std::vector<LLConstant*> sinits;
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	541 sinits.push_back(base->ir.irStruct->vtbl);
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	542
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	543 // 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	544 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	545
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	546 // TypeInfo base
275 665b81613475 [svn r296] Removed: the 'suite' dir, it never took off! lindquist parents: 244 diff changeset	547 LLConstant* castbase = DtoTypeInfoOf(basetype, true);
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	548 sinits.push_back(castbase);
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	549
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	550 // 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	551 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	552
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	553 // 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	554 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	555
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	556 // set the initializer
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	557 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	558 }
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	559
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	560 /* ========================================================================= */
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	561
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	562 void TypeInfoPointerDeclaration::llvmDeclare()
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	563 {
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	564 Logger::println("TypeInfoPointerDeclaration::llvmDeclare() %s", toChars());
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	565 LOG_SCOPE;
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	566
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	567 assert(tinfo->ty == Tpointer);
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	568 TypePointer tc = (TypePointer )tinfo;
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	569
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	570 LLVM_D_Declare_TypeInfoBase(this, Type::typeinfopointer);
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	571 }
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	572
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	573 void TypeInfoPointerDeclaration::llvmDefine()
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	574 {
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	575 Logger::println("TypeInfoPointerDeclaration::llvmDefine() %s", toChars());
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	576 LOG_SCOPE;
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	577
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	578 assert(tinfo->ty == Tpointer);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	579 TypePointer tc = (TypePointer )tinfo;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	580
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	581 LLVM_D_Define_TypeInfoBase(tc->next, this, Type::typeinfopointer);
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	582 }
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	583
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	584 void TypeInfoPointerDeclaration::toDt(dt_t **pdt)
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	585 {
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	586 assert(0);
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	587 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	588
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	589 /* ========================================================================= */
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	590
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	591 void TypeInfoArrayDeclaration::llvmDeclare()
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	592 {
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	593 Logger::println("TypeInfoArrayDeclaration::llvmDeclare() %s", toChars());
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	594 LOG_SCOPE;
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	595
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	596 assert(tinfo->ty == Tarray);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	597 TypeDArray tc = (TypeDArray )tinfo;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	598
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	599 LLVM_D_Declare_TypeInfoBase(this, Type::typeinfoarray);
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	600 }
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	601
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	602 void TypeInfoArrayDeclaration::llvmDefine()
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	603 {
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	604 Logger::println("TypeInfoArrayDeclaration::llvmDefine() %s", toChars());
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	605 LOG_SCOPE;
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	606
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	607 assert(tinfo->ty == Tarray);
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	608 TypeDArray tc = (TypeDArray )tinfo;
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	609
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	610 LLVM_D_Define_TypeInfoBase(tc->next, this, Type::typeinfoarray);
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	611 }
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	612
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	613 void TypeInfoArrayDeclaration::toDt(dt_t **pdt)
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	614 {
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	615 assert(0);
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	616 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 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 TypeInfoStaticArrayDeclaration::llvmDeclare()
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	621 {
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	622 Logger::println("TypeInfoStaticArrayDeclaration::toDt() %s", toChars());
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	623 LOG_SCOPE;
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	624
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	625 // init typeinfo class
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	626 ClassDeclaration* base = Type::typeinfostaticarray;
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	627 DtoResolveClass(base);
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	628
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	629 // create the symbol
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	630 ir.irGlobal->value = new llvm::GlobalVariable(ir.irGlobal->type.get(), true,llvm::GlobalValue::WeakLinkage,NULL,toChars(),gIR->module);
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	631 }
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	632
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	633 void TypeInfoStaticArrayDeclaration::llvmDefine()
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	634 {
105 182b41f56b7f [svn r109] Fixed support for static array TypeInfo lindquist parents: 102 diff changeset	635 Logger::println("TypeInfoStaticArrayDeclaration::toDt() %s", toChars());
182b41f56b7f [svn r109] Fixed support for static array TypeInfo lindquist parents: 102 diff changeset	636 LOG_SCOPE;
182b41f56b7f [svn r109] Fixed support for static array TypeInfo lindquist parents: 102 diff changeset	637
182b41f56b7f [svn r109] Fixed support for static array TypeInfo lindquist parents: 102 diff changeset	638 // init typeinfo class
182b41f56b7f [svn r109] Fixed support for static array TypeInfo lindquist parents: 102 diff changeset	639 ClassDeclaration* base = Type::typeinfostaticarray;
182b41f56b7f [svn r109] Fixed support for static array TypeInfo lindquist parents: 102 diff changeset	640 DtoForceConstInitDsymbol(base);
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	641
105 182b41f56b7f [svn r109] Fixed support for static array TypeInfo lindquist parents: 102 diff changeset	642 // 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	643 const LLStructType* stype = isaStruct(base->type->ir.type->get());
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	644
105 182b41f56b7f [svn r109] Fixed support for static array TypeInfo lindquist parents: 102 diff changeset	645 // initializer vector
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	646 std::vector<LLConstant*> sinits;
105 182b41f56b7f [svn r109] Fixed support for static array TypeInfo lindquist parents: 102 diff changeset	647 // first is always the vtable
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	648 sinits.push_back(base->ir.irStruct->vtbl);
105 182b41f56b7f [svn r109] Fixed support for static array TypeInfo lindquist parents: 102 diff changeset	649
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	650 // 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	651 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	652
105 182b41f56b7f [svn r109] Fixed support for static array TypeInfo lindquist parents: 102 diff changeset	653 // value typeinfo
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	654 assert(tinfo->ty == Tsarray);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	655 TypeSArray tc = (TypeSArray )tinfo;
275 665b81613475 [svn r296] Removed: the 'suite' dir, it never took off! lindquist parents: 244 diff changeset	656 LLConstant* castbase = DtoTypeInfoOf(tc->next, true);
665b81613475 [svn r296] Removed: the 'suite' dir, it never took off! lindquist parents: 244 diff changeset	657 assert(castbase->getType() == stype->getElementType(2));
105 182b41f56b7f [svn r109] Fixed support for static array TypeInfo lindquist parents: 102 diff changeset	658 sinits.push_back(castbase);
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	659
105 182b41f56b7f [svn r109] Fixed support for static array TypeInfo lindquist parents: 102 diff changeset	660 // length
182b41f56b7f [svn r109] Fixed support for static array TypeInfo lindquist parents: 102 diff changeset	661 sinits.push_back(DtoConstSize_t(tc->dim->toInteger()));
182b41f56b7f [svn r109] Fixed support for static array TypeInfo lindquist parents: 102 diff changeset	662
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	663 // 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	664 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	665
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	666 // 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	667 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	668
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	669 // 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	670 isaGlobalVar(ir.irGlobal->value)->setInitializer(tiInit);
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	671 }
105 182b41f56b7f [svn r109] Fixed support for static array TypeInfo lindquist parents: 102 diff changeset	672
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	673 void TypeInfoStaticArrayDeclaration::toDt(dt_t **pdt)
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	674 {
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	675 assert(0);
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	676 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	677
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	678 /* ========================================================================= */
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	679
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	680 void TypeInfoAssociativeArrayDeclaration::llvmDeclare()
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	681 {
109 5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	682 Logger::println("TypeInfoAssociativeArrayDeclaration::toDt() %s", toChars());
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	683 LOG_SCOPE;
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	684
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	685 // init typeinfo class
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	686 ClassDeclaration* base = Type::typeinfoassociativearray;
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	687 DtoResolveClass(base);
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	688
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	689 // create the symbol
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	690 ir.irGlobal->value = new llvm::GlobalVariable(ir.irGlobal->type.get(), true,llvm::GlobalValue::WeakLinkage,NULL,toChars(),gIR->module);
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	691 }
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	692
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	693 void TypeInfoAssociativeArrayDeclaration::llvmDefine()
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	694 {
109 5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	695 Logger::println("TypeInfoAssociativeArrayDeclaration::toDt() %s", toChars());
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	696 LOG_SCOPE;
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	697
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	698 // init typeinfo class
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	699 ClassDeclaration* base = Type::typeinfoassociativearray;
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	700 DtoForceConstInitDsymbol(base);
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	701
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	702 // initializer vector
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	703 std::vector<LLConstant*> sinits;
109 5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	704 // first is always the vtable
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	705 sinits.push_back(base->ir.irStruct->vtbl);
109 5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	706
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	707 // 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	708 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	709
109 5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	710 // get type
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	711 assert(tinfo->ty == Taarray);
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	712 TypeAArray tc = (TypeAArray )tinfo;
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	713
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	714 // value typeinfo
275 665b81613475 [svn r296] Removed: the 'suite' dir, it never took off! lindquist parents: 244 diff changeset	715 LLConstant* castbase = DtoTypeInfoOf(tc->next, true);
109 5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	716 sinits.push_back(castbase);
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	717
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	718 // key typeinfo
275 665b81613475 [svn r296] Removed: the 'suite' dir, it never took off! lindquist parents: 244 diff changeset	719 castbase = DtoTypeInfoOf(tc->index, true);
109 5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	720 sinits.push_back(castbase);
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	721
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	722 // 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	723 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	724
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	725 // 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	726 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	727
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	728 // 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	729 isaGlobalVar(ir.irGlobal->value)->setInitializer(tiInit);
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	730 }
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	731
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	732 void TypeInfoAssociativeArrayDeclaration::toDt(dt_t **pdt)
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	733 {
109 5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 106 diff changeset	734 assert(0);
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	735 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	736
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	737 /* ========================================================================= */
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	738
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	739 void TypeInfoFunctionDeclaration::llvmDeclare()
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	740 {
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	741 Logger::println("TypeInfoFunctionDeclaration::toDt() %s", toChars());
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	742 LOG_SCOPE;
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	743
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	744 assert(tinfo->ty == Tfunction);
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	745 TypeFunction tc = (TypeFunction )tinfo;
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	746
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	747 LLVM_D_Declare_TypeInfoBase(this, Type::typeinfofunction);
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	748 }
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	749
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	750 void TypeInfoFunctionDeclaration::llvmDefine()
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	751 {
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	752 Logger::println("TypeInfoFunctionDeclaration::toDt() %s", toChars());
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	753 LOG_SCOPE;
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	754
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	755 assert(tinfo->ty == Tfunction);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	756 TypeFunction tc = (TypeFunction )tinfo;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	757
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	758 LLVM_D_Define_TypeInfoBase(tc->next, this, Type::typeinfofunction);
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	759 }
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	760
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	761 void TypeInfoFunctionDeclaration::toDt(dt_t **pdt)
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	762 {
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	763 assert(0);
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	764 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	765
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	766 /* ========================================================================= */
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	767
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	768 void TypeInfoDelegateDeclaration::llvmDeclare()
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	769 {
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	770 Logger::println("TypeInfoDelegateDeclaration::toDt() %s", toChars());
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	771 LOG_SCOPE;
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	772
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	773 assert(tinfo->ty == Tdelegate);
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	774 TypeDelegate tc = (TypeDelegate )tinfo;
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	775
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	776 LLVM_D_Declare_TypeInfoBase(this, Type::typeinfodelegate);
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	777 }
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	778
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	779 void TypeInfoDelegateDeclaration::llvmDefine()
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	780 {
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	781 Logger::println("TypeInfoDelegateDeclaration::toDt() %s", toChars());
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	782 LOG_SCOPE;
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	783
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	784 assert(tinfo->ty == Tdelegate);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	785 TypeDelegate tc = (TypeDelegate )tinfo;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	786
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	787 LLVM_D_Define_TypeInfoBase(tc->nextOf()->nextOf(), this, Type::typeinfodelegate);
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	788 }
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	789
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	790 void TypeInfoDelegateDeclaration::toDt(dt_t **pdt)
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	791 {
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	792 assert(0);
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	793 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	794
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	795 /* ========================================================================= */
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	796
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	797 void TypeInfoStructDeclaration::llvmDeclare()
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	798 {
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	799 Logger::println("TypeInfoStructDeclaration::llvmDeclare() %s", toChars());
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	800 LOG_SCOPE;
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	801
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	802 assert(tinfo->ty == Tstruct);
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	803 TypeStruct tc = (TypeStruct )tinfo;
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	804 StructDeclaration *sd = tc->sym;
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	805 DtoResolveDsymbol(sd);
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	806
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	807 ClassDeclaration* base = Type::typeinfostruct;
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	808 DtoResolveClass(base);
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	809
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	810 // create the symbol
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	811 ir.irGlobal->value = new llvm::GlobalVariable(ir.irGlobal->type.get(), true,llvm::GlobalValue::WeakLinkage,NULL,toChars(),gIR->module);
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	812 }
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	813
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	814 void TypeInfoStructDeclaration::llvmDefine()
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	815 {
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	816 Logger::println("TypeInfoStructDeclaration::llvmDefine() %s", toChars());
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	817 LOG_SCOPE;
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 assert(tinfo->ty == Tstruct);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	820 TypeStruct tc = (TypeStruct )tinfo;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	821 StructDeclaration *sd = tc->sym;
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	822 DtoForceConstInitDsymbol(sd);
72 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 ClassDeclaration* base = Type::typeinfostruct;
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	825 DtoForceConstInitDsymbol(base);
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	826
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 213 diff changeset	827 const LLStructType* stype = isaStruct(base->type->ir.type->get());
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	828
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	829 // vtbl
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	830 std::vector<LLConstant*> sinits;
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	831 sinits.push_back(base->ir.irStruct->vtbl);
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	832
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	833 // 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	834 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	835
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	836 // char[] name
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	837 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	838 sinits.push_back(DtoConstString(name));
110 e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 109 diff changeset	839 //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	840 assert(sinits.back()->getType() == stype->getElementType(2));
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	841
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	842 // 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	843 const LLPointerType* initpt = getPtrToType(LLType::Int8Ty);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	844 #if 0
7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	845 // the implementation of TypeInfo_Struct uses this to determine size. :/
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	846 if (sd->zeroInit) // 0 initializer, or the same as the base type
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	847 {
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	848 sinits.push_back(DtoConstSlice(DtoConstSize_t(0), llvm::ConstantPointerNull::get(initpt)));
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	849 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	850 else
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	851 #endif
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	852 {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	853 size_t cisize = getTypeStoreSize(tc->ir.type->get());
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	854 LLConstant* cicast = llvm::ConstantExpr::getBitCast(sd->ir.irStruct->init, 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	855 sinits.push_back(DtoConstSlice(DtoConstSize_t(cisize), cicast));
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	856 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	857
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	858 // toX functions ground work
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	859 FuncDeclaration *fd;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	860 FuncDeclaration *fdx;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	861 TypeFunction *tf;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	862 Type *ta;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	863 Dsymbol *s;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	864
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	865 static TypeFunction *tftohash;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	866 static TypeFunction *tftostring;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	867
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	868 if (!tftohash)
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	869 {
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	870 Scope sc;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	871
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	872 tftohash = new TypeFunction(NULL, Type::thash_t, 0, LINKd);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	873 tftohash = (TypeFunction *)tftohash->semantic(0, &sc);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	874
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	875 tftostring = new TypeFunction(NULL, Type::tchar->arrayOf(), 0, LINKd);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	876 tftostring = (TypeFunction *)tftostring->semantic(0, &sc);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	877 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	878
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	879 TypeFunction *tfeqptr;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	880 {
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	881 Scope sc;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	882 Arguments *arguments = new Arguments;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	883 Argument *arg = new Argument(STCin, tc->pointerTo(), NULL, NULL);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	884
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	885 arguments->push(arg);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	886 tfeqptr = new TypeFunction(arguments, Type::tint32, 0, LINKd);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	887 tfeqptr = (TypeFunction *)tfeqptr->semantic(0, &sc);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	888 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	889
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	890 #if 0
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	891 TypeFunction *tfeq;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	892 {
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	893 Scope sc;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	894 Array *arguments = new Array;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	895 Argument *arg = new Argument(In, tc, NULL, NULL);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	896
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	897 arguments->push(arg);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	898 tfeq = new TypeFunction(arguments, Type::tint32, 0, LINKd);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	899 tfeq = (TypeFunction *)tfeq->semantic(0, &sc);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	900 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	901 #endif
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	902
110 e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 109 diff changeset	903 //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	904 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	905 assert(ptty);
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	906
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	907 s = search_function(sd, Id::tohash);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	908 fdx = s ? s->isFuncDeclaration() : NULL;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	909 if (fdx)
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	910 {
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	911 fd = fdx->overloadExactMatch(tftohash);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	912 if (fd) {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 121 diff changeset	913 DtoForceDeclareDsymbol(fd);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	914 assert(fd->ir.irFunc->func != 0);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	915 LLConstant* c = isaConstant(fd->ir.irFunc->func);
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	916 assert(c);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	917 c = llvm::ConstantExpr::getBitCast(c, ptty);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	918 sinits.push_back(c);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	919 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	920 else {
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	921 //fdx->error("must be declared as extern (D) uint toHash()");
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	922 sinits.push_back(llvm::ConstantPointerNull::get(ptty));
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	923 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	924 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	925 else {
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	926 sinits.push_back(llvm::ConstantPointerNull::get(ptty));
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	927 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	928
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	929 s = search_function(sd, Id::eq);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	930 fdx = s ? s->isFuncDeclaration() : NULL;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	931 for (int i = 0; i < 2; i++)
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	932 {
110 e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 109 diff changeset	933 //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	934 ptty = isaPointer(stype->getElementType(5+i));
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	935 if (fdx)
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	936 {
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	937 fd = fdx->overloadExactMatch(tfeqptr);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	938 if (fd) {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 121 diff changeset	939 DtoForceDeclareDsymbol(fd);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	940 assert(fd->ir.irFunc->func != 0);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	941 LLConstant* c = isaConstant(fd->ir.irFunc->func);
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	942 assert(c);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	943 c = llvm::ConstantExpr::getBitCast(c, ptty);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	944 sinits.push_back(c);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	945 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	946 else {
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	947 //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	948 sinits.push_back(llvm::ConstantPointerNull::get(ptty));
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	949 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	950 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	951 else {
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	952 sinits.push_back(llvm::ConstantPointerNull::get(ptty));
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	953 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	954
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	955 s = search_function(sd, Id::cmp);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	956 fdx = s ? s->isFuncDeclaration() : NULL;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	957 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	958
110 e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 109 diff changeset	959 //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	960 ptty = isaPointer(stype->getElementType(7));
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	961 s = search_function(sd, Id::tostring);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	962 fdx = s ? s->isFuncDeclaration() : NULL;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	963 if (fdx)
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	964 {
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	965 fd = fdx->overloadExactMatch(tftostring);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	966 if (fd) {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 121 diff changeset	967 DtoForceDeclareDsymbol(fd);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	968 assert(fd->ir.irFunc->func != 0);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	969 LLConstant* c = isaConstant(fd->ir.irFunc->func);
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	970 assert(c);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	971 c = llvm::ConstantExpr::getBitCast(c, ptty);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	972 sinits.push_back(c);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	973 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	974 else {
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	975 //fdx->error("must be declared as extern (D) char[] toString()");
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	976 sinits.push_back(llvm::ConstantPointerNull::get(ptty));
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	977 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	978 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	979 else {
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	980 sinits.push_back(llvm::ConstantPointerNull::get(ptty));
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	981 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	982
d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	983 // 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	984 sinits.push_back(DtoConstUint(tc->hasPointers()));
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 71 diff changeset	985
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	986 #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	987
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	988 // 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	989 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	990
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	991 //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	992 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	993
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	994 //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	995 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	996
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 #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	998
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	999 // 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	1000 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	1001
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	1002 // 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	1003 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	1004
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	1005 // 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	1006 isaGlobalVar(ir.irGlobal->value)->setInitializer(tiInit);
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1007 }
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1008
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1009 void TypeInfoStructDeclaration::toDt(dt_t **pdt)
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1010 {
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1011 assert(0);
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	1012 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	1013
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	1014 /* ========================================================================= */
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	1015
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1016 void TypeInfoClassDeclaration::llvmDeclare()
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1017 {
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1018 Logger::println("TypeInfoClassDeclaration::llvmDeclare() %s", toChars());
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1019 LOG_SCOPE;
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1020
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1021 // init typeinfo class
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1022 ClassDeclaration* base = Type::typeinfoclass;
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1023 assert(base);
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1024 DtoResolveClass(base);
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1025
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1026 // create the symbol
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	1027 ir.irGlobal->value = new llvm::GlobalVariable(ir.irGlobal->type.get(), true, llvm::GlobalValue::WeakLinkage, NULL, toChars(), gIR->module);
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1028 }
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1029
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1030 void TypeInfoClassDeclaration::llvmDefine()
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1031 {
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1032 Logger::println("TypeInfoClassDeclaration::llvmDefine() %s", toChars());
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1033 LOG_SCOPE;
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1034
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1035 // init typeinfo class
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1036 ClassDeclaration* base = Type::typeinfoclass;
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1037 assert(base);
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1038 DtoForceConstInitDsymbol(base);
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1039
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1040 // initializer vector
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	1041 std::vector<LLConstant*> sinits;
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1042 // first is always the vtable
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	1043 sinits.push_back(base->ir.irStruct->vtbl);
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1044
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	1045 // 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	1046 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	1047
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1048 // get classinfo
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1049 assert(tinfo->ty == Tclass);
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1050 TypeClass tc = (TypeClass )tinfo;
163 a8cd9bc1021a [svn r179] lots and lots of fixes, much more of tango now compiles/works. lindquist parents: 157 diff changeset	1051 DtoForceDeclareDsymbol(tc->sym);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	1052 assert(tc->sym->ir.irStruct->classInfo);
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	1053 sinits.push_back(tc->sym->ir.irStruct->classInfo);
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1054
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	1055 // 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	1056 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	1057
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	1058 // 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	1059 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	1060
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	1061 // 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	1062 isaGlobalVar(ir.irGlobal->value)->setInitializer(tiInit);
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1063 }
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1064
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	1065 void TypeInfoClassDeclaration::toDt(dt_t **pdt)
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	1066 {
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1067 assert(0);
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	1068 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	1069
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	1070 /* ========================================================================= */
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	1071
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1072 void TypeInfoInterfaceDeclaration::llvmDeclare()
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1073 {
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1074 Logger::println("TypeInfoInterfaceDeclaration::llvmDeclare() %s", toChars());
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1075 LOG_SCOPE;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1076
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1077 // init typeinfo class
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1078 ClassDeclaration* base = Type::typeinfointerface;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1079 assert(base);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1080 DtoResolveClass(base);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1081
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1082 // create the symbol
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	1083 ir.irGlobal->value = new llvm::GlobalVariable(ir.irGlobal->type.get(), true,llvm::GlobalValue::WeakLinkage,NULL,toChars(),gIR->module);
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1084 }
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1085
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1086 void TypeInfoInterfaceDeclaration::llvmDefine()
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1087 {
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1088 Logger::println("TypeInfoInterfaceDeclaration::llvmDefine() %s", toChars());
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1089 LOG_SCOPE;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1090
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1091 // init typeinfo class
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1092 ClassDeclaration* base = Type::typeinfointerface;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1093 assert(base);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1094 DtoForceConstInitDsymbol(base);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1095
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1096 // 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	1097 const LLStructType* stype = isaStruct(base->type->ir.type->get());
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1098
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1099 // initializer vector
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	1100 std::vector<LLConstant*> sinits;
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1101 // first is always the vtable
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	1102 sinits.push_back(base->ir.irStruct->vtbl);
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1103
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	1104 // 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	1105 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	1106
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1107 // get classinfo
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1108 assert(tinfo->ty == Tclass);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1109 TypeClass tc = (TypeClass )tinfo;
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	1110 assert(tc->sym->ir.irStruct->classInfo);
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	1111 sinits.push_back(tc->sym->ir.irStruct->classInfo);
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1112
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	1113 // 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	1114 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	1115
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	1116 // 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	1117 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	1118
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	1119 // 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	1120 isaGlobalVar(ir.irGlobal->value)->setInitializer(tiInit);
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1121 }
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1122
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	1123 void TypeInfoInterfaceDeclaration::toDt(dt_t **pdt)
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	1124 {
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1125 assert(0);
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	1126 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	1127
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	1128 /* ========================================================================= */
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	1129
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1130 void TypeInfoTupleDeclaration::llvmDeclare()
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1131 {
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1132 Logger::println("TypeInfoTupleDeclaration::llvmDeclare() %s", toChars());
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1133 LOG_SCOPE;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1134
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1135 // init typeinfo class
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1136 ClassDeclaration* base = Type::typeinfotypelist;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1137 assert(base);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1138 DtoResolveClass(base);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1139
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1140 // create the symbol
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	1141 ir.irGlobal->value = new llvm::GlobalVariable(ir.irGlobal->type.get(), true,llvm::GlobalValue::WeakLinkage,NULL,toChars(),gIR->module);
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1142 }
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1143
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1144 void TypeInfoTupleDeclaration::llvmDefine()
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1145 {
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1146 Logger::println("TypeInfoTupleDeclaration::llvmDefine() %s", toChars());
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1147 LOG_SCOPE;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1148
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1149 // init typeinfo class
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1150 ClassDeclaration* base = Type::typeinfotypelist;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1151 assert(base);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1152 DtoForceConstInitDsymbol(base);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1153
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1154 // 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	1155 const LLStructType* stype = isaStruct(base->type->ir.type->get());
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1156
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1157 // initializer vector
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	1158 std::vector<LLConstant*> sinits;
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1159 // first is always the vtable
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	1160 sinits.push_back(base->ir.irStruct->vtbl);
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1161
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	1162 // 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	1163 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	1164
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1165 // create elements array
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1166 assert(tinfo->ty == Ttuple);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1167 TypeTuple tu = (TypeTuple )tinfo;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1168
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1169 size_t dim = tu->arguments->dim;
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	1170 std::vector<LLConstant*> arrInits;
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1171
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 173 diff changeset	1172 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	1173 tiTy = getPtrToType(tiTy);
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1174
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1175 for (size_t i = 0; i < dim; i++)
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1176 {
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1177 Argument arg = (Argument )tu->arguments->data[i];
275 665b81613475 [svn r296] Removed: the 'suite' dir, it never took off! lindquist parents: 244 diff changeset	1178 LLConstant* castbase = DtoTypeInfoOf(arg->type, true);
665b81613475 [svn r296] Removed: the 'suite' dir, it never took off! lindquist parents: 244 diff changeset	1179 assert(castbase->getType() == tiTy);
665b81613475 [svn r296] Removed: the 'suite' dir, it never took off! lindquist parents: 244 diff changeset	1180 arrInits.push_back(castbase);
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1181 }
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1182
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1183 // 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	1184 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	1185 LLConstant* arrC = llvm::ConstantArray::get(arrTy, arrInits);
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1186
522 cd4eeb6cc5f6 Fix TypeInfo_Tuple array initialization. Christian Kamm <kamm incasoftware de> parents: 508 diff changeset	1187 // need the pointer to the first element of arrC, so create a global for it
cd4eeb6cc5f6 Fix TypeInfo_Tuple array initialization. Christian Kamm <kamm incasoftware de> parents: 508 diff changeset	1188 llvm::GlobalValue::LinkageTypes _linkage = llvm::GlobalValue::InternalLinkage;//WeakLinkage;
cd4eeb6cc5f6 Fix TypeInfo_Tuple array initialization. Christian Kamm <kamm incasoftware de> parents: 508 diff changeset	1189 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	1190
cd4eeb6cc5f6 Fix TypeInfo_Tuple array initialization. Christian Kamm <kamm incasoftware de> parents: 508 diff changeset	1191 // get pointer to first element
cd4eeb6cc5f6 Fix TypeInfo_Tuple array initialization. Christian Kamm <kamm incasoftware de> parents: 508 diff changeset	1192 llvm::ConstantInt* zero = DtoConstSize_t(0);
cd4eeb6cc5f6 Fix TypeInfo_Tuple array initialization. Christian Kamm <kamm incasoftware de> parents: 508 diff changeset	1193 LLConstant* idxs[2] = { zero, zero };
cd4eeb6cc5f6 Fix TypeInfo_Tuple array initialization. Christian Kamm <kamm incasoftware de> parents: 508 diff changeset	1194 LLConstant* arrptr = llvm::ConstantExpr::getGetElementPtr(gvar, idxs, 2);
cd4eeb6cc5f6 Fix TypeInfo_Tuple array initialization. Christian Kamm <kamm incasoftware de> parents: 508 diff changeset	1195
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1196 // build the slice
522 cd4eeb6cc5f6 Fix TypeInfo_Tuple array initialization. Christian Kamm <kamm incasoftware de> parents: 508 diff changeset	1197 LLConstant* slice = DtoConstSlice(DtoConstSize_t(dim), arrptr);
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1198 sinits.push_back(slice);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1199
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	1200 // 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	1201 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	1202
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	1203 // 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	1204 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	1205
340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 796 diff changeset	1206 // 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	1207 isaGlobalVar(ir.irGlobal->value)->setInitializer(tiInit);
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1208 }
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 105 diff changeset	1209
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	1210 void TypeInfoTupleDeclaration::toDt(dt_t **pdt)
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	1211 {
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 110 diff changeset	1212 assert(0);
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	1213 }
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	1214
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	1215 /* ========================================================================= */
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	1216
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	1217 #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	1218
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	1219 void TypeInfoConstDeclaration::llvmDeclare()
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	1220 {
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	1221 Logger::println("TypeInfoConstDeclaration::toDt() %s", toChars());
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	1222 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	1223
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	1224 LLVM_D_Declare_TypeInfoBase(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	1225 }
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	1226
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	1227 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	1228 {
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	1229 Logger::println("TypeInfoConstDeclaration::toDt() %s", toChars());
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	1230 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	1231
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	1232 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	1233 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	1234
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	1235 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	1236 }
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	1237
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	1238 void TypeInfoConstDeclaration::toDt(dt_t **pdt)
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	1239 {
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	1240 assert(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	1241 }
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	1242
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	1243 ///////////////////////////////////////////////////////////
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	1244
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	1245 /* ========================================================================= */
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	1246
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	1247 void TypeInfoInvariantDeclaration::llvmDeclare()
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	1248 {
761 fa306ca8843b Applied fvbommel's patch from #112 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 758 diff changeset	1249 Logger::println("TypeInfoInvariantDeclaration::toDt() %s", toChars());
fa306ca8843b Applied fvbommel's patch from #112 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 758 diff changeset	1250 LOG_SCOPE;
fa306ca8843b Applied fvbommel's patch from #112 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 758 diff changeset	1251
fa306ca8843b Applied fvbommel's patch from #112 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 758 diff changeset	1252 LLVM_D_Declare_TypeInfoBase(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	1253 }
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	1254
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	1255 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	1256 {
761 fa306ca8843b Applied fvbommel's patch from #112 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 758 diff changeset	1257 Logger::println("TypeInfoInvariantDeclaration::toDt() %s", toChars());
fa306ca8843b Applied fvbommel's patch from #112 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 758 diff changeset	1258 LOG_SCOPE;
fa306ca8843b Applied fvbommel's patch from #112 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 758 diff changeset	1259
fa306ca8843b Applied fvbommel's patch from #112 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 758 diff changeset	1260 Type *tm = tinfo->mutableOf();
fa306ca8843b Applied fvbommel's patch from #112 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 758 diff changeset	1261 tm = tm->merge();
fa306ca8843b Applied fvbommel's patch from #112 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 758 diff changeset	1262
fa306ca8843b Applied fvbommel's patch from #112 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 758 diff changeset	1263 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	1264 }
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	1265
761 fa306ca8843b Applied fvbommel's patch from #112 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 758 diff changeset	1266 void TypeInfoInvariantDeclaration::toDt(dt_t **pdt)
fa306ca8843b Applied fvbommel's patch from #112 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 758 diff changeset	1267 {
fa306ca8843b Applied fvbommel's patch from #112 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 758 diff changeset	1268 assert(0);
fa306ca8843b Applied fvbommel's patch from #112 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 758 diff changeset	1269 }
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	1270
766 af04bbae8553 D2: Fixed global constants not initialized until module constructor. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 764 diff changeset	1271 #endif

Mercurial > projects > ldc

annotate gen/typinf.cpp @ 837:331a176c1f4f