projects/ldc: ir/irclass.cpp annotate

annotate ir/irclass.cpp @ 1529:ad7f2f1862d6

Adjust LDC to work with the LLVMContext LLVM changes. This means we now require a fairly new LLVM revision. I use 75234.

author	Christian Kamm <kamm incasoftware de>
date	Fri, 10 Jul 2009 21:30:02 +0200
parents	a5526b7a5ae6
children	d1652c8fb4f6

rev	line source
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	1 #include "llvm/Constants.h"
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	2 #include "llvm/DerivedTypes.h"
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	3
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	4 #include "aggregate.h"
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	5 #include "declaration.h"
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	6 #include "mtype.h"
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	7
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	8 #include "gen/irstate.h"
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	9 #include "gen/logger.h"
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	10 #include "gen/tollvm.h"
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	11 #include "gen/llvmhelpers.h"
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	12 #include "gen/utils.h"
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	13 #include "gen/arrays.h"
1317 4099548c80e0 Allocate objects on the stack if they (a) don't have a destructor, and Frits van Bommel <fvbommel wxs.nl> parents: 1278 diff changeset	14 #include "gen/metadata.h"
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	15
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	16 #include "ir/irstruct.h"
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	17 #include "ir/irtypeclass.h"
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	18
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	19 //////////////////////////////////////////////////////////////////////////////
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	20
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	21 extern LLConstant* get_default_initializer(VarDeclaration* vd, Initializer* init);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	22 extern size_t add_zeros(std::vector<llvm::Constant*>& constants, size_t diff);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	23
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	24 extern LLConstant* DtoDefineClassInfo(ClassDeclaration* cd);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	25
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	26 //////////////////////////////////////////////////////////////////////////////
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	27
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	28 LLGlobalVariable * IrStruct::getVtblSymbol()
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	29 {
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	30 if (vtbl)
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	31 return vtbl;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	32
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	33 // create the initZ symbol
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	34 std::string initname("_D");
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	35 initname.append(aggrdecl->mangle());
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	36 initname.append("6__vtblZ");
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	37
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	38 llvm::GlobalValue::LinkageTypes _linkage = DtoExternalLinkage(aggrdecl);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	39
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	40 const LLType* vtblTy = type->irtype->isClass()->getVtbl();
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	41
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	42 vtbl = new llvm::GlobalVariable(
1529 ad7f2f1862d6 Adjust LDC to work with the LLVMContext LLVM changes. Christian Kamm <kamm incasoftware de> parents: 1463 diff changeset	43 *gIR->module, vtblTy, true, _linkage, NULL, initname);
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	44
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	45 return vtbl;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	46 }
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	47
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	48 //////////////////////////////////////////////////////////////////////////////
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	49
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	50 LLGlobalVariable * IrStruct::getClassInfoSymbol()
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	51 {
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	52 if (classInfo)
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	53 return classInfo;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	54
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	55 // create the initZ symbol
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	56 std::string initname("_D");
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	57 initname.append(aggrdecl->mangle());
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	58 if (aggrdecl->isInterfaceDeclaration())
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	59 initname.append("11__InterfaceZ");
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	60 else
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	61 initname.append("7__ClassZ");
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	62
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	63 llvm::GlobalValue::LinkageTypes _linkage = DtoExternalLinkage(aggrdecl);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	64
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	65 ClassDeclaration* cinfo = ClassDeclaration::classinfo;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	66 DtoType(cinfo->type);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	67 IrTypeClass* tc = cinfo->type->irtype->isClass();
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	68 assert(tc && "invalid ClassInfo type");
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	69
1241 fc579f389f9a !ClassInfo instances were not mutable, this is necessary for .classinfo based locking to work. !ModuleInfo generation was commented out as well. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1236 diff changeset	70 // classinfos cannot be constants since they're used a locks for synchronized
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	71 classInfo = new llvm::GlobalVariable(
1529 ad7f2f1862d6 Adjust LDC to work with the LLVMContext LLVM changes. Christian Kamm <kamm incasoftware de> parents: 1463 diff changeset	72 *gIR->module, tc->getPA().get(), false, _linkage, NULL, initname);
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	73
1317 4099548c80e0 Allocate objects on the stack if they (a) don't have a destructor, and Frits van Bommel <fvbommel wxs.nl> parents: 1278 diff changeset	74 #ifdef USE_METADATA
4099548c80e0 Allocate objects on the stack if they (a) don't have a destructor, and Frits van Bommel <fvbommel wxs.nl> parents: 1278 diff changeset	75 // Generate some metadata on this ClassInfo if it's for a class.
4099548c80e0 Allocate objects on the stack if they (a) don't have a destructor, and Frits van Bommel <fvbommel wxs.nl> parents: 1278 diff changeset	76
4099548c80e0 Allocate objects on the stack if they (a) don't have a destructor, and Frits van Bommel <fvbommel wxs.nl> parents: 1278 diff changeset	77 ClassDeclaration* classdecl = aggrdecl->isClassDeclaration();
4099548c80e0 Allocate objects on the stack if they (a) don't have a destructor, and Frits van Bommel <fvbommel wxs.nl> parents: 1278 diff changeset	78 if (classdecl && !aggrdecl->isInterfaceDeclaration()) {
4099548c80e0 Allocate objects on the stack if they (a) don't have a destructor, and Frits van Bommel <fvbommel wxs.nl> parents: 1278 diff changeset	79 // Gather information
4099548c80e0 Allocate objects on the stack if they (a) don't have a destructor, and Frits van Bommel <fvbommel wxs.nl> parents: 1278 diff changeset	80 const LLType* type = DtoType(aggrdecl->type);
4099548c80e0 Allocate objects on the stack if they (a) don't have a destructor, and Frits van Bommel <fvbommel wxs.nl> parents: 1278 diff changeset	81 const LLType* bodyType = llvm::cast<LLPointerType>(type)->getElementType();
4099548c80e0 Allocate objects on the stack if they (a) don't have a destructor, and Frits van Bommel <fvbommel wxs.nl> parents: 1278 diff changeset	82 bool hasDestructor = (classdecl->dtor != NULL);
4099548c80e0 Allocate objects on the stack if they (a) don't have a destructor, and Frits van Bommel <fvbommel wxs.nl> parents: 1278 diff changeset	83 bool hasCustomDelete = (classdecl->aggDelete != NULL);
4099548c80e0 Allocate objects on the stack if they (a) don't have a destructor, and Frits van Bommel <fvbommel wxs.nl> parents: 1278 diff changeset	84 // Construct the fields
1343 c21a6654cce2 Update for metadata changes in LLVM trunk. Frits van Bommel <fvbommel wxs.nl> parents: 1317 diff changeset	85 MDNodeField* mdVals[CD_NumFields];
1317 4099548c80e0 Allocate objects on the stack if they (a) don't have a destructor, and Frits van Bommel <fvbommel wxs.nl> parents: 1278 diff changeset	86 mdVals[CD_BodyType] = llvm::UndefValue::get(bodyType);
4099548c80e0 Allocate objects on the stack if they (a) don't have a destructor, and Frits van Bommel <fvbommel wxs.nl> parents: 1278 diff changeset	87 mdVals[CD_Finalize] = LLConstantInt::get(LLType::Int1Ty, hasDestructor);
4099548c80e0 Allocate objects on the stack if they (a) don't have a destructor, and Frits van Bommel <fvbommel wxs.nl> parents: 1278 diff changeset	88 mdVals[CD_CustomDelete] = LLConstantInt::get(LLType::Int1Ty, hasCustomDelete);
4099548c80e0 Allocate objects on the stack if they (a) don't have a destructor, and Frits van Bommel <fvbommel wxs.nl> parents: 1278 diff changeset	89 // Construct the metadata
4099548c80e0 Allocate objects on the stack if they (a) don't have a destructor, and Frits van Bommel <fvbommel wxs.nl> parents: 1278 diff changeset	90 llvm::MDNode* metadata = llvm::MDNode::get(mdVals, CD_NumFields);
4099548c80e0 Allocate objects on the stack if they (a) don't have a destructor, and Frits van Bommel <fvbommel wxs.nl> parents: 1278 diff changeset	91 // Insert it into the module
1529 ad7f2f1862d6 Adjust LDC to work with the LLVMContext LLVM changes. Christian Kamm <kamm incasoftware de> parents: 1463 diff changeset	92 new llvm::GlobalVariable(*gIR->module, metadata->getType(), true,
ad7f2f1862d6 Adjust LDC to work with the LLVMContext LLVM changes. Christian Kamm <kamm incasoftware de> parents: 1463 diff changeset	93 METADATA_LINKAGE_TYPE, metadata, CD_PREFIX + initname);
1317 4099548c80e0 Allocate objects on the stack if they (a) don't have a destructor, and Frits van Bommel <fvbommel wxs.nl> parents: 1278 diff changeset	94 }
4099548c80e0 Allocate objects on the stack if they (a) don't have a destructor, and Frits van Bommel <fvbommel wxs.nl> parents: 1278 diff changeset	95 #endif
4099548c80e0 Allocate objects on the stack if they (a) don't have a destructor, and Frits van Bommel <fvbommel wxs.nl> parents: 1278 diff changeset	96
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	97 return classInfo;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	98 }
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	99
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	100 //////////////////////////////////////////////////////////////////////////////
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	101
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	102 LLGlobalVariable * IrStruct::getInterfaceArraySymbol()
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	103 {
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	104 if (classInterfacesArray)
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	105 return classInterfacesArray;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	106
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	107 ClassDeclaration* cd = aggrdecl->isClassDeclaration();
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	108
1235 ded6a557220a Too strict assertion with generating the interfaceInfosZ symbol. Baseclasses might introduce interfaces. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1231 diff changeset	109 size_t n = type->irtype->isClass()->getNumInterfaceVtbls();
ded6a557220a Too strict assertion with generating the interfaceInfosZ symbol. Baseclasses might introduce interfaces. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1231 diff changeset	110 assert(n > 0 && "getting ClassInfo.interfaces storage symbol, but we "
ded6a557220a Too strict assertion with generating the interfaceInfosZ symbol. Baseclasses might introduce interfaces. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1231 diff changeset	111 "don't implement any interfaces");
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	112
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	113 VarDeclarationIter idx(ClassDeclaration::classinfo->fields, 3);
1452 638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 1403 diff changeset	114 const llvm::Type* InterfaceTy = DtoType(idx->type->nextOf());
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	115
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	116 // create Interface[N]
1235 ded6a557220a Too strict assertion with generating the interfaceInfosZ symbol. Baseclasses might introduce interfaces. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1231 diff changeset	117 const llvm::ArrayType* array_type = llvm::ArrayType::get(InterfaceTy,n);
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	118
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	119 // put it in a global
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	120 std::string name("_D");
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	121 name.append(cd->mangle());
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	122 name.append("16__interfaceInfosZ");
1403 e5c5d354c649 Tentative fix for semantic3 on imported modules and unnecessary template Christian Kamm <kamm incasoftware de> parents: 1351 diff changeset	123
e5c5d354c649 Tentative fix for semantic3 on imported modules and unnecessary template Christian Kamm <kamm incasoftware de> parents: 1351 diff changeset	124 llvm::GlobalValue::LinkageTypes _linkage = DtoExternalLinkage(aggrdecl);
1529 ad7f2f1862d6 Adjust LDC to work with the LLVMContext LLVM changes. Christian Kamm <kamm incasoftware de> parents: 1463 diff changeset	125 classInterfacesArray = new llvm::GlobalVariable(*gIR->module,
ad7f2f1862d6 Adjust LDC to work with the LLVMContext LLVM changes. Christian Kamm <kamm incasoftware de> parents: 1463 diff changeset	126 array_type, true, _linkage, NULL, name);
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	127
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	128 return classInterfacesArray;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	129 }
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	130
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	131 //////////////////////////////////////////////////////////////////////////////
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	132
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	133 LLConstant * IrStruct::getVtblInit()
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	134 {
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	135 if (constVtbl)
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	136 return constVtbl;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	137
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	138 IF_LOG Logger::println("Building vtbl initializer");
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	139 LOG_SCOPE;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	140
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	141 ClassDeclaration* cd = aggrdecl->isClassDeclaration();
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	142 assert(cd && "not class");
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	143
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	144 std::vector<llvm::Constant*> constants;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	145 constants.reserve(cd->vtbl.dim);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	146
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	147 // start with the classinfo
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	148 llvm::Constant* c = getClassInfoSymbol();
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	149 c = DtoBitCast(c, DtoType(ClassDeclaration::classinfo->type));
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	150 constants.push_back(c);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	151
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	152 // add virtual function pointers
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	153 size_t n = cd->vtbl.dim;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	154 for (size_t i = 1; i < n; i++)
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	155 {
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	156 Dsymbol* dsym = (Dsymbol*)cd->vtbl.data[i];
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	157 assert(dsym && "null vtbl member");
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	158
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	159 FuncDeclaration* fd = dsym->isFuncDeclaration();
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	160 assert(fd && "vtbl entry not a function");
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	161
1261 854e86eaa022 Revert change to treat bodyless functions in abstract classes as abstract. Christian Kamm <kamm incasoftware de> parents: 1253 diff changeset	162 if (fd->isAbstract() && !fd->fbody)
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	163 {
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	164 c = getNullValue(DtoType(fd->type->pointerTo()));
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	165 }
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	166 else
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	167 {
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	168 fd->codegen(Type::sir);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	169 assert(fd->ir.irFunc && "invalid vtbl function");
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	170 c = fd->ir.irFunc->func;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	171 }
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	172 constants.push_back(c);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	173 }
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	174
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	175 // build the constant struct
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	176 constVtbl = llvm::ConstantStruct::get(constants, false);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	177
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	178 #if 0
1453 f35a9a77d256 More tweaks. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	179 IF_LOG Logger::cout() << "constVtbl type: " << *constVtbl->getType() << std::endl;
f35a9a77d256 More tweaks. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	180 IF_LOG Logger::cout() << "vtbl type: " << *type->irtype->isClass()->getVtbl() << std::endl;
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	181 #endif
1463 a5526b7a5ae6 D2: Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1457 diff changeset	182
a5526b7a5ae6 D2: Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1457 diff changeset	183 #if 1
a5526b7a5ae6 D2: Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1457 diff changeset	184
a5526b7a5ae6 D2: Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1457 diff changeset	185 size_t nc = constants.size();
a5526b7a5ae6 D2: Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1457 diff changeset	186 const LLType* vtblTy = type->irtype->isClass()->getVtbl();
a5526b7a5ae6 D2: Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1457 diff changeset	187 for (size_t i = 0; i < nc; ++i)
a5526b7a5ae6 D2: Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1457 diff changeset	188 {
a5526b7a5ae6 D2: Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1457 diff changeset	189 if (constVtbl->getOperand(i)->getType() != vtblTy->getContainedType(i))
a5526b7a5ae6 D2: Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1457 diff changeset	190 {
a5526b7a5ae6 D2: Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1457 diff changeset	191 Logger::cout() << "type mismatch for entry # " << i << " in vtbl initializer" << std::endl;
a5526b7a5ae6 D2: Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1457 diff changeset	192
a5526b7a5ae6 D2: Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1457 diff changeset	193 constVtbl->getOperand(i)->dump();
a5526b7a5ae6 D2: Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1457 diff changeset	194 vtblTy->getContainedType(i)->dump(gIR->module);
a5526b7a5ae6 D2: Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1457 diff changeset	195 }
a5526b7a5ae6 D2: Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1457 diff changeset	196 }
a5526b7a5ae6 D2: Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1457 diff changeset	197
a5526b7a5ae6 D2: Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1457 diff changeset	198 #endif
a5526b7a5ae6 D2: Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1457 diff changeset	199
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	200 assert(constVtbl->getType() == type->irtype->isClass()->getVtbl() &&
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	201 "vtbl initializer type mismatch");
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	202
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	203 return constVtbl;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	204 }
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	205
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	206 //////////////////////////////////////////////////////////////////////////////
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	207
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	208 LLConstant * IrStruct::getClassInfoInit()
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	209 {
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	210 if (constClassInfo)
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	211 return constClassInfo;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	212 constClassInfo = DtoDefineClassInfo(aggrdecl->isClassDeclaration());
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	213 return constClassInfo;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	214 }
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	215
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	216 //////////////////////////////////////////////////////////////////////////////
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	217
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	218 void IrStruct::addBaseClassInits(
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	219 std::vector<llvm::Constant*>& constants,
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	220 ClassDeclaration* base,
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	221 size_t& offset,
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	222 size_t& field_index)
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	223 {
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	224 if (base->baseClass)
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	225 {
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	226 addBaseClassInits(constants, base->baseClass, offset, field_index);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	227 }
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	228
1270 dd135ff697fa Fixed class default initializers and type generation. Bug #260 is fixed. Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1263 diff changeset	229 IrTypeClass* tc = base->type->irtype->isClass();
dd135ff697fa Fixed class default initializers and type generation. Bug #260 is fixed. Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1263 diff changeset	230 assert(tc);
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	231
1270 dd135ff697fa Fixed class default initializers and type generation. Bug #260 is fixed. Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1263 diff changeset	232 // go through fields
dd135ff697fa Fixed class default initializers and type generation. Bug #260 is fixed. Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1263 diff changeset	233 IrTypeAggr::iterator it;
dd135ff697fa Fixed class default initializers and type generation. Bug #260 is fixed. Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1263 diff changeset	234 for (it = tc->def_begin(); it != tc->def_end(); ++it)
dd135ff697fa Fixed class default initializers and type generation. Bug #260 is fixed. Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1263 diff changeset	235 {
dd135ff697fa Fixed class default initializers and type generation. Bug #260 is fixed. Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1263 diff changeset	236 VarDeclaration* vd = *it;
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	237
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	238 IF_LOG Logger::println("Adding default field %s %s (+%u)", vd->type->toChars(), vd->toChars(), vd->offset);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	239 LOG_SCOPE;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	240
1270 dd135ff697fa Fixed class default initializers and type generation. Bug #260 is fixed. Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1263 diff changeset	241 assert(vd->offset >= offset && "default fields not sorted by offset");
dd135ff697fa Fixed class default initializers and type generation. Bug #260 is fixed. Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1263 diff changeset	242
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	243 // get next aligned offset for this type
1351 8d501abecd24 Initial (but disabled) fix for ticket #294 , the actual part that fixes the bug is in a #if 0 block as I'm afraid it will cause regressions. I'm most likely not going to be around tonight, and maybe not tomorrow as well, so I'm pushing it in case someone wants to run some serious testing/investigate the problem noted in llvmhelpers.cpp : realignOffset . Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1343 diff changeset	244 size_t alignedoffset = realignOffset(offset, vd->type);
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	245
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	246 // insert explicit padding?
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	247 if (alignedoffset < vd->offset)
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	248 {
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	249 add_zeros(constants, vd->offset - alignedoffset);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	250 }
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	251
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	252 // add default type
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	253 constants.push_back(get_default_initializer(vd, vd->init));
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	254
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	255 // advance offset to right past this field
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	256 offset = vd->offset + vd->type->size();
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	257 }
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	258
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	259 // has interface vtbls?
1270 dd135ff697fa Fixed class default initializers and type generation. Bug #260 is fixed. Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1263 diff changeset	260 if (base->vtblInterfaces && base->vtblInterfaces->dim > 0)
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	261 {
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	262 // false when it's not okay to use functions from super classes
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	263 bool newinsts = (base == aggrdecl->isClassDeclaration());
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	264
1230 e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	265 size_t inter_idx = interfacesWithVtbls.size();
e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	266
1270 dd135ff697fa Fixed class default initializers and type generation. Bug #260 is fixed. Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1263 diff changeset	267 offset = (offset + PTRSIZE - 1) & ~(PTRSIZE - 1);
dd135ff697fa Fixed class default initializers and type generation. Bug #260 is fixed. Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1263 diff changeset	268
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	269 ArrayIter<BaseClass> it2(*base->vtblInterfaces);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	270 for (; !it2.done(); it2.next())
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	271 {
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	272 BaseClass* b = it2.get();
1230 e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	273 constants.push_back(getInterfaceVtbl(b, newinsts, inter_idx));
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	274 offset += PTRSIZE;
1230 e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	275
e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	276 // add to the interface list
e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	277 interfacesWithVtbls.push_back(b);
e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	278 inter_idx++;
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	279 }
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	280 }
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	281
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	282 // tail padding?
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	283 if (offset < base->structsize)
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	284 {
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	285 add_zeros(constants, base->structsize - offset);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	286 offset = base->structsize;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	287 }
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	288 }
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	289
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	290 //////////////////////////////////////////////////////////////////////////////
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	291
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	292 LLConstant * IrStruct::createClassDefaultInitializer()
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	293 {
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	294 ClassDeclaration* cd = aggrdecl->isClassDeclaration();
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	295 assert(cd && "invalid class aggregate");
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	296
1278 8fb39f7f1a7c Fixed file name in imported mixins containing assertions. Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1270 diff changeset	297 IF_LOG Logger::println("Building class default initializer %s @ %s", cd->toPrettyChars(), cd->loc.toChars());
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	298 LOG_SCOPE;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	299 IF_LOG Logger::println("Instance size: %u", cd->structsize);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	300
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	301 // find the fields that contribute to the default initializer.
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	302 // these will define the default type.
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	303
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	304 std::vector<llvm::Constant*> constants;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	305 constants.reserve(32);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	306
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	307 // add vtbl
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	308 constants.push_back(getVtblSymbol());
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	309 // add monitor
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	310 constants.push_back(getNullValue(DtoType(Type::tvoid->pointerTo())));
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	311
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	312 // we start right after the vtbl and monitor
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	313 size_t offset = PTRSIZE * 2;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	314 size_t field_index = 2;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	315
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	316 // add data members recursively
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	317 addBaseClassInits(constants, cd, offset, field_index);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	318
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	319 // build the constant
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	320 llvm::Constant* definit = llvm::ConstantStruct::get(constants, false);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	321
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	322 return definit;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	323 }
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	324
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	325 //////////////////////////////////////////////////////////////////////////////
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	326
1230 e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	327 llvm::GlobalVariable * IrStruct::getInterfaceVtbl(BaseClass * b, bool new_instance, size_t interfaces_index)
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	328 {
1230 e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	329 ClassGlobalMap::iterator it = interfaceVtblMap.find(b->base);
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	330 if (it != interfaceVtblMap.end())
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	331 return it->second;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	332
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	333 IF_LOG Logger::println("Building vtbl for implementation of interface %s in class %s",
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	334 b->base->toPrettyChars(), aggrdecl->toPrettyChars());
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	335 LOG_SCOPE;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	336
1230 e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	337 ClassDeclaration* cd = aggrdecl->isClassDeclaration();
e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	338 assert(cd && "not a class aggregate");
e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	339
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	340 Array vtbl_array;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	341 b->fillVtbl(cd, &vtbl_array, new_instance);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	342
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	343 std::vector<llvm::Constant*> constants;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	344 constants.reserve(vtbl_array.dim);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	345
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	346 // start with the interface info
1230 e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	347 VarDeclarationIter interfaces_idx(ClassDeclaration::classinfo->fields, 3);
1452 638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 1403 diff changeset	348 Type* first = interfaces_idx->type->nextOf()->pointerTo();
1230 e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	349
e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	350 // index into the interfaces array
e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	351 llvm::Constant* idxs[2] = {
e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	352 DtoConstSize_t(0),
e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	353 DtoConstSize_t(interfaces_index)
e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	354 };
e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	355
e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	356 llvm::Constant* c = llvm::ConstantExpr::getGetElementPtr(
e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	357 getInterfaceArraySymbol(), idxs, 2);
e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	358
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	359 constants.push_back(c);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	360
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	361 // add virtual function pointers
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	362 size_t n = vtbl_array.dim;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	363 for (size_t i = 1; i < n; i++)
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	364 {
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	365 Dsymbol* dsym = (Dsymbol*)vtbl_array.data[i];
1231 212ec2d9d176 Fixed some minitest regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1230 diff changeset	366 if (dsym == NULL)
212ec2d9d176 Fixed some minitest regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1230 diff changeset	367 {
212ec2d9d176 Fixed some minitest regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1230 diff changeset	368 // FIXME
212ec2d9d176 Fixed some minitest regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1230 diff changeset	369 // why is this null?
212ec2d9d176 Fixed some minitest regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1230 diff changeset	370 // happens for mini/s.d
212ec2d9d176 Fixed some minitest regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1230 diff changeset	371 constants.push_back(getNullValue(getVoidPtrType()));
212ec2d9d176 Fixed some minitest regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1230 diff changeset	372 continue;
212ec2d9d176 Fixed some minitest regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1230 diff changeset	373 }
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	374
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	375 FuncDeclaration* fd = dsym->isFuncDeclaration();
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	376 assert(fd && "vtbl entry not a function");
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	377
1261 854e86eaa022 Revert change to treat bodyless functions in abstract classes as abstract. Christian Kamm <kamm incasoftware de> parents: 1253 diff changeset	378 assert((!fd->isAbstract() \|\| fd->fbody) &&
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	379 "null symbol in interface implementation vtable");
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	380
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	381 fd->codegen(Type::sir);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	382 assert(fd->ir.irFunc && "invalid vtbl function");
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	383
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	384 constants.push_back(fd->ir.irFunc->func);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	385 }
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	386
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	387 // build the vtbl constant
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	388 llvm::Constant* vtbl_constant = llvm::ConstantStruct::get(constants, false);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	389
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	390 // create the global variable to hold it
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	391 llvm::GlobalValue::LinkageTypes _linkage = DtoExternalLinkage(aggrdecl);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	392
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	393 std::string mangle("_D");
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	394 mangle.append(cd->mangle());
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	395 mangle.append("11__interface");
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	396 mangle.append(b->base->mangle());
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	397 mangle.append("6__vtblZ");
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	398
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	399 llvm::GlobalVariable* GV = new llvm::GlobalVariable(
1529 ad7f2f1862d6 Adjust LDC to work with the LLVMContext LLVM changes. Christian Kamm <kamm incasoftware de> parents: 1463 diff changeset	400 *gIR->module,
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	401 vtbl_constant->getType(),
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	402 true,
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	403 _linkage,
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	404 vtbl_constant,
1529 ad7f2f1862d6 Adjust LDC to work with the LLVMContext LLVM changes. Christian Kamm <kamm incasoftware de> parents: 1463 diff changeset	405 mangle
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	406 );
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	407
1230 e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	408 // insert into the vtbl map
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	409 interfaceVtblMap.insert(std::make_pair(b->base, GV));
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	410
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	411 return GV;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	412 }
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	413
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	414 //////////////////////////////////////////////////////////////////////////////
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	415
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	416 LLConstant * IrStruct::getClassInfoInterfaces()
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	417 {
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	418 IF_LOG Logger::println("Building ClassInfo.interfaces");
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	419 LOG_SCOPE;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	420
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	421 ClassDeclaration* cd = aggrdecl->isClassDeclaration();
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	422 assert(cd);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	423
1230 e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	424 size_t n = interfacesWithVtbls.size();
e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	425 assert(type->irtype->isClass()->getNumInterfaceVtbls() == n &&
e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	426 "inconsistent number of interface vtables in this class");
e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	427
1236 57db55766118 Fixed ClassInfo.interfaces. mini/s.d now runs again. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1235 diff changeset	428 VarDeclarationIter interfaces_idx(ClassDeclaration::classinfo->fields, 3);
57db55766118 Fixed ClassInfo.interfaces. mini/s.d now runs again. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1235 diff changeset	429
1230 e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	430 if (n == 0)
1236 57db55766118 Fixed ClassInfo.interfaces. mini/s.d now runs again. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1235 diff changeset	431 return getNullValue(DtoType(interfaces_idx->type));
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	432
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	433 // Build array of:
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	434 //
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	435 // struct Interface
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	436 // {
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	437 // ClassInfo classinfo;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	438 // void*[] vtbl;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	439 // ptrdiff_t offset;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	440 // }
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	441
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	442 LLSmallVector<LLConstant*, 6> constants;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	443 constants.reserve(cd->vtblInterfaces->dim);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	444
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	445 const LLType* classinfo_type = DtoType(ClassDeclaration::classinfo->type);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	446 const LLType* voidptrptr_type = DtoType(
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	447 Type::tvoid->pointerTo()->pointerTo());
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	448
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	449 const LLType* our_type = type->irtype->isClass()->getPA().get();
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	450
1230 e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	451 for (size_t i = 0; i < n; ++i)
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	452 {
1230 e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	453 BaseClass* it = interfacesWithVtbls[i];
e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	454
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	455 IF_LOG Logger::println("Adding interface %s", it->base->toPrettyChars());
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	456
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	457 IrStruct* irinter = it->base->ir.irStruct;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	458 assert(irinter && "interface has null IrStruct");
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	459 IrTypeClass* itc = irinter->type->irtype->isClass();
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	460 assert(itc && "null interface IrTypeClass");
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	461
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	462 // classinfo
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	463 LLConstant* ci = irinter->getClassInfoSymbol();
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	464 ci = DtoBitCast(ci, classinfo_type);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	465
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	466 // vtbl
1253 752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	467 LLConstant* vtb;
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	468 // interface get a null
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	469 if (cd->isInterfaceDeclaration())
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	470 {
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	471 vtb = DtoConstSlice(DtoConstSize_t(0), getNullValue(voidptrptr_type));
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	472 }
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	473 else
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	474 {
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	475 ClassGlobalMap::iterator itv = interfaceVtblMap.find(it->base);
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	476 assert(itv != interfaceVtblMap.end() && "interface vtbl not found");
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	477 vtb = itv->second;
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	478 vtb = DtoBitCast(vtb, voidptrptr_type);
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	479 vtb = DtoConstSlice(DtoConstSize_t(itc->getVtblSize()), vtb);
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	480 }
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	481
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	482 // offset
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	483 LLConstant* off = DtoConstSize_t(it->offset);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	484
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	485 // create Interface struct
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	486 LLConstant* inits[3] = { ci, vtb, off };
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	487 LLConstant* entry = llvm::ConstantStruct::get(inits, 3);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	488 constants.push_back(entry);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	489 }
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	490
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	491 // create Interface[N]
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	492 const llvm::ArrayType* array_type = llvm::ArrayType::get(
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	493 constants[0]->getType(),
1230 e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	494 n);
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	495
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	496 LLConstant* arr = llvm::ConstantArray::get(
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	497 array_type,
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	498 &constants[0],
1236 57db55766118 Fixed ClassInfo.interfaces. mini/s.d now runs again. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1235 diff changeset	499 n);
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	500
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	501 // apply the initializer
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	502 classInterfacesArray->setInitializer(arr);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	503
1236 57db55766118 Fixed ClassInfo.interfaces. mini/s.d now runs again. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1235 diff changeset	504 // return null, only baseclass provide interfaces
57db55766118 Fixed ClassInfo.interfaces. mini/s.d now runs again. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1235 diff changeset	505 if (cd->vtblInterfaces->dim == 0)
57db55766118 Fixed ClassInfo.interfaces. mini/s.d now runs again. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1235 diff changeset	506 {
57db55766118 Fixed ClassInfo.interfaces. mini/s.d now runs again. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1235 diff changeset	507 return getNullValue(DtoType(interfaces_idx->type));
57db55766118 Fixed ClassInfo.interfaces. mini/s.d now runs again. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1235 diff changeset	508 }
57db55766118 Fixed ClassInfo.interfaces. mini/s.d now runs again. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1235 diff changeset	509
57db55766118 Fixed ClassInfo.interfaces. mini/s.d now runs again. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1235 diff changeset	510 // only the interface explicitly implemented by this class
57db55766118 Fixed ClassInfo.interfaces. mini/s.d now runs again. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1235 diff changeset	511 // (not super classes) should show in ClassInfo
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	512 LLConstant* idxs[2] = {
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	513 DtoConstSize_t(0),
1230 e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	514 DtoConstSize_t(n - cd->vtblInterfaces->dim)
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	515 };
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	516
1236 57db55766118 Fixed ClassInfo.interfaces. mini/s.d now runs again. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1235 diff changeset	517 LLConstant* ptr = llvm::ConstantExpr::getGetElementPtr(
57db55766118 Fixed ClassInfo.interfaces. mini/s.d now runs again. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1235 diff changeset	518 classInterfacesArray, idxs, 2);
57db55766118 Fixed ClassInfo.interfaces. mini/s.d now runs again. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1235 diff changeset	519
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	520 // return as a slice
1236 57db55766118 Fixed ClassInfo.interfaces. mini/s.d now runs again. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1235 diff changeset	521 return DtoConstSlice( DtoConstSize_t(cd->vtblInterfaces->dim), ptr );
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	522 }
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	523
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	524 //////////////////////////////////////////////////////////////////////////////
1253 752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	525
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	526 void IrStruct::initializeInterface()
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	527 {
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	528 InterfaceDeclaration* base = aggrdecl->isInterfaceDeclaration();
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	529 assert(base && "not interface");
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	530
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	531 // has interface vtbls?
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	532 if (!base->vtblInterfaces)
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	533 return;
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	534
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	535 ArrayIter<BaseClass> it(*base->vtblInterfaces);
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	536 for (; !it.done(); it.next())
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	537 {
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	538 // add to the interface list
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	539 interfacesWithVtbls.push_back(it.get());
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	540 }
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	541 }
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	542
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	543 //////////////////////////////////////////////////////////////////////////////

Mercurial > projects > ldc

annotate ir/irclass.cpp @ 1529:ad7f2f1862d6