Mercurial > projects > ldc
annotate gen/classes.cpp @ 103:855adfdb8d38 trunk
[svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable)
| author | lindquist |
|---|---|
| date | Sun, 18 Nov 2007 08:25:07 +0100 |
| parents | 027b8d8b71ec |
| children | 5b5194b25f33 |
| rev | line source |
|---|---|
| 100 | 1 #include "gen/llvm.h" |
| 2 | |
| 3 #include "mtype.h" | |
| 4 #include "aggregate.h" | |
| 5 #include "init.h" | |
| 6 #include "declaration.h" | |
| 7 | |
| 8 #include "gen/irstate.h" | |
| 9 #include "gen/tollvm.h" | |
| 10 #include "gen/arrays.h" | |
| 11 #include "gen/logger.h" | |
| 12 #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
|
13 #include "gen/functions.h" |
| 100 | 14 |
| 15 ////////////////////////////////////////////////////////////////////////////////////////// | |
| 16 | |
| 17 static void LLVM_AddBaseClassData(BaseClasses* bcs) | |
| 18 { | |
| 19 // add base class data members first | |
| 20 for (int j=0; j<bcs->dim; j++) | |
| 21 { | |
| 22 BaseClass* bc = (BaseClass*)(bcs->data[j]); | |
| 23 assert(bc); | |
| 24 Logger::println("Adding base class members of %s", bc->base->toChars()); | |
| 25 LOG_SCOPE; | |
| 26 | |
| 27 LLVM_AddBaseClassData(&bc->base->baseclasses); | |
| 28 for (int k=0; k < bc->base->members->dim; k++) { | |
| 29 Dsymbol* dsym = (Dsymbol*)(bc->base->members->data[k]); | |
| 30 if (dsym->isVarDeclaration()) | |
| 31 { | |
| 32 dsym->toObjFile(); | |
| 33 } | |
| 34 } | |
| 35 } | |
| 36 } | |
| 37 | |
| 38 ////////////////////////////////////////////////////////////////////////////////////////// | |
| 39 | |
|
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
|
40 void DtoResolveClass(ClassDeclaration* cd) |
| 100 | 41 { |
|
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
|
42 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
|
43 cd->llvmResolved = true; |
| 100 | 44 |
|
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
|
45 // 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
|
46 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
|
47 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
|
48 } |
|
103
855adfdb8d38
[svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable)
lindquist
parents:
102
diff
changeset
|
49 // resolve typeinfo |
|
855adfdb8d38
[svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable)
lindquist
parents:
102
diff
changeset
|
50 //DtoResolveClass(ClassDeclaration::typeinfo); |
|
855adfdb8d38
[svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable)
lindquist
parents:
102
diff
changeset
|
51 // resolve classinfo |
|
855adfdb8d38
[svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable)
lindquist
parents:
102
diff
changeset
|
52 //DtoResolveClass(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
|
53 |
|
027b8d8b71ec
[svn 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 Logger::println("DtoResolveClass(%s)", cd->toPrettyChars()); |
| 100 | 55 LOG_SCOPE; |
| 56 | |
| 57 assert(cd->type->ty == Tclass); | |
| 58 TypeClass* ts = (TypeClass*)cd->type; | |
| 59 | |
| 60 assert(!cd->llvmIRStruct); | |
| 61 IRStruct* irstruct = new IRStruct(ts); | |
| 62 cd->llvmIRStruct = irstruct; | |
| 63 | |
| 64 gIR->structs.push_back(irstruct); | |
| 65 gIR->classes.push_back(cd); | |
| 66 | |
| 67 // 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
|
68 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
|
69 const llvm::Type* vtabty = llvm::PointerType::get(ts->llvmVtblType->get()); |
| 100 | 70 |
| 71 std::vector<const llvm::Type*> fieldtypes; | |
| 72 fieldtypes.push_back(vtabty); | |
| 73 | |
| 74 // base classes first | |
| 75 LLVM_AddBaseClassData(&cd->baseclasses); | |
| 76 | |
| 77 // then add own members | |
| 78 for (int k=0; k < cd->members->dim; k++) { | |
| 79 Dsymbol* dsym = (Dsymbol*)(cd->members->data[k]); | |
| 80 dsym->toObjFile(); | |
| 81 } | |
| 82 | |
| 83 // add field types | |
| 84 for (IRStruct::OffsetMap::iterator i=irstruct->offsets.begin(); i!=irstruct->offsets.end(); ++i) { | |
| 85 fieldtypes.push_back(i->second.type); | |
| 86 } | |
| 87 | |
| 88 const llvm::StructType* structtype = llvm::StructType::get(fieldtypes); | |
| 89 // refine abstract types for stuff like: class C {C next;} | |
| 90 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
|
91 |
| 100 | 92 llvm::PATypeHolder& spa = irstruct->recty; |
| 93 llvm::cast<llvm::OpaqueType>(spa.get())->refineAbstractTypeTo(structtype); | |
| 94 structtype = isaStruct(spa.get()); | |
| 95 | |
|
103
855adfdb8d38
[svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable)
lindquist
parents:
102
diff
changeset
|
96 if (!ts->llvmType) |
|
855adfdb8d38
[svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable)
lindquist
parents:
102
diff
changeset
|
97 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
|
98 else |
|
855adfdb8d38
[svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable)
lindquist
parents:
102
diff
changeset
|
99 *ts->llvmType = structtype; |
| 100 | 100 |
| 101 bool needs_definition = false; | |
| 102 if (cd->parent->isModule()) { | |
| 103 gIR->module->addTypeName(cd->mangle(), ts->llvmType->get()); | |
| 104 needs_definition = (cd->getModule() == gIR->dmodule); | |
| 105 } | |
| 106 else { | |
| 107 assert(0 && "class parent is not a module"); | |
| 108 } | |
| 109 | |
| 110 // generate vtable | |
| 111 llvm::GlobalVariable* svtblVar = 0; | |
| 112 std::vector<const llvm::Type*> sinits_ty; | |
| 113 | |
| 114 for (int k=0; k < cd->vtbl.dim; k++) | |
| 115 { | |
| 116 Dsymbol* dsym = (Dsymbol*)cd->vtbl.data[k]; | |
| 117 assert(dsym); | |
| 118 //Logger::cout() << "vtblsym: " << dsym->toChars() << '\n'; | |
| 119 | |
| 120 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
|
121 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
|
122 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
|
123 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
|
124 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
|
125 sinits_ty.push_back(fpty); |
| 100 | 126 } |
| 127 else if (ClassDeclaration* cd = dsym->isClassDeclaration()) { | |
|
103
855adfdb8d38
[svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable)
lindquist
parents:
102
diff
changeset
|
128 //Logger::println("*** ClassDeclaration in vtable: %s", cd->toChars()); |
|
855adfdb8d38
[svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable)
lindquist
parents:
102
diff
changeset
|
129 const llvm::Type* cinfoty; |
|
855adfdb8d38
[svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable)
lindquist
parents:
102
diff
changeset
|
130 if (cd != ClassDeclaration::classinfo) { |
|
855adfdb8d38
[svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable)
lindquist
parents:
102
diff
changeset
|
131 cd = ClassDeclaration::classinfo; |
|
855adfdb8d38
[svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable)
lindquist
parents:
102
diff
changeset
|
132 DtoResolveClass(cd); |
|
855adfdb8d38
[svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable)
lindquist
parents:
102
diff
changeset
|
133 cinfoty = cd->type->llvmType->get(); |
|
855adfdb8d38
[svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable)
lindquist
parents:
102
diff
changeset
|
134 } |
|
855adfdb8d38
[svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable)
lindquist
parents:
102
diff
changeset
|
135 else { |
|
855adfdb8d38
[svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable)
lindquist
parents:
102
diff
changeset
|
136 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
|
137 } |
|
855adfdb8d38
[svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable)
lindquist
parents:
102
diff
changeset
|
138 const llvm::Type* cty = llvm::PointerType::get(cd->type->llvmType->get()); |
| 100 | 139 sinits_ty.push_back(cty); |
| 140 } | |
| 141 else | |
| 142 assert(0); | |
| 143 } | |
| 144 | |
|
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
|
145 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
|
146 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
|
147 |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
148 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
|
149 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
|
150 gIR->module->addTypeName(styname, svtbl_ty); |
| 100 | 151 |
|
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
|
152 // 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
|
153 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
|
154 |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
155 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
|
156 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
|
157 |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
158 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
|
159 } |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
160 |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
161 ////////////////////////////////////////////////////////////////////////////////////////// |
| 100 | 162 |
|
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
|
163 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
|
164 { |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
165 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
|
166 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
|
167 |
|
027b8d8b71ec
[svn 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 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
|
169 LOG_SCOPE; |
| 100 | 170 |
|
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
|
171 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
|
172 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
|
173 |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
174 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
|
175 IRStruct* irstruct = cd->llvmIRStruct; |
| 100 | 176 |
|
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
|
177 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
|
178 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
|
179 |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
180 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
|
181 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
|
182 needs_definition = (cd->getModule() == gIR->dmodule); |
| 100 | 183 } |
| 184 | |
|
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
|
185 // vtable |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
186 std::string varname("_D"); |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
187 varname.append(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
|
188 varname.append("6__vtblZ"); |
| 100 | 189 |
|
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
|
190 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
|
191 styname.append("__vtblTy"); |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
192 |
|
027b8d8b71ec
[svn 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 llvm::GlobalValue::LinkageTypes _linkage = llvm::GlobalValue::ExternalLinkage; |
|
027b8d8b71ec
[svn 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 |
|
027b8d8b71ec
[svn 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 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
|
196 cd->llvmVtbl = new llvm::GlobalVariable(svtbl_ty, true, _linkage, 0, varname, gIR->module); |
|
027b8d8b71ec
[svn 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 |
|
027b8d8b71ec
[svn 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 // init |
| 100 | 199 std::string initname("_D"); |
| 200 initname.append(cd->mangle()); | |
| 201 initname.append("6__initZ"); | |
|
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
|
202 |
| 100 | 203 llvm::GlobalVariable* initvar = new llvm::GlobalVariable(ts->llvmType->get(), true, _linkage, NULL, initname, gIR->module); |
| 204 ts->llvmInit = initvar; | |
| 205 | |
| 206 gIR->classes.pop_back(); | |
| 207 gIR->structs.pop_back(); | |
| 208 | |
|
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
|
209 gIR->constInitList.push_back(cd); |
| 100 | 210 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
|
211 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
|
212 |
|
855adfdb8d38
[svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable)
lindquist
parents:
102
diff
changeset
|
213 // classinfo |
|
855adfdb8d38
[svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable)
lindquist
parents:
102
diff
changeset
|
214 DtoDeclareClassInfo(cd); |
| 100 | 215 } |
| 216 | |
| 217 ////////////////////////////////////////////////////////////////////////////////////////// | |
| 218 | |
| 219 void DtoConstInitClass(ClassDeclaration* cd) | |
| 220 { | |
|
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
|
221 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
|
222 cd->llvmInitialized = true; |
| 100 | 223 |
|
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
|
224 Logger::println("DtoConstInitClass(%s)", cd->toPrettyChars()); |
| 100 | 225 LOG_SCOPE; |
| 226 | |
|
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
|
227 IRStruct* irstruct = cd->llvmIRStruct; |
| 100 | 228 gIR->structs.push_back(irstruct); |
| 229 gIR->classes.push_back(cd); | |
| 230 | |
| 231 // make sure each offset knows its default initializer | |
| 232 for (IRStruct::OffsetMap::iterator i=irstruct->offsets.begin(); i!=irstruct->offsets.end(); ++i) | |
| 233 { | |
| 234 IRStruct::Offset* so = &i->second; | |
| 235 llvm::Constant* finit = DtoConstFieldInitializer(so->var->type, so->var->init); | |
| 236 so->init = finit; | |
| 237 so->var->llvmConstInit = finit; | |
| 238 } | |
| 239 | |
| 240 // fill out fieldtypes/inits | |
| 241 std::vector<llvm::Constant*> fieldinits; | |
| 242 | |
| 243 // first field is always the vtable | |
| 244 assert(cd->llvmVtbl != 0); | |
| 245 fieldinits.push_back(cd->llvmVtbl); | |
| 246 | |
| 247 // rest | |
| 248 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
|
249 Logger::println("adding fieldinit for: %s", i->second.var->toChars()); |
| 100 | 250 fieldinits.push_back(i->second.init); |
| 251 } | |
| 252 | |
| 253 // get the struct (class) type | |
| 254 assert(cd->type->ty == Tclass); | |
| 255 TypeClass* ts = (TypeClass*)cd->type; | |
| 256 const llvm::StructType* structtype = isaStruct(ts->llvmType->get()); | |
| 257 | |
| 258 // generate initializer | |
|
103
855adfdb8d38
[svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable)
lindquist
parents:
102
diff
changeset
|
259 /*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
|
260 |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
261 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
|
262 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
|
263 } |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
264 |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
265 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
|
266 Logger::cout() << "i#" << i << " = " << *fieldinits[i]->getType() << '\n'; |
|
103
855adfdb8d38
[svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable)
lindquist
parents:
102
diff
changeset
|
267 }*/ |
|
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
|
268 |
| 100 | 269 llvm::Constant* _init = llvm::ConstantStruct::get(structtype, fieldinits); |
| 270 assert(_init); | |
| 271 cd->llvmInitZ = _init; | |
| 272 | |
|
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
|
273 // 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
|
274 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
|
275 |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
276 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
|
277 { |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
278 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
|
279 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
|
280 //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
|
281 |
|
027b8d8b71ec
[svn 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 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
|
283 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
|
284 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
|
285 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
|
286 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
|
287 } |
|
103
855adfdb8d38
[svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable)
lindquist
parents:
102
diff
changeset
|
288 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
|
289 assert(cd->llvmClass); |
|
855adfdb8d38
[svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable)
lindquist
parents:
102
diff
changeset
|
290 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
|
291 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
|
292 } |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
293 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
|
294 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
|
295 } |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
296 |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
297 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
|
298 |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
299 /*for (size_t i=0; i< sinits.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
|
300 { |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
301 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
|
302 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
|
303 assert(svtbl_ty->getElementType(i) == sinits[i]->getType()); |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
304 }*/ |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
305 |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
306 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
|
307 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
|
308 |
| 100 | 309 gIR->classes.pop_back(); |
| 310 gIR->structs.pop_back(); | |
| 311 } | |
| 312 | |
| 313 ////////////////////////////////////////////////////////////////////////////////////////// | |
| 314 | |
| 315 void DtoDefineClass(ClassDeclaration* cd) | |
| 316 { | |
|
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
|
317 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
|
318 cd->llvmDefined = true; |
| 100 | 319 |
|
102
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
320 Logger::println("DtoDefineClass(%s)", cd->toPrettyChars()); |
| 100 | 321 LOG_SCOPE; |
| 322 | |
| 323 // get the struct (class) type | |
| 324 assert(cd->type->ty == Tclass); | |
| 325 TypeClass* ts = (TypeClass*)cd->type; | |
| 326 | |
| 327 bool def = false; | |
| 328 if (cd->parent->isModule() && cd->getModule() == gIR->dmodule) { | |
| 329 ts->llvmInit->setInitializer(cd->llvmInitZ); | |
|
102
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
330 cd->llvmVtbl->setInitializer(cd->llvmConstVtbl); |
| 100 | 331 def = true; |
| 332 } | |
| 333 | |
| 334 // generate classinfo | |
| 335 if (def) DtoDefineClassInfo(cd); | |
| 336 } | |
| 337 | |
| 338 ////////////////////////////////////////////////////////////////////////////////////////// | |
| 339 | |
| 340 void DtoCallClassDtors(TypeClass* tc, llvm::Value* instance) | |
| 341 { | |
| 342 Array* arr = &tc->sym->dtors; | |
| 343 for (size_t i=0; i<arr->dim; i++) | |
| 344 { | |
| 345 FuncDeclaration* fd = (FuncDeclaration*)arr->data[i]; | |
| 346 assert(fd->llvmValue); | |
| 347 new llvm::CallInst(fd->llvmValue, instance, "", gIR->scopebb()); | |
| 348 } | |
| 349 } | |
| 350 | |
| 351 ////////////////////////////////////////////////////////////////////////////////////////// | |
| 352 | |
| 353 void DtoInitClass(TypeClass* tc, llvm::Value* dst) | |
| 354 { | |
| 355 assert(gIR); | |
| 356 | |
| 357 assert(tc->llvmType); | |
| 358 uint64_t size_t_size = gTargetData->getTypeSize(DtoSize_t()); | |
| 359 uint64_t n = gTargetData->getTypeSize(tc->llvmType->get()) - size_t_size; | |
| 360 | |
| 361 // set vtable field | |
| 362 llvm::Value* vtblvar = DtoGEPi(dst,0,0,"tmp",gIR->scopebb()); | |
| 363 assert(tc->sym->llvmVtbl); | |
| 364 new llvm::StoreInst(tc->sym->llvmVtbl, vtblvar, gIR->scopebb()); | |
| 365 | |
| 366 // copy the static initializer | |
| 367 if (n > 0) { | |
| 368 assert(tc->llvmInit); | |
| 369 assert(dst->getType() == tc->llvmInit->getType()); | |
| 370 | |
| 371 llvm::Type* arrty = llvm::PointerType::get(llvm::Type::Int8Ty); | |
| 372 | |
| 373 llvm::Value* dstarr = new llvm::BitCastInst(dst,arrty,"tmp",gIR->scopebb()); | |
| 374 dstarr = DtoGEPi(dstarr,size_t_size,"tmp",gIR->scopebb()); | |
| 375 | |
| 376 llvm::Value* srcarr = new llvm::BitCastInst(tc->llvmInit,arrty,"tmp",gIR->scopebb()); | |
| 377 srcarr = DtoGEPi(srcarr,size_t_size,"tmp",gIR->scopebb()); | |
| 378 | |
| 379 llvm::Function* fn = LLVM_DeclareMemCpy32(); | |
| 380 std::vector<llvm::Value*> llargs; | |
| 381 llargs.resize(4); | |
| 382 llargs[0] = dstarr; | |
| 383 llargs[1] = srcarr; | |
| 384 llargs[2] = llvm::ConstantInt::get(llvm::Type::Int32Ty, n, false); | |
| 385 llargs[3] = llvm::ConstantInt::get(llvm::Type::Int32Ty, 0, false); | |
| 386 | |
| 387 new llvm::CallInst(fn, llargs.begin(), llargs.end(), "", gIR->scopebb()); | |
| 388 } | |
| 389 } | |
| 390 | |
| 391 ////////////////////////////////////////////////////////////////////////////////////////// | |
| 392 | |
| 393 void DtoDeclareClassInfo(ClassDeclaration* cd) | |
| 394 { | |
|
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
|
395 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
|
396 cd->llvmClassDeclared = true; |
| 100 | 397 |
|
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
|
398 Logger::println("DtoDeclareClassInfo(%s)", cd->toChars()); |
| 100 | 399 LOG_SCOPE; |
| 400 | |
| 401 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
|
402 DtoResolveClass(cinfo); |
| 100 | 403 |
| 404 std::string gname("_D"); | |
| 405 gname.append(cd->mangle()); | |
| 406 gname.append("7__ClassZ"); | |
| 407 | |
|
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 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
|
409 |
| 100 | 410 cd->llvmClass = new llvm::GlobalVariable(st, true, llvm::GlobalValue::ExternalLinkage, NULL, gname, gIR->module); |
| 411 } | |
| 412 | |
| 413 void DtoDefineClassInfo(ClassDeclaration* cd) | |
| 414 { | |
| 415 // The layout is: | |
| 416 // { | |
| 417 // void **vptr; | |
| 418 // monitor_t monitor; | |
| 419 // byte[] initializer; // static initialization data | |
| 420 // char[] name; // class name | |
| 421 // void *[] vtbl; | |
| 422 // Interface[] interfaces; | |
| 423 // ClassInfo *base; // base class | |
| 424 // void *destructor; | |
| 425 // void *invariant; // class invariant | |
| 426 // uint flags; | |
| 427 // void *deallocator; | |
| 428 // OffsetTypeInfo[] offTi; | |
| 429 // void *defaultConstructor; | |
| 430 // } | |
| 431 | |
|
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
|
432 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
|
433 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
|
434 |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
435 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
|
436 LOG_SCOPE; |
| 100 | 437 |
|
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
|
438 assert(cd->type->ty == Tclass); |
| 100 | 439 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
|
440 assert(cd->llvmInitZ); |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
441 assert(cd->llvmVtbl); |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
442 assert(cd->llvmConstVtbl); |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
443 |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
444 TypeClass* cdty = (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
|
445 assert(cdty->llvmInit); |
| 100 | 446 |
| 447 // holds the list of initializers for llvm | |
| 448 std::vector<llvm::Constant*> inits; | |
| 449 | |
| 450 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
|
451 DtoForceConstInitDsymbol(cinfo); |
| 100 | 452 assert(cinfo->llvmInitZ); |
| 453 | |
| 454 llvm::Constant* c; | |
| 455 | |
| 456 // own vtable | |
| 457 c = cinfo->llvmInitZ->getOperand(0); | |
| 458 assert(c); | |
| 459 inits.push_back(c); | |
| 460 | |
| 461 // monitor | |
| 462 // TODO no monitors yet | |
| 463 | |
|
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
|
464 // 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
|
465 const llvm::Type* byteptrty = llvm::PointerType::get(llvm::Type::Int8Ty); |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
466 c = llvm::ConstantExpr::getBitCast(cdty->llvmInit, byteptrty); |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
467 assert(!cd->llvmInitZ->getType()->isAbstract()); |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
468 size_t initsz = gTargetData->getTypeSize(cd->llvmInitZ->getType()); |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
469 c = DtoConstSlice(DtoConstSize_t(initsz), c); |
| 100 | 470 inits.push_back(c); |
| 471 | |
| 472 // class name | |
| 473 // from dmd | |
| 474 char *name = cd->ident->toChars(); | |
| 475 size_t namelen = strlen(name); | |
| 476 if (!(namelen > 9 && memcmp(name, "TypeInfo_", 9) == 0)) | |
| 477 { | |
| 478 name = cd->toPrettyChars(); | |
| 479 namelen = strlen(name); | |
| 480 } | |
| 481 c = DtoConstString(name); | |
| 482 inits.push_back(c); | |
| 483 | |
| 484 // vtbl array | |
|
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
|
485 const llvm::Type* byteptrptrty = llvm::PointerType::get(byteptrty); |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
486 assert(!cd->llvmVtbl->getType()->isAbstract()); |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
487 c = llvm::ConstantExpr::getBitCast(cd->llvmVtbl, byteptrptrty); |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
488 assert(!cd->llvmConstVtbl->getType()->isAbstract()); |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
489 size_t vtblsz = gTargetData->getTypeSize(cd->llvmConstVtbl->getType()); |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
490 c = DtoConstSlice(DtoConstSize_t(vtblsz), c); |
| 100 | 491 inits.push_back(c); |
| 492 | |
| 493 // interfaces array | |
|
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
|
494 // TODO |
| 100 | 495 c = cinfo->llvmInitZ->getOperand(4); |
| 496 inits.push_back(c); | |
| 497 | |
| 498 // base 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
|
499 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
|
500 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
|
501 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
|
502 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
|
503 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
|
504 } |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
505 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
|
506 // 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
|
507 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
|
508 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
|
509 } |
| 100 | 510 |
| 511 // destructor | |
|
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
|
512 // TODO |
| 100 | 513 c = cinfo->llvmInitZ->getOperand(6); |
| 514 inits.push_back(c); | |
| 515 | |
| 516 // 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
|
517 // TODO |
| 100 | 518 c = cinfo->llvmInitZ->getOperand(7); |
| 519 inits.push_back(c); | |
| 520 | |
|
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
|
521 // uint flags, adapted from original dmd code |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
522 uint flags = 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
|
523 //flags |= 4; // has offTi |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
524 //flags |= isCOMclass(); // IUnknown |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
525 if (cd->ctor) flags |= 8; |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
526 for (ClassDeclaration *cd2 = cd; cd2; cd2 = cd2->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
|
527 { |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
528 if (cd2->members) |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
529 { |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
530 for (size_t i = 0; i < cd2->members->dim; 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
|
531 { |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
532 Dsymbol *sm = (Dsymbol *)cd2->members->data[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
|
533 //printf("sm = %s %s\n", sm->kind(), sm->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
|
534 if (sm->hasPointers()) |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
535 goto L2; |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
536 } |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
537 } |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
538 } |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
539 flags |= 2; // no pointers |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
540 L2: |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
541 c = DtoConstUint(flags); |
| 100 | 542 inits.push_back(c); |
| 543 | |
| 544 // 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
|
545 // TODO |
| 100 | 546 c = cinfo->llvmInitZ->getOperand(9); |
| 547 inits.push_back(c); | |
| 548 | |
| 549 // offset typeinfo | |
|
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
|
550 // TODO |
| 100 | 551 c = cinfo->llvmInitZ->getOperand(10); |
| 552 inits.push_back(c); | |
| 553 | |
| 554 // default constructor | |
|
102
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
555 // TODO |
| 100 | 556 c = cinfo->llvmInitZ->getOperand(11); |
| 557 inits.push_back(c); | |
| 558 | |
| 559 /*size_t n = inits.size(); | |
| 560 for (size_t i=0; i<n; ++i) | |
| 561 { | |
| 562 Logger::cout() << "inits[" << i << "]: " << *inits[i] << '\n'; | |
| 563 }*/ | |
| 564 | |
| 565 // build the initializer | |
| 566 const llvm::StructType* st = isaStruct(cinfo->llvmInitZ->getType()); | |
| 567 llvm::Constant* finalinit = llvm::ConstantStruct::get(st, inits); | |
| 568 //Logger::cout() << "built the classinfo initializer:\n" << *finalinit <<'\n'; | |
| 569 | |
| 570 cd->llvmClassZ = finalinit; | |
| 571 cd->llvmClass->setInitializer(finalinit); | |
| 572 } |