blob: cc11ded704abbfe7286858f2f6a9d7d856c99802 [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;
Daniel Dunbar3d7c90b2008-09-08 21:33:45 +000032}
33
34namespace clang {
35 class ASTContext;
36 class Decl;
37 class FunctionDecl;
38 class ObjCMethodDecl;
Daniel Dunbarbc915f42008-09-09 23:14:03 +000039 class 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; }
John McCallb92ab1a2016-10-26 23:46:34 +000063 };
64
65 /// All available information about a concrete callee.
66 class CGCallee {
67 enum class SpecialKind : uintptr_t {
68 Invalid,
69 Builtin,
70 PseudoDestructor,
Peter Collingbourneea211002018-02-05 23:09:13 +000071 Virtual,
John McCallb92ab1a2016-10-26 23:46:34 +000072
Peter Collingbourneea211002018-02-05 23:09:13 +000073 Last = Virtual
John McCallb92ab1a2016-10-26 23:46:34 +000074 };
75
John McCallaaae3022016-11-07 21:13:27 +000076 struct BuiltinInfoStorage {
77 const FunctionDecl *Decl;
78 unsigned ID;
79 };
80 struct PseudoDestructorInfoStorage {
81 const CXXPseudoDestructorExpr *Expr;
82 };
Peter Collingbourneea211002018-02-05 23:09:13 +000083 struct VirtualInfoStorage {
84 const CallExpr *CE;
85 GlobalDecl MD;
86 Address Addr;
87 llvm::FunctionType *FTy;
88 };
John McCallaaae3022016-11-07 21:13:27 +000089
John McCallb92ab1a2016-10-26 23:46:34 +000090 SpecialKind KindOrFunctionPointer;
91 union {
92 CGCalleeInfo AbstractInfo;
John McCallaaae3022016-11-07 21:13:27 +000093 BuiltinInfoStorage BuiltinInfo;
94 PseudoDestructorInfoStorage PseudoDestructorInfo;
Peter Collingbourneea211002018-02-05 23:09:13 +000095 VirtualInfoStorage VirtualInfo;
John McCallb92ab1a2016-10-26 23:46:34 +000096 };
97
98 explicit CGCallee(SpecialKind kind) : KindOrFunctionPointer(kind) {}
99
100 CGCallee(const FunctionDecl *builtinDecl, unsigned builtinID)
101 : KindOrFunctionPointer(SpecialKind::Builtin) {
102 BuiltinInfo.Decl = builtinDecl;
103 BuiltinInfo.ID = builtinID;
104 }
105
106 public:
107 CGCallee() : KindOrFunctionPointer(SpecialKind::Invalid) {}
108
109 /// 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 }
118
119 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 }
126
127 static CGCallee forPseudoDestructor(const CXXPseudoDestructorExpr *E) {
128 CGCallee result(SpecialKind::PseudoDestructor);
129 result.PseudoDestructorInfo.Expr = E;
130 return result;
131 }
132
133 static CGCallee forDirect(llvm::Constant *functionPtr,
134 const CGCalleeInfo &abstractInfo = CGCalleeInfo()) {
135 return CGCallee(abstractInfo, functionPtr);
136 }
137
James Y Knight9871db02019-02-05 16:42:33 +0000138 static CGCallee
139 forDirect(llvm::FunctionCallee functionPtr,
140 const CGCalleeInfo &abstractInfo = CGCalleeInfo()) {
141 return CGCallee(abstractInfo, functionPtr.getCallee());
142 }
143
Peter Collingbourneea211002018-02-05 23:09:13 +0000144 static CGCallee forVirtual(const CallExpr *CE, GlobalDecl MD, Address Addr,
145 llvm::FunctionType *FTy) {
146 CGCallee result(SpecialKind::Virtual);
147 result.VirtualInfo.CE = CE;
148 result.VirtualInfo.MD = MD;
149 result.VirtualInfo.Addr = Addr;
150 result.VirtualInfo.FTy = FTy;
151 return result;
152 }
153
John McCallb92ab1a2016-10-26 23:46:34 +0000154 bool isBuiltin() const {
155 return KindOrFunctionPointer == SpecialKind::Builtin;
156 }
157 const FunctionDecl *getBuiltinDecl() const {
158 assert(isBuiltin());
159 return BuiltinInfo.Decl;
160 }
161 unsigned getBuiltinID() const {
162 assert(isBuiltin());
163 return BuiltinInfo.ID;
164 }
165
166 bool isPseudoDestructor() const {
167 return KindOrFunctionPointer == SpecialKind::PseudoDestructor;
168 }
169 const CXXPseudoDestructorExpr *getPseudoDestructorExpr() const {
170 assert(isPseudoDestructor());
171 return PseudoDestructorInfo.Expr;
172 }
173
174 bool isOrdinary() const {
175 return uintptr_t(KindOrFunctionPointer) > uintptr_t(SpecialKind::Last);
176 }
Peter Collingbourneea211002018-02-05 23:09:13 +0000177 CGCalleeInfo getAbstractInfo() const {
178 if (isVirtual())
Erich Keanede6480a32018-11-13 15:48:08 +0000179 return VirtualInfo.MD;
John McCallb92ab1a2016-10-26 23:46:34 +0000180 assert(isOrdinary());
181 return AbstractInfo;
182 }
183 llvm::Value *getFunctionPointer() const {
184 assert(isOrdinary());
185 return reinterpret_cast<llvm::Value*>(uintptr_t(KindOrFunctionPointer));
186 }
John McCallb92ab1a2016-10-26 23:46:34 +0000187 void setFunctionPointer(llvm::Value *functionPtr) {
188 assert(isOrdinary());
189 KindOrFunctionPointer = SpecialKind(uintptr_t(functionPtr));
190 }
Peter Collingbourneea211002018-02-05 23:09:13 +0000191
192 bool isVirtual() const {
193 return KindOrFunctionPointer == SpecialKind::Virtual;
194 }
195 const CallExpr *getVirtualCallExpr() const {
196 assert(isVirtual());
197 return VirtualInfo.CE;
198 }
199 GlobalDecl getVirtualMethodDecl() const {
200 assert(isVirtual());
201 return VirtualInfo.MD;
202 }
203 Address getThisAddress() const {
204 assert(isVirtual());
205 return VirtualInfo.Addr;
206 }
James Y Knightcfe8cd72019-02-07 01:15:41 +0000207 llvm::FunctionType *getVirtualFunctionType() const {
208 assert(isVirtual());
209 return VirtualInfo.FTy;
Peter Collingbourneea211002018-02-05 23:09:13 +0000210 }
John McCall9831b842018-02-06 18:52:44 +0000211
212 /// If this is a delayed callee computation of some sort, prepare
213 /// a concrete callee.
214 CGCallee prepareConcreteCallee(CodeGenFunction &CGF) const;
John McCallb92ab1a2016-10-26 23:46:34 +0000215 };
216
Eli Friedmanf4258eb2011-05-02 18:05:27 +0000217 struct CallArg {
Yaxun Liu5b330e82018-03-15 15:25:19 +0000218 private:
219 union {
220 RValue RV;
221 LValue LV; /// The argument is semantically a load from this l-value.
222 };
223 bool HasLV;
224
225 /// A data-flow flag to make sure getRValue and/or copyInto are not
226 /// called twice for duplicated IR emission.
227 mutable bool IsUsed;
228
229 public:
Eli Friedmanf4258eb2011-05-02 18:05:27 +0000230 QualType Ty;
Yaxun Liu5b330e82018-03-15 15:25:19 +0000231 CallArg(RValue rv, QualType ty)
232 : RV(rv), HasLV(false), IsUsed(false), Ty(ty) {}
233 CallArg(LValue lv, QualType ty)
234 : LV(lv), HasLV(true), IsUsed(false), Ty(ty) {}
235 bool hasLValue() const { return HasLV; }
236 QualType getType() const { return Ty; }
237
238 /// \returns an independent RValue. If the CallArg contains an LValue,
239 /// a temporary copy is returned.
240 RValue getRValue(CodeGenFunction &CGF) const;
241
242 LValue getKnownLValue() const {
243 assert(HasLV && !IsUsed);
244 return LV;
245 }
246 RValue getKnownRValue() const {
247 assert(!HasLV && !IsUsed);
248 return RV;
249 }
250 void setRValue(RValue _RV) {
251 assert(!HasLV);
252 RV = _RV;
253 }
254
255 bool isAggregate() const { return HasLV || RV.isAggregate(); }
256
257 void copyInto(CodeGenFunction &CGF, Address A) const;
Eli Friedmanf4258eb2011-05-02 18:05:27 +0000258 };
259
Daniel Dunbar3d7c90b2008-09-08 21:33:45 +0000260 /// CallArgList - Type for representing both the value and type of
261 /// arguments in a call.
John McCalla738c252011-03-09 04:27:21 +0000262 class CallArgList :
Yaxun Liud9389822018-03-14 15:02:28 +0000263 public SmallVector<CallArg, 8> {
John McCall32ea9692011-03-11 20:59:21 +0000264 public:
Reid Kleckner7c2f9e82015-10-08 00:17:45 +0000265 CallArgList() : StackBase(nullptr) {}
Reid Kleckner314ef7b2014-02-01 00:04:45 +0000266
John McCall31168b02011-06-15 23:02:42 +0000267 struct Writeback {
John McCalleff18842013-03-23 02:35:54 +0000268 /// The original argument. Note that the argument l-value
269 /// is potentially null.
270 LValue Source;
John McCall31168b02011-06-15 23:02:42 +0000271
272 /// The temporary alloca.
John McCall7f416cc2015-09-08 08:05:57 +0000273 Address Temporary;
John McCalleff18842013-03-23 02:35:54 +0000274
275 /// A value to "use" after the writeback, or null.
276 llvm::Value *ToUse;
John McCall31168b02011-06-15 23:02:42 +0000277 };
278
Reid Kleckner23f4c4b2013-06-21 12:45:15 +0000279 struct CallArgCleanup {
280 EHScopeStack::stable_iterator Cleanup;
281
282 /// The "is active" insertion point. This instruction is temporary and
283 /// will be removed after insertion.
284 llvm::Instruction *IsActiveIP;
285 };
286
Yaxun Liu5b330e82018-03-15 15:25:19 +0000287 void add(RValue rvalue, QualType type) { push_back(CallArg(rvalue, type)); }
288
289 void addUncopiedAggregate(LValue LV, QualType type) {
290 push_back(CallArg(LV, type));
John McCall32ea9692011-03-11 20:59:21 +0000291 }
John McCall31168b02011-06-15 23:02:42 +0000292
Richard Smith762672a2016-09-28 19:09:10 +0000293 /// Add all the arguments from another CallArgList to this one. After doing
294 /// this, the old CallArgList retains its list of arguments, but must not
295 /// be used to emit a call.
John McCall31168b02011-06-15 23:02:42 +0000296 void addFrom(const CallArgList &other) {
297 insert(end(), other.begin(), other.end());
298 Writebacks.insert(Writebacks.end(),
299 other.Writebacks.begin(), other.Writebacks.end());
Richard Smith762672a2016-09-28 19:09:10 +0000300 CleanupsToDeactivate.insert(CleanupsToDeactivate.end(),
301 other.CleanupsToDeactivate.begin(),
302 other.CleanupsToDeactivate.end());
303 assert(!(StackBase && other.StackBase) && "can't merge stackbases");
304 if (!StackBase)
305 StackBase = other.StackBase;
John McCall31168b02011-06-15 23:02:42 +0000306 }
307
John McCall7f416cc2015-09-08 08:05:57 +0000308 void addWriteback(LValue srcLV, Address temporary,
John McCalleff18842013-03-23 02:35:54 +0000309 llvm::Value *toUse) {
John McCall7f416cc2015-09-08 08:05:57 +0000310 Writeback writeback = { srcLV, temporary, toUse };
John McCall31168b02011-06-15 23:02:42 +0000311 Writebacks.push_back(writeback);
312 }
313
314 bool hasWritebacks() const { return !Writebacks.empty(); }
315
Aaron Ballman36a7fa82014-03-17 17:22:27 +0000316 typedef llvm::iterator_range<SmallVectorImpl<Writeback>::const_iterator>
317 writeback_const_range;
318
319 writeback_const_range writebacks() const {
320 return writeback_const_range(Writebacks.begin(), Writebacks.end());
321 }
John McCall31168b02011-06-15 23:02:42 +0000322
Reid Kleckner23f4c4b2013-06-21 12:45:15 +0000323 void addArgCleanupDeactivation(EHScopeStack::stable_iterator Cleanup,
324 llvm::Instruction *IsActiveIP) {
325 CallArgCleanup ArgCleanup;
326 ArgCleanup.Cleanup = Cleanup;
327 ArgCleanup.IsActiveIP = IsActiveIP;
328 CleanupsToDeactivate.push_back(ArgCleanup);
329 }
330
331 ArrayRef<CallArgCleanup> getCleanupsToDeactivate() const {
332 return CleanupsToDeactivate;
333 }
334
Reid Kleckner314ef7b2014-02-01 00:04:45 +0000335 void allocateArgumentMemory(CodeGenFunction &CGF);
336 llvm::Instruction *getStackBase() const { return StackBase; }
Nico Weber8cdb3f92015-08-25 18:43:32 +0000337 void freeArgumentMemory(CodeGenFunction &CGF) const;
Reid Kleckner314ef7b2014-02-01 00:04:45 +0000338
Adrian Prantl9fc8faf2018-05-09 01:00:01 +0000339 /// Returns if we're using an inalloca struct to pass arguments in
Reid Kleckner314ef7b2014-02-01 00:04:45 +0000340 /// memory.
341 bool isUsingInAlloca() const { return StackBase; }
342
John McCall31168b02011-06-15 23:02:42 +0000343 private:
Chris Lattner01cf8db2011-07-20 06:58:45 +0000344 SmallVector<Writeback, 1> Writebacks;
Reid Kleckner23f4c4b2013-06-21 12:45:15 +0000345
346 /// Deactivate these cleanups immediately before making the call. This
347 /// is used to cleanup objects that are owned by the callee once the call
348 /// occurs.
349 SmallVector<CallArgCleanup, 1> CleanupsToDeactivate;
Reid Kleckner314ef7b2014-02-01 00:04:45 +0000350
351 /// The stacksave call. It dominates all of the argument evaluation.
352 llvm::CallInst *StackBase;
John McCalla738c252011-03-09 04:27:21 +0000353 };
Daniel Dunbar3d7c90b2008-09-08 21:33:45 +0000354
Daniel Dunbarbc915f42008-09-09 23:14:03 +0000355 /// FunctionArgList - Type for representing both the decl and type
356 /// of parameters to a function. The decl must be either a
357 /// ParmVarDecl or ImplicitParamDecl.
Chris Lattner01cf8db2011-07-20 06:58:45 +0000358 class FunctionArgList : public SmallVector<const VarDecl*, 16> {
John McCalla738c252011-03-09 04:27:21 +0000359 };
Mike Stump11289f42009-09-09 15:08:12 +0000360
Fangrui Song6907ce22018-07-30 19:24:48 +0000361 /// ReturnValueSlot - Contains the address where the return value of a
Anders Carlsson17490832009-12-24 20:40:36 +0000362 /// function can be stored, and whether the address is volatile or not.
Anders Carlsson0435ed52009-12-24 19:08:58 +0000363 class ReturnValueSlot {
Leny Kholodov6aab1112015-06-08 10:23:49 +0000364 llvm::PointerIntPair<llvm::Value *, 2, unsigned int> Value;
John McCall7f416cc2015-09-08 08:05:57 +0000365 CharUnits Alignment;
Leny Kholodov6aab1112015-06-08 10:23:49 +0000366
367 // Return value slot flags
368 enum Flags {
369 IS_VOLATILE = 0x1,
370 IS_UNUSED = 0x2,
371 };
Anders Carlsson0435ed52009-12-24 19:08:58 +0000372
373 public:
374 ReturnValueSlot() {}
John McCall7f416cc2015-09-08 08:05:57 +0000375 ReturnValueSlot(Address Addr, bool IsVolatile, bool IsUnused = false)
376 : Value(Addr.isValid() ? Addr.getPointer() : nullptr,
377 (IsVolatile ? IS_VOLATILE : 0) | (IsUnused ? IS_UNUSED : 0)),
378 Alignment(Addr.isValid() ? Addr.getAlignment() : CharUnits::Zero()) {}
Anders Carlsson0435ed52009-12-24 19:08:58 +0000379
John McCall7f416cc2015-09-08 08:05:57 +0000380 bool isNull() const { return !getValue().isValid(); }
Leny Kholodov6aab1112015-06-08 10:23:49 +0000381
382 bool isVolatile() const { return Value.getInt() & IS_VOLATILE; }
John McCall7f416cc2015-09-08 08:05:57 +0000383 Address getValue() const { return Address(Value.getPointer(), Alignment); }
Leny Kholodov6aab1112015-06-08 10:23:49 +0000384 bool isUnused() const { return Value.getInt() & IS_UNUSED; }
Anders Carlsson0435ed52009-12-24 19:08:58 +0000385 };
Fangrui Song6907ce22018-07-30 19:24:48 +0000386
Daniel Dunbar3d7c90b2008-09-08 21:33:45 +0000387} // end namespace CodeGen
388} // end namespace clang
389
390#endif