blob: e4da447eddc70a639ad93087e14a99c8dbe4a788 [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"
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -080016#include "CGCleanup.h"
Anders Carlsson4992eaf2010-11-28 17:46:52 +000017
18using namespace clang;
Anders Carlssonee7cde22010-11-28 17:49:03 +000019using namespace CodeGen;
Anders Carlsson4992eaf2010-11-28 17:46:52 +000020
Anders Carlsson1af610f2010-11-28 17:50:09 +000021CGCXXABI::~CGCXXABI() { }
Anders Carlssonee7cde22010-11-28 17:49:03 +000022
Reid Klecknera8a0f762013-03-22 19:02:54 +000023void CGCXXABI::ErrorUnsupportedABI(CodeGenFunction &CGF, StringRef S) {
David Blaikied6471f72011-09-25 23:23:43 +000024 DiagnosticsEngine &Diags = CGF.CGM.getDiags();
25 unsigned DiagID = Diags.getCustomDiagID(DiagnosticsEngine::Error,
Timur Iskhodzhanovc56b5522012-06-29 01:14:21 +000026 "cannot yet compile %0 in this ABI");
Anders Carlssonee7cde22010-11-28 17:49:03 +000027 Diags.Report(CGF.getContext().getFullLoc(CGF.CurCodeDecl->getLocation()),
28 DiagID)
29 << S;
30}
31
Stephen Hines6bcf27b2014-05-29 04:14:42 -070032bool 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.
46 bool CopyDeleted = false;
47 bool MoveDeleted = false;
48 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;
55 if (CD->isCopyConstructor())
56 CopyDeleted = true;
57 else
58 MoveDeleted = true;
59 }
60 }
61
62 // If all trivial copy and move constructors are deleted, we cannot copy the
63 // argument.
64 return !(CopyDeleted && MoveDeleted);
65}
66
Reid Klecknera8a0f762013-03-22 19:02:54 +000067llvm::Constant *CGCXXABI::GetBogusMemberPointer(QualType T) {
Anders Carlssonee7cde22010-11-28 17:49:03 +000068 return llvm::Constant::getNullValue(CGM.getTypes().ConvertType(T));
69}
70
Chris Lattner9cbe4f02011-07-09 17:41:47 +000071llvm::Type *
Anders Carlssonee7cde22010-11-28 17:49:03 +000072CGCXXABI::ConvertMemberPointerType(const MemberPointerType *MPT) {
73 return CGM.getTypes().ConvertType(CGM.getContext().getPointerDiffType());
74}
75
Stephen Hines651f13c2014-04-23 16:59:28 -070076llvm::Value *CGCXXABI::EmitLoadOfMemberFunctionPointer(
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -080077 CodeGenFunction &CGF, const Expr *E, Address This,
78 llvm::Value *&ThisPtrForCall,
Stephen Hines651f13c2014-04-23 16:59:28 -070079 llvm::Value *MemPtr, const MemberPointerType *MPT) {
Anders Carlssonee7cde22010-11-28 17:49:03 +000080 ErrorUnsupportedABI(CGF, "calls through member pointers");
81
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -080082 ThisPtrForCall = This.getPointer();
Anders Carlssonee7cde22010-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 McCallde5d3c72012-02-17 03:33:10 +000087 llvm::FunctionType *FTy = CGM.getTypes().GetFunctionType(
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -080088 CGM.getTypes().arrangeCXXMethodType(RD, FPT, /*FD=*/nullptr));
Anders Carlssonee7cde22010-11-28 17:49:03 +000089 return llvm::Constant::getNullValue(FTy->getPointerTo());
90}
91
Stephen Hines651f13c2014-04-23 16:59:28 -070092llvm::Value *
93CGCXXABI::EmitMemberDataPointerAddress(CodeGenFunction &CGF, const Expr *E,
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -080094 Address Base, llvm::Value *MemPtr,
Stephen Hines651f13c2014-04-23 16:59:28 -070095 const MemberPointerType *MPT) {
Anders Carlssonee7cde22010-11-28 17:49:03 +000096 ErrorUnsupportedABI(CGF, "loads of member pointers");
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -080097 llvm::Type *Ty = CGF.ConvertType(MPT->getPointeeType())
98 ->getPointerTo(Base.getAddressSpace());
Anders Carlssonee7cde22010-11-28 17:49:03 +000099 return llvm::Constant::getNullValue(Ty);
100}
101
102llvm::Value *CGCXXABI::EmitMemberPointerConversion(CodeGenFunction &CGF,
103 const CastExpr *E,
104 llvm::Value *Src) {
105 ErrorUnsupportedABI(CGF, "member function pointer conversions");
Reid Klecknera8a0f762013-03-22 19:02:54 +0000106 return GetBogusMemberPointer(E->getType());
Anders Carlssonee7cde22010-11-28 17:49:03 +0000107}
108
John McCall4d4e5c12012-02-15 01:22:51 +0000109llvm::Constant *CGCXXABI::EmitMemberPointerConversion(const CastExpr *E,
110 llvm::Constant *Src) {
Reid Klecknera8a0f762013-03-22 19:02:54 +0000111 return GetBogusMemberPointer(E->getType());
John McCall4d4e5c12012-02-15 01:22:51 +0000112}
113
Anders Carlssonee7cde22010-11-28 17:49:03 +0000114llvm::Value *
115CGCXXABI::EmitMemberPointerComparison(CodeGenFunction &CGF,
116 llvm::Value *L,
117 llvm::Value *R,
118 const MemberPointerType *MPT,
119 bool Inequality) {
120 ErrorUnsupportedABI(CGF, "member function pointer comparison");
121 return CGF.Builder.getFalse();
122}
123
124llvm::Value *
125CGCXXABI::EmitMemberPointerIsNotNull(CodeGenFunction &CGF,
126 llvm::Value *MemPtr,
127 const MemberPointerType *MPT) {
128 ErrorUnsupportedABI(CGF, "member function pointer null testing");
129 return CGF.Builder.getFalse();
130}
131
132llvm::Constant *
Anders Carlssonee7cde22010-11-28 17:49:03 +0000133CGCXXABI::EmitNullMemberPointer(const MemberPointerType *MPT) {
Reid Klecknera8a0f762013-03-22 19:02:54 +0000134 return GetBogusMemberPointer(QualType(MPT, 0));
Anders Carlssonee7cde22010-11-28 17:49:03 +0000135}
136
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800137llvm::Constant *CGCXXABI::EmitMemberFunctionPointer(const CXXMethodDecl *MD) {
138 return GetBogusMemberPointer(CGM.getContext().getMemberPointerType(
139 MD->getType(), MD->getParent()->getTypeForDecl()));
Anders Carlssonee7cde22010-11-28 17:49:03 +0000140}
141
John McCall5808ce42011-02-03 08:15:49 +0000142llvm::Constant *CGCXXABI::EmitMemberDataPointer(const MemberPointerType *MPT,
143 CharUnits offset) {
Reid Klecknera8a0f762013-03-22 19:02:54 +0000144 return GetBogusMemberPointer(QualType(MPT, 0));
Anders Carlssonee7cde22010-11-28 17:49:03 +0000145}
146
Richard Smith2d6a5672012-01-14 04:30:29 +0000147llvm::Constant *CGCXXABI::EmitMemberPointer(const APValue &MP, QualType MPT) {
Reid Klecknera8a0f762013-03-22 19:02:54 +0000148 return GetBogusMemberPointer(MPT);
Richard Smith2d6a5672012-01-14 04:30:29 +0000149}
150
Anders Carlssonee7cde22010-11-28 17:49:03 +0000151bool CGCXXABI::isZeroInitializable(const MemberPointerType *MPT) {
152 // Fake answer.
153 return true;
154}
155
Stephen Hines651f13c2014-04-23 16:59:28 -0700156void CGCXXABI::buildThisParam(CodeGenFunction &CGF, FunctionArgList &params) {
Anders Carlssonee7cde22010-11-28 17:49:03 +0000157 const CXXMethodDecl *MD = cast<CXXMethodDecl>(CGF.CurGD.getDecl());
158
159 // FIXME: I'm not entirely sure I like using a fake decl just for code
160 // generation. Maybe we can come up with a better way?
161 ImplicitParamDecl *ThisDecl
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700162 = ImplicitParamDecl::Create(CGM.getContext(), nullptr, MD->getLocation(),
Anders Carlssonee7cde22010-11-28 17:49:03 +0000163 &CGM.getContext().Idents.get("this"),
164 MD->getThisType(CGM.getContext()));
John McCalld26bc762011-03-09 04:27:21 +0000165 params.push_back(ThisDecl);
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800166 CGF.CXXABIThisDecl = ThisDecl;
167
168 // Compute the presumed alignment of 'this', which basically comes
169 // down to whether we know it's a complete object or not.
170 auto &Layout = CGF.getContext().getASTRecordLayout(MD->getParent());
171 if (MD->getParent()->getNumVBases() == 0 || // avoid vcall in common case
172 MD->getParent()->hasAttr<FinalAttr>() ||
173 !isThisCompleteObject(CGF.CurGD)) {
174 CGF.CXXABIThisAlignment = Layout.getAlignment();
175 } else {
176 CGF.CXXABIThisAlignment = Layout.getNonVirtualAlignment();
177 }
Anders Carlssonee7cde22010-11-28 17:49:03 +0000178}
179
180void CGCXXABI::EmitThisParam(CodeGenFunction &CGF) {
181 /// Initialize the 'this' slot.
182 assert(getThisDecl(CGF) && "no 'this' variable for function");
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800183 CGF.CXXABIThisValue
Anders Carlssonee7cde22010-11-28 17:49:03 +0000184 = CGF.Builder.CreateLoad(CGF.GetAddrOfLocalVar(getThisDecl(CGF)),
185 "this");
186}
187
188void CGCXXABI::EmitReturnFromThunk(CodeGenFunction &CGF,
189 RValue RV, QualType ResultType) {
190 CGF.EmitReturnOfRValue(RV, ResultType);
191}
192
John McCall6ec278d2011-01-27 09:37:56 +0000193CharUnits CGCXXABI::GetArrayCookieSize(const CXXNewExpr *expr) {
John McCalle2b45e22012-05-01 05:23:51 +0000194 if (!requiresArrayCookie(expr))
195 return CharUnits::Zero();
196 return getArrayCookieSizeImpl(expr->getAllocatedType());
197}
198
199CharUnits CGCXXABI::getArrayCookieSizeImpl(QualType elementType) {
200 // BOGUS
Anders Carlssonee7cde22010-11-28 17:49:03 +0000201 return CharUnits::Zero();
202}
203
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800204Address CGCXXABI::InitializeArrayCookie(CodeGenFunction &CGF,
205 Address NewPtr,
206 llvm::Value *NumElements,
207 const CXXNewExpr *expr,
208 QualType ElementType) {
Anders Carlssonee7cde22010-11-28 17:49:03 +0000209 // Should never be called.
210 ErrorUnsupportedABI(CGF, "array cookie initialization");
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800211 return Address::invalid();
Anders Carlssonee7cde22010-11-28 17:49:03 +0000212}
213
John McCalle2b45e22012-05-01 05:23:51 +0000214bool CGCXXABI::requiresArrayCookie(const CXXDeleteExpr *expr,
215 QualType elementType) {
216 // If the class's usual deallocation function takes two arguments,
217 // it needs a cookie.
218 if (expr->doesUsualArrayDeleteWantSize())
219 return true;
Anders Carlssonee7cde22010-11-28 17:49:03 +0000220
John McCalle2b45e22012-05-01 05:23:51 +0000221 return elementType.isDestructedType();
222}
223
224bool CGCXXABI::requiresArrayCookie(const CXXNewExpr *expr) {
225 // If the class's usual deallocation function takes two arguments,
226 // it needs a cookie.
227 if (expr->doesUsualArrayDeleteWantSize())
228 return true;
229
230 return expr->getAllocatedType().isDestructedType();
231}
232
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800233void CGCXXABI::ReadArrayCookie(CodeGenFunction &CGF, Address ptr,
John McCalle2b45e22012-05-01 05:23:51 +0000234 const CXXDeleteExpr *expr, QualType eltTy,
235 llvm::Value *&numElements,
236 llvm::Value *&allocPtr, CharUnits &cookieSize) {
237 // Derive a char* in the same address space as the pointer.
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800238 ptr = CGF.Builder.CreateElementBitCast(ptr, CGF.Int8Ty);
John McCalle2b45e22012-05-01 05:23:51 +0000239
240 // If we don't need an array cookie, bail out early.
241 if (!requiresArrayCookie(expr, eltTy)) {
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800242 allocPtr = ptr.getPointer();
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700243 numElements = nullptr;
John McCalle2b45e22012-05-01 05:23:51 +0000244 cookieSize = CharUnits::Zero();
245 return;
246 }
247
248 cookieSize = getArrayCookieSizeImpl(eltTy);
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800249 Address allocAddr =
250 CGF.Builder.CreateConstInBoundsByteGEP(ptr, -cookieSize);
251 allocPtr = allocAddr.getPointer();
252 numElements = readArrayCookieImpl(CGF, allocAddr, cookieSize);
John McCalle2b45e22012-05-01 05:23:51 +0000253}
254
255llvm::Value *CGCXXABI::readArrayCookieImpl(CodeGenFunction &CGF,
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800256 Address ptr,
John McCalle2b45e22012-05-01 05:23:51 +0000257 CharUnits cookieSize) {
258 ErrorUnsupportedABI(CGF, "reading a new[] cookie");
259 return llvm::ConstantInt::get(CGF.SizeTy, 0);
Anders Carlssonee7cde22010-11-28 17:49:03 +0000260}
261
John McCall4d4e5c12012-02-15 01:22:51 +0000262/// Returns the adjustment, in bytes, required for the given
263/// member-pointer operation. Returns null if no adjustment is
264/// required.
265llvm::Constant *CGCXXABI::getMemberPointerAdjustment(const CastExpr *E) {
266 assert(E->getCastKind() == CK_DerivedToBaseMemberPointer ||
267 E->getCastKind() == CK_BaseToDerivedMemberPointer);
268
269 QualType derivedType;
270 if (E->getCastKind() == CK_DerivedToBaseMemberPointer)
271 derivedType = E->getSubExpr()->getType();
272 else
273 derivedType = E->getType();
274
275 const CXXRecordDecl *derivedClass =
276 derivedType->castAs<MemberPointerType>()->getClass()->getAsCXXRecordDecl();
277
278 return CGM.GetNonVirtualBaseClassOffset(derivedClass,
279 E->path_begin(),
280 E->path_end());
281}
Timur Iskhodzhanov1d4fff52013-02-27 13:46:31 +0000282
Reid Klecknerf6327302013-05-09 21:01:17 +0000283CharUnits CGCXXABI::getMemberPointerPathAdjustment(const APValue &MP) {
284 // TODO: Store base specifiers in APValue member pointer paths so we can
285 // easily reuse CGM.GetNonVirtualBaseClassOffset().
286 const ValueDecl *MPD = MP.getMemberPointerDecl();
287 CharUnits ThisAdjustment = CharUnits::Zero();
288 ArrayRef<const CXXRecordDecl*> Path = MP.getMemberPointerPath();
289 bool DerivedMember = MP.isMemberPointerToDerivedMember();
290 const CXXRecordDecl *RD = cast<CXXRecordDecl>(MPD->getDeclContext());
291 for (unsigned I = 0, N = Path.size(); I != N; ++I) {
292 const CXXRecordDecl *Base = RD;
293 const CXXRecordDecl *Derived = Path[I];
294 if (DerivedMember)
295 std::swap(Base, Derived);
296 ThisAdjustment +=
297 getContext().getASTRecordLayout(Derived).getBaseClassOffset(Base);
298 RD = Path[I];
299 }
300 if (DerivedMember)
301 ThisAdjustment = -ThisAdjustment;
302 return ThisAdjustment;
303}
304
Reid Kleckner90633022013-06-19 15:20:38 +0000305llvm::BasicBlock *
306CGCXXABI::EmitCtorCompleteObjectHandler(CodeGenFunction &CGF,
307 const CXXRecordDecl *RD) {
Timur Iskhodzhanov1d4fff52013-02-27 13:46:31 +0000308 if (CGM.getTarget().getCXXABI().hasConstructorVariants())
309 llvm_unreachable("shouldn't be called in this ABI");
310
311 ErrorUnsupportedABI(CGF, "complete object detection in ctor");
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700312 return nullptr;
Timur Iskhodzhanov1d4fff52013-02-27 13:46:31 +0000313}
Richard Smithb80a16e2013-04-19 16:42:07 +0000314
Peter Collingbournee1e35f72013-06-28 20:45:28 +0000315bool CGCXXABI::NeedsVTTParameter(GlobalDecl GD) {
316 return false;
317}
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -0700318
319llvm::CallInst *
320CGCXXABI::emitTerminateForUnexpectedException(CodeGenFunction &CGF,
321 llvm::Value *Exn) {
322 // Just call std::terminate and ignore the violating exception.
323 return CGF.EmitNounwindRuntimeCall(CGF.CGM.getTerminateFn());
324}
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800325
326CatchTypeInfo CGCXXABI::getCatchAllTypeInfo() {
327 return CatchTypeInfo{nullptr, 0};
328}
329
330std::vector<CharUnits> CGCXXABI::getVBPtrOffsets(const CXXRecordDecl *RD) {
331 return std::vector<CharUnits>();
332}