projects/ldc: ir/irclass.cpp annotate

annotate ir/irclass.cpp @ 1343:c21a6654cce2

Update for metadata changes in LLVM trunk.

author	Frits van Bommel <fvbommel wxs.nl>
date	Mon, 11 May 2009 11:59:22 +0200
parents	4099548c80e0
children	8d501abecd24

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(
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	43 vtblTy, true, _linkage, NULL, initname, gIR->module);
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(
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	72 tc->getPA().get(), false, _linkage, NULL, initname, gIR->module);
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
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	92 new llvm::GlobalVariable(metadata->getType(), true,
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	93 METADATA_LINKAGE_TYPE, metadata, CD_PREFIX + initname, gIR->module);
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);
1229 fafe7c8d6734 Now compiles again, and fixed type of the Interface[N] ClassInfo symbol. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1228 diff changeset	114 const llvm::Type* InterfaceTy = DtoType(idx->type->next);
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");
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	123 classInterfacesArray = new llvm::GlobalVariable(array_type, true, DtoLinkage(cd), NULL, name, classInfo);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	124
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	125 return classInterfacesArray;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	126 }
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 //////////////////////////////////////////////////////////////////////////////
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 LLConstant * IrStruct::getVtblInit()
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 if (constVtbl)
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	133 return constVtbl;
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_LOG Logger::println("Building vtbl initializer");
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	136 LOG_SCOPE;
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 ClassDeclaration* cd = aggrdecl->isClassDeclaration();
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	139 assert(cd && "not class");
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 std::vector<llvm::Constant*> constants;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	142 constants.reserve(cd->vtbl.dim);
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 // start with the classinfo
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	145 llvm::Constant* c = getClassInfoSymbol();
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	146 c = DtoBitCast(c, DtoType(ClassDeclaration::classinfo->type));
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	147 constants.push_back(c);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	148
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	149 // add virtual function pointers
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	150 size_t n = cd->vtbl.dim;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	151 for (size_t i = 1; i < n; i++)
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	152 {
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	153 Dsymbol* dsym = (Dsymbol*)cd->vtbl.data[i];
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	154 assert(dsym && "null vtbl member");
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 FuncDeclaration* fd = dsym->isFuncDeclaration();
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	157 assert(fd && "vtbl entry not a function");
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	158
1261 854e86eaa022 Revert change to treat bodyless functions in abstract classes as abstract. Christian Kamm <kamm incasoftware de> parents: 1253 diff changeset	159 if (fd->isAbstract() && !fd->fbody)
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	160 {
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	161 c = getNullValue(DtoType(fd->type->pointerTo()));
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	162 }
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	163 else
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	164 {
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	165 fd->codegen(Type::sir);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	166 assert(fd->ir.irFunc && "invalid vtbl function");
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	167 c = fd->ir.irFunc->func;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	168 }
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	169 constants.push_back(c);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	170 }
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 // build the constant struct
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	173 constVtbl = llvm::ConstantStruct::get(constants, false);
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 // sanity check
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	176 #if 0
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	177 IF_LOG Logger::cout() << "constVtbl type: " << *constVtbl->getType() << std::endl;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	178 IF_LOG Logger::cout() << "vtbl type: " << *type->irtype->isClass()->getVtbl() << std::endl;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	179 #endif
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	180
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	181 assert(constVtbl->getType() == type->irtype->isClass()->getVtbl() &&
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	182 "vtbl initializer type mismatch");
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	183
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	184 return constVtbl;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	185 }
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	186
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	187 //////////////////////////////////////////////////////////////////////////////
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	188
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	189 LLConstant * IrStruct::getClassInfoInit()
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	190 {
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	191 if (constClassInfo)
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	192 return constClassInfo;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	193 constClassInfo = DtoDefineClassInfo(aggrdecl->isClassDeclaration());
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	194 return constClassInfo;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	195 }
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	196
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	197 //////////////////////////////////////////////////////////////////////////////
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	198
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	199 void IrStruct::addBaseClassInits(
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	200 std::vector<llvm::Constant*>& constants,
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	201 ClassDeclaration* base,
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	202 size_t& offset,
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	203 size_t& field_index)
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 if (base->baseClass)
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 addBaseClassInits(constants, base->baseClass, offset, field_index);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	208 }
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	209
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	210 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	211 assert(tc);
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	212
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	213 // 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	214 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	215 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	216 {
dd135ff697fa Fixed class default initializers and type generation. Bug #260 is fixed. Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1263 diff changeset	217 VarDeclaration* vd = *it;
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	218
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	219 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	220 LOG_SCOPE;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	221
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	222 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	223
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	224 // get next aligned offset for this type
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	225 size_t alignsize = vd->type->alignsize();
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	226 size_t alignedoffset = (offset + alignsize - 1) & ~(alignsize - 1);
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 // insert explicit padding?
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	229 if (alignedoffset < vd->offset)
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	230 {
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	231 add_zeros(constants, vd->offset - alignedoffset);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	232 }
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	233
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	234 // add default type
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	235 constants.push_back(get_default_initializer(vd, vd->init));
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	236
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	237 // advance offset to right past this field
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	238 offset = vd->offset + vd->type->size();
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	239 }
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	240
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	241 // 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	242 if (base->vtblInterfaces && base->vtblInterfaces->dim > 0)
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	243 {
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	244 // 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	245 bool newinsts = (base == aggrdecl->isClassDeclaration());
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	246
1230 e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	247 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	248
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	249 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	250
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	251 ArrayIter<BaseClass> it2(*base->vtblInterfaces);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	252 for (; !it2.done(); it2.next())
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	253 {
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	254 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	255 constants.push_back(getInterfaceVtbl(b, newinsts, inter_idx));
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	256 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	257
e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	258 // 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	259 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	260 inter_idx++;
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 }
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	263
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	264 // tail padding?
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	265 if (offset < base->structsize)
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	266 {
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	267 add_zeros(constants, base->structsize - offset);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	268 offset = base->structsize;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	269 }
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	270 }
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 //////////////////////////////////////////////////////////////////////////////
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	273
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	274 LLConstant * IrStruct::createClassDefaultInitializer()
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	275 {
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	276 ClassDeclaration* cd = aggrdecl->isClassDeclaration();
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	277 assert(cd && "invalid class aggregate");
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	278
1278 8fb39f7f1a7c Fixed file name in imported mixins containing assertions. Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1270 diff changeset	279 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	280 LOG_SCOPE;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	281 IF_LOG Logger::println("Instance size: %u", cd->structsize);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	282
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	283 // find the fields that contribute to the default initializer.
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	284 // these will define the default type.
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	285
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	286 std::vector<llvm::Constant*> constants;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	287 constants.reserve(32);
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 // add vtbl
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	290 constants.push_back(getVtblSymbol());
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	291 // add monitor
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	292 constants.push_back(getNullValue(DtoType(Type::tvoid->pointerTo())));
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 // we start right after the vtbl and monitor
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	295 size_t offset = PTRSIZE * 2;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	296 size_t field_index = 2;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	297
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	298 // add data members recursively
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	299 addBaseClassInits(constants, cd, offset, field_index);
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 // build the constant
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	302 llvm::Constant* definit = llvm::ConstantStruct::get(constants, false);
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 return definit;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	305 }
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 //////////////////////////////////////////////////////////////////////////////
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	308
1230 e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	309 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	310 {
1230 e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	311 ClassGlobalMap::iterator it = interfaceVtblMap.find(b->base);
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	312 if (it != interfaceVtblMap.end())
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	313 return it->second;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	314
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	315 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	316 b->base->toPrettyChars(), aggrdecl->toPrettyChars());
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	317 LOG_SCOPE;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	318
1230 e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	319 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	320 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	321
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	322 Array vtbl_array;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	323 b->fillVtbl(cd, &vtbl_array, new_instance);
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 std::vector<llvm::Constant*> constants;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	326 constants.reserve(vtbl_array.dim);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	327
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	328 // 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	329 VarDeclarationIter interfaces_idx(ClassDeclaration::classinfo->fields, 3);
e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	330 Type* first = interfaces_idx->type->next->pointerTo();
e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	331
e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	332 // 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	333 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	334 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	335 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	336 };
e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	337
e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	338 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	339 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	340
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	341 constants.push_back(c);
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 // add virtual function pointers
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	344 size_t n = vtbl_array.dim;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	345 for (size_t i = 1; i < n; i++)
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	346 {
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	347 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	348 if (dsym == NULL)
212ec2d9d176 Fixed some minitest regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1230 diff changeset	349 {
212ec2d9d176 Fixed some minitest regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1230 diff changeset	350 // FIXME
212ec2d9d176 Fixed some minitest regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1230 diff changeset	351 // why is this null?
212ec2d9d176 Fixed some minitest regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1230 diff changeset	352 // happens for mini/s.d
212ec2d9d176 Fixed some minitest regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1230 diff changeset	353 constants.push_back(getNullValue(getVoidPtrType()));
212ec2d9d176 Fixed some minitest regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1230 diff changeset	354 continue;
212ec2d9d176 Fixed some minitest regressions. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1230 diff changeset	355 }
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	356
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	357 FuncDeclaration* fd = dsym->isFuncDeclaration();
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	358 assert(fd && "vtbl entry not a function");
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	359
1261 854e86eaa022 Revert change to treat bodyless functions in abstract classes as abstract. Christian Kamm <kamm incasoftware de> parents: 1253 diff changeset	360 assert((!fd->isAbstract() \|\| fd->fbody) &&
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	361 "null symbol in interface implementation vtable");
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	362
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	363 fd->codegen(Type::sir);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	364 assert(fd->ir.irFunc && "invalid vtbl function");
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	365
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	366 constants.push_back(fd->ir.irFunc->func);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	367 }
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	368
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	369 // build the vtbl constant
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	370 llvm::Constant* vtbl_constant = llvm::ConstantStruct::get(constants, false);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	371
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	372 // create the global variable to hold it
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	373 llvm::GlobalValue::LinkageTypes _linkage = DtoExternalLinkage(aggrdecl);
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 std::string mangle("_D");
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	376 mangle.append(cd->mangle());
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	377 mangle.append("11__interface");
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	378 mangle.append(b->base->mangle());
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	379 mangle.append("6__vtblZ");
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 llvm::GlobalVariable* GV = new llvm::GlobalVariable(
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	382 vtbl_constant->getType(),
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	383 true,
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	384 _linkage,
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	385 vtbl_constant,
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	386 mangle,
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	387 gIR->module
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	388 );
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	389
1230 e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	390 // insert into the vtbl map
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	391 interfaceVtblMap.insert(std::make_pair(b->base, GV));
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 return GV;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	394 }
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	395
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	396 //////////////////////////////////////////////////////////////////////////////
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	397
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	398 LLConstant * IrStruct::getClassInfoInterfaces()
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	399 {
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	400 IF_LOG Logger::println("Building ClassInfo.interfaces");
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	401 LOG_SCOPE;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	402
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	403 ClassDeclaration* cd = aggrdecl->isClassDeclaration();
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	404 assert(cd);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	405
1230 e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	406 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	407 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	408 "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	409
1236 57db55766118 Fixed ClassInfo.interfaces. mini/s.d now runs again. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1235 diff changeset	410 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	411
1230 e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	412 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	413 return getNullValue(DtoType(interfaces_idx->type));
1228 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 // Build array of:
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	416 //
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	417 // struct Interface
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	418 // {
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	419 // ClassInfo classinfo;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	420 // void*[] vtbl;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	421 // ptrdiff_t offset;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	422 // }
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	423
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	424 LLSmallVector<LLConstant*, 6> constants;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	425 constants.reserve(cd->vtblInterfaces->dim);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	426
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	427 const LLType* classinfo_type = DtoType(ClassDeclaration::classinfo->type);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	428 const LLType* voidptrptr_type = DtoType(
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	429 Type::tvoid->pointerTo()->pointerTo());
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	430
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	431 const LLType* our_type = type->irtype->isClass()->getPA().get();
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	432
1230 e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	433 for (size_t i = 0; i < n; ++i)
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	434 {
1230 e67c85d6e680 Completed interface implementation. Hopefully that's it for now.. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1229 diff changeset	435 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	436
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	437 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	438
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	439 IrStruct* irinter = it->base->ir.irStruct;
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	440 assert(irinter && "interface has null IrStruct");
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	441 IrTypeClass* itc = irinter->type->irtype->isClass();
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	442 assert(itc && "null interface IrTypeClass");
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	443
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	444 // classinfo
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	445 LLConstant* ci = irinter->getClassInfoSymbol();
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	446 ci = DtoBitCast(ci, classinfo_type);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	447
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	448 // vtbl
1253 752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	449 LLConstant* vtb;
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	450 // interface get a null
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	451 if (cd->isInterfaceDeclaration())
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	452 {
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	453 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	454 }
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	455 else
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	456 {
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	457 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	458 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	459 vtb = itv->second;
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	460 vtb = DtoBitCast(vtb, voidptrptr_type);
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	461 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	462 }
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	463
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	464 // offset
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	465 LLConstant* off = DtoConstSize_t(it->offset);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	466
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	467 // create Interface struct
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	468 LLConstant* inits[3] = { ci, vtb, off };
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	469 LLConstant* entry = llvm::ConstantStruct::get(inits, 3);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	470 constants.push_back(entry);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	471 }
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	472
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	473 // create Interface[N]
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	474 const llvm::ArrayType* array_type = llvm::ArrayType::get(
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	475 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	476 n);
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	477
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	478 LLConstant* arr = llvm::ConstantArray::get(
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	479 array_type,
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	480 &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	481 n);
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	482
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	483 // apply the initializer
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	484 classInterfacesArray->setInitializer(arr);
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	485
1236 57db55766118 Fixed ClassInfo.interfaces. mini/s.d now runs again. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1235 diff changeset	486 // 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	487 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	488 {
57db55766118 Fixed ClassInfo.interfaces. mini/s.d now runs again. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1235 diff changeset	489 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	490 }
57db55766118 Fixed ClassInfo.interfaces. mini/s.d now runs again. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1235 diff changeset	491
57db55766118 Fixed ClassInfo.interfaces. mini/s.d now runs again. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1235 diff changeset	492 // 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	493 // (not super classes) should show in ClassInfo
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	494 LLConstant* idxs[2] = {
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	495 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	496 DtoConstSize_t(n - cd->vtblInterfaces->dim)
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	497 };
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	498
1236 57db55766118 Fixed ClassInfo.interfaces. mini/s.d now runs again. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1235 diff changeset	499 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	500 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	501
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	502 // 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	503 return DtoConstSlice( DtoConstSize_t(cd->vtblInterfaces->dim), ptr );
1228 79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	504 }
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	505
79758fd2f48a Added Doxygen file. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: diff changeset	506 //////////////////////////////////////////////////////////////////////////////
1253 752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	507
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	508 void IrStruct::initializeInterface()
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	509 {
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	510 InterfaceDeclaration* base = aggrdecl->isInterfaceDeclaration();
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	511 assert(base && "not interface");
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	512
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	513 // has interface vtbls?
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	514 if (!base->vtblInterfaces)
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	515 return;
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	516
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	517 ArrayIter<BaseClass> it(*base->vtblInterfaces);
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	518 for (; !it.done(); it.next())
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	519 {
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	520 // add to the interface list
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	521 interfacesWithVtbls.push_back(it.get());
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	522 }
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	523 }
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	524
752bed475b75 Fixed classinfo.interfaces for .. interfaces! Tomas Lindquist Olsen <tomas.l.olsen gmail com> parents: 1249 diff changeset	525 //////////////////////////////////////////////////////////////////////////////

Mercurial > projects > ldc

annotate ir/irclass.cpp @ 1343:c21a6654cce2