blob: ce8f2c89f3a554c44f234f72e668f4ef6933ad2f [file] [log] [blame]
Anders Carlsson656e4c12009-10-10 20:49:04 +00001//===--- CGCXXRtti.cpp - Emit LLVM Code for C++ RTTI descriptors ----------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This contains code dealing with C++ code generation of RTTI descriptors.
11//
12//===----------------------------------------------------------------------===//
13
14#include "CodeGenModule.h"
Mike Stumpcbcd4e52009-11-14 23:32:21 +000015#include "clang/AST/RecordLayout.h"
Anders Carlsson656e4c12009-10-10 20:49:04 +000016using namespace clang;
17using namespace CodeGen;
18
Mike Stump2b1bf312009-11-14 14:25:18 +000019class RttiBuilder {
20 CodeGenModule &CGM; // Per-module state.
21 llvm::LLVMContext &VMContext;
22 const llvm::Type *Int8PtrTy;
Mike Stumpa8285a82009-11-15 03:28:10 +000023 llvm::SmallSet<const CXXRecordDecl *, 16> SeenVBase;
24 llvm::SmallSet<const CXXRecordDecl *, 32> SeenBase;
Mike Stump2b1bf312009-11-14 14:25:18 +000025public:
26 RttiBuilder(CodeGenModule &cgm)
27 : CGM(cgm), VMContext(cgm.getModule().getContext()),
28 Int8PtrTy(llvm::Type::getInt8PtrTy(VMContext)) { }
29
Mike Stumpcbcd4e52009-11-14 23:32:21 +000030 /// BuildVtableRef - Build a reference to a vtable.
31 llvm::Constant *BuildVtableRef(const char *Name) {
32 // Build a descriptor for Name
Mike Stumpc7a05bd2009-11-14 15:55:18 +000033 llvm::Constant *GV = CGM.getModule().getGlobalVariable(Name);
34 if (GV)
35 GV = llvm::ConstantExpr::getBitCast(GV,
36 llvm::PointerType::get(Int8PtrTy, 0));
37 else {
38 llvm::GlobalVariable::LinkageTypes linktype;
39 linktype = llvm::GlobalValue::ExternalLinkage;
40 GV = new llvm::GlobalVariable(CGM.getModule(), Int8PtrTy,
41 true, linktype, 0, Name);
Mike Stumpcbcd4e52009-11-14 23:32:21 +000042 }
Mike Stumpc7a05bd2009-11-14 15:55:18 +000043 llvm::Constant *C;
44 C = llvm::ConstantInt::get(llvm::Type::getInt64Ty(VMContext), 2);
45 C = llvm::ConstantExpr::getInBoundsGetElementPtr(GV, &C, 1);
46 return llvm::ConstantExpr::getBitCast(C, Int8PtrTy);
47 }
Mike Stumpcbcd4e52009-11-14 23:32:21 +000048
Mike Stump2b1bf312009-11-14 14:25:18 +000049 llvm::Constant *BuildName(const CXXRecordDecl *RD) {
50 llvm::SmallString<256> OutName;
51 llvm::raw_svector_ostream Out(OutName);
52 mangleCXXRttiName(CGM.getMangleContext(),
53 CGM.getContext().getTagDeclType(RD), Out);
Mike Stumpcbcd4e52009-11-14 23:32:21 +000054
Mike Stump2b1bf312009-11-14 14:25:18 +000055 llvm::GlobalVariable::LinkageTypes linktype;
56 linktype = llvm::GlobalValue::LinkOnceODRLinkage;
57
58 llvm::Constant *C;
59 C = llvm::ConstantArray::get(VMContext, Out.str().substr(4));
Mike Stumpcbcd4e52009-11-14 23:32:21 +000060
Mike Stump2b1bf312009-11-14 14:25:18 +000061 llvm::Constant *s = new llvm::GlobalVariable(CGM.getModule(), C->getType(),
62 true, linktype, C,
63 Out.str());
64 s = llvm::ConstantExpr::getBitCast(s, Int8PtrTy);
65 return s;
66 };
Mike Stumpc7a05bd2009-11-14 15:55:18 +000067
Mike Stumpcbcd4e52009-11-14 23:32:21 +000068 /// - BuildFlags - Build a psABI __flags value for __vmi_class_type_info.
69 llvm::Constant *BuildFlags(int f) {
70 return llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), f);
71 }
72
73 /// BuildBaseCount - Build a psABI __base_count value for
74 /// __vmi_class_type_info.
75 llvm::Constant *BuildBaseCount(unsigned c) {
76 return llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), c);
77 }
78
79 llvm::Constant *Buildclass_type_infoRef(const CXXRecordDecl *RD) {
Mike Stumpc7a05bd2009-11-14 15:55:18 +000080 const llvm::Type *Int8PtrTy = llvm::Type::getInt8PtrTy(VMContext);
Mike Stumpcbcd4e52009-11-14 23:32:21 +000081 llvm::Constant *C;
Mike Stumpc7a05bd2009-11-14 15:55:18 +000082
83 if (!CGM.getContext().getLangOptions().Rtti)
84 return llvm::Constant::getNullValue(Int8PtrTy);
85
86 llvm::SmallString<256> OutName;
87 llvm::raw_svector_ostream Out(OutName);
88 mangleCXXRtti(CGM.getMangleContext(), CGM.getContext().getTagDeclType(RD),
89 Out);
Mike Stumpcbcd4e52009-11-14 23:32:21 +000090
91 C = CGM.getModule().getGlobalVariable(Out.str());
92 if (C)
93 return llvm::ConstantExpr::getBitCast(C, Int8PtrTy);
94
95 llvm::GlobalVariable::LinkageTypes linktype;
96 linktype = llvm::GlobalValue::ExternalLinkage;;
97
98 C = new llvm::GlobalVariable(CGM.getModule(), Int8PtrTy, true, linktype,
99 0, Out.str());
100 return llvm::ConstantExpr::getBitCast(C, Int8PtrTy);
101 }
102
Mike Stumpa8285a82009-11-15 03:28:10 +0000103 /// CalculateFlags - Calculate the flags for the __vmi_class_type_info
104 /// datastructure. 1 for non-diamond repeated inheritance, 2 for a dimond
105 /// shaped class.
106 int CalculateFlags(const CXXRecordDecl*RD) {
107 int flags = 0;
108 if (SeenBase.count(RD))
109 flags |= 1;
110 else
111 SeenBase.insert(RD);
112 for (CXXRecordDecl::base_class_const_iterator i = RD->bases_begin(),
113 e = RD->bases_end(); i != e; ++i) {
114 const CXXRecordDecl *Base =
115 cast<CXXRecordDecl>(i->getType()->getAs<RecordType>()->getDecl());
116 if (i->isVirtual()) {
117 if (SeenVBase.count(Base))
118 flags |= 2;
119 else
120 SeenVBase.insert(Base);
121 }
122 flags |= CalculateFlags(Base);
123 }
124 return flags;
125 }
126
127 bool SimpleInheritance(const CXXRecordDecl *RD) {
128 if (RD->getNumBases() != 1)
129 return false;
130 CXXRecordDecl::base_class_const_iterator i = RD->bases_begin();
131 if (i->isVirtual())
132 return false;
133 if (i->getAccessSpecifier() != AS_public)
134 return false;
135
136 const ASTRecordLayout &Layout = CGM.getContext().getASTRecordLayout(RD);
137 const CXXRecordDecl *Base =
138 cast<CXXRecordDecl>(i->getType()->getAs<RecordType>()->getDecl());
139 if (Layout.getBaseClassOffset(Base) != 0)
140 return false;
141 return true;
142 }
143
Mike Stumpcbcd4e52009-11-14 23:32:21 +0000144 llvm::Constant *Buildclass_type_info(const CXXRecordDecl *RD) {
145 const llvm::Type *Int8PtrTy = llvm::Type::getInt8PtrTy(VMContext);
146 llvm::Constant *C;
147
148 if (!CGM.getContext().getLangOptions().Rtti)
149 return llvm::Constant::getNullValue(Int8PtrTy);
150
151 llvm::SmallString<256> OutName;
152 llvm::raw_svector_ostream Out(OutName);
153 mangleCXXRtti(CGM.getMangleContext(), CGM.getContext().getTagDeclType(RD),
154 Out);
155
156 llvm::GlobalVariable *GV;
157 GV = CGM.getModule().getGlobalVariable(Out.str());
158 if (GV && !GV->isDeclaration())
159 return llvm::ConstantExpr::getBitCast(GV, Int8PtrTy);
160
Mike Stumpc7a05bd2009-11-14 15:55:18 +0000161 llvm::GlobalVariable::LinkageTypes linktype;
162 linktype = llvm::GlobalValue::LinkOnceODRLinkage;
163 std::vector<llvm::Constant *> info;
164
Mike Stumpa8285a82009-11-15 03:28:10 +0000165 bool simple = false;
Mike Stumpcbcd4e52009-11-14 23:32:21 +0000166 if (RD->getNumBases() == 0)
167 C = BuildVtableRef("_ZTVN10__cxxabiv117__class_type_infoE");
Mike Stumpa8285a82009-11-15 03:28:10 +0000168 else if (SimpleInheritance(RD)) {
169 simple = true;
170 C = BuildVtableRef("_ZTVN10__cxxabiv120__si_class_type_infoE");
171 } else
Mike Stumpcbcd4e52009-11-14 23:32:21 +0000172 C = BuildVtableRef("_ZTVN10__cxxabiv121__vmi_class_type_infoE");
173 info.push_back(C);
Mike Stumpc7a05bd2009-11-14 15:55:18 +0000174 info.push_back(BuildName(RD));
175
Mike Stumpcbcd4e52009-11-14 23:32:21 +0000176 // If we have no bases, there are no more fields.
177 if (RD->getNumBases()) {
Mike Stumpa8285a82009-11-15 03:28:10 +0000178 if (!simple) {
179 info.push_back(BuildFlags(CalculateFlags(RD)));
180 info.push_back(BuildBaseCount(RD->getNumBases()));
181 }
Mike Stumpcbcd4e52009-11-14 23:32:21 +0000182
183 const ASTRecordLayout &Layout = CGM.getContext().getASTRecordLayout(RD);
184 for (CXXRecordDecl::base_class_const_iterator i = RD->bases_begin(),
185 e = RD->bases_end(); i != e; ++i) {
186 const CXXRecordDecl *Base =
187 cast<CXXRecordDecl>(i->getType()->getAs<RecordType>()->getDecl());
Mike Stumpa8285a82009-11-15 03:28:10 +0000188 info.push_back(CGM.GenerateRttiRef(Base));
189 if (simple)
190 break;
Mike Stumpcbcd4e52009-11-14 23:32:21 +0000191 int64_t offset;
192 if (!i->isVirtual())
Mike Stumpa8285a82009-11-15 03:28:10 +0000193 offset = Layout.getBaseClassOffset(Base)/8;
Mike Stumpcbcd4e52009-11-14 23:32:21 +0000194 else
195 offset = CGM.getVtableInfo().getVirtualBaseOffsetIndex(RD, Base);
196 offset <<= 8;
197 // Now set the flags.
198 offset += i->isVirtual() ? 1 : 0;;
199 offset += i->getAccessSpecifier() == AS_public ? 2 : 0;
200 const llvm::Type *LongTy =
201 CGM.getTypes().ConvertType(CGM.getContext().LongTy);
202 C = llvm::ConstantInt::get(LongTy, offset);
203 info.push_back(C);
204 }
205 }
206
207 std::vector<const llvm::Type *> Types(info.size());
208 for (unsigned i=0; i<info.size(); ++i)
209 Types[i] = info[i]->getType();
210 // llvm::StructType *Ty = llvm::StructType::get(VMContext, Types, true);
211 C = llvm::ConstantStruct::get(VMContext, &info[0], info.size(), false);
212
213 if (GV == 0)
214 GV = new llvm::GlobalVariable(CGM.getModule(), C->getType(), true, linktype,
215 C, Out.str());
216 else {
217 llvm::GlobalVariable *OGV = GV;
218 GV = new llvm::GlobalVariable(CGM.getModule(), C->getType(), true, linktype,
219 C, Out.str());
220 GV->takeName(OGV);
221 llvm::Constant *NewPtr = llvm::ConstantExpr::getBitCast(GV, OGV->getType());
222 OGV->replaceAllUsesWith(NewPtr);
223 OGV->eraseFromParent();
224 }
225 return llvm::ConstantExpr::getBitCast(GV, Int8PtrTy);
226
227#if 0
Mike Stumpc7a05bd2009-11-14 15:55:18 +0000228 llvm::ArrayType *type = llvm::ArrayType::get(Int8PtrTy, info.size());
229 C = llvm::ConstantArray::get(type, info);
Mike Stumpcbcd4e52009-11-14 23:32:21 +0000230 llvm::Constant *Rtti =
Mike Stumpc7a05bd2009-11-14 15:55:18 +0000231 new llvm::GlobalVariable(CGM.getModule(), type, true, linktype, C,
232 Out.str());
233 Rtti = llvm::ConstantExpr::getBitCast(Rtti, Int8PtrTy);
234 return Rtti;
Mike Stumpcbcd4e52009-11-14 23:32:21 +0000235#endif
Mike Stumpc7a05bd2009-11-14 15:55:18 +0000236 }
Mike Stump2b1bf312009-11-14 14:25:18 +0000237};
238
Mike Stumpcbcd4e52009-11-14 23:32:21 +0000239llvm::Constant *CodeGenModule::GenerateRttiRef(const CXXRecordDecl *RD) {
240 RttiBuilder b(*this);
241
242 return b.Buildclass_type_infoRef(RD);
243}
244
Anders Carlsson656e4c12009-10-10 20:49:04 +0000245llvm::Constant *CodeGenModule::GenerateRtti(const CXXRecordDecl *RD) {
Mike Stump2b1bf312009-11-14 14:25:18 +0000246 RttiBuilder b(*this);
247
Mike Stumpcbcd4e52009-11-14 23:32:21 +0000248 return b.Buildclass_type_info(RD);
Anders Carlsson656e4c12009-10-10 20:49:04 +0000249}