Nick Lewycky | 5fa40c3 | 2013-10-01 21:51:38 +0000 | [diff] [blame] | 1 | //===----- CGCXXABI.cpp - Interface to C++ ABIs ---------------------------===// |
Anders Carlsson | 81f6f36 | 2010-11-28 17:46:52 +0000 | [diff] [blame] | 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 provides an abstract class for C++ code generation. Concrete subclasses |
| 11 | // of this implement code generation for specific C++ ABIs. |
| 12 | // |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
| 15 | #include "CGCXXABI.h" |
| 16 | |
| 17 | using namespace clang; |
Anders Carlsson | fdee32f | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 18 | using namespace CodeGen; |
Anders Carlsson | 81f6f36 | 2010-11-28 17:46:52 +0000 | [diff] [blame] | 19 | |
Anders Carlsson | e8ba473 | 2010-11-28 17:50:09 +0000 | [diff] [blame] | 20 | CGCXXABI::~CGCXXABI() { } |
Anders Carlsson | fdee32f | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 21 | |
Reid Kleckner | 407e8b6 | 2013-03-22 19:02:54 +0000 | [diff] [blame] | 22 | void CGCXXABI::ErrorUnsupportedABI(CodeGenFunction &CGF, StringRef S) { |
David Blaikie | 9c902b5 | 2011-09-25 23:23:43 +0000 | [diff] [blame] | 23 | DiagnosticsEngine &Diags = CGF.CGM.getDiags(); |
| 24 | unsigned DiagID = Diags.getCustomDiagID(DiagnosticsEngine::Error, |
Timur Iskhodzhanov | 099ec01 | 2012-06-29 01:14:21 +0000 | [diff] [blame] | 25 | "cannot yet compile %0 in this ABI"); |
Anders Carlsson | fdee32f | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 26 | Diags.Report(CGF.getContext().getFullLoc(CGF.CurCodeDecl->getLocation()), |
| 27 | DiagID) |
| 28 | << S; |
| 29 | } |
| 30 | |
Reid Kleckner | cf87e10 | 2014-05-14 16:02:09 +0000 | [diff] [blame^] | 31 | bool CGCXXABI::canCopyArgument(const CXXRecordDecl *RD) const { |
| 32 | // If RD has a non-trivial move or copy constructor, we cannot copy the |
| 33 | // argument. |
| 34 | if (RD->hasNonTrivialCopyConstructor() || RD->hasNonTrivialMoveConstructor()) |
| 35 | return false; |
| 36 | |
| 37 | // If RD has a non-trivial destructor, we cannot copy the argument. |
| 38 | if (RD->hasNonTrivialDestructor()) |
| 39 | return false; |
| 40 | |
| 41 | // We can only copy the argument if there exists at least one trivial, |
| 42 | // non-deleted copy or move constructor. |
| 43 | // FIXME: This assumes that all lazily declared copy and move constructors are |
| 44 | // not deleted. This assumption might not be true in some corner cases. |
| 45 | bool CopyOrMoveDeleted = false; |
| 46 | for (const CXXConstructorDecl *CD : RD->ctors()) { |
| 47 | if (CD->isCopyConstructor() || CD->isMoveConstructor()) { |
| 48 | assert(CD->isTrivial()); |
| 49 | // We had at least one undeleted trivial copy or move ctor. Return |
| 50 | // directly. |
| 51 | if (!CD->isDeleted()) |
| 52 | return true; |
| 53 | CopyOrMoveDeleted = true; |
| 54 | } |
| 55 | } |
| 56 | |
| 57 | // If all trivial copy and move constructors are deleted, we cannot copy the |
| 58 | // argument. |
| 59 | return !CopyOrMoveDeleted; |
| 60 | } |
| 61 | |
Reid Kleckner | 407e8b6 | 2013-03-22 19:02:54 +0000 | [diff] [blame] | 62 | llvm::Constant *CGCXXABI::GetBogusMemberPointer(QualType T) { |
Anders Carlsson | fdee32f | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 63 | return llvm::Constant::getNullValue(CGM.getTypes().ConvertType(T)); |
| 64 | } |
| 65 | |
Chris Lattner | a5f58b0 | 2011-07-09 17:41:47 +0000 | [diff] [blame] | 66 | llvm::Type * |
Anders Carlsson | fdee32f | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 67 | CGCXXABI::ConvertMemberPointerType(const MemberPointerType *MPT) { |
| 68 | return CGM.getTypes().ConvertType(CGM.getContext().getPointerDiffType()); |
| 69 | } |
| 70 | |
David Majnemer | 2b0d66d | 2014-02-20 23:22:07 +0000 | [diff] [blame] | 71 | llvm::Value *CGCXXABI::EmitLoadOfMemberFunctionPointer( |
| 72 | CodeGenFunction &CGF, const Expr *E, llvm::Value *&This, |
| 73 | llvm::Value *MemPtr, const MemberPointerType *MPT) { |
Anders Carlsson | fdee32f | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 74 | ErrorUnsupportedABI(CGF, "calls through member pointers"); |
| 75 | |
| 76 | const FunctionProtoType *FPT = |
| 77 | MPT->getPointeeType()->getAs<FunctionProtoType>(); |
| 78 | const CXXRecordDecl *RD = |
| 79 | cast<CXXRecordDecl>(MPT->getClass()->getAs<RecordType>()->getDecl()); |
John McCall | a729c62 | 2012-02-17 03:33:10 +0000 | [diff] [blame] | 80 | llvm::FunctionType *FTy = CGM.getTypes().GetFunctionType( |
| 81 | CGM.getTypes().arrangeCXXMethodType(RD, FPT)); |
Anders Carlsson | fdee32f | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 82 | return llvm::Constant::getNullValue(FTy->getPointerTo()); |
| 83 | } |
| 84 | |
David Majnemer | 2b0d66d | 2014-02-20 23:22:07 +0000 | [diff] [blame] | 85 | llvm::Value * |
| 86 | CGCXXABI::EmitMemberDataPointerAddress(CodeGenFunction &CGF, const Expr *E, |
| 87 | llvm::Value *Base, llvm::Value *MemPtr, |
| 88 | const MemberPointerType *MPT) { |
Anders Carlsson | fdee32f | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 89 | ErrorUnsupportedABI(CGF, "loads of member pointers"); |
Chris Lattner | 2192fe5 | 2011-07-18 04:24:23 +0000 | [diff] [blame] | 90 | llvm::Type *Ty = CGF.ConvertType(MPT->getPointeeType())->getPointerTo(); |
Anders Carlsson | fdee32f | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 91 | return llvm::Constant::getNullValue(Ty); |
| 92 | } |
| 93 | |
| 94 | llvm::Value *CGCXXABI::EmitMemberPointerConversion(CodeGenFunction &CGF, |
| 95 | const CastExpr *E, |
| 96 | llvm::Value *Src) { |
| 97 | ErrorUnsupportedABI(CGF, "member function pointer conversions"); |
Reid Kleckner | 407e8b6 | 2013-03-22 19:02:54 +0000 | [diff] [blame] | 98 | return GetBogusMemberPointer(E->getType()); |
Anders Carlsson | fdee32f | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 99 | } |
| 100 | |
John McCall | c62bb39 | 2012-02-15 01:22:51 +0000 | [diff] [blame] | 101 | llvm::Constant *CGCXXABI::EmitMemberPointerConversion(const CastExpr *E, |
| 102 | llvm::Constant *Src) { |
Reid Kleckner | 407e8b6 | 2013-03-22 19:02:54 +0000 | [diff] [blame] | 103 | return GetBogusMemberPointer(E->getType()); |
John McCall | c62bb39 | 2012-02-15 01:22:51 +0000 | [diff] [blame] | 104 | } |
| 105 | |
Anders Carlsson | fdee32f | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 106 | llvm::Value * |
| 107 | CGCXXABI::EmitMemberPointerComparison(CodeGenFunction &CGF, |
| 108 | llvm::Value *L, |
| 109 | llvm::Value *R, |
| 110 | const MemberPointerType *MPT, |
| 111 | bool Inequality) { |
| 112 | ErrorUnsupportedABI(CGF, "member function pointer comparison"); |
| 113 | return CGF.Builder.getFalse(); |
| 114 | } |
| 115 | |
| 116 | llvm::Value * |
| 117 | CGCXXABI::EmitMemberPointerIsNotNull(CodeGenFunction &CGF, |
| 118 | llvm::Value *MemPtr, |
| 119 | const MemberPointerType *MPT) { |
| 120 | ErrorUnsupportedABI(CGF, "member function pointer null testing"); |
| 121 | return CGF.Builder.getFalse(); |
| 122 | } |
| 123 | |
| 124 | llvm::Constant * |
Anders Carlsson | fdee32f | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 125 | CGCXXABI::EmitNullMemberPointer(const MemberPointerType *MPT) { |
Reid Kleckner | 407e8b6 | 2013-03-22 19:02:54 +0000 | [diff] [blame] | 126 | return GetBogusMemberPointer(QualType(MPT, 0)); |
Anders Carlsson | fdee32f | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 127 | } |
| 128 | |
John McCall | 2979fe0 | 2011-04-12 00:42:48 +0000 | [diff] [blame] | 129 | llvm::Constant *CGCXXABI::EmitMemberPointer(const CXXMethodDecl *MD) { |
Reid Kleckner | 407e8b6 | 2013-03-22 19:02:54 +0000 | [diff] [blame] | 130 | return GetBogusMemberPointer( |
Anders Carlsson | fdee32f | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 131 | CGM.getContext().getMemberPointerType(MD->getType(), |
| 132 | MD->getParent()->getTypeForDecl())); |
| 133 | } |
| 134 | |
John McCall | f3a8860 | 2011-02-03 08:15:49 +0000 | [diff] [blame] | 135 | llvm::Constant *CGCXXABI::EmitMemberDataPointer(const MemberPointerType *MPT, |
| 136 | CharUnits offset) { |
Reid Kleckner | 407e8b6 | 2013-03-22 19:02:54 +0000 | [diff] [blame] | 137 | return GetBogusMemberPointer(QualType(MPT, 0)); |
Anders Carlsson | fdee32f | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 138 | } |
| 139 | |
Richard Smith | dafff94 | 2012-01-14 04:30:29 +0000 | [diff] [blame] | 140 | llvm::Constant *CGCXXABI::EmitMemberPointer(const APValue &MP, QualType MPT) { |
Reid Kleckner | 407e8b6 | 2013-03-22 19:02:54 +0000 | [diff] [blame] | 141 | return GetBogusMemberPointer(MPT); |
Richard Smith | dafff94 | 2012-01-14 04:30:29 +0000 | [diff] [blame] | 142 | } |
| 143 | |
Anders Carlsson | fdee32f | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 144 | bool CGCXXABI::isZeroInitializable(const MemberPointerType *MPT) { |
| 145 | // Fake answer. |
| 146 | return true; |
| 147 | } |
| 148 | |
Reid Kleckner | 89077a1 | 2013-12-17 19:46:40 +0000 | [diff] [blame] | 149 | void CGCXXABI::buildThisParam(CodeGenFunction &CGF, FunctionArgList ¶ms) { |
Anders Carlsson | fdee32f | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 150 | const CXXMethodDecl *MD = cast<CXXMethodDecl>(CGF.CurGD.getDecl()); |
| 151 | |
| 152 | // FIXME: I'm not entirely sure I like using a fake decl just for code |
| 153 | // generation. Maybe we can come up with a better way? |
| 154 | ImplicitParamDecl *ThisDecl |
| 155 | = ImplicitParamDecl::Create(CGM.getContext(), 0, MD->getLocation(), |
| 156 | &CGM.getContext().Idents.get("this"), |
| 157 | MD->getThisType(CGM.getContext())); |
John McCall | a738c25 | 2011-03-09 04:27:21 +0000 | [diff] [blame] | 158 | params.push_back(ThisDecl); |
Anders Carlsson | fdee32f | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 159 | getThisDecl(CGF) = ThisDecl; |
| 160 | } |
| 161 | |
| 162 | void CGCXXABI::EmitThisParam(CodeGenFunction &CGF) { |
| 163 | /// Initialize the 'this' slot. |
| 164 | assert(getThisDecl(CGF) && "no 'this' variable for function"); |
| 165 | getThisValue(CGF) |
| 166 | = CGF.Builder.CreateLoad(CGF.GetAddrOfLocalVar(getThisDecl(CGF)), |
| 167 | "this"); |
| 168 | } |
| 169 | |
| 170 | void CGCXXABI::EmitReturnFromThunk(CodeGenFunction &CGF, |
| 171 | RValue RV, QualType ResultType) { |
| 172 | CGF.EmitReturnOfRValue(RV, ResultType); |
| 173 | } |
| 174 | |
John McCall | 284c48f | 2011-01-27 09:37:56 +0000 | [diff] [blame] | 175 | CharUnits CGCXXABI::GetArrayCookieSize(const CXXNewExpr *expr) { |
John McCall | b91cd66 | 2012-05-01 05:23:51 +0000 | [diff] [blame] | 176 | if (!requiresArrayCookie(expr)) |
| 177 | return CharUnits::Zero(); |
| 178 | return getArrayCookieSizeImpl(expr->getAllocatedType()); |
| 179 | } |
| 180 | |
| 181 | CharUnits CGCXXABI::getArrayCookieSizeImpl(QualType elementType) { |
| 182 | // BOGUS |
Anders Carlsson | fdee32f | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 183 | return CharUnits::Zero(); |
| 184 | } |
| 185 | |
| 186 | llvm::Value *CGCXXABI::InitializeArrayCookie(CodeGenFunction &CGF, |
| 187 | llvm::Value *NewPtr, |
| 188 | llvm::Value *NumElements, |
John McCall | 284c48f | 2011-01-27 09:37:56 +0000 | [diff] [blame] | 189 | const CXXNewExpr *expr, |
Anders Carlsson | fdee32f | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 190 | QualType ElementType) { |
| 191 | // Should never be called. |
| 192 | ErrorUnsupportedABI(CGF, "array cookie initialization"); |
| 193 | return 0; |
| 194 | } |
| 195 | |
John McCall | b91cd66 | 2012-05-01 05:23:51 +0000 | [diff] [blame] | 196 | bool CGCXXABI::requiresArrayCookie(const CXXDeleteExpr *expr, |
| 197 | QualType elementType) { |
| 198 | // If the class's usual deallocation function takes two arguments, |
| 199 | // it needs a cookie. |
| 200 | if (expr->doesUsualArrayDeleteWantSize()) |
| 201 | return true; |
Anders Carlsson | fdee32f | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 202 | |
John McCall | b91cd66 | 2012-05-01 05:23:51 +0000 | [diff] [blame] | 203 | return elementType.isDestructedType(); |
| 204 | } |
| 205 | |
| 206 | bool CGCXXABI::requiresArrayCookie(const CXXNewExpr *expr) { |
| 207 | // If the class's usual deallocation function takes two arguments, |
| 208 | // it needs a cookie. |
| 209 | if (expr->doesUsualArrayDeleteWantSize()) |
| 210 | return true; |
| 211 | |
| 212 | return expr->getAllocatedType().isDestructedType(); |
| 213 | } |
| 214 | |
| 215 | void CGCXXABI::ReadArrayCookie(CodeGenFunction &CGF, llvm::Value *ptr, |
| 216 | const CXXDeleteExpr *expr, QualType eltTy, |
| 217 | llvm::Value *&numElements, |
| 218 | llvm::Value *&allocPtr, CharUnits &cookieSize) { |
| 219 | // Derive a char* in the same address space as the pointer. |
Micah Villmow | ea2fea2 | 2012-10-25 15:39:14 +0000 | [diff] [blame] | 220 | unsigned AS = ptr->getType()->getPointerAddressSpace(); |
John McCall | b91cd66 | 2012-05-01 05:23:51 +0000 | [diff] [blame] | 221 | llvm::Type *charPtrTy = CGF.Int8Ty->getPointerTo(AS); |
| 222 | ptr = CGF.Builder.CreateBitCast(ptr, charPtrTy); |
| 223 | |
| 224 | // If we don't need an array cookie, bail out early. |
| 225 | if (!requiresArrayCookie(expr, eltTy)) { |
| 226 | allocPtr = ptr; |
| 227 | numElements = 0; |
| 228 | cookieSize = CharUnits::Zero(); |
| 229 | return; |
| 230 | } |
| 231 | |
| 232 | cookieSize = getArrayCookieSizeImpl(eltTy); |
| 233 | allocPtr = CGF.Builder.CreateConstInBoundsGEP1_64(ptr, |
| 234 | -cookieSize.getQuantity()); |
| 235 | numElements = readArrayCookieImpl(CGF, allocPtr, cookieSize); |
| 236 | } |
| 237 | |
| 238 | llvm::Value *CGCXXABI::readArrayCookieImpl(CodeGenFunction &CGF, |
| 239 | llvm::Value *ptr, |
| 240 | CharUnits cookieSize) { |
| 241 | ErrorUnsupportedABI(CGF, "reading a new[] cookie"); |
| 242 | return llvm::ConstantInt::get(CGF.SizeTy, 0); |
Anders Carlsson | fdee32f | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 243 | } |
| 244 | |
John McCall | c84ed6a | 2012-05-01 06:13:13 +0000 | [diff] [blame] | 245 | void CGCXXABI::registerGlobalDtor(CodeGenFunction &CGF, |
Richard Smith | dbf74ba | 2013-04-14 23:01:42 +0000 | [diff] [blame] | 246 | const VarDecl &D, |
John McCall | c84ed6a | 2012-05-01 06:13:13 +0000 | [diff] [blame] | 247 | llvm::Constant *dtor, |
| 248 | llvm::Constant *addr) { |
Richard Smith | dbf74ba | 2013-04-14 23:01:42 +0000 | [diff] [blame] | 249 | if (D.getTLSKind()) |
| 250 | CGM.ErrorUnsupported(&D, "non-trivial TLS destruction"); |
| 251 | |
John McCall | c84ed6a | 2012-05-01 06:13:13 +0000 | [diff] [blame] | 252 | // The default behavior is to use atexit. |
David Blaikie | ebe87e1 | 2013-08-27 23:57:18 +0000 | [diff] [blame] | 253 | CGF.registerGlobalDtorWithAtExit(D, dtor, addr); |
John McCall | c84ed6a | 2012-05-01 06:13:13 +0000 | [diff] [blame] | 254 | } |
| 255 | |
John McCall | c62bb39 | 2012-02-15 01:22:51 +0000 | [diff] [blame] | 256 | /// Returns the adjustment, in bytes, required for the given |
| 257 | /// member-pointer operation. Returns null if no adjustment is |
| 258 | /// required. |
| 259 | llvm::Constant *CGCXXABI::getMemberPointerAdjustment(const CastExpr *E) { |
| 260 | assert(E->getCastKind() == CK_DerivedToBaseMemberPointer || |
| 261 | E->getCastKind() == CK_BaseToDerivedMemberPointer); |
| 262 | |
| 263 | QualType derivedType; |
| 264 | if (E->getCastKind() == CK_DerivedToBaseMemberPointer) |
| 265 | derivedType = E->getSubExpr()->getType(); |
| 266 | else |
| 267 | derivedType = E->getType(); |
| 268 | |
| 269 | const CXXRecordDecl *derivedClass = |
| 270 | derivedType->castAs<MemberPointerType>()->getClass()->getAsCXXRecordDecl(); |
| 271 | |
| 272 | return CGM.GetNonVirtualBaseClassOffset(derivedClass, |
| 273 | E->path_begin(), |
| 274 | E->path_end()); |
| 275 | } |
Timur Iskhodzhanov | 57cbe5c | 2013-02-27 13:46:31 +0000 | [diff] [blame] | 276 | |
Reid Kleckner | 452abac | 2013-05-09 21:01:17 +0000 | [diff] [blame] | 277 | CharUnits CGCXXABI::getMemberPointerPathAdjustment(const APValue &MP) { |
| 278 | // TODO: Store base specifiers in APValue member pointer paths so we can |
| 279 | // easily reuse CGM.GetNonVirtualBaseClassOffset(). |
| 280 | const ValueDecl *MPD = MP.getMemberPointerDecl(); |
| 281 | CharUnits ThisAdjustment = CharUnits::Zero(); |
| 282 | ArrayRef<const CXXRecordDecl*> Path = MP.getMemberPointerPath(); |
| 283 | bool DerivedMember = MP.isMemberPointerToDerivedMember(); |
| 284 | const CXXRecordDecl *RD = cast<CXXRecordDecl>(MPD->getDeclContext()); |
| 285 | for (unsigned I = 0, N = Path.size(); I != N; ++I) { |
| 286 | const CXXRecordDecl *Base = RD; |
| 287 | const CXXRecordDecl *Derived = Path[I]; |
| 288 | if (DerivedMember) |
| 289 | std::swap(Base, Derived); |
| 290 | ThisAdjustment += |
| 291 | getContext().getASTRecordLayout(Derived).getBaseClassOffset(Base); |
| 292 | RD = Path[I]; |
| 293 | } |
| 294 | if (DerivedMember) |
| 295 | ThisAdjustment = -ThisAdjustment; |
| 296 | return ThisAdjustment; |
| 297 | } |
| 298 | |
Reid Kleckner | 7810af0 | 2013-06-19 15:20:38 +0000 | [diff] [blame] | 299 | llvm::BasicBlock * |
| 300 | CGCXXABI::EmitCtorCompleteObjectHandler(CodeGenFunction &CGF, |
| 301 | const CXXRecordDecl *RD) { |
Timur Iskhodzhanov | 57cbe5c | 2013-02-27 13:46:31 +0000 | [diff] [blame] | 302 | if (CGM.getTarget().getCXXABI().hasConstructorVariants()) |
| 303 | llvm_unreachable("shouldn't be called in this ABI"); |
| 304 | |
| 305 | ErrorUnsupportedABI(CGF, "complete object detection in ctor"); |
| 306 | return 0; |
| 307 | } |
Richard Smith | 2fd1d7a | 2013-04-19 16:42:07 +0000 | [diff] [blame] | 308 | |
| 309 | void CGCXXABI::EmitThreadLocalInitFuncs( |
| 310 | llvm::ArrayRef<std::pair<const VarDecl *, llvm::GlobalVariable *> > Decls, |
| 311 | llvm::Function *InitFunc) { |
| 312 | } |
| 313 | |
Richard Smith | 0f38374 | 2014-03-26 22:48:22 +0000 | [diff] [blame] | 314 | LValue CGCXXABI::EmitThreadLocalVarDeclLValue(CodeGenFunction &CGF, |
| 315 | const VarDecl *VD, |
| 316 | QualType LValType) { |
Richard Smith | 2fd1d7a | 2013-04-19 16:42:07 +0000 | [diff] [blame] | 317 | ErrorUnsupportedABI(CGF, "odr-use of thread_local global"); |
| 318 | return LValue(); |
| 319 | } |
Peter Collingbourne | 66f82e6 | 2013-06-28 20:45:28 +0000 | [diff] [blame] | 320 | |
| 321 | bool CGCXXABI::NeedsVTTParameter(GlobalDecl GD) { |
| 322 | return false; |
| 323 | } |
Tim Northover | 65f582f | 2014-03-30 17:32:48 +0000 | [diff] [blame] | 324 | |
| 325 | /// What sort of uniqueness rules should we use for the RTTI for the |
| 326 | /// given type? |
| 327 | CGCXXABI::RTTIUniquenessKind |
| 328 | CGCXXABI::classifyRTTIUniqueness(QualType CanTy, |
| 329 | llvm::GlobalValue::LinkageTypes Linkage) { |
| 330 | if (shouldRTTIBeUnique()) |
| 331 | return RUK_Unique; |
| 332 | |
| 333 | // It's only necessary for linkonce_odr or weak_odr linkage. |
| 334 | if (Linkage != llvm::GlobalValue::LinkOnceODRLinkage && |
| 335 | Linkage != llvm::GlobalValue::WeakODRLinkage) |
| 336 | return RUK_Unique; |
| 337 | |
| 338 | // It's only necessary with default visibility. |
| 339 | if (CanTy->getVisibility() != DefaultVisibility) |
| 340 | return RUK_Unique; |
| 341 | |
| 342 | // If we're not required to publish this symbol, hide it. |
| 343 | if (Linkage == llvm::GlobalValue::LinkOnceODRLinkage) |
| 344 | return RUK_NonUniqueHidden; |
| 345 | |
| 346 | // If we're required to publish this symbol, as we might be under an |
| 347 | // explicit instantiation, leave it with default visibility but |
| 348 | // enable string-comparisons. |
| 349 | assert(Linkage == llvm::GlobalValue::WeakODRLinkage); |
| 350 | return RUK_NonUniqueVisible; |
| 351 | } |