blob: d1904ec7c4f5a51d803bdc27b7b51d75ce1bc2cf [file] [log] [blame]
Nick Lewycky5fa40c32013-10-01 21:51:38 +00001//===----- CGCXXABI.cpp - Interface to C++ ABIs ---------------------------===//
Anders Carlsson81f6f362010-11-28 17:46:52 +00002//
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
17using namespace clang;
Anders Carlssonfdee32f2010-11-28 17:49:03 +000018using namespace CodeGen;
Anders Carlsson81f6f362010-11-28 17:46:52 +000019
Anders Carlssone8ba4732010-11-28 17:50:09 +000020CGCXXABI::~CGCXXABI() { }
Anders Carlssonfdee32f2010-11-28 17:49:03 +000021
Reid Kleckner407e8b62013-03-22 19:02:54 +000022void CGCXXABI::ErrorUnsupportedABI(CodeGenFunction &CGF, StringRef S) {
David Blaikie9c902b52011-09-25 23:23:43 +000023 DiagnosticsEngine &Diags = CGF.CGM.getDiags();
24 unsigned DiagID = Diags.getCustomDiagID(DiagnosticsEngine::Error,
Timur Iskhodzhanov099ec012012-06-29 01:14:21 +000025 "cannot yet compile %0 in this ABI");
Anders Carlssonfdee32f2010-11-28 17:49:03 +000026 Diags.Report(CGF.getContext().getFullLoc(CGF.CurCodeDecl->getLocation()),
27 DiagID)
28 << S;
29}
30
Reid Klecknercf87e102014-05-14 16:02:09 +000031bool 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.
Reid Klecknerd355ca72014-05-15 01:26:32 +000045 bool CopyDeleted = false;
46 bool MoveDeleted = false;
Reid Klecknercf87e102014-05-14 16:02:09 +000047 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;
Reid Klecknerd355ca72014-05-15 01:26:32 +000054 if (CD->isCopyConstructor())
55 CopyDeleted = true;
56 else
57 MoveDeleted = true;
Reid Klecknercf87e102014-05-14 16:02:09 +000058 }
59 }
60
61 // If all trivial copy and move constructors are deleted, we cannot copy the
62 // argument.
Reid Klecknerd355ca72014-05-15 01:26:32 +000063 return !(CopyDeleted && MoveDeleted);
Reid Klecknercf87e102014-05-14 16:02:09 +000064}
65
Reid Kleckner407e8b62013-03-22 19:02:54 +000066llvm::Constant *CGCXXABI::GetBogusMemberPointer(QualType T) {
Anders Carlssonfdee32f2010-11-28 17:49:03 +000067 return llvm::Constant::getNullValue(CGM.getTypes().ConvertType(T));
68}
69
Chris Lattnera5f58b02011-07-09 17:41:47 +000070llvm::Type *
Anders Carlssonfdee32f2010-11-28 17:49:03 +000071CGCXXABI::ConvertMemberPointerType(const MemberPointerType *MPT) {
72 return CGM.getTypes().ConvertType(CGM.getContext().getPointerDiffType());
73}
74
David Majnemer2b0d66d2014-02-20 23:22:07 +000075llvm::Value *CGCXXABI::EmitLoadOfMemberFunctionPointer(
76 CodeGenFunction &CGF, const Expr *E, llvm::Value *&This,
77 llvm::Value *MemPtr, const MemberPointerType *MPT) {
Anders Carlssonfdee32f2010-11-28 17:49:03 +000078 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 McCalla729c622012-02-17 03:33:10 +000084 llvm::FunctionType *FTy = CGM.getTypes().GetFunctionType(
85 CGM.getTypes().arrangeCXXMethodType(RD, FPT));
Anders Carlssonfdee32f2010-11-28 17:49:03 +000086 return llvm::Constant::getNullValue(FTy->getPointerTo());
87}
88
David Majnemer2b0d66d2014-02-20 23:22:07 +000089llvm::Value *
90CGCXXABI::EmitMemberDataPointerAddress(CodeGenFunction &CGF, const Expr *E,
91 llvm::Value *Base, llvm::Value *MemPtr,
92 const MemberPointerType *MPT) {
Anders Carlssonfdee32f2010-11-28 17:49:03 +000093 ErrorUnsupportedABI(CGF, "loads of member pointers");
Chris Lattner2192fe52011-07-18 04:24:23 +000094 llvm::Type *Ty = CGF.ConvertType(MPT->getPointeeType())->getPointerTo();
Anders Carlssonfdee32f2010-11-28 17:49:03 +000095 return llvm::Constant::getNullValue(Ty);
96}
97
98llvm::Value *CGCXXABI::EmitMemberPointerConversion(CodeGenFunction &CGF,
99 const CastExpr *E,
100 llvm::Value *Src) {
101 ErrorUnsupportedABI(CGF, "member function pointer conversions");
Reid Kleckner407e8b62013-03-22 19:02:54 +0000102 return GetBogusMemberPointer(E->getType());
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000103}
104
John McCallc62bb392012-02-15 01:22:51 +0000105llvm::Constant *CGCXXABI::EmitMemberPointerConversion(const CastExpr *E,
106 llvm::Constant *Src) {
Reid Kleckner407e8b62013-03-22 19:02:54 +0000107 return GetBogusMemberPointer(E->getType());
John McCallc62bb392012-02-15 01:22:51 +0000108}
109
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000110llvm::Value *
111CGCXXABI::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
120llvm::Value *
121CGCXXABI::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
128llvm::Constant *
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000129CGCXXABI::EmitNullMemberPointer(const MemberPointerType *MPT) {
Reid Kleckner407e8b62013-03-22 19:02:54 +0000130 return GetBogusMemberPointer(QualType(MPT, 0));
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000131}
132
John McCall2979fe02011-04-12 00:42:48 +0000133llvm::Constant *CGCXXABI::EmitMemberPointer(const CXXMethodDecl *MD) {
Reid Kleckner407e8b62013-03-22 19:02:54 +0000134 return GetBogusMemberPointer(
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000135 CGM.getContext().getMemberPointerType(MD->getType(),
136 MD->getParent()->getTypeForDecl()));
137}
138
John McCallf3a88602011-02-03 08:15:49 +0000139llvm::Constant *CGCXXABI::EmitMemberDataPointer(const MemberPointerType *MPT,
140 CharUnits offset) {
Reid Kleckner407e8b62013-03-22 19:02:54 +0000141 return GetBogusMemberPointer(QualType(MPT, 0));
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000142}
143
Richard Smithdafff942012-01-14 04:30:29 +0000144llvm::Constant *CGCXXABI::EmitMemberPointer(const APValue &MP, QualType MPT) {
Reid Kleckner407e8b62013-03-22 19:02:54 +0000145 return GetBogusMemberPointer(MPT);
Richard Smithdafff942012-01-14 04:30:29 +0000146}
147
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000148bool CGCXXABI::isZeroInitializable(const MemberPointerType *MPT) {
149 // Fake answer.
150 return true;
151}
152
Reid Kleckner89077a12013-12-17 19:46:40 +0000153void CGCXXABI::buildThisParam(CodeGenFunction &CGF, FunctionArgList &params) {
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000154 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
159 = ImplicitParamDecl::Create(CGM.getContext(), 0, MD->getLocation(),
160 &CGM.getContext().Idents.get("this"),
161 MD->getThisType(CGM.getContext()));
John McCalla738c252011-03-09 04:27:21 +0000162 params.push_back(ThisDecl);
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000163 getThisDecl(CGF) = ThisDecl;
164}
165
166void 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
174void CGCXXABI::EmitReturnFromThunk(CodeGenFunction &CGF,
175 RValue RV, QualType ResultType) {
176 CGF.EmitReturnOfRValue(RV, ResultType);
177}
178
John McCall284c48f2011-01-27 09:37:56 +0000179CharUnits CGCXXABI::GetArrayCookieSize(const CXXNewExpr *expr) {
John McCallb91cd662012-05-01 05:23:51 +0000180 if (!requiresArrayCookie(expr))
181 return CharUnits::Zero();
182 return getArrayCookieSizeImpl(expr->getAllocatedType());
183}
184
185CharUnits CGCXXABI::getArrayCookieSizeImpl(QualType elementType) {
186 // BOGUS
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000187 return CharUnits::Zero();
188}
189
190llvm::Value *CGCXXABI::InitializeArrayCookie(CodeGenFunction &CGF,
191 llvm::Value *NewPtr,
192 llvm::Value *NumElements,
John McCall284c48f2011-01-27 09:37:56 +0000193 const CXXNewExpr *expr,
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000194 QualType ElementType) {
195 // Should never be called.
196 ErrorUnsupportedABI(CGF, "array cookie initialization");
197 return 0;
198}
199
John McCallb91cd662012-05-01 05:23:51 +0000200bool 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 Carlssonfdee32f2010-11-28 17:49:03 +0000206
John McCallb91cd662012-05-01 05:23:51 +0000207 return elementType.isDestructedType();
208}
209
210bool 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
219void 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 Villmowea2fea22012-10-25 15:39:14 +0000224 unsigned AS = ptr->getType()->getPointerAddressSpace();
John McCallb91cd662012-05-01 05:23:51 +0000225 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;
231 numElements = 0;
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
242llvm::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 Carlssonfdee32f2010-11-28 17:49:03 +0000247}
248
John McCallc84ed6a2012-05-01 06:13:13 +0000249void CGCXXABI::registerGlobalDtor(CodeGenFunction &CGF,
Richard Smithdbf74ba2013-04-14 23:01:42 +0000250 const VarDecl &D,
John McCallc84ed6a2012-05-01 06:13:13 +0000251 llvm::Constant *dtor,
252 llvm::Constant *addr) {
Richard Smithdbf74ba2013-04-14 23:01:42 +0000253 if (D.getTLSKind())
254 CGM.ErrorUnsupported(&D, "non-trivial TLS destruction");
255
John McCallc84ed6a2012-05-01 06:13:13 +0000256 // The default behavior is to use atexit.
David Blaikieebe87e12013-08-27 23:57:18 +0000257 CGF.registerGlobalDtorWithAtExit(D, dtor, addr);
John McCallc84ed6a2012-05-01 06:13:13 +0000258}
259
John McCallc62bb392012-02-15 01:22:51 +0000260/// Returns the adjustment, in bytes, required for the given
261/// member-pointer operation. Returns null if no adjustment is
262/// required.
263llvm::Constant *CGCXXABI::getMemberPointerAdjustment(const CastExpr *E) {
264 assert(E->getCastKind() == CK_DerivedToBaseMemberPointer ||
265 E->getCastKind() == CK_BaseToDerivedMemberPointer);
266
267 QualType derivedType;
268 if (E->getCastKind() == CK_DerivedToBaseMemberPointer)
269 derivedType = E->getSubExpr()->getType();
270 else
271 derivedType = E->getType();
272
273 const CXXRecordDecl *derivedClass =
274 derivedType->castAs<MemberPointerType>()->getClass()->getAsCXXRecordDecl();
275
276 return CGM.GetNonVirtualBaseClassOffset(derivedClass,
277 E->path_begin(),
278 E->path_end());
279}
Timur Iskhodzhanov57cbe5c2013-02-27 13:46:31 +0000280
Reid Kleckner452abac2013-05-09 21:01:17 +0000281CharUnits CGCXXABI::getMemberPointerPathAdjustment(const APValue &MP) {
282 // TODO: Store base specifiers in APValue member pointer paths so we can
283 // easily reuse CGM.GetNonVirtualBaseClassOffset().
284 const ValueDecl *MPD = MP.getMemberPointerDecl();
285 CharUnits ThisAdjustment = CharUnits::Zero();
286 ArrayRef<const CXXRecordDecl*> Path = MP.getMemberPointerPath();
287 bool DerivedMember = MP.isMemberPointerToDerivedMember();
288 const CXXRecordDecl *RD = cast<CXXRecordDecl>(MPD->getDeclContext());
289 for (unsigned I = 0, N = Path.size(); I != N; ++I) {
290 const CXXRecordDecl *Base = RD;
291 const CXXRecordDecl *Derived = Path[I];
292 if (DerivedMember)
293 std::swap(Base, Derived);
294 ThisAdjustment +=
295 getContext().getASTRecordLayout(Derived).getBaseClassOffset(Base);
296 RD = Path[I];
297 }
298 if (DerivedMember)
299 ThisAdjustment = -ThisAdjustment;
300 return ThisAdjustment;
301}
302
Reid Kleckner7810af02013-06-19 15:20:38 +0000303llvm::BasicBlock *
304CGCXXABI::EmitCtorCompleteObjectHandler(CodeGenFunction &CGF,
305 const CXXRecordDecl *RD) {
Timur Iskhodzhanov57cbe5c2013-02-27 13:46:31 +0000306 if (CGM.getTarget().getCXXABI().hasConstructorVariants())
307 llvm_unreachable("shouldn't be called in this ABI");
308
309 ErrorUnsupportedABI(CGF, "complete object detection in ctor");
310 return 0;
311}
Richard Smith2fd1d7a2013-04-19 16:42:07 +0000312
313void CGCXXABI::EmitThreadLocalInitFuncs(
314 llvm::ArrayRef<std::pair<const VarDecl *, llvm::GlobalVariable *> > Decls,
315 llvm::Function *InitFunc) {
316}
317
Richard Smith0f383742014-03-26 22:48:22 +0000318LValue CGCXXABI::EmitThreadLocalVarDeclLValue(CodeGenFunction &CGF,
319 const VarDecl *VD,
320 QualType LValType) {
Richard Smith2fd1d7a2013-04-19 16:42:07 +0000321 ErrorUnsupportedABI(CGF, "odr-use of thread_local global");
322 return LValue();
323}
Peter Collingbourne66f82e62013-06-28 20:45:28 +0000324
325bool CGCXXABI::NeedsVTTParameter(GlobalDecl GD) {
326 return false;
327}
Tim Northover65f582f2014-03-30 17:32:48 +0000328
329/// What sort of uniqueness rules should we use for the RTTI for the
330/// given type?
331CGCXXABI::RTTIUniquenessKind
332CGCXXABI::classifyRTTIUniqueness(QualType CanTy,
333 llvm::GlobalValue::LinkageTypes Linkage) {
334 if (shouldRTTIBeUnique())
335 return RUK_Unique;
336
337 // It's only necessary for linkonce_odr or weak_odr linkage.
338 if (Linkage != llvm::GlobalValue::LinkOnceODRLinkage &&
339 Linkage != llvm::GlobalValue::WeakODRLinkage)
340 return RUK_Unique;
341
342 // It's only necessary with default visibility.
343 if (CanTy->getVisibility() != DefaultVisibility)
344 return RUK_Unique;
345
346 // If we're not required to publish this symbol, hide it.
347 if (Linkage == llvm::GlobalValue::LinkOnceODRLinkage)
348 return RUK_NonUniqueHidden;
349
350 // If we're required to publish this symbol, as we might be under an
351 // explicit instantiation, leave it with default visibility but
352 // enable string-comparisons.
353 assert(Linkage == llvm::GlobalValue::WeakODRLinkage);
354 return RUK_NonUniqueVisible;
355}