33class CFISaveRegisterEmitter {
39 : MF{MF}, MFI{MF.getFrameInfo()} {};
48 nullptr, RI.getDwarfRegNum(Reg,
true),
Offset));
55class CFIRestoreRegisterEmitter {
75template <
typename Emitter>
76void RISCVFrameLowering::emitCFIForCSI(
85 for (
const auto &CS : CSI)
117 { RISCV::X9, -3}, { RISCV::X18, -4},
118 { RISCV::X19, -5}, { RISCV::X20, -6},
119 { RISCV::X21, -7}, { RISCV::X22, -8},
120 { RISCV::X23, -9}, { RISCV::X24, -10},
121 { RISCV::X25, -11}, { RISCV::X26, -12},
131 STI.hasStdExtZicfiss();
132 bool HasSWShadowStack =
134 if (!HasHWShadowStack && !HasSWShadowStack)
148 if (HasHWShadowStack) {
155 bool IsRV64 = STI.is64Bit();
156 int64_t SlotSize = STI.getXLen() / 8;
173 char DwarfSCSReg =
TRI->getDwarfRegNum(SCSPReg,
true);
174 assert(DwarfSCSReg < 32 &&
"SCS Register should be < 32 (X3).");
176 char Offset =
static_cast<char>(-SlotSize) & 0x7f;
177 const char CFIInst[] = {
178 dwarf::DW_CFA_val_expression,
181 static_cast<char>(
unsigned(dwarf::DW_OP_breg0 + DwarfSCSReg)),
186 nullptr,
StringRef(CFIInst,
sizeof(CFIInst))));
197 STI.hasStdExtZicfiss();
198 bool HasSWShadowStack =
200 if (!HasHWShadowStack && !HasSWShadowStack)
212 if (HasHWShadowStack) {
219 bool IsRV64 = STI.is64Bit();
220 int64_t SlotSize = STI.getXLen() / 8;
236 nullptr, STI.getRegisterInfo()->getDwarfRegNum(SCSPReg,
true)));
247 const std::vector<CalleeSavedInfo> &CSI) {
250 if (CSI.empty() || !RVFI->useSaveRestoreLibCalls(MF))
253 Register MaxReg = RISCV::NoRegister;
258 MaxReg = std::max(MaxReg.
id(), CS.
getReg().
id());
260 if (MaxReg == RISCV::NoRegister)
267 case RISCV::X27:
return 12;
268 case RISCV::X26:
return 11;
269 case RISCV::X25:
return 10;
270 case RISCV::X24:
return 9;
271 case RISCV::X23:
return 8;
272 case RISCV::X22:
return 7;
273 case RISCV::X21:
return 6;
274 case RISCV::X20:
return 5;
275 case RISCV::X19:
return 4;
276 case RISCV::X18:
return 3;
277 case RISCV::X9:
return 2;
278 case FPReg:
return 1;
279 case RAReg:
return 0;
288 const std::vector<CalleeSavedInfo> &CSI) {
289 static const char *
const SpillLibCalls[] = {
308 return SpillLibCalls[LibCallID];
315 const std::vector<CalleeSavedInfo> &CSI) {
316 static const char *
const RestoreLibCalls[] = {
327 "__riscv_restore_10",
328 "__riscv_restore_11",
335 return RestoreLibCalls[LibCallID];
340static std::pair<unsigned, unsigned>
374 const std::vector<CalleeSavedInfo> &CSI) {
375 Register MaxPushPopReg = RISCV::NoRegister;
376 for (
auto &CS : CSI) {
380 MaxPushPopReg = std::max(MaxPushPopReg.
id(), CS.
getReg().
id());
382 assert(MaxPushPopReg != RISCV::X26 &&
"x26 requires x27 to also be pushed");
383 return MaxPushPopReg;
410 TRI->hasStackRealignment(MF);
414void RISCVFrameLowering::determineFrameLayout(
MachineFunction &MF)
const {
425 FrameSize =
alignTo(FrameSize, StackAlign);
435 if (RVFI->getRVVStackSize() && (!
hasFP(MF) ||
TRI->hasStackRealignment(MF))) {
436 int ScalarLocalVarSize = FrameSize - RVFI->getCalleeSavedStackSize() -
437 RVFI->getVarArgsSaveSize();
438 if (
auto RVVPadding =
440 RVFI->setRVVPadding(RVVPadding);
455 const std::vector<CalleeSavedInfo> &CSI) {
459 for (
auto &CS : CSI) {
465 return NonLibcallCSI;
470 const std::vector<CalleeSavedInfo> &CSI) {
474 for (
auto &CS : CSI) {
485 const std::vector<CalleeSavedInfo> &CSI) {
489 if (!RVFI->useSaveRestoreLibCalls(MF) && !RVFI->isPushable(MF))
490 return PushOrLibCallsCSI;
492 for (
const auto &CS : CSI) {
496 PushOrLibCallsCSI.push_back(CS);
499 return PushOrLibCallsCSI;
502void RISCVFrameLowering::allocateAndProbeStackForRVV(
506 assert(Amount != 0 &&
"Did not need to adjust stack pointer for RVV.");
516 TII->mulImm(MF,
MBB,
MBBI,
DL, TargetReg, NumOfVReg, Flag);
552 int FixedOffset,
int ScalableOffset,
554 unsigned DwarfVLenB =
TRI.getDwarfRegNum(RISCV::VLENB,
true);
560 Comment << (FixedOffset < 0 ?
" - " :
" + ") << std::abs(FixedOffset);
573 Comment << (ScalableOffset < 0 ?
" - " :
" + ") << std::abs(ScalableOffset)
581 assert(ScalableOffset != 0 &&
"Did not need to adjust CFA for RVV");
583 std::string CommentBuffer;
586 unsigned DwarfReg =
TRI.getDwarfRegNum(Reg,
true);
599 DefCfaExpr.
push_back(dwarf::DW_CFA_def_cfa_expression);
610 assert(ScalableOffset != 0 &&
"Did not need to adjust CFA for RVV");
612 std::string CommentBuffer;
622 unsigned DwarfReg =
TRI.getDwarfRegNum(Reg,
true);
623 DefCfaExpr.
push_back(dwarf::DW_CFA_expression);
636 uint64_t RealStackSize,
bool EmitCFI,
644 if (!NeedProbe ||
Offset <= ProbeSize) {
661 if (
Offset < ProbeSize * 5) {
664 while (CurrentOffset + ProbeSize <=
Offset) {
675 CurrentOffset += ProbeSize;
775 auto FirstFrameSetup =
MBBI;
783 determineFrameLayout(MF);
809 unsigned LibCallFrameSize =
811 RVFI->setLibCallStackSize(LibCallFrameSize);
819 emitCFIForCSI<CFISaveRegisterEmitter>(
MBB,
MBBI,
826 uint64_t StackSize = RealStackSize - RVFI->getReservedSpillsSize();
827 uint64_t RVVStackSize = RVFI->getRVVStackSize();
830 if (RealStackSize == 0 && !MFI.
adjustsStack() && RVVStackSize == 0)
837 MF.
getFunction(),
"Stack pointer required, but has been reserved."});
841 if (FirstSPAdjustAmount) {
842 StackSize = FirstSPAdjustAmount;
843 RealStackSize = FirstSPAdjustAmount;
846 if (RVFI->isPushable(MF) && FirstFrameSetup !=
MBB.
end() &&
847 FirstFrameSetup->getOpcode() == RISCV::CM_PUSH) {
854 FirstFrameSetup->getOperand(1).setImm(Spimm);
863 emitCFIForCSI<CFISaveRegisterEmitter>(
MBB,
MBBI,
874 NeedProbe, ProbeSize);
892 MF.
getFunction(),
"Frame pointer required, but has been reserved."});
902 nullptr, RI->getDwarfRegNum(
FPReg,
true), RVFI->getVarArgsSaveSize()));
910 if (FirstSPAdjustAmount) {
912 assert(SecondSPAdjustAmount > 0 &&
913 "SecondSPAdjustAmount should be greater than zero");
922 allocateAndProbeStackForRVV(MF,
MBB,
MBBI,
DL, RVVStackSize,
948 if (RI->hasStackRealignment(MF)) {
952 if (isInt<12>(-(
int)MaxAlignment.
value())) {
958 unsigned ShiftAmount =
Log2(MaxAlignment);
970 if (NeedProbe && RVVStackSize == 0) {
973 if (SecondSPAdjustAmount < ProbeSize &&
974 SecondSPAdjustAmount + MaxAlignment.
value() >= ProbeSize) {
1002 int64_t CFAOffset)
const {
1036 DL =
MBBI->getDebugLoc();
1055 uint64_t RealStackSize = FirstSPAdjustAmount ? FirstSPAdjustAmount
1057 uint64_t StackSize = FirstSPAdjustAmount ? FirstSPAdjustAmount
1059 RVFI->getReservedSpillsSize();
1060 uint64_t FPOffset = RealStackSize - RVFI->getVarArgsSaveSize();
1061 uint64_t RVVStackSize = RVFI->getRVVStackSize();
1063 bool RestoreSPFromFP = RI->hasStackRealignment(MF) ||
1068 if (!RestoreSPFromFP)
1075 nullptr, RI->getDwarfRegNum(
SPReg,
true), RealStackSize));
1077 TII->get(TargetOpcode::CFI_INSTRUCTION))
1082 emitCalleeSavedRVVEpilogCFI(
MBB, LastFrameDestroy);
1085 if (FirstSPAdjustAmount) {
1088 assert(SecondSPAdjustAmount > 0 &&
1089 "SecondSPAdjustAmount should be greater than zero");
1093 if (!RestoreSPFromFP)
1102 TII->get(TargetOpcode::CFI_INSTRUCTION))
1118 if (RestoreSPFromFP) {
1119 assert(
hasFP(MF) &&
"frame pointer should not have been eliminated");
1127 nullptr, RI->getDwarfRegNum(
SPReg,
true), RealStackSize));
1128 BuildMI(
MBB, LastFrameDestroy,
DL,
TII->get(TargetOpcode::CFI_INSTRUCTION))
1138 deallocateStack(MF,
MBB,
MBBI,
DL, StackSize,
1139 RVFI->getLibCallStackSize());
1149 bool ApplyPop = RVFI->isPushable(MF) &&
MBBI !=
MBB.
end() &&
1150 MBBI->getOpcode() == RISCV::CM_POP;
1158 MBBI->getOperand(1).setImm(Spimm);
1162 deallocateStack(MF,
MBB,
MBBI,
DL, StackSize,
1163 RealStackSize - StackSize);
1166 if (NextI ==
MBB.
end() || NextI->getOpcode() != RISCV::PseudoRET) {
1169 emitCFIForCSI<CFIRestoreRegisterEmitter>(
1184 deallocateStack(MF,
MBB,
MBBI,
DL, StackSize, 0);
1208 "Unexpected stack ID for the frame object.");
1220 MinCSFI = CSI[0].getFrameIdx();
1221 MaxCSFI = CSI[CSI.size() - 1].getFrameIdx();
1224 if (FI >= MinCSFI && FI <= MaxCSFI) {
1227 if (FirstSPAdjustAmount)
1278 if (FrameReg ==
FPReg) {
1297 "Can't index across variable sized realign");
1302 "Inconsistent stack layout");
1345 "Can't index across variable sized realign");
1347 RVFI->getRVVStackSize());
1355 RVFI->getCalleeSavedStackSize() -
1356 RVFI->getVarArgsSaveSize() + RVFI->getRVVPadding();
1378 if (RVFI->isPushable(MF) && SavedRegs.
test(RISCV::X26))
1379 SavedRegs.
set(RISCV::X27);
1382std::pair<int64_t, Align>
1383RISCVFrameLowering::assignRVVStackObjectOffsets(
MachineFunction &MF)
const {
1387 auto pushRVVObjects = [&](
int FIBegin,
int FIEnd) {
1388 for (
int I = FIBegin, E = FIEnd;
I != E; ++
I) {
1401 if (!RVVCSI.empty())
1402 pushRVVObjects(RVVCSI[0].getFrameIdx(),
1403 RVVCSI[RVVCSI.size() - 1].getFrameIdx() + 1);
1407 Align RVVStackAlign(16);
1410 if (!
ST.hasVInstructions()) {
1412 "Can't allocate scalable-vector objects without V instructions");
1413 return std::make_pair(0, RVVStackAlign);
1418 for (
int FI : ObjectsToAllocate) {
1430 RVVStackAlign = std::max(RVVStackAlign, ObjectAlign);
1443 if (
auto RVVStackAlignVScale = RVVStackAlign.value() / VScale) {
1444 if (
auto AlignmentPadding =
1446 StackSize += AlignmentPadding;
1447 for (
int FI : ObjectsToAllocate)
1452 return std::make_pair(StackSize, RVVStackAlign);
1458 static constexpr unsigned ScavSlotsNumRVVSpillScalableObject = 2;
1462 static constexpr unsigned ScavSlotsNumRVVSpillNonScalableObject = 1;
1466 static constexpr unsigned ScavSlotsADDIScalableObject = 1;
1468 static constexpr unsigned MaxScavSlotsNumKnown =
1469 std::max({ScavSlotsADDIScalableObject, ScavSlotsNumRVVSpillScalableObject,
1470 ScavSlotsNumRVVSpillNonScalableObject});
1472 unsigned MaxScavSlotsNum = 0;
1478 for (
auto &MO :
MI.operands()) {
1484 MaxScavSlotsNum = std::max(
1485 MaxScavSlotsNum, IsScalableVectorID
1486 ? ScavSlotsNumRVVSpillScalableObject
1487 : ScavSlotsNumRVVSpillNonScalableObject);
1488 }
else if (
MI.getOpcode() == RISCV::ADDI && IsScalableVectorID) {
1490 std::max(MaxScavSlotsNum, ScavSlotsADDIScalableObject);
1493 if (MaxScavSlotsNum == MaxScavSlotsNumKnown)
1494 return MaxScavSlotsNumKnown;
1496 return MaxScavSlotsNum;
1520 unsigned FnSize = 0;
1521 for (
auto &
MBB : MF) {
1522 for (
auto &
MI :
MBB) {
1540 if (
MI.isConditionalBranch())
1541 FnSize +=
TII.getInstSizeInBytes(
MI);
1542 if (
MI.isConditionalBranch() ||
MI.isUnconditionalBranch()) {
1544 FnSize += 2 + 8 + 2 + 2;
1546 FnSize += 4 + 8 + 4 + 4;
1550 FnSize +=
TII.getInstSizeInBytes(
MI);
1565 int64_t RVVStackSize;
1566 Align RVVStackAlign;
1567 std::tie(RVVStackSize, RVVStackAlign) = assignRVVStackObjectOffsets(MF);
1569 RVFI->setRVVStackSize(RVVStackSize);
1570 RVFI->setRVVStackAlign(RVVStackAlign);
1579 unsigned ScavSlotsNum = 0;
1589 if (IsLargeFunction)
1590 ScavSlotsNum = std::max(ScavSlotsNum, 1u);
1597 for (
unsigned I = 0;
I < ScavSlotsNum;
I++) {
1599 RegInfo->getSpillAlign(*RC));
1602 if (IsLargeFunction && RVFI->getBranchRelaxationScratchFrameIndex() == -1)
1603 RVFI->setBranchRelaxationScratchFrameIndex(FI);
1606 unsigned Size = RVFI->getReservedSpillsSize();
1608 int FrameIdx =
Info.getFrameIdx();
1614 RVFI->setCalleeSavedStackSize(
Size);
1638 int64_t Amount =
MI->getOperand(0).getImm();
1644 if (
MI->getOpcode() == RISCV::ADJCALLSTACKDOWN)
1677 if (RVFI->getReservedSpillsSize())
1682 if (!isInt<12>(StackSize) && (CSI.size() > 0)) {
1712 auto CanCompress = [&](
uint64_t CompressLen) ->
bool {
1713 if (StackSize <= 2047 + CompressLen ||
1714 (StackSize > 2048 * 2 - StackAlign &&
1715 StackSize <= 2047 * 2 + CompressLen) ||
1716 StackSize > 2048 * 3 - StackAlign)
1724 const uint64_t ADDI16SPCompressLen = 496;
1725 if (
STI.
is64Bit() && CanCompress(ADDI16SPCompressLen))
1726 return ADDI16SPCompressLen;
1727 if (CanCompress(RVCompressLen))
1728 return RVCompressLen;
1730 return 2048 - StackAlign;
1737 std::vector<CalleeSavedInfo> &CSI,
unsigned &MinCSFrameIndex,
1738 unsigned &MaxCSFrameIndex)
const {
1745 if (RVFI->isPushable(MF)) {
1748 if (MaxReg != RISCV::NoRegister) {
1750 RVFI->setRVPushRegs(PushedRegNum);
1754 RVFI->setRVPushRlist(RegEnc);
1761 for (
auto &CS : CSI) {
1762 unsigned Reg = CS.
getReg();
1767 if (RVFI->useSaveRestoreLibCalls(MF) || RVFI->isPushable(MF)) {
1772 if (RVFI->isPushable(MF))
1773 Offset = -((FII->second + RVFI->getRVPushRegs() + 1) * (int64_t)
Size);
1791 if ((
unsigned)FrameIdx < MinCSFrameIndex)
1792 MinCSFrameIndex = FrameIdx;
1793 if ((
unsigned)FrameIdx > MaxCSFrameIndex)
1794 MaxCSFrameIndex = FrameIdx;
1801 if (RVFI->isPushable(MF)) {
1802 if (int64_t PushSize = RVFI->getRVPushStackSize())
1804 }
else if (
int LibCallRegs =
getLibCallID(MF, CSI) + 1) {
1805 int64_t LibCallFrameSize =
1823 DL =
MI->getDebugLoc();
1829 if (PushedRegNum > 0) {
1835 PushBuilder.
addImm((int64_t)RegEnc);
1838 for (
unsigned i = 0; i < PushedRegNum; i++)
1848 for (
auto &CS : CSI)
1856 auto storeRegsToStackSlots = [&](
decltype(UnmanagedCSI) CSInfo) {
1857 for (
auto &CS : CSInfo) {
1865 storeRegsToStackSlots(UnmanagedCSI);
1866 storeRegsToStackSlots(RVVCSI);
1872 return RISCV::VRRegClass.contains(BaseReg) ? 1
1873 : RISCV::VRM2RegClass.contains(BaseReg) ? 2
1874 : RISCV::VRM4RegClass.contains(BaseReg) ? 4
1883 if (BaseReg == RISCV::NoRegister)
1888void RISCVFrameLowering::emitCalleeSavedRVVPrologCFI(
1906 FixedSize -= ScalarLocalVarSize;
1909 for (
auto &CS : RVVCSI) {
1914 for (
unsigned i = 0; i < NumRegs; ++i) {
1924void RISCVFrameLowering::emitCalleeSavedRVVEpilogCFI(
1934 for (
auto &CS : RVVCSI) {
1937 for (
unsigned i = 0; i < NumRegs; ++i) {
1939 nullptr, RI->getDwarfRegNum(BaseReg + i,
true)));
1957 DL =
MI->getDebugLoc();
1968 auto loadRegFromStackSlot = [&](
decltype(UnmanagedCSI) CSInfo) {
1969 for (
auto &CS : CSInfo) {
1975 "loadRegFromStackSlot didn't insert any code!");
1978 loadRegFromStackSlot(RVVCSI);
1979 loadRegFromStackSlot(UnmanagedCSI);
1989 PopBuilder.
addImm(RegEnc);
1997 if (RestoreLibCall) {
2006 if (
MI !=
MBB.
end() &&
MI->getOpcode() == RISCV::PseudoRET) {
2007 NewMI->copyImplicitOps(*MF, *
MI);
2008 MI->eraseFromParent();
2090 assert(TargetReg != RISCV::X2 &&
"New top of stack cannot already be in SP");
2094 bool IsRV64 = Subtarget.is64Bit();
2095 Align StackAlign = Subtarget.getFrameLowering()->getStackAlign();
2102 MF.
insert(MBBInsertPoint, LoopTestMBB);
2104 MF.
insert(MBBInsertPoint, ExitMBB);
2109 TII->movImm(
MBB,
MBBI,
DL, ScratchReg, ProbeSize, Flags);
2120 TII->get(IsRV64 ? RISCV::SD : RISCV::SW))
2166 unsigned Opc =
MI.getOpcode();
2167 if (Opc == RISCV::PROBED_STACKALLOC ||
2168 Opc == RISCV::PROBED_STACKALLOC_RVV) {
2174 if (
MI->getOpcode() == RISCV::PROBED_STACKALLOC ||
2175 MI->getOpcode() == RISCV::PROBED_STACKALLOC_RVV) {
2178 Register TargetReg =
MI->getOperand(1).getReg();
2180 (
MI->getOpcode() == RISCV::PROBED_STACKALLOC_RVV));
static MCCFIInstruction createDefCFAExpression(const TargetRegisterInfo &TRI, unsigned Reg, const StackOffset &Offset)
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
MachineBasicBlock MachineBasicBlock::iterator MBBI
Analysis containing CSE Info
dxil DXContainer Global Emitter
This file contains constants used for implementing Dwarf debug support.
const HexagonInstrInfo * TII
This file implements the LivePhysRegs utility for tracking liveness of physical registers.
static uint64_t estimateFunctionSizeInBytes(const LoongArchInstrInfo *TII, const MachineFunction &MF)
unsigned const TargetRegisterInfo * TRI
static constexpr Register SPReg
static constexpr Register FPReg
static MCRegister getRVVBaseRegister(const RISCVRegisterInfo &TRI, const Register &Reg)
static void emitStackProbeInline(MachineFunction &MF, MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, DebugLoc DL, Register TargetReg, bool IsRVV)
static const char * getRestoreLibCallName(const MachineFunction &MF, const std::vector< CalleeSavedInfo > &CSI)
static const char * getSpillLibCallName(const MachineFunction &MF, const std::vector< CalleeSavedInfo > &CSI)
static bool hasRVVFrameObject(const MachineFunction &MF)
static std::pair< unsigned, unsigned > getPushPopEncodingAndNum(const Register MaxReg)
static const std::pair< MCPhysReg, int8_t > FixedCSRFIMap[]
static SmallVector< CalleeSavedInfo, 8 > getRVVCalleeSavedInfo(const MachineFunction &MF, const std::vector< CalleeSavedInfo > &CSI)
static void appendScalableVectorExpression(const TargetRegisterInfo &TRI, SmallVectorImpl< char > &Expr, int FixedOffset, int ScalableOffset, llvm::raw_string_ostream &Comment)
static unsigned getCalleeSavedRVVNumRegs(const Register &BaseReg)
static Align getABIStackAlignment(RISCVABI::ABI ABI)
static SmallVector< CalleeSavedInfo, 8 > getPushOrLibCallsSavedInfo(const MachineFunction &MF, const std::vector< CalleeSavedInfo > &CSI)
static int getLibCallID(const MachineFunction &MF, const std::vector< CalleeSavedInfo > &CSI)
static void emitSCSPrologue(MachineFunction &MF, MachineBasicBlock &MBB, MachineBasicBlock::iterator MI, const DebugLoc &DL)
static constexpr Register RAReg
static void emitSCSEpilogue(MachineFunction &MF, MachineBasicBlock &MBB, MachineBasicBlock::iterator MI, const DebugLoc &DL)
static SmallVector< CalleeSavedInfo, 8 > getUnmanagedCSI(const MachineFunction &MF, const std::vector< CalleeSavedInfo > &CSI)
static Register getMaxPushPopReg(const MachineFunction &MF, const std::vector< CalleeSavedInfo > &CSI)
static unsigned getScavSlotsNumForRVV(MachineFunction &MF)
static MCCFIInstruction createDefCFAOffset(const TargetRegisterInfo &TRI, Register Reg, uint64_t FixedOffset, uint64_t ScalableOffset)
This file declares the machine register scavenger class.
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
bool empty() const
empty - Check if the array is empty.
bool test(unsigned Idx) const
The CalleeSavedInfo class tracks the information need to locate where a callee saved register is in t...
Diagnostic information for unsupported feature in backend.
CallingConv::ID getCallingConv() const
getCallingConv()/setCallingConv(CC) - These method get and set the calling convention of this functio...
bool hasOptNone() const
Do not optimize this function (-O0).
LLVMContext & getContext() const
getContext - Return a reference to the LLVMContext associated with this function.
bool hasFnAttribute(Attribute::AttrKind Kind) const
Return true if the function has the attribute.
void storeRegToStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, Register SrcReg, bool isKill, int FrameIndex, const TargetRegisterClass *RC, const TargetRegisterInfo *TRI, Register VReg) const override
Store the specified register of the given register class to the specified stack frame index.
void loadRegFromStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, Register DestReg, int FrameIndex, const TargetRegisterClass *RC, const TargetRegisterInfo *TRI, Register VReg) const override
Load the specified register of the given register class from the specified stack frame index.
void diagnose(const DiagnosticInfo &DI)
Report a message to the currently installed diagnostic handler.
static MCCFIInstruction createDefCfaRegister(MCSymbol *L, unsigned Register, SMLoc Loc={})
.cfi_def_cfa_register modifies a rule for computing CFA.
static MCCFIInstruction createRestore(MCSymbol *L, unsigned Register, SMLoc Loc={})
.cfi_restore says that the rule for Register is now the same as it was at the beginning of the functi...
static MCCFIInstruction cfiDefCfa(MCSymbol *L, unsigned Register, int64_t Offset, SMLoc Loc={})
.cfi_def_cfa defines a rule for computing CFA as: take address from Register and add Offset to it.
static MCCFIInstruction createOffset(MCSymbol *L, unsigned Register, int64_t Offset, SMLoc Loc={})
.cfi_offset Previous value of Register is saved at offset Offset from CFA.
static MCCFIInstruction cfiDefCfaOffset(MCSymbol *L, int64_t Offset, SMLoc Loc={})
.cfi_def_cfa_offset modifies a rule for computing CFA.
static MCCFIInstruction createEscape(MCSymbol *L, StringRef Vals, SMLoc Loc={}, StringRef Comment="")
.cfi_escape Allows the user to add arbitrary bytes to the unwind info.
Wrapper class representing physical registers. Should be passed by value.
MachineBasicBlock * getFallThrough(bool JumpToFallThrough=true)
Return the fallthrough block if the block can implicitly transfer control to the block after it by fa...
const BasicBlock * getBasicBlock() const
Return the LLVM basic block that this instance corresponded to originally.
succ_iterator succ_begin()
iterator getFirstTerminator()
Returns an iterator to the first terminator instruction of this basic block.
unsigned succ_size() const
bool isReturnBlock() const
Convenience function that returns true if the block ends in a return instruction.
void addSuccessor(MachineBasicBlock *Succ, BranchProbability Prob=BranchProbability::getUnknown())
Add Succ as a successor of this MachineBasicBlock.
DebugLoc findDebugLoc(instr_iterator MBBI)
Find the next valid DebugLoc starting at MBBI, skipping any debug instructions.
iterator getLastNonDebugInstr(bool SkipPseudoOp=true)
Returns an iterator to the last non-debug instruction in the basic block, or end().
void eraseFromParent()
This method unlinks 'this' from the containing function and deletes it.
void addLiveIn(MCRegister PhysReg, LaneBitmask LaneMask=LaneBitmask::getAll())
Adds the specified register as a live in.
const MachineFunction * getParent() const
Return the MachineFunction containing this basic block.
instr_iterator erase(instr_iterator I)
Remove an instruction from the instruction list and delete it.
void splice(iterator Where, MachineBasicBlock *Other, iterator From)
Take an instruction from MBB 'Other' at the position From, and insert it into this MBB right before '...
bool isLiveIn(MCRegister Reg, LaneBitmask LaneMask=LaneBitmask::getAll()) const
Return true if the specified register is in the live in set.
The MachineFrameInfo class represents an abstract stack frame until prolog/epilog code is inserted.
bool hasVarSizedObjects() const
This method may be called any time after instruction selection is complete to determine if the stack ...
uint64_t getStackSize() const
Return the number of bytes that must be allocated to hold all of the fixed size frame objects.
bool adjustsStack() const
Return true if this function adjusts the stack – e.g., when calling another function.
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.
void ensureMaxAlignment(Align Alignment)
Make sure the function is at least Align bytes aligned.
bool isFrameAddressTaken() const
This method may be called any time after instruction selection is complete to determine if there is a...
Align getMaxAlign() const
Return the alignment in bytes that this function must be aligned to, which is greater than the defaul...
void setObjectOffset(int ObjectIdx, int64_t SPOffset)
Set the stack frame offset of the specified object.
uint64_t getMaxCallFrameSize() const
Return the maximum size of a call frame that must be allocated for an outgoing function call.
int64_t getOffsetAdjustment() const
Return the correction for frame offsets.
int CreateSpillStackObject(uint64_t Size, Align Alignment)
Create a new statically sized stack object that represents a spill slot, returning a nonnegative iden...
uint64_t estimateStackSize(const MachineFunction &MF) const
Estimate and return the size of the stack frame.
void setStackID(int ObjectIdx, uint8_t ID)
Align getObjectAlign(int ObjectIdx) const
Return the alignment of the specified stack object.
int64_t getObjectSize(int ObjectIdx) const
Return the size of the specified object.
bool isMaxCallFrameSizeComputed() const
const std::vector< CalleeSavedInfo > & getCalleeSavedInfo() const
Returns a reference to call saved info vector for the current function.
int getObjectIndexEnd() const
Return one past the maximum frame object index.
int CreateFixedSpillStackObject(uint64_t Size, int64_t SPOffset, bool IsImmutable=false)
Create a spill slot at a fixed location on the stack.
uint8_t getStackID(int ObjectIdx) const
int64_t getObjectOffset(int ObjectIdx) const
Return the assigned stack offset of the specified object from the incoming stack pointer.
void setStackSize(uint64_t Size)
Set the size of the stack.
bool isFixedObjectIndex(int ObjectIdx) const
Returns true if the specified index corresponds to a fixed stack object.
bool isDeadObjectIndex(int ObjectIdx) const
Returns true if the specified index corresponds to a dead object.
unsigned addFrameInst(const MCCFIInstruction &Inst)
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.
MachineRegisterInfo & getRegInfo()
getRegInfo - Return information about the registers currently in use.
Function & getFunction()
Return the LLVM function that this machine code represents.
Ty * getInfo()
getInfo - Keep track of various per-function pieces of information for backends that would like to do...
MachineBasicBlock * CreateMachineBasicBlock(const BasicBlock *BB=nullptr, std::optional< UniqueBBID > BBID=std::nullopt)
CreateMachineBasicBlock - Allocate a new MachineBasicBlock.
void insert(iterator MBBI, MachineBasicBlock *MBB)
const TargetMachine & getTarget() const
getTarget - Return the target machine this machine code is compiled with
const MachineInstrBuilder & addExternalSymbol(const char *FnName, unsigned TargetFlags=0) const
const MachineInstrBuilder & addCFIIndex(unsigned CFIIndex) const
const MachineInstrBuilder & setMIFlag(MachineInstr::MIFlag Flag) const
const MachineInstrBuilder & addImm(int64_t Val) const
Add a new immediate operand.
const MachineInstrBuilder & addReg(Register RegNo, unsigned flags=0, unsigned SubReg=0) const
Add a new virtual register operand.
const MachineInstrBuilder & addMBB(MachineBasicBlock *MBB, unsigned TargetFlags=0) const
const MachineInstrBuilder & addUse(Register RegNo, unsigned Flags=0, unsigned SubReg=0) const
Add a virtual register use operand.
const MachineInstrBuilder & setMIFlags(unsigned Flags) const
const MachineInstrBuilder & addDef(Register RegNo, unsigned Flags=0, unsigned SubReg=0) const
Add a virtual register definition operand.
Representation of each machine instruction.
bool isReserved(MCRegister PhysReg) const
isReserved - Returns true when PhysReg is a reserved register.
Register createVirtualRegister(const TargetRegisterClass *RegClass, StringRef Name="")
createVirtualRegister - Create and return a new virtual register in the function with the specified r...
MutableArrayRef - Represent a mutable reference to an array (0 or more elements consecutively in memo...
void emitPrologue(MachineFunction &MF, MachineBasicBlock &MBB) const override
emitProlog/emitEpilog - These methods insert prolog and epilog code into the function.
uint64_t getFirstSPAdjustAmount(const MachineFunction &MF) const
bool enableShrinkWrapping(const MachineFunction &MF) const override
Returns true if the target will correctly handle shrink wrapping.
bool spillCalleeSavedRegisters(MachineBasicBlock &MBB, MachineBasicBlock::iterator MI, ArrayRef< CalleeSavedInfo > CSI, const TargetRegisterInfo *TRI) const override
spillCalleeSavedRegisters - Issues instruction(s) to spill all callee saved registers and returns tru...
bool hasBP(const MachineFunction &MF) const
bool canUseAsEpilogue(const MachineBasicBlock &MBB) const override
Check whether or not the given MBB can be used as a epilogue for the target.
bool assignCalleeSavedSpillSlots(MachineFunction &MF, const TargetRegisterInfo *TRI, std::vector< CalleeSavedInfo > &CSI, unsigned &MinCSFrameIndex, unsigned &MaxCSFrameIndex) const override
assignCalleeSavedSpillSlots - Allows target to override spill slot assignment logic.
bool hasFPImpl(const MachineFunction &MF) const override
bool restoreCalleeSavedRegisters(MachineBasicBlock &MBB, MachineBasicBlock::iterator MI, MutableArrayRef< CalleeSavedInfo > CSI, const TargetRegisterInfo *TRI) const override
restoreCalleeSavedRegisters - Issues instruction(s) to restore all callee saved registers and returns...
bool hasReservedCallFrame(const MachineFunction &MF) const override
hasReservedCallFrame - Under normal circumstances, when a frame pointer is not required,...
void allocateStack(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, MachineFunction &MF, uint64_t Offset, uint64_t RealStackSize, bool EmitCFI, bool NeedProbe, uint64_t ProbeSize) const
const RISCVSubtarget & STI
StackOffset getFrameIndexReference(const MachineFunction &MF, int FI, Register &FrameReg) const override
getFrameIndexReference - This method should return the base register and offset used to reference a f...
bool isSupportedStackID(TargetStackID::Value ID) const override
void determineCalleeSaves(MachineFunction &MF, BitVector &SavedRegs, RegScavenger *RS) const override
This method determines which of the registers reported by TargetRegisterInfo::getCalleeSavedRegs() sh...
void emitEpilogue(MachineFunction &MF, MachineBasicBlock &MBB) const override
TargetStackID::Value getStackIDForScalableVectors() const override
Returns the StackID that scalable vectors should be associated with.
void processFunctionBeforeFrameFinalized(MachineFunction &MF, RegScavenger *RS) const override
processFunctionBeforeFrameFinalized - This method is called immediately before the specified function...
MachineBasicBlock::iterator eliminateCallFramePseudoInstr(MachineFunction &MF, MachineBasicBlock &MBB, MachineBasicBlock::iterator MI) const override
This method is called during prolog/epilog code insertion to eliminate call frame setup and destroy p...
bool canUseAsPrologue(const MachineBasicBlock &MBB) const override
Check whether or not the given MBB can be used as a prologue for the target.
RISCVFrameLowering(const RISCVSubtarget &STI)
uint64_t getStackSizeWithRVVPadding(const MachineFunction &MF) const
RISCVMachineFunctionInfo - This class is derived from MachineFunctionInfo and contains private RISCV-...
bool isPushable(const MachineFunction &MF) const
int getRVPushRlist() const
uint64_t getRVVPadding() const
unsigned getRVPushRegs() const
bool useSaveRestoreLibCalls(const MachineFunction &MF) const
unsigned getVarArgsSaveSize() const
unsigned getCalleeSavedStackSize() const
bool hasStdExtCOrZca() const
bool hasVInstructions() const
bool isRegisterReservedByUser(Register i) const override
const RISCVRegisterInfo * getRegisterInfo() const override
const RISCVInstrInfo * getInstrInfo() const override
bool hasInlineStackProbe(const MachineFunction &MF) const override
True if stack clash protection is enabled for this functions.
unsigned getStackProbeSize(const MachineFunction &MF, Align StackAlign) const
bool isRegUsed(Register Reg, bool includeReserved=true) const
Return if a specific register is currently used.
void enterBasicBlock(MachineBasicBlock &MBB)
Start tracking liveness from the begin of basic block MBB.
void addScavengingFrameIndex(int FI)
Add a scavenging frame index.
Wrapper class representing virtual and physical registers.
constexpr unsigned id() const
Represents a location in source code.
SmallString - A SmallString is just a SmallVector with methods and accessors that make it work better...
void append(StringRef RHS)
Append from a StringRef.
StringRef str() const
Explicit conversion to StringRef.
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
void append(ItTy in_start, ItTy in_end)
Add the specified range to the end of the SmallVector.
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
StackOffset holds a fixed and a scalable offset in bytes.
int64_t getFixed() const
Returns the fixed component of the stack.
int64_t getScalable() const
Returns the scalable component of the stack.
static StackOffset get(int64_t Fixed, int64_t Scalable)
StringRef - Represent a constant reference to a string, i.e.
Information about stack frame layout on the target.
bool hasFP(const MachineFunction &MF) const
hasFP - Return true if the specified function should have a dedicated frame pointer register.
virtual void determineCalleeSaves(MachineFunction &MF, BitVector &SavedRegs, RegScavenger *RS=nullptr) const
This method determines which of the registers reported by TargetRegisterInfo::getCalleeSavedRegs() sh...
int getOffsetOfLocalArea() const
getOffsetOfLocalArea - This method returns the offset of the local area from the stack pointer on ent...
Align getStackAlign() const
getStackAlignment - This method returns the number of bytes to which the stack pointer must be aligne...
int alignSPAdjust(int SPAdj) const
alignSPAdjust - This method aligns the stack adjustment to the correct alignment.
TargetInstrInfo - Interface to description of machine instruction set.
bool DisableFramePointerElim(const MachineFunction &MF) const
DisableFramePointerElim - This returns true if frame pointer elimination optimization should be disab...
TargetRegisterInfo base class - We assume that the target defines a static array of TargetRegisterDes...
const TargetRegisterClass * getMinimalPhysRegClass(MCRegister Reg, MVT VT=MVT::Other) const
Returns the Register Class of a physical register of the given type, picking the most sub register cl...
Align getSpillAlign(const TargetRegisterClass &RC) const
Return the minimum required alignment in bytes for a spill slot for a register of this class.
bool hasStackRealignment(const MachineFunction &MF) const
True if stack realignment is required and still possible.
unsigned getSpillSize(const TargetRegisterClass &RC) const
Return the size in bytes of the stack slot allocated to hold a spilled copy of a register from class ...
virtual Register getFrameRegister(const MachineFunction &MF) const =0
Debug information queries.
virtual const TargetRegisterInfo * getRegisterInfo() const
getRegisterInfo - If register information is available, return it.
virtual const TargetInstrInfo * getInstrInfo() const
self_iterator getIterator()
A raw_ostream that writes to an std::string.
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
@ GHC
Used by the Glasgow Haskell Compiler (GHC).
static constexpr unsigned RVVBitsPerBlock
bool isRVVSpill(const MachineInstr &MI)
@ Implicit
Not emitted register (e.g. carry, or temporary result).
@ Define
Register definition.
Reg
All possible values of the reg field in the ModR/M byte.
This is an optimization pass for GlobalISel generic memory operations.
IterT next_nodbg(IterT It, IterT End, bool SkipPseudoOp=true)
Increment It, then continue incrementing it while it points to a debug instruction.
auto size(R &&Range, std::enable_if_t< std::is_base_of< std::random_access_iterator_tag, typename std::iterator_traits< decltype(Range.begin())>::iterator_category >::value, void > *=nullptr)
Get the size of a range.
MachineInstrBuilder BuildMI(MachineFunction &MF, const MIMetadata &MIMD, const MCInstrDesc &MCID)
Builder interface. Specify how to create the initial instruction itself.
constexpr T alignDown(U Value, V Align, W Skew=0)
Returns the largest unsigned integer less than or equal to Value and is Skew mod Align.
bool none_of(R &&Range, UnaryPredicate P)
Provide wrappers to std::none_of which take ranges instead of having to pass begin/end explicitly.
uint64_t offsetToAlignment(uint64_t Value, Align Alignment)
Returns the offset to the next integer (mod 2**64) that is greater than or equal to Value and is a mu...
uint64_t alignTo(uint64_t Size, Align A)
Returns a multiple of A needed to store Size bytes.
unsigned encodeSLEB128(int64_t Value, raw_ostream &OS, unsigned PadTo=0)
Utility function to encode a SLEB128 value to an output stream.
auto find_if(R &&Range, UnaryPredicate P)
Provide wrappers to std::find_if which take ranges instead of having to pass begin/end explicitly.
unsigned encodeULEB128(uint64_t Value, raw_ostream &OS, unsigned PadTo=0)
Utility function to encode a ULEB128 value to an output stream.
unsigned Log2(Align A)
Returns the log2 of the alignment.
void fullyRecomputeLiveIns(ArrayRef< MachineBasicBlock * > MBBs)
Convenience function for recomputing live-in's for a set of MBBs until the computation converges.
Printable printReg(Register Reg, const TargetRegisterInfo *TRI=nullptr, unsigned SubIdx=0, const MachineRegisterInfo *MRI=nullptr)
Prints virtual and physical registers with or without a TRI instance.
This struct is a compact representation of a valid (non-zero power of two) alignment.
uint64_t value() const
This is a hole in the type system and should not be abused.
static bool isRVVRegClass(const TargetRegisterClass *RC)
void adjustReg(MachineBasicBlock &MBB, MachineBasicBlock::iterator II, const DebugLoc &DL, Register DestReg, Register SrcReg, StackOffset Offset, MachineInstr::MIFlag Flag, MaybeAlign RequiredAlign) const