Nick Lewycky | 5d4a755 | 2013-10-01 21:51:38 +0000 | [diff] [blame] | 1 | //===----- CGCXXABI.cpp - Interface to C++ ABIs ---------------------------===// |
Anders Carlsson | 4992eaf | 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 | ee7cde2 | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 18 | using namespace CodeGen; |
Anders Carlsson | 4992eaf | 2010-11-28 17:46:52 +0000 | [diff] [blame] | 19 | |
Anders Carlsson | 1af610f | 2010-11-28 17:50:09 +0000 | [diff] [blame] | 20 | CGCXXABI::~CGCXXABI() { } |
Anders Carlsson | ee7cde2 | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 21 | |
Reid Kleckner | a8a0f76 | 2013-03-22 19:02:54 +0000 | [diff] [blame] | 22 | void CGCXXABI::ErrorUnsupportedABI(CodeGenFunction &CGF, StringRef S) { |
David Blaikie | d6471f7 | 2011-09-25 23:23:43 +0000 | [diff] [blame] | 23 | DiagnosticsEngine &Diags = CGF.CGM.getDiags(); |
| 24 | unsigned DiagID = Diags.getCustomDiagID(DiagnosticsEngine::Error, |
Timur Iskhodzhanov | c56b552 | 2012-06-29 01:14:21 +0000 | [diff] [blame] | 25 | "cannot yet compile %0 in this ABI"); |
Anders Carlsson | ee7cde2 | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 26 | Diags.Report(CGF.getContext().getFullLoc(CGF.CurCodeDecl->getLocation()), |
| 27 | DiagID) |
| 28 | << S; |
| 29 | } |
| 30 | |
Stephen Hines | 6bcf27b | 2014-05-29 04:14:42 -0700 | [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 CopyDeleted = false; |
| 46 | bool MoveDeleted = false; |
| 47 | for (const CXXConstructorDecl *CD : RD->ctors()) { |
| 48 | if (CD->isCopyConstructor() || CD->isMoveConstructor()) { |
| 49 | assert(CD->isTrivial()); |
| 50 | // We had at least one undeleted trivial copy or move ctor. Return |
| 51 | // directly. |
| 52 | if (!CD->isDeleted()) |
| 53 | return true; |
| 54 | if (CD->isCopyConstructor()) |
| 55 | CopyDeleted = true; |
| 56 | else |
| 57 | MoveDeleted = true; |
| 58 | } |
| 59 | } |
| 60 | |
| 61 | // If all trivial copy and move constructors are deleted, we cannot copy the |
| 62 | // argument. |
| 63 | return !(CopyDeleted && MoveDeleted); |
| 64 | } |
| 65 | |
Reid Kleckner | a8a0f76 | 2013-03-22 19:02:54 +0000 | [diff] [blame] | 66 | llvm::Constant *CGCXXABI::GetBogusMemberPointer(QualType T) { |
Anders Carlsson | ee7cde2 | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 67 | return llvm::Constant::getNullValue(CGM.getTypes().ConvertType(T)); |
| 68 | } |
| 69 | |
Chris Lattner | 9cbe4f0 | 2011-07-09 17:41:47 +0000 | [diff] [blame] | 70 | llvm::Type * |
Anders Carlsson | ee7cde2 | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 71 | CGCXXABI::ConvertMemberPointerType(const MemberPointerType *MPT) { |
| 72 | return CGM.getTypes().ConvertType(CGM.getContext().getPointerDiffType()); |
| 73 | } |
| 74 | |
Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 75 | llvm::Value *CGCXXABI::EmitLoadOfMemberFunctionPointer( |
| 76 | CodeGenFunction &CGF, const Expr *E, llvm::Value *&This, |
| 77 | llvm::Value *MemPtr, const MemberPointerType *MPT) { |
Anders Carlsson | ee7cde2 | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 78 | ErrorUnsupportedABI(CGF, "calls through member pointers"); |
| 79 | |
| 80 | const FunctionProtoType *FPT = |
| 81 | MPT->getPointeeType()->getAs<FunctionProtoType>(); |
| 82 | const CXXRecordDecl *RD = |
| 83 | cast<CXXRecordDecl>(MPT->getClass()->getAs<RecordType>()->getDecl()); |
John McCall | de5d3c7 | 2012-02-17 03:33:10 +0000 | [diff] [blame] | 84 | llvm::FunctionType *FTy = CGM.getTypes().GetFunctionType( |
| 85 | CGM.getTypes().arrangeCXXMethodType(RD, FPT)); |
Anders Carlsson | ee7cde2 | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 86 | return llvm::Constant::getNullValue(FTy->getPointerTo()); |
| 87 | } |
| 88 | |
Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 89 | llvm::Value * |
| 90 | CGCXXABI::EmitMemberDataPointerAddress(CodeGenFunction &CGF, const Expr *E, |
| 91 | llvm::Value *Base, llvm::Value *MemPtr, |
| 92 | const MemberPointerType *MPT) { |
Anders Carlsson | ee7cde2 | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 93 | ErrorUnsupportedABI(CGF, "loads of member pointers"); |
Chris Lattner | 2acc6e3 | 2011-07-18 04:24:23 +0000 | [diff] [blame] | 94 | llvm::Type *Ty = CGF.ConvertType(MPT->getPointeeType())->getPointerTo(); |
Anders Carlsson | ee7cde2 | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 95 | return llvm::Constant::getNullValue(Ty); |
| 96 | } |
| 97 | |
| 98 | llvm::Value *CGCXXABI::EmitMemberPointerConversion(CodeGenFunction &CGF, |
| 99 | const CastExpr *E, |
| 100 | llvm::Value *Src) { |
| 101 | ErrorUnsupportedABI(CGF, "member function pointer conversions"); |
Reid Kleckner | a8a0f76 | 2013-03-22 19:02:54 +0000 | [diff] [blame] | 102 | return GetBogusMemberPointer(E->getType()); |
Anders Carlsson | ee7cde2 | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 103 | } |
| 104 | |
John McCall | 4d4e5c1 | 2012-02-15 01:22:51 +0000 | [diff] [blame] | 105 | llvm::Constant *CGCXXABI::EmitMemberPointerConversion(const CastExpr *E, |
| 106 | llvm::Constant *Src) { |
Reid Kleckner | a8a0f76 | 2013-03-22 19:02:54 +0000 | [diff] [blame] | 107 | return GetBogusMemberPointer(E->getType()); |
John McCall | 4d4e5c1 | 2012-02-15 01:22:51 +0000 | [diff] [blame] | 108 | } |
| 109 | |
Anders Carlsson | ee7cde2 | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 110 | llvm::Value * |
| 111 | CGCXXABI::EmitMemberPointerComparison(CodeGenFunction &CGF, |
| 112 | llvm::Value *L, |
| 113 | llvm::Value *R, |
| 114 | const MemberPointerType *MPT, |
| 115 | bool Inequality) { |
| 116 | ErrorUnsupportedABI(CGF, "member function pointer comparison"); |
| 117 | return CGF.Builder.getFalse(); |
| 118 | } |
| 119 | |
| 120 | llvm::Value * |
| 121 | CGCXXABI::EmitMemberPointerIsNotNull(CodeGenFunction &CGF, |
| 122 | llvm::Value *MemPtr, |
| 123 | const MemberPointerType *MPT) { |
| 124 | ErrorUnsupportedABI(CGF, "member function pointer null testing"); |
| 125 | return CGF.Builder.getFalse(); |
| 126 | } |
| 127 | |
| 128 | llvm::Constant * |
Anders Carlsson | ee7cde2 | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 129 | CGCXXABI::EmitNullMemberPointer(const MemberPointerType *MPT) { |
Reid Kleckner | a8a0f76 | 2013-03-22 19:02:54 +0000 | [diff] [blame] | 130 | return GetBogusMemberPointer(QualType(MPT, 0)); |
Anders Carlsson | ee7cde2 | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 131 | } |
| 132 | |
John McCall | 755d849 | 2011-04-12 00:42:48 +0000 | [diff] [blame] | 133 | llvm::Constant *CGCXXABI::EmitMemberPointer(const CXXMethodDecl *MD) { |
Reid Kleckner | a8a0f76 | 2013-03-22 19:02:54 +0000 | [diff] [blame] | 134 | return GetBogusMemberPointer( |
Anders Carlsson | ee7cde2 | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 135 | CGM.getContext().getMemberPointerType(MD->getType(), |
| 136 | MD->getParent()->getTypeForDecl())); |
| 137 | } |
| 138 | |
John McCall | 5808ce4 | 2011-02-03 08:15:49 +0000 | [diff] [blame] | 139 | llvm::Constant *CGCXXABI::EmitMemberDataPointer(const MemberPointerType *MPT, |
| 140 | CharUnits offset) { |
Reid Kleckner | a8a0f76 | 2013-03-22 19:02:54 +0000 | [diff] [blame] | 141 | return GetBogusMemberPointer(QualType(MPT, 0)); |
Anders Carlsson | ee7cde2 | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 142 | } |
| 143 | |
Richard Smith | 2d6a567 | 2012-01-14 04:30:29 +0000 | [diff] [blame] | 144 | llvm::Constant *CGCXXABI::EmitMemberPointer(const APValue &MP, QualType MPT) { |
Reid Kleckner | a8a0f76 | 2013-03-22 19:02:54 +0000 | [diff] [blame] | 145 | return GetBogusMemberPointer(MPT); |
Richard Smith | 2d6a567 | 2012-01-14 04:30:29 +0000 | [diff] [blame] | 146 | } |
| 147 | |
Anders Carlsson | ee7cde2 | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 148 | bool CGCXXABI::isZeroInitializable(const MemberPointerType *MPT) { |
| 149 | // Fake answer. |
| 150 | return true; |
| 151 | } |
| 152 | |
Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 153 | void CGCXXABI::buildThisParam(CodeGenFunction &CGF, FunctionArgList ¶ms) { |
Anders Carlsson | ee7cde2 | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 154 | const CXXMethodDecl *MD = cast<CXXMethodDecl>(CGF.CurGD.getDecl()); |
| 155 | |
| 156 | // FIXME: I'm not entirely sure I like using a fake decl just for code |
| 157 | // generation. Maybe we can come up with a better way? |
| 158 | ImplicitParamDecl *ThisDecl |
Stephen Hines | 6bcf27b | 2014-05-29 04:14:42 -0700 | [diff] [blame] | 159 | = ImplicitParamDecl::Create(CGM.getContext(), nullptr, MD->getLocation(), |
Anders Carlsson | ee7cde2 | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 160 | &CGM.getContext().Idents.get("this"), |
| 161 | MD->getThisType(CGM.getContext())); |
John McCall | d26bc76 | 2011-03-09 04:27:21 +0000 | [diff] [blame] | 162 | params.push_back(ThisDecl); |
Anders Carlsson | ee7cde2 | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 163 | getThisDecl(CGF) = ThisDecl; |
| 164 | } |
| 165 | |
| 166 | void CGCXXABI::EmitThisParam(CodeGenFunction &CGF) { |
| 167 | /// Initialize the 'this' slot. |
| 168 | assert(getThisDecl(CGF) && "no 'this' variable for function"); |
| 169 | getThisValue(CGF) |
| 170 | = CGF.Builder.CreateLoad(CGF.GetAddrOfLocalVar(getThisDecl(CGF)), |
| 171 | "this"); |
| 172 | } |
| 173 | |
| 174 | void CGCXXABI::EmitReturnFromThunk(CodeGenFunction &CGF, |
| 175 | RValue RV, QualType ResultType) { |
| 176 | CGF.EmitReturnOfRValue(RV, ResultType); |
| 177 | } |
| 178 | |
John McCall | 6ec278d | 2011-01-27 09:37:56 +0000 | [diff] [blame] | 179 | CharUnits CGCXXABI::GetArrayCookieSize(const CXXNewExpr *expr) { |
John McCall | e2b45e2 | 2012-05-01 05:23:51 +0000 | [diff] [blame] | 180 | if (!requiresArrayCookie(expr)) |
| 181 | return CharUnits::Zero(); |
| 182 | return getArrayCookieSizeImpl(expr->getAllocatedType()); |
| 183 | } |
| 184 | |
| 185 | CharUnits CGCXXABI::getArrayCookieSizeImpl(QualType elementType) { |
| 186 | // BOGUS |
Anders Carlsson | ee7cde2 | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 187 | return CharUnits::Zero(); |
| 188 | } |
| 189 | |
| 190 | llvm::Value *CGCXXABI::InitializeArrayCookie(CodeGenFunction &CGF, |
| 191 | llvm::Value *NewPtr, |
| 192 | llvm::Value *NumElements, |
John McCall | 6ec278d | 2011-01-27 09:37:56 +0000 | [diff] [blame] | 193 | const CXXNewExpr *expr, |
Anders Carlsson | ee7cde2 | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 194 | QualType ElementType) { |
| 195 | // Should never be called. |
| 196 | ErrorUnsupportedABI(CGF, "array cookie initialization"); |
Stephen Hines | 6bcf27b | 2014-05-29 04:14:42 -0700 | [diff] [blame] | 197 | return nullptr; |
Anders Carlsson | ee7cde2 | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 198 | } |
| 199 | |
John McCall | e2b45e2 | 2012-05-01 05:23:51 +0000 | [diff] [blame] | 200 | bool CGCXXABI::requiresArrayCookie(const CXXDeleteExpr *expr, |
| 201 | QualType elementType) { |
| 202 | // If the class's usual deallocation function takes two arguments, |
| 203 | // it needs a cookie. |
| 204 | if (expr->doesUsualArrayDeleteWantSize()) |
| 205 | return true; |
Anders Carlsson | ee7cde2 | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 206 | |
John McCall | e2b45e2 | 2012-05-01 05:23:51 +0000 | [diff] [blame] | 207 | return elementType.isDestructedType(); |
| 208 | } |
| 209 | |
| 210 | bool CGCXXABI::requiresArrayCookie(const CXXNewExpr *expr) { |
| 211 | // If the class's usual deallocation function takes two arguments, |
| 212 | // it needs a cookie. |
| 213 | if (expr->doesUsualArrayDeleteWantSize()) |
| 214 | return true; |
| 215 | |
| 216 | return expr->getAllocatedType().isDestructedType(); |
| 217 | } |
| 218 | |
| 219 | void CGCXXABI::ReadArrayCookie(CodeGenFunction &CGF, llvm::Value *ptr, |
| 220 | const CXXDeleteExpr *expr, QualType eltTy, |
| 221 | llvm::Value *&numElements, |
| 222 | llvm::Value *&allocPtr, CharUnits &cookieSize) { |
| 223 | // Derive a char* in the same address space as the pointer. |
Micah Villmow | 956a5a1 | 2012-10-25 15:39:14 +0000 | [diff] [blame] | 224 | unsigned AS = ptr->getType()->getPointerAddressSpace(); |
John McCall | e2b45e2 | 2012-05-01 05:23:51 +0000 | [diff] [blame] | 225 | llvm::Type *charPtrTy = CGF.Int8Ty->getPointerTo(AS); |
| 226 | ptr = CGF.Builder.CreateBitCast(ptr, charPtrTy); |
| 227 | |
| 228 | // If we don't need an array cookie, bail out early. |
| 229 | if (!requiresArrayCookie(expr, eltTy)) { |
| 230 | allocPtr = ptr; |
Stephen Hines | 6bcf27b | 2014-05-29 04:14:42 -0700 | [diff] [blame] | 231 | numElements = nullptr; |
John McCall | e2b45e2 | 2012-05-01 05:23:51 +0000 | [diff] [blame] | 232 | cookieSize = CharUnits::Zero(); |
| 233 | return; |
| 234 | } |
| 235 | |
| 236 | cookieSize = getArrayCookieSizeImpl(eltTy); |
| 237 | allocPtr = CGF.Builder.CreateConstInBoundsGEP1_64(ptr, |
| 238 | -cookieSize.getQuantity()); |
| 239 | numElements = readArrayCookieImpl(CGF, allocPtr, cookieSize); |
| 240 | } |
| 241 | |
| 242 | llvm::Value *CGCXXABI::readArrayCookieImpl(CodeGenFunction &CGF, |
| 243 | llvm::Value *ptr, |
| 244 | CharUnits cookieSize) { |
| 245 | ErrorUnsupportedABI(CGF, "reading a new[] cookie"); |
| 246 | return llvm::ConstantInt::get(CGF.SizeTy, 0); |
Anders Carlsson | ee7cde2 | 2010-11-28 17:49:03 +0000 | [diff] [blame] | 247 | } |
| 248 | |
John McCall | 4d4e5c1 | 2012-02-15 01:22:51 +0000 | [diff] [blame] | 249 | /// Returns the adjustment, in bytes, required for the given |
| 250 | /// member-pointer operation. Returns null if no adjustment is |
| 251 | /// required. |
| 252 | llvm::Constant *CGCXXABI::getMemberPointerAdjustment(const CastExpr *E) { |
| 253 | assert(E->getCastKind() == CK_DerivedToBaseMemberPointer || |
| 254 | E->getCastKind() == CK_BaseToDerivedMemberPointer); |
| 255 | |
| 256 | QualType derivedType; |
| 257 | if (E->getCastKind() == CK_DerivedToBaseMemberPointer) |
| 258 | derivedType = E->getSubExpr()->getType(); |
| 259 | else |
| 260 | derivedType = E->getType(); |
| 261 | |
| 262 | const CXXRecordDecl *derivedClass = |
| 263 | derivedType->castAs<MemberPointerType>()->getClass()->getAsCXXRecordDecl(); |
| 264 | |
| 265 | return CGM.GetNonVirtualBaseClassOffset(derivedClass, |
| 266 | E->path_begin(), |
| 267 | E->path_end()); |
| 268 | } |
Timur Iskhodzhanov | 1d4fff5 | 2013-02-27 13:46:31 +0000 | [diff] [blame] | 269 | |
Reid Kleckner | f632730 | 2013-05-09 21:01:17 +0000 | [diff] [blame] | 270 | CharUnits CGCXXABI::getMemberPointerPathAdjustment(const APValue &MP) { |
| 271 | // TODO: Store base specifiers in APValue member pointer paths so we can |
| 272 | // easily reuse CGM.GetNonVirtualBaseClassOffset(). |
| 273 | const ValueDecl *MPD = MP.getMemberPointerDecl(); |
| 274 | CharUnits ThisAdjustment = CharUnits::Zero(); |
| 275 | ArrayRef<const CXXRecordDecl*> Path = MP.getMemberPointerPath(); |
| 276 | bool DerivedMember = MP.isMemberPointerToDerivedMember(); |
| 277 | const CXXRecordDecl *RD = cast<CXXRecordDecl>(MPD->getDeclContext()); |
| 278 | for (unsigned I = 0, N = Path.size(); I != N; ++I) { |
| 279 | const CXXRecordDecl *Base = RD; |
| 280 | const CXXRecordDecl *Derived = Path[I]; |
| 281 | if (DerivedMember) |
| 282 | std::swap(Base, Derived); |
| 283 | ThisAdjustment += |
| 284 | getContext().getASTRecordLayout(Derived).getBaseClassOffset(Base); |
| 285 | RD = Path[I]; |
| 286 | } |
| 287 | if (DerivedMember) |
| 288 | ThisAdjustment = -ThisAdjustment; |
| 289 | return ThisAdjustment; |
| 290 | } |
| 291 | |
Reid Kleckner | 9063302 | 2013-06-19 15:20:38 +0000 | [diff] [blame] | 292 | llvm::BasicBlock * |
| 293 | CGCXXABI::EmitCtorCompleteObjectHandler(CodeGenFunction &CGF, |
| 294 | const CXXRecordDecl *RD) { |
Timur Iskhodzhanov | 1d4fff5 | 2013-02-27 13:46:31 +0000 | [diff] [blame] | 295 | if (CGM.getTarget().getCXXABI().hasConstructorVariants()) |
| 296 | llvm_unreachable("shouldn't be called in this ABI"); |
| 297 | |
| 298 | ErrorUnsupportedABI(CGF, "complete object detection in ctor"); |
Stephen Hines | 6bcf27b | 2014-05-29 04:14:42 -0700 | [diff] [blame] | 299 | return nullptr; |
Timur Iskhodzhanov | 1d4fff5 | 2013-02-27 13:46:31 +0000 | [diff] [blame] | 300 | } |
Richard Smith | b80a16e | 2013-04-19 16:42:07 +0000 | [diff] [blame] | 301 | |
Peter Collingbourne | e1e35f7 | 2013-06-28 20:45:28 +0000 | [diff] [blame] | 302 | bool CGCXXABI::NeedsVTTParameter(GlobalDecl GD) { |
| 303 | return false; |
| 304 | } |