projects/ldc: gen/typinf.c annotate

annotate gen/typinf.c @ 71:53d3086b5ad3 trunk

[svn r75] Fixed the init member in custom enum typeinfo. I don't see any way this could actually need emmision though :/

author	lindquist
date	Sun, 28 Oct 2007 19:48:57 +0100
parents	2b5a2eaa88be
children	d7e764e62462

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
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	11 #include <cstdio>
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	12 #include <cassert>
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	13
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	14 #include "gen/llvm.h"
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	15
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	16 #include "mars.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	17 #include "module.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	18 #include "mtype.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	19 #include "scope.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	20 #include "init.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	21 #include "expression.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	22 #include "attrib.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	23 #include "declaration.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	24 #include "template.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	25 #include "id.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	26 #include "enum.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	27 #include "import.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	28 #include "aggregate.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	29
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	30 #include "gen/irstate.h"
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: 1 diff changeset	31 #include "gen/logger.h"
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	32 #include "gen/runtime.h"
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	33 #include "gen/tollvm.h"
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	34 #include "gen/arrays.h"
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	35
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	36 /*******************************************
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	37 * 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	38 * runtime library routines. Canonicalized in that static arrays are
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	39 * represented as dynamic arrays, enums are represented by their
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	40 * 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	41 * so we can use the custom internal ones more.
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	42 */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	43
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	44 Expression Type::getInternalTypeInfo(Scope sc)
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	45 { TypeInfoDeclaration *tid;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	46 Expression *e;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	47 Type *t;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	48 static TypeInfoDeclaration *internalTI[TMAX];
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	49
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	50 //printf("Type::getInternalTypeInfo() %s\n", toChars());
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	51 t = toBasetype();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	52 switch (t->ty)
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	53 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	54 case Tsarray:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	55 t = t->next->arrayOf(); // convert to corresponding dynamic array type
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	56 break;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	57
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	58 case Tclass:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	59 if (((TypeClass *)t)->sym->isInterfaceDeclaration())
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	60 break;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	61 goto Linternal;
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 Tarray:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	64 if (t->next->ty != Tclass)
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	65 break;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	66 goto Linternal;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	67
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	68 case Tfunction:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	69 case Tdelegate:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	70 case Tpointer:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	71 Linternal:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	72 tid = internalTI[t->ty];
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	73 if (!tid)
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	74 { tid = new TypeInfoDeclaration(t, 1);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	75 internalTI[t->ty] = tid;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	76 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	77 e = new VarExp(0, tid);
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	78 //e = e->addressOf(sc);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	79 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	80 return e;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	81
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	82 default:
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	83 break;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	84 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	85 //printf("\tcalling getTypeInfo() %s\n", t->toChars());
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	86 return t->getTypeInfo(sc);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	87 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	88
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	89
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	90 /****************************************************
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	91 * Get the exact TypeInfo.
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
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	94 Expression Type::getTypeInfo(Scope sc)
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	95 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	96 Expression *e;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	97 Type *t;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	98
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	99 //printf("Type::getTypeInfo() %p, %s\n", this, toChars());
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	100 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	101 if (!t->vtinfo)
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	102 { t->vtinfo = t->getTypeInfoDeclaration();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	103 assert(t->vtinfo);
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 /* If this has a custom implementation in std/typeinfo, then
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	106 * do not generate a COMDAT for it.
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 if (!t->builtinTypeInfo())
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	109 { // Generate COMDAT
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	110 if (sc) // if in semantic() pass
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	111 { // 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	112 Module *m = sc->module->importedFrom;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	113 m->members->push(t->vtinfo);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	114 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	115 else // if in obj generation pass
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	116 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	117 t->vtinfo->toObjFile();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	118 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	119 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	120 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	121 e = new VarExp(0, t->vtinfo);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	122 //e = e->addressOf(sc);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	123 e->type = t->vtinfo->type; // do this so we don't get redundant dereference
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	124 return e;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	125 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	126
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	127 enum RET TypeFunction::retStyle()
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	128 {
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	129 return RETstack;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	130 }
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	131
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	132 TypeInfoDeclaration *Type::getTypeInfoDeclaration()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	133 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	134 //printf("Type::getTypeInfoDeclaration() %s\n", toChars());
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	135 return new TypeInfoDeclaration(this, 0);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	136 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	137
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	138 TypeInfoDeclaration *TypeTypedef::getTypeInfoDeclaration()
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	139 {
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	140 return new TypeInfoTypedefDeclaration(this);
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
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	143 TypeInfoDeclaration *TypePointer::getTypeInfoDeclaration()
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	144 {
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	145 return new TypeInfoPointerDeclaration(this);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	146 }
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	147
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	148 TypeInfoDeclaration *TypeDArray::getTypeInfoDeclaration()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	149 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	150 return new TypeInfoArrayDeclaration(this);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	151 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	152
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	153 TypeInfoDeclaration *TypeSArray::getTypeInfoDeclaration()
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 return new TypeInfoStaticArrayDeclaration(this);
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
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	158 TypeInfoDeclaration *TypeAArray::getTypeInfoDeclaration()
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 return new TypeInfoAssociativeArrayDeclaration(this);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	161 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	162
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	163 TypeInfoDeclaration *TypeStruct::getTypeInfoDeclaration()
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	164 {
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	165 return new TypeInfoStructDeclaration(this);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	166 }
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	167
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	168 TypeInfoDeclaration *TypeClass::getTypeInfoDeclaration()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	169 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	170 if (sym->isInterfaceDeclaration())
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	171 return new TypeInfoInterfaceDeclaration(this);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	172 else
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	173 return new TypeInfoClassDeclaration(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 *TypeEnum::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 TypeInfoEnumDeclaration(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 *TypeFunction::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 TypeInfoFunctionDeclaration(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
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	186 TypeInfoDeclaration *TypeDelegate::getTypeInfoDeclaration()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	187 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	188 return new TypeInfoDelegateDeclaration(this);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	189 }
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 *TypeTuple::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 return new TypeInfoTupleDeclaration(this);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	194 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	195
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	196
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	197 /* ========================================================================= */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	198
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	199 /* 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	200 * because then the compiler doesn't need to build one.
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	201 */
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 int Type::builtinTypeInfo()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	204 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	205 return 0;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	206 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	207
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	208 int TypeBasic::builtinTypeInfo()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	209 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	210 return 1;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	211 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	212
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	213 int TypeDArray::builtinTypeInfo()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	214 {
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	215 return next->isTypeBasic() != NULL;
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	216 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	217
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 * Create a static array of TypeInfo references
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	222 * corresponding to an array of Expression's.
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	223 * Used to supply hidden _arguments[] value for variadic D functions.
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
57 a9d29e9f1fed [svn r61] Added support for D-style variadic functions :) lindquist parents: 54 diff changeset	226 Expression createTypeInfoArray(Scope sc, Expression *exps[], int dim)
1 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 assert(0);
57 a9d29e9f1fed [svn r61] Added support for D-style variadic functions :) lindquist parents: 54 diff changeset	229 return NULL;
1 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
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	232 /* ========================================================================= */
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	233
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	234 //////////////////////////////////////////////////////////////////////////////
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	235 // MAGIC PLACE
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	236 //////////////////////////////////////////////////////////////////////////////
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	237
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	238 void TypeInfoDeclaration::toObjFile()
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	239 {
57 a9d29e9f1fed [svn r61] Added support for D-style variadic functions :) lindquist parents: 54 diff changeset	240 if (llvmTouched) return;
a9d29e9f1fed [svn r61] Added support for D-style variadic functions :) lindquist parents: 54 diff changeset	241 else llvmTouched = true;
a9d29e9f1fed [svn r61] Added support for D-style variadic functions :) lindquist parents: 54 diff changeset	242
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	243 Logger::println("TypeInfoDeclaration::toObjFile()");
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	244 LOG_SCOPE;
65 d4a678905d5e [svn r69] forgot std.stdarg lindquist parents: 58 diff changeset	245
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	246 Logger::println("type = '%s'", tinfo->toChars());
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	247 Logger::println("typeinfo mangle: %s", mangle());
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	248
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	249 // this is a declaration of a builtin __initZ var
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	250 if (tinfo->builtinTypeInfo()) {
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	251 llvmValue = LLVM_D_GetRuntimeGlobal(gIR->module, mangle());
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	252 assert(llvmValue);
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	253 Logger::cout() << "Got typeinfo var:" << '\n' << *llvmValue << '\n';
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	254 }
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	255 // custom typedef
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	256 else {
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	257 toDt(NULL);
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	258 }
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	259 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	260
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	261 /* ========================================================================= */
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	262
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	263 void TypeInfoDeclaration::toDt(dt_t **pdt)
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 assert(0 && "TypeInfoDeclaration");
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	266
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	267 /*
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	268 //printf("TypeInfoDeclaration::toDt() %s\n", toChars());
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	269 dtxoff(pdt, Type::typeinfo->toVtblSymbol(), 0, TYnptr); // vtbl for TypeInfo
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	270 dtdword(pdt, 0); // monitor
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	271 */
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	272 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	273
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	274 /* ========================================================================= */
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	275
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	276 void TypeInfoTypedefDeclaration::toDt(dt_t **pdt)
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	277 {
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	278 Logger::println("TypeInfoTypedefDeclaration::toDt() %s", toChars());
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	279 LOG_SCOPE;
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	280
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	281 ClassDeclaration* base = Type::typeinfotypedef;
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	282 base->toObjFile();
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	283
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	284 llvm::Constant* initZ = base->llvmInitZ;
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	285 assert(initZ);
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	286 const llvm::StructType* stype = llvm::cast<llvm::StructType>(initZ->getType());
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	287
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	288 std::vector<llvm::Constant*> sinits;
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	289 sinits.push_back(initZ->getOperand(0));
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	290
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	291 assert(tinfo->ty == Ttypedef);
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	292 TypeTypedef tc = (TypeTypedef )tinfo;
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	293 TypedefDeclaration *sd = tc->sym;
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	294
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	295 // TypeInfo base
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	296 //const llvm::PointerType* basept = llvm::cast<llvm::PointerType>(initZ->getOperand(1)->getType());
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	297 //sinits.push_back(llvm::ConstantPointerNull::get(basept));
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	298 Logger::println("generating base typeinfo");
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	299 //sd->basetype = sd->basetype->merge();
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	300 sd->basetype->getTypeInfo(NULL); // generate vtinfo
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	301 assert(sd->basetype->vtinfo);
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	302 if (!sd->basetype->vtinfo->llvmValue)
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	303 sd->basetype->vtinfo->toObjFile();
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	304 assert(llvm::isa<llvm::Constant>(sd->basetype->vtinfo->llvmValue));
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	305 llvm::Constant* castbase = llvm::cast<llvm::Constant>(sd->basetype->vtinfo->llvmValue);
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	306 castbase = llvm::ConstantExpr::getBitCast(castbase, initZ->getOperand(1)->getType());
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	307 sinits.push_back(castbase);
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	308
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	309 // char[] name
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	310 char *name = sd->toPrettyChars();
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	311 sinits.push_back(LLVM_DtoConstString(name));
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	312 assert(sinits.back()->getType() == initZ->getOperand(2)->getType());
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	313
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	314 // void[] init
69 2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 65 diff changeset	315 const llvm::PointerType* initpt = llvm::PointerType::get(llvm::Type::Int8Ty);
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 65 diff changeset	316 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	317 {
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 65 diff changeset	318 sinits.push_back(LLVM_DtoConstSlice(LLVM_DtoConstSize_t(0), llvm::ConstantPointerNull::get(initpt)));
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 65 diff changeset	319 //sinits.push_back(initZ->getOperand(3));
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 65 diff changeset	320 }
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 65 diff changeset	321 else
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 65 diff changeset	322 {
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 65 diff changeset	323 llvm::Constant* ci = LLVM_DtoConstInitializer(sd->basetype, sd->init);
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 65 diff changeset	324 std::string ciname(sd->mangle());
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 65 diff changeset	325 ciname.append("__init");
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 65 diff changeset	326 llvm::GlobalVariable* civar = new llvm::GlobalVariable(LLVM_DtoType(sd->basetype),true,llvm::GlobalValue::InternalLinkage,ci,ciname,gIR->module);
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 65 diff changeset	327 llvm::Constant* cicast = llvm::ConstantExpr::getBitCast(civar, initpt);
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 65 diff changeset	328 size_t cisize = gTargetData->getTypeSize(LLVM_DtoType(sd->basetype));
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 65 diff changeset	329 sinits.push_back(LLVM_DtoConstSlice(LLVM_DtoConstSize_t(cisize), cicast));
2b5a2eaa88be [svn r73] Identity expression for dynamic array and null was broken. lindquist parents: 65 diff changeset	330 }
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	331
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	332 // create the symbol
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	333 llvm::Constant* tiInit = llvm::ConstantStruct::get(stype, sinits);
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	334 llvm::GlobalVariable* gvar = new llvm::GlobalVariable(stype,true,llvm::GlobalValue::InternalLinkage,tiInit,toChars(),gIR->module);
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	335
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	336 llvmValue = gvar;
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	337
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	338 /*
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	339 dtxoff(pdt, Type::typeinfotypedef->toVtblSymbol(), 0, TYnptr); // vtbl for TypeInfo_Typedef
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	340 dtdword(pdt, 0); // monitor
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	341
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	342 assert(tinfo->ty == Ttypedef);
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	343
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	344 TypeTypedef tc = (TypeTypedef )tinfo;
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	345 TypedefDeclaration *sd = tc->sym;
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	346 //printf("basetype = %s\n", sd->basetype->toChars());
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	347
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	348 // Put out:
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	349 // TypeInfo base;
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	350 // char[] name;
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	351 // void[] m_init;
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	352
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	353 sd->basetype = sd->basetype->merge();
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	354 sd->basetype->getTypeInfo(NULL); // generate vtinfo
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	355 assert(sd->basetype->vtinfo);
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	356 dtxoff(pdt, sd->basetype->vtinfo->toSymbol(), 0, TYnptr); // TypeInfo for basetype
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	357
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	358 char *name = sd->toPrettyChars();
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	359 size_t namelen = strlen(name);
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	360 dtdword(pdt, namelen);
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	361 dtabytes(pdt, TYnptr, 0, namelen + 1, name);
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	362
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	363 // void[] init;
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	364 if (tinfo->isZeroInit() \|\| !sd->init)
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	365 { // 0 initializer, or the same as the base type
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	366 dtdword(pdt, 0); // init.length
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	367 dtdword(pdt, 0); // init.ptr
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	368 }
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	369 else
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	370 {
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	371 dtdword(pdt, sd->type->size()); // init.length
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	372 dtxoff(pdt, sd->toInitializer(), 0, TYnptr); // init.ptr
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	373 */
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	374 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	375
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	376 /* ========================================================================= */
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	377
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	378 void TypeInfoEnumDeclaration::toDt(dt_t **pdt)
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	379 {
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	380 Logger::println("TypeInfoTypedefDeclaration::toDt() %s", toChars());
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	381 LOG_SCOPE;
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	382
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	383 ClassDeclaration* base = Type::typeinfoenum;
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	384 base->toObjFile();
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	385
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	386 llvm::Constant* initZ = base->llvmInitZ;
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	387 assert(initZ);
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	388 const llvm::StructType* stype = llvm::cast<llvm::StructType>(initZ->getType());
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	389
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	390 std::vector<llvm::Constant*> sinits;
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	391 sinits.push_back(initZ->getOperand(0));
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	392
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	393 assert(tinfo->ty == Tenum);
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	394 TypeEnum tc = (TypeEnum )tinfo;
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	395 EnumDeclaration *sd = tc->sym;
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	396
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	397 // TypeInfo base
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	398 //const llvm::PointerType* basept = llvm::cast<llvm::PointerType>(initZ->getOperand(1)->getType());
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	399 //sinits.push_back(llvm::ConstantPointerNull::get(basept));
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	400 Logger::println("generating base typeinfo");
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	401 //sd->basetype = sd->basetype->merge();
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	402 sd->memtype->getTypeInfo(NULL); // generate vtinfo
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	403 assert(sd->memtype->vtinfo);
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	404 if (!sd->memtype->vtinfo->llvmValue)
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	405 sd->memtype->vtinfo->toObjFile();
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	406 assert(llvm::isa<llvm::Constant>(sd->memtype->vtinfo->llvmValue));
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	407 llvm::Constant* castbase = llvm::cast<llvm::Constant>(sd->memtype->vtinfo->llvmValue);
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	408 castbase = llvm::ConstantExpr::getBitCast(castbase, initZ->getOperand(1)->getType());
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	409 sinits.push_back(castbase);
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	410
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	411 // char[] name
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	412 char *name = sd->toPrettyChars();
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	413 sinits.push_back(LLVM_DtoConstString(name));
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	414 assert(sinits.back()->getType() == initZ->getOperand(2)->getType());
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	415
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	416 // void[] init
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	417 const llvm::PointerType* initpt = llvm::PointerType::get(llvm::Type::Int8Ty);
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	418 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	419 {
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	420 sinits.push_back(LLVM_DtoConstSlice(LLVM_DtoConstSize_t(0), llvm::ConstantPointerNull::get(initpt)));
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	421 //sinits.push_back(initZ->getOperand(3));
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	422 }
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	423 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	424 {
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	425 const llvm::Type* memty = LLVM_DtoType(sd->memtype);
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	426 llvm::Constant* ci = llvm::ConstantInt::get(memty, sd->defaultval, !sd->memtype->isunsigned());
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	427 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	428 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	429 llvm::GlobalVariable* civar = new llvm::GlobalVariable(memty,true,llvm::GlobalValue::InternalLinkage,ci,ciname,gIR->module);
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	430 llvm::Constant* cicast = llvm::ConstantExpr::getBitCast(civar, initpt);
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	431 size_t cisize = gTargetData->getTypeSize(memty);
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	432 sinits.push_back(LLVM_DtoConstSlice(LLVM_DtoConstSize_t(cisize), cicast));
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	433 }
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	434
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	435 // create the symbol
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	436 llvm::Constant* tiInit = llvm::ConstantStruct::get(stype, sinits);
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	437 llvm::GlobalVariable* gvar = new llvm::GlobalVariable(stype,true,llvm::GlobalValue::InternalLinkage,tiInit,toChars(),gIR->module);
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	438
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	439 llvmValue = gvar;
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	440
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	441 /*
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	442
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	443 //printf("TypeInfoEnumDeclaration::toDt()\n");
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	444 dtxoff(pdt, Type::typeinfoenum->toVtblSymbol(), 0, TYnptr); // vtbl for TypeInfo_Enum
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	445 dtdword(pdt, 0); // monitor
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	446
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	447 assert(tinfo->ty == Tenum);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	448
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	449 TypeEnum tc = (TypeEnum )tinfo;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	450 EnumDeclaration *sd = tc->sym;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	451
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	452 // Put out:
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	453 // TypeInfo base;
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	454 // char[] name;
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	455 // void[] m_init;
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	456
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	457 sd->memtype->getTypeInfo(NULL);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	458 dtxoff(pdt, sd->memtype->vtinfo->toSymbol(), 0, TYnptr); // TypeInfo for enum members
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	459
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	460 char *name = sd->toPrettyChars();
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	461 size_t namelen = strlen(name);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	462 dtdword(pdt, namelen);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	463 dtabytes(pdt, TYnptr, 0, namelen + 1, name);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	464
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	465 // void[] init;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	466 if (tinfo->isZeroInit() \|\| !sd->defaultval)
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	467 { // 0 initializer, or the same as the base type
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	468 dtdword(pdt, 0); // init.length
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	469 dtdword(pdt, 0); // init.ptr
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	470 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	471 else
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	472 {
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	473 dtdword(pdt, sd->type->size()); // init.length
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	474 dtxoff(pdt, sd->toInitializer(), 0, TYnptr); // init.ptr
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	475 }
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	476
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	477 */
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	478 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	479
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	480 /* ========================================================================= */
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	481
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	482 static llvm::Constant* LLVM_D_Create_TypeInfoBase(Type* basetype, TypeInfoDeclaration* tid, ClassDeclaration* cd)
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	483 {
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	484 ClassDeclaration* base = cd;
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	485 base->toObjFile();
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	486
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	487 llvm::Constant* initZ = base->llvmInitZ;
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	488 assert(initZ);
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	489 const llvm::StructType* stype = llvm::cast<llvm::StructType>(initZ->getType());
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	490
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	491 std::vector<llvm::Constant*> sinits;
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	492 sinits.push_back(initZ->getOperand(0));
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	493
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	494 // TypeInfo base
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	495 Logger::println("generating base typeinfo");
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	496 basetype->getTypeInfo(NULL);
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	497 assert(basetype->vtinfo);
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	498 if (!basetype->vtinfo->llvmValue)
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	499 basetype->vtinfo->toObjFile();
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	500 assert(llvm::isa<llvm::Constant>(basetype->vtinfo->llvmValue));
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	501 llvm::Constant* castbase = llvm::cast<llvm::Constant>(basetype->vtinfo->llvmValue);
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	502 castbase = llvm::ConstantExpr::getBitCast(castbase, initZ->getOperand(1)->getType());
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	503 sinits.push_back(castbase);
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	504
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	505 // create the symbol
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	506 llvm::Constant* tiInit = llvm::ConstantStruct::get(stype, sinits);
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	507 llvm::GlobalVariable* gvar = new llvm::GlobalVariable(stype,true,llvm::GlobalValue::InternalLinkage,tiInit,tid->toChars(),gIR->module);
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	508
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	509 tid->llvmValue = gvar;
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	510 }
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	511
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	512 /* ========================================================================= */
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	513
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	514 void TypeInfoPointerDeclaration::toDt(dt_t **pdt)
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	515 {
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	516 Logger::println("TypeInfoPointerDeclaration::toDt() %s", toChars());
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	517 LOG_SCOPE;
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	518
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	519 assert(tinfo->ty == Tpointer);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	520 TypePointer tc = (TypePointer )tinfo;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	521
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	522 LLVM_D_Create_TypeInfoBase(tc->next, this, Type::typeinfopointer);
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	523 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	524
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	525 /* ========================================================================= */
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	526
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	527 void TypeInfoArrayDeclaration::toDt(dt_t **pdt)
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	528 {
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	529 Logger::println("TypeInfoArrayDeclaration::toDt() %s", toChars());
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	530 LOG_SCOPE;
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	531
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	532 assert(tinfo->ty == Tarray);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	533 TypeDArray tc = (TypeDArray )tinfo;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	534
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	535 LLVM_D_Create_TypeInfoBase(tc->next, this, Type::typeinfoarray);
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	536 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	537
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	538 /* ========================================================================= */
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	539
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	540 void TypeInfoStaticArrayDeclaration::toDt(dt_t **pdt)
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	541 {
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	542 assert(0 && "TypeInfoStaticArrayDeclaration");
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	543
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	544 /*
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	545 //printf("TypeInfoStaticArrayDeclaration::toDt()\n");
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	546 dtxoff(pdt, Type::typeinfostaticarray->toVtblSymbol(), 0, TYnptr); // vtbl for TypeInfo_StaticArray
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	547 dtdword(pdt, 0); // monitor
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	548
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	549 assert(tinfo->ty == Tsarray);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	550
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	551 TypeSArray tc = (TypeSArray )tinfo;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	552
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	553 tc->next->getTypeInfo(NULL);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	554 dtxoff(pdt, tc->next->vtinfo->toSymbol(), 0, TYnptr); // TypeInfo for array of type
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	555
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	556 dtdword(pdt, tc->dim->toInteger()); // length
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	557 */
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	558 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	559
58 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
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	562 void TypeInfoAssociativeArrayDeclaration::toDt(dt_t **pdt)
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	563 {
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	564 assert(0 && "TypeInfoAssociativeArrayDeclaration");
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	565
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	566 /*
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	567 //printf("TypeInfoAssociativeArrayDeclaration::toDt()\n");
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	568 dtxoff(pdt, Type::typeinfoassociativearray->toVtblSymbol(), 0, TYnptr); // vtbl for TypeInfo_AssociativeArray
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	569 dtdword(pdt, 0); // monitor
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	570
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	571 assert(tinfo->ty == Taarray);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	572
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	573 TypeAArray tc = (TypeAArray )tinfo;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	574
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	575 tc->next->getTypeInfo(NULL);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	576 dtxoff(pdt, tc->next->vtinfo->toSymbol(), 0, TYnptr); // TypeInfo for array of type
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 tc->index->getTypeInfo(NULL);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	579 dtxoff(pdt, tc->index->vtinfo->toSymbol(), 0, TYnptr); // TypeInfo for array of type
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	580 */
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	581 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	582
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	583 /* ========================================================================= */
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	584
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	585 void TypeInfoFunctionDeclaration::toDt(dt_t **pdt)
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	586 {
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	587 Logger::println("TypeInfoFunctionDeclaration::toDt() %s", toChars());
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	588 LOG_SCOPE;
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	589
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	590 assert(tinfo->ty == Tfunction);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	591 TypeFunction tc = (TypeFunction )tinfo;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	592
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	593 LLVM_D_Create_TypeInfoBase(tc->next, this, Type::typeinfofunction);
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	594 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	595
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	596 /* ========================================================================= */
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	597
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	598 void TypeInfoDelegateDeclaration::toDt(dt_t **pdt)
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	599 {
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	600 Logger::println("TypeInfoDelegateDeclaration::toDt() %s", toChars());
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	601 LOG_SCOPE;
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	602
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	603 assert(tinfo->ty == Tdelegate);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	604 TypeDelegate tc = (TypeDelegate )tinfo;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	605
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	606 LLVM_D_Create_TypeInfoBase(tc->next->next, this, Type::typeinfodelegate);
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	607 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	608
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	609 /* ========================================================================= */
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	610
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	611 void TypeInfoStructDeclaration::toDt(dt_t **pdt)
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	612 {
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	613 assert(0 && "TypeInfoStructDeclaration");
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	614
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	615 /*
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	616 //printf("TypeInfoStructDeclaration::toDt() '%s'\n", toChars());
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	617
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	618 unsigned offset = Type::typeinfostruct->structsize;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	619
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	620 dtxoff(pdt, Type::typeinfostruct->toVtblSymbol(), 0, TYnptr); // vtbl for TypeInfo_Struct
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	621 dtdword(pdt, 0); // monitor
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	622
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	623 assert(tinfo->ty == Tstruct);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	624
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	625 TypeStruct tc = (TypeStruct )tinfo;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	626 StructDeclaration *sd = tc->sym;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	627
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	628 // Put out:
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	629 // char[] name;
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	630 // void[] init;
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	631 // hash_t function(void*) xtoHash;
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	632 // int function(void,void) xopEquals;
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	633 // int function(void,void) xopCmp;
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	634 // char[] function(void*) xtoString;
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	635 // uint m_flags;
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	636 //
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	637 // name[]
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	638 //
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	639
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	640 char *name = sd->toPrettyChars();
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	641 size_t namelen = strlen(name);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	642 dtdword(pdt, namelen);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	643 //dtabytes(pdt, TYnptr, 0, namelen + 1, name);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	644 dtxoff(pdt, toSymbol(), offset, TYnptr);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	645 offset += namelen + 1;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	646
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	647 // void[] init;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	648 dtdword(pdt, sd->structsize); // init.length
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	649 if (sd->zeroInit)
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	650 dtdword(pdt, 0); // NULL for 0 initialization
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	651 else
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	652 dtxoff(pdt, sd->toInitializer(), 0, TYnptr); // init.ptr
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	653
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	654 FuncDeclaration *fd;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	655 FuncDeclaration *fdx;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	656 TypeFunction *tf;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	657 Type *ta;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	658 Dsymbol *s;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	659
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	660 static TypeFunction *tftohash;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	661 static TypeFunction *tftostring;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	662
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	663 if (!tftohash)
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	664 {
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	665 Scope sc;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	666
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	667 tftohash = new TypeFunction(NULL, Type::thash_t, 0, LINKd);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	668 tftohash = (TypeFunction *)tftohash->semantic(0, &sc);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	669
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	670 tftostring = new TypeFunction(NULL, Type::tchar->arrayOf(), 0, LINKd);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	671 tftostring = (TypeFunction *)tftostring->semantic(0, &sc);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	672 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	673
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	674 TypeFunction *tfeqptr;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	675 {
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	676 Scope sc;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	677 Arguments *arguments = new Arguments;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	678 Argument *arg = new Argument(STCin, tc->pointerTo(), NULL, NULL);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	679
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	680 arguments->push(arg);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	681 tfeqptr = new TypeFunction(arguments, Type::tint32, 0, LINKd);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	682 tfeqptr = (TypeFunction *)tfeqptr->semantic(0, &sc);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	683 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	684
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	685 #if 0
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	686 TypeFunction *tfeq;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	687 {
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	688 Scope sc;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	689 Array *arguments = new Array;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	690 Argument *arg = new Argument(In, tc, NULL, NULL);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	691
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	692 arguments->push(arg);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	693 tfeq = new TypeFunction(arguments, Type::tint32, 0, LINKd);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	694 tfeq = (TypeFunction *)tfeq->semantic(0, &sc);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	695 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	696 #endif
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	697
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	698 s = search_function(sd, Id::tohash);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	699 fdx = s ? s->isFuncDeclaration() : NULL;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	700 if (fdx)
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	701 { fd = fdx->overloadExactMatch(tftohash);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	702 if (fd)
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	703 dtxoff(pdt, fd->toSymbol(), 0, TYnptr);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	704 else
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	705 //fdx->error("must be declared as extern (D) uint toHash()");
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	706 dtdword(pdt, 0);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	707 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	708 else
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	709 dtdword(pdt, 0);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	710
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	711 s = search_function(sd, Id::eq);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	712 fdx = s ? s->isFuncDeclaration() : NULL;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	713 for (int i = 0; i < 2; i++)
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	714 {
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	715 if (fdx)
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	716 { fd = fdx->overloadExactMatch(tfeqptr);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	717 if (fd)
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	718 dtxoff(pdt, fd->toSymbol(), 0, TYnptr);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	719 else
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	720 //fdx->error("must be declared as extern (D) int %s(%s*)", fdx->toChars(), sd->toChars());
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	721 dtdword(pdt, 0);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	722 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	723 else
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	724 dtdword(pdt, 0);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	725
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	726 s = search_function(sd, Id::cmp);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	727 fdx = s ? s->isFuncDeclaration() : NULL;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	728 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	729
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	730 s = search_function(sd, Id::tostring);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	731 fdx = s ? s->isFuncDeclaration() : NULL;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	732 if (fdx)
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	733 { fd = fdx->overloadExactMatch(tftostring);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	734 if (fd)
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	735 dtxoff(pdt, fd->toSymbol(), 0, TYnptr);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	736 else
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	737 //fdx->error("must be declared as extern (D) char[] toString()");
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	738 dtdword(pdt, 0);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	739 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	740 else
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	741 dtdword(pdt, 0);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	742
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	743 // uint m_flags;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	744 dtdword(pdt, tc->hasPointers());
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	745
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	746 // name[]
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	747 dtnbytes(pdt, namelen + 1, name);
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	748 */
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	749 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	750
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	751 /* ========================================================================= */
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	752
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	753 void TypeInfoClassDeclaration::toDt(dt_t **pdt)
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	754 {
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	755 assert(0 && "TypeInfoClassDeclaration");
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	756
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	757 /*
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	758 //printf("TypeInfoClassDeclaration::toDt() %s\n", tinfo->toChars());
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	759 dtxoff(pdt, Type::typeinfoclass->toVtblSymbol(), 0, TYnptr); // vtbl for TypeInfoClass
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	760 dtdword(pdt, 0); // monitor
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	761
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	762 assert(tinfo->ty == Tclass);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	763
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	764 TypeClass tc = (TypeClass )tinfo;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	765 Symbol *s;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	766
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	767 if (!tc->sym->vclassinfo)
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	768 tc->sym->vclassinfo = new ClassInfoDeclaration(tc->sym);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	769 s = tc->sym->vclassinfo->toSymbol();
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	770 dtxoff(pdt, s, 0, TYnptr); // ClassInfo for tinfo
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	771 */
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	772 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	773
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	774 /* ========================================================================= */
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	775
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	776 void TypeInfoInterfaceDeclaration::toDt(dt_t **pdt)
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	777 {
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	778 assert(0 && "TypeInfoInterfaceDeclaration");
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	779
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	780 /*
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	781 //printf("TypeInfoInterfaceDeclaration::toDt() %s\n", tinfo->toChars());
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	782 dtxoff(pdt, Type::typeinfointerface->toVtblSymbol(), 0, TYnptr); // vtbl for TypeInfoInterface
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	783 dtdword(pdt, 0); // monitor
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	784
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	785 assert(tinfo->ty == Tclass);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	786
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	787 TypeClass tc = (TypeClass )tinfo;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	788 Symbol *s;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	789
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	790 if (!tc->sym->vclassinfo)
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	791 tc->sym->vclassinfo = new ClassInfoDeclaration(tc->sym);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	792 s = tc->sym->vclassinfo->toSymbol();
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	793 dtxoff(pdt, s, 0, TYnptr); // ClassInfo for tinfo
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	794 */
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	795 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	796
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	797 /* ========================================================================= */
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	798
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	799 void TypeInfoTupleDeclaration::toDt(dt_t **pdt)
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	800 {
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	801 assert(0 && "TypeInfoTupleDeclaration");
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	802
2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	803 /*
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	804 //printf("TypeInfoTupleDeclaration::toDt() %s\n", tinfo->toChars());
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	805 dtxoff(pdt, Type::typeinfotypelist->toVtblSymbol(), 0, TYnptr); // vtbl for TypeInfoInterface
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	806 dtdword(pdt, 0); // monitor
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	807
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	808 assert(tinfo->ty == Ttuple);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	809
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	810 TypeTuple tu = (TypeTuple )tinfo;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	811
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	812 size_t dim = tu->arguments->dim;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	813 dtdword(pdt, dim); // elements.length
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	814
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	815 dt_t *d = NULL;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	816 for (size_t i = 0; i < dim; i++)
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	817 { Argument arg = (Argument )tu->arguments->data[i];
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	818 Expression *e = arg->type->getTypeInfo(NULL);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	819 e = e->optimize(WANTvalue);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	820 e->toDt(&d);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	821 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	822
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	823 Symbol *s;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	824 s = static_sym();
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	825 s->Sdt = d;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	826 outdata(s);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	827
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	828 dtxoff(pdt, s, 0, TYnptr); // elements.ptr
58 2c3cd3596187 [svn r62] Added support for TypeInfo _Array, _Function, _Pointer, _Delegate, _Enum lindquist parents: 57 diff changeset	829 */
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 4 diff changeset	830 }

Mercurial > projects > ldc

annotate gen/typinf.c @ 71:53d3086b5ad3 trunk