projects/ldc: gen/classes.cpp annotate

annotate gen/classes.cpp @ 113:27b9f749d9fe trunk

[svn r117] Initial working implementation of interfaces. Groundwork for all the different types of class/interface casts laid out.

author	lindquist
date	Sat, 24 Nov 2007 06:33:00 +0100
parents	368547b1cbe6
children	5880c12dba83

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"
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	11 #include "gen/arrays.h"
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	12 #include "gen/logger.h"
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	13 #include "gen/classes.h"
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	14 #include "gen/functions.h"
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	15 #include "gen/runtime.h"
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	16 #include "gen/dvalue.h"
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	17
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	18 //////////////////////////////////////////////////////////////////////////////////////////
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	19
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	20 static void LLVM_AddBaseClassData(BaseClasses* bcs)
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	21 {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	22 // add base class data members first
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	23 for (int j=0; j<bcs->dim; j++)
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	24 {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	25 BaseClass* bc = (BaseClass*)(bcs->data[j]);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	26 assert(bc);
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	27 if (bc->base->isInterfaceDeclaration())
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	28 continue; // interfaces only has methods
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	29
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	30 LLVM_AddBaseClassData(&bc->base->baseclasses);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	31
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	32 Logger::println("Adding base class members of %s", bc->base->toChars());
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	33 LOG_SCOPE;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	34
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	35 for (int k=0; k < bc->base->members->dim; k++) {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	36 Dsymbol* dsym = (Dsymbol*)(bc->base->members->data[k]);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	37 if (dsym->isVarDeclaration())
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	38 {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	39 dsym->toObjFile();
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	40 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	41 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	42 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	43 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	44
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	45 //////////////////////////////////////////////////////////////////////////////////////////
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	46
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	47 void DtoResolveClass(ClassDeclaration* cd)
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	48 {
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	49 if (cd->llvmResolved) return;
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	50 cd->llvmResolved = true;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	51
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	52 // first resolve the base class
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	53 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	54 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	55 }
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	56
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	57 // resolve interfaces
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	58 if (cd->vtblInterfaces) {
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	59 for (int i=0; i < cd->vtblInterfaces->dim; i++) {
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	60 BaseClass b = (BaseClass )cd->vtblInterfaces->data[i];
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	61 ClassDeclaration *id = b->base;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	62 DtoResolveClass(id);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	63 // Fill in vtbl[]
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	64 b->fillVtbl(cd, &b->vtbl, 1);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	65 }
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	66 }
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	67
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	68 Logger::println("DtoResolveClass(%s)", cd->toPrettyChars());
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	69 LOG_SCOPE;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	70
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	71 assert(cd->type->ty == Tclass);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	72 TypeClass* ts = (TypeClass*)cd->type;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	73
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	74 assert(!cd->llvmIRStruct);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	75 IRStruct* irstruct = new IRStruct(ts);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	76 cd->llvmIRStruct = irstruct;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	77
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	78 gIR->structs.push_back(irstruct);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	79 gIR->classes.push_back(cd);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	80
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	81 // add vtable
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	82 ts->llvmVtblType = new llvm::PATypeHolder(llvm::OpaqueType::get());
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	83 const llvm::Type* vtabty = llvm::PointerType::get(ts->llvmVtblType->get());
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	84
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	85 std::vector<const llvm::Type*> fieldtypes;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	86 fieldtypes.push_back(vtabty);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	87
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	88 // add interface vtables
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	89 if (cd->vtblInterfaces)
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	90 for (size_t i = 0; i < cd->vtblInterfaces->dim; i++)
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	91 {
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	92 BaseClass b = (BaseClass )cd->vtblInterfaces->data[i];
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	93 ClassDeclaration *id = b->base;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	94 assert(id->type->ty == Tclass);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	95 TypeClass* itc = (TypeClass*)id->type;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	96 const llvm::Type* ivtblTy = llvm::PointerType::get(itc->llvmVtblType->get());
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	97 fieldtypes.push_back(ivtblTy);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	98
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	99 // add this interface to the map
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	100 IRInterface* iri = new IRInterface(b, isaStruct(itc->llvmVtblType->get()));
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	101 irstruct->interfaces.insert(std::make_pair(id, iri));
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	102 }
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	103
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	104 // base classes first
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	105 LLVM_AddBaseClassData(&cd->baseclasses);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	106
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	107 // then add own members
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	108 for (int k=0; k < cd->members->dim; k++) {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	109 Dsymbol* dsym = (Dsymbol*)(cd->members->data[k]);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	110 dsym->toObjFile();
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	111 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	112
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	113 // add field types
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	114 for (IRStruct::OffsetMap::iterator i=irstruct->offsets.begin(); i!=irstruct->offsets.end(); ++i) {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	115 fieldtypes.push_back(i->second.type);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	116 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	117
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	118 const llvm::StructType* structtype = llvm::StructType::get(fieldtypes);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	119 // refine abstract types for stuff like: class C {C next;}
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	120 assert(irstruct->recty != 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	121
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	122 llvm::PATypeHolder& spa = irstruct->recty;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	123 llvm::cast<llvm::OpaqueType>(spa.get())->refineAbstractTypeTo(structtype);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	124 structtype = isaStruct(spa.get());
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	125
103 855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	126 if (!ts->llvmType)
855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	127 ts->llvmType = new llvm::PATypeHolder(structtype);
855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	128 else
855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	129 *ts->llvmType = structtype;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	130
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	131 if (cd->parent->isModule()) {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	132 gIR->module->addTypeName(cd->mangle(), ts->llvmType->get());
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	133 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	134 else {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	135 assert(0 && "class parent is not a module");
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	136 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	137
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	138 // build interface info type
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	139 std::vector<const llvm::Type*> infoTypes;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	140 // ClassInfo classinfo
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	141 ClassDeclaration* cinfod = ClassDeclaration::classinfo;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	142 DtoResolveClass(cinfod);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	143 infoTypes.push_back(llvm::PointerType::get(cinfod->type->llvmType->get()));
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	144 // void*[] vtbl
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	145 std::vector<const llvm::Type*> infoVtbltypes;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	146 infoVtbltypes.push_back(DtoSize_t());
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	147 const llvm::Type* byteptrptrty = llvm::PointerType::get(llvm::PointerType::get(llvm::Type::Int8Ty));
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	148 infoVtbltypes.push_back(byteptrptrty);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	149 infoTypes.push_back(llvm::StructType::get(infoVtbltypes));
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	150 // int offset
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	151 infoTypes.push_back(llvm::Type::Int32Ty);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	152 // create type
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	153 const llvm::StructType* infoTy = llvm::StructType::get(infoTypes);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	154
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	155 // create vtable type
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	156 llvm::GlobalVariable* svtblVar = 0;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	157 std::vector<const llvm::Type*> sinits_ty;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	158
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	159 for (int k=0; k < cd->vtbl.dim; k++)
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	160 {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	161 Dsymbol* dsym = (Dsymbol*)cd->vtbl.data[k];
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	162 assert(dsym);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	163 //Logger::cout() << "vtblsym: " << dsym->toChars() << '\n';
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	164
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	165 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	166 DtoResolveFunction(fd);
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	167 assert(fd->type->ty == Tfunction);
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	168 TypeFunction* tf = (TypeFunction*)fd->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	169 const llvm::Type* fpty = llvm::PointerType::get(tf->llvmType->get());
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	170 sinits_ty.push_back(fpty);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	171 }
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	172 else if (ClassDeclaration* cd2 = dsym->isClassDeclaration()) {
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	173 Logger::println("*** ClassDeclaration in vtable: %s", cd2->toChars());
103 855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	174 const llvm::Type* cinfoty;
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	175 if (cd->isInterfaceDeclaration()) {
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	176 cinfoty = infoTy;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	177 }
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	178 else if (cd != cinfod) {
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	179 DtoResolveClass(cinfod);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	180 cinfoty = cinfod->type->llvmType->get();
103 855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	181 }
855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	182 else {
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	183 // this is the ClassInfo class, the type is this type
103 855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	184 cinfoty = ts->llvmType->get();
855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	185 }
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	186 const llvm::Type* cty = llvm::PointerType::get(cinfoty);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	187 sinits_ty.push_back(cty);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	188 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	189 else
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	190 assert(0);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	191 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	192
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	193 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	194 const llvm::StructType* svtbl_ty = llvm::StructType::get(sinits_ty);
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	195
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	196 std::string styname(cd->mangle());
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	197 styname.append("__vtblType");
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	198 gIR->module->addTypeName(styname, svtbl_ty);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	199
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	200 // refine for final vtable 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	201 llvm::cast<llvm::OpaqueType>(ts->llvmVtblType->get())->refineAbstractTypeTo(svtbl_ty);
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	202
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	203 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	204 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	205
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	206 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	207 }
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	208
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	209 //////////////////////////////////////////////////////////////////////////////////////////
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	210
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	211 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	212 {
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	213 if (cd->llvmDeclared) return;
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	214 cd->llvmDeclared = true;
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	215
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	216 Logger::println("DtoDeclareClass(%s)", cd->toPrettyChars());
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	217 LOG_SCOPE;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	218
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	219 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	220 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	221
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	222 assert(cd->llvmIRStruct);
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	223 IRStruct* irstruct = cd->llvmIRStruct;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	224
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	225 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	226 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	227
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	228 bool needs_definition = false;
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	229 if (cd->parent->isModule()) {
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	230 needs_definition = (cd->getModule() == gIR->dmodule);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	231 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	232
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	233 // interface vtables are emitted by the class implementing them
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	234 // also interfaces have no static initializer
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	235 if (!cd->isInterfaceDeclaration()) {
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	236 // vtable
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	237 std::string varname("_D");
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	238 varname.append(cd->mangle());
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	239 varname.append("6__vtblZ");
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	240
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	241 llvm::GlobalValue::LinkageTypes _linkage = llvm::GlobalValue::ExternalLinkage;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	242
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	243 const llvm::StructType* svtbl_ty = isaStruct(ts->llvmVtblType->get());
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	244 cd->llvmVtbl = new llvm::GlobalVariable(svtbl_ty, true, _linkage, 0, varname, gIR->module);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	245
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	246 // build interface info type
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	247 std::vector<const llvm::Type*> types;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	248 // ClassInfo classinfo
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	249 ClassDeclaration* cd2 = ClassDeclaration::classinfo;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	250 DtoResolveClass(cd2);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	251 types.push_back(llvm::PointerType::get(cd2->type->llvmType->get()));
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	252 // void*[] vtbl
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	253 std::vector<const llvm::Type*> vtbltypes;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	254 vtbltypes.push_back(DtoSize_t());
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	255 const llvm::Type* byteptrptrty = llvm::PointerType::get(llvm::PointerType::get(llvm::Type::Int8Ty));
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	256 vtbltypes.push_back(byteptrptrty);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	257 types.push_back(llvm::StructType::get(vtbltypes));
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	258 // int offset
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	259 types.push_back(llvm::Type::Int32Ty);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	260 // create type
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	261 const llvm::StructType* infoTy = llvm::StructType::get(types);
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	262
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	263 // interface info array
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	264 if (needs_definition && cd->vtblInterfaces->dim > 0) {
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	265 // symbol name
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	266 std::string nam = "_D";
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	267 nam.append(cd->mangle());
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	268 nam.append("16__interfaceInfosZ");
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	269 // resolve array type
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	270 const llvm::ArrayType* arrTy = llvm::ArrayType::get(infoTy, cd->vtblInterfaces->dim);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	271 // declare global
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	272 irstruct->interfaceInfosTy = arrTy;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	273 irstruct->interfaceInfos = new llvm::GlobalVariable(arrTy, true, llvm::GlobalValue::InternalLinkage, 0, nam, gIR->module);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	274 }
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	275
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	276 // interface vtables
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	277 unsigned idx = 0;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	278 for (IRStruct::InterfaceIter i=irstruct->interfaces.begin(); i!=irstruct->interfaces.end(); ++i)
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	279 {
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	280 ClassDeclaration* id = i->first;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	281 IRInterface* iri = i->second;
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	282
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	283 std::string nam("_D");
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	284 nam.append(cd->mangle());
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	285 nam.append("11__interface");
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	286 nam.append(id->mangle());
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	287 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	288
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	289 assert(iri->vtblTy);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	290 iri->vtbl = new llvm::GlobalVariable(iri->vtblTy, true, _linkage, 0, nam, gIR->module);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	291 iri->infoTy = infoTy;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	292 llvm::Constant* idxs[2] = {DtoConstUint(0), DtoConstUint(idx)};
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	293 iri->info = llvm::ConstantExpr::getGetElementPtr(irstruct->interfaceInfos, idxs, 2);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	294 idx++;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	295 }
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	296
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	297 // init
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	298 std::string initname("_D");
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	299 initname.append(cd->mangle());
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	300 initname.append("6__initZ");
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	301
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	302 llvm::GlobalVariable* initvar = new llvm::GlobalVariable(ts->llvmType->get(), true, _linkage, NULL, initname, gIR->module);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	303 ts->llvmInit = initvar;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	304 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	305
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	306 gIR->classes.pop_back();
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	307 gIR->structs.pop_back();
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	308
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	309 gIR->constInitList.push_back(cd);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	310 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	311 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	312
855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	313 // classinfo
855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	314 DtoDeclareClassInfo(cd);
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 103 diff changeset	315
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 103 diff changeset	316 // typeinfo
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 103 diff changeset	317 if (cd->parent->isModule() && cd->getModule() == gIR->dmodule)
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 103 diff changeset	318 cd->type->getTypeInfo(NULL);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	319 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	320
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	321 //////////////////////////////////////////////////////////////////////////////////////////
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	322
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	323 void DtoConstInitClass(ClassDeclaration* cd)
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	324 {
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	325 if (cd->llvmInitialized) return;
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	326 cd->llvmInitialized = true;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	327
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	328 if (cd->isInterfaceDeclaration())
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	329 return; // nothing to do
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	330
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	331 Logger::println("DtoConstInitClass(%s)", cd->toPrettyChars());
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	332 LOG_SCOPE;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	333
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	334 IRStruct* irstruct = cd->llvmIRStruct;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	335 gIR->structs.push_back(irstruct);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	336 gIR->classes.push_back(cd);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	337
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	338 // make sure each offset knows its default initializer
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	339 for (IRStruct::OffsetMap::iterator i=irstruct->offsets.begin(); i!=irstruct->offsets.end(); ++i)
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	340 {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	341 IRStruct::Offset* so = &i->second;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	342 llvm::Constant* finit = DtoConstFieldInitializer(so->var->type, so->var->init);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	343 so->init = finit;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	344 so->var->llvmConstInit = finit;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	345 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	346
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	347 // fill out fieldtypes/inits
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	348 std::vector<llvm::Constant*> fieldinits;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	349
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	350 // first field is always the vtable
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	351 assert(cd->llvmVtbl != 0);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	352 fieldinits.push_back(cd->llvmVtbl);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	353
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	354 // next comes interface vtables
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	355 for (IRStruct::InterfaceIter i=irstruct->interfaces.begin(); i!=irstruct->interfaces.end(); ++i)
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	356 {
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	357 IRInterface* iri = i->second;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	358 assert(iri->vtbl);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	359 fieldinits.push_back(iri->vtbl);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	360 }
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	361
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	362 // rest
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	363 for (IRStruct::OffsetMap::iterator i=irstruct->offsets.begin(); i!=irstruct->offsets.end(); ++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	364 Logger::println("adding fieldinit for: %s", i->second.var->toChars());
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	365 fieldinits.push_back(i->second.init);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	366 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	367
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	368 // get the struct (class) type
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	369 assert(cd->type->ty == Tclass);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	370 TypeClass* ts = (TypeClass*)cd->type;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	371 const llvm::StructType* structtype = isaStruct(ts->llvmType->get());
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	372
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	373 // generate initializer
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	374 #if 0
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	375 Logger::cout() << cd->toPrettyChars() << " \| " << *structtype << '\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	376
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	377 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	378 Logger::cout() << "s#" << i << " = " << *structtype->getElementType(i) << '\n';
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	379 }
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	380
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	381 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	382 Logger::cout() << "i#" << i << " = " << *fieldinits[i]->getType() << '\n';
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	383 }
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	384 #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	385
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	386 llvm::Constant* _init = llvm::ConstantStruct::get(structtype, fieldinits);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	387 assert(_init);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	388 cd->llvmInitZ = _init;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	389
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	390 // generate vtable initializer
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	391 std::vector<llvm::Constant*> sinits;
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
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	393 for (int k=0; k < cd->vtbl.dim; k++)
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	394 {
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	395 Dsymbol* dsym = (Dsymbol*)cd->vtbl.data[k];
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	396 assert(dsym);
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	397 //Logger::cout() << "vtblsym: " << dsym->toChars() << '\n';
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	398
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	399 if (FuncDeclaration* fd = dsym->isFuncDeclaration()) {
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	400 DtoForceDeclareDsymbol(fd);
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	401 assert(fd->llvmValue);
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	402 llvm::Constant* c = llvm::cast<llvm::Constant>(fd->llvmValue);
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	403 sinits.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	404 }
103 855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	405 else if (ClassDeclaration* cd2 = dsym->isClassDeclaration()) {
855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	406 assert(cd->llvmClass);
855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	407 llvm::Constant* c = cd->llvmClass;
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	408 sinits.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	409 }
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	410 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	411 assert(0);
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	412 }
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	413
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	414 const llvm::StructType* svtbl_ty = isaStruct(ts->llvmVtblType->get());
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 #if 0
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	417 for (size_t i=0; i< sinits.size(); ++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	418 {
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	419 Logger::cout() << "field[" << i << "] = " << *svtbl_ty->getElementType(i) << '\n';
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	420 Logger::cout() << "init [" << i << "] = " << *sinits[i]->getType() << '\n';
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 assert(svtbl_ty->getElementType(i) == sinits[i]->getType());
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	422 }
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	423 #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	424
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	425 llvm::Constant* cvtblInit = llvm::ConstantStruct::get(svtbl_ty, sinits);
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	426 cd->llvmConstVtbl = llvm::cast<llvm::ConstantStruct>(cvtblInit);
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	427
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	428 // create interface vtable const initalizers
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	429 int idx = 1;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	430 int idxScale = (global.params.is64bit) ? 8 : 4;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	431 for (IRStruct::InterfaceIter i=irstruct->interfaces.begin(); i!=irstruct->interfaces.end(); ++i)
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	432 {
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	433 ClassDeclaration* id = i->first;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	434 assert(id->type->ty == Tclass);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	435 TypeClass* its = (TypeClass*)id->type;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	436
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	437 IRInterface* iri = i->second;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	438 BaseClass* b = iri->base;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	439
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	440 const llvm::StructType* ivtbl_ty = isaStruct(its->llvmVtblType->get());
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	441
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	442 // generate interface info initializer
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	443 std::vector<llvm::Constant*> infoInits;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	444 // classinfo
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	445 assert(id->llvmClass);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	446 llvm::Constant* c = id->llvmClass;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	447 infoInits.push_back(c);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	448 // vtbl
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	449 const llvm::Type* byteptrptrty = llvm::PointerType::get(llvm::PointerType::get(llvm::Type::Int8Ty));
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	450 c = llvm::ConstantExpr::getBitCast(iri->vtbl, byteptrptrty);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	451 c = DtoConstSlice(DtoConstSize_t(b->vtbl.dim), c);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	452 infoInits.push_back(c);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	453 // offset
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	454 infoInits.push_back(DtoConstInt(idx*idxScale));
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	455 // create interface info initializer constant
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	456 iri->infoInit = llvm::cast<llvm::ConstantStruct>(llvm::ConstantStruct::get(iri->infoTy, infoInits));
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	457
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	458 // generate vtable initializer
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	459 std::vector<llvm::Constant*> iinits;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	460
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	461 // add interface info
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	462 iinits.push_back(iri->info);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	463
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	464 for (int k=1; k < b->vtbl.dim; k++)
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	465 {
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	466 Logger::println("interface vtbl const init nr. %d", k);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	467 Dsymbol* dsym = (Dsymbol*)b->vtbl.data[k];
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	468 FuncDeclaration* fd = dsym->isFuncDeclaration();
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	469 assert(fd);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	470 DtoForceDeclareDsymbol(fd);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	471 assert(fd->llvmValue);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	472 llvm::Constant* c = llvm::cast<llvm::Constant>(fd->llvmValue);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	473 // we have to bitcast, as the type created in ResolveClass expects a different this type
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	474 c = llvm::ConstantExpr::getBitCast(c, iri->vtblTy->getContainedType(k));
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	475 iinits.push_back(c);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	476 }
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	477
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	478 #if 1
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	479 for (size_t x=0; x< iinits.size(); ++x)
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	480 {
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	481 Logger::cout() << "field[" << x << "] = " << *ivtbl_ty->getElementType(x) << "\n\n";
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	482 Logger::cout() << "init [" << x << "] = " << *iinits[x] << "\n\n";
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	483 assert(ivtbl_ty->getElementType(x) == iinits[x]->getType());
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	484 }
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	485 #endif
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	486
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	487 llvm::Constant* civtblInit = llvm::ConstantStruct::get(ivtbl_ty, iinits);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	488 iri->vtblInit = llvm::cast<llvm::ConstantStruct>(civtblInit);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	489
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	490 idx++;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	491 }
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	492
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	493 gIR->classes.pop_back();
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	494 gIR->structs.pop_back();
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	495 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	496
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	497 //////////////////////////////////////////////////////////////////////////////////////////
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	498
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	499 void DtoDefineClass(ClassDeclaration* cd)
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	500 {
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	501 if (cd->llvmDefined) return;
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	502 cd->llvmDefined = true;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	503
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	504 Logger::println("DtoDefineClass(%s)", cd->toPrettyChars());
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	505 LOG_SCOPE;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	506
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	507 // get the struct (class) type
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	508 assert(cd->type->ty == Tclass);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	509 TypeClass* ts = (TypeClass*)cd->type;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	510
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	511 bool def = false;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	512 if (cd->parent->isModule() && cd->getModule() == gIR->dmodule) {
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	513 // interfaces don't have initializers
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	514 if (!cd->isInterfaceDeclaration()) {
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	515 ts->llvmInit->setInitializer(cd->llvmInitZ);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	516 cd->llvmVtbl->setInitializer(cd->llvmConstVtbl);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	517
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	518 // initialize interface vtables
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	519 IRStruct* irstruct = cd->llvmIRStruct;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	520 std::vector<llvm::Constant*> infoInits;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	521 for (IRStruct::InterfaceIter i=irstruct->interfaces.begin(); i!=irstruct->interfaces.end(); ++i)
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	522 {
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	523 IRInterface* iri = i->second;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	524 iri->vtbl->setInitializer(iri->vtblInit);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	525 infoInits.push_back(iri->infoInit);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	526 }
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	527 // initialize interface info array
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	528 if (!infoInits.empty()) {
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	529 llvm::Constant* arrInit = llvm::ConstantArray::get(irstruct->interfaceInfosTy, infoInits);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	530 irstruct->interfaceInfos->setInitializer(arrInit);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	531 }
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	532 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	533 def = true;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	534 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	535
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	536 // generate classinfo
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	537 if (def) DtoDefineClassInfo(cd);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	538 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	539
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	540 //////////////////////////////////////////////////////////////////////////////////////////
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	541
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	542 void DtoCallClassDtors(TypeClass* tc, llvm::Value* instance)
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	543 {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	544 Array* arr = &tc->sym->dtors;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	545 for (size_t i=0; i<arr->dim; i++)
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	546 {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	547 FuncDeclaration* fd = (FuncDeclaration*)arr->data[i];
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	548 assert(fd->llvmValue);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	549 new llvm::CallInst(fd->llvmValue, instance, "", gIR->scopebb());
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	550 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	551 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	552
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	553 //////////////////////////////////////////////////////////////////////////////////////////
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	554
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	555 void DtoInitClass(TypeClass* tc, llvm::Value* dst)
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	556 {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	557 assert(gIR);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	558
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	559 assert(tc->llvmType);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	560 uint64_t size_t_size = gTargetData->getTypeSize(DtoSize_t());
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	561 uint64_t n = gTargetData->getTypeSize(tc->llvmType->get()) - size_t_size;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	562
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	563 // set vtable field
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	564 llvm::Value* vtblvar = DtoGEPi(dst,0,0,"tmp",gIR->scopebb());
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	565 assert(tc->sym->llvmVtbl);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	566 new llvm::StoreInst(tc->sym->llvmVtbl, vtblvar, gIR->scopebb());
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	567
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	568 // copy the static initializer
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	569 if (n > 0) {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	570 assert(tc->llvmInit);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	571 assert(dst->getType() == tc->llvmInit->getType());
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	572
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	573 llvm::Type* arrty = llvm::PointerType::get(llvm::Type::Int8Ty);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	574
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	575 llvm::Value* dstarr = new llvm::BitCastInst(dst,arrty,"tmp",gIR->scopebb());
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	576 dstarr = DtoGEPi(dstarr,size_t_size,"tmp",gIR->scopebb());
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	577
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	578 llvm::Value* srcarr = new llvm::BitCastInst(tc->llvmInit,arrty,"tmp",gIR->scopebb());
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	579 srcarr = DtoGEPi(srcarr,size_t_size,"tmp",gIR->scopebb());
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	580
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	581 llvm::Function* fn = LLVM_DeclareMemCpy32();
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	582 std::vector<llvm::Value*> llargs;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	583 llargs.resize(4);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	584 llargs[0] = dstarr;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	585 llargs[1] = srcarr;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	586 llargs[2] = llvm::ConstantInt::get(llvm::Type::Int32Ty, n, false);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	587 llargs[3] = llvm::ConstantInt::get(llvm::Type::Int32Ty, 0, false);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	588
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	589 new llvm::CallInst(fn, llargs.begin(), llargs.end(), "", gIR->scopebb());
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	590 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	591 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	592
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	593 //////////////////////////////////////////////////////////////////////////////////////////
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	594
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	595 DValue* DtoCastObjectToInterface(DValue* val, Type* _to)
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	596 {
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	597 // call:
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	598 // Object _d_dynamic_cast(Object o, ClassInfo c)
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	599
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	600 llvm::Function* func = LLVM_D_GetRuntimeFunction(gIR->module, "_d_dynamic_cast");
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	601 const llvm::FunctionType* funcTy = func->getFunctionType();
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	602
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	603 std::vector<llvm::Value*> args;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	604
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	605 // Object o
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	606 llvm::Value* tmp = val->getRVal();
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	607 tmp = DtoBitCast(tmp, funcTy->getParamType(0));
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	608 args.push_back(tmp);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	609
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	610 // ClassInfo c
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	611 TypeClass* to = (TypeClass*)DtoDType(_to);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	612 DtoForceDeclareDsymbol(to->sym);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	613 assert(to->sym->llvmClass);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	614 args.push_back(to->sym->llvmClass);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	615
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	616 // call it
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	617 llvm::Value* ret = gIR->ir->CreateCall(func, args.begin(), args.end(), "tmp");
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	618 ret = DtoBitCast(ret, DtoType(_to));
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	619 return new DImValue(_to, ret);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	620 }
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	621
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	622 //////////////////////////////////////////////////////////////////////////////////////////
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	623
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	624 DValue* DtoCastInterfaceToObject(DValue* val)
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	625 {
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	626 // call:
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	627 // Object _d_toObject(void* p)
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	628
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	629 llvm::Function* func = LLVM_D_GetRuntimeFunction(gIR->module, "_d_toObject");
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	630 const llvm::FunctionType* funcTy = func->getFunctionType();
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	631
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	632 // void* p
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	633 llvm::Value* tmp = val->getRVal();
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	634 tmp = DtoBitCast(tmp, funcTy->getParamType(0));
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	635
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	636 // call it
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	637 llvm::Value* ret = gIR->ir->CreateCall(func, tmp, "tmp");
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	638 return new DImValue(ClassDeclaration::object->type, ret);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	639 }
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	640
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	641 //////////////////////////////////////////////////////////////////////////////////////////
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	642
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	643 void DtoDeclareClassInfo(ClassDeclaration* cd)
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	644 {
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	645 if (cd->llvmClassDeclared) return;
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	646 cd->llvmClassDeclared = true;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	647
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	648 Logger::println("DtoDeclareClassInfo(%s)", cd->toChars());
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	649 LOG_SCOPE;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	650
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	651 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	652 DtoResolveClass(cinfo);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	653
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	654 std::string gname("_D");
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	655 gname.append(cd->mangle());
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	656 if (!cd->isInterfaceDeclaration())
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	657 gname.append("7__ClassZ");
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	658 else
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	659 gname.append("11__InterfaceZ");
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	660
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	661 const llvm::Type* st = cinfo->type->llvmType->get();
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	662
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	663 cd->llvmClass = new llvm::GlobalVariable(st, true, llvm::GlobalValue::ExternalLinkage, NULL, gname, gIR->module);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	664 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	665
110 e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	666 static llvm::Constant* build_offti_entry(VarDeclaration* vd)
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	667 {
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	668 std::vector<const llvm::Type*> types;
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	669 std::vector<llvm::Constant*> inits;
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	670
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	671 types.push_back(DtoSize_t());
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	672
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	673 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	674 // dmd only accounts for the vtable, not classinfo or monitor
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	675 if (global.params.is64bit)
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	676 offset += 8;
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	677 else
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	678 offset += 4;
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	679 inits.push_back(DtoConstSize_t(offset));
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	680
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	681 vd->type->getTypeInfo(NULL);
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	682 assert(vd->type->vtinfo);
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	683 DtoForceDeclareDsymbol(vd->type->vtinfo);
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	684 llvm::Constant* c = isaConstant(vd->type->vtinfo->llvmValue);
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	685
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	686 const llvm::Type* tiTy = llvm::PointerType::get(Type::typeinfo->type->llvmType->get());
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	687 Logger::cout() << "tiTy = " << *tiTy << '\n';
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	688
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	689 types.push_back(tiTy);
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	690 inits.push_back(llvm::ConstantExpr::getBitCast(c, tiTy));
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	691
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	692 const llvm::StructType* sTy = llvm::StructType::get(types);
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	693 return llvm::ConstantStruct::get(sTy, inits);
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	694 }
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	695
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	696 static llvm::Constant* build_offti_array(ClassDeclaration* cd, llvm::Constant* init)
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	697 {
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	698 const llvm::StructType* initTy = isaStruct(init->getType());
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	699 assert(initTy);
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	700
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	701 std::vector<llvm::Constant*> arrayInits;
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	702 for (ClassDeclaration *cd2 = cd; cd2; cd2 = cd2->baseClass)
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	703 {
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	704 if (cd2->members)
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	705 {
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	706 for (size_t i = 0; i < cd2->members->dim; i++)
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	707 {
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	708 Dsymbol sm = (Dsymbol )cd2->members->data[i];
112 368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	709 if (VarDeclaration* vd = sm->isVarDeclaration()) // is this enough?
110 e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	710 {
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	711 llvm::Constant* c = build_offti_entry(vd);
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	712 assert(c);
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	713 arrayInits.push_back(c);
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	714 }
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	715 }
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	716 }
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	717 }
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	718
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	719 size_t ninits = arrayInits.size();
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	720 llvm::Constant* size = DtoConstSize_t(ninits);
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	721 llvm::Constant* ptr;
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	722
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	723 if (ninits > 0) {
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	724 // OffsetTypeInfo type
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	725 std::vector<const llvm::Type*> elemtypes;
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	726 elemtypes.push_back(DtoSize_t());
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	727 const llvm::Type* tiTy = llvm::PointerType::get(Type::typeinfo->type->llvmType->get());
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	728 elemtypes.push_back(tiTy);
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	729 const llvm::StructType* sTy = llvm::StructType::get(elemtypes);
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	730
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	731 // array type
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	732 const llvm::ArrayType* arrTy = llvm::ArrayType::get(sTy, ninits);
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	733 llvm::Constant* arrInit = llvm::ConstantArray::get(arrTy, arrayInits);
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	734
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	735 std::string name(cd->type->vtinfo->toChars());
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	736 name.append("__OffsetTypeInfos");
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	737 llvm::GlobalVariable* gvar = new llvm::GlobalVariable(arrTy,true,llvm::GlobalValue::InternalLinkage,arrInit,name,gIR->module);
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	738 ptr = llvm::ConstantExpr::getBitCast(gvar, llvm::PointerType::get(sTy));
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	739 }
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	740 else {
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	741 ptr = llvm::ConstantPointerNull::get(isaPointer(initTy->getElementType(1)));
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	742 }
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	743
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	744 return DtoConstSlice(size, ptr);
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	745 }
e8da7856a260 [svn r114] Implemented the ClassInfo.offTi member. lindquist parents: 106 diff changeset	746
112 368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	747 static llvm::Constant* build_class_dtor(ClassDeclaration* cd)
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	748 {
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	749 // construct the function
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	750 std::vector<const llvm::Type*> paramTypes;
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	751 paramTypes.push_back(llvm::PointerType::get(cd->type->llvmType->get()));
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	752
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	753 const llvm::FunctionType* fnTy = llvm::FunctionType::get(llvm::Type::VoidTy, paramTypes, false);
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	754
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	755 if (cd->dtors.dim == 0) {
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	756 return llvm::ConstantPointerNull::get(llvm::PointerType::get(llvm::Type::Int8Ty));
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	757 }
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	758 else if (cd->dtors.dim == 1) {
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	759 DtorDeclaration d = (DtorDeclaration )cd->dtors.data[0];
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	760 DtoForceDeclareDsymbol(d);
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	761 assert(d->llvmValue);
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	762 return llvm::ConstantExpr::getBitCast(isaConstant(d->llvmValue), llvm::PointerType::get(llvm::Type::Int8Ty));
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	763 }
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	764
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	765 std::string gname("_D");
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	766 gname.append(cd->mangle());
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	767 gname.append("12__destructorMFZv");
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	768
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	769 llvm::Function* func = new llvm::Function(fnTy, llvm::GlobalValue::InternalLinkage, gname, gIR->module);
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	770 llvm::Value* thisptr = func->arg_begin();
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	771 thisptr->setName("this");
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	772
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	773 llvm::BasicBlock* bb = new llvm::BasicBlock("entry", func);
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	774 LLVMBuilder builder(bb);
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	775
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	776 for (size_t i = 0; i < cd->dtors.dim; i++)
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	777 {
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	778 DtorDeclaration d = (DtorDeclaration )cd->dtors.data[i];
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	779 DtoForceDeclareDsymbol(d);
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	780 assert(d->llvmValue);
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	781 builder.CreateCall(d->llvmValue, thisptr);
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	782 }
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	783 builder.CreateRetVoid();
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	784
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	785 return llvm::ConstantExpr::getBitCast(func, llvm::PointerType::get(llvm::Type::Int8Ty));
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	786 }
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	787
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	788 static uint build_classinfo_flags(ClassDeclaration* cd)
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	789 {
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	790 // adapted from original dmd code
112 368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	791 uint flags = 0;
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	792 //flags \|= isCOMclass(); // IUnknown
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	793 bool hasOffTi = false;
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	794 if (cd->ctor) flags \|= 8;
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	795 for (ClassDeclaration *cd2 = cd; cd2; cd2 = cd2->baseClass)
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	796 {
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	797 if (cd2->members)
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	798 {
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	799 for (size_t i = 0; i < cd2->members->dim; i++)
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	800 {
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	801 Dsymbol sm = (Dsymbol )cd2->members->data[i];
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	802 if (sm->isVarDeclaration()) // is this enough?
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	803 hasOffTi = true;
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	804 //printf("sm = %s %s\n", sm->kind(), sm->toChars());
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	805 if (sm->hasPointers())
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	806 goto L2;
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	807 }
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	808 }
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	809 }
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	810 flags \|= 2; // no pointers
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	811 L2:
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	812 if (hasOffTi)
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	813 flags \|= 4;
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	814 return flags;
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	815 }
368547b1cbe6 [svn r116] Implemented the ClassInfo.destructor field. lindquist parents: 111 diff changeset	816
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	817 void DtoDefineClassInfo(ClassDeclaration* cd)
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	818 {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	819 // The layout is:
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	820 // {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	821 // void **vptr;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	822 // monitor_t monitor;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	823 // byte[] initializer; // static initialization data
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	824 // char[] name; // class name
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	825 // void *[] vtbl;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	826 // Interface[] interfaces;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	827 // ClassInfo *base; // base class
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	828 // void *destructor;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	829 // void *invariant; // class invariant
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	830 // uint flags;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	831 // void *deallocator;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	832 // OffsetTypeInfo[] offTi;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	833 // void *defaultConstructor;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	834 // }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	835
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	836 if (cd->llvmClassDefined) return;
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	837 cd->llvmClassDefined = true;
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	838
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	839 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	840 LOG_SCOPE;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	841
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	842 assert(cd->type->ty == Tclass);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	843 assert(cd->llvmClass);
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	844
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	845 TypeClass* cdty = (TypeClass*)cd->type;
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	846 if (!cd->isInterfaceDeclaration()) {
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	847 assert(cd->llvmInitZ);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	848 assert(cd->llvmVtbl);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	849 assert(cd->llvmConstVtbl);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	850 assert(cdty->llvmInit);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	851 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	852
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	853 // holds the list of initializers for llvm
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	854 std::vector<llvm::Constant*> inits;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	855
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	856 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	857 DtoForceConstInitDsymbol(cinfo);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	858 assert(cinfo->llvmInitZ);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	859
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	860 llvm::Constant* c;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	861
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	862 // own vtable
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	863 c = cinfo->llvmInitZ->getOperand(0);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	864 assert(c);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	865 inits.push_back(c);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	866
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	867 // monitor
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	868 // TODO no monitors yet
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	869
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	870 // byte[] init
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	871 const llvm::Type* byteptrty = llvm::PointerType::get(llvm::Type::Int8Ty);
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	872 if (cd->isInterfaceDeclaration()) {
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	873 c = cinfo->llvmInitZ->getOperand(1);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	874 }
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	875 else {
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	876 c = llvm::ConstantExpr::getBitCast(cdty->llvmInit, byteptrty);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	877 assert(!cd->llvmInitZ->getType()->isAbstract());
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	878 size_t initsz = gTargetData->getTypeSize(cd->llvmInitZ->getType());
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	879 c = DtoConstSlice(DtoConstSize_t(initsz), c);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	880 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	881 inits.push_back(c);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	882
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	883 // class name
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	884 // from dmd
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	885 char *name = cd->ident->toChars();
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	886 size_t namelen = strlen(name);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	887 if (!(namelen > 9 && memcmp(name, "TypeInfo_", 9) == 0))
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	888 {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	889 name = cd->toPrettyChars();
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	890 namelen = strlen(name);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	891 }
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	892 c = DtoConstString(name);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	893 inits.push_back(c);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	894
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	895 // vtbl array
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	896 if (cd->isInterfaceDeclaration()) {
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	897 c = cinfo->llvmInitZ->getOperand(3);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	898 }
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	899 else {
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	900 const llvm::Type* byteptrptrty = llvm::PointerType::get(byteptrty);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	901 assert(!cd->llvmVtbl->getType()->isAbstract());
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	902 c = llvm::ConstantExpr::getBitCast(cd->llvmVtbl, byteptrptrty);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	903 assert(!cd->llvmConstVtbl->getType()->isAbstract());
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	904 size_t vtblsz = cd->llvmConstVtbl->getType()->getNumElements();
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	905 c = DtoConstSlice(DtoConstSize_t(vtblsz), c);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	906 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	907 inits.push_back(c);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	908
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	909 // interfaces array
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	910 IRStruct* irstruct = cd->llvmIRStruct;
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	911 if (cd->isInterfaceDeclaration() \|\| !irstruct->interfaceInfos) {
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	912 c = cinfo->llvmInitZ->getOperand(4);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	913 }
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	914 else {
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	915 const llvm::Type* t = cinfo->llvmInitZ->getOperand(4)->getType()->getContainedType(1);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	916 c = llvm::ConstantExpr::getBitCast(irstruct->interfaceInfos, t);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	917 size_t iisz = irstruct->interfaceInfosTy->getNumElements();
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	918 c = DtoConstSlice(DtoConstSize_t(iisz), c);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	919 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	920 inits.push_back(c);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	921
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	922 // base classinfo
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	923 if (cd->baseClass && !cd->isInterfaceDeclaration()) {
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	924 DtoDeclareClassInfo(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	925 c = cd->baseClass->llvmClass;
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	926 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	927 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	928 }
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	929 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	930 // null
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	931 c = cinfo->llvmInitZ->getOperand(5);
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	932 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	933 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	934
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	935 // destructor
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	936 if (cd->isInterfaceDeclaration()) {
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	937 c = cinfo->llvmInitZ->getOperand(6);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	938 }
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	939 else {
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	940 c = build_class_dtor(cd);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	941 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	942 inits.push_back(c);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	943
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	944 // 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	945 // TODO
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	946 c = cinfo->llvmInitZ->getOperand(7);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	947 inits.push_back(c);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	948
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	949 // uint flags
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	950 if (cd->isInterfaceDeclaration()) {
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	951 c = cinfo->llvmInitZ->getOperand(8);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	952 }
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	953 else {
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	954 uint flags = build_classinfo_flags(cd);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	955 c = DtoConstUint(flags);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	956 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	957 inits.push_back(c);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	958
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	959 // 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	960 // TODO
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	961 c = cinfo->llvmInitZ->getOperand(9);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	962 inits.push_back(c);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	963
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	964 // offset typeinfo
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	965 if (cd->isInterfaceDeclaration()) {
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	966 c = cinfo->llvmInitZ->getOperand(10);
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	967 }
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	968 else {
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	969 c = build_offti_array(cd, cinfo->llvmInitZ->getOperand(10));
27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	970 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	971 inits.push_back(c);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	972
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	973 // default constructor
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 112 diff changeset	974 if (cd->defaultCtor && !cd->isInterfaceDeclaration()) {
111 a7ae554ce4f4 [svn r115] Implemented the ClassInfo.defaultConstructor member. lindquist parents: 110 diff changeset	975 DtoForceDeclareDsymbol(cd->defaultCtor);
a7ae554ce4f4 [svn r115] Implemented the ClassInfo.defaultConstructor member. lindquist parents: 110 diff changeset	976 c = isaConstant(cd->defaultCtor->llvmValue);
a7ae554ce4f4 [svn r115] Implemented the ClassInfo.defaultConstructor member. lindquist parents: 110 diff changeset	977 //const llvm::Type* toTy = cinfo->llvmInitZ->getOperand(11)->getType();
a7ae554ce4f4 [svn r115] Implemented the ClassInfo.defaultConstructor member. lindquist parents: 110 diff changeset	978 c = llvm::ConstantExpr::getBitCast(c, llvm::PointerType::get(llvm::Type::Int8Ty)); // toTy);
a7ae554ce4f4 [svn r115] Implemented the ClassInfo.defaultConstructor member. lindquist parents: 110 diff changeset	979 }
a7ae554ce4f4 [svn r115] Implemented the ClassInfo.defaultConstructor member. lindquist parents: 110 diff changeset	980 else {
a7ae554ce4f4 [svn r115] Implemented the ClassInfo.defaultConstructor member. lindquist parents: 110 diff changeset	981 c = cinfo->llvmInitZ->getOperand(11);
a7ae554ce4f4 [svn r115] Implemented the ClassInfo.defaultConstructor member. lindquist parents: 110 diff changeset	982 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	983 inits.push_back(c);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	984
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	985 /*size_t n = inits.size();
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	986 for (size_t i=0; i<n; ++i)
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	987 {
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	988 Logger::cout() << "inits[" << i << "]: " << *inits[i] << '\n';
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	989 }*/
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	990
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	991 // build the initializer
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	992 const llvm::StructType* st = isaStruct(cinfo->llvmInitZ->getType());
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	993 llvm::Constant* finalinit = llvm::ConstantStruct::get(st, inits);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	994 //Logger::cout() << "built the classinfo initializer:\n" << *finalinit <<'\n';
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	995
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	996 cd->llvmClassZ = finalinit;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	997 cd->llvmClass->setInitializer(finalinit);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: diff changeset	998 }

Mercurial > projects > ldc

annotate gen/classes.cpp @ 113:27b9f749d9fe trunk