projects/ldc: gen/classes.cpp annotate

annotate gen/classes.cpp @ 270:d9d5d59873d8 trunk

[svn r291] Fixed a bunch of the old Phobos tests to work with Tango. Branch statements now emit a new block after it. Fixed the _adSort runtime function had a bad signature. Added a missing dot prefix on compiler generated string tables for string switch. Fixed, PTRSIZE seems like it was wrong on 64bit, now it definitely gets set properly.

author	lindquist
date	Mon, 16 Jun 2008 16:01:19 +0200
parents	23d0d9855cad
children	1e6e2b5d5bfe

rev	line source
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1 #include <sstream>
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	2 #include "gen/llvm.h"
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	3
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	4 #include "mtype.h"
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	5 #include "aggregate.h"
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	6 #include "init.h"
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	7 #include "declaration.h"
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	8
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	9 #include "gen/irstate.h"
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	10 #include "gen/tollvm.h"
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	11 #include "gen/llvmhelpers.h"
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	12 #include "gen/arrays.h"
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	13 #include "gen/logger.h"
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	14 #include "gen/classes.h"
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	15 #include "gen/structs.h"
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	16 #include "gen/functions.h"
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	17 #include "gen/runtime.h"
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	18 #include "gen/dvalue.h"
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	19
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	20 #include "ir/irstruct.h"
0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	21
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	22 //////////////////////////////////////////////////////////////////////////////////////////
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	23
137 ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	24 static void LLVM_AddBaseClassInterfaces(ClassDeclaration* target, BaseClasses* bcs)
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	25 {
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	26 // add base class data members first
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	27 for (int j=0; j<bcs->dim; j++)
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	28 {
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	29 BaseClass* bc = (BaseClass*)(bcs->data[j]);
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	30
142 a123dca8349b [svn r146] fixed some potential problems with mismatch in order of interfaces in class data layout lindquist parents: 138 diff changeset	31 // base classes might add more interfaces?
a123dca8349b [svn r146] fixed some potential problems with mismatch in order of interfaces in class data layout lindquist parents: 138 diff changeset	32 DtoResolveClass(bc->base);
a123dca8349b [svn r146] fixed some potential problems with mismatch in order of interfaces in class data layout lindquist parents: 138 diff changeset	33 LLVM_AddBaseClassInterfaces(target, &bc->base->baseclasses);
a123dca8349b [svn r146] fixed some potential problems with mismatch in order of interfaces in class data layout lindquist parents: 138 diff changeset	34
137 ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	35 // resolve interfaces while we're at it
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	36 if (bc->base->isInterfaceDeclaration())
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	37 {
142 a123dca8349b [svn r146] fixed some potential problems with mismatch in order of interfaces in class data layout lindquist parents: 138 diff changeset	38 // don't add twice
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	39 if (target->ir.irStruct->interfaceMap.find(bc->base) == target->ir.irStruct->interfaceMap.end())
142 a123dca8349b [svn r146] fixed some potential problems with mismatch in order of interfaces in class data layout lindquist parents: 138 diff changeset	40 {
a123dca8349b [svn r146] fixed some potential problems with mismatch in order of interfaces in class data layout lindquist parents: 138 diff changeset	41 Logger::println("adding interface '%s'", bc->base->toPrettyChars());
a123dca8349b [svn r146] fixed some potential problems with mismatch in order of interfaces in class data layout lindquist parents: 138 diff changeset	42 IrInterface* iri = new IrInterface(bc, NULL);
a123dca8349b [svn r146] fixed some potential problems with mismatch in order of interfaces in class data layout lindquist parents: 138 diff changeset	43
a123dca8349b [svn r146] fixed some potential problems with mismatch in order of interfaces in class data layout lindquist parents: 138 diff changeset	44 // add to map
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	45 target->ir.irStruct->interfaceMap.insert(std::make_pair(bc->base, iri));
142 a123dca8349b [svn r146] fixed some potential problems with mismatch in order of interfaces in class data layout lindquist parents: 138 diff changeset	46 // add to ordered list
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	47 target->ir.irStruct->interfaceVec.push_back(iri);
142 a123dca8349b [svn r146] fixed some potential problems with mismatch in order of interfaces in class data layout lindquist parents: 138 diff changeset	48
137 ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	49 // Fill in vtbl[]
142 a123dca8349b [svn r146] fixed some potential problems with mismatch in order of interfaces in class data layout lindquist parents: 138 diff changeset	50 if (!target->isAbstract()) {
a123dca8349b [svn r146] fixed some potential problems with mismatch in order of interfaces in class data layout lindquist parents: 138 diff changeset	51 bc->fillVtbl(target, &bc->vtbl, 0);
a123dca8349b [svn r146] fixed some potential problems with mismatch in order of interfaces in class data layout lindquist parents: 138 diff changeset	52 }
137 ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	53 }
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	54 }
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	55 }
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	56 }
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	57
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	58 //////////////////////////////////////////////////////////////////////////////////////////
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	59
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	60 static void LLVM_AddBaseClassData(BaseClasses* bcs)
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	61 {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	62 // add base class data members first
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	63 for (int j=0; j<bcs->dim; j++)
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	64 {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	65 BaseClass* bc = (BaseClass*)(bcs->data[j]);
137 ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	66
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	67 // interfaces never add data fields
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	68 if (bc->base->isInterfaceDeclaration())
137 ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	69 continue;
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	70
137 ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	71 // recursively add baseclass data
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	72 LLVM_AddBaseClassData(&bc->base->baseclasses);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	73
137 ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	74 Array* arr = &bc->base->fields;
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	75 if (arr->dim == 0)
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	76 continue;
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	77
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	78 Logger::println("Adding base class members of %s", bc->base->toChars());
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	79 LOG_SCOPE;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	80
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	81 for (int k=0; k < arr->dim; k++) {
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	82 VarDeclaration* v = (VarDeclaration*)(arr->data[k]);
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	83 v->toObjFile();
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	84 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	85 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	86 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	87
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	88 //////////////////////////////////////////////////////////////////////////////////////////
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	89
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	90 void DtoResolveClass(ClassDeclaration* cd)
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	91 {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	92 if (cd->ir.resolved) return;
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	93 cd->ir.resolved = true;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	94
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	95 Logger::println("DtoResolveClass(%s): %s", cd->toPrettyChars(), cd->loc.toChars());
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	96 LOG_SCOPE;
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	97
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	98 // get the TypeClass
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	99 assert(cd->type->ty == Tclass);
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	100 TypeClass* ts = (TypeClass*)cd->type;
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	101
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	102 // make sure the IrStruct is created
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	103 IrStruct* irstruct = cd->ir.irStruct;
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	104 if (!irstruct) {
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	105 irstruct = new IrStruct(ts);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	106 cd->ir.irStruct = irstruct;
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	107 }
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	108
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	109 // resolve the base class
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	110 if (cd->baseClass) {
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	111 DtoResolveClass(cd->baseClass);
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	112 }
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	113
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	114 // resolve interface vtables
137 ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	115 /*if (cd->vtblInterfaces) {
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	116 Logger::println("Vtbl interfaces for '%s'", cd->toPrettyChars());
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	117 LOG_SCOPE;
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	118 for (int i=0; i < cd->vtblInterfaces->dim; i++) {
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	119 BaseClass b = (BaseClass )cd->vtblInterfaces->data[i];
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	120 ClassDeclaration *id = b->base;
137 ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	121 Logger::println("Vtbl interface: '%s'", id->toPrettyChars());
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	122 DtoResolveClass(id);
114 5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	123 // Fill in vtbl[]
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	124 b->fillVtbl(cd, &b->vtbl, 1);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	125 }
137 ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	126 }*/
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	127
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	128 // push state
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	129 gIR->structs.push_back(irstruct);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	130 gIR->classes.push_back(cd);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	131
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	132 // vector holding the field types
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	133 std::vector<const LLType*> fieldtypes;
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	134
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	135 // add vtable
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	136 ts->ir.vtblType = new llvm::PATypeHolder(llvm::OpaqueType::get());
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	137 const LLType* vtabty = getPtrToType(ts->ir.vtblType->get());
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	138 fieldtypes.push_back(vtabty);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	139
115 5ba6d286c941 [svn r119] Added the monitor data field that comes after the vtable pointer to all classes. Represented as a void* initialized to zero. lindquist parents: 114 diff changeset	140 // add monitor
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	141 fieldtypes.push_back(getVoidPtrType());
115 5ba6d286c941 [svn r119] Added the monitor data field that comes after the vtable pointer to all classes. Represented as a void* initialized to zero. lindquist parents: 114 diff changeset	142
137 ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	143 // add base class data fields first
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	144 LLVM_AddBaseClassData(&cd->baseclasses);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	145
199 ba47ac346ddd [svn r215] fix for empty class vtbl ChristianK parents: 193 diff changeset	146 // then add own members, if any
ba47ac346ddd [svn r215] fix for empty class vtbl ChristianK parents: 193 diff changeset	147 if(cd->members) {
ba47ac346ddd [svn r215] fix for empty class vtbl ChristianK parents: 193 diff changeset	148 for (int k=0; k < cd->members->dim; k++) {
ba47ac346ddd [svn r215] fix for empty class vtbl ChristianK parents: 193 diff changeset	149 Dsymbol* dsym = (Dsymbol*)(cd->members->data[k]);
ba47ac346ddd [svn r215] fix for empty class vtbl ChristianK parents: 193 diff changeset	150 dsym->toObjFile();
ba47ac346ddd [svn r215] fix for empty class vtbl ChristianK parents: 193 diff changeset	151 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	152 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	153
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	154 // resolve class data fields (possibly unions)
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	155 Logger::println("doing class fields");
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	156
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	157 if (irstruct->offsets.empty())
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	158 {
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	159 Logger::println("has no fields");
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	160 }
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	161 else
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	162 {
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	163 Logger::println("has fields");
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	164 unsigned prevsize = (unsigned)-1;
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	165 unsigned lastoffset = (unsigned)-1;
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	166 const LLType* fieldtype = NULL;
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	167 VarDeclaration* fieldinit = NULL;
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	168 size_t fieldpad = 0;
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	169 int idx = 0;
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	170 for (IrStruct::OffsetMap::iterator i=irstruct->offsets.begin(); i!=irstruct->offsets.end(); ++i) {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	171 // first iteration
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	172 if (lastoffset == (unsigned)-1) {
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	173 lastoffset = i->first;
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	174 fieldtype = i->second.type;
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	175 fieldinit = i->second.var;
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	176 prevsize = getABITypeSize(fieldtype);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	177 i->second.var->ir.irField->index = idx;
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	178 }
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	179 // colliding offset?
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	180 else if (lastoffset == i->first) {
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	181 size_t s = getABITypeSize(i->second.type);
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	182 if (s > prevsize) {
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	183 fieldpad += s - prevsize;
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	184 prevsize = s;
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	185 }
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	186 cd->ir.irStruct->hasUnions = true;
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	187 i->second.var->ir.irField->index = idx;
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	188 }
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	189 // intersecting offset?
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	190 else if (i->first < (lastoffset + prevsize)) {
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	191 size_t s = getABITypeSize(i->second.type);
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	192 assert((i->first + s) <= (lastoffset + prevsize)); // this holds because all types are aligned to their size
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	193 cd->ir.irStruct->hasUnions = true;
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	194 i->second.var->ir.irField->index = idx;
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	195 i->second.var->ir.irField->indexOffset = (i->first - lastoffset) / s;
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	196 }
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	197 // fresh offset
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	198 else {
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	199 // commit the field
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	200 fieldtypes.push_back(fieldtype);
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	201 irstruct->defaultFields.push_back(fieldinit);
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	202 if (fieldpad) {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	203 fieldtypes.push_back(llvm::ArrayType::get(LLType::Int8Ty, fieldpad));
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	204 irstruct->defaultFields.push_back(NULL);
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	205 idx++;
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	206 }
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	207
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	208 idx++;
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	209
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	210 // start new
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	211 lastoffset = i->first;
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	212 fieldtype = i->second.type;
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	213 fieldinit = i->second.var;
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	214 prevsize = getABITypeSize(fieldtype);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	215 i->second.var->ir.irField->index = idx;
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	216 fieldpad = 0;
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	217 }
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	218 }
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	219 fieldtypes.push_back(fieldtype);
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	220 irstruct->defaultFields.push_back(fieldinit);
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	221 if (fieldpad) {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	222 fieldtypes.push_back(llvm::ArrayType::get(LLType::Int8Ty, fieldpad));
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	223 irstruct->defaultFields.push_back(NULL);
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	224 }
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	225 }
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	226
137 ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	227 // populate interface map
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	228 {
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	229 Logger::println("Adding interfaces to '%s'", cd->toPrettyChars());
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	230 LOG_SCOPE;
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	231 LLVM_AddBaseClassInterfaces(cd, &cd->baseclasses);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	232 Logger::println("%d interfaces added", cd->ir.irStruct->interfaceVec.size());
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	233 assert(cd->ir.irStruct->interfaceVec.size() == cd->ir.irStruct->interfaceMap.size());
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	234 }
137 ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	235
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	236 // add interface vtables at the end
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	237 int interIdx = (int)fieldtypes.size();
142 a123dca8349b [svn r146] fixed some potential problems with mismatch in order of interfaces in class data layout lindquist parents: 138 diff changeset	238 for (IrStruct::InterfaceVectorIter i=irstruct->interfaceVec.begin(); i!=irstruct->interfaceVec.end(); ++i)
137 ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	239 {
142 a123dca8349b [svn r146] fixed some potential problems with mismatch in order of interfaces in class data layout lindquist parents: 138 diff changeset	240 IrInterface* iri = *i;
a123dca8349b [svn r146] fixed some potential problems with mismatch in order of interfaces in class data layout lindquist parents: 138 diff changeset	241 ClassDeclaration* id = iri->decl;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	242
137 ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	243 // set vtbl type
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	244 TypeClass* itc = (TypeClass*)id->type;
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	245 const LLType* ivtblTy = getPtrToType(itc->ir.vtblType->get());
137 ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	246 fieldtypes.push_back(ivtblTy);
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	247
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	248 // fix the interface vtable type
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	249 #if OPAQUE_VTBLS
aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	250 iri->vtblTy = isaArray(itc->ir.vtblType->get());
aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	251 #else
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	252 iri->vtblTy = isaStruct(itc->ir.vtblType->get());
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	253 #endif
137 ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	254
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	255 // set index
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	256 iri->index = interIdx++;
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	257 }
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	258 Logger::println("%d interface vtables added", cd->ir.irStruct->interfaceVec.size());
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	259 assert(cd->ir.irStruct->interfaceVec.size() == cd->ir.irStruct->interfaceMap.size());
137 ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	260
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	261 // create type
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	262 const llvm::StructType* structtype = llvm::StructType::get(fieldtypes);
137 ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	263
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	264 // refine abstract types for stuff like: class C {C next;}
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	265 assert(irstruct->recty != 0);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	266 llvm::PATypeHolder& spa = irstruct->recty;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	267 llvm::cast<llvm::OpaqueType>(spa.get())->refineAbstractTypeTo(structtype);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	268 structtype = isaStruct(spa.get());
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	269
137 ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	270 // make it official
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	271 if (!ts->ir.type)
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	272 ts->ir.type = new llvm::PATypeHolder(structtype);
103 855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	273 else
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	274 *ts->ir.type = structtype;
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	275 spa = *ts->ir.type;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	276
123 7f9a0a58394b [svn r127] Updated the lphobos build scripts a little. Created a new rebuild profile. lindquist parents: 121 diff changeset	277 // name the type
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	278 gIR->module->addTypeName(cd->mangle(), ts->ir.type->get());
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	279
137 ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	280 // get interface info type
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	281 const llvm::StructType* infoTy = DtoInterfaceInfoType();
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	282
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	283 // create vtable type
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	284 llvm::GlobalVariable* svtblVar = 0;
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	285 #if OPAQUE_VTBLS
aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	286 // void*[vtbl.dim]
aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	287 const llvm::ArrayType* svtbl_ty
aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	288 = llvm::ArrayType::get(getVoidPtrType(), cd->vtbl.dim);
aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	289
aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	290 #else
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	291 std::vector<const LLType*> sinits_ty;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	292
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	293 for (int k=0; k < cd->vtbl.dim; k++)
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	294 {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	295 Dsymbol* dsym = (Dsymbol*)cd->vtbl.data[k];
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	296 assert(dsym);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	297 //Logger::cout() << "vtblsym: " << dsym->toChars() << '\n';
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	298
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	299 if (FuncDeclaration* fd = dsym->isFuncDeclaration()) {
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	300 DtoResolveFunction(fd);
117 56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 115 diff changeset	301 //assert(fd->type->ty == Tfunction);
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 115 diff changeset	302 //TypeFunction* tf = (TypeFunction*)fd->type;
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	303 //const LLType* fpty = getPtrToType(tf->ir.type->get());
117 56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 115 diff changeset	304 const llvm::FunctionType* vfty = DtoBaseFunctionType(fd);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	305 const LLType* vfpty = getPtrToType(vfty);
117 56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 115 diff changeset	306 sinits_ty.push_back(vfpty);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	307 }
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	308 else if (ClassDeclaration* cd2 = dsym->isClassDeclaration()) {
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	309 Logger::println("*** ClassDeclaration in vtable: %s", cd2->toChars());
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	310 const LLType* cinfoty;
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	311 if (cd->isInterfaceDeclaration()) {
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	312 cinfoty = infoTy;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	313 }
137 ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	314 else if (cd != ClassDeclaration::classinfo) {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	315 cinfoty = ClassDeclaration::classinfo->type->ir.type->get();
103 855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	316 }
855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	317 else {
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	318 // this is the ClassInfo class, the type is this type
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	319 cinfoty = ts->ir.type->get();
103 855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	320 }
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	321 const LLType* cty = getPtrToType(cinfoty);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	322 sinits_ty.push_back(cty);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	323 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	324 else
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	325 assert(0);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	326 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	327
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	328 // get type
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	329 assert(!sinits_ty.empty());
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	330 const llvm::StructType* svtbl_ty = llvm::StructType::get(sinits_ty);
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	331 #endif
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	332
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	333 // refine for final vtable type
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	334 llvm::cast<llvm::OpaqueType>(ts->ir.vtblType->get())->refineAbstractTypeTo(svtbl_ty);
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	335
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	336 #if !OPAQUE_VTBLS
aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	337 // name vtbl type
aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	338 std::string styname(cd->mangle());
aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	339 styname.append("__vtblType");
aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	340 gIR->module->addTypeName(styname, svtbl_ty);
aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	341 #endif
aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	342
aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	343 // log
aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	344 Logger::cout() << "final class type: " << *ts->ir.type->get() << '\n';
aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	345
aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	346 // pop state
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	347 gIR->classes.pop_back();
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	348 gIR->structs.pop_back();
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	349
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	350 // queue declare
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	351 gIR->declareList.push_back(cd);
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	352 }
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	353
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	354 //////////////////////////////////////////////////////////////////////////////////////////
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	355
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	356 void DtoDeclareClass(ClassDeclaration* cd)
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	357 {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	358 if (cd->ir.declared) return;
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	359 cd->ir.declared = true;
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	360
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	361 Logger::println("DtoDeclareClass(%s): %s", cd->toPrettyChars(), cd->loc.toChars());
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	362 LOG_SCOPE;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	363
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	364 assert(cd->type->ty == Tclass);
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	365 TypeClass* ts = (TypeClass*)cd->type;
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	366
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	367 assert(cd->ir.irStruct);
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	368 IrStruct* irstruct = cd->ir.irStruct;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	369
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	370 gIR->structs.push_back(irstruct);
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	371 gIR->classes.push_back(cd);
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	372
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	373 bool needs_definition = false;
147 0636f6269dfd [svn r152] Relates to ticket #34. Always emit class definition if it is a template instance. Linkage still needs to be fixed. ChristianK parents: 142 diff changeset	374 if (cd->getModule() == gIR->dmodule \|\| DtoIsTemplateInstance(cd)) {
123 7f9a0a58394b [svn r127] Updated the lphobos build scripts a little. Created a new rebuild profile. lindquist parents: 121 diff changeset	375 needs_definition = true;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	376 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	377
149 4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 147 diff changeset	378 llvm::GlobalValue::LinkageTypes _linkage = DtoLinkage(cd);
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	379
0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	380 // interfaces have no static initializer
0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	381 // same goes for abstract classes
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	382 if (!cd->isInterfaceDeclaration() && !cd->isAbstract()) {
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	383 // vtable
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	384 std::string varname("_D");
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	385 varname.append(cd->mangle());
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	386 varname.append("6__vtblZ");
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	387 cd->ir.irStruct->vtbl = new llvm::GlobalVariable(ts->ir.vtblType->get(), true, _linkage, 0, varname, gIR->module);
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	388 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	389
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	390 // get interface info type
0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	391 const llvm::StructType* infoTy = DtoInterfaceInfoType();
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	392
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	393 // interface info array
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	394 if (!cd->ir.irStruct->interfaceVec.empty()) {
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	395 // symbol name
0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	396 std::string nam = "_D";
0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	397 nam.append(cd->mangle());
0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	398 nam.append("16__interfaceInfosZ");
0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	399 // resolve array type
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	400 const llvm::ArrayType* arrTy = llvm::ArrayType::get(infoTy, cd->ir.irStruct->interfaceVec.size());
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	401 // declare global
0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	402 irstruct->interfaceInfosTy = arrTy;
0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	403 irstruct->interfaceInfos = new llvm::GlobalVariable(arrTy, true, _linkage, NULL, nam, gIR->module);
0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	404 }
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	405
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	406 // interfaces have no static initializer
0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	407 // same goes for abstract classes
0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	408 if (!cd->isInterfaceDeclaration() && !cd->isAbstract()) {
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	409 // interface vtables
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	410 unsigned idx = 0;
142 a123dca8349b [svn r146] fixed some potential problems with mismatch in order of interfaces in class data layout lindquist parents: 138 diff changeset	411 for (IrStruct::InterfaceVectorIter i=irstruct->interfaceVec.begin(); i!=irstruct->interfaceVec.end(); ++i)
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	412 {
142 a123dca8349b [svn r146] fixed some potential problems with mismatch in order of interfaces in class data layout lindquist parents: 138 diff changeset	413 IrInterface* iri = *i;
a123dca8349b [svn r146] fixed some potential problems with mismatch in order of interfaces in class data layout lindquist parents: 138 diff changeset	414 ClassDeclaration* id = iri->decl;
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	415
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	416 std::string nam("_D");
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	417 nam.append(cd->mangle());
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	418 nam.append("11__interface");
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	419 nam.append(id->mangle());
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	420 nam.append("6__vtblZ");
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	421
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	422 assert(iri->vtblTy);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	423 iri->vtbl = new llvm::GlobalVariable(iri->vtblTy, true, _linkage, 0, nam, gIR->module);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	424 LLConstant* idxs[2] = {DtoConstUint(0), DtoConstUint(idx)};
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	425 iri->info = llvm::ConstantExpr::getGetElementPtr(irstruct->interfaceInfos, idxs, 2);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	426 idx++;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	427 }
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	428
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	429 // init
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	430 std::string initname("_D");
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	431 initname.append(cd->mangle());
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	432 initname.append("6__initZ");
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	433
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	434 llvm::GlobalVariable* initvar = new llvm::GlobalVariable(ts->ir.type->get(), true, _linkage, NULL, initname, gIR->module);
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	435 cd->ir.irStruct->init = initvar;
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	436 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	437
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	438 gIR->classes.pop_back();
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	439 gIR->structs.pop_back();
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	440
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	441 gIR->constInitList.push_back(cd);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	442 if (needs_definition)
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	443 gIR->defineList.push_back(cd);
103 855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	444
855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	445 // classinfo
855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	446 DtoDeclareClassInfo(cd);
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 103 diff changeset	447
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 103 diff changeset	448 // typeinfo
123 7f9a0a58394b [svn r127] Updated the lphobos build scripts a little. Created a new rebuild profile. lindquist parents: 121 diff changeset	449 if (needs_definition)
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 103 diff changeset	450 cd->type->getTypeInfo(NULL);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	451 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	452
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	453 //////////////////////////////////////////////////////////////////////////////////////////
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	454
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	455 void DtoConstInitClass(ClassDeclaration* cd)
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	456 {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	457 if (cd->ir.initialized) return;
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	458 cd->ir.initialized = true;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	459
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	460 Logger::println("DtoConstInitClass(%s): %s", cd->toPrettyChars(), cd->loc.toChars());
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	461 LOG_SCOPE;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	462
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	463 IrStruct* irstruct = cd->ir.irStruct;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	464 gIR->structs.push_back(irstruct);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	465 gIR->classes.push_back(cd);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	466
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	467 // get the struct (class) type
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	468 assert(cd->type->ty == Tclass);
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	469 TypeClass* ts = (TypeClass*)cd->type;
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	470 const llvm::StructType* structtype = isaStruct(ts->ir.type->get());
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	471 #if OPAQUE_VTBLS
aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	472 const llvm::ArrayType* vtbltype = isaArray(ts->ir.vtblType->get());
aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	473 #else
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	474 const llvm::StructType* vtbltype = isaStruct(ts->ir.vtblType->get());
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	475 #endif
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	476
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	477 // make sure each offset knows its default initializer
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	478 for (IrStruct::OffsetMap::iterator i=irstruct->offsets.begin(); i!=irstruct->offsets.end(); ++i)
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	479 {
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	480 IrStruct::Offset* so = &i->second;
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	481 LLConstant* finit = DtoConstFieldInitializer(so->var->type, so->var->init);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	482 so->init = finit;
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	483 so->var->ir.irField->constInit = finit;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	484 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	485
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	486 // fill out fieldtypes/inits
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	487 std::vector<LLConstant*> fieldinits;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	488
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	489 // first field is always the vtable
190 36044016709a [svn r206] Fixed some interfaceInfo related issues, closes #44 lindquist parents: 177 diff changeset	490 if (cd->isAbstract() \|\| cd->isInterfaceDeclaration())
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	491 {
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	492 const LLType* ptrTy = getPtrToType(ts->ir.vtblType->get());
190 36044016709a [svn r206] Fixed some interfaceInfo related issues, closes #44 lindquist parents: 177 diff changeset	493 fieldinits.push_back(llvm::Constant::getNullValue(ptrTy));
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	494 }
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	495 else
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	496 {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	497 assert(cd->ir.irStruct->vtbl != 0);
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	498 fieldinits.push_back(cd->ir.irStruct->vtbl);
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	499 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	500
115 5ba6d286c941 [svn r119] Added the monitor data field that comes after the vtable pointer to all classes. Represented as a void* initialized to zero. lindquist parents: 114 diff changeset	501 // then comes monitor
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	502 fieldinits.push_back(llvm::ConstantPointerNull::get(getPtrToType(LLType::Int8Ty)));
115 5ba6d286c941 [svn r119] Added the monitor data field that comes after the vtable pointer to all classes. Represented as a void* initialized to zero. lindquist parents: 114 diff changeset	503
137 ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	504 // go through the field inits and build the default initializer
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	505 size_t nfi = irstruct->defaultFields.size();
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	506 for (size_t i=0; i<nfi; ++i) {
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	507 LLConstant* c;
137 ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	508 if (irstruct->defaultFields[i]) {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	509 c = irstruct->defaultFields[i]->ir.irField->constInit;
137 ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	510 assert(c);
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	511 }
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	512 else {
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	513 const llvm::ArrayType* arrty = isaArray(structtype->getElementType(i+2));
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	514 assert(arrty);
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	515 std::vector<LLConstant*> vals(arrty->getNumElements(), llvm::ConstantInt::get(LLType::Int8Ty, 0, false));
137 ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	516 c = llvm::ConstantArray::get(arrty, vals);
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	517 }
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	518 fieldinits.push_back(c);
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	519 }
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	520
137 ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	521 // last comes interface vtables
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	522 const llvm::StructType* infoTy = DtoInterfaceInfoType();
142 a123dca8349b [svn r146] fixed some potential problems with mismatch in order of interfaces in class data layout lindquist parents: 138 diff changeset	523 for (IrStruct::InterfaceVectorIter i=irstruct->interfaceVec.begin(); i!=irstruct->interfaceVec.end(); ++i)
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	524 {
142 a123dca8349b [svn r146] fixed some potential problems with mismatch in order of interfaces in class data layout lindquist parents: 138 diff changeset	525 IrInterface* iri = *i;
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	526 iri->infoTy = infoTy;
142 a123dca8349b [svn r146] fixed some potential problems with mismatch in order of interfaces in class data layout lindquist parents: 138 diff changeset	527
192 67ed21bf16af [svn r208] const init interface vtbls to nonzero values only for nonabstract classes ChristianK parents: 190 diff changeset	528 if (cd->isAbstract() \|\| cd->isInterfaceDeclaration())
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	529 {
137 ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	530 fieldinits.push_back(llvm::Constant::getNullValue(structtype->getElementType(iri->index)));
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	531 }
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	532 else
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	533 {
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	534 assert(iri->vtbl);
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	535 fieldinits.push_back(iri->vtbl);
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	536 }
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	537 }
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	538
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	539 // generate initializer
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	540 #if 0
137 ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	541 //Logger::cout() << cd->toPrettyChars() << " \| " << *structtype << '\n';
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	542 assert(fieldinits.size() == structtype->getNumElements());
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	543 for(size_t i=0; i<structtype->getNumElements(); ++i) {
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	544 Logger::cout() << "s#" << i << " = " << *structtype->getElementType(i) << '\n';
137 ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	545 Logger::cout() << "i#" << i << " = " << *fieldinits[i] << '\n';
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	546 assert(fieldinits[i]->getType() == structtype->getElementType(i));
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	547 }
137 ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	548 #endif
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	549
137 ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	550 #if 0
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	551 for(size_t i=0; i<fieldinits.size(); ++i) {
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	552 Logger::cout() << "i#" << i << " = " << *fieldinits[i]->getType() << '\n';
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	553 }
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	554 #endif
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	555
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	556 LLConstant* _init = llvm::ConstantStruct::get(structtype, fieldinits);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	557 assert(_init);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	558 cd->ir.irStruct->constInit = _init;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	559
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	560 // abstract classes have no static vtable
137 ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	561 // neither do interfaces (on their own, the implementing class supplies the vtable)
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	562 if (!cd->isInterfaceDeclaration() && !cd->isAbstract())
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	563 {
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	564 // generate vtable initializer
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	565 std::vector<LLConstant*> sinits;
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	566
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	567 for (int k=0; k < cd->vtbl.dim; k++)
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	568 {
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	569 Dsymbol* dsym = (Dsymbol*)cd->vtbl.data[k];
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	570 assert(dsym);
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	571 //Logger::cout() << "vtblsym: " << dsym->toChars() << '\n';
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	572
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	573 #if OPAQUE_VTBLS
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	574 const LLType* targetTy = getVoidPtrType();
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	575 #else
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	576 const LLType* targetTy = vtbltype->getElementType(k);
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	577 #endif
aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	578
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	579 LLConstant* c = NULL;
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	580 // virtual method
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	581 if (FuncDeclaration* fd = dsym->isFuncDeclaration()) {
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	582 DtoForceDeclareDsymbol(fd);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	583 assert(fd->ir.irFunc->func);
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	584 c = llvm::cast<llvm::Constant>(fd->ir.irFunc->func);
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	585 }
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	586 // classinfo
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	587 else if (ClassDeclaration* cd2 = dsym->isClassDeclaration()) {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	588 assert(cd->ir.irStruct->classInfo);
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	589 c = cd->ir.irStruct->classInfo;
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	590 }
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	591 assert(c != NULL);
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	592
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	593 // cast if necessary (overridden method)
aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	594 if (c->getType() != targetTy)
aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	595 c = llvm::ConstantExpr::getBitCast(c, targetTy);
aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	596 sinits.push_back(c);
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	597 }
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	598 #if OPAQUE_VTBLS
aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	599 const llvm::ArrayType* svtbl_ty = isaArray(ts->ir.vtblType->get());
199 ba47ac346ddd [svn r215] fix for empty class vtbl ChristianK parents: 193 diff changeset	600 cd->ir.irStruct->constVtbl = llvm::ConstantArray::get(svtbl_ty, sinits);
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	601 #else
aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	602 const llvm::StructType* svtbl_ty = isaStruct(ts->ir.vtblType->get());
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	603 LLConstant* cvtblInit = llvm::ConstantStruct::get(svtbl_ty, sinits);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	604 cd->ir.irStruct->constVtbl = llvm::cast<llvm::ConstantStruct>(cvtblInit);
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	605 #endif
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	606
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	607 // create interface vtable const initalizers
142 a123dca8349b [svn r146] fixed some potential problems with mismatch in order of interfaces in class data layout lindquist parents: 138 diff changeset	608 for (IrStruct::InterfaceVectorIter i=irstruct->interfaceVec.begin(); i!=irstruct->interfaceVec.end(); ++i)
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	609 {
142 a123dca8349b [svn r146] fixed some potential problems with mismatch in order of interfaces in class data layout lindquist parents: 138 diff changeset	610 IrInterface* iri = *i;
a123dca8349b [svn r146] fixed some potential problems with mismatch in order of interfaces in class data layout lindquist parents: 138 diff changeset	611 BaseClass* b = iri->base;
a123dca8349b [svn r146] fixed some potential problems with mismatch in order of interfaces in class data layout lindquist parents: 138 diff changeset	612
a123dca8349b [svn r146] fixed some potential problems with mismatch in order of interfaces in class data layout lindquist parents: 138 diff changeset	613 ClassDeclaration* id = iri->decl;
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	614 assert(id->type->ty == Tclass);
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	615 TypeClass* its = (TypeClass*)id->type;
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	616
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	617 #if OPAQUE_VTBLS
aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	618 const llvm::ArrayType* ivtbl_ty = isaArray(its->ir.vtblType->get());
aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	619 #else
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	620 const llvm::StructType* ivtbl_ty = isaStruct(its->ir.vtblType->get());
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	621 #endif
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	622
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	623 // generate interface info initializer
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	624 std::vector<LLConstant*> infoInits;
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	625
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	626 // classinfo
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	627 assert(id->ir.irStruct->classInfo);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	628 LLConstant* c = id->ir.irStruct->classInfo;
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	629 infoInits.push_back(c);
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	630
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	631 // vtbl
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	632 const LLType* byteptrptrty = getPtrToType(getPtrToType(LLType::Int8Ty));
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	633 c = llvm::ConstantExpr::getBitCast(iri->vtbl, byteptrptrty);
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	634 c = DtoConstSlice(DtoConstSize_t(b->vtbl.dim), c);
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	635 infoInits.push_back(c);
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	636
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	637 // offset
137 ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	638 assert(iri->index >= 0);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	639 size_t ioff = gTargetData->getStructLayout(isaStruct(cd->type->ir.type->get()))->getElementOffset(iri->index);
137 ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	640 infoInits.push_back(DtoConstUint(ioff));
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	641
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	642 // create interface info initializer constant
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	643 iri->infoInit = llvm::cast<llvm::ConstantStruct>(llvm::ConstantStruct::get(iri->infoTy, infoInits));
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	644
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	645 // generate vtable initializer
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	646 std::vector<LLConstant*> iinits;
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	647
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	648 // add interface info
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	649 #if OPAQUE_VTBLS
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	650 const LLType* targetTy = getVoidPtrType();
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	651 iinits.push_back(llvm::ConstantExpr::getBitCast(iri->info, targetTy));
aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	652 #else
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	653 iinits.push_back(iri->info);
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	654 #endif
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	655
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	656 for (int k=1; k < b->vtbl.dim; k++)
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	657 {
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	658 Logger::println("interface vtbl const init nr. %d", k);
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	659 Dsymbol* dsym = (Dsymbol*)b->vtbl.data[k];
137 ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	660 assert(dsym);
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	661 FuncDeclaration* fd = dsym->isFuncDeclaration();
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	662 assert(fd);
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	663 DtoForceDeclareDsymbol(fd);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	664 assert(fd->ir.irFunc->func);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	665 LLConstant* c = llvm::cast<llvm::Constant>(fd->ir.irFunc->func);
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	666
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	667 #if !OPAQUE_VTBLS
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	668 const LLType* targetTy = iri->vtblTy->getContainedType(k);
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	669 #endif
aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	670
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	671 // we have to bitcast, as the type created in ResolveClass expects a different this type
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	672 c = llvm::ConstantExpr::getBitCast(c, targetTy);
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	673 iinits.push_back(c);
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	674 Logger::cout() << "c: " << *c << '\n';
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	675 }
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	676
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	677 #if OPAQUE_VTBLS
aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	678 Logger::cout() << "n: " << iinits.size() << " ivtbl_ty: " << *ivtbl_ty << '\n';
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	679 LLConstant* civtblInit = llvm::ConstantArray::get(ivtbl_ty, iinits);
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	680 iri->vtblInit = llvm::cast<llvm::ConstantArray>(civtblInit);
aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	681 #else
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	682 LLConstant* civtblInit = llvm::ConstantStruct::get(ivtbl_ty, iinits);
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	683 iri->vtblInit = llvm::cast<llvm::ConstantStruct>(civtblInit);
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	684 #endif
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	685 }
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	686 }
0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	687 // we always generate interfaceinfos as best we can
177 cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	688 else
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	689 {
177 cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	690 // TODO: this is duplicated code from right above... I'm just too lazy to generalise it right now :/
cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	691 // create interface vtable const initalizers
cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	692 for (IrStruct::InterfaceVectorIter i=irstruct->interfaceVec.begin(); i!=irstruct->interfaceVec.end(); ++i)
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	693 {
177 cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	694 IrInterface* iri = *i;
cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	695 BaseClass* b = iri->base;
cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	696
cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	697 ClassDeclaration* id = iri->decl;
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	698 assert(id->type->ty == Tclass);
0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	699 TypeClass* its = (TypeClass*)id->type;
0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	700
0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	701 // generate interface info initializer
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	702 std::vector<LLConstant*> infoInits;
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	703
0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	704 // classinfo
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	705 assert(id->ir.irStruct->classInfo);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	706 LLConstant* c = id->ir.irStruct->classInfo;
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	707 infoInits.push_back(c);
0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	708
0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	709 // vtbl
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	710 const LLType* byteptrptrty = getPtrToType(getPtrToType(LLType::Int8Ty));
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	711 c = DtoConstSlice(DtoConstSize_t(0), getNullPtr(byteptrptrty));
0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	712 infoInits.push_back(c);
0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	713
0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	714 // offset
177 cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	715 assert(iri->index >= 0);
cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	716 size_t ioff = gTargetData->getStructLayout(isaStruct(cd->type->ir.type->get()))->getElementOffset(iri->index);
cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	717 infoInits.push_back(DtoConstUint(ioff));
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	718
0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	719 // create interface info initializer constant
0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	720 iri->infoInit = llvm::cast<llvm::ConstantStruct>(llvm::ConstantStruct::get(iri->infoTy, infoInits));
0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	721 }
177 cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	722 }
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	723
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	724 gIR->classes.pop_back();
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	725 gIR->structs.pop_back();
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	726 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	727
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	728 //////////////////////////////////////////////////////////////////////////////////////////
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	729
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	730 void DtoDefineClass(ClassDeclaration* cd)
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	731 {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	732 if (cd->ir.defined) return;
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	733 cd->ir.defined = true;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	734
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	735 Logger::println("DtoDefineClass(%s): %s", cd->toPrettyChars(), cd->loc.toChars());
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	736 LOG_SCOPE;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	737
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	738 // get the struct (class) type
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	739 assert(cd->type->ty == Tclass);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	740 TypeClass* ts = (TypeClass*)cd->type;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	741
147 0636f6269dfd [svn r152] Relates to ticket #34. Always emit class definition if it is a template instance. Linkage still needs to be fixed. ChristianK parents: 142 diff changeset	742 if (cd->getModule() == gIR->dmodule \|\| DtoIsTemplateInstance(cd)) {
177 cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	743
cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	744 // interfaces don't have static initializer/vtable
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	745 // neither do abstract classes
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	746 if (!cd->isInterfaceDeclaration() && !cd->isAbstract())
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	747 {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	748 cd->ir.irStruct->init->setInitializer(cd->ir.irStruct->constInit);
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	749 cd->ir.irStruct->vtbl->setInitializer(cd->ir.irStruct->constVtbl);
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	750
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	751 // initialize interface vtables
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	752 IrStruct* irstruct = cd->ir.irStruct;
142 a123dca8349b [svn r146] fixed some potential problems with mismatch in order of interfaces in class data layout lindquist parents: 138 diff changeset	753 for (IrStruct::InterfaceVectorIter i=irstruct->interfaceVec.begin(); i!=irstruct->interfaceVec.end(); ++i)
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	754 {
142 a123dca8349b [svn r146] fixed some potential problems with mismatch in order of interfaces in class data layout lindquist parents: 138 diff changeset	755 IrInterface* iri = *i;
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	756 iri->vtbl->setInitializer(iri->vtblInit);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	757 }
177 cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	758 }
cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	759
cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	760 // always do interface info array when possible
cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	761 IrStruct* irstruct = cd->ir.irStruct;
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	762 std::vector<LLConstant*> infoInits;
177 cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	763 for (IrStruct::InterfaceVectorIter i=irstruct->interfaceVec.begin(); i!=irstruct->interfaceVec.end(); ++i)
cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	764 {
cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	765 IrInterface* iri = *i;
cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	766 infoInits.push_back(iri->infoInit);
cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	767 }
cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	768 // set initializer
cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	769 if (!infoInits.empty())
cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	770 {
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	771 LLConstant* arrInit = llvm::ConstantArray::get(irstruct->interfaceInfosTy, infoInits);
177 cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	772 irstruct->interfaceInfos->setInitializer(arrInit);
cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	773 }
cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	774 else
cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	775 {
cea8dcfa76df [svn r193] Fixed: abstract classes implementing interfaces now output proper Interface info arrays. (null vtables). lindquist parents: 173 diff changeset	776 assert(irstruct->interfaceInfos == NULL);
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	777 }
123 7f9a0a58394b [svn r127] Updated the lphobos build scripts a little. Created a new rebuild profile. lindquist parents: 121 diff changeset	778
7f9a0a58394b [svn r127] Updated the lphobos build scripts a little. Created a new rebuild profile. lindquist parents: 121 diff changeset	779 // generate classinfo
7f9a0a58394b [svn r127] Updated the lphobos build scripts a little. Created a new rebuild profile. lindquist parents: 121 diff changeset	780 DtoDefineClassInfo(cd);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	781 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	782 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	783
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	784 //////////////////////////////////////////////////////////////////////////////////////////
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	785
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	786 DValue* DtoNewClass(TypeClass* tc, NewExp* newexp)
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	787 {
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	788 // resolve type
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	789 DtoForceDeclareDsymbol(tc->sym);
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	790
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	791 // allocate
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	792 LLValue* mem;
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	793 if (newexp->onstack)
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	794 {
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	795 mem = new llvm::AllocaInst(DtoType(tc)->getContainedType(0), "newclass_alloca", gIR->topallocapoint());
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	796 }
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	797 else
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	798 {
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	799 llvm::Function* fn = LLVM_D_GetRuntimeFunction(gIR->module, "_d_newclass");
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	800 mem = gIR->ir->CreateCall(fn, tc->sym->ir.irStruct->classInfo, "newclass_gc_alloc");
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	801 mem = DtoBitCast(mem, DtoType(tc), "newclass_gc");
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	802 }
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	803
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	804 // init
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	805 DtoInitClass(tc, mem);
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	806
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	807 // init inner-class outer reference
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	808 if (newexp->thisexp)
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	809 {
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	810 Logger::println("Resolving outer class");
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	811 LOG_SCOPE;
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	812 DValue* thisval = newexp->thisexp->toElem(gIR);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	813 size_t idx = 2 + tc->sym->vthis->ir.irField->index;
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	814 LLValue* src = thisval->getRVal();
7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	815 LLValue* dst = DtoGEPi(mem,0,idx,"tmp");
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	816 Logger::cout() << "dst: " << dst << "\nsrc: " << src << '\n';
169 2df270e1ba59 [svn r185] Fixed broken nested classes with data members, did DMD change the class layout? tango.text.Regex now compiles. lindquist parents: 163 diff changeset	817 DtoStore(src, dst);
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	818 }
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	819 // set the context for nested classes
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	820 else if (tc->sym->isNested())
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	821 {
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	822 Logger::println("Resolving nested context");
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	823 LOG_SCOPE;
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	824 size_t idx = 2;
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	825 //idx += tc->sym->ir.irStruct->interfaces.size();
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	826 LLValue* nest = gIR->func()->decl->ir.irFunc->nestedVar;
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	827 if (!nest)
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	828 nest = gIR->func()->decl->ir.irFunc->thisVar;
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	829 assert(nest);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	830 LLValue* gep = DtoGEPi(mem,0,idx,"tmp");
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	831 nest = DtoBitCast(nest, gep->getType()->getContainedType(0));
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	832 DtoStore(nest, gep);
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	833 }
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	834
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	835 // call constructor
160 b77664331d06 [svn r176] Fixed a bug with class constructors. lindquist parents: 157 diff changeset	836 if (newexp->member)
b77664331d06 [svn r176] Fixed a bug with class constructors. lindquist parents: 157 diff changeset	837 {
b77664331d06 [svn r176] Fixed a bug with class constructors. lindquist parents: 157 diff changeset	838 assert(newexp->arguments != NULL);
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	839 return DtoCallClassCtor(tc, newexp->member, newexp->arguments, mem);
160 b77664331d06 [svn r176] Fixed a bug with class constructors. lindquist parents: 157 diff changeset	840 }
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	841
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	842 // return default constructed class
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	843 return new DImValue(tc, mem, false);
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	844 }
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	845
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	846 //////////////////////////////////////////////////////////////////////////////////////////
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	847
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	848 void DtoInitClass(TypeClass* tc, LLValue* dst)
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	849 {
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	850 size_t presz = 2*getABITypeSize(DtoSize_t());
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	851 uint64_t n = getABITypeSize(tc->ir.type->get()) - presz;
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	852
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	853 // set vtable field seperately, this might give better optimization
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	854 assert(tc->sym->ir.irStruct->vtbl);
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	855 DtoStore(tc->sym->ir.irStruct->vtbl, DtoGEPi(dst,0,0,"vtbl"));
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	856
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	857 // monitor always defaults to zero
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	858 LLValue* tmp = DtoGEPi(dst,0,1,"monitor");
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	859 DtoStore(llvm::Constant::getNullValue(tmp->getType()->getContainedType(0)), tmp);
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	860
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	861 // done?
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	862 if (n == 0)
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	863 return;
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	864
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	865 // copy the rest from the static initializer
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	866 assert(tc->sym->ir.irStruct->init);
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	867 assert(dst->getType() == tc->sym->ir.irStruct->init->getType());
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	868
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	869 LLValue* dstarr = DtoGEPi(dst,0,2,"tmp");
7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	870 LLValue* srcarr = DtoGEPi(tc->sym->ir.irStruct->init,0,2,"tmp");
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	871
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	872 DtoMemCpy(dstarr, srcarr, DtoConstSize_t(n));
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	873 }
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	874
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	875 //////////////////////////////////////////////////////////////////////////////////////////
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	876
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	877 DValue* DtoCallClassCtor(TypeClass* type, CtorDeclaration* ctor, Array* arguments, LLValue* mem)
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	878 {
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	879 Logger::println("Calling constructor");
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	880 LOG_SCOPE;
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	881
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	882 assert(ctor);
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	883 DtoForceDeclareDsymbol(ctor);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	884 llvm::Function* fn = ctor->ir.irFunc->func;
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	885 TypeFunction* tf = (TypeFunction*)DtoDType(ctor->type);
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	886
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	887 llvm::PAListPtr palist;
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	888
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	889 std::vector<LLValue*> ctorargs;
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	890 ctorargs.push_back(mem);
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	891 for (size_t i=0; i<arguments->dim; ++i)
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	892 {
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	893 Expression* ex = (Expression*)arguments->data[i];
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	894 Argument* fnarg = Argument::getNth(tf->parameters, i);
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	895 DValue* argval = DtoArgument(fnarg, ex);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	896 LLValue* a = argval->getRVal();
7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	897 const LLType* aty = fn->getFunctionType()->getParamType(i+1);
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	898 if (a->getType() != aty)
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	899 a = DtoBitCast(a, aty);
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	900 ctorargs.push_back(a);
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	901 if (fnarg && fnarg->llvmByVal)
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	902 palist = palist.addAttr(i+2, llvm::ParamAttr::ByVal); // return,this is 2
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	903 }
205 9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 201 diff changeset	904 llvm::CallInst* call = llvm::CallInst::Create(fn, ctorargs.begin(), ctorargs.end(), "tmp", gIR->scopebb());
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	905 call->setCallingConv(DtoCallingConv(LINKd));
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	906 call->setParamAttrs(palist);
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	907
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	908 return new DImValue(type, call, false);
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	909 }
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	910
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	911 //////////////////////////////////////////////////////////////////////////////////////////
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	912
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	913 void DtoFinalizeClass(LLValue* inst)
209 c4c9b4ac021b [svn r225] Fixed: delete expressions no longer use llvm's free instruction, which crashes on a GC provided pointer. lindquist parents: 205 diff changeset	914 {
c4c9b4ac021b [svn r225] Fixed: delete expressions no longer use llvm's free instruction, which crashes on a GC provided pointer. lindquist parents: 205 diff changeset	915 // get runtime function
c4c9b4ac021b [svn r225] Fixed: delete expressions no longer use llvm's free instruction, which crashes on a GC provided pointer. lindquist parents: 205 diff changeset	916 llvm::Function* fn = LLVM_D_GetRuntimeFunction(gIR->module, "_d_callfinalizer");
c4c9b4ac021b [svn r225] Fixed: delete expressions no longer use llvm's free instruction, which crashes on a GC provided pointer. lindquist parents: 205 diff changeset	917 // build args
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	918 LLSmallVector<LLValue*,1> arg;
209 c4c9b4ac021b [svn r225] Fixed: delete expressions no longer use llvm's free instruction, which crashes on a GC provided pointer. lindquist parents: 205 diff changeset	919 arg.push_back(DtoBitCast(inst, fn->getFunctionType()->getParamType(0), ".tmp"));
c4c9b4ac021b [svn r225] Fixed: delete expressions no longer use llvm's free instruction, which crashes on a GC provided pointer. lindquist parents: 205 diff changeset	920 // call
c4c9b4ac021b [svn r225] Fixed: delete expressions no longer use llvm's free instruction, which crashes on a GC provided pointer. lindquist parents: 205 diff changeset	921 llvm::CallInst::Create(fn, arg.begin(), arg.end(), "", gIR->scopebb());
c4c9b4ac021b [svn r225] Fixed: delete expressions no longer use llvm's free instruction, which crashes on a GC provided pointer. lindquist parents: 205 diff changeset	922 }
c4c9b4ac021b [svn r225] Fixed: delete expressions no longer use llvm's free instruction, which crashes on a GC provided pointer. lindquist parents: 205 diff changeset	923
c4c9b4ac021b [svn r225] Fixed: delete expressions no longer use llvm's free instruction, which crashes on a GC provided pointer. lindquist parents: 205 diff changeset	924 //////////////////////////////////////////////////////////////////////////////////////////
c4c9b4ac021b [svn r225] Fixed: delete expressions no longer use llvm's free instruction, which crashes on a GC provided pointer. lindquist parents: 205 diff changeset	925
114 5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	926 DValue* DtoCastClass(DValue* val, Type* _to)
5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	927 {
138 aeddd4d533b3 [svn r142] minor fix to dynamic casts. lindquist parents: 137 diff changeset	928 Logger::println("DtoCastClass(%s, %s)", val->getType()->toChars(), _to->toChars());
aeddd4d533b3 [svn r142] minor fix to dynamic casts. lindquist parents: 137 diff changeset	929 LOG_SCOPE;
aeddd4d533b3 [svn r142] minor fix to dynamic casts. lindquist parents: 137 diff changeset	930
114 5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	931 Type* to = DtoDType(_to);
5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	932 if (to->ty == Tpointer) {
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	933 const LLType* tolltype = DtoType(_to);
7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	934 LLValue* rval = DtoBitCast(val->getRVal(), tolltype);
114 5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	935 return new DImValue(_to, rval);
5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	936 }
5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	937
5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	938 assert(to->ty == Tclass);
5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	939 TypeClass* tc = (TypeClass*)to;
5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	940
5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	941 Type* from = DtoDType(val->getType());
5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	942 TypeClass* fc = (TypeClass*)from;
5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	943
5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	944 if (tc->sym->isInterfaceDeclaration()) {
138 aeddd4d533b3 [svn r142] minor fix to dynamic casts. lindquist parents: 137 diff changeset	945 Logger::println("to interface");
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	946 if (fc->sym->isInterfaceDeclaration()) {
138 aeddd4d533b3 [svn r142] minor fix to dynamic casts. lindquist parents: 137 diff changeset	947 Logger::println("from interface");
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	948 return DtoDynamicCastInterface(val, _to);
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	949 }
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	950 else {
138 aeddd4d533b3 [svn r142] minor fix to dynamic casts. lindquist parents: 137 diff changeset	951 Logger::println("from object");
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	952 return DtoDynamicCastObject(val, _to);
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	953 }
114 5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	954 }
5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	955 else {
138 aeddd4d533b3 [svn r142] minor fix to dynamic casts. lindquist parents: 137 diff changeset	956 Logger::println("to object");
114 5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	957 int poffset;
5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	958 if (fc->sym->isInterfaceDeclaration()) {
138 aeddd4d533b3 [svn r142] minor fix to dynamic casts. lindquist parents: 137 diff changeset	959 Logger::println("interface cast");
114 5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	960 return DtoCastInterfaceToObject(val, _to);
5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	961 }
138 aeddd4d533b3 [svn r142] minor fix to dynamic casts. lindquist parents: 137 diff changeset	962 else if (!tc->sym->isInterfaceDeclaration() && tc->sym->isBaseOf(fc->sym,NULL)) {
aeddd4d533b3 [svn r142] minor fix to dynamic casts. lindquist parents: 137 diff changeset	963 Logger::println("static down cast)");
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	964 const LLType* tolltype = DtoType(_to);
7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	965 LLValue* rval = DtoBitCast(val->getRVal(), tolltype);
114 5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	966 return new DImValue(_to, rval);
5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	967 }
5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	968 else {
138 aeddd4d533b3 [svn r142] minor fix to dynamic casts. lindquist parents: 137 diff changeset	969 Logger::println("dynamic up cast");
114 5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	970 return DtoDynamicCastObject(val, _to);
5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	971 }
5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	972 }
5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	973 }
5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	974
5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	975 //////////////////////////////////////////////////////////////////////////////////////////
5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	976
5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	977 DValue* DtoDynamicCastObject(DValue* val, Type* _to)
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	978 {
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	979 // call:
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	980 // Object _d_dynamic_cast(Object o, ClassInfo c)
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	981
114 5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	982 DtoForceDeclareDsymbol(ClassDeclaration::object);
5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	983 DtoForceDeclareDsymbol(ClassDeclaration::classinfo);
5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	984
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	985 llvm::Function* func = LLVM_D_GetRuntimeFunction(gIR->module, "_d_dynamic_cast");
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	986 const llvm::FunctionType* funcTy = func->getFunctionType();
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	987
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	988 std::vector<LLValue*> args;
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	989
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	990 // Object o
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	991 LLValue* obj = val->getRVal();
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	992 obj = DtoBitCast(obj, funcTy->getParamType(0));
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	993 assert(funcTy->getParamType(0) == obj->getType());
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	994
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	995 // ClassInfo c
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	996 TypeClass* to = (TypeClass*)DtoDType(_to);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	997 DtoForceDeclareDsymbol(to->sym);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	998 assert(to->sym->ir.irStruct->classInfo);
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	999 LLValue* cinfo = to->sym->ir.irStruct->classInfo;
114 5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	1000 // unfortunately this is needed as the implementation of object differs somehow from the declaration
5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	1001 // this could happen in user code as well :/
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	1002 cinfo = DtoBitCast(cinfo, funcTy->getParamType(1));
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	1003 assert(funcTy->getParamType(1) == cinfo->getType());
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1004
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1005 // call it
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	1006 LLValue* ret = gIR->ir->CreateCall2(func, obj, cinfo, "tmp");
114 5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	1007
5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	1008 // cast return value
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1009 ret = DtoBitCast(ret, DtoType(_to));
114 5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	1010
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1011 return new DImValue(_to, ret);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1012 }
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1013
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1014 //////////////////////////////////////////////////////////////////////////////////////////
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1015
114 5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	1016 DValue* DtoCastInterfaceToObject(DValue* val, Type* to)
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1017 {
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1018 // call:
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1019 // Object _d_toObject(void* p)
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1020
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1021 llvm::Function* func = LLVM_D_GetRuntimeFunction(gIR->module, "_d_toObject");
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1022 const llvm::FunctionType* funcTy = func->getFunctionType();
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1023
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1024 // void* p
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	1025 LLValue* tmp = val->getRVal();
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1026 tmp = DtoBitCast(tmp, funcTy->getParamType(0));
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1027
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1028 // call it
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	1029 LLValue* ret = gIR->ir->CreateCall(func, tmp, "tmp");
114 5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	1030
5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	1031 // cast return value
5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	1032 if (to != NULL)
5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	1033 ret = DtoBitCast(ret, DtoType(to));
5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	1034 else
5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	1035 to = ClassDeclaration::object->type;
5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	1036
5880c12dba83 [svn r118] Fixed dynamic casts. lindquist parents: 113 diff changeset	1037 return new DImValue(to, ret);
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1038 }
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1039
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1040 //////////////////////////////////////////////////////////////////////////////////////////
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1041
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1042 DValue* DtoDynamicCastInterface(DValue* val, Type* _to)
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1043 {
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1044 // call:
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1045 // Object _d_interface_cast(void* p, ClassInfo c)
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1046
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1047 DtoForceDeclareDsymbol(ClassDeclaration::object);
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1048 DtoForceDeclareDsymbol(ClassDeclaration::classinfo);
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1049
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1050 llvm::Function* func = LLVM_D_GetRuntimeFunction(gIR->module, "_d_interface_cast");
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1051 const llvm::FunctionType* funcTy = func->getFunctionType();
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1052
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	1053 std::vector<LLValue*> args;
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1054
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1055 // void* p
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	1056 LLValue* ptr = val->getRVal();
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	1057 ptr = DtoBitCast(ptr, funcTy->getParamType(0));
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1058
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1059 // ClassInfo c
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1060 TypeClass* to = (TypeClass*)DtoDType(_to);
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1061 DtoForceDeclareDsymbol(to->sym);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1062 assert(to->sym->ir.irStruct->classInfo);
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	1063 LLValue* cinfo = to->sym->ir.irStruct->classInfo;
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1064 // unfortunately this is needed as the implementation of object differs somehow from the declaration
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1065 // this could happen in user code as well :/
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	1066 cinfo = DtoBitCast(cinfo, funcTy->getParamType(1));
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1067
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1068 // call it
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	1069 LLValue* ret = gIR->ir->CreateCall2(func, ptr, cinfo, "tmp");
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1070
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1071 // cast return value
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1072 ret = DtoBitCast(ret, DtoType(_to));
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1073
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1074 return new DImValue(_to, ret);
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1075 }
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1076
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1077 //////////////////////////////////////////////////////////////////////////////////////////
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1078
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1079 static unsigned LLVM_ClassOffsetToIndex(ClassDeclaration* cd, unsigned os, unsigned& idx)
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1080 {
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1081 // start at the bottom of the inheritance chain
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1082 if (cd->baseClass != 0) {
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1083 unsigned o = LLVM_ClassOffsetToIndex(cd->baseClass, os, idx);
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1084 if (o != (unsigned)-1)
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1085 return o;
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1086 }
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1087
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1088 // check this class
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1089 unsigned i;
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1090 for (i=0; i<cd->fields.dim; ++i) {
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1091 VarDeclaration* vd = (VarDeclaration*)cd->fields.data[i];
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1092 if (os == vd->offset)
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1093 return i+idx;
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1094 }
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1095 idx += i;
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1096
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1097 return (unsigned)-1;
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1098 }
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1099
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1100 //////////////////////////////////////////////////////////////////////////////////////////
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1101
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1102 void ClassDeclaration::offsetToIndex(Type* t, unsigned os, std::vector<unsigned>& result)
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1103 {
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1104 unsigned idx = 0;
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1105 unsigned r = LLVM_ClassOffsetToIndex(this, os, idx);
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1106 assert(r != (unsigned)-1 && "Offset not found in any aggregate field");
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1107 // vtable is 0, monitor is 1
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1108 r += 2;
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1109 // interface offset further
142 a123dca8349b [svn r146] fixed some potential problems with mismatch in order of interfaces in class data layout lindquist parents: 138 diff changeset	1110 //r += vtblInterfaces->dim;
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1111 // the final index was not pushed
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1112 result.push_back(r);
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1113 }
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1114
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1115 //////////////////////////////////////////////////////////////////////////////////////////
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1116
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	1117 LLValue* DtoIndexClass(LLValue* ptr, ClassDeclaration* cd, Type* t, unsigned os, DStructIndexVector& idxs)
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1118 {
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1119 Logger::println("checking for offset %u type %s:", os, t->toChars());
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1120 LOG_SCOPE;
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1121
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1122 if (idxs.empty())
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1123 idxs.push_back(0);
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1124
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	1125 const LLType* st = DtoType(cd->type);
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1126 if (ptr->getType() != st) {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1127 //assert(cd->ir.irStruct->hasUnions);
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1128 ptr = gIR->ir->CreateBitCast(ptr, st, "tmp");
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1129 }
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1130
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	1131 const LLType* llt = getPtrToType(DtoType(t));
137 ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	1132 unsigned dataoffset = 2;
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1133
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1134 IrStruct* irstruct = cd->ir.irStruct;
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	1135 for (IrStruct::OffsetMap::iterator i=irstruct->offsets.begin(); i!=irstruct->offsets.end(); ++i) {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1136 //for (unsigned i=0; i<cd->fields.dim; ++i) {
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1137 //VarDeclaration* vd = (VarDeclaration*)cd->fields.data[i];
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1138 VarDeclaration* vd = i->second.var;
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1139 assert(vd);
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1140 Type* vdtype = DtoDType(vd->type);
169 2df270e1ba59 [svn r185] Fixed broken nested classes with data members, did DMD change the class layout? tango.text.Regex now compiles. lindquist parents: 163 diff changeset	1141 //Logger::println("found %u type %s", vd->offset, vdtype->toChars());
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1142 assert(vd->ir.irField->index >= 0);
201 8f9191180c7a [svn r217] Updated: the rebuild profiles. lindquist parents: 199 diff changeset	1143 if (os == vd->offset && vdtype->toBasetype() == t->toBasetype()) {
169 2df270e1ba59 [svn r185] Fixed broken nested classes with data members, did DMD change the class layout? tango.text.Regex now compiles. lindquist parents: 163 diff changeset	1144 Logger::println("found %s %s", vdtype->toChars(), vd->toChars());
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1145 idxs.push_back(vd->ir.irField->index + dataoffset);
169 2df270e1ba59 [svn r185] Fixed broken nested classes with data members, did DMD change the class layout? tango.text.Regex now compiles. lindquist parents: 163 diff changeset	1146 //Logger::cout() << "indexing: " << *ptr << '\n';
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	1147 ptr = DtoGEPi(ptr, idxs, "tmp");
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1148 if (ptr->getType() != llt)
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1149 ptr = gIR->ir->CreateBitCast(ptr, llt, "tmp");
169 2df270e1ba59 [svn r185] Fixed broken nested classes with data members, did DMD change the class layout? tango.text.Regex now compiles. lindquist parents: 163 diff changeset	1150 //Logger::cout() << "indexing: " << *ptr << '\n';
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1151 if (vd->ir.irField->indexOffset)
205 9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 201 diff changeset	1152 ptr = llvm::GetElementPtrInst::Create(ptr, DtoConstUint(vd->ir.irField->indexOffset), "tmp", gIR->scopebb());
169 2df270e1ba59 [svn r185] Fixed broken nested classes with data members, did DMD change the class layout? tango.text.Regex now compiles. lindquist parents: 163 diff changeset	1153 //Logger::cout() << "indexing: " << *ptr << '\n';
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1154 return ptr;
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1155 }
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1156 else if (vdtype->ty == Tstruct && (vd->offset + vdtype->size()) > os) {
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1157 TypeStruct* ts = (TypeStruct*)vdtype;
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1158 StructDeclaration* ssd = ts->sym;
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1159 idxs.push_back(vd->ir.irField->index + dataoffset);
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1160 if (vd->ir.irField->indexOffset) {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1161 Logger::println("has union field offset");
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	1162 ptr = DtoGEPi(ptr, idxs, "tmp");
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1163 if (ptr->getType() != llt)
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1164 ptr = gIR->ir->CreateBitCast(ptr, llt, "tmp");
205 9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 201 diff changeset	1165 ptr = llvm::GetElementPtrInst::Create(ptr, DtoConstUint(vd->ir.irField->indexOffset), "tmp", gIR->scopebb());
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	1166 DStructIndexVector tmp;
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1167 return DtoIndexStruct(ptr, ssd, t, os-vd->offset, tmp);
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1168 }
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1169 else {
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	1170 const LLType* sty = getPtrToType(DtoType(vd->type));
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1171 if (ptr->getType() != sty) {
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1172 ptr = gIR->ir->CreateBitCast(ptr, sty, "tmp");
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	1173 DStructIndexVector tmp;
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1174 return DtoIndexStruct(ptr, ssd, t, os-vd->offset, tmp);
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1175 }
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1176 else {
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1177 return DtoIndexStruct(ptr, ssd, t, os-vd->offset, idxs);
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1178 }
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1179 }
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1180 }
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1181 }
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1182
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1183 assert(0);
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1184
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1185 size_t llt_sz = getABITypeSize(llt->getContainedType(0));
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1186 assert(os % llt_sz == 0);
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1187 ptr = gIR->ir->CreateBitCast(ptr, llt, "tmp");
205 9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 201 diff changeset	1188 return llvm::GetElementPtrInst::Create(ptr, DtoConstUint(os / llt_sz), "tmp", gIR->scopebb());
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1189 }
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1190
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1191 //////////////////////////////////////////////////////////////////////////////////////////
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 123 diff changeset	1192
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	1193 LLValue* DtoVirtualFunctionPointer(DValue* inst, FuncDeclaration* fdecl)
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1194 {
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1195 assert(fdecl->isVirtual());//fdecl->isAbstract() \|\| (!fdecl->isFinal() && fdecl->isVirtual()));
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1196 assert(fdecl->vtblIndex > 0);
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1197 assert(DtoDType(inst->getType())->ty == Tclass);
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1198
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	1199 LLValue* vthis = inst->getRVal();
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	1200 Logger::cout() << "vthis: " << *vthis << '\n';
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1201
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	1202 LLValue* funcval;
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1203 funcval = DtoGEPi(vthis, 0, 0, "tmp");
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1204 funcval = DtoLoad(funcval);
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1205 funcval = DtoGEPi(funcval, 0, fdecl->vtblIndex, fdecl->toPrettyChars());
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1206 funcval = DtoLoad(funcval);
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1207
193 aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	1208 Logger::cout() << "funcval: " << *funcval << '\n';
aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	1209
aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	1210 #if OPAQUE_VTBLS
aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	1211 funcval = DtoBitCast(funcval, getPtrToType(DtoType(fdecl->type)));
aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	1212 Logger::cout() << "funcval casted: " << *funcval << '\n';
aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	1213 #endif
aca17e55b7a5 [svn r209] Fixed: exotic array to pointer casts were broken. lindquist parents: 192 diff changeset	1214
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1215 //assert(funcval->getType() == DtoType(fdecl->type));
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1216 //cc = DtoCallingConv(fdecl->linkage);
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1217
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1218 return funcval;
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1219 }
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1220
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1221 //////////////////////////////////////////////////////////////////////////////////////////
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1222
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1223 void DtoDeclareClassInfo(ClassDeclaration* cd)
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1224 {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1225 if (cd->ir.irStruct->classDeclared) return;
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1226 cd->ir.irStruct->classDeclared = true;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1227
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	1228 Logger::println("DtoDeclareClassInfo(%s)", cd->toChars());
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1229 LOG_SCOPE;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1230
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1231 ClassDeclaration* cinfo = ClassDeclaration::classinfo;
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	1232 DtoResolveClass(cinfo);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1233
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1234 std::string gname("_D");
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1235 gname.append(cd->mangle());
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1236 if (!cd->isInterfaceDeclaration())
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1237 gname.append("7__ClassZ");
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1238 else
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1239 gname.append("11__InterfaceZ");
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1240
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	1241 const LLType* st = cinfo->type->ir.type->get();
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	1242
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1243 cd->ir.irStruct->classInfo = new llvm::GlobalVariable(st, true, DtoLinkage(cd), NULL, gname, gIR->module);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1244 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1245
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	1246 static LLConstant* build_offti_entry(VarDeclaration* vd)
110 e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1247 {
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	1248 std::vector<const LLType*> types;
7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	1249 std::vector<LLConstant*> inits;
110 e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1250
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1251 types.push_back(DtoSize_t());
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1252
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1253 size_t offset = vd->offset; // TODO might not be the true offset
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1254 // dmd only accounts for the vtable, not classinfo or monitor
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1255 if (global.params.is64bit)
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1256 offset += 8;
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1257 else
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1258 offset += 4;
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1259 inits.push_back(DtoConstSize_t(offset));
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1260
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1261 vd->type->getTypeInfo(NULL);
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1262 assert(vd->type->vtinfo);
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1263 DtoForceDeclareDsymbol(vd->type->vtinfo);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	1264 LLConstant* c = isaConstant(vd->type->vtinfo->ir.getIrValue());
110 e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1265
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	1266 const LLType* tiTy = getPtrToType(Type::typeinfo->type->ir.type->get());
123 7f9a0a58394b [svn r127] Updated the lphobos build scripts a little. Created a new rebuild profile. lindquist parents: 121 diff changeset	1267 //Logger::cout() << "tiTy = " << *tiTy << '\n';
110 e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1268
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1269 types.push_back(tiTy);
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1270 inits.push_back(llvm::ConstantExpr::getBitCast(c, tiTy));
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1271
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1272 const llvm::StructType* sTy = llvm::StructType::get(types);
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1273 return llvm::ConstantStruct::get(sTy, inits);
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1274 }
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1275
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	1276 static LLConstant* build_offti_array(ClassDeclaration* cd, LLConstant* init)
110 e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1277 {
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1278 const llvm::StructType* initTy = isaStruct(init->getType());
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1279 assert(initTy);
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1280
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	1281 std::vector<LLConstant*> arrayInits;
110 e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1282 for (ClassDeclaration *cd2 = cd; cd2; cd2 = cd2->baseClass)
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1283 {
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1284 if (cd2->members)
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1285 {
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1286 for (size_t i = 0; i < cd2->members->dim; i++)
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1287 {
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1288 Dsymbol sm = (Dsymbol )cd2->members->data[i];
112 368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1289 if (VarDeclaration* vd = sm->isVarDeclaration()) // is this enough?
110 e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1290 {
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	1291 LLConstant* c = build_offti_entry(vd);
110 e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1292 assert(c);
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1293 arrayInits.push_back(c);
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1294 }
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1295 }
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1296 }
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1297 }
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1298
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1299 size_t ninits = arrayInits.size();
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	1300 LLConstant* size = DtoConstSize_t(ninits);
7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	1301 LLConstant* ptr;
110 e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1302
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1303 if (ninits > 0) {
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1304 // OffsetTypeInfo type
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	1305 std::vector<const LLType*> elemtypes;
110 e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1306 elemtypes.push_back(DtoSize_t());
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	1307 const LLType* tiTy = getPtrToType(Type::typeinfo->type->ir.type->get());
110 e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1308 elemtypes.push_back(tiTy);
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1309 const llvm::StructType* sTy = llvm::StructType::get(elemtypes);
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1310
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1311 // array type
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1312 const llvm::ArrayType* arrTy = llvm::ArrayType::get(sTy, ninits);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	1313 LLConstant* arrInit = llvm::ConstantArray::get(arrTy, arrayInits);
110 e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1314
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1315 std::string name(cd->type->vtinfo->toChars());
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1316 name.append("__OffsetTypeInfos");
149 4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 147 diff changeset	1317
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 147 diff changeset	1318 llvm::GlobalVariable* gvar = new llvm::GlobalVariable(arrTy,true,DtoInternalLinkage(cd),arrInit,name,gIR->module);
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1319 ptr = llvm::ConstantExpr::getBitCast(gvar, getPtrToType(sTy));
110 e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1320 }
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1321 else {
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1322 ptr = llvm::ConstantPointerNull::get(isaPointer(initTy->getElementType(1)));
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1323 }
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1324
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1325 return DtoConstSlice(size, ptr);
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1326 }
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	1327
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	1328 static LLConstant* build_class_dtor(ClassDeclaration* cd)
112 368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1329 {
268 23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 244 diff changeset	1330 #if 0
112 368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1331 // construct the function
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	1332 std::vector<const LLType*> paramTypes;
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1333 paramTypes.push_back(getPtrToType(cd->type->ir.type->get()));
112 368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1334
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	1335 const llvm::FunctionType* fnTy = llvm::FunctionType::get(LLType::VoidTy, paramTypes, false);
112 368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1336
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1337 if (cd->dtors.dim == 0) {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	1338 return llvm::ConstantPointerNull::get(getPtrToType(LLType::Int8Ty));
112 368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1339 }
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1340 else if (cd->dtors.dim == 1) {
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1341 DtorDeclaration d = (DtorDeclaration )cd->dtors.data[0];
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1342 DtoForceDeclareDsymbol(d);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1343 assert(d->ir.irFunc->func);
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	1344 return llvm::ConstantExpr::getBitCast(isaConstant(d->ir.irFunc->func), getPtrToType(LLType::Int8Ty));
112 368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1345 }
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1346
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1347 std::string gname("_D");
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1348 gname.append(cd->mangle());
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1349 gname.append("12__destructorMFZv");
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1350
205 9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 201 diff changeset	1351 llvm::Function* func = llvm::Function::Create(fnTy, DtoInternalLinkage(cd), gname, gIR->module);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	1352 LLValue* thisptr = func->arg_begin();
112 368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1353 thisptr->setName("this");
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1354
205 9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 201 diff changeset	1355 llvm::BasicBlock* bb = llvm::BasicBlock::Create("entry", func);
9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 201 diff changeset	1356 IRBuilder builder(bb);
112 368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1357
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1358 for (size_t i = 0; i < cd->dtors.dim; i++)
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1359 {
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1360 DtorDeclaration d = (DtorDeclaration )cd->dtors.data[i];
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1361 DtoForceDeclareDsymbol(d);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1362 assert(d->ir.irFunc->func);
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1363 builder.CreateCall(d->ir.irFunc->func, thisptr);
112 368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1364 }
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1365 builder.CreateRetVoid();
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1366
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	1367 return llvm::ConstantExpr::getBitCast(func, getPtrToType(LLType::Int8Ty));
268 23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 244 diff changeset	1368 #else
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 244 diff changeset	1369
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 244 diff changeset	1370 FuncDeclaration* dtor = cd->dtor;
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 244 diff changeset	1371
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 244 diff changeset	1372 // if no destructor emit a null
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 244 diff changeset	1373 if (!dtor)
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 244 diff changeset	1374 return getNullPtr(getVoidPtrType());
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 244 diff changeset	1375
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 244 diff changeset	1376 DtoForceDeclareDsymbol(dtor);
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 244 diff changeset	1377 return llvm::ConstantExpr::getBitCast(dtor->ir.irFunc->func, getPtrToType(LLType::Int8Ty));
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 244 diff changeset	1378 #endif
112 368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1379 }
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1380
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1381 static uint build_classinfo_flags(ClassDeclaration* cd)
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1382 {
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1383 // adapted from original dmd code
112 368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1384 uint flags = 0;
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1385 //flags \|= isCOMclass(); // IUnknown
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1386 bool hasOffTi = false;
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1387 if (cd->ctor) flags \|= 8;
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1388 for (ClassDeclaration *cd2 = cd; cd2; cd2 = cd2->baseClass)
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1389 {
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1390 if (cd2->members)
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1391 {
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1392 for (size_t i = 0; i < cd2->members->dim; i++)
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1393 {
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1394 Dsymbol sm = (Dsymbol )cd2->members->data[i];
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1395 if (sm->isVarDeclaration()) // is this enough?
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1396 hasOffTi = true;
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1397 //printf("sm = %s %s\n", sm->kind(), sm->toChars());
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1398 if (sm->hasPointers())
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1399 goto L2;
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1400 }
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1401 }
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1402 }
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1403 flags \|= 2; // no pointers
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1404 L2:
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1405 if (hasOffTi)
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1406 flags \|= 4;
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1407 return flags;
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1408 }
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	1409
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1410 void DtoDefineClassInfo(ClassDeclaration* cd)
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1411 {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1412 // The layout is:
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1413 // {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1414 // void **vptr;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1415 // monitor_t monitor;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1416 // byte[] initializer; // static initialization data
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1417 // char[] name; // class name
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1418 // void *[] vtbl;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1419 // Interface[] interfaces;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1420 // ClassInfo *base; // base class
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1421 // void *destructor;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1422 // void *invariant; // class invariant
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1423 // uint flags;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1424 // void *deallocator;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1425 // OffsetTypeInfo[] offTi;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1426 // void *defaultConstructor;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1427 // }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1428
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1429 if (cd->ir.irStruct->classDefined) return;
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1430 cd->ir.irStruct->classDefined = true;
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	1431
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	1432 Logger::println("DtoDefineClassInfo(%s)", cd->toChars());
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	1433 LOG_SCOPE;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1434
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	1435 assert(cd->type->ty == Tclass);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1436 assert(cd->ir.irStruct->classInfo);
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	1437
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	1438 TypeClass* cdty = (TypeClass*)cd->type;
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1439 if (!cd->isInterfaceDeclaration() && !cd->isAbstract()) {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1440 assert(cd->ir.irStruct->init);
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1441 assert(cd->ir.irStruct->constInit);
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1442 assert(cd->ir.irStruct->vtbl);
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1443 assert(cd->ir.irStruct->constVtbl);
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1444 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1445
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1446 // holds the list of initializers for llvm
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	1447 std::vector<LLConstant*> inits;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1448
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1449 ClassDeclaration* cinfo = ClassDeclaration::classinfo;
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	1450 DtoForceConstInitDsymbol(cinfo);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1451 assert(cinfo->ir.irStruct->constInit);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1452
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	1453 LLConstant* c;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1454
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1455 // own vtable
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1456 c = cinfo->ir.irStruct->constInit->getOperand(0);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1457 assert(c);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1458 inits.push_back(c);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1459
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1460 // monitor
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1461 c = cinfo->ir.irStruct->constInit->getOperand(1);
115 5ba6d286c941 [svn r119] Added the monitor data field that comes after the vtable pointer to all classes. Represented as a void* initialized to zero. lindquist parents: 114 diff changeset	1462 inits.push_back(c);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1463
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	1464 // byte[] init
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	1465 const LLType* byteptrty = getPtrToType(LLType::Int8Ty);
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1466 if (cd->isInterfaceDeclaration() \|\| cd->isAbstract()) {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1467 c = cinfo->ir.irStruct->constInit->getOperand(2);
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1468 }
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1469 else {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1470 c = llvm::ConstantExpr::getBitCast(cd->ir.irStruct->init, byteptrty);
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1471 assert(!cd->ir.irStruct->constInit->getType()->isAbstract());
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1472 size_t initsz = getABITypeSize(cd->ir.irStruct->constInit->getType());
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1473 c = DtoConstSlice(DtoConstSize_t(initsz), c);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1474 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1475 inits.push_back(c);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1476
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1477 // class name
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1478 // from dmd
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1479 char *name = cd->ident->toChars();
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1480 size_t namelen = strlen(name);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1481 if (!(namelen > 9 && memcmp(name, "TypeInfo_", 9) == 0))
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1482 {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1483 name = cd->toPrettyChars();
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1484 namelen = strlen(name);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1485 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1486 c = DtoConstString(name);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1487 inits.push_back(c);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1488
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1489 // vtbl array
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1490 if (cd->isInterfaceDeclaration() \|\| cd->isAbstract()) {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1491 c = cinfo->ir.irStruct->constInit->getOperand(4);
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1492 }
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1493 else {
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	1494 const LLType* byteptrptrty = getPtrToType(byteptrty);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1495 assert(!cd->ir.irStruct->vtbl->getType()->isAbstract());
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1496 c = llvm::ConstantExpr::getBitCast(cd->ir.irStruct->vtbl, byteptrptrty);
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1497 assert(!cd->ir.irStruct->constVtbl->getType()->isAbstract());
199 ba47ac346ddd [svn r215] fix for empty class vtbl ChristianK parents: 193 diff changeset	1498 size_t vtblsz = 0;
ba47ac346ddd [svn r215] fix for empty class vtbl ChristianK parents: 193 diff changeset	1499 llvm::ConstantArray* constVtblArray = llvm::dyn_cast<llvm::ConstantArray>(cd->ir.irStruct->constVtbl);
ba47ac346ddd [svn r215] fix for empty class vtbl ChristianK parents: 193 diff changeset	1500 if(constVtblArray) {
ba47ac346ddd [svn r215] fix for empty class vtbl ChristianK parents: 193 diff changeset	1501 vtblsz = constVtblArray->getType()->getNumElements();
ba47ac346ddd [svn r215] fix for empty class vtbl ChristianK parents: 193 diff changeset	1502 }
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1503 c = DtoConstSlice(DtoConstSize_t(vtblsz), c);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1504 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1505 inits.push_back(c);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1506
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1507 // interfaces array
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1508 IrStruct* irstruct = cd->ir.irStruct;
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1509 if (cd->isInterfaceDeclaration() \|\| !irstruct->interfaceInfos \|\| cd->isAbstract()) {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1510 c = cinfo->ir.irStruct->constInit->getOperand(5);
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1511 }
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1512 else {
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	1513 const LLType* t = cinfo->ir.irStruct->constInit->getOperand(5)->getType()->getContainedType(1);
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1514 c = llvm::ConstantExpr::getBitCast(irstruct->interfaceInfos, t);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1515 size_t iisz = irstruct->interfaceInfosTy->getNumElements();
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1516 c = DtoConstSlice(DtoConstSize_t(iisz), c);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1517 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1518 inits.push_back(c);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1519
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1520 // base classinfo
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1521 if (cd->baseClass && !cd->isInterfaceDeclaration() && !cd->isAbstract()) {
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	1522 DtoDeclareClassInfo(cd->baseClass);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1523 c = cd->baseClass->ir.irStruct->classInfo;
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	1524 assert(c);
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	1525 inits.push_back(c);
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	1526 }
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	1527 else {
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	1528 // null
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1529 c = cinfo->ir.irStruct->constInit->getOperand(6);
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	1530 inits.push_back(c);
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	1531 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1532
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1533 // destructor
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1534 if (cd->isInterfaceDeclaration() \|\| cd->isAbstract()) {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1535 c = cinfo->ir.irStruct->constInit->getOperand(7);
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1536 }
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1537 else {
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1538 c = build_class_dtor(cd);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1539 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1540 inits.push_back(c);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1541
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1542 // invariant
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	1543 // TODO
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1544 c = cinfo->ir.irStruct->constInit->getOperand(8);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1545 inits.push_back(c);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1546
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1547 // uint flags
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1548 if (cd->isInterfaceDeclaration() \|\| cd->isAbstract()) {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1549 c = cinfo->ir.irStruct->constInit->getOperand(9);
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1550 }
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1551 else {
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1552 uint flags = build_classinfo_flags(cd);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1553 c = DtoConstUint(flags);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1554 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1555 inits.push_back(c);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1556
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1557 // allocator
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	1558 // TODO
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1559 c = cinfo->ir.irStruct->constInit->getOperand(10);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1560 inits.push_back(c);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1561
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1562 // offset typeinfo
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1563 if (cd->isInterfaceDeclaration() \|\| cd->isAbstract()) {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1564 c = cinfo->ir.irStruct->constInit->getOperand(11);
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1565 }
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1566 else {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1567 c = build_offti_array(cd, cinfo->ir.irStruct->constInit->getOperand(11));
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	1568 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1569 inits.push_back(c);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1570
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1571 // default constructor
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1572 if (cd->defaultCtor && !cd->isInterfaceDeclaration() && !cd->isAbstract()) {
111 a7ae554ce4f4 [svn r115] Implemented the ClassInfo.defaultConstructor member. lindquist parents: 110 diff changeset	1573 DtoForceDeclareDsymbol(cd->defaultCtor);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1574 c = isaConstant(cd->defaultCtor->ir.irFunc->func);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	1575 const LLType* toTy = cinfo->ir.irStruct->constInit->getOperand(12)->getType();
117 56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 115 diff changeset	1576 c = llvm::ConstantExpr::getBitCast(c, toTy);
111 a7ae554ce4f4 [svn r115] Implemented the ClassInfo.defaultConstructor member. lindquist parents: 110 diff changeset	1577 }
a7ae554ce4f4 [svn r115] Implemented the ClassInfo.defaultConstructor member. lindquist parents: 110 diff changeset	1578 else {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1579 c = cinfo->ir.irStruct->constInit->getOperand(12);
111 a7ae554ce4f4 [svn r115] Implemented the ClassInfo.defaultConstructor member. lindquist parents: 110 diff changeset	1580 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1581 inits.push_back(c);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1582
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1583 /*size_t n = inits.size();
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1584 for (size_t i=0; i<n; ++i)
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1585 {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1586 Logger::cout() << "inits[" << i << "]: " << *inits[i] << '\n';
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1587 }*/
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1588
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1589 // build the initializer
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1590 const llvm::StructType* st = isaStruct(cinfo->ir.irStruct->constInit->getType());
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 210 diff changeset	1591 LLConstant* finalinit = llvm::ConstantStruct::get(st, inits);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1592 //Logger::cout() << "built the classinfo initializer:\n" << *finalinit <<'\n';
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1593
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1594 cd->ir.irStruct->constClassInfo = finalinit;
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 169 diff changeset	1595 cd->ir.irStruct->classInfo->setInitializer(finalinit);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	1596 }

Mercurial > projects > ldc

annotate gen/classes.cpp @ 270:d9d5d59873d8 trunk