blob: 1f0c3c0e1b4521f1a3c406c30b99d1cf21478d33 [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(
John McCall7f416cc2015-09-08 08:05:57 +000076 CodeGenFunction &CGF, const Expr *E, Address This,
77 llvm::Value *&ThisPtrForCall,
David Majnemer2b0d66d2014-02-20 23:22:07 +000078 llvm::Value *MemPtr, const MemberPointerType *MPT) {
Anders Carlssonfdee32f2010-11-28 17:49:03 +000079 ErrorUnsupportedABI(CGF, "calls through member pointers");
80
John McCall7f416cc2015-09-08 08:05:57 +000081 ThisPtrForCall = This.getPointer();
Anders Carlssonfdee32f2010-11-28 17:49:03 +000082 const FunctionProtoType *FPT =
83 MPT->getPointeeType()->getAs<FunctionProtoType>();
84 const CXXRecordDecl *RD =
85 cast<CXXRecordDecl>(MPT->getClass()->getAs<RecordType>()->getDecl());
John McCalla729c622012-02-17 03:33:10 +000086 llvm::FunctionType *FTy = CGM.getTypes().GetFunctionType(
87 CGM.getTypes().arrangeCXXMethodType(RD, FPT));
Anders Carlssonfdee32f2010-11-28 17:49:03 +000088 return llvm::Constant::getNullValue(FTy->getPointerTo());
89}
90
David Majnemer2b0d66d2014-02-20 23:22:07 +000091llvm::Value *
92CGCXXABI::EmitMemberDataPointerAddress(CodeGenFunction &CGF, const Expr *E,
John McCall7f416cc2015-09-08 08:05:57 +000093 Address Base, llvm::Value *MemPtr,
David Majnemer2b0d66d2014-02-20 23:22:07 +000094 const MemberPointerType *MPT) {
Anders Carlssonfdee32f2010-11-28 17:49:03 +000095 ErrorUnsupportedABI(CGF, "loads of member pointers");
John McCall7f416cc2015-09-08 08:05:57 +000096 llvm::Type *Ty = CGF.ConvertType(MPT->getPointeeType())
97 ->getPointerTo(Base.getAddressSpace());
Anders Carlssonfdee32f2010-11-28 17:49:03 +000098 return llvm::Constant::getNullValue(Ty);
99}
100
101llvm::Value *CGCXXABI::EmitMemberPointerConversion(CodeGenFunction &CGF,
102 const CastExpr *E,
103 llvm::Value *Src) {
104 ErrorUnsupportedABI(CGF, "member function pointer conversions");
Reid Kleckner407e8b62013-03-22 19:02:54 +0000105 return GetBogusMemberPointer(E->getType());
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000106}
107
John McCallc62bb392012-02-15 01:22:51 +0000108llvm::Constant *CGCXXABI::EmitMemberPointerConversion(const CastExpr *E,
109 llvm::Constant *Src) {
Reid Kleckner407e8b62013-03-22 19:02:54 +0000110 return GetBogusMemberPointer(E->getType());
John McCallc62bb392012-02-15 01:22:51 +0000111}
112
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000113llvm::Value *
114CGCXXABI::EmitMemberPointerComparison(CodeGenFunction &CGF,
115 llvm::Value *L,
116 llvm::Value *R,
117 const MemberPointerType *MPT,
118 bool Inequality) {
119 ErrorUnsupportedABI(CGF, "member function pointer comparison");
120 return CGF.Builder.getFalse();
121}
122
123llvm::Value *
124CGCXXABI::EmitMemberPointerIsNotNull(CodeGenFunction &CGF,
125 llvm::Value *MemPtr,
126 const MemberPointerType *MPT) {
127 ErrorUnsupportedABI(CGF, "member function pointer null testing");
128 return CGF.Builder.getFalse();
129}
130
131llvm::Constant *
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000132CGCXXABI::EmitNullMemberPointer(const MemberPointerType *MPT) {
Reid Kleckner407e8b62013-03-22 19:02:54 +0000133 return GetBogusMemberPointer(QualType(MPT, 0));
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000134}
135
David Majnemere2be95b2015-06-23 07:31:01 +0000136llvm::Constant *CGCXXABI::EmitMemberFunctionPointer(const CXXMethodDecl *MD) {
137 return GetBogusMemberPointer(CGM.getContext().getMemberPointerType(
138 MD->getType(), MD->getParent()->getTypeForDecl()));
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000139}
140
John McCallf3a88602011-02-03 08:15:49 +0000141llvm::Constant *CGCXXABI::EmitMemberDataPointer(const MemberPointerType *MPT,
142 CharUnits offset) {
Reid Kleckner407e8b62013-03-22 19:02:54 +0000143 return GetBogusMemberPointer(QualType(MPT, 0));
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000144}
145
Richard Smithdafff942012-01-14 04:30:29 +0000146llvm::Constant *CGCXXABI::EmitMemberPointer(const APValue &MP, QualType MPT) {
Reid Kleckner407e8b62013-03-22 19:02:54 +0000147 return GetBogusMemberPointer(MPT);
Richard Smithdafff942012-01-14 04:30:29 +0000148}
149
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000150bool CGCXXABI::isZeroInitializable(const MemberPointerType *MPT) {
151 // Fake answer.
152 return true;
153}
154
Reid Kleckner89077a12013-12-17 19:46:40 +0000155void CGCXXABI::buildThisParam(CodeGenFunction &CGF, FunctionArgList &params) {
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000156 const CXXMethodDecl *MD = cast<CXXMethodDecl>(CGF.CurGD.getDecl());
157
158 // FIXME: I'm not entirely sure I like using a fake decl just for code
159 // generation. Maybe we can come up with a better way?
160 ImplicitParamDecl *ThisDecl
Craig Topper8a13c412014-05-21 05:09:00 +0000161 = ImplicitParamDecl::Create(CGM.getContext(), nullptr, MD->getLocation(),
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000162 &CGM.getContext().Idents.get("this"),
163 MD->getThisType(CGM.getContext()));
John McCalla738c252011-03-09 04:27:21 +0000164 params.push_back(ThisDecl);
John McCall7f416cc2015-09-08 08:05:57 +0000165 CGF.CXXABIThisDecl = ThisDecl;
166
167 // Compute the presumed alignment of 'this', which basically comes
168 // down to whether we know it's a complete object or not.
169 auto &Layout = CGF.getContext().getASTRecordLayout(MD->getParent());
170 if (MD->getParent()->getNumVBases() == 0 || // avoid vcall in common case
171 MD->getParent()->hasAttr<FinalAttr>() ||
172 !isThisCompleteObject(CGF.CurGD)) {
173 CGF.CXXABIThisAlignment = Layout.getAlignment();
174 } else {
175 CGF.CXXABIThisAlignment = Layout.getNonVirtualAlignment();
176 }
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000177}
178
179void CGCXXABI::EmitThisParam(CodeGenFunction &CGF) {
180 /// Initialize the 'this' slot.
181 assert(getThisDecl(CGF) && "no 'this' variable for function");
John McCall7f416cc2015-09-08 08:05:57 +0000182 CGF.CXXABIThisValue
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000183 = CGF.Builder.CreateLoad(CGF.GetAddrOfLocalVar(getThisDecl(CGF)),
184 "this");
185}
186
187void CGCXXABI::EmitReturnFromThunk(CodeGenFunction &CGF,
188 RValue RV, QualType ResultType) {
189 CGF.EmitReturnOfRValue(RV, ResultType);
190}
191
John McCall284c48f2011-01-27 09:37:56 +0000192CharUnits CGCXXABI::GetArrayCookieSize(const CXXNewExpr *expr) {
John McCallb91cd662012-05-01 05:23:51 +0000193 if (!requiresArrayCookie(expr))
194 return CharUnits::Zero();
195 return getArrayCookieSizeImpl(expr->getAllocatedType());
196}
197
198CharUnits CGCXXABI::getArrayCookieSizeImpl(QualType elementType) {
199 // BOGUS
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000200 return CharUnits::Zero();
201}
202
John McCall7f416cc2015-09-08 08:05:57 +0000203Address CGCXXABI::InitializeArrayCookie(CodeGenFunction &CGF,
204 Address NewPtr,
205 llvm::Value *NumElements,
206 const CXXNewExpr *expr,
207 QualType ElementType) {
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000208 // Should never be called.
209 ErrorUnsupportedABI(CGF, "array cookie initialization");
John McCall7f416cc2015-09-08 08:05:57 +0000210 return Address::invalid();
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000211}
212
John McCallb91cd662012-05-01 05:23:51 +0000213bool CGCXXABI::requiresArrayCookie(const CXXDeleteExpr *expr,
214 QualType elementType) {
215 // If the class's usual deallocation function takes two arguments,
216 // it needs a cookie.
217 if (expr->doesUsualArrayDeleteWantSize())
218 return true;
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000219
John McCallb91cd662012-05-01 05:23:51 +0000220 return elementType.isDestructedType();
221}
222
223bool CGCXXABI::requiresArrayCookie(const CXXNewExpr *expr) {
224 // If the class's usual deallocation function takes two arguments,
225 // it needs a cookie.
226 if (expr->doesUsualArrayDeleteWantSize())
227 return true;
228
229 return expr->getAllocatedType().isDestructedType();
230}
231
John McCall7f416cc2015-09-08 08:05:57 +0000232void CGCXXABI::ReadArrayCookie(CodeGenFunction &CGF, Address ptr,
John McCallb91cd662012-05-01 05:23:51 +0000233 const CXXDeleteExpr *expr, QualType eltTy,
234 llvm::Value *&numElements,
235 llvm::Value *&allocPtr, CharUnits &cookieSize) {
236 // Derive a char* in the same address space as the pointer.
John McCall7f416cc2015-09-08 08:05:57 +0000237 ptr = CGF.Builder.CreateElementBitCast(ptr, CGF.Int8Ty);
John McCallb91cd662012-05-01 05:23:51 +0000238
239 // If we don't need an array cookie, bail out early.
240 if (!requiresArrayCookie(expr, eltTy)) {
John McCall7f416cc2015-09-08 08:05:57 +0000241 allocPtr = ptr.getPointer();
Craig Topper8a13c412014-05-21 05:09:00 +0000242 numElements = nullptr;
John McCallb91cd662012-05-01 05:23:51 +0000243 cookieSize = CharUnits::Zero();
244 return;
245 }
246
247 cookieSize = getArrayCookieSizeImpl(eltTy);
John McCall7f416cc2015-09-08 08:05:57 +0000248 Address allocAddr =
249 CGF.Builder.CreateConstInBoundsByteGEP(ptr, -cookieSize);
250 allocPtr = allocAddr.getPointer();
251 numElements = readArrayCookieImpl(CGF, allocAddr, cookieSize);
John McCallb91cd662012-05-01 05:23:51 +0000252}
253
254llvm::Value *CGCXXABI::readArrayCookieImpl(CodeGenFunction &CGF,
John McCall7f416cc2015-09-08 08:05:57 +0000255 Address ptr,
John McCallb91cd662012-05-01 05:23:51 +0000256 CharUnits cookieSize) {
257 ErrorUnsupportedABI(CGF, "reading a new[] cookie");
258 return llvm::ConstantInt::get(CGF.SizeTy, 0);
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000259}
260
John McCallc62bb392012-02-15 01:22:51 +0000261/// Returns the adjustment, in bytes, required for the given
262/// member-pointer operation. Returns null if no adjustment is
263/// required.
264llvm::Constant *CGCXXABI::getMemberPointerAdjustment(const CastExpr *E) {
265 assert(E->getCastKind() == CK_DerivedToBaseMemberPointer ||
266 E->getCastKind() == CK_BaseToDerivedMemberPointer);
267
268 QualType derivedType;
269 if (E->getCastKind() == CK_DerivedToBaseMemberPointer)
270 derivedType = E->getSubExpr()->getType();
271 else
272 derivedType = E->getType();
273
274 const CXXRecordDecl *derivedClass =
275 derivedType->castAs<MemberPointerType>()->getClass()->getAsCXXRecordDecl();
276
277 return CGM.GetNonVirtualBaseClassOffset(derivedClass,
278 E->path_begin(),
279 E->path_end());
280}
Timur Iskhodzhanov57cbe5c2013-02-27 13:46:31 +0000281
Reid Kleckner452abac2013-05-09 21:01:17 +0000282CharUnits CGCXXABI::getMemberPointerPathAdjustment(const APValue &MP) {
283 // TODO: Store base specifiers in APValue member pointer paths so we can
284 // easily reuse CGM.GetNonVirtualBaseClassOffset().
285 const ValueDecl *MPD = MP.getMemberPointerDecl();
286 CharUnits ThisAdjustment = CharUnits::Zero();
287 ArrayRef<const CXXRecordDecl*> Path = MP.getMemberPointerPath();
288 bool DerivedMember = MP.isMemberPointerToDerivedMember();
289 const CXXRecordDecl *RD = cast<CXXRecordDecl>(MPD->getDeclContext());
290 for (unsigned I = 0, N = Path.size(); I != N; ++I) {
291 const CXXRecordDecl *Base = RD;
292 const CXXRecordDecl *Derived = Path[I];
293 if (DerivedMember)
294 std::swap(Base, Derived);
295 ThisAdjustment +=
296 getContext().getASTRecordLayout(Derived).getBaseClassOffset(Base);
297 RD = Path[I];
298 }
299 if (DerivedMember)
300 ThisAdjustment = -ThisAdjustment;
301 return ThisAdjustment;
302}
303
Reid Kleckner7810af02013-06-19 15:20:38 +0000304llvm::BasicBlock *
305CGCXXABI::EmitCtorCompleteObjectHandler(CodeGenFunction &CGF,
306 const CXXRecordDecl *RD) {
Timur Iskhodzhanov57cbe5c2013-02-27 13:46:31 +0000307 if (CGM.getTarget().getCXXABI().hasConstructorVariants())
308 llvm_unreachable("shouldn't be called in this ABI");
309
310 ErrorUnsupportedABI(CGF, "complete object detection in ctor");
Craig Topper8a13c412014-05-21 05:09:00 +0000311 return nullptr;
Timur Iskhodzhanov57cbe5c2013-02-27 13:46:31 +0000312}
Richard Smith2fd1d7a2013-04-19 16:42:07 +0000313
Peter Collingbourne66f82e62013-06-28 20:45:28 +0000314bool CGCXXABI::NeedsVTTParameter(GlobalDecl GD) {
315 return false;
316}
Reid Klecknerfff8e7f2015-03-03 19:21:04 +0000317
318llvm::CallInst *
319CGCXXABI::emitTerminateForUnexpectedException(CodeGenFunction &CGF,
320 llvm::Value *Exn) {
321 // Just call std::terminate and ignore the violating exception.
322 return CGF.EmitNounwindRuntimeCall(CGF.CGM.getTerminateFn());
323}