blob: 933fe2db2086ccbeabb96254757a01c10a023ad5 [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.
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 Kleckner407e8b62013-03-22 19:02:54 +000062llvm::Constant *CGCXXABI::GetBogusMemberPointer(QualType T) {
Anders Carlssonfdee32f2010-11-28 17:49:03 +000063 return llvm::Constant::getNullValue(CGM.getTypes().ConvertType(T));
64}
65
Chris Lattnera5f58b02011-07-09 17:41:47 +000066llvm::Type *
Anders Carlssonfdee32f2010-11-28 17:49:03 +000067CGCXXABI::ConvertMemberPointerType(const MemberPointerType *MPT) {
68 return CGM.getTypes().ConvertType(CGM.getContext().getPointerDiffType());
69}
70
David Majnemer2b0d66d2014-02-20 23:22:07 +000071llvm::Value *CGCXXABI::EmitLoadOfMemberFunctionPointer(
72 CodeGenFunction &CGF, const Expr *E, llvm::Value *&This,
73 llvm::Value *MemPtr, const MemberPointerType *MPT) {
Anders Carlssonfdee32f2010-11-28 17:49:03 +000074 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 McCalla729c622012-02-17 03:33:10 +000080 llvm::FunctionType *FTy = CGM.getTypes().GetFunctionType(
81 CGM.getTypes().arrangeCXXMethodType(RD, FPT));
Anders Carlssonfdee32f2010-11-28 17:49:03 +000082 return llvm::Constant::getNullValue(FTy->getPointerTo());
83}
84
David Majnemer2b0d66d2014-02-20 23:22:07 +000085llvm::Value *
86CGCXXABI::EmitMemberDataPointerAddress(CodeGenFunction &CGF, const Expr *E,
87 llvm::Value *Base, llvm::Value *MemPtr,
88 const MemberPointerType *MPT) {
Anders Carlssonfdee32f2010-11-28 17:49:03 +000089 ErrorUnsupportedABI(CGF, "loads of member pointers");
Chris Lattner2192fe52011-07-18 04:24:23 +000090 llvm::Type *Ty = CGF.ConvertType(MPT->getPointeeType())->getPointerTo();
Anders Carlssonfdee32f2010-11-28 17:49:03 +000091 return llvm::Constant::getNullValue(Ty);
92}
93
94llvm::Value *CGCXXABI::EmitMemberPointerConversion(CodeGenFunction &CGF,
95 const CastExpr *E,
96 llvm::Value *Src) {
97 ErrorUnsupportedABI(CGF, "member function pointer conversions");
Reid Kleckner407e8b62013-03-22 19:02:54 +000098 return GetBogusMemberPointer(E->getType());
Anders Carlssonfdee32f2010-11-28 17:49:03 +000099}
100
John McCallc62bb392012-02-15 01:22:51 +0000101llvm::Constant *CGCXXABI::EmitMemberPointerConversion(const CastExpr *E,
102 llvm::Constant *Src) {
Reid Kleckner407e8b62013-03-22 19:02:54 +0000103 return GetBogusMemberPointer(E->getType());
John McCallc62bb392012-02-15 01:22:51 +0000104}
105
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000106llvm::Value *
107CGCXXABI::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
116llvm::Value *
117CGCXXABI::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
124llvm::Constant *
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000125CGCXXABI::EmitNullMemberPointer(const MemberPointerType *MPT) {
Reid Kleckner407e8b62013-03-22 19:02:54 +0000126 return GetBogusMemberPointer(QualType(MPT, 0));
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000127}
128
John McCall2979fe02011-04-12 00:42:48 +0000129llvm::Constant *CGCXXABI::EmitMemberPointer(const CXXMethodDecl *MD) {
Reid Kleckner407e8b62013-03-22 19:02:54 +0000130 return GetBogusMemberPointer(
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000131 CGM.getContext().getMemberPointerType(MD->getType(),
132 MD->getParent()->getTypeForDecl()));
133}
134
John McCallf3a88602011-02-03 08:15:49 +0000135llvm::Constant *CGCXXABI::EmitMemberDataPointer(const MemberPointerType *MPT,
136 CharUnits offset) {
Reid Kleckner407e8b62013-03-22 19:02:54 +0000137 return GetBogusMemberPointer(QualType(MPT, 0));
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000138}
139
Richard Smithdafff942012-01-14 04:30:29 +0000140llvm::Constant *CGCXXABI::EmitMemberPointer(const APValue &MP, QualType MPT) {
Reid Kleckner407e8b62013-03-22 19:02:54 +0000141 return GetBogusMemberPointer(MPT);
Richard Smithdafff942012-01-14 04:30:29 +0000142}
143
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000144bool CGCXXABI::isZeroInitializable(const MemberPointerType *MPT) {
145 // Fake answer.
146 return true;
147}
148
Reid Kleckner89077a12013-12-17 19:46:40 +0000149void CGCXXABI::buildThisParam(CodeGenFunction &CGF, FunctionArgList &params) {
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000150 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 McCalla738c252011-03-09 04:27:21 +0000158 params.push_back(ThisDecl);
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000159 getThisDecl(CGF) = ThisDecl;
160}
161
162void 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
170void CGCXXABI::EmitReturnFromThunk(CodeGenFunction &CGF,
171 RValue RV, QualType ResultType) {
172 CGF.EmitReturnOfRValue(RV, ResultType);
173}
174
John McCall284c48f2011-01-27 09:37:56 +0000175CharUnits CGCXXABI::GetArrayCookieSize(const CXXNewExpr *expr) {
John McCallb91cd662012-05-01 05:23:51 +0000176 if (!requiresArrayCookie(expr))
177 return CharUnits::Zero();
178 return getArrayCookieSizeImpl(expr->getAllocatedType());
179}
180
181CharUnits CGCXXABI::getArrayCookieSizeImpl(QualType elementType) {
182 // BOGUS
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000183 return CharUnits::Zero();
184}
185
186llvm::Value *CGCXXABI::InitializeArrayCookie(CodeGenFunction &CGF,
187 llvm::Value *NewPtr,
188 llvm::Value *NumElements,
John McCall284c48f2011-01-27 09:37:56 +0000189 const CXXNewExpr *expr,
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000190 QualType ElementType) {
191 // Should never be called.
192 ErrorUnsupportedABI(CGF, "array cookie initialization");
193 return 0;
194}
195
John McCallb91cd662012-05-01 05:23:51 +0000196bool 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 Carlssonfdee32f2010-11-28 17:49:03 +0000202
John McCallb91cd662012-05-01 05:23:51 +0000203 return elementType.isDestructedType();
204}
205
206bool 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
215void 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 Villmowea2fea22012-10-25 15:39:14 +0000220 unsigned AS = ptr->getType()->getPointerAddressSpace();
John McCallb91cd662012-05-01 05:23:51 +0000221 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
238llvm::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 Carlssonfdee32f2010-11-28 17:49:03 +0000243}
244
John McCallc84ed6a2012-05-01 06:13:13 +0000245void CGCXXABI::registerGlobalDtor(CodeGenFunction &CGF,
Richard Smithdbf74ba2013-04-14 23:01:42 +0000246 const VarDecl &D,
John McCallc84ed6a2012-05-01 06:13:13 +0000247 llvm::Constant *dtor,
248 llvm::Constant *addr) {
Richard Smithdbf74ba2013-04-14 23:01:42 +0000249 if (D.getTLSKind())
250 CGM.ErrorUnsupported(&D, "non-trivial TLS destruction");
251
John McCallc84ed6a2012-05-01 06:13:13 +0000252 // The default behavior is to use atexit.
David Blaikieebe87e12013-08-27 23:57:18 +0000253 CGF.registerGlobalDtorWithAtExit(D, dtor, addr);
John McCallc84ed6a2012-05-01 06:13:13 +0000254}
255
John McCallc62bb392012-02-15 01:22:51 +0000256/// Returns the adjustment, in bytes, required for the given
257/// member-pointer operation. Returns null if no adjustment is
258/// required.
259llvm::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 Iskhodzhanov57cbe5c2013-02-27 13:46:31 +0000276
Reid Kleckner452abac2013-05-09 21:01:17 +0000277CharUnits 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 Kleckner7810af02013-06-19 15:20:38 +0000299llvm::BasicBlock *
300CGCXXABI::EmitCtorCompleteObjectHandler(CodeGenFunction &CGF,
301 const CXXRecordDecl *RD) {
Timur Iskhodzhanov57cbe5c2013-02-27 13:46:31 +0000302 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 Smith2fd1d7a2013-04-19 16:42:07 +0000308
309void CGCXXABI::EmitThreadLocalInitFuncs(
310 llvm::ArrayRef<std::pair<const VarDecl *, llvm::GlobalVariable *> > Decls,
311 llvm::Function *InitFunc) {
312}
313
Richard Smith0f383742014-03-26 22:48:22 +0000314LValue CGCXXABI::EmitThreadLocalVarDeclLValue(CodeGenFunction &CGF,
315 const VarDecl *VD,
316 QualType LValType) {
Richard Smith2fd1d7a2013-04-19 16:42:07 +0000317 ErrorUnsupportedABI(CGF, "odr-use of thread_local global");
318 return LValue();
319}
Peter Collingbourne66f82e62013-06-28 20:45:28 +0000320
321bool CGCXXABI::NeedsVTTParameter(GlobalDecl GD) {
322 return false;
323}
Tim Northover65f582f2014-03-30 17:32:48 +0000324
325/// What sort of uniqueness rules should we use for the RTTI for the
326/// given type?
327CGCXXABI::RTTIUniquenessKind
328CGCXXABI::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}