blob: 65327a2435b5b9b4a95b3f0db4c713bcf0fa8c9f [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//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Anders Carlsson81f6f362010-11-28 17:46:52 +00006//
7//===----------------------------------------------------------------------===//
8//
9// This provides an abstract class for C++ code generation. Concrete subclasses
10// of this implement code generation for specific C++ ABIs.
11//
12//===----------------------------------------------------------------------===//
13
14#include "CGCXXABI.h"
Reid Kleckner10aa7702015-09-16 20:15:55 +000015#include "CGCleanup.h"
Reid Kleckner98031782019-12-09 16:11:56 -080016#include "clang/AST/Attr.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 Kleckner407e8b62013-03-22 19:02:54 +000032llvm::Constant *CGCXXABI::GetBogusMemberPointer(QualType T) {
Anders Carlssonfdee32f2010-11-28 17:49:03 +000033 return llvm::Constant::getNullValue(CGM.getTypes().ConvertType(T));
34}
35
Chris Lattnera5f58b02011-07-09 17:41:47 +000036llvm::Type *
Anders Carlssonfdee32f2010-11-28 17:49:03 +000037CGCXXABI::ConvertMemberPointerType(const MemberPointerType *MPT) {
38 return CGM.getTypes().ConvertType(CGM.getContext().getPointerDiffType());
39}
40
John McCallb92ab1a2016-10-26 23:46:34 +000041CGCallee CGCXXABI::EmitLoadOfMemberFunctionPointer(
John McCall7f416cc2015-09-08 08:05:57 +000042 CodeGenFunction &CGF, const Expr *E, Address This,
43 llvm::Value *&ThisPtrForCall,
David Majnemer2b0d66d2014-02-20 23:22:07 +000044 llvm::Value *MemPtr, const MemberPointerType *MPT) {
Anders Carlssonfdee32f2010-11-28 17:49:03 +000045 ErrorUnsupportedABI(CGF, "calls through member pointers");
46
John McCall7f416cc2015-09-08 08:05:57 +000047 ThisPtrForCall = This.getPointer();
Fangrui Song6907ce22018-07-30 19:24:48 +000048 const FunctionProtoType *FPT =
Anders Carlssonfdee32f2010-11-28 17:49:03 +000049 MPT->getPointeeType()->getAs<FunctionProtoType>();
Simon Pilgrim1cd399c2019-10-03 11:22:48 +000050 const auto *RD =
51 cast<CXXRecordDecl>(MPT->getClass()->castAs<RecordType>()->getDecl());
John McCalla729c622012-02-17 03:33:10 +000052 llvm::FunctionType *FTy = CGM.getTypes().GetFunctionType(
George Burgess IV3e3bb95b2015-12-02 21:58:08 +000053 CGM.getTypes().arrangeCXXMethodType(RD, FPT, /*FD=*/nullptr));
John McCallb92ab1a2016-10-26 23:46:34 +000054 llvm::Constant *FnPtr = llvm::Constant::getNullValue(FTy->getPointerTo());
55 return CGCallee::forDirect(FnPtr, FPT);
Anders Carlssonfdee32f2010-11-28 17:49:03 +000056}
57
David Majnemer2b0d66d2014-02-20 23:22:07 +000058llvm::Value *
59CGCXXABI::EmitMemberDataPointerAddress(CodeGenFunction &CGF, const Expr *E,
John McCall7f416cc2015-09-08 08:05:57 +000060 Address Base, llvm::Value *MemPtr,
David Majnemer2b0d66d2014-02-20 23:22:07 +000061 const MemberPointerType *MPT) {
Anders Carlssonfdee32f2010-11-28 17:49:03 +000062 ErrorUnsupportedABI(CGF, "loads of member pointers");
John McCall7f416cc2015-09-08 08:05:57 +000063 llvm::Type *Ty = CGF.ConvertType(MPT->getPointeeType())
64 ->getPointerTo(Base.getAddressSpace());
Anders Carlssonfdee32f2010-11-28 17:49:03 +000065 return llvm::Constant::getNullValue(Ty);
66}
67
68llvm::Value *CGCXXABI::EmitMemberPointerConversion(CodeGenFunction &CGF,
69 const CastExpr *E,
70 llvm::Value *Src) {
71 ErrorUnsupportedABI(CGF, "member function pointer conversions");
Reid Kleckner407e8b62013-03-22 19:02:54 +000072 return GetBogusMemberPointer(E->getType());
Anders Carlssonfdee32f2010-11-28 17:49:03 +000073}
74
John McCallc62bb392012-02-15 01:22:51 +000075llvm::Constant *CGCXXABI::EmitMemberPointerConversion(const CastExpr *E,
76 llvm::Constant *Src) {
Reid Kleckner407e8b62013-03-22 19:02:54 +000077 return GetBogusMemberPointer(E->getType());
John McCallc62bb392012-02-15 01:22:51 +000078}
79
Anders Carlssonfdee32f2010-11-28 17:49:03 +000080llvm::Value *
81CGCXXABI::EmitMemberPointerComparison(CodeGenFunction &CGF,
82 llvm::Value *L,
83 llvm::Value *R,
84 const MemberPointerType *MPT,
85 bool Inequality) {
86 ErrorUnsupportedABI(CGF, "member function pointer comparison");
87 return CGF.Builder.getFalse();
88}
89
90llvm::Value *
91CGCXXABI::EmitMemberPointerIsNotNull(CodeGenFunction &CGF,
92 llvm::Value *MemPtr,
93 const MemberPointerType *MPT) {
94 ErrorUnsupportedABI(CGF, "member function pointer null testing");
95 return CGF.Builder.getFalse();
96}
97
98llvm::Constant *
Anders Carlssonfdee32f2010-11-28 17:49:03 +000099CGCXXABI::EmitNullMemberPointer(const MemberPointerType *MPT) {
Reid Kleckner407e8b62013-03-22 19:02:54 +0000100 return GetBogusMemberPointer(QualType(MPT, 0));
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000101}
102
David Majnemere2be95b2015-06-23 07:31:01 +0000103llvm::Constant *CGCXXABI::EmitMemberFunctionPointer(const CXXMethodDecl *MD) {
104 return GetBogusMemberPointer(CGM.getContext().getMemberPointerType(
105 MD->getType(), MD->getParent()->getTypeForDecl()));
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000106}
107
John McCallf3a88602011-02-03 08:15:49 +0000108llvm::Constant *CGCXXABI::EmitMemberDataPointer(const MemberPointerType *MPT,
109 CharUnits offset) {
Reid Kleckner407e8b62013-03-22 19:02:54 +0000110 return GetBogusMemberPointer(QualType(MPT, 0));
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000111}
112
Richard Smithdafff942012-01-14 04:30:29 +0000113llvm::Constant *CGCXXABI::EmitMemberPointer(const APValue &MP, QualType MPT) {
Reid Kleckner407e8b62013-03-22 19:02:54 +0000114 return GetBogusMemberPointer(MPT);
Richard Smithdafff942012-01-14 04:30:29 +0000115}
116
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000117bool CGCXXABI::isZeroInitializable(const MemberPointerType *MPT) {
118 // Fake answer.
119 return true;
120}
121
Reid Kleckner89077a12013-12-17 19:46:40 +0000122void CGCXXABI::buildThisParam(CodeGenFunction &CGF, FunctionArgList &params) {
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000123 const CXXMethodDecl *MD = cast<CXXMethodDecl>(CGF.CurGD.getDecl());
124
125 // FIXME: I'm not entirely sure I like using a fake decl just for code
126 // generation. Maybe we can come up with a better way?
Alexey Bataev56223232017-06-09 13:40:18 +0000127 auto *ThisDecl = ImplicitParamDecl::Create(
128 CGM.getContext(), nullptr, MD->getLocation(),
Brian Gesiak5488ab42019-01-11 01:54:53 +0000129 &CGM.getContext().Idents.get("this"), MD->getThisType(),
Alexey Bataev56223232017-06-09 13:40:18 +0000130 ImplicitParamDecl::CXXThis);
John McCalla738c252011-03-09 04:27:21 +0000131 params.push_back(ThisDecl);
John McCall7f416cc2015-09-08 08:05:57 +0000132 CGF.CXXABIThisDecl = ThisDecl;
133
134 // Compute the presumed alignment of 'this', which basically comes
135 // down to whether we know it's a complete object or not.
136 auto &Layout = CGF.getContext().getASTRecordLayout(MD->getParent());
137 if (MD->getParent()->getNumVBases() == 0 || // avoid vcall in common case
138 MD->getParent()->hasAttr<FinalAttr>() ||
139 !isThisCompleteObject(CGF.CurGD)) {
140 CGF.CXXABIThisAlignment = Layout.getAlignment();
141 } else {
142 CGF.CXXABIThisAlignment = Layout.getNonVirtualAlignment();
143 }
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000144}
145
Reid Kleckner06239e42017-11-16 19:09:36 +0000146llvm::Value *CGCXXABI::loadIncomingCXXThis(CodeGenFunction &CGF) {
147 return CGF.Builder.CreateLoad(CGF.GetAddrOfLocalVar(getThisDecl(CGF)),
148 "this");
149}
150
151void CGCXXABI::setCXXABIThisValue(CodeGenFunction &CGF, llvm::Value *ThisPtr) {
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000152 /// Initialize the 'this' slot.
153 assert(getThisDecl(CGF) && "no 'this' variable for function");
Reid Kleckner06239e42017-11-16 19:09:36 +0000154 CGF.CXXABIThisValue = ThisPtr;
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000155}
156
157void CGCXXABI::EmitReturnFromThunk(CodeGenFunction &CGF,
158 RValue RV, QualType ResultType) {
Akira Hatanaka3a5617c2020-07-10 17:40:30 -0700159 assert(!CGF.hasAggregateEvaluationKind(ResultType) &&
160 "cannot handle aggregates");
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000161 CGF.EmitReturnOfRValue(RV, ResultType);
162}
163
John McCall284c48f2011-01-27 09:37:56 +0000164CharUnits CGCXXABI::GetArrayCookieSize(const CXXNewExpr *expr) {
John McCallb91cd662012-05-01 05:23:51 +0000165 if (!requiresArrayCookie(expr))
166 return CharUnits::Zero();
167 return getArrayCookieSizeImpl(expr->getAllocatedType());
168}
169
170CharUnits CGCXXABI::getArrayCookieSizeImpl(QualType elementType) {
171 // BOGUS
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000172 return CharUnits::Zero();
173}
174
John McCall7f416cc2015-09-08 08:05:57 +0000175Address CGCXXABI::InitializeArrayCookie(CodeGenFunction &CGF,
176 Address NewPtr,
177 llvm::Value *NumElements,
178 const CXXNewExpr *expr,
179 QualType ElementType) {
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000180 // Should never be called.
181 ErrorUnsupportedABI(CGF, "array cookie initialization");
John McCall7f416cc2015-09-08 08:05:57 +0000182 return Address::invalid();
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000183}
184
John McCallb91cd662012-05-01 05:23:51 +0000185bool CGCXXABI::requiresArrayCookie(const CXXDeleteExpr *expr,
186 QualType elementType) {
187 // If the class's usual deallocation function takes two arguments,
188 // it needs a cookie.
189 if (expr->doesUsualArrayDeleteWantSize())
190 return true;
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000191
John McCallb91cd662012-05-01 05:23:51 +0000192 return elementType.isDestructedType();
193}
194
195bool CGCXXABI::requiresArrayCookie(const CXXNewExpr *expr) {
196 // If the class's usual deallocation function takes two arguments,
197 // it needs a cookie.
198 if (expr->doesUsualArrayDeleteWantSize())
199 return true;
200
201 return expr->getAllocatedType().isDestructedType();
202}
203
John McCall7f416cc2015-09-08 08:05:57 +0000204void CGCXXABI::ReadArrayCookie(CodeGenFunction &CGF, Address ptr,
John McCallb91cd662012-05-01 05:23:51 +0000205 const CXXDeleteExpr *expr, QualType eltTy,
206 llvm::Value *&numElements,
207 llvm::Value *&allocPtr, CharUnits &cookieSize) {
208 // Derive a char* in the same address space as the pointer.
John McCall7f416cc2015-09-08 08:05:57 +0000209 ptr = CGF.Builder.CreateElementBitCast(ptr, CGF.Int8Ty);
John McCallb91cd662012-05-01 05:23:51 +0000210
211 // If we don't need an array cookie, bail out early.
212 if (!requiresArrayCookie(expr, eltTy)) {
John McCall7f416cc2015-09-08 08:05:57 +0000213 allocPtr = ptr.getPointer();
Craig Topper8a13c412014-05-21 05:09:00 +0000214 numElements = nullptr;
John McCallb91cd662012-05-01 05:23:51 +0000215 cookieSize = CharUnits::Zero();
216 return;
217 }
218
219 cookieSize = getArrayCookieSizeImpl(eltTy);
John McCall7f416cc2015-09-08 08:05:57 +0000220 Address allocAddr =
221 CGF.Builder.CreateConstInBoundsByteGEP(ptr, -cookieSize);
222 allocPtr = allocAddr.getPointer();
223 numElements = readArrayCookieImpl(CGF, allocAddr, cookieSize);
John McCallb91cd662012-05-01 05:23:51 +0000224}
225
226llvm::Value *CGCXXABI::readArrayCookieImpl(CodeGenFunction &CGF,
John McCall7f416cc2015-09-08 08:05:57 +0000227 Address ptr,
John McCallb91cd662012-05-01 05:23:51 +0000228 CharUnits cookieSize) {
229 ErrorUnsupportedABI(CGF, "reading a new[] cookie");
230 return llvm::ConstantInt::get(CGF.SizeTy, 0);
Anders Carlssonfdee32f2010-11-28 17:49:03 +0000231}
232
John McCallc62bb392012-02-15 01:22:51 +0000233/// Returns the adjustment, in bytes, required for the given
234/// member-pointer operation. Returns null if no adjustment is
235/// required.
236llvm::Constant *CGCXXABI::getMemberPointerAdjustment(const CastExpr *E) {
237 assert(E->getCastKind() == CK_DerivedToBaseMemberPointer ||
238 E->getCastKind() == CK_BaseToDerivedMemberPointer);
239
240 QualType derivedType;
241 if (E->getCastKind() == CK_DerivedToBaseMemberPointer)
242 derivedType = E->getSubExpr()->getType();
243 else
244 derivedType = E->getType();
245
246 const CXXRecordDecl *derivedClass =
247 derivedType->castAs<MemberPointerType>()->getClass()->getAsCXXRecordDecl();
248
249 return CGM.GetNonVirtualBaseClassOffset(derivedClass,
250 E->path_begin(),
251 E->path_end());
252}
Timur Iskhodzhanov57cbe5c2013-02-27 13:46:31 +0000253
Reid Kleckner452abac2013-05-09 21:01:17 +0000254CharUnits CGCXXABI::getMemberPointerPathAdjustment(const APValue &MP) {
255 // TODO: Store base specifiers in APValue member pointer paths so we can
256 // easily reuse CGM.GetNonVirtualBaseClassOffset().
257 const ValueDecl *MPD = MP.getMemberPointerDecl();
258 CharUnits ThisAdjustment = CharUnits::Zero();
259 ArrayRef<const CXXRecordDecl*> Path = MP.getMemberPointerPath();
260 bool DerivedMember = MP.isMemberPointerToDerivedMember();
261 const CXXRecordDecl *RD = cast<CXXRecordDecl>(MPD->getDeclContext());
262 for (unsigned I = 0, N = Path.size(); I != N; ++I) {
263 const CXXRecordDecl *Base = RD;
264 const CXXRecordDecl *Derived = Path[I];
265 if (DerivedMember)
266 std::swap(Base, Derived);
267 ThisAdjustment +=
268 getContext().getASTRecordLayout(Derived).getBaseClassOffset(Base);
269 RD = Path[I];
270 }
271 if (DerivedMember)
272 ThisAdjustment = -ThisAdjustment;
273 return ThisAdjustment;
274}
275
Reid Kleckner7810af02013-06-19 15:20:38 +0000276llvm::BasicBlock *
277CGCXXABI::EmitCtorCompleteObjectHandler(CodeGenFunction &CGF,
278 const CXXRecordDecl *RD) {
Timur Iskhodzhanov57cbe5c2013-02-27 13:46:31 +0000279 if (CGM.getTarget().getCXXABI().hasConstructorVariants())
280 llvm_unreachable("shouldn't be called in this ABI");
281
282 ErrorUnsupportedABI(CGF, "complete object detection in ctor");
Craig Topper8a13c412014-05-21 05:09:00 +0000283 return nullptr;
Timur Iskhodzhanov57cbe5c2013-02-27 13:46:31 +0000284}
Richard Smith2fd1d7a2013-04-19 16:42:07 +0000285
Reid Klecknerae9b0702018-03-16 19:40:50 +0000286void CGCXXABI::setCXXDestructorDLLStorage(llvm::GlobalValue *GV,
287 const CXXDestructorDecl *Dtor,
288 CXXDtorType DT) const {
289 // Assume the base C++ ABI has no special rules for destructor variants.
290 CGM.setDLLImportDLLExport(GV, Dtor);
291}
292
293llvm::GlobalValue::LinkageTypes CGCXXABI::getCXXDestructorLinkage(
294 GVALinkage Linkage, const CXXDestructorDecl *Dtor, CXXDtorType DT) const {
295 // Delegate back to CGM by default.
296 return CGM.getLLVMLinkageForDeclarator(Dtor, Linkage,
Rui Ueyama49a3ad22019-07-16 04:46:31 +0000297 /*IsConstantVariable=*/false);
Reid Klecknerae9b0702018-03-16 19:40:50 +0000298}
299
Peter Collingbourne66f82e62013-06-28 20:45:28 +0000300bool CGCXXABI::NeedsVTTParameter(GlobalDecl GD) {
301 return false;
302}
Reid Klecknerfff8e7f2015-03-03 19:21:04 +0000303
304llvm::CallInst *
305CGCXXABI::emitTerminateForUnexpectedException(CodeGenFunction &CGF,
306 llvm::Value *Exn) {
307 // Just call std::terminate and ignore the violating exception.
308 return CGF.EmitNounwindRuntimeCall(CGF.CGM.getTerminateFn());
309}
Reid Kleckner10aa7702015-09-16 20:15:55 +0000310
311CatchTypeInfo CGCXXABI::getCatchAllTypeInfo() {
312 return CatchTypeInfo{nullptr, 0};
313}
David Majnemer8671c6e2015-11-02 09:01:44 +0000314
315std::vector<CharUnits> CGCXXABI::getVBPtrOffsets(const CXXRecordDecl *RD) {
316 return std::vector<CharUnits>();
317}
Martin Böhme4c092892020-05-19 08:43:46 +0200318
319CGCXXABI::AddedStructorArgCounts CGCXXABI::addImplicitConstructorArgs(
320 CodeGenFunction &CGF, const CXXConstructorDecl *D, CXXCtorType Type,
321 bool ForVirtualBase, bool Delegating, CallArgList &Args) {
322 AddedStructorArgs AddedArgs =
323 getImplicitConstructorArgs(CGF, D, Type, ForVirtualBase, Delegating);
324 for (size_t i = 0; i < AddedArgs.Prefix.size(); ++i) {
325 Args.insert(Args.begin() + 1 + i,
326 CallArg(RValue::get(AddedArgs.Prefix[i].Value),
327 AddedArgs.Prefix[i].Type));
328 }
329 for (const auto &arg : AddedArgs.Suffix) {
330 Args.add(RValue::get(arg.Value), arg.Type);
331 }
332 return AddedStructorArgCounts(AddedArgs.Prefix.size(),
333 AddedArgs.Suffix.size());
334}