LLVM 23.0.0git
RISCVMachineFunctionInfo.h
Go to the documentation of this file.
1//=- RISCVMachineFunctionInfo.h - RISC-V machine function info ----*- 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// This file declares RISCV-specific per-machine-function information.
10//
11//===----------------------------------------------------------------------===//
12
13#ifndef LLVM_LIB_TARGET_RISCV_RISCVMACHINEFUNCTIONINFO_H
14#define LLVM_LIB_TARGET_RISCV_RISCVMACHINEFUNCTIONINFO_H
15
16#include "RISCVSubtarget.h"
17#include "llvm/ADT/DenseMap.h"
21
22namespace llvm {
23
25
26namespace yaml {
37
39 static void mapping(IO &YamlIO, RISCVMachineFunctionInfo &MFI) {
40 YamlIO.mapOptional("varArgsFrameIndex", MFI.VarArgsFrameIndex);
41 YamlIO.mapOptional("varArgsSaveSize", MFI.VarArgsSaveSize);
42 }
43};
44} // end namespace yaml
45
46/// RISCVMachineFunctionInfo - This class is derived from MachineFunctionInfo
47/// and contains private RISCV-specific information for each MachineFunction.
49private:
50 /// FrameIndex for start of varargs area
51 int VarArgsFrameIndex = 0;
52 /// Size of the save area used for varargs
53 int VarArgsSaveSize = 0;
54 /// FrameIndex used for transferring values between 64-bit FPRs and a pair
55 /// of 32-bit GPRs via the stack.
56 int MoveF64FrameIndex = -1;
57 /// FrameIndex of the spill slot for the scratch register in BranchRelaxation.
58 int BranchRelaxationScratchFrameIndex = -1;
59 /// Size of any opaque stack adjustment due to save/restore libcalls.
60 unsigned LibCallStackSize = 0;
61 /// Size of RVV stack.
62 uint64_t RVVStackSize = 0;
63 /// Alignment of RVV stack.
64 Align RVVStackAlign;
65 /// Padding required to keep RVV stack aligned within the main stack.
66 uint64_t RVVPadding = 0;
67 /// Size of stack frame to save callee saved registers
68 unsigned CalleeSavedStackSize = 0;
69
70 /// Incoming indirect argument pointers saved as virtual registers, keyed by
71 /// formal parameter index. Used for musttail forwarding of indirect args.
72 /// Virtual registers (not SDValues) are used because the SelectionDAG is
73 /// cleared between basic blocks, and musttail calls may be in non-entry
74 /// blocks.
75 DenseMap<unsigned, Register> IncomingIndirectArgs;
76
77 /// Is there any vector argument or return?
78 bool IsVectorCall = false;
79
80 /// Registers that have been sign extended from i32.
81 SmallVector<Register, 8> SExt32Registers;
82
83 /// Size of stack frame for Zcmp PUSH/POP
84 unsigned RVPushStackSize = 0;
85 unsigned RVPushRegs = 0;
86
87 /// Size of any opaque stack adjustment due to QCI Interrupt instructions.
88 unsigned QCIInterruptStackSize = 0;
89
90 /// Store Frame Indexes for Interrupt-Related CSR Spills.
91 SmallVector<int, 2> InterruptCSRFrameIndexes;
92
93 int64_t StackProbeSize = 0;
94
95 /// Does it probe the stack for a dynamic allocation?
96 bool HasDynamicAllocation = false;
97
98 /// Whether the function has cf-protection-branch module flag set.
99 bool CFProtectionBranch = false;
100
101public:
103
107 const override;
108
109 int getVarArgsFrameIndex() const { return VarArgsFrameIndex; }
110 void setVarArgsFrameIndex(int Index) { VarArgsFrameIndex = Index; }
111
112 unsigned getVarArgsSaveSize() const { return VarArgsSaveSize; }
113 void setVarArgsSaveSize(int Size) { VarArgsSaveSize = Size; }
114
116 if (MoveF64FrameIndex == -1)
117 MoveF64FrameIndex =
118 MF.getFrameInfo().CreateStackObject(8, Align(8), false);
119 return MoveF64FrameIndex;
120 }
121
123 return BranchRelaxationScratchFrameIndex;
124 }
126 BranchRelaxationScratchFrameIndex = Index;
127 }
128
129 unsigned getReservedSpillsSize() const {
130 return LibCallStackSize + RVPushStackSize + QCIInterruptStackSize;
131 }
132
133 unsigned getLibCallStackSize() const { return LibCallStackSize; }
134 void setLibCallStackSize(unsigned Size) { LibCallStackSize = Size; }
135
137 // We cannot use fixed locations for the callee saved spill slots if the
138 // function uses a varargs save area, or is an interrupt handler.
139 return !isPushable(MF) &&
140 MF.getSubtarget<RISCVSubtarget>().enableSaveRestore() &&
141 VarArgsSaveSize == 0 && !MF.getFrameInfo().hasTailCall() &&
142 !MF.getFunction().hasFnAttribute("interrupt");
143 }
144
145 uint64_t getRVVStackSize() const { return RVVStackSize; }
146 void setRVVStackSize(uint64_t Size) { RVVStackSize = Size; }
147
148 Align getRVVStackAlign() const { return RVVStackAlign; }
149 void setRVVStackAlign(Align StackAlign) { RVVStackAlign = StackAlign; }
150
151 uint64_t getRVVPadding() const { return RVVPadding; }
152 void setRVVPadding(uint64_t Padding) { RVVPadding = Padding; }
153
154 unsigned getCalleeSavedStackSize() const { return CalleeSavedStackSize; }
155 void setCalleeSavedStackSize(unsigned Size) { CalleeSavedStackSize = Size; }
156
157 void setIncomingIndirectArg(unsigned ArgIndex, Register Reg) {
158 IncomingIndirectArgs[ArgIndex] = Reg;
159 }
160 Register getIncomingIndirectArg(unsigned ArgIndex) const {
161 auto It = IncomingIndirectArgs.find(ArgIndex);
162 assert(It != IncomingIndirectArgs.end() && "No incoming indirect arg");
163 return It->second;
164 }
165
167
169
170 bool isPushable(const MachineFunction &MF) const {
171 return getPushPopKind(MF) != PushPopKind::None;
172 }
173
174 unsigned getRVPushRegs() const { return RVPushRegs; }
175 void setRVPushRegs(unsigned Regs) { RVPushRegs = Regs; }
176
177 unsigned getRVPushStackSize() const { return RVPushStackSize; }
178 void setRVPushStackSize(unsigned Size) { RVPushStackSize = Size; }
179
188
190
191 bool useQCIInterrupt(const MachineFunction &MF) const {
193 return Kind == InterruptStackKind::QCINest ||
195 }
196
197 unsigned getQCIInterruptStackSize() const { return QCIInterruptStackSize; }
198 void setQCIInterruptStackSize(unsigned Size) { QCIInterruptStackSize = Size; }
199
206
212
218
220 InterruptCSRFrameIndexes.push_back(FI);
221 }
222 int getInterruptCSRFrameIndex(size_t Idx) const {
223 return InterruptCSRFrameIndexes[Idx];
224 }
225
226 // Some Stack Management Variants automatically update FP in a frame-pointer
227 // convention compatible way - which means we don't need to manually update
228 // the FP, but we still need to emit the correct CFI information for
229 // calculating the CFA based on FP.
230 bool hasImplicitFPUpdates(const MachineFunction &MF) const;
231
233
235 bool isSExt32Register(Register Reg) const;
236
237 bool isVectorCall() const { return IsVectorCall; }
238 void setIsVectorCall() { IsVectorCall = true; }
239
240 bool hasDynamicAllocation() const { return HasDynamicAllocation; }
241 void setDynamicAllocation() { HasDynamicAllocation = true; }
242
243 bool hasCFProtectionBranch() const { return CFProtectionBranch; }
244};
245
246} // end namespace llvm
247
248#endif // LLVM_LIB_TARGET_RISCV_RISCVMACHINEFUNCTIONINFO_H
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
This file defines the DenseMap class.
#define F(x, y, z)
Definition MD5.cpp:54
Register Reg
Basic Register Allocator
bool hasFnAttribute(Attribute::AttrKind Kind) const
Return true if the function has the attribute.
Definition Function.cpp:728
LLVM_ABI int CreateStackObject(uint64_t Size, Align Alignment, bool isSpillSlot, const AllocaInst *Alloca=nullptr, uint8_t ID=0)
Create a new statically sized stack object, returning a nonnegative identifier to represent it.
bool hasTailCall() const
Returns true if the function contains a tail call.
const TargetSubtargetInfo & getSubtarget() const
getSubtarget - Return the subtarget for which this machine code is being compiled.
MachineFrameInfo & getFrameInfo()
getFrameInfo - Return the frame info object for the current function.
Function & getFunction()
Return the LLVM function that this machine code represents.
RISCVMachineFunctionInfo - This class is derived from MachineFunctionInfo and contains private RISCV-...
bool hasImplicitFPUpdates(const MachineFunction &MF) const
bool isPushable(const MachineFunction &MF) const
void initializeBaseYamlFields(const yaml::RISCVMachineFunctionInfo &YamlMFI)
void setIncomingIndirectArg(unsigned ArgIndex, Register Reg)
InterruptStackKind getInterruptStackKind(const MachineFunction &MF) const
bool useSiFiveInterrupt(const MachineFunction &MF) const
bool isSiFivePreemptibleInterrupt(const MachineFunction &MF) const
MachineFunctionInfo * clone(BumpPtrAllocator &Allocator, MachineFunction &DestMF, const DenseMap< MachineBasicBlock *, MachineBasicBlock * > &Src2DstMBB) const override
Make a functionally equivalent copy of this MachineFunctionInfo in MF.
PushPopKind getPushPopKind(const MachineFunction &MF) const
RISCVMachineFunctionInfo(const Function &F, const RISCVSubtarget *STI)
bool useSaveRestoreLibCalls(const MachineFunction &MF) const
Register getIncomingIndirectArg(unsigned ArgIndex) const
int getMoveF64FrameIndex(MachineFunction &MF)
bool useQCIInterrupt(const MachineFunction &MF) const
bool isSiFiveStackSwapInterrupt(const MachineFunction &MF) const
int getInterruptCSRFrameIndex(size_t Idx) const
Wrapper class representing virtual and physical registers.
Definition Register.h:20
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
void mapOptional(StringRef Key, T &Val)
Definition YAMLTraits.h:800
This is an optimization pass for GlobalISel generic memory operations.
BumpPtrAllocatorImpl<> BumpPtrAllocator
The standard BumpPtrAllocator which just uses the default template parameters.
Definition Allocator.h:383
This struct is a compact representation of a valid (non-zero power of two) alignment.
Definition Alignment.h:39
MachineFunctionInfo - This class can be derived from and used by targets to hold private target-speci...
Targets should override this in a way that mirrors the implementation of llvm::MachineFunctionInfo.
static void mapping(IO &YamlIO, RISCVMachineFunctionInfo &MFI)
This class should be specialized by any type that needs to be converted to/from a YAML mapping.
Definition YAMLTraits.h:63
void mappingImpl(yaml::IO &YamlIO) override
~RISCVMachineFunctionInfo() override=default