blob: 34558be5adb1b8d40c7e0633f651601d3ecedd88 [file] [log] [blame]
Daniel Dunbar3d7c90b2008-09-08 21:33:45 +00001//===----- CGCall.h - Encapsulate calling convention details ----*- C++ -*-===//
2//
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
Daniel Dunbar3d7c90b2008-09-08 21:33:45 +00006//
7//===----------------------------------------------------------------------===//
8//
9// These classes wrap the information about a call or function
10// definition used to handle ABI compliancy.
11//
12//===----------------------------------------------------------------------===//
13
Benjamin Kramer2f5db8b2014-08-13 16:25:19 +000014#ifndef LLVM_CLANG_LIB_CODEGEN_CGCALL_H
15#define LLVM_CLANG_LIB_CODEGEN_CGCALL_H
Daniel Dunbar3d7c90b2008-09-08 21:33:45 +000016
Chandler Carruth3a022472012-12-04 09:13:33 +000017#include "CGValue.h"
Reid Kleckner23f4c4b2013-06-21 12:45:15 +000018#include "EHScopeStack.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000019#include "clang/AST/CanonicalType.h"
Peter Collingbourneea211002018-02-05 23:09:13 +000020#include "clang/AST/GlobalDecl.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000021#include "clang/AST/Type.h"
Chandler Carruthffd55512013-01-02 11:45:17 +000022#include "llvm/IR/Value.h"
Daniel Dunbar41cf9de2008-09-09 01:06:48 +000023
Daniel Dunbar313321e2009-02-03 05:31:23 +000024// FIXME: Restructure so we don't have to expose so much stuff.
25#include "ABIInfo.h"
26
Daniel Dunbar3d7c90b2008-09-08 21:33:45 +000027namespace llvm {
Reid Klecknerde864822017-03-21 16:57:30 +000028class AttributeList;
29class Function;
30class Type;
31class Value;
Akira Hatanakac1d29272019-10-30 17:51:45 -070032} // namespace llvm
Daniel Dunbar3d7c90b2008-09-08 21:33:45 +000033
34namespace clang {
Akira Hatanakac1d29272019-10-30 17:51:45 -070035class ASTContext;
36class Decl;
37class FunctionDecl;
38class ObjCMethodDecl;
39class VarDecl;
Daniel Dunbar3d7c90b2008-09-08 21:33:45 +000040
41namespace CodeGen {
Daniel Dunbar3d7c90b2008-09-08 21:33:45 +000042
Reid Klecknerde864822017-03-21 16:57:30 +000043/// Abstract information about a function or function prototype.
44class CGCalleeInfo {
Adrian Prantl9fc8faf2018-05-09 01:00:01 +000045 /// The function prototype of the callee.
Reid Klecknerde864822017-03-21 16:57:30 +000046 const FunctionProtoType *CalleeProtoTy;
Adrian Prantl9fc8faf2018-05-09 01:00:01 +000047 /// The function declaration of the callee.
Erich Keanede6480a32018-11-13 15:48:08 +000048 GlobalDecl CalleeDecl;
John McCallb92ab1a2016-10-26 23:46:34 +000049
Reid Klecknerde864822017-03-21 16:57:30 +000050public:
Erich Keanede6480a32018-11-13 15:48:08 +000051 explicit CGCalleeInfo() : CalleeProtoTy(nullptr), CalleeDecl() {}
52 CGCalleeInfo(const FunctionProtoType *calleeProtoTy, GlobalDecl calleeDecl)
Reid Klecknerde864822017-03-21 16:57:30 +000053 : CalleeProtoTy(calleeProtoTy), CalleeDecl(calleeDecl) {}
54 CGCalleeInfo(const FunctionProtoType *calleeProtoTy)
Erich Keanede6480a32018-11-13 15:48:08 +000055 : CalleeProtoTy(calleeProtoTy), CalleeDecl() {}
56 CGCalleeInfo(GlobalDecl calleeDecl)
Reid Klecknerde864822017-03-21 16:57:30 +000057 : CalleeProtoTy(nullptr), CalleeDecl(calleeDecl) {}
John McCallb92ab1a2016-10-26 23:46:34 +000058
Reid Klecknerde864822017-03-21 16:57:30 +000059 const FunctionProtoType *getCalleeFunctionProtoType() const {
60 return CalleeProtoTy;
61 }
Erich Keanede6480a32018-11-13 15:48:08 +000062 const GlobalDecl getCalleeDecl() const { return CalleeDecl; }
Akira Hatanakac1d29272019-10-30 17:51:45 -070063};
64
65/// All available information about a concrete callee.
66class CGCallee {
67 enum class SpecialKind : uintptr_t {
68 Invalid,
69 Builtin,
70 PseudoDestructor,
71 Virtual,
72
73 Last = Virtual
John McCallb92ab1a2016-10-26 23:46:34 +000074 };
75
Akira Hatanakac1d29272019-10-30 17:51:45 -070076 struct BuiltinInfoStorage {
77 const FunctionDecl *Decl;
78 unsigned ID;
79 };
80 struct PseudoDestructorInfoStorage {
81 const CXXPseudoDestructorExpr *Expr;
82 };
83 struct VirtualInfoStorage {
84 const CallExpr *CE;
85 GlobalDecl MD;
86 Address Addr;
87 llvm::FunctionType *FTy;
88 };
John McCallb92ab1a2016-10-26 23:46:34 +000089
Akira Hatanakac1d29272019-10-30 17:51:45 -070090 SpecialKind KindOrFunctionPointer;
91 union {
92 CGCalleeInfo AbstractInfo;
93 BuiltinInfoStorage BuiltinInfo;
94 PseudoDestructorInfoStorage PseudoDestructorInfo;
95 VirtualInfoStorage VirtualInfo;
96 };
John McCallb92ab1a2016-10-26 23:46:34 +000097
Akira Hatanakac1d29272019-10-30 17:51:45 -070098 explicit CGCallee(SpecialKind kind) : KindOrFunctionPointer(kind) {}
John McCallaaae3022016-11-07 21:13:27 +000099
Akira Hatanakac1d29272019-10-30 17:51:45 -0700100 CGCallee(const FunctionDecl *builtinDecl, unsigned builtinID)
101 : KindOrFunctionPointer(SpecialKind::Builtin) {
102 BuiltinInfo.Decl = builtinDecl;
103 BuiltinInfo.ID = builtinID;
104 }
John McCallb92ab1a2016-10-26 23:46:34 +0000105
Akira Hatanakac1d29272019-10-30 17:51:45 -0700106public:
107 CGCallee() : KindOrFunctionPointer(SpecialKind::Invalid) {}
John McCallb92ab1a2016-10-26 23:46:34 +0000108
Akira Hatanakac1d29272019-10-30 17:51:45 -0700109 /// Construct a callee. Call this constructor directly when this
110 /// isn't a direct call.
111 CGCallee(const CGCalleeInfo &abstractInfo, llvm::Value *functionPtr)
112 : KindOrFunctionPointer(SpecialKind(uintptr_t(functionPtr))) {
113 AbstractInfo = abstractInfo;
114 assert(functionPtr && "configuring callee without function pointer");
115 assert(functionPtr->getType()->isPointerTy());
116 assert(functionPtr->getType()->getPointerElementType()->isFunctionTy());
117 }
John McCallb92ab1a2016-10-26 23:46:34 +0000118
Akira Hatanakac1d29272019-10-30 17:51:45 -0700119 static CGCallee forBuiltin(unsigned builtinID,
120 const FunctionDecl *builtinDecl) {
121 CGCallee result(SpecialKind::Builtin);
122 result.BuiltinInfo.Decl = builtinDecl;
123 result.BuiltinInfo.ID = builtinID;
124 return result;
125 }
John McCallb92ab1a2016-10-26 23:46:34 +0000126
Akira Hatanakac1d29272019-10-30 17:51:45 -0700127 static CGCallee forPseudoDestructor(const CXXPseudoDestructorExpr *E) {
128 CGCallee result(SpecialKind::PseudoDestructor);
129 result.PseudoDestructorInfo.Expr = E;
130 return result;
131 }
John McCallb92ab1a2016-10-26 23:46:34 +0000132
Akira Hatanakac1d29272019-10-30 17:51:45 -0700133 static CGCallee forDirect(llvm::Constant *functionPtr,
134 const CGCalleeInfo &abstractInfo = CGCalleeInfo()) {
135 return CGCallee(abstractInfo, functionPtr);
136 }
John McCallb92ab1a2016-10-26 23:46:34 +0000137
Akira Hatanakac1d29272019-10-30 17:51:45 -0700138 static CGCallee forDirect(llvm::FunctionCallee functionPtr,
139 const CGCalleeInfo &abstractInfo = CGCalleeInfo()) {
140 return CGCallee(abstractInfo, functionPtr.getCallee());
141 }
John McCallb92ab1a2016-10-26 23:46:34 +0000142
Akira Hatanakac1d29272019-10-30 17:51:45 -0700143 static CGCallee forVirtual(const CallExpr *CE, GlobalDecl MD, Address Addr,
144 llvm::FunctionType *FTy) {
145 CGCallee result(SpecialKind::Virtual);
146 result.VirtualInfo.CE = CE;
147 result.VirtualInfo.MD = MD;
148 result.VirtualInfo.Addr = Addr;
149 result.VirtualInfo.FTy = FTy;
150 return result;
151 }
John McCallb92ab1a2016-10-26 23:46:34 +0000152
Akira Hatanakac1d29272019-10-30 17:51:45 -0700153 bool isBuiltin() const {
154 return KindOrFunctionPointer == SpecialKind::Builtin;
155 }
156 const FunctionDecl *getBuiltinDecl() const {
157 assert(isBuiltin());
158 return BuiltinInfo.Decl;
159 }
160 unsigned getBuiltinID() const {
161 assert(isBuiltin());
162 return BuiltinInfo.ID;
163 }
James Y Knight9871db02019-02-05 16:42:33 +0000164
Akira Hatanakac1d29272019-10-30 17:51:45 -0700165 bool isPseudoDestructor() const {
166 return KindOrFunctionPointer == SpecialKind::PseudoDestructor;
167 }
168 const CXXPseudoDestructorExpr *getPseudoDestructorExpr() const {
169 assert(isPseudoDestructor());
170 return PseudoDestructorInfo.Expr;
171 }
Peter Collingbourneea211002018-02-05 23:09:13 +0000172
Akira Hatanakac1d29272019-10-30 17:51:45 -0700173 bool isOrdinary() const {
174 return uintptr_t(KindOrFunctionPointer) > uintptr_t(SpecialKind::Last);
175 }
176 CGCalleeInfo getAbstractInfo() const {
177 if (isVirtual())
Peter Collingbourneea211002018-02-05 23:09:13 +0000178 return VirtualInfo.MD;
Akira Hatanakac1d29272019-10-30 17:51:45 -0700179 assert(isOrdinary());
180 return AbstractInfo;
181 }
182 llvm::Value *getFunctionPointer() const {
183 assert(isOrdinary());
184 return reinterpret_cast<llvm::Value *>(uintptr_t(KindOrFunctionPointer));
185 }
186 void setFunctionPointer(llvm::Value *functionPtr) {
187 assert(isOrdinary());
188 KindOrFunctionPointer = SpecialKind(uintptr_t(functionPtr));
189 }
John McCall9831b842018-02-06 18:52:44 +0000190
Akira Hatanakac1d29272019-10-30 17:51:45 -0700191 bool isVirtual() const {
192 return KindOrFunctionPointer == SpecialKind::Virtual;
193 }
194 const CallExpr *getVirtualCallExpr() const {
195 assert(isVirtual());
196 return VirtualInfo.CE;
197 }
198 GlobalDecl getVirtualMethodDecl() const {
199 assert(isVirtual());
200 return VirtualInfo.MD;
201 }
202 Address getThisAddress() const {
203 assert(isVirtual());
204 return VirtualInfo.Addr;
205 }
206 llvm::FunctionType *getVirtualFunctionType() const {
207 assert(isVirtual());
208 return VirtualInfo.FTy;
209 }
210
211 /// If this is a delayed callee computation of some sort, prepare
212 /// a concrete callee.
213 CGCallee prepareConcreteCallee(CodeGenFunction &CGF) const;
214};
215
216struct CallArg {
217private:
218 union {
219 RValue RV;
220 LValue LV; /// The argument is semantically a load from this l-value.
221 };
222 bool HasLV;
223
224 /// A data-flow flag to make sure getRValue and/or copyInto are not
225 /// called twice for duplicated IR emission.
226 mutable bool IsUsed;
227
228public:
229 QualType Ty;
230 CallArg(RValue rv, QualType ty)
231 : RV(rv), HasLV(false), IsUsed(false), Ty(ty) {}
232 CallArg(LValue lv, QualType ty)
233 : LV(lv), HasLV(true), IsUsed(false), Ty(ty) {}
234 bool hasLValue() const { return HasLV; }
235 QualType getType() const { return Ty; }
236
237 /// \returns an independent RValue. If the CallArg contains an LValue,
238 /// a temporary copy is returned.
239 RValue getRValue(CodeGenFunction &CGF) const;
240
241 LValue getKnownLValue() const {
242 assert(HasLV && !IsUsed);
243 return LV;
244 }
245 RValue getKnownRValue() const {
246 assert(!HasLV && !IsUsed);
247 return RV;
248 }
249 void setRValue(RValue _RV) {
250 assert(!HasLV);
251 RV = _RV;
252 }
253
254 bool isAggregate() const { return HasLV || RV.isAggregate(); }
255
256 void copyInto(CodeGenFunction &CGF, Address A) const;
257};
258
259/// CallArgList - Type for representing both the value and type of
260/// arguments in a call.
261class CallArgList : public SmallVector<CallArg, 8> {
262public:
263 CallArgList() : StackBase(nullptr) {}
264
265 struct Writeback {
266 /// The original argument. Note that the argument l-value
267 /// is potentially null.
268 LValue Source;
269
270 /// The temporary alloca.
271 Address Temporary;
272
273 /// A value to "use" after the writeback, or null.
274 llvm::Value *ToUse;
John McCallb92ab1a2016-10-26 23:46:34 +0000275 };
276
Akira Hatanakac1d29272019-10-30 17:51:45 -0700277 struct CallArgCleanup {
278 EHScopeStack::stable_iterator Cleanup;
Yaxun Liu5b330e82018-03-15 15:25:19 +0000279
Akira Hatanakac1d29272019-10-30 17:51:45 -0700280 /// The "is active" insertion point. This instruction is temporary and
281 /// will be removed after insertion.
282 llvm::Instruction *IsActiveIP;
Eli Friedmanf4258eb2011-05-02 18:05:27 +0000283 };
284
Akira Hatanakac1d29272019-10-30 17:51:45 -0700285 void add(RValue rvalue, QualType type) { push_back(CallArg(rvalue, type)); }
Reid Kleckner314ef7b2014-02-01 00:04:45 +0000286
Akira Hatanakac1d29272019-10-30 17:51:45 -0700287 void addUncopiedAggregate(LValue LV, QualType type) {
288 push_back(CallArg(LV, type));
289 }
John McCall31168b02011-06-15 23:02:42 +0000290
Akira Hatanakac1d29272019-10-30 17:51:45 -0700291 /// Add all the arguments from another CallArgList to this one. After doing
292 /// this, the old CallArgList retains its list of arguments, but must not
293 /// be used to emit a call.
294 void addFrom(const CallArgList &other) {
295 insert(end(), other.begin(), other.end());
296 Writebacks.insert(Writebacks.end(), other.Writebacks.begin(),
297 other.Writebacks.end());
298 CleanupsToDeactivate.insert(CleanupsToDeactivate.end(),
299 other.CleanupsToDeactivate.begin(),
300 other.CleanupsToDeactivate.end());
301 assert(!(StackBase && other.StackBase) && "can't merge stackbases");
302 if (!StackBase)
303 StackBase = other.StackBase;
304 }
John McCalleff18842013-03-23 02:35:54 +0000305
Akira Hatanakac1d29272019-10-30 17:51:45 -0700306 void addWriteback(LValue srcLV, Address temporary, llvm::Value *toUse) {
307 Writeback writeback = {srcLV, temporary, toUse};
308 Writebacks.push_back(writeback);
309 }
John McCall31168b02011-06-15 23:02:42 +0000310
Akira Hatanakac1d29272019-10-30 17:51:45 -0700311 bool hasWritebacks() const { return !Writebacks.empty(); }
Reid Kleckner23f4c4b2013-06-21 12:45:15 +0000312
Akira Hatanakac1d29272019-10-30 17:51:45 -0700313 typedef llvm::iterator_range<SmallVectorImpl<Writeback>::const_iterator>
Aaron Ballman36a7fa82014-03-17 17:22:27 +0000314 writeback_const_range;
315
Akira Hatanakac1d29272019-10-30 17:51:45 -0700316 writeback_const_range writebacks() const {
317 return writeback_const_range(Writebacks.begin(), Writebacks.end());
318 }
John McCall31168b02011-06-15 23:02:42 +0000319
Akira Hatanakac1d29272019-10-30 17:51:45 -0700320 void addArgCleanupDeactivation(EHScopeStack::stable_iterator Cleanup,
321 llvm::Instruction *IsActiveIP) {
322 CallArgCleanup ArgCleanup;
323 ArgCleanup.Cleanup = Cleanup;
324 ArgCleanup.IsActiveIP = IsActiveIP;
325 CleanupsToDeactivate.push_back(ArgCleanup);
326 }
Reid Kleckner23f4c4b2013-06-21 12:45:15 +0000327
Akira Hatanakac1d29272019-10-30 17:51:45 -0700328 ArrayRef<CallArgCleanup> getCleanupsToDeactivate() const {
329 return CleanupsToDeactivate;
330 }
Reid Kleckner23f4c4b2013-06-21 12:45:15 +0000331
Akira Hatanakac1d29272019-10-30 17:51:45 -0700332 void allocateArgumentMemory(CodeGenFunction &CGF);
333 llvm::Instruction *getStackBase() const { return StackBase; }
334 void freeArgumentMemory(CodeGenFunction &CGF) const;
Reid Kleckner314ef7b2014-02-01 00:04:45 +0000335
Akira Hatanakac1d29272019-10-30 17:51:45 -0700336 /// Returns if we're using an inalloca struct to pass arguments in
337 /// memory.
338 bool isUsingInAlloca() const { return StackBase; }
Reid Kleckner314ef7b2014-02-01 00:04:45 +0000339
Akira Hatanakac1d29272019-10-30 17:51:45 -0700340private:
341 SmallVector<Writeback, 1> Writebacks;
Reid Kleckner23f4c4b2013-06-21 12:45:15 +0000342
Akira Hatanakac1d29272019-10-30 17:51:45 -0700343 /// Deactivate these cleanups immediately before making the call. This
344 /// is used to cleanup objects that are owned by the callee once the call
345 /// occurs.
346 SmallVector<CallArgCleanup, 1> CleanupsToDeactivate;
Reid Kleckner314ef7b2014-02-01 00:04:45 +0000347
Akira Hatanakac1d29272019-10-30 17:51:45 -0700348 /// The stacksave call. It dominates all of the argument evaluation.
349 llvm::CallInst *StackBase;
350};
351
352/// FunctionArgList - Type for representing both the decl and type
353/// of parameters to a function. The decl must be either a
354/// ParmVarDecl or ImplicitParamDecl.
355class FunctionArgList : public SmallVector<const VarDecl *, 16> {};
356
357/// ReturnValueSlot - Contains the address where the return value of a
358/// function can be stored, and whether the address is volatile or not.
359class ReturnValueSlot {
360 llvm::PointerIntPair<llvm::Value *, 2, unsigned int> Value;
361 CharUnits Alignment;
362
363 // Return value slot flags
364 enum Flags {
365 IS_VOLATILE = 0x1,
366 IS_UNUSED = 0x2,
John McCalla738c252011-03-09 04:27:21 +0000367 };
Daniel Dunbar3d7c90b2008-09-08 21:33:45 +0000368
Akira Hatanakac1d29272019-10-30 17:51:45 -0700369public:
370 ReturnValueSlot() {}
371 ReturnValueSlot(Address Addr, bool IsVolatile, bool IsUnused = false)
John McCall7f416cc2015-09-08 08:05:57 +0000372 : Value(Addr.isValid() ? Addr.getPointer() : nullptr,
373 (IsVolatile ? IS_VOLATILE : 0) | (IsUnused ? IS_UNUSED : 0)),
374 Alignment(Addr.isValid() ? Addr.getAlignment() : CharUnits::Zero()) {}
Anders Carlsson0435ed52009-12-24 19:08:58 +0000375
Akira Hatanakac1d29272019-10-30 17:51:45 -0700376 bool isNull() const { return !getValue().isValid(); }
Leny Kholodov6aab1112015-06-08 10:23:49 +0000377
Akira Hatanakac1d29272019-10-30 17:51:45 -0700378 bool isVolatile() const { return Value.getInt() & IS_VOLATILE; }
379 Address getValue() const { return Address(Value.getPointer(), Alignment); }
380 bool isUnused() const { return Value.getInt() & IS_UNUSED; }
381};
Fangrui Song6907ce22018-07-30 19:24:48 +0000382
Akira Hatanakac1d29272019-10-30 17:51:45 -0700383} // end namespace CodeGen
384} // end namespace clang
Daniel Dunbar3d7c90b2008-09-08 21:33:45 +0000385
386#endif