blob: d31331de68681403c0f7221a808bb6108ba4bb84 [file] [log] [blame]
Nick Lewycky5d4a7552013-10-01 21:51:38 +00001//===----- CGCXXABI.cpp - Interface to C++ ABIs ---------------------------===//
Anders Carlsson4992eaf2010-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 Carlssonee7cde22010-11-28 17:49:03 +000018using namespace CodeGen;
Anders Carlsson4992eaf2010-11-28 17:46:52 +000019
Anders Carlsson1af610f2010-11-28 17:50:09 +000020CGCXXABI::~CGCXXABI() { }
Anders Carlssonee7cde22010-11-28 17:49:03 +000021
Reid Klecknera8a0f762013-03-22 19:02:54 +000022void CGCXXABI::ErrorUnsupportedABI(CodeGenFunction &CGF, StringRef S) {
David Blaikied6471f72011-09-25 23:23:43 +000023 DiagnosticsEngine &Diags = CGF.CGM.getDiags();
24 unsigned DiagID = Diags.getCustomDiagID(DiagnosticsEngine::Error,
Timur Iskhodzhanovc56b5522012-06-29 01:14:21 +000025 "cannot yet compile %0 in this ABI");
Anders Carlssonee7cde22010-11-28 17:49:03 +000026 Diags.Report(CGF.getContext().getFullLoc(CGF.CurCodeDecl->getLocation()),
27 DiagID)
28 << S;
29}
30
Stephen Hines6bcf27b2014-05-29 04:14:42 -070031bool 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 Klecknera8a0f762013-03-22 19:02:54 +000066llvm::Constant *CGCXXABI::GetBogusMemberPointer(QualType T) {
Anders Carlssonee7cde22010-11-28 17:49:03 +000067 return llvm::Constant::getNullValue(CGM.getTypes().ConvertType(T));
68}
69
Chris Lattner9cbe4f02011-07-09 17:41:47 +000070llvm::Type *
Anders Carlssonee7cde22010-11-28 17:49:03 +000071CGCXXABI::ConvertMemberPointerType(const MemberPointerType *MPT) {
72 return CGM.getTypes().ConvertType(CGM.getContext().getPointerDiffType());
73}
74
Stephen Hines651f13c2014-04-23 16:59:28 -070075llvm::Value *CGCXXABI::EmitLoadOfMemberFunctionPointer(
76 CodeGenFunction &CGF, const Expr *E, llvm::Value *&This,
77 llvm::Value *MemPtr, const MemberPointerType *MPT) {
Anders Carlssonee7cde22010-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 McCallde5d3c72012-02-17 03:33:10 +000084 llvm::FunctionType *FTy = CGM.getTypes().GetFunctionType(
85 CGM.getTypes().arrangeCXXMethodType(RD, FPT));
Anders Carlssonee7cde22010-11-28 17:49:03 +000086 return llvm::Constant::getNullValue(FTy->getPointerTo());
87}
88
Stephen Hines651f13c2014-04-23 16:59:28 -070089llvm::Value *
90CGCXXABI::EmitMemberDataPointerAddress(CodeGenFunction &CGF, const Expr *E,
91 llvm::Value *Base, llvm::Value *MemPtr,
92 const MemberPointerType *MPT) {
Anders Carlssonee7cde22010-11-28 17:49:03 +000093 ErrorUnsupportedABI(CGF, "loads of member pointers");
Chris Lattner2acc6e32011-07-18 04:24:23 +000094 llvm::Type *Ty = CGF.ConvertType(MPT->getPointeeType())->getPointerTo();
Anders Carlssonee7cde22010-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 Klecknera8a0f762013-03-22 19:02:54 +0000102 return GetBogusMemberPointer(E->getType());
Anders Carlssonee7cde22010-11-28 17:49:03 +0000103}
104
John McCall4d4e5c12012-02-15 01:22:51 +0000105llvm::Constant *CGCXXABI::EmitMemberPointerConversion(const CastExpr *E,
106 llvm::Constant *Src) {
Reid Klecknera8a0f762013-03-22 19:02:54 +0000107 return GetBogusMemberPointer(E->getType());
John McCall4d4e5c12012-02-15 01:22:51 +0000108}
109
Anders Carlssonee7cde22010-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 Carlssonee7cde22010-11-28 17:49:03 +0000129CGCXXABI::EmitNullMemberPointer(const MemberPointerType *MPT) {
Reid Klecknera8a0f762013-03-22 19:02:54 +0000130 return GetBogusMemberPointer(QualType(MPT, 0));
Anders Carlssonee7cde22010-11-28 17:49:03 +0000131}
132
John McCall755d8492011-04-12 00:42:48 +0000133llvm::Constant *CGCXXABI::EmitMemberPointer(const CXXMethodDecl *MD) {
Reid Klecknera8a0f762013-03-22 19:02:54 +0000134 return GetBogusMemberPointer(
Anders Carlssonee7cde22010-11-28 17:49:03 +0000135 CGM.getContext().getMemberPointerType(MD->getType(),
136 MD->getParent()->getTypeForDecl()));
137}
138
John McCall5808ce42011-02-03 08:15:49 +0000139llvm::Constant *CGCXXABI::EmitMemberDataPointer(const MemberPointerType *MPT,
140 CharUnits offset) {
Reid Klecknera8a0f762013-03-22 19:02:54 +0000141 return GetBogusMemberPointer(QualType(MPT, 0));
Anders Carlssonee7cde22010-11-28 17:49:03 +0000142}
143
Richard Smith2d6a5672012-01-14 04:30:29 +0000144llvm::Constant *CGCXXABI::EmitMemberPointer(const APValue &MP, QualType MPT) {
Reid Klecknera8a0f762013-03-22 19:02:54 +0000145 return GetBogusMemberPointer(MPT);
Richard Smith2d6a5672012-01-14 04:30:29 +0000146}
147
Anders Carlssonee7cde22010-11-28 17:49:03 +0000148bool CGCXXABI::isZeroInitializable(const MemberPointerType *MPT) {
149 // Fake answer.
150 return true;
151}
152
Stephen Hines651f13c2014-04-23 16:59:28 -0700153void CGCXXABI::buildThisParam(CodeGenFunction &CGF, FunctionArgList &params) {
Anders Carlssonee7cde22010-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
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700159 = ImplicitParamDecl::Create(CGM.getContext(), nullptr, MD->getLocation(),
Anders Carlssonee7cde22010-11-28 17:49:03 +0000160 &CGM.getContext().Idents.get("this"),
161 MD->getThisType(CGM.getContext()));
John McCalld26bc762011-03-09 04:27:21 +0000162 params.push_back(ThisDecl);
Anders Carlssonee7cde22010-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 McCall6ec278d2011-01-27 09:37:56 +0000179CharUnits CGCXXABI::GetArrayCookieSize(const CXXNewExpr *expr) {
John McCalle2b45e22012-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 Carlssonee7cde22010-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 McCall6ec278d2011-01-27 09:37:56 +0000193 const CXXNewExpr *expr,
Anders Carlssonee7cde22010-11-28 17:49:03 +0000194 QualType ElementType) {
195 // Should never be called.
196 ErrorUnsupportedABI(CGF, "array cookie initialization");
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700197 return nullptr;
Anders Carlssonee7cde22010-11-28 17:49:03 +0000198}
199
John McCalle2b45e22012-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 Carlssonee7cde22010-11-28 17:49:03 +0000206
John McCalle2b45e22012-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 Villmow956a5a12012-10-25 15:39:14 +0000224 unsigned AS = ptr->getType()->getPointerAddressSpace();
John McCalle2b45e22012-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;
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700231 numElements = nullptr;
John McCalle2b45e22012-05-01 05:23:51 +0000232 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 Carlssonee7cde22010-11-28 17:49:03 +0000247}
248
John McCall4d4e5c12012-02-15 01:22:51 +0000249/// Returns the adjustment, in bytes, required for the given
250/// member-pointer operation. Returns null if no adjustment is
251/// required.
252llvm::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 Iskhodzhanov1d4fff52013-02-27 13:46:31 +0000269
Reid Klecknerf6327302013-05-09 21:01:17 +0000270CharUnits 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 Kleckner90633022013-06-19 15:20:38 +0000292llvm::BasicBlock *
293CGCXXABI::EmitCtorCompleteObjectHandler(CodeGenFunction &CGF,
294 const CXXRecordDecl *RD) {
Timur Iskhodzhanov1d4fff52013-02-27 13:46:31 +0000295 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 Hines6bcf27b2014-05-29 04:14:42 -0700299 return nullptr;
Timur Iskhodzhanov1d4fff52013-02-27 13:46:31 +0000300}
Richard Smithb80a16e2013-04-19 16:42:07 +0000301
Peter Collingbournee1e35f72013-06-28 20:45:28 +0000302bool CGCXXABI::NeedsVTTParameter(GlobalDecl GD) {
303 return false;
304}