blob: df75a7d7ffde753ba619be8245865efa43bd3771 [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"
Reid Kleckner10aa7702015-09-16 20:15:55 +000016#include "CGCleanup.h"
Anders Carlsson81f6f362010-11-28 17:46:52 +000017
18using namespace clang;
Anders Carlssonfdee32f2010-11-28 17:49:03 +000019using namespace CodeGen;
Anders Carlsson81f6f362010-11-28 17:46:52 +000020
Angel Garcia Gomez637d1e62015-10-20 13:23:58 +000021CGCXXABI::~CGCXXABI() { }
Anders Carlssonfdee32f2010-11-28 17:49:03 +000022
Reid Kleckner407e8b62013-03-22 19:02:54 +000023void CGCXXABI::ErrorUnsupportedABI(CodeGenFunction &CGF, StringRef S) {
David Blaikie9c902b52011-09-25 23:23:43 +000024 DiagnosticsEngine &Diags = CGF.CGM.getDiags();
25 unsigned DiagID = Diags.getCustomDiagID(DiagnosticsEngine::Error,
Timur Iskhodzhanov099ec012012-06-29 01:14:21 +000026 "cannot yet compile %0 in this ABI");
Anders Carlssonfdee32f2010-11-28 17:49:03 +000027 Diags.Report(CGF.getContext().getFullLoc(CGF.CurCodeDecl->getLocation()),
28 DiagID)
29 << S;
30}
31
Reid Klecknercf87e102014-05-14 16:02:09 +000032bool CGCXXABI::canCopyArgument(const CXXRecordDecl *RD) const {
33 // If RD has a non-trivial move or copy constructor, we cannot copy the
34 // argument.
35 if (RD->hasNonTrivialCopyConstructor() || RD->hasNonTrivialMoveConstructor())
36 return false;
37
38 // If RD has a non-trivial destructor, we cannot copy the argument.
39 if (RD->hasNonTrivialDestructor())
40 return false;
41
42 // We can only copy the argument if there exists at least one trivial,
43 // non-deleted copy or move constructor.
44 // FIXME: This assumes that all lazily declared copy and move constructors are
45 // not deleted. This assumption might not be true in some corner cases.
Reid Klecknerd355ca72014-05-15 01:26:32 +000046 bool CopyDeleted = false;
47 bool MoveDeleted = false;
Reid Klecknercf87e102014-05-14 16:02:09 +000048 for (const CXXConstructorDecl *CD : RD->ctors()) {
49 if (CD->isCopyConstructor() || CD->isMoveConstructor()) {
50 assert(CD->isTrivial());
51 // We had at least one undeleted trivial copy or move ctor. Return
52 // directly.
53 if (!CD->isDeleted())
54 return true;
Reid Klecknerd355ca72014-05-15 01:26:32 +000055 if (CD->isCopyConstructor())
56 CopyDeleted = true;
57 else
58 MoveDeleted = true;
Reid Klecknercf87e102014-05-14 16:02:09 +000059 }
60 }
61
62 // If all trivial copy and move constructors are deleted, we cannot copy the
63 // argument.
Reid Klecknerd355ca72014-05-15 01:26:32 +000064 return !(CopyDeleted && MoveDeleted);
Reid Klecknercf87e102014-05-14 16:02:09 +000065}
66
Reid Kleckner407e8b62013-03-22 19:02:54 +000067llvm::Constant *CGCXXABI::GetBogusMemberPointer(QualType T) {
Anders Carlssonfdee32f2010-11-28 17:49:03 +000068 return llvm::Constant::getNullValue(CGM.getTypes().ConvertType(T));
69}
70
Chris Lattnera5f58b02011-07-09 17:41:47 +000071llvm::Type *
Anders Carlssonfdee32f2010-11-28 17:49:03 +000072CGCXXABI::ConvertMemberPointerType(const MemberPointerType *MPT) {
73 return CGM.getTypes().ConvertType(CGM.getContext().getPointerDiffType());
74}
75
John McCallb92ab1a2016-10-26 23:46:34 +000076CGCallee CGCXXABI::EmitLoadOfMemberFunctionPointer(
John McCall7f416cc2015-09-08 08:05:57 +000077 CodeGenFunction &CGF, const Expr *E, Address This,
78 llvm::Value *&ThisPtrForCall,
David Majnemer2b0d66d2014-02-20 23:22:07 +000079 llvm::Value *MemPtr, const MemberPointerType *MPT) {
Anders Carlssonfdee32f2010-11-28 17:49:03 +000080 ErrorUnsupportedABI(CGF, "calls through member pointers");
81
John McCall7f416cc2015-09-08 08:05:57 +000082 ThisPtrForCall = This.getPointer();
Anders Carlssonfdee32f2010-11-28 17:49:03 +000083 const FunctionProtoType *FPT =
84 MPT->getPointeeType()->getAs<FunctionProtoType>();
85 const CXXRecordDecl *RD =
86 cast<CXXRecordDecl>(MPT->getClass()->getAs<RecordType>()->getDecl());
John McCalla729c622012-02-17 03:33:10 +000087 llvm::FunctionType *FTy = CGM.getTypes().GetFunctionType(
George Burgess IV3e3bb95b2015-12-02 21:58:08 +000088 CGM.getTypes().arrangeCXXMethodType(RD, FPT, /*FD=*/nullptr));
John McCallb92ab1a2016-10-26 23:46:34 +000089 llvm::Constant *FnPtr = llvm::Constant::getNullValue(FTy->getPointerTo());
90 return CGCallee::forDirect(FnPtr, FPT);
Anders Carlssonfdee32f2010-11-28 17:49:03 +000091}
92
David Majnemer2b0d66d2014-02-20 23:22:07 +000093llvm::Value *
94CGCXXABI::EmitMemberDataPointerAddress(CodeGenFunction &CGF, const Expr *E,
John McCall7f416cc2015-09-08 08:05:57 +000095 Address Base, llvm::Value *MemPtr,
David Majnemer2b0d66d2014-02-20 23:22:07 +000096 const MemberPointerType *MPT) {
Anders Carlssonfdee32f2010-11-28 17:49:03 +000097 ErrorUnsupportedABI(CGF, "loads of member pointers");
John McCall7f416cc2015-09-08 08:05:57 +000098 llvm::Type *Ty = CGF.ConvertType(MPT->getPointeeType())
99 ->getPointerTo(Base.getAddressSpace());
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000100 return llvm::Constant::getNullValue(Ty);
101}
102
103llvm::Value *CGCXXABI::EmitMemberPointerConversion(CodeGenFunction &CGF,
104 const CastExpr *E,
105 llvm::Value *Src) {
106 ErrorUnsupportedABI(CGF, "member function pointer conversions");
Reid Kleckner407e8b62013-03-22 19:02:54 +0000107 return GetBogusMemberPointer(E->getType());
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000108}
109
John McCallc62bb392012-02-15 01:22:51 +0000110llvm::Constant *CGCXXABI::EmitMemberPointerConversion(const CastExpr *E,
111 llvm::Constant *Src) {
Reid Kleckner407e8b62013-03-22 19:02:54 +0000112 return GetBogusMemberPointer(E->getType());
John McCallc62bb392012-02-15 01:22:51 +0000113}
114
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000115llvm::Value *
116CGCXXABI::EmitMemberPointerComparison(CodeGenFunction &CGF,
117 llvm::Value *L,
118 llvm::Value *R,
119 const MemberPointerType *MPT,
120 bool Inequality) {
121 ErrorUnsupportedABI(CGF, "member function pointer comparison");
122 return CGF.Builder.getFalse();
123}
124
125llvm::Value *
126CGCXXABI::EmitMemberPointerIsNotNull(CodeGenFunction &CGF,
127 llvm::Value *MemPtr,
128 const MemberPointerType *MPT) {
129 ErrorUnsupportedABI(CGF, "member function pointer null testing");
130 return CGF.Builder.getFalse();
131}
132
133llvm::Constant *
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000134CGCXXABI::EmitNullMemberPointer(const MemberPointerType *MPT) {
Reid Kleckner407e8b62013-03-22 19:02:54 +0000135 return GetBogusMemberPointer(QualType(MPT, 0));
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000136}
137
David Majnemere2be95b2015-06-23 07:31:01 +0000138llvm::Constant *CGCXXABI::EmitMemberFunctionPointer(const CXXMethodDecl *MD) {
139 return GetBogusMemberPointer(CGM.getContext().getMemberPointerType(
140 MD->getType(), MD->getParent()->getTypeForDecl()));
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000141}
142
John McCallf3a88602011-02-03 08:15:49 +0000143llvm::Constant *CGCXXABI::EmitMemberDataPointer(const MemberPointerType *MPT,
144 CharUnits offset) {
Reid Kleckner407e8b62013-03-22 19:02:54 +0000145 return GetBogusMemberPointer(QualType(MPT, 0));
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000146}
147
Richard Smithdafff942012-01-14 04:30:29 +0000148llvm::Constant *CGCXXABI::EmitMemberPointer(const APValue &MP, QualType MPT) {
Reid Kleckner407e8b62013-03-22 19:02:54 +0000149 return GetBogusMemberPointer(MPT);
Richard Smithdafff942012-01-14 04:30:29 +0000150}
151
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000152bool CGCXXABI::isZeroInitializable(const MemberPointerType *MPT) {
153 // Fake answer.
154 return true;
155}
156
Reid Kleckner89077a12013-12-17 19:46:40 +0000157void CGCXXABI::buildThisParam(CodeGenFunction &CGF, FunctionArgList &params) {
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000158 const CXXMethodDecl *MD = cast<CXXMethodDecl>(CGF.CurGD.getDecl());
159
160 // FIXME: I'm not entirely sure I like using a fake decl just for code
161 // generation. Maybe we can come up with a better way?
162 ImplicitParamDecl *ThisDecl
Craig Topper8a13c412014-05-21 05:09:00 +0000163 = ImplicitParamDecl::Create(CGM.getContext(), nullptr, MD->getLocation(),
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000164 &CGM.getContext().Idents.get("this"),
165 MD->getThisType(CGM.getContext()));
John McCalla738c252011-03-09 04:27:21 +0000166 params.push_back(ThisDecl);
John McCall7f416cc2015-09-08 08:05:57 +0000167 CGF.CXXABIThisDecl = ThisDecl;
168
169 // Compute the presumed alignment of 'this', which basically comes
170 // down to whether we know it's a complete object or not.
171 auto &Layout = CGF.getContext().getASTRecordLayout(MD->getParent());
172 if (MD->getParent()->getNumVBases() == 0 || // avoid vcall in common case
173 MD->getParent()->hasAttr<FinalAttr>() ||
174 !isThisCompleteObject(CGF.CurGD)) {
175 CGF.CXXABIThisAlignment = Layout.getAlignment();
176 } else {
177 CGF.CXXABIThisAlignment = Layout.getNonVirtualAlignment();
178 }
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000179}
180
181void CGCXXABI::EmitThisParam(CodeGenFunction &CGF) {
182 /// Initialize the 'this' slot.
183 assert(getThisDecl(CGF) && "no 'this' variable for function");
John McCall7f416cc2015-09-08 08:05:57 +0000184 CGF.CXXABIThisValue
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000185 = CGF.Builder.CreateLoad(CGF.GetAddrOfLocalVar(getThisDecl(CGF)),
186 "this");
187}
188
189void CGCXXABI::EmitReturnFromThunk(CodeGenFunction &CGF,
190 RValue RV, QualType ResultType) {
191 CGF.EmitReturnOfRValue(RV, ResultType);
192}
193
John McCall284c48f2011-01-27 09:37:56 +0000194CharUnits CGCXXABI::GetArrayCookieSize(const CXXNewExpr *expr) {
John McCallb91cd662012-05-01 05:23:51 +0000195 if (!requiresArrayCookie(expr))
196 return CharUnits::Zero();
197 return getArrayCookieSizeImpl(expr->getAllocatedType());
198}
199
200CharUnits CGCXXABI::getArrayCookieSizeImpl(QualType elementType) {
201 // BOGUS
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000202 return CharUnits::Zero();
203}
204
John McCall7f416cc2015-09-08 08:05:57 +0000205Address CGCXXABI::InitializeArrayCookie(CodeGenFunction &CGF,
206 Address NewPtr,
207 llvm::Value *NumElements,
208 const CXXNewExpr *expr,
209 QualType ElementType) {
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000210 // Should never be called.
211 ErrorUnsupportedABI(CGF, "array cookie initialization");
John McCall7f416cc2015-09-08 08:05:57 +0000212 return Address::invalid();
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000213}
214
John McCallb91cd662012-05-01 05:23:51 +0000215bool CGCXXABI::requiresArrayCookie(const CXXDeleteExpr *expr,
216 QualType elementType) {
217 // If the class's usual deallocation function takes two arguments,
218 // it needs a cookie.
219 if (expr->doesUsualArrayDeleteWantSize())
220 return true;
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000221
John McCallb91cd662012-05-01 05:23:51 +0000222 return elementType.isDestructedType();
223}
224
225bool CGCXXABI::requiresArrayCookie(const CXXNewExpr *expr) {
226 // If the class's usual deallocation function takes two arguments,
227 // it needs a cookie.
228 if (expr->doesUsualArrayDeleteWantSize())
229 return true;
230
231 return expr->getAllocatedType().isDestructedType();
232}
233
John McCall7f416cc2015-09-08 08:05:57 +0000234void CGCXXABI::ReadArrayCookie(CodeGenFunction &CGF, Address ptr,
John McCallb91cd662012-05-01 05:23:51 +0000235 const CXXDeleteExpr *expr, QualType eltTy,
236 llvm::Value *&numElements,
237 llvm::Value *&allocPtr, CharUnits &cookieSize) {
238 // Derive a char* in the same address space as the pointer.
John McCall7f416cc2015-09-08 08:05:57 +0000239 ptr = CGF.Builder.CreateElementBitCast(ptr, CGF.Int8Ty);
John McCallb91cd662012-05-01 05:23:51 +0000240
241 // If we don't need an array cookie, bail out early.
242 if (!requiresArrayCookie(expr, eltTy)) {
John McCall7f416cc2015-09-08 08:05:57 +0000243 allocPtr = ptr.getPointer();
Craig Topper8a13c412014-05-21 05:09:00 +0000244 numElements = nullptr;
John McCallb91cd662012-05-01 05:23:51 +0000245 cookieSize = CharUnits::Zero();
246 return;
247 }
248
249 cookieSize = getArrayCookieSizeImpl(eltTy);
John McCall7f416cc2015-09-08 08:05:57 +0000250 Address allocAddr =
251 CGF.Builder.CreateConstInBoundsByteGEP(ptr, -cookieSize);
252 allocPtr = allocAddr.getPointer();
253 numElements = readArrayCookieImpl(CGF, allocAddr, cookieSize);
John McCallb91cd662012-05-01 05:23:51 +0000254}
255
256llvm::Value *CGCXXABI::readArrayCookieImpl(CodeGenFunction &CGF,
John McCall7f416cc2015-09-08 08:05:57 +0000257 Address ptr,
John McCallb91cd662012-05-01 05:23:51 +0000258 CharUnits cookieSize) {
259 ErrorUnsupportedABI(CGF, "reading a new[] cookie");
260 return llvm::ConstantInt::get(CGF.SizeTy, 0);
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000261}
262
John McCallc62bb392012-02-15 01:22:51 +0000263/// Returns the adjustment, in bytes, required for the given
264/// member-pointer operation. Returns null if no adjustment is
265/// required.
266llvm::Constant *CGCXXABI::getMemberPointerAdjustment(const CastExpr *E) {
267 assert(E->getCastKind() == CK_DerivedToBaseMemberPointer ||
268 E->getCastKind() == CK_BaseToDerivedMemberPointer);
269
270 QualType derivedType;
271 if (E->getCastKind() == CK_DerivedToBaseMemberPointer)
272 derivedType = E->getSubExpr()->getType();
273 else
274 derivedType = E->getType();
275
276 const CXXRecordDecl *derivedClass =
277 derivedType->castAs<MemberPointerType>()->getClass()->getAsCXXRecordDecl();
278
279 return CGM.GetNonVirtualBaseClassOffset(derivedClass,
280 E->path_begin(),
281 E->path_end());
282}
Timur Iskhodzhanov57cbe5c2013-02-27 13:46:31 +0000283
Reid Kleckner452abac2013-05-09 21:01:17 +0000284CharUnits CGCXXABI::getMemberPointerPathAdjustment(const APValue &MP) {
285 // TODO: Store base specifiers in APValue member pointer paths so we can
286 // easily reuse CGM.GetNonVirtualBaseClassOffset().
287 const ValueDecl *MPD = MP.getMemberPointerDecl();
288 CharUnits ThisAdjustment = CharUnits::Zero();
289 ArrayRef<const CXXRecordDecl*> Path = MP.getMemberPointerPath();
290 bool DerivedMember = MP.isMemberPointerToDerivedMember();
291 const CXXRecordDecl *RD = cast<CXXRecordDecl>(MPD->getDeclContext());
292 for (unsigned I = 0, N = Path.size(); I != N; ++I) {
293 const CXXRecordDecl *Base = RD;
294 const CXXRecordDecl *Derived = Path[I];
295 if (DerivedMember)
296 std::swap(Base, Derived);
297 ThisAdjustment +=
298 getContext().getASTRecordLayout(Derived).getBaseClassOffset(Base);
299 RD = Path[I];
300 }
301 if (DerivedMember)
302 ThisAdjustment = -ThisAdjustment;
303 return ThisAdjustment;
304}
305
Reid Kleckner7810af02013-06-19 15:20:38 +0000306llvm::BasicBlock *
307CGCXXABI::EmitCtorCompleteObjectHandler(CodeGenFunction &CGF,
308 const CXXRecordDecl *RD) {
Timur Iskhodzhanov57cbe5c2013-02-27 13:46:31 +0000309 if (CGM.getTarget().getCXXABI().hasConstructorVariants())
310 llvm_unreachable("shouldn't be called in this ABI");
311
312 ErrorUnsupportedABI(CGF, "complete object detection in ctor");
Craig Topper8a13c412014-05-21 05:09:00 +0000313 return nullptr;
Timur Iskhodzhanov57cbe5c2013-02-27 13:46:31 +0000314}
Richard Smith2fd1d7a2013-04-19 16:42:07 +0000315
Peter Collingbourne66f82e62013-06-28 20:45:28 +0000316bool CGCXXABI::NeedsVTTParameter(GlobalDecl GD) {
317 return false;
318}
Reid Klecknerfff8e7f2015-03-03 19:21:04 +0000319
320llvm::CallInst *
321CGCXXABI::emitTerminateForUnexpectedException(CodeGenFunction &CGF,
322 llvm::Value *Exn) {
323 // Just call std::terminate and ignore the violating exception.
324 return CGF.EmitNounwindRuntimeCall(CGF.CGM.getTerminateFn());
325}
Reid Kleckner10aa7702015-09-16 20:15:55 +0000326
327CatchTypeInfo CGCXXABI::getCatchAllTypeInfo() {
328 return CatchTypeInfo{nullptr, 0};
329}
David Majnemer8671c6e2015-11-02 09:01:44 +0000330
331std::vector<CharUnits> CGCXXABI::getVBPtrOffsets(const CXXRecordDecl *RD) {
332 return std::vector<CharUnits>();
333}