]> CyberLeo.Net >> Repos - FreeBSD/FreeBSD.git/blob - contrib/llvm-project/llvm/include/llvm/CodeGen/StackMaps.h
Merge llvm, clang, compiler-rt, libc++, libunwind, lld, lldb and openmp
[FreeBSD/FreeBSD.git] / contrib / llvm-project / llvm / include / llvm / CodeGen / StackMaps.h
1 //===- StackMaps.h - StackMaps ----------------------------------*- C++ -*-===//
2 //
3 // 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
6 //
7 //===----------------------------------------------------------------------===//
8
9 #ifndef LLVM_CODEGEN_STACKMAPS_H
10 #define LLVM_CODEGEN_STACKMAPS_H
11
12 #include "llvm/ADT/MapVector.h"
13 #include "llvm/ADT/SmallVector.h"
14 #include "llvm/CodeGen/MachineInstr.h"
15 #include "llvm/IR/CallingConv.h"
16 #include "llvm/MC/MCSymbol.h"
17 #include "llvm/Support/Debug.h"
18 #include <algorithm>
19 #include <cassert>
20 #include <cstdint>
21 #include <vector>
22
23 namespace llvm {
24
25 class AsmPrinter;
26 class MCExpr;
27 class MCStreamer;
28 class raw_ostream;
29 class TargetRegisterInfo;
30
31 /// MI-level stackmap operands.
32 ///
33 /// MI stackmap operations take the form:
34 /// <id>, <numBytes>, live args...
35 class StackMapOpers {
36 public:
37   /// Enumerate the meta operands.
38   enum { IDPos, NBytesPos };
39
40 private:
41   const MachineInstr* MI;
42
43 public:
44   explicit StackMapOpers(const MachineInstr *MI);
45
46   /// Return the ID for the given stackmap
47   uint64_t getID() const { return MI->getOperand(IDPos).getImm(); }
48
49   /// Return the number of patchable bytes the given stackmap should emit.
50   uint32_t getNumPatchBytes() const {
51     return MI->getOperand(NBytesPos).getImm();
52   }
53
54   /// Get the operand index of the variable list of non-argument operands.
55   /// These hold the "live state".
56   unsigned getVarIdx() const {
57     // Skip ID, nShadowBytes.
58     return 2;
59   }
60 };
61
62 /// MI-level patchpoint operands.
63 ///
64 /// MI patchpoint operations take the form:
65 /// [<def>], <id>, <numBytes>, <target>, <numArgs>, <cc>, ...
66 ///
67 /// IR patchpoint intrinsics do not have the <cc> operand because calling
68 /// convention is part of the subclass data.
69 ///
70 /// SD patchpoint nodes do not have a def operand because it is part of the
71 /// SDValue.
72 ///
73 /// Patchpoints following the anyregcc convention are handled specially. For
74 /// these, the stack map also records the location of the return value and
75 /// arguments.
76 class PatchPointOpers {
77 public:
78   /// Enumerate the meta operands.
79   enum { IDPos, NBytesPos, TargetPos, NArgPos, CCPos, MetaEnd };
80
81 private:
82   const MachineInstr *MI;
83   bool HasDef;
84
85   unsigned getMetaIdx(unsigned Pos = 0) const {
86     assert(Pos < MetaEnd && "Meta operand index out of range.");
87     return (HasDef ? 1 : 0) + Pos;
88   }
89
90   const MachineOperand &getMetaOper(unsigned Pos) const {
91     return MI->getOperand(getMetaIdx(Pos));
92   }
93
94 public:
95   explicit PatchPointOpers(const MachineInstr *MI);
96
97   bool isAnyReg() const { return (getCallingConv() == CallingConv::AnyReg); }
98   bool hasDef() const { return HasDef; }
99
100   /// Return the ID for the given patchpoint.
101   uint64_t getID() const { return getMetaOper(IDPos).getImm(); }
102
103   /// Return the number of patchable bytes the given patchpoint should emit.
104   uint32_t getNumPatchBytes() const {
105     return getMetaOper(NBytesPos).getImm();
106   }
107
108   /// Returns the target of the underlying call.
109   const MachineOperand &getCallTarget() const {
110     return getMetaOper(TargetPos);
111   }
112
113   /// Returns the calling convention
114   CallingConv::ID getCallingConv() const {
115     return getMetaOper(CCPos).getImm();
116   }
117
118   unsigned getArgIdx() const { return getMetaIdx() + MetaEnd; }
119
120   /// Return the number of call arguments
121   uint32_t getNumCallArgs() const {
122     return MI->getOperand(getMetaIdx(NArgPos)).getImm();
123   }
124
125   /// Get the operand index of the variable list of non-argument operands.
126   /// These hold the "live state".
127   unsigned getVarIdx() const {
128     return getMetaIdx() + MetaEnd + getNumCallArgs();
129   }
130
131   /// Get the index at which stack map locations will be recorded.
132   /// Arguments are not recorded unless the anyregcc convention is used.
133   unsigned getStackMapStartIdx() const {
134     if (isAnyReg())
135       return getArgIdx();
136     return getVarIdx();
137   }
138
139   /// Get the next scratch register operand index.
140   unsigned getNextScratchIdx(unsigned StartIdx = 0) const;
141 };
142
143 /// MI-level Statepoint operands
144 ///
145 /// Statepoint operands take the form:
146 ///   <id>, <num patch bytes >, <num call arguments>, <call target>,
147 ///   [call arguments...],
148 ///   <StackMaps::ConstantOp>, <calling convention>,
149 ///   <StackMaps::ConstantOp>, <statepoint flags>,
150 ///   <StackMaps::ConstantOp>, <num deopt args>, [deopt args...],
151 ///   <gc base/derived pairs...> <gc allocas...>
152 /// Note that the last two sets of arguments are not currently length
153 ///   prefixed.
154 class StatepointOpers {
155   // TODO:: we should change the STATEPOINT representation so that CC and
156   // Flags should be part of meta operands, with args and deopt operands, and
157   // gc operands all prefixed by their length and a type code. This would be
158   // much more consistent.
159 public:
160   // These values are aboolute offsets into the operands of the statepoint
161   // instruction.
162   enum { IDPos, NBytesPos, NCallArgsPos, CallTargetPos, MetaEnd };
163
164   // These values are relative offests from the start of the statepoint meta
165   // arguments (i.e. the end of the call arguments).
166   enum { CCOffset = 1, FlagsOffset = 3, NumDeoptOperandsOffset = 5 };
167
168   explicit StatepointOpers(const MachineInstr *MI) : MI(MI) {}
169
170   /// Get starting index of non call related arguments
171   /// (calling convention, statepoint flags, vm state and gc state).
172   unsigned getVarIdx() const {
173     return MI->getOperand(NCallArgsPos).getImm() + MetaEnd;
174   }
175
176   /// Return the ID for the given statepoint.
177   uint64_t getID() const { return MI->getOperand(IDPos).getImm(); }
178
179   /// Return the number of patchable bytes the given statepoint should emit.
180   uint32_t getNumPatchBytes() const {
181     return MI->getOperand(NBytesPos).getImm();
182   }
183
184   /// Returns the target of the underlying call.
185   const MachineOperand &getCallTarget() const {
186     return MI->getOperand(CallTargetPos);
187   }
188
189 private:
190   const MachineInstr *MI;
191 };
192
193 class StackMaps {
194 public:
195   struct Location {
196     enum LocationType {
197       Unprocessed,
198       Register,
199       Direct,
200       Indirect,
201       Constant,
202       ConstantIndex
203     };
204     LocationType Type = Unprocessed;
205     unsigned Size = 0;
206     unsigned Reg = 0;
207     int64_t Offset = 0;
208
209     Location() = default;
210     Location(LocationType Type, unsigned Size, unsigned Reg, int64_t Offset)
211         : Type(Type), Size(Size), Reg(Reg), Offset(Offset) {}
212   };
213
214   struct LiveOutReg {
215     unsigned short Reg = 0;
216     unsigned short DwarfRegNum = 0;
217     unsigned short Size = 0;
218
219     LiveOutReg() = default;
220     LiveOutReg(unsigned short Reg, unsigned short DwarfRegNum,
221                unsigned short Size)
222         : Reg(Reg), DwarfRegNum(DwarfRegNum), Size(Size) {}
223   };
224
225   // OpTypes are used to encode information about the following logical
226   // operand (which may consist of several MachineOperands) for the
227   // OpParser.
228   using OpType = enum { DirectMemRefOp, IndirectMemRefOp, ConstantOp };
229
230   StackMaps(AsmPrinter &AP);
231
232   void reset() {
233     CSInfos.clear();
234     ConstPool.clear();
235     FnInfos.clear();
236   }
237
238   using LocationVec = SmallVector<Location, 8>;
239   using LiveOutVec = SmallVector<LiveOutReg, 8>;
240   using ConstantPool = MapVector<uint64_t, uint64_t>;
241
242   struct FunctionInfo {
243     uint64_t StackSize = 0;
244     uint64_t RecordCount = 1;
245
246     FunctionInfo() = default;
247     explicit FunctionInfo(uint64_t StackSize) : StackSize(StackSize) {}
248   };
249
250   struct CallsiteInfo {
251     const MCExpr *CSOffsetExpr = nullptr;
252     uint64_t ID = 0;
253     LocationVec Locations;
254     LiveOutVec LiveOuts;
255
256     CallsiteInfo() = default;
257     CallsiteInfo(const MCExpr *CSOffsetExpr, uint64_t ID,
258                  LocationVec &&Locations, LiveOutVec &&LiveOuts)
259         : CSOffsetExpr(CSOffsetExpr), ID(ID), Locations(std::move(Locations)),
260           LiveOuts(std::move(LiveOuts)) {}
261   };
262
263   using FnInfoMap = MapVector<const MCSymbol *, FunctionInfo>;
264   using CallsiteInfoList = std::vector<CallsiteInfo>;
265
266   /// Generate a stackmap record for a stackmap instruction.
267   ///
268   /// MI must be a raw STACKMAP, not a PATCHPOINT.
269   void recordStackMap(const MCSymbol &L,
270                       const MachineInstr &MI);
271
272   /// Generate a stackmap record for a patchpoint instruction.
273   void recordPatchPoint(const MCSymbol &L,
274                         const MachineInstr &MI);
275
276   /// Generate a stackmap record for a statepoint instruction.
277   void recordStatepoint(const MCSymbol &L,
278                         const MachineInstr &MI);
279
280   /// If there is any stack map data, create a stack map section and serialize
281   /// the map info into it. This clears the stack map data structures
282   /// afterwards.
283   void serializeToStackMapSection();
284
285   /// Get call site info.
286   CallsiteInfoList &getCSInfos() { return CSInfos; }
287
288   /// Get function info.
289   FnInfoMap &getFnInfos() { return FnInfos; }
290
291 private:
292   static const char *WSMP;
293
294   AsmPrinter &AP;
295   CallsiteInfoList CSInfos;
296   ConstantPool ConstPool;
297   FnInfoMap FnInfos;
298
299   MachineInstr::const_mop_iterator
300   parseOperand(MachineInstr::const_mop_iterator MOI,
301                MachineInstr::const_mop_iterator MOE, LocationVec &Locs,
302                LiveOutVec &LiveOuts) const;
303
304   /// Create a live-out register record for the given register @p Reg.
305   LiveOutReg createLiveOutReg(unsigned Reg,
306                               const TargetRegisterInfo *TRI) const;
307
308   /// Parse the register live-out mask and return a vector of live-out
309   /// registers that need to be recorded in the stackmap.
310   LiveOutVec parseRegisterLiveOutMask(const uint32_t *Mask) const;
311
312   /// Record the locations of the operands of the provided instruction in a
313   /// record keyed by the provided label.  For instructions w/AnyReg calling
314   /// convention the return register is also recorded if requested.  For
315   /// STACKMAP, and PATCHPOINT the label is expected to immediately *preceed*
316   /// lowering of the MI to MCInsts.  For STATEPOINT, it expected to
317   /// immediately *follow*.  It's not clear this difference was intentional,
318   /// but it exists today.  
319   void recordStackMapOpers(const MCSymbol &L,
320                            const MachineInstr &MI, uint64_t ID,
321                            MachineInstr::const_mop_iterator MOI,
322                            MachineInstr::const_mop_iterator MOE,
323                            bool recordResult = false);
324
325   /// Emit the stackmap header.
326   void emitStackmapHeader(MCStreamer &OS);
327
328   /// Emit the function frame record for each function.
329   void emitFunctionFrameRecords(MCStreamer &OS);
330
331   /// Emit the constant pool.
332   void emitConstantPoolEntries(MCStreamer &OS);
333
334   /// Emit the callsite info for each stackmap/patchpoint intrinsic call.
335   void emitCallsiteEntries(MCStreamer &OS);
336
337   void print(raw_ostream &OS);
338   void debug() { print(dbgs()); }
339 };
340
341 } // end namespace llvm
342
343 #endif // LLVM_CODEGEN_STACKMAPS_H