18971842fSAlex Bradbury //===-- RISCVFrameLowering.cpp - RISCV Frame Information ------------------===//
28971842fSAlex Bradbury //
32946cd70SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
42946cd70SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
52946cd70SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
68971842fSAlex Bradbury //
78971842fSAlex Bradbury //===----------------------------------------------------------------------===//
88971842fSAlex Bradbury //
98971842fSAlex Bradbury // This file contains the RISCV implementation of TargetFrameLowering class.
108971842fSAlex Bradbury //
118971842fSAlex Bradbury //===----------------------------------------------------------------------===//
128971842fSAlex Bradbury
138971842fSAlex Bradbury #include "RISCVFrameLowering.h"
14c85be0deSAlex Bradbury #include "RISCVMachineFunctionInfo.h"
158971842fSAlex Bradbury #include "RISCVSubtarget.h"
168971842fSAlex Bradbury #include "llvm/CodeGen/MachineFrameInfo.h"
178971842fSAlex Bradbury #include "llvm/CodeGen/MachineFunction.h"
188971842fSAlex Bradbury #include "llvm/CodeGen/MachineInstrBuilder.h"
198971842fSAlex Bradbury #include "llvm/CodeGen/MachineRegisterInfo.h"
200715d35eSAlex Bradbury #include "llvm/CodeGen/RegisterScavenging.h"
21aed9d6d6SSimon Cook #include "llvm/IR/DiagnosticInfo.h"
2204ddf39bSHsiangkai Wang #include "llvm/MC/MCDwarf.h"
238971842fSAlex Bradbury
240f45eaf0Sluxufan #include <algorithm>
250f45eaf0Sluxufan
268971842fSAlex Bradbury using namespace llvm;
278971842fSAlex Bradbury
281c466477SZhaoshi Zheng // For now we use x18, a.k.a s2, as pointer to shadow call stack.
291c466477SZhaoshi Zheng // User should explicitly set -ffixed-x18 and not use x18 in their asm.
emitSCSPrologue(MachineFunction & MF,MachineBasicBlock & MBB,MachineBasicBlock::iterator MI,const DebugLoc & DL)301c466477SZhaoshi Zheng static void emitSCSPrologue(MachineFunction &MF, MachineBasicBlock &MBB,
311c466477SZhaoshi Zheng MachineBasicBlock::iterator MI,
321c466477SZhaoshi Zheng const DebugLoc &DL) {
331c466477SZhaoshi Zheng if (!MF.getFunction().hasFnAttribute(Attribute::ShadowCallStack))
341c466477SZhaoshi Zheng return;
351c466477SZhaoshi Zheng
361c466477SZhaoshi Zheng const auto &STI = MF.getSubtarget<RISCVSubtarget>();
371c466477SZhaoshi Zheng Register RAReg = STI.getRegisterInfo()->getRARegister();
381c466477SZhaoshi Zheng
391c466477SZhaoshi Zheng // Do not save RA to the SCS if it's not saved to the regular stack,
401c466477SZhaoshi Zheng // i.e. RA is not at risk of being overwritten.
411c466477SZhaoshi Zheng std::vector<CalleeSavedInfo> &CSI = MF.getFrameInfo().getCalleeSavedInfo();
421c466477SZhaoshi Zheng if (std::none_of(CSI.begin(), CSI.end(),
431c466477SZhaoshi Zheng [&](CalleeSavedInfo &CSR) { return CSR.getReg() == RAReg; }))
441c466477SZhaoshi Zheng return;
451c466477SZhaoshi Zheng
461c466477SZhaoshi Zheng Register SCSPReg = RISCVABI::getSCSPReg();
471c466477SZhaoshi Zheng
481c466477SZhaoshi Zheng auto &Ctx = MF.getFunction().getContext();
491c466477SZhaoshi Zheng if (!STI.isRegisterReservedByUser(SCSPReg)) {
501c466477SZhaoshi Zheng Ctx.diagnose(DiagnosticInfoUnsupported{
511c466477SZhaoshi Zheng MF.getFunction(), "x18 not reserved by user for Shadow Call Stack."});
521c466477SZhaoshi Zheng return;
531c466477SZhaoshi Zheng }
541c466477SZhaoshi Zheng
551c466477SZhaoshi Zheng const auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
561c466477SZhaoshi Zheng if (RVFI->useSaveRestoreLibCalls(MF)) {
571c466477SZhaoshi Zheng Ctx.diagnose(DiagnosticInfoUnsupported{
581c466477SZhaoshi Zheng MF.getFunction(),
591c466477SZhaoshi Zheng "Shadow Call Stack cannot be combined with Save/Restore LibCalls."});
601c466477SZhaoshi Zheng return;
611c466477SZhaoshi Zheng }
621c466477SZhaoshi Zheng
631c466477SZhaoshi Zheng const RISCVInstrInfo *TII = STI.getInstrInfo();
641c466477SZhaoshi Zheng bool IsRV64 = STI.hasFeature(RISCV::Feature64Bit);
651c466477SZhaoshi Zheng int64_t SlotSize = STI.getXLen() / 8;
661c466477SZhaoshi Zheng // Store return address to shadow call stack
671c466477SZhaoshi Zheng // s[w|d] ra, 0(s2)
681c466477SZhaoshi Zheng // addi s2, s2, [4|8]
691c466477SZhaoshi Zheng BuildMI(MBB, MI, DL, TII->get(IsRV64 ? RISCV::SD : RISCV::SW))
701c466477SZhaoshi Zheng .addReg(RAReg)
711c466477SZhaoshi Zheng .addReg(SCSPReg)
724b2dd318SHsiangkai Wang .addImm(0)
734b2dd318SHsiangkai Wang .setMIFlag(MachineInstr::FrameSetup);
741c466477SZhaoshi Zheng BuildMI(MBB, MI, DL, TII->get(RISCV::ADDI))
751c466477SZhaoshi Zheng .addReg(SCSPReg, RegState::Define)
761c466477SZhaoshi Zheng .addReg(SCSPReg)
774b2dd318SHsiangkai Wang .addImm(SlotSize)
784b2dd318SHsiangkai Wang .setMIFlag(MachineInstr::FrameSetup);
791c466477SZhaoshi Zheng }
801c466477SZhaoshi Zheng
emitSCSEpilogue(MachineFunction & MF,MachineBasicBlock & MBB,MachineBasicBlock::iterator MI,const DebugLoc & DL)811c466477SZhaoshi Zheng static void emitSCSEpilogue(MachineFunction &MF, MachineBasicBlock &MBB,
821c466477SZhaoshi Zheng MachineBasicBlock::iterator MI,
831c466477SZhaoshi Zheng const DebugLoc &DL) {
841c466477SZhaoshi Zheng if (!MF.getFunction().hasFnAttribute(Attribute::ShadowCallStack))
851c466477SZhaoshi Zheng return;
861c466477SZhaoshi Zheng
871c466477SZhaoshi Zheng const auto &STI = MF.getSubtarget<RISCVSubtarget>();
881c466477SZhaoshi Zheng Register RAReg = STI.getRegisterInfo()->getRARegister();
891c466477SZhaoshi Zheng
901c466477SZhaoshi Zheng // See emitSCSPrologue() above.
911c466477SZhaoshi Zheng std::vector<CalleeSavedInfo> &CSI = MF.getFrameInfo().getCalleeSavedInfo();
921c466477SZhaoshi Zheng if (std::none_of(CSI.begin(), CSI.end(),
931c466477SZhaoshi Zheng [&](CalleeSavedInfo &CSR) { return CSR.getReg() == RAReg; }))
941c466477SZhaoshi Zheng return;
951c466477SZhaoshi Zheng
961c466477SZhaoshi Zheng Register SCSPReg = RISCVABI::getSCSPReg();
971c466477SZhaoshi Zheng
981c466477SZhaoshi Zheng auto &Ctx = MF.getFunction().getContext();
991c466477SZhaoshi Zheng if (!STI.isRegisterReservedByUser(SCSPReg)) {
1001c466477SZhaoshi Zheng Ctx.diagnose(DiagnosticInfoUnsupported{
1011c466477SZhaoshi Zheng MF.getFunction(), "x18 not reserved by user for Shadow Call Stack."});
1021c466477SZhaoshi Zheng return;
1031c466477SZhaoshi Zheng }
1041c466477SZhaoshi Zheng
1051c466477SZhaoshi Zheng const auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
1061c466477SZhaoshi Zheng if (RVFI->useSaveRestoreLibCalls(MF)) {
1071c466477SZhaoshi Zheng Ctx.diagnose(DiagnosticInfoUnsupported{
1081c466477SZhaoshi Zheng MF.getFunction(),
1091c466477SZhaoshi Zheng "Shadow Call Stack cannot be combined with Save/Restore LibCalls."});
1101c466477SZhaoshi Zheng return;
1111c466477SZhaoshi Zheng }
1121c466477SZhaoshi Zheng
1131c466477SZhaoshi Zheng const RISCVInstrInfo *TII = STI.getInstrInfo();
1141c466477SZhaoshi Zheng bool IsRV64 = STI.hasFeature(RISCV::Feature64Bit);
1151c466477SZhaoshi Zheng int64_t SlotSize = STI.getXLen() / 8;
1161c466477SZhaoshi Zheng // Load return address from shadow call stack
1171c466477SZhaoshi Zheng // l[w|d] ra, -[4|8](s2)
1181c466477SZhaoshi Zheng // addi s2, s2, -[4|8]
1191c466477SZhaoshi Zheng BuildMI(MBB, MI, DL, TII->get(IsRV64 ? RISCV::LD : RISCV::LW))
1201c466477SZhaoshi Zheng .addReg(RAReg, RegState::Define)
1211c466477SZhaoshi Zheng .addReg(SCSPReg)
1224b2dd318SHsiangkai Wang .addImm(-SlotSize)
1234b2dd318SHsiangkai Wang .setMIFlag(MachineInstr::FrameDestroy);
1241c466477SZhaoshi Zheng BuildMI(MBB, MI, DL, TII->get(RISCV::ADDI))
1251c466477SZhaoshi Zheng .addReg(SCSPReg, RegState::Define)
1261c466477SZhaoshi Zheng .addReg(SCSPReg)
1274b2dd318SHsiangkai Wang .addImm(-SlotSize)
1284b2dd318SHsiangkai Wang .setMIFlag(MachineInstr::FrameDestroy);
1291c466477SZhaoshi Zheng }
1301c466477SZhaoshi Zheng
13107f7c002Slewis-revill // Get the ID of the libcall used for spilling and restoring callee saved
13207f7c002Slewis-revill // registers. The ID is representative of the number of registers saved or
13307f7c002Slewis-revill // restored by the libcall, except it is zero-indexed - ID 0 corresponds to a
13407f7c002Slewis-revill // single register.
getLibCallID(const MachineFunction & MF,const std::vector<CalleeSavedInfo> & CSI)13507f7c002Slewis-revill static int getLibCallID(const MachineFunction &MF,
13607f7c002Slewis-revill const std::vector<CalleeSavedInfo> &CSI) {
13707f7c002Slewis-revill const auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
13807f7c002Slewis-revill
13908649f0aSMatt Arsenault if (CSI.empty() || !RVFI->useSaveRestoreLibCalls(MF))
14007f7c002Slewis-revill return -1;
14107f7c002Slewis-revill
14207f7c002Slewis-revill Register MaxReg = RISCV::NoRegister;
14307f7c002Slewis-revill for (auto &CS : CSI)
14407f7c002Slewis-revill // RISCVRegisterInfo::hasReservedSpillSlot assigns negative frame indexes to
14507f7c002Slewis-revill // registers which can be saved by libcall.
14607f7c002Slewis-revill if (CS.getFrameIdx() < 0)
147d8938c8bSMatt Arsenault MaxReg = std::max(MaxReg.id(), CS.getReg().id());
14807f7c002Slewis-revill
14907f7c002Slewis-revill if (MaxReg == RISCV::NoRegister)
15007f7c002Slewis-revill return -1;
15107f7c002Slewis-revill
15207f7c002Slewis-revill switch (MaxReg) {
15307f7c002Slewis-revill default:
15407f7c002Slewis-revill llvm_unreachable("Something has gone wrong!");
15507f7c002Slewis-revill case /*s11*/ RISCV::X27: return 12;
15607f7c002Slewis-revill case /*s10*/ RISCV::X26: return 11;
15707f7c002Slewis-revill case /*s9*/ RISCV::X25: return 10;
15807f7c002Slewis-revill case /*s8*/ RISCV::X24: return 9;
15907f7c002Slewis-revill case /*s7*/ RISCV::X23: return 8;
16007f7c002Slewis-revill case /*s6*/ RISCV::X22: return 7;
16107f7c002Slewis-revill case /*s5*/ RISCV::X21: return 6;
16207f7c002Slewis-revill case /*s4*/ RISCV::X20: return 5;
16307f7c002Slewis-revill case /*s3*/ RISCV::X19: return 4;
16407f7c002Slewis-revill case /*s2*/ RISCV::X18: return 3;
16507f7c002Slewis-revill case /*s1*/ RISCV::X9: return 2;
16607f7c002Slewis-revill case /*s0*/ RISCV::X8: return 1;
16707f7c002Slewis-revill case /*ra*/ RISCV::X1: return 0;
16807f7c002Slewis-revill }
16907f7c002Slewis-revill }
17007f7c002Slewis-revill
17107f7c002Slewis-revill // Get the name of the libcall used for spilling callee saved registers.
17207f7c002Slewis-revill // If this function will not use save/restore libcalls, then return a nullptr.
17307f7c002Slewis-revill static const char *
getSpillLibCallName(const MachineFunction & MF,const std::vector<CalleeSavedInfo> & CSI)17407f7c002Slewis-revill getSpillLibCallName(const MachineFunction &MF,
17507f7c002Slewis-revill const std::vector<CalleeSavedInfo> &CSI) {
17607f7c002Slewis-revill static const char *const SpillLibCalls[] = {
17707f7c002Slewis-revill "__riscv_save_0",
17807f7c002Slewis-revill "__riscv_save_1",
17907f7c002Slewis-revill "__riscv_save_2",
18007f7c002Slewis-revill "__riscv_save_3",
18107f7c002Slewis-revill "__riscv_save_4",
18207f7c002Slewis-revill "__riscv_save_5",
18307f7c002Slewis-revill "__riscv_save_6",
18407f7c002Slewis-revill "__riscv_save_7",
18507f7c002Slewis-revill "__riscv_save_8",
18607f7c002Slewis-revill "__riscv_save_9",
18707f7c002Slewis-revill "__riscv_save_10",
18807f7c002Slewis-revill "__riscv_save_11",
18907f7c002Slewis-revill "__riscv_save_12"
19007f7c002Slewis-revill };
19107f7c002Slewis-revill
19207f7c002Slewis-revill int LibCallID = getLibCallID(MF, CSI);
19307f7c002Slewis-revill if (LibCallID == -1)
19407f7c002Slewis-revill return nullptr;
19507f7c002Slewis-revill return SpillLibCalls[LibCallID];
19607f7c002Slewis-revill }
19707f7c002Slewis-revill
19807f7c002Slewis-revill // Get the name of the libcall used for restoring callee saved registers.
19907f7c002Slewis-revill // If this function will not use save/restore libcalls, then return a nullptr.
20007f7c002Slewis-revill static const char *
getRestoreLibCallName(const MachineFunction & MF,const std::vector<CalleeSavedInfo> & CSI)20107f7c002Slewis-revill getRestoreLibCallName(const MachineFunction &MF,
20207f7c002Slewis-revill const std::vector<CalleeSavedInfo> &CSI) {
20307f7c002Slewis-revill static const char *const RestoreLibCalls[] = {
20407f7c002Slewis-revill "__riscv_restore_0",
20507f7c002Slewis-revill "__riscv_restore_1",
20607f7c002Slewis-revill "__riscv_restore_2",
20707f7c002Slewis-revill "__riscv_restore_3",
20807f7c002Slewis-revill "__riscv_restore_4",
20907f7c002Slewis-revill "__riscv_restore_5",
21007f7c002Slewis-revill "__riscv_restore_6",
21107f7c002Slewis-revill "__riscv_restore_7",
21207f7c002Slewis-revill "__riscv_restore_8",
21307f7c002Slewis-revill "__riscv_restore_9",
21407f7c002Slewis-revill "__riscv_restore_10",
21507f7c002Slewis-revill "__riscv_restore_11",
21607f7c002Slewis-revill "__riscv_restore_12"
21707f7c002Slewis-revill };
21807f7c002Slewis-revill
21907f7c002Slewis-revill int LibCallID = getLibCallID(MF, CSI);
22007f7c002Slewis-revill if (LibCallID == -1)
22107f7c002Slewis-revill return nullptr;
22207f7c002Slewis-revill return RestoreLibCalls[LibCallID];
22307f7c002Slewis-revill }
22407f7c002Slewis-revill
2257a189333SShivam Gupta // Return true if the specified function should have a dedicated frame
2267a189333SShivam Gupta // pointer register. This is true if frame pointer elimination is
2277a189333SShivam Gupta // disabled, if it needs dynamic stack realignment, if the function has
2287a189333SShivam Gupta // variable sized allocas, or if the frame address is taken.
hasFP(const MachineFunction & MF) const2297d6aa1f7SAlex Bradbury bool RISCVFrameLowering::hasFP(const MachineFunction &MF) const {
2307d6aa1f7SAlex Bradbury const TargetRegisterInfo *RegInfo = MF.getSubtarget().getRegisterInfo();
2317d6aa1f7SAlex Bradbury
2327d6aa1f7SAlex Bradbury const MachineFrameInfo &MFI = MF.getFrameInfo();
2337d6aa1f7SAlex Bradbury return MF.getTarget().Options.DisableFramePointerElim(MF) ||
234a9968c0aSTomas Matheson RegInfo->hasStackRealignment(MF) || MFI.hasVarSizedObjects() ||
2357d6aa1f7SAlex Bradbury MFI.isFrameAddressTaken();
2367d6aa1f7SAlex Bradbury }
2378971842fSAlex Bradbury
hasBP(const MachineFunction & MF) const238cf6cf0cdSShiva Chen bool RISCVFrameLowering::hasBP(const MachineFunction &MF) const {
239cf6cf0cdSShiva Chen const MachineFrameInfo &MFI = MF.getFrameInfo();
240cf6cf0cdSShiva Chen const TargetRegisterInfo *TRI = STI.getRegisterInfo();
241cf6cf0cdSShiva Chen
2429a885665SHsiangkai Wang // If we do not reserve stack space for outgoing arguments in prologue,
2439a885665SHsiangkai Wang // we will adjust the stack pointer before call instruction. After the
2449a885665SHsiangkai Wang // adjustment, we can not use SP to access the stack objects for the
2459a885665SHsiangkai Wang // arguments. Instead, use BP to access these stack objects.
2469a885665SHsiangkai Wang return (MFI.hasVarSizedObjects() ||
247ad06e65dSHsiangkai Wang (!hasReservedCallFrame(MF) && (!MFI.isMaxCallFrameSizeComputed() ||
248ad06e65dSHsiangkai Wang MFI.getMaxCallFrameSize() != 0))) &&
2499a885665SHsiangkai Wang TRI->hasStackRealignment(MF);
250cf6cf0cdSShiva Chen }
251cf6cf0cdSShiva Chen
252b014e3deSAlex Bradbury // Determines the size of the frame and maximum call frame size.
determineFrameLayout(MachineFunction & MF) const253b014e3deSAlex Bradbury void RISCVFrameLowering::determineFrameLayout(MachineFunction &MF) const {
254b014e3deSAlex Bradbury MachineFrameInfo &MFI = MF.getFrameInfo();
255cb8681a2SFraser Cormack auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
256b014e3deSAlex Bradbury
257b014e3deSAlex Bradbury // Get the number of bytes to allocate from the FrameInfo.
258b014e3deSAlex Bradbury uint64_t FrameSize = MFI.getStackSize();
259b014e3deSAlex Bradbury
260b014e3deSAlex Bradbury // Get the alignment.
261d000655aSGuillaume Chatelet Align StackAlign = getStackAlign();
262cd44aee3SSam Elliott
263b014e3deSAlex Bradbury // Make sure the frame is aligned.
264b014e3deSAlex Bradbury FrameSize = alignTo(FrameSize, StackAlign);
265b014e3deSAlex Bradbury
266b014e3deSAlex Bradbury // Update frame info.
267b014e3deSAlex Bradbury MFI.setStackSize(FrameSize);
268cb8681a2SFraser Cormack
269cb8681a2SFraser Cormack // When using SP or BP to access stack objects, we may require extra padding
270cb8681a2SFraser Cormack // to ensure the bottom of the RVV stack is correctly aligned within the main
271cb8681a2SFraser Cormack // stack. We calculate this as the amount required to align the scalar local
272cb8681a2SFraser Cormack // variable section up to the RVV alignment.
273cb8681a2SFraser Cormack const TargetRegisterInfo *TRI = STI.getRegisterInfo();
274cb8681a2SFraser Cormack if (RVFI->getRVVStackSize() && (!hasFP(MF) || TRI->hasStackRealignment(MF))) {
275cb8681a2SFraser Cormack int ScalarLocalVarSize = FrameSize - RVFI->getCalleeSavedStackSize() -
276cb8681a2SFraser Cormack RVFI->getVarArgsSaveSize();
277cb8681a2SFraser Cormack if (auto RVVPadding =
278cb8681a2SFraser Cormack offsetToAlignment(ScalarLocalVarSize, RVFI->getRVVStackAlign()))
279cb8681a2SFraser Cormack RVFI->setRVVPadding(RVVPadding);
280cb8681a2SFraser Cormack }
281cb8681a2SFraser Cormack }
282cb8681a2SFraser Cormack
283cb8681a2SFraser Cormack // Returns the stack size including RVV padding (when required), rounded back
284cb8681a2SFraser Cormack // up to the required stack alignment.
getStackSizeWithRVVPadding(const MachineFunction & MF) const285cb8681a2SFraser Cormack uint64_t RISCVFrameLowering::getStackSizeWithRVVPadding(
286cb8681a2SFraser Cormack const MachineFunction &MF) const {
287cb8681a2SFraser Cormack const MachineFrameInfo &MFI = MF.getFrameInfo();
288cb8681a2SFraser Cormack auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
289cb8681a2SFraser Cormack return alignTo(MFI.getStackSize() + RVFI->getRVVPadding(), getStackAlign());
290b014e3deSAlex Bradbury }
291b014e3deSAlex Bradbury
adjustReg(MachineBasicBlock & MBB,MachineBasicBlock::iterator MBBI,const DebugLoc & DL,Register DestReg,Register SrcReg,int64_t Val,MachineInstr::MIFlag Flag) const292b014e3deSAlex Bradbury void RISCVFrameLowering::adjustReg(MachineBasicBlock &MBB,
293b014e3deSAlex Bradbury MachineBasicBlock::iterator MBBI,
294fa06e958SLuis Marques const DebugLoc &DL, Register DestReg,
295fa06e958SLuis Marques Register SrcReg, int64_t Val,
296b014e3deSAlex Bradbury MachineInstr::MIFlag Flag) const {
2979fea4881SAlex Bradbury MachineRegisterInfo &MRI = MBB.getParent()->getRegInfo();
298b014e3deSAlex Bradbury const RISCVInstrInfo *TII = STI.getInstrInfo();
299b014e3deSAlex Bradbury
300b014e3deSAlex Bradbury if (DestReg == SrcReg && Val == 0)
301b014e3deSAlex Bradbury return;
302b014e3deSAlex Bradbury
3039fea4881SAlex Bradbury if (isInt<12>(Val)) {
304b014e3deSAlex Bradbury BuildMI(MBB, MBBI, DL, TII->get(RISCV::ADDI), DestReg)
305b014e3deSAlex Bradbury .addReg(SrcReg)
306b014e3deSAlex Bradbury .addImm(Val)
307b014e3deSAlex Bradbury .setMIFlag(Flag);
3081b2de79fSCraig Topper return;
3091b2de79fSCraig Topper }
3101b2de79fSCraig Topper
3111b2de79fSCraig Topper // Try to split the offset across two ADDIs. We need to keep the stack pointer
3121b2de79fSCraig Topper // aligned after each ADDI. We need to determine the maximum value we can put
3131b2de79fSCraig Topper // in each ADDI. In the negative direction, we can use -2048 which is always
3141b2de79fSCraig Topper // sufficiently aligned. In the positive direction, we need to find the
3151b2de79fSCraig Topper // largest 12-bit immediate that is aligned. Exclude -4096 since it can be
3161b2de79fSCraig Topper // created with LUI.
3171b2de79fSCraig Topper assert(getStackAlign().value() < 2048 && "Stack alignment too large");
3181b2de79fSCraig Topper int64_t MaxPosAdjStep = 2048 - getStackAlign().value();
3191b2de79fSCraig Topper if (Val > -4096 && Val <= (2 * MaxPosAdjStep)) {
3201b2de79fSCraig Topper int64_t FirstAdj = Val < 0 ? -2048 : MaxPosAdjStep;
3211b2de79fSCraig Topper Val -= FirstAdj;
3221b2de79fSCraig Topper BuildMI(MBB, MBBI, DL, TII->get(RISCV::ADDI), DestReg)
3231b2de79fSCraig Topper .addReg(SrcReg)
3241b2de79fSCraig Topper .addImm(FirstAdj)
3251b2de79fSCraig Topper .setMIFlag(Flag);
3261b2de79fSCraig Topper BuildMI(MBB, MBBI, DL, TII->get(RISCV::ADDI), DestReg)
3271b2de79fSCraig Topper .addReg(DestReg, RegState::Kill)
3281b2de79fSCraig Topper .addImm(Val)
3291b2de79fSCraig Topper .setMIFlag(Flag);
3301b2de79fSCraig Topper return;
3311b2de79fSCraig Topper }
3321b2de79fSCraig Topper
3339fea4881SAlex Bradbury unsigned Opc = RISCV::ADD;
3341b2de79fSCraig Topper if (Val < 0) {
3359fea4881SAlex Bradbury Val = -Val;
3369fea4881SAlex Bradbury Opc = RISCV::SUB;
3379fea4881SAlex Bradbury }
3389fea4881SAlex Bradbury
3393836874dSDaniel Sanders Register ScratchReg = MRI.createVirtualRegister(&RISCV::GPRRegClass);
340a49a16ddSShiva Chen TII->movImm(MBB, MBBI, DL, ScratchReg, Val, Flag);
3419fea4881SAlex Bradbury BuildMI(MBB, MBBI, DL, TII->get(Opc), DestReg)
3429fea4881SAlex Bradbury .addReg(SrcReg)
3439fea4881SAlex Bradbury .addReg(ScratchReg, RegState::Kill)
3449fea4881SAlex Bradbury .setMIFlag(Flag);
3459fea4881SAlex Bradbury }
346b014e3deSAlex Bradbury
347b014e3deSAlex Bradbury // Returns the register used to hold the frame pointer.
getFPReg(const RISCVSubtarget & STI)348fa06e958SLuis Marques static Register getFPReg(const RISCVSubtarget &STI) { return RISCV::X8; }
349b014e3deSAlex Bradbury
350b014e3deSAlex Bradbury // Returns the register used to hold the stack pointer.
getSPReg(const RISCVSubtarget & STI)351fa06e958SLuis Marques static Register getSPReg(const RISCVSubtarget &STI) { return RISCV::X2; }
352b014e3deSAlex Bradbury
35307f7c002Slewis-revill static SmallVector<CalleeSavedInfo, 8>
getNonLibcallCSI(const MachineFunction & MF,const std::vector<CalleeSavedInfo> & CSI)3545a31a673SHsiangkai Wang getNonLibcallCSI(const MachineFunction &MF,
3555a31a673SHsiangkai Wang const std::vector<CalleeSavedInfo> &CSI) {
3565a31a673SHsiangkai Wang const MachineFrameInfo &MFI = MF.getFrameInfo();
35707f7c002Slewis-revill SmallVector<CalleeSavedInfo, 8> NonLibcallCSI;
35807f7c002Slewis-revill
3595a31a673SHsiangkai Wang for (auto &CS : CSI) {
3605a31a673SHsiangkai Wang int FI = CS.getFrameIdx();
3615a31a673SHsiangkai Wang if (FI >= 0 && MFI.getStackID(FI) == TargetStackID::Default)
36207f7c002Slewis-revill NonLibcallCSI.push_back(CS);
3635a31a673SHsiangkai Wang }
36407f7c002Slewis-revill
36507f7c002Slewis-revill return NonLibcallCSI;
36607f7c002Slewis-revill }
36707f7c002Slewis-revill
adjustStackForRVV(MachineFunction & MF,MachineBasicBlock & MBB,MachineBasicBlock::iterator MBBI,const DebugLoc & DL,int64_t Amount,MachineInstr::MIFlag Flag) const3685a31a673SHsiangkai Wang void RISCVFrameLowering::adjustStackForRVV(MachineFunction &MF,
3695a31a673SHsiangkai Wang MachineBasicBlock &MBB,
3705a31a673SHsiangkai Wang MachineBasicBlock::iterator MBBI,
3714b2dd318SHsiangkai Wang const DebugLoc &DL, int64_t Amount,
3724b2dd318SHsiangkai Wang MachineInstr::MIFlag Flag) const {
3735a31a673SHsiangkai Wang assert(Amount != 0 && "Did not need to adjust stack pointer for RVV.");
3745a31a673SHsiangkai Wang
3755a31a673SHsiangkai Wang const RISCVInstrInfo *TII = STI.getInstrInfo();
3765a31a673SHsiangkai Wang Register SPReg = getSPReg(STI);
3775a31a673SHsiangkai Wang unsigned Opc = RISCV::ADD;
3785a31a673SHsiangkai Wang if (Amount < 0) {
3795a31a673SHsiangkai Wang Amount = -Amount;
3805a31a673SHsiangkai Wang Opc = RISCV::SUB;
3815a31a673SHsiangkai Wang }
3825a31a673SHsiangkai Wang // 1. Multiply the number of v-slots to the length of registers
383b41e1306SHsiangkai Wang Register FactorRegister =
3844b2dd318SHsiangkai Wang TII->getVLENFactoredAmount(MF, MBB, MBBI, DL, Amount, Flag);
3855a31a673SHsiangkai Wang // 2. SP = SP - RVV stack size
3865a31a673SHsiangkai Wang BuildMI(MBB, MBBI, DL, TII->get(Opc), SPReg)
3875a31a673SHsiangkai Wang .addReg(SPReg)
3884b2dd318SHsiangkai Wang .addReg(FactorRegister, RegState::Kill)
3894b2dd318SHsiangkai Wang .setMIFlag(Flag);
3905a31a673SHsiangkai Wang }
3915a31a673SHsiangkai Wang
emitPrologue(MachineFunction & MF,MachineBasicBlock & MBB) const3928971842fSAlex Bradbury void RISCVFrameLowering::emitPrologue(MachineFunction &MF,
393b014e3deSAlex Bradbury MachineBasicBlock &MBB) const {
394b014e3deSAlex Bradbury MachineFrameInfo &MFI = MF.getFrameInfo();
395c85be0deSAlex Bradbury auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
39604ddf39bSHsiangkai Wang const RISCVRegisterInfo *RI = STI.getRegisterInfo();
39704ddf39bSHsiangkai Wang const RISCVInstrInfo *TII = STI.getInstrInfo();
398b014e3deSAlex Bradbury MachineBasicBlock::iterator MBBI = MBB.begin();
399b014e3deSAlex Bradbury
400fa06e958SLuis Marques Register FPReg = getFPReg(STI);
401fa06e958SLuis Marques Register SPReg = getSPReg(STI);
402cf6cf0cdSShiva Chen Register BPReg = RISCVABI::getBPReg();
403b014e3deSAlex Bradbury
4041c466477SZhaoshi Zheng // Debug location must be unknown since the first debug location is used
4051c466477SZhaoshi Zheng // to determine the end of the prologue.
4061c466477SZhaoshi Zheng DebugLoc DL;
4071c466477SZhaoshi Zheng
408a8dc2110SLuís Marques // All calls are tail calls in GHC calling conv, and functions have no
409a8dc2110SLuís Marques // prologue/epilogue.
410a8dc2110SLuís Marques if (MF.getFunction().getCallingConv() == CallingConv::GHC)
411a8dc2110SLuís Marques return;
412a8dc2110SLuís Marques
4131c466477SZhaoshi Zheng // Emit prologue for shadow call stack.
4141c466477SZhaoshi Zheng emitSCSPrologue(MF, MBB, MBBI, DL);
4151c466477SZhaoshi Zheng
41607f7c002Slewis-revill // Since spillCalleeSavedRegisters may have inserted a libcall, skip past
41707f7c002Slewis-revill // any instructions marked as FrameSetup
41807f7c002Slewis-revill while (MBBI != MBB.end() && MBBI->getFlag(MachineInstr::FrameSetup))
41907f7c002Slewis-revill ++MBBI;
42007f7c002Slewis-revill
421b014e3deSAlex Bradbury // Determine the correct frame layout
422b014e3deSAlex Bradbury determineFrameLayout(MF);
423b014e3deSAlex Bradbury
42407f7c002Slewis-revill // If libcalls are used to spill and restore callee-saved registers, the frame
42507f7c002Slewis-revill // has two sections; the opaque section managed by the libcalls, and the
42607f7c002Slewis-revill // section managed by MachineFrameInfo which can also hold callee saved
42707f7c002Slewis-revill // registers in fixed stack slots, both of which have negative frame indices.
42807f7c002Slewis-revill // This gets even more complicated when incoming arguments are passed via the
42907f7c002Slewis-revill // stack, as these too have negative frame indices. An example is detailed
43007f7c002Slewis-revill // below:
43107f7c002Slewis-revill //
43207f7c002Slewis-revill // | incoming arg | <- FI[-3]
43307f7c002Slewis-revill // | libcallspill |
43407f7c002Slewis-revill // | calleespill | <- FI[-2]
43507f7c002Slewis-revill // | calleespill | <- FI[-1]
43607f7c002Slewis-revill // | this_frame | <- FI[0]
43707f7c002Slewis-revill //
43807f7c002Slewis-revill // For negative frame indices, the offset from the frame pointer will differ
43907f7c002Slewis-revill // depending on which of these groups the frame index applies to.
44007f7c002Slewis-revill // The following calculates the correct offset knowing the number of callee
44107f7c002Slewis-revill // saved registers spilt by the two methods.
44207f7c002Slewis-revill if (int LibCallRegs = getLibCallID(MF, MFI.getCalleeSavedInfo()) + 1) {
44307f7c002Slewis-revill // Calculate the size of the frame managed by the libcall. The libcalls are
44407f7c002Slewis-revill // implemented such that the stack will always be 16 byte aligned.
44507f7c002Slewis-revill unsigned LibCallFrameSize = alignTo((STI.getXLen() / 8) * LibCallRegs, 16);
44607f7c002Slewis-revill RVFI->setLibCallStackSize(LibCallFrameSize);
44707f7c002Slewis-revill }
44807f7c002Slewis-revill
449b014e3deSAlex Bradbury // FIXME (note copied from Lanai): This appears to be overallocating. Needs
450b014e3deSAlex Bradbury // investigation. Get the number of bytes to allocate from the FrameInfo.
451cb8681a2SFraser Cormack uint64_t StackSize = getStackSizeWithRVVPadding(MF);
45207f7c002Slewis-revill uint64_t RealStackSize = StackSize + RVFI->getLibCallStackSize();
4535a31a673SHsiangkai Wang uint64_t RVVStackSize = RVFI->getRVVStackSize();
454b014e3deSAlex Bradbury
455b014e3deSAlex Bradbury // Early exit if there is no need to allocate on the stack
4565a31a673SHsiangkai Wang if (RealStackSize == 0 && !MFI.adjustsStack() && RVVStackSize == 0)
457b014e3deSAlex Bradbury return;
458b014e3deSAlex Bradbury
459aed9d6d6SSimon Cook // If the stack pointer has been marked as reserved, then produce an error if
460aed9d6d6SSimon Cook // the frame requires stack allocation
461aed9d6d6SSimon Cook if (STI.isRegisterReservedByUser(SPReg))
462aed9d6d6SSimon Cook MF.getFunction().getContext().diagnose(DiagnosticInfoUnsupported{
463aed9d6d6SSimon Cook MF.getFunction(), "Stack pointer required, but has been reserved."});
464aed9d6d6SSimon Cook
465ff55e2e0SShiva Chen uint64_t FirstSPAdjustAmount = getFirstSPAdjustAmount(MF);
466ff55e2e0SShiva Chen // Split the SP adjustment to reduce the offsets of callee saved spill.
46707f7c002Slewis-revill if (FirstSPAdjustAmount) {
468ff55e2e0SShiva Chen StackSize = FirstSPAdjustAmount;
46907f7c002Slewis-revill RealStackSize = FirstSPAdjustAmount;
47007f7c002Slewis-revill }
471ff55e2e0SShiva Chen
472b014e3deSAlex Bradbury // Allocate space on the stack if necessary.
473b014e3deSAlex Bradbury adjustReg(MBB, MBBI, DL, SPReg, SPReg, -StackSize, MachineInstr::FrameSetup);
474b014e3deSAlex Bradbury
47507f7c002Slewis-revill // Emit ".cfi_def_cfa_offset RealStackSize"
47604ddf39bSHsiangkai Wang unsigned CFIIndex = MF.addFrameInst(
4770840d725SFangrui Song MCCFIInstruction::cfiDefCfaOffset(nullptr, RealStackSize));
47804ddf39bSHsiangkai Wang BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION))
4794b2dd318SHsiangkai Wang .addCFIIndex(CFIIndex)
4804b2dd318SHsiangkai Wang .setMIFlag(MachineInstr::FrameSetup);
48104ddf39bSHsiangkai Wang
48207f7c002Slewis-revill const auto &CSI = MFI.getCalleeSavedInfo();
48307f7c002Slewis-revill
484b014e3deSAlex Bradbury // The frame pointer is callee-saved, and code has been generated for us to
485b014e3deSAlex Bradbury // save it to the stack. We need to skip over the storing of callee-saved
486b014e3deSAlex Bradbury // registers as the frame pointer must be modified after it has been saved
487b014e3deSAlex Bradbury // to the stack, not before.
488b014e3deSAlex Bradbury // FIXME: assumes exactly one instruction is used to save each callee-saved
489b014e3deSAlex Bradbury // register.
4905a31a673SHsiangkai Wang std::advance(MBBI, getNonLibcallCSI(MF, CSI).size());
491b014e3deSAlex Bradbury
49204ddf39bSHsiangkai Wang // Iterate over list of callee-saved registers and emit .cfi_offset
49304ddf39bSHsiangkai Wang // directives.
49404ddf39bSHsiangkai Wang for (const auto &Entry : CSI) {
49507f7c002Slewis-revill int FrameIdx = Entry.getFrameIdx();
49607f7c002Slewis-revill int64_t Offset;
49707f7c002Slewis-revill // Offsets for objects with fixed locations (IE: those saved by libcall) are
49807f7c002Slewis-revill // simply calculated from the frame index.
49907f7c002Slewis-revill if (FrameIdx < 0)
50007f7c002Slewis-revill Offset = FrameIdx * (int64_t) STI.getXLen() / 8;
50107f7c002Slewis-revill else
50207f7c002Slewis-revill Offset = MFI.getObjectOffset(Entry.getFrameIdx()) -
50307f7c002Slewis-revill RVFI->getLibCallStackSize();
504fa06e958SLuis Marques Register Reg = Entry.getReg();
50504ddf39bSHsiangkai Wang unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::createOffset(
50604ddf39bSHsiangkai Wang nullptr, RI->getDwarfRegNum(Reg, true), Offset));
50704ddf39bSHsiangkai Wang BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION))
5084b2dd318SHsiangkai Wang .addCFIIndex(CFIIndex)
5094b2dd318SHsiangkai Wang .setMIFlag(MachineInstr::FrameSetup);
51004ddf39bSHsiangkai Wang }
51104ddf39bSHsiangkai Wang
512b014e3deSAlex Bradbury // Generate new FP.
51304ddf39bSHsiangkai Wang if (hasFP(MF)) {
514aed9d6d6SSimon Cook if (STI.isRegisterReservedByUser(FPReg))
515aed9d6d6SSimon Cook MF.getFunction().getContext().diagnose(DiagnosticInfoUnsupported{
516aed9d6d6SSimon Cook MF.getFunction(), "Frame pointer required, but has been reserved."});
517aed9d6d6SSimon Cook
5187d6aa1f7SAlex Bradbury adjustReg(MBB, MBBI, DL, FPReg, SPReg,
51907f7c002Slewis-revill RealStackSize - RVFI->getVarArgsSaveSize(),
52007f7c002Slewis-revill MachineInstr::FrameSetup);
52104ddf39bSHsiangkai Wang
5227e49dc61SFangrui Song // Emit ".cfi_def_cfa $fp, RVFI->getVarArgsSaveSize()"
5237e49dc61SFangrui Song unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::cfiDefCfa(
5247e49dc61SFangrui Song nullptr, RI->getDwarfRegNum(FPReg, true), RVFI->getVarArgsSaveSize()));
52504ddf39bSHsiangkai Wang BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION))
5264b2dd318SHsiangkai Wang .addCFIIndex(CFIIndex)
5274b2dd318SHsiangkai Wang .setMIFlag(MachineInstr::FrameSetup);
528ff55e2e0SShiva Chen }
529cd44aee3SSam Elliott
530ff55e2e0SShiva Chen // Emit the second SP adjustment after saving callee saved registers.
531ff55e2e0SShiva Chen if (FirstSPAdjustAmount) {
532cb8681a2SFraser Cormack uint64_t SecondSPAdjustAmount =
533cb8681a2SFraser Cormack getStackSizeWithRVVPadding(MF) - FirstSPAdjustAmount;
534ff55e2e0SShiva Chen assert(SecondSPAdjustAmount > 0 &&
535ff55e2e0SShiva Chen "SecondSPAdjustAmount should be greater than zero");
536ff55e2e0SShiva Chen adjustReg(MBB, MBBI, DL, SPReg, SPReg, -SecondSPAdjustAmount,
537ff55e2e0SShiva Chen MachineInstr::FrameSetup);
5381c737f54SLuís Marques
5391c737f54SLuís Marques // If we are using a frame-pointer, and thus emitted ".cfi_def_cfa fp, 0",
5401c737f54SLuís Marques // don't emit an sp-based .cfi_def_cfa_offset
5411c737f54SLuís Marques if (!hasFP(MF)) {
542ff55e2e0SShiva Chen // Emit ".cfi_def_cfa_offset StackSize"
543cb8681a2SFraser Cormack unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::cfiDefCfaOffset(
544cb8681a2SFraser Cormack nullptr, getStackSizeWithRVVPadding(MF)));
545ff55e2e0SShiva Chen BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION))
5464b2dd318SHsiangkai Wang .addCFIIndex(CFIIndex)
5474b2dd318SHsiangkai Wang .setMIFlag(MachineInstr::FrameSetup);
548ff55e2e0SShiva Chen }
5491c737f54SLuís Marques }
550ff55e2e0SShiva Chen
551a9b9c64fSluxufan if (RVVStackSize)
5524b2dd318SHsiangkai Wang adjustStackForRVV(MF, MBB, MBBI, DL, -RVVStackSize,
5534b2dd318SHsiangkai Wang MachineInstr::FrameSetup);
554a9b9c64fSluxufan
555ff55e2e0SShiva Chen if (hasFP(MF)) {
556cd44aee3SSam Elliott // Realign Stack
557cd44aee3SSam Elliott const RISCVRegisterInfo *RI = STI.getRegisterInfo();
558a9968c0aSTomas Matheson if (RI->hasStackRealignment(MF)) {
559d000655aSGuillaume Chatelet Align MaxAlignment = MFI.getMaxAlign();
560cd44aee3SSam Elliott
561cd44aee3SSam Elliott const RISCVInstrInfo *TII = STI.getInstrInfo();
562d000655aSGuillaume Chatelet if (isInt<12>(-(int)MaxAlignment.value())) {
563cd44aee3SSam Elliott BuildMI(MBB, MBBI, DL, TII->get(RISCV::ANDI), SPReg)
564cd44aee3SSam Elliott .addReg(SPReg)
5654b2dd318SHsiangkai Wang .addImm(-(int)MaxAlignment.value())
5664b2dd318SHsiangkai Wang .setMIFlag(MachineInstr::FrameSetup);
567cd44aee3SSam Elliott } else {
568d000655aSGuillaume Chatelet unsigned ShiftAmount = Log2(MaxAlignment);
569fa06e958SLuis Marques Register VR =
570cd44aee3SSam Elliott MF.getRegInfo().createVirtualRegister(&RISCV::GPRRegClass);
571cd44aee3SSam Elliott BuildMI(MBB, MBBI, DL, TII->get(RISCV::SRLI), VR)
572cd44aee3SSam Elliott .addReg(SPReg)
5734b2dd318SHsiangkai Wang .addImm(ShiftAmount)
5744b2dd318SHsiangkai Wang .setMIFlag(MachineInstr::FrameSetup);
575cd44aee3SSam Elliott BuildMI(MBB, MBBI, DL, TII->get(RISCV::SLLI), SPReg)
576cd44aee3SSam Elliott .addReg(VR)
5774b2dd318SHsiangkai Wang .addImm(ShiftAmount)
5784b2dd318SHsiangkai Wang .setMIFlag(MachineInstr::FrameSetup);
579cd44aee3SSam Elliott }
580cf6cf0cdSShiva Chen // FP will be used to restore the frame in the epilogue, so we need
581cf6cf0cdSShiva Chen // another base register BP to record SP after re-alignment. SP will
582cf6cf0cdSShiva Chen // track the current stack after allocating variable sized objects.
583cf6cf0cdSShiva Chen if (hasBP(MF)) {
584cf6cf0cdSShiva Chen // move BP, SP
5854b2dd318SHsiangkai Wang BuildMI(MBB, MBBI, DL, TII->get(RISCV::ADDI), BPReg)
5864b2dd318SHsiangkai Wang .addReg(SPReg)
5874b2dd318SHsiangkai Wang .addImm(0)
5884b2dd318SHsiangkai Wang .setMIFlag(MachineInstr::FrameSetup);
589cf6cf0cdSShiva Chen }
590cd44aee3SSam Elliott }
59104ddf39bSHsiangkai Wang }
592b014e3deSAlex Bradbury }
5938971842fSAlex Bradbury
emitEpilogue(MachineFunction & MF,MachineBasicBlock & MBB) const5948971842fSAlex Bradbury void RISCVFrameLowering::emitEpilogue(MachineFunction &MF,
595b014e3deSAlex Bradbury MachineBasicBlock &MBB) const {
596b014e3deSAlex Bradbury const RISCVRegisterInfo *RI = STI.getRegisterInfo();
597b014e3deSAlex Bradbury MachineFrameInfo &MFI = MF.getFrameInfo();
598c85be0deSAlex Bradbury auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
599fa06e958SLuis Marques Register FPReg = getFPReg(STI);
600fa06e958SLuis Marques Register SPReg = getSPReg(STI);
601b014e3deSAlex Bradbury
602a8dc2110SLuís Marques // All calls are tail calls in GHC calling conv, and functions have no
603a8dc2110SLuís Marques // prologue/epilogue.
604a8dc2110SLuís Marques if (MF.getFunction().getCallingConv() == CallingConv::GHC)
605a8dc2110SLuís Marques return;
606a8dc2110SLuís Marques
607cd800f3bSlewis-revill // Get the insert location for the epilogue. If there were no terminators in
608cd800f3bSlewis-revill // the block, get the last instruction.
609cd800f3bSlewis-revill MachineBasicBlock::iterator MBBI = MBB.end();
610cd800f3bSlewis-revill DebugLoc DL;
611cd800f3bSlewis-revill if (!MBB.empty()) {
612cd800f3bSlewis-revill MBBI = MBB.getLastNonDebugInstr();
613e098281cSluxufan if (MBBI != MBB.end())
614cd800f3bSlewis-revill DL = MBBI->getDebugLoc();
615cd800f3bSlewis-revill
616e098281cSluxufan MBBI = MBB.getFirstTerminator();
61707f7c002Slewis-revill
61807f7c002Slewis-revill // If callee-saved registers are saved via libcall, place stack adjustment
61907f7c002Slewis-revill // before this call.
62007f7c002Slewis-revill while (MBBI != MBB.begin() &&
62107f7c002Slewis-revill std::prev(MBBI)->getFlag(MachineInstr::FrameDestroy))
62207f7c002Slewis-revill --MBBI;
623cd800f3bSlewis-revill }
624cd800f3bSlewis-revill
6255a31a673SHsiangkai Wang const auto &CSI = getNonLibcallCSI(MF, MFI.getCalleeSavedInfo());
62607f7c002Slewis-revill
627b014e3deSAlex Bradbury // Skip to before the restores of callee-saved registers
628b014e3deSAlex Bradbury // FIXME: assumes exactly one instruction is used to restore each
629b014e3deSAlex Bradbury // callee-saved register.
63007f7c002Slewis-revill auto LastFrameDestroy = MBBI;
63107f7c002Slewis-revill if (!CSI.empty())
63207f7c002Slewis-revill LastFrameDestroy = std::prev(MBBI, CSI.size());
633b014e3deSAlex Bradbury
634cb8681a2SFraser Cormack uint64_t StackSize = getStackSizeWithRVVPadding(MF);
63507f7c002Slewis-revill uint64_t RealStackSize = StackSize + RVFI->getLibCallStackSize();
63607f7c002Slewis-revill uint64_t FPOffset = RealStackSize - RVFI->getVarArgsSaveSize();
6375a31a673SHsiangkai Wang uint64_t RVVStackSize = RVFI->getRVVStackSize();
638b014e3deSAlex Bradbury
639b014e3deSAlex Bradbury // Restore the stack pointer using the value of the frame pointer. Only
640b014e3deSAlex Bradbury // necessary if the stack pointer was modified, meaning the stack size is
641b014e3deSAlex Bradbury // unknown.
6424b11f909SKito Cheng //
6434b11f909SKito Cheng // In order to make sure the stack point is right through the EH region,
6444b11f909SKito Cheng // we also need to restore stack pointer from the frame pointer if we
6454b11f909SKito Cheng // don't preserve stack space within prologue/epilogue for outgoing variables,
6464b11f909SKito Cheng // normally it's just checking the variable sized object is present or not
6474b11f909SKito Cheng // is enough, but we also don't preserve that at prologue/epilogue when
6484b11f909SKito Cheng // have vector objects in stack.
6494b11f909SKito Cheng if (RI->hasStackRealignment(MF) || MFI.hasVarSizedObjects() ||
6504b11f909SKito Cheng !hasReservedCallFrame(MF)) {
6517d6aa1f7SAlex Bradbury assert(hasFP(MF) && "frame pointer should not have been eliminated");
65204ddf39bSHsiangkai Wang adjustReg(MBB, LastFrameDestroy, DL, SPReg, FPReg, -FPOffset,
653b014e3deSAlex Bradbury MachineInstr::FrameDestroy);
6545a31a673SHsiangkai Wang } else {
6555a31a673SHsiangkai Wang if (RVVStackSize)
6564b2dd318SHsiangkai Wang adjustStackForRVV(MF, MBB, LastFrameDestroy, DL, RVVStackSize,
6574b2dd318SHsiangkai Wang MachineInstr::FrameDestroy);
658b014e3deSAlex Bradbury }
659b014e3deSAlex Bradbury
660ff55e2e0SShiva Chen uint64_t FirstSPAdjustAmount = getFirstSPAdjustAmount(MF);
661ff55e2e0SShiva Chen if (FirstSPAdjustAmount) {
662cb8681a2SFraser Cormack uint64_t SecondSPAdjustAmount =
663cb8681a2SFraser Cormack getStackSizeWithRVVPadding(MF) - FirstSPAdjustAmount;
664ff55e2e0SShiva Chen assert(SecondSPAdjustAmount > 0 &&
665ff55e2e0SShiva Chen "SecondSPAdjustAmount should be greater than zero");
666ff55e2e0SShiva Chen
667ff55e2e0SShiva Chen adjustReg(MBB, LastFrameDestroy, DL, SPReg, SPReg, SecondSPAdjustAmount,
668ff55e2e0SShiva Chen MachineInstr::FrameDestroy);
66904ddf39bSHsiangkai Wang }
67004ddf39bSHsiangkai Wang
671ff55e2e0SShiva Chen if (FirstSPAdjustAmount)
672ff55e2e0SShiva Chen StackSize = FirstSPAdjustAmount;
673ff55e2e0SShiva Chen
674b014e3deSAlex Bradbury // Deallocate stack
675b014e3deSAlex Bradbury adjustReg(MBB, MBBI, DL, SPReg, SPReg, StackSize, MachineInstr::FrameDestroy);
6761c466477SZhaoshi Zheng
6771c466477SZhaoshi Zheng // Emit epilogue for shadow call stack.
6781c466477SZhaoshi Zheng emitSCSEpilogue(MF, MBB, MBBI, DL);
679b014e3deSAlex Bradbury }
680660bccecSAlex Bradbury
681d57bba7cSSander de Smalen StackOffset
getFrameIndexReference(const MachineFunction & MF,int FI,Register & FrameReg) const682d57bba7cSSander de Smalen RISCVFrameLowering::getFrameIndexReference(const MachineFunction &MF, int FI,
6832481f26aSMatt Arsenault Register &FrameReg) const {
684660bccecSAlex Bradbury const MachineFrameInfo &MFI = MF.getFrameInfo();
685660bccecSAlex Bradbury const TargetRegisterInfo *RI = MF.getSubtarget().getRegisterInfo();
686c85be0deSAlex Bradbury const auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
687660bccecSAlex Bradbury
688660bccecSAlex Bradbury // Callee-saved registers should be referenced relative to the stack
689660bccecSAlex Bradbury // pointer (positive offset), otherwise use the frame pointer (negative
690660bccecSAlex Bradbury // offset).
6915a31a673SHsiangkai Wang const auto &CSI = getNonLibcallCSI(MF, MFI.getCalleeSavedInfo());
692660bccecSAlex Bradbury int MinCSFI = 0;
693660bccecSAlex Bradbury int MaxCSFI = -1;
6945a31a673SHsiangkai Wang StackOffset Offset;
6955a31a673SHsiangkai Wang auto StackID = MFI.getStackID(FI);
696660bccecSAlex Bradbury
6975a31a673SHsiangkai Wang assert((StackID == TargetStackID::Default ||
6985a31a673SHsiangkai Wang StackID == TargetStackID::ScalableVector) &&
6995a31a673SHsiangkai Wang "Unexpected stack ID for the frame object.");
7005a31a673SHsiangkai Wang if (StackID == TargetStackID::Default) {
7015a31a673SHsiangkai Wang Offset =
7025a31a673SHsiangkai Wang StackOffset::getFixed(MFI.getObjectOffset(FI) - getOffsetOfLocalArea() +
7035a31a673SHsiangkai Wang MFI.getOffsetAdjustment());
7045a31a673SHsiangkai Wang } else if (StackID == TargetStackID::ScalableVector) {
7055a31a673SHsiangkai Wang Offset = StackOffset::getScalable(MFI.getObjectOffset(FI));
7065a31a673SHsiangkai Wang }
707660bccecSAlex Bradbury
708ff55e2e0SShiva Chen uint64_t FirstSPAdjustAmount = getFirstSPAdjustAmount(MF);
709ff55e2e0SShiva Chen
710660bccecSAlex Bradbury if (CSI.size()) {
711660bccecSAlex Bradbury MinCSFI = CSI[0].getFrameIdx();
712660bccecSAlex Bradbury MaxCSFI = CSI[CSI.size() - 1].getFrameIdx();
713660bccecSAlex Bradbury }
714660bccecSAlex Bradbury
715660bccecSAlex Bradbury if (FI >= MinCSFI && FI <= MaxCSFI) {
716660bccecSAlex Bradbury FrameReg = RISCV::X2;
717ff55e2e0SShiva Chen
718ff55e2e0SShiva Chen if (FirstSPAdjustAmount)
7195a31a673SHsiangkai Wang Offset += StackOffset::getFixed(FirstSPAdjustAmount);
720ff55e2e0SShiva Chen else
721cb8681a2SFraser Cormack Offset += StackOffset::getFixed(getStackSizeWithRVVPadding(MF));
722d58cc083SPhilip Reames return Offset;
723d58cc083SPhilip Reames }
724d58cc083SPhilip Reames
725d58cc083SPhilip Reames if (RI->hasStackRealignment(MF) && !MFI.isFixedObjectIndex(FI)) {
726cd44aee3SSam Elliott // If the stack was realigned, the frame pointer is set in order to allow
727cf6cf0cdSShiva Chen // SP to be restored, so we need another base register to record the stack
728cf6cf0cdSShiva Chen // after realignment.
7295a31a673SHsiangkai Wang // |--------------------------| -- <-- FP
7309c5aedfbSKito Cheng // | callee-allocated save | | <----|
7319c5aedfbSKito Cheng // | area for register varargs| | |
7329c5aedfbSKito Cheng // |--------------------------| | |
7339c5aedfbSKito Cheng // | callee-saved registers | | |
734a9b9c64fSluxufan // |--------------------------| -- |
735a9b9c64fSluxufan // | realignment (the size of | | |
736a9b9c64fSluxufan // | this area is not counted | | |
737a9b9c64fSluxufan // | in MFI.getStackSize()) | | |
738a9b9c64fSluxufan // |--------------------------| -- |-- MFI.getStackSize()
739cb8681a2SFraser Cormack // | RVV alignment padding | | |
740cb8681a2SFraser Cormack // | (not counted in | | |
741cb8681a2SFraser Cormack // | MFI.getStackSize() but | | |
742cb8681a2SFraser Cormack // | counted in | | |
743cb8681a2SFraser Cormack // | RVFI.getRVVStackSize()) | | |
744cb8681a2SFraser Cormack // |--------------------------| -- |
745a9b9c64fSluxufan // | RVV objects | | |
746ef76a333SRoger Ferrer Ibanez // | (not counted in | | |
747fcaa64d9SFraser Cormack // | MFI.getStackSize()) | | |
748a9b9c64fSluxufan // |--------------------------| -- |
749cb8681a2SFraser Cormack // | padding before RVV | | |
750ef76a333SRoger Ferrer Ibanez // | (not counted in | | |
751cb8681a2SFraser Cormack // | MFI.getStackSize() or in | | |
752cb8681a2SFraser Cormack // | RVFI.getRVVStackSize()) | | |
753ef76a333SRoger Ferrer Ibanez // |--------------------------| -- |
754ef76a333SRoger Ferrer Ibanez // | scalar local variables | | <----'
755dd336b68SPhilip Reames // |--------------------------| -- <-- BP (if var sized objects present)
7565a31a673SHsiangkai Wang // | VarSize objects | |
7575a31a673SHsiangkai Wang // |--------------------------| -- <-- SP
758dd336b68SPhilip Reames if (hasBP(MF)) {
759dd336b68SPhilip Reames FrameReg = RISCVABI::getBPReg();
7605a31a673SHsiangkai Wang } else {
761dd336b68SPhilip Reames // VarSize objects must be empty in this case!
762dd336b68SPhilip Reames assert(!MFI.hasVarSizedObjects());
763cd44aee3SSam Elliott FrameReg = RISCV::X2;
7645a31a673SHsiangkai Wang }
765c85be0deSAlex Bradbury } else {
766c85be0deSAlex Bradbury FrameReg = RI->getFrameRegister(MF);
767d58cc083SPhilip Reames }
768d58cc083SPhilip Reames
769d58cc083SPhilip Reames if (FrameReg == getFPReg(STI)) {
7705a31a673SHsiangkai Wang Offset += StackOffset::getFixed(RVFI->getVarArgsSaveSize());
77107f7c002Slewis-revill if (FI >= 0)
7725a31a673SHsiangkai Wang Offset -= StackOffset::getFixed(RVFI->getLibCallStackSize());
7735a31a673SHsiangkai Wang // When using FP to access scalable vector objects, we need to minus
7745a31a673SHsiangkai Wang // the frame size.
7755a31a673SHsiangkai Wang //
7765a31a673SHsiangkai Wang // |--------------------------| -- <-- FP
7779c5aedfbSKito Cheng // | callee-allocated save | |
7789c5aedfbSKito Cheng // | area for register varargs| |
7799c5aedfbSKito Cheng // |--------------------------| |
7805a31a673SHsiangkai Wang // | callee-saved registers | |
7815a31a673SHsiangkai Wang // |--------------------------| | MFI.getStackSize()
7825a31a673SHsiangkai Wang // | scalar local variables | |
7835a31a673SHsiangkai Wang // |--------------------------| -- (Offset of RVV objects is from here.)
7845a31a673SHsiangkai Wang // | RVV objects |
7855a31a673SHsiangkai Wang // |--------------------------|
7865a31a673SHsiangkai Wang // | VarSize objects |
7875a31a673SHsiangkai Wang // |--------------------------| <-- SP
788cb8681a2SFraser Cormack if (MFI.getStackID(FI) == TargetStackID::ScalableVector) {
789d58cc083SPhilip Reames assert(!RI->hasStackRealignment(MF) &&
790d58cc083SPhilip Reames "Can't index across variable sized realign");
791cb8681a2SFraser Cormack // We don't expect any extra RVV alignment padding, as the stack size
792cb8681a2SFraser Cormack // and RVV object sections should be correct aligned in their own
793cb8681a2SFraser Cormack // right.
794cb8681a2SFraser Cormack assert(MFI.getStackSize() == getStackSizeWithRVVPadding(MF) &&
795cb8681a2SFraser Cormack "Inconsistent stack layout");
7965a31a673SHsiangkai Wang Offset -= StackOffset::getFixed(MFI.getStackSize());
797cb8681a2SFraser Cormack }
798d58cc083SPhilip Reames return Offset;
799d58cc083SPhilip Reames }
800d58cc083SPhilip Reames
801d58cc083SPhilip Reames // This case handles indexing off both SP and BP.
802d58cc083SPhilip Reames // If indexing off SP, there must not be any var sized objects
803d58cc083SPhilip Reames assert(FrameReg == RISCVABI::getBPReg() || !MFI.hasVarSizedObjects());
804d58cc083SPhilip Reames
8055a31a673SHsiangkai Wang // When using SP to access frame objects, we need to add RVV stack size.
8065a31a673SHsiangkai Wang //
8075a31a673SHsiangkai Wang // |--------------------------| -- <-- FP
8089c5aedfbSKito Cheng // | callee-allocated save | | <----|
8099c5aedfbSKito Cheng // | area for register varargs| | |
8109c5aedfbSKito Cheng // |--------------------------| | |
8119c5aedfbSKito Cheng // | callee-saved registers | | |
812ef76a333SRoger Ferrer Ibanez // |--------------------------| -- |
813cb8681a2SFraser Cormack // | RVV alignment padding | | |
814ef76a333SRoger Ferrer Ibanez // | (not counted in | | |
815cb8681a2SFraser Cormack // | MFI.getStackSize() but | | |
816cb8681a2SFraser Cormack // | counted in | | |
817cb8681a2SFraser Cormack // | RVFI.getRVVStackSize()) | | |
818a9b9c64fSluxufan // |--------------------------| -- |
819a9b9c64fSluxufan // | RVV objects | | |-- MFI.getStackSize()
820ef76a333SRoger Ferrer Ibanez // | (not counted in | | |
821fcaa64d9SFraser Cormack // | MFI.getStackSize()) | | |
822a9b9c64fSluxufan // |--------------------------| -- |
823cb8681a2SFraser Cormack // | padding before RVV | | |
824ef76a333SRoger Ferrer Ibanez // | (not counted in | | |
825fcaa64d9SFraser Cormack // | MFI.getStackSize()) | | |
826ef76a333SRoger Ferrer Ibanez // |--------------------------| -- |
827ef76a333SRoger Ferrer Ibanez // | scalar local variables | | <----'
828d58cc083SPhilip Reames // |--------------------------| -- <-- BP (if var sized objects present)
829d58cc083SPhilip Reames // | VarSize objects | |
8305a31a673SHsiangkai Wang // |--------------------------| -- <-- SP
831ef76a333SRoger Ferrer Ibanez //
832ef76a333SRoger Ferrer Ibanez // The total amount of padding surrounding RVV objects is described by
833ef76a333SRoger Ferrer Ibanez // RVV->getRVVPadding() and it can be zero. It allows us to align the RVV
834cb8681a2SFraser Cormack // objects to the required alignment.
8355a31a673SHsiangkai Wang if (MFI.getStackID(FI) == TargetStackID::Default) {
8365603ed60Sluxufan if (MFI.isFixedObjectIndex(FI)) {
837d58cc083SPhilip Reames assert(!RI->hasStackRealignment(MF) &&
838d58cc083SPhilip Reames "Can't index across variable sized realign");
839cb8681a2SFraser Cormack Offset += StackOffset::get(getStackSizeWithRVVPadding(MF) +
84052c60459SFraser Cormack RVFI->getLibCallStackSize(),
84152c60459SFraser Cormack RVFI->getRVVStackSize());
8425603ed60Sluxufan } else {
8435a31a673SHsiangkai Wang Offset += StackOffset::getFixed(MFI.getStackSize());
8445603ed60Sluxufan }
845a9b9c64fSluxufan } else if (MFI.getStackID(FI) == TargetStackID::ScalableVector) {
846cb8681a2SFraser Cormack // Ensure the base of the RVV stack is correctly aligned: add on the
847cb8681a2SFraser Cormack // alignment padding.
848cb8681a2SFraser Cormack int ScalarLocalVarSize =
849cb8681a2SFraser Cormack MFI.getStackSize() - RVFI->getCalleeSavedStackSize() -
850cb8681a2SFraser Cormack RVFI->getVarArgsSaveSize() + RVFI->getRVVPadding();
851cb8681a2SFraser Cormack Offset += StackOffset::get(ScalarLocalVarSize, RVFI->getRVVStackSize());
85207f7c002Slewis-revill }
8535a31a673SHsiangkai Wang return Offset;
854660bccecSAlex Bradbury }
855b014e3deSAlex Bradbury
determineCalleeSaves(MachineFunction & MF,BitVector & SavedRegs,RegScavenger * RS) const856b014e3deSAlex Bradbury void RISCVFrameLowering::determineCalleeSaves(MachineFunction &MF,
857b014e3deSAlex Bradbury BitVector &SavedRegs,
858b014e3deSAlex Bradbury RegScavenger *RS) const {
859b014e3deSAlex Bradbury TargetFrameLowering::determineCalleeSaves(MF, SavedRegs, RS);
8607d6aa1f7SAlex Bradbury // Unconditionally spill RA and FP only if the function uses a frame
8617d6aa1f7SAlex Bradbury // pointer.
8627d6aa1f7SAlex Bradbury if (hasFP(MF)) {
863b014e3deSAlex Bradbury SavedRegs.set(RISCV::X1);
864b014e3deSAlex Bradbury SavedRegs.set(RISCV::X8);
865b014e3deSAlex Bradbury }
866cf6cf0cdSShiva Chen // Mark BP as used if function has dedicated base pointer.
867cf6cf0cdSShiva Chen if (hasBP(MF))
868cf6cf0cdSShiva Chen SavedRegs.set(RISCVABI::getBPReg());
8692e4106b7SAna Pazos
8702e4106b7SAna Pazos // If interrupt is enabled and there are calls in the handler,
8712e4106b7SAna Pazos // unconditionally save all Caller-saved registers and
8722e4106b7SAna Pazos // all FP registers, regardless whether they are used.
8732e4106b7SAna Pazos MachineFrameInfo &MFI = MF.getFrameInfo();
8742e4106b7SAna Pazos
8752e4106b7SAna Pazos if (MF.getFunction().hasFnAttribute("interrupt") && MFI.hasCalls()) {
8762e4106b7SAna Pazos
8772e4106b7SAna Pazos static const MCPhysReg CSRegs[] = { RISCV::X1, /* ra */
8782e4106b7SAna Pazos RISCV::X5, RISCV::X6, RISCV::X7, /* t0-t2 */
8792e4106b7SAna Pazos RISCV::X10, RISCV::X11, /* a0-a1, a2-a7 */
8802e4106b7SAna Pazos RISCV::X12, RISCV::X13, RISCV::X14, RISCV::X15, RISCV::X16, RISCV::X17,
8812e4106b7SAna Pazos RISCV::X28, RISCV::X29, RISCV::X30, RISCV::X31, 0 /* t3-t6 */
8822e4106b7SAna Pazos };
8832e4106b7SAna Pazos
8842e4106b7SAna Pazos for (unsigned i = 0; CSRegs[i]; ++i)
8852e4106b7SAna Pazos SavedRegs.set(CSRegs[i]);
8862e4106b7SAna Pazos
887f7bc7c29SHsiangkai Wang if (MF.getSubtarget<RISCVSubtarget>().hasStdExtF()) {
8882e4106b7SAna Pazos
8892e4106b7SAna Pazos // If interrupt is enabled, this list contains all FP registers.
8902e4106b7SAna Pazos const MCPhysReg * Regs = MF.getRegInfo().getCalleeSavedRegs();
8912e4106b7SAna Pazos
8922e4106b7SAna Pazos for (unsigned i = 0; Regs[i]; ++i)
893f7bc7c29SHsiangkai Wang if (RISCV::FPR16RegClass.contains(Regs[i]) ||
894f7bc7c29SHsiangkai Wang RISCV::FPR32RegClass.contains(Regs[i]) ||
8952e4106b7SAna Pazos RISCV::FPR64RegClass.contains(Regs[i]))
8962e4106b7SAna Pazos SavedRegs.set(Regs[i]);
8972e4106b7SAna Pazos }
8982e4106b7SAna Pazos }
8997d6aa1f7SAlex Bradbury }
9000715d35eSAlex Bradbury
901cb8681a2SFraser Cormack std::pair<int64_t, Align>
assignRVVStackObjectOffsets(MachineFunction & MF) const902*b336cf85SFraser Cormack RISCVFrameLowering::assignRVVStackObjectOffsets(MachineFunction &MF) const {
903*b336cf85SFraser Cormack MachineFrameInfo &MFI = MF.getFrameInfo();
9045a31a673SHsiangkai Wang // Create a buffer of RVV objects to allocate.
9055a31a673SHsiangkai Wang SmallVector<int, 8> ObjectsToAllocate;
9065a31a673SHsiangkai Wang for (int I = 0, E = MFI.getObjectIndexEnd(); I != E; ++I) {
9075a31a673SHsiangkai Wang unsigned StackID = MFI.getStackID(I);
9085a31a673SHsiangkai Wang if (StackID != TargetStackID::ScalableVector)
9095a31a673SHsiangkai Wang continue;
9105a31a673SHsiangkai Wang if (MFI.isDeadObjectIndex(I))
9115a31a673SHsiangkai Wang continue;
9125a31a673SHsiangkai Wang
9135a31a673SHsiangkai Wang ObjectsToAllocate.push_back(I);
9145a31a673SHsiangkai Wang }
9155a31a673SHsiangkai Wang
916cb8681a2SFraser Cormack // The minimum alignment is 16 bytes.
917cb8681a2SFraser Cormack Align RVVStackAlign(16);
918*b336cf85SFraser Cormack const auto &ST = MF.getSubtarget<RISCVSubtarget>();
919*b336cf85SFraser Cormack
920*b336cf85SFraser Cormack if (!ST.hasVInstructions()) {
921*b336cf85SFraser Cormack assert(ObjectsToAllocate.empty() &&
922*b336cf85SFraser Cormack "Can't allocate scalable-vector objects without V instructions");
923*b336cf85SFraser Cormack return std::make_pair(0, RVVStackAlign);
924*b336cf85SFraser Cormack }
925*b336cf85SFraser Cormack
926*b336cf85SFraser Cormack // Allocate all RVV locals and spills
927*b336cf85SFraser Cormack int64_t Offset = 0;
9285a31a673SHsiangkai Wang for (int FI : ObjectsToAllocate) {
9295a31a673SHsiangkai Wang // ObjectSize in bytes.
9305a31a673SHsiangkai Wang int64_t ObjectSize = MFI.getObjectSize(FI);
931cb8681a2SFraser Cormack auto ObjectAlign = std::max(Align(8), MFI.getObjectAlign(FI));
9325a31a673SHsiangkai Wang // If the data type is the fractional vector type, reserve one vector
9335a31a673SHsiangkai Wang // register for it.
9345a31a673SHsiangkai Wang if (ObjectSize < 8)
9355a31a673SHsiangkai Wang ObjectSize = 8;
936cb8681a2SFraser Cormack Offset = alignTo(Offset + ObjectSize, ObjectAlign);
9375a31a673SHsiangkai Wang MFI.setObjectOffset(FI, -Offset);
938cb8681a2SFraser Cormack // Update the maximum alignment of the RVV stack section
939cb8681a2SFraser Cormack RVVStackAlign = std::max(RVVStackAlign, ObjectAlign);
9405a31a673SHsiangkai Wang }
9415a31a673SHsiangkai Wang
942cb8681a2SFraser Cormack // Ensure the alignment of the RVV stack. Since we want the most-aligned
943cb8681a2SFraser Cormack // object right at the bottom (i.e., any padding at the top of the frame),
944cb8681a2SFraser Cormack // readjust all RVV objects down by the alignment padding.
945cb8681a2SFraser Cormack uint64_t StackSize = Offset;
946cb8681a2SFraser Cormack if (auto AlignmentPadding = offsetToAlignment(StackSize, RVVStackAlign)) {
947cb8681a2SFraser Cormack StackSize += AlignmentPadding;
948cb8681a2SFraser Cormack for (int FI : ObjectsToAllocate)
949cb8681a2SFraser Cormack MFI.setObjectOffset(FI, MFI.getObjectOffset(FI) - AlignmentPadding);
950cb8681a2SFraser Cormack }
951cb8681a2SFraser Cormack
952cb8681a2SFraser Cormack return std::make_pair(StackSize, RVVStackAlign);
9535a31a673SHsiangkai Wang }
9545a31a673SHsiangkai Wang
getScavSlotsNumForRVV(MachineFunction & MF)9550f45eaf0Sluxufan static unsigned getScavSlotsNumForRVV(MachineFunction &MF) {
9560f45eaf0Sluxufan // For RVV spill, scalable stack offsets computing requires up to two scratch
9570f45eaf0Sluxufan // registers
9580f45eaf0Sluxufan static constexpr unsigned ScavSlotsNumRVVSpillScalableObject = 2;
9590f45eaf0Sluxufan
9600f45eaf0Sluxufan // For RVV spill, non-scalable stack offsets computing requires up to one
9610f45eaf0Sluxufan // scratch register.
9620f45eaf0Sluxufan static constexpr unsigned ScavSlotsNumRVVSpillNonScalableObject = 1;
9630f45eaf0Sluxufan
9640f45eaf0Sluxufan // ADDI instruction's destination register can be used for computing
9650f45eaf0Sluxufan // offsets. So Scalable stack offsets require up to one scratch register.
9660f45eaf0Sluxufan static constexpr unsigned ScavSlotsADDIScalableObject = 1;
9670f45eaf0Sluxufan
9680f45eaf0Sluxufan static constexpr unsigned MaxScavSlotsNumKnown =
9690f45eaf0Sluxufan std::max({ScavSlotsADDIScalableObject, ScavSlotsNumRVVSpillScalableObject,
9700f45eaf0Sluxufan ScavSlotsNumRVVSpillNonScalableObject});
9710f45eaf0Sluxufan
9720f45eaf0Sluxufan unsigned MaxScavSlotsNum = 0;
9731387483eSCraig Topper if (!MF.getSubtarget<RISCVSubtarget>().hasVInstructions())
9748790e852SFraser Cormack return false;
975d63b6684SCraig Topper for (const MachineBasicBlock &MBB : MF)
9760f45eaf0Sluxufan for (const MachineInstr &MI : MBB) {
9770f45eaf0Sluxufan bool IsRVVSpill = RISCV::isRVVSpill(MI);
9780f45eaf0Sluxufan for (auto &MO : MI.operands()) {
9790f45eaf0Sluxufan if (!MO.isFI())
9800f45eaf0Sluxufan continue;
9810f45eaf0Sluxufan bool IsScalableVectorID = MF.getFrameInfo().getStackID(MO.getIndex()) ==
9820f45eaf0Sluxufan TargetStackID::ScalableVector;
9830f45eaf0Sluxufan if (IsRVVSpill) {
9840f45eaf0Sluxufan MaxScavSlotsNum = std::max(
9850f45eaf0Sluxufan MaxScavSlotsNum, IsScalableVectorID
9860f45eaf0Sluxufan ? ScavSlotsNumRVVSpillScalableObject
9870f45eaf0Sluxufan : ScavSlotsNumRVVSpillNonScalableObject);
9880f45eaf0Sluxufan } else if (MI.getOpcode() == RISCV::ADDI && IsScalableVectorID) {
9890f45eaf0Sluxufan MaxScavSlotsNum =
9900f45eaf0Sluxufan std::max(MaxScavSlotsNum, ScavSlotsADDIScalableObject);
9910f45eaf0Sluxufan }
9920f45eaf0Sluxufan }
9930f45eaf0Sluxufan if (MaxScavSlotsNum == MaxScavSlotsNumKnown)
9940f45eaf0Sluxufan return MaxScavSlotsNumKnown;
9950f45eaf0Sluxufan }
9960f45eaf0Sluxufan return MaxScavSlotsNum;
9978790e852SFraser Cormack }
9988790e852SFraser Cormack
processFunctionBeforeFrameFinalized(MachineFunction & MF,RegScavenger * RS) const9990715d35eSAlex Bradbury void RISCVFrameLowering::processFunctionBeforeFrameFinalized(
10000715d35eSAlex Bradbury MachineFunction &MF, RegScavenger *RS) const {
10018790e852SFraser Cormack const RISCVRegisterInfo *RegInfo =
10028790e852SFraser Cormack MF.getSubtarget<RISCVSubtarget>().getRegisterInfo();
10030715d35eSAlex Bradbury MachineFrameInfo &MFI = MF.getFrameInfo();
10040715d35eSAlex Bradbury const TargetRegisterClass *RC = &RISCV::GPRRegClass;
1005a9b9c64fSluxufan auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
1006a9b9c64fSluxufan
1007cb8681a2SFraser Cormack int64_t RVVStackSize;
1008cb8681a2SFraser Cormack Align RVVStackAlign;
1009*b336cf85SFraser Cormack std::tie(RVVStackSize, RVVStackAlign) = assignRVVStackObjectOffsets(MF);
1010cb8681a2SFraser Cormack
1011a9b9c64fSluxufan RVFI->setRVVStackSize(RVVStackSize);
1012cb8681a2SFraser Cormack RVFI->setRVVStackAlign(RVVStackAlign);
1013cb8681a2SFraser Cormack
101408c9fb84SFraser Cormack // Ensure the entire stack is aligned to at least the RVV requirement: some
101508c9fb84SFraser Cormack // scalable-vector object alignments are not considered by the
101608c9fb84SFraser Cormack // target-independent code.
101708c9fb84SFraser Cormack MFI.ensureMaxAlignment(RVVStackAlign);
101808c9fb84SFraser Cormack
10190715d35eSAlex Bradbury // estimateStackSize has been observed to under-estimate the final stack
10200715d35eSAlex Bradbury // size, so give ourselves wiggle-room by checking for stack size
10210715d35eSAlex Bradbury // representable an 11-bit signed field rather than 12-bits.
10220715d35eSAlex Bradbury // FIXME: It may be possible to craft a function with a small stack that
10230715d35eSAlex Bradbury // still needs an emergency spill slot for branch relaxation. This case
10240715d35eSAlex Bradbury // would currently be missed.
10258790e852SFraser Cormack // RVV loads & stores have no capacity to hold the immediate address offsets
10268790e852SFraser Cormack // so we must always reserve an emergency spill slot if the MachineFunction
10278790e852SFraser Cormack // contains any RVV spills.
10280f45eaf0Sluxufan unsigned ScavSlotsNum = 0;
10290f45eaf0Sluxufan if (!isInt<11>(MFI.estimateStackSize(MF)))
10300f45eaf0Sluxufan ScavSlotsNum = 1;
10310f45eaf0Sluxufan
10320f45eaf0Sluxufan ScavSlotsNum = std::max(ScavSlotsNum, getScavSlotsNumForRVV(MF));
10330f45eaf0Sluxufan for (unsigned i = 0; i < ScavSlotsNum; i++) {
10340f45eaf0Sluxufan RS->addScavengingFrameIndex(MFI.CreateStackObject(
10350f45eaf0Sluxufan RegInfo->getSpillSize(*RC), RegInfo->getSpillAlign(*RC), false));
10360715d35eSAlex Bradbury }
10375a31a673SHsiangkai Wang
1038a9b9c64fSluxufan if (MFI.getCalleeSavedInfo().empty() || RVFI->useSaveRestoreLibCalls(MF)) {
1039a9b9c64fSluxufan RVFI->setCalleeSavedStackSize(0);
1040a9b9c64fSluxufan return;
1041a9b9c64fSluxufan }
1042a9b9c64fSluxufan
1043ef76a333SRoger Ferrer Ibanez unsigned Size = 0;
1044a9b9c64fSluxufan for (const auto &Info : MFI.getCalleeSavedInfo()) {
1045a9b9c64fSluxufan int FrameIdx = Info.getFrameIdx();
1046a9b9c64fSluxufan if (MFI.getStackID(FrameIdx) != TargetStackID::Default)
1047a9b9c64fSluxufan continue;
1048a9b9c64fSluxufan
1049ef76a333SRoger Ferrer Ibanez Size += MFI.getObjectSize(FrameIdx);
1050a9b9c64fSluxufan }
1051a9b9c64fSluxufan RVFI->setCalleeSavedStackSize(Size);
10520715d35eSAlex Bradbury }
1053cbd498acSShiva Chen
hasRVVFrameObject(const MachineFunction & MF)1054643b6407SHsiangkai Wang static bool hasRVVFrameObject(const MachineFunction &MF) {
1055ad06e65dSHsiangkai Wang // Originally, the function will scan all the stack objects to check whether
1056ad06e65dSHsiangkai Wang // if there is any scalable vector object on the stack or not. However, it
1057ad06e65dSHsiangkai Wang // causes errors in the register allocator. In issue 53016, it returns false
1058ad06e65dSHsiangkai Wang // before RA because there is no RVV stack objects. After RA, it returns true
1059ad06e65dSHsiangkai Wang // because there are spilling slots for RVV values during RA. It will not
1060ad06e65dSHsiangkai Wang // reserve BP during register allocation and generate BP access in the PEI
1061ad06e65dSHsiangkai Wang // pass due to the inconsistent behavior of the function.
1062ad06e65dSHsiangkai Wang //
1063ad06e65dSHsiangkai Wang // The function is changed to use hasVInstructions() as the return value. It
1064ad06e65dSHsiangkai Wang // is not precise, but it can make the register allocation correct.
1065ad06e65dSHsiangkai Wang //
1066ad06e65dSHsiangkai Wang // FIXME: Find a better way to make the decision or revisit the solution in
1067ad06e65dSHsiangkai Wang // D103622.
1068ad06e65dSHsiangkai Wang //
1069ad06e65dSHsiangkai Wang // Refer to https://github.com/llvm/llvm-project/issues/53016.
1070ad06e65dSHsiangkai Wang return MF.getSubtarget<RISCVSubtarget>().hasVInstructions();
1071643b6407SHsiangkai Wang }
1072643b6407SHsiangkai Wang
1073cbd498acSShiva Chen // Not preserve stack space within prologue for outgoing variables when the
1074643b6407SHsiangkai Wang // function contains variable size objects or there are vector objects accessed
1075643b6407SHsiangkai Wang // by the frame pointer.
1076643b6407SHsiangkai Wang // Let eliminateCallFramePseudoInstr preserve stack space for it.
hasReservedCallFrame(const MachineFunction & MF) const1077cbd498acSShiva Chen bool RISCVFrameLowering::hasReservedCallFrame(const MachineFunction &MF) const {
1078643b6407SHsiangkai Wang return !MF.getFrameInfo().hasVarSizedObjects() &&
1079643b6407SHsiangkai Wang !(hasFP(MF) && hasRVVFrameObject(MF));
1080cbd498acSShiva Chen }
1081cbd498acSShiva Chen
1082cbd498acSShiva Chen // Eliminate ADJCALLSTACKDOWN, ADJCALLSTACKUP pseudo instructions.
eliminateCallFramePseudoInstr(MachineFunction & MF,MachineBasicBlock & MBB,MachineBasicBlock::iterator MI) const1083cbd498acSShiva Chen MachineBasicBlock::iterator RISCVFrameLowering::eliminateCallFramePseudoInstr(
1084cbd498acSShiva Chen MachineFunction &MF, MachineBasicBlock &MBB,
1085cbd498acSShiva Chen MachineBasicBlock::iterator MI) const {
1086fa06e958SLuis Marques Register SPReg = RISCV::X2;
1087cbd498acSShiva Chen DebugLoc DL = MI->getDebugLoc();
1088cbd498acSShiva Chen
1089cbd498acSShiva Chen if (!hasReservedCallFrame(MF)) {
1090cbd498acSShiva Chen // If space has not been reserved for a call frame, ADJCALLSTACKDOWN and
1091cbd498acSShiva Chen // ADJCALLSTACKUP must be converted to instructions manipulating the stack
1092cbd498acSShiva Chen // pointer. This is necessary when there is a variable length stack
1093cbd498acSShiva Chen // allocation (e.g. alloca), which means it's not possible to allocate
1094cbd498acSShiva Chen // space for outgoing arguments from within the function prologue.
1095cbd498acSShiva Chen int64_t Amount = MI->getOperand(0).getImm();
1096cbd498acSShiva Chen
1097cbd498acSShiva Chen if (Amount != 0) {
1098cbd498acSShiva Chen // Ensure the stack remains aligned after adjustment.
1099cbd498acSShiva Chen Amount = alignSPAdjust(Amount);
1100cbd498acSShiva Chen
1101cbd498acSShiva Chen if (MI->getOpcode() == RISCV::ADJCALLSTACKDOWN)
1102cbd498acSShiva Chen Amount = -Amount;
1103cbd498acSShiva Chen
1104cbd498acSShiva Chen adjustReg(MBB, MI, DL, SPReg, SPReg, Amount, MachineInstr::NoFlags);
1105cbd498acSShiva Chen }
1106cbd498acSShiva Chen }
1107cbd498acSShiva Chen
1108cbd498acSShiva Chen return MBB.erase(MI);
1109cbd498acSShiva Chen }
1110ff55e2e0SShiva Chen
1111ff55e2e0SShiva Chen // We would like to split the SP adjustment to reduce prologue/epilogue
1112ff55e2e0SShiva Chen // as following instructions. In this way, the offset of the callee saved
1113ff55e2e0SShiva Chen // register could fit in a single store.
1114ff55e2e0SShiva Chen // add sp,sp,-2032
1115ff55e2e0SShiva Chen // sw ra,2028(sp)
1116ff55e2e0SShiva Chen // sw s0,2024(sp)
1117ff55e2e0SShiva Chen // sw s1,2020(sp)
1118ff55e2e0SShiva Chen // sw s3,2012(sp)
1119ff55e2e0SShiva Chen // sw s4,2008(sp)
1120ff55e2e0SShiva Chen // add sp,sp,-64
1121ff55e2e0SShiva Chen uint64_t
getFirstSPAdjustAmount(const MachineFunction & MF) const1122ff55e2e0SShiva Chen RISCVFrameLowering::getFirstSPAdjustAmount(const MachineFunction &MF) const {
112307f7c002Slewis-revill const auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
1124ff55e2e0SShiva Chen const MachineFrameInfo &MFI = MF.getFrameInfo();
1125ff55e2e0SShiva Chen const std::vector<CalleeSavedInfo> &CSI = MFI.getCalleeSavedInfo();
1126cb8681a2SFraser Cormack uint64_t StackSize = getStackSizeWithRVVPadding(MF);
1127ff55e2e0SShiva Chen
1128f00f894dSFraser Cormack // Disable SplitSPAdjust if save-restore libcall is used. The callee-saved
112907f7c002Slewis-revill // registers will be pushed by the save-restore libcalls, so we don't have to
113007f7c002Slewis-revill // split the SP adjustment in this case.
113107f7c002Slewis-revill if (RVFI->getLibCallStackSize())
113207f7c002Slewis-revill return 0;
113307f7c002Slewis-revill
1134f00f894dSFraser Cormack // Return the FirstSPAdjustAmount if the StackSize can not fit in a signed
1135f00f894dSFraser Cormack // 12-bit and there exists a callee-saved register needing to be pushed.
1136ff55e2e0SShiva Chen if (!isInt<12>(StackSize) && (CSI.size() > 0)) {
1137f00f894dSFraser Cormack // FirstSPAdjustAmount is chosen as (2048 - StackAlign) because 2048 will
1138f00f894dSFraser Cormack // cause sp = sp + 2048 in the epilogue to be split into multiple
1139f00f894dSFraser Cormack // instructions. Offsets smaller than 2048 can fit in a single load/store
1140f00f894dSFraser Cormack // instruction, and we have to stick with the stack alignment. 2048 has
1141f00f894dSFraser Cormack // 16-byte alignment. The stack alignment for RV32 and RV64 is 16 and for
1142f00f894dSFraser Cormack // RV32E it is 4. So (2048 - StackAlign) will satisfy the stack alignment.
11433ba550a0SGuillaume Chatelet return 2048 - getStackAlign().value();
1144ff55e2e0SShiva Chen }
1145ff55e2e0SShiva Chen return 0;
1146ff55e2e0SShiva Chen }
114707f7c002Slewis-revill
spillCalleeSavedRegisters(MachineBasicBlock & MBB,MachineBasicBlock::iterator MI,ArrayRef<CalleeSavedInfo> CSI,const TargetRegisterInfo * TRI) const114807f7c002Slewis-revill bool RISCVFrameLowering::spillCalleeSavedRegisters(
114907f7c002Slewis-revill MachineBasicBlock &MBB, MachineBasicBlock::iterator MI,
115007f7c002Slewis-revill ArrayRef<CalleeSavedInfo> CSI, const TargetRegisterInfo *TRI) const {
115107f7c002Slewis-revill if (CSI.empty())
115207f7c002Slewis-revill return true;
115307f7c002Slewis-revill
115407f7c002Slewis-revill MachineFunction *MF = MBB.getParent();
115507f7c002Slewis-revill const TargetInstrInfo &TII = *MF->getSubtarget().getInstrInfo();
115607f7c002Slewis-revill DebugLoc DL;
115707f7c002Slewis-revill if (MI != MBB.end() && !MI->isDebugInstr())
115807f7c002Slewis-revill DL = MI->getDebugLoc();
115907f7c002Slewis-revill
116007f7c002Slewis-revill const char *SpillLibCall = getSpillLibCallName(*MF, CSI);
116107f7c002Slewis-revill if (SpillLibCall) {
116207f7c002Slewis-revill // Add spill libcall via non-callee-saved register t0.
116307f7c002Slewis-revill BuildMI(MBB, MI, DL, TII.get(RISCV::PseudoCALLReg), RISCV::X5)
116407f7c002Slewis-revill .addExternalSymbol(SpillLibCall, RISCVII::MO_CALL)
116507f7c002Slewis-revill .setMIFlag(MachineInstr::FrameSetup);
116607f7c002Slewis-revill
116707f7c002Slewis-revill // Add registers spilled in libcall as liveins.
116807f7c002Slewis-revill for (auto &CS : CSI)
116907f7c002Slewis-revill MBB.addLiveIn(CS.getReg());
117007f7c002Slewis-revill }
117107f7c002Slewis-revill
117207f7c002Slewis-revill // Manually spill values not spilled by libcall.
11735a31a673SHsiangkai Wang const auto &NonLibcallCSI = getNonLibcallCSI(*MF, CSI);
117407f7c002Slewis-revill for (auto &CS : NonLibcallCSI) {
117507f7c002Slewis-revill // Insert the spill to the stack frame.
117607f7c002Slewis-revill Register Reg = CS.getReg();
117707f7c002Slewis-revill const TargetRegisterClass *RC = TRI->getMinimalPhysRegClass(Reg);
11784ec1b8eeSDavid Callahan TII.storeRegToStackSlot(MBB, MI, Reg, !MBB.isLiveIn(Reg), CS.getFrameIdx(),
11794ec1b8eeSDavid Callahan RC, TRI);
118007f7c002Slewis-revill }
118107f7c002Slewis-revill
118207f7c002Slewis-revill return true;
118307f7c002Slewis-revill }
118407f7c002Slewis-revill
restoreCalleeSavedRegisters(MachineBasicBlock & MBB,MachineBasicBlock::iterator MI,MutableArrayRef<CalleeSavedInfo> CSI,const TargetRegisterInfo * TRI) const118507f7c002Slewis-revill bool RISCVFrameLowering::restoreCalleeSavedRegisters(
118607f7c002Slewis-revill MachineBasicBlock &MBB, MachineBasicBlock::iterator MI,
1187186dd631SBenjamin Kramer MutableArrayRef<CalleeSavedInfo> CSI, const TargetRegisterInfo *TRI) const {
118807f7c002Slewis-revill if (CSI.empty())
118907f7c002Slewis-revill return true;
119007f7c002Slewis-revill
119107f7c002Slewis-revill MachineFunction *MF = MBB.getParent();
119207f7c002Slewis-revill const TargetInstrInfo &TII = *MF->getSubtarget().getInstrInfo();
119307f7c002Slewis-revill DebugLoc DL;
119407f7c002Slewis-revill if (MI != MBB.end() && !MI->isDebugInstr())
119507f7c002Slewis-revill DL = MI->getDebugLoc();
119607f7c002Slewis-revill
1197137d3474SHsiangkai Wang // Manually restore values not restored by libcall.
1198137d3474SHsiangkai Wang // Keep the same order as in the prologue. There is no need to reverse the
1199137d3474SHsiangkai Wang // order in the epilogue. In addition, the return address will be restored
1200137d3474SHsiangkai Wang // first in the epilogue. It increases the opportunity to avoid the
1201137d3474SHsiangkai Wang // load-to-use data hazard between loading RA and return by RA.
120207f7c002Slewis-revill // loadRegFromStackSlot can insert multiple instructions.
12035a31a673SHsiangkai Wang const auto &NonLibcallCSI = getNonLibcallCSI(*MF, CSI);
1204137d3474SHsiangkai Wang for (auto &CS : NonLibcallCSI) {
120507f7c002Slewis-revill Register Reg = CS.getReg();
120607f7c002Slewis-revill const TargetRegisterClass *RC = TRI->getMinimalPhysRegClass(Reg);
120707f7c002Slewis-revill TII.loadRegFromStackSlot(MBB, MI, Reg, CS.getFrameIdx(), RC, TRI);
120807f7c002Slewis-revill assert(MI != MBB.begin() && "loadRegFromStackSlot didn't insert any code!");
120907f7c002Slewis-revill }
121007f7c002Slewis-revill
121107f7c002Slewis-revill const char *RestoreLibCall = getRestoreLibCallName(*MF, CSI);
121207f7c002Slewis-revill if (RestoreLibCall) {
121307f7c002Slewis-revill // Add restore libcall via tail call.
121407f7c002Slewis-revill MachineBasicBlock::iterator NewMI =
121507f7c002Slewis-revill BuildMI(MBB, MI, DL, TII.get(RISCV::PseudoTAIL))
121607f7c002Slewis-revill .addExternalSymbol(RestoreLibCall, RISCVII::MO_CALL)
121707f7c002Slewis-revill .setMIFlag(MachineInstr::FrameDestroy);
121807f7c002Slewis-revill
121907f7c002Slewis-revill // Remove trailing returns, since the terminator is now a tail call to the
122007f7c002Slewis-revill // restore function.
122107f7c002Slewis-revill if (MI != MBB.end() && MI->getOpcode() == RISCV::PseudoRET) {
122207f7c002Slewis-revill NewMI->copyImplicitOps(*MF, *MI);
122307f7c002Slewis-revill MI->eraseFromParent();
122407f7c002Slewis-revill }
122507f7c002Slewis-revill }
122607f7c002Slewis-revill
122707f7c002Slewis-revill return true;
122807f7c002Slewis-revill }
122907f7c002Slewis-revill
enableShrinkWrapping(const MachineFunction & MF) const12305744b9cbSYeting Kuo bool RISCVFrameLowering::enableShrinkWrapping(const MachineFunction &MF) const {
12315744b9cbSYeting Kuo // Keep the conventional code flow when not optimizing.
12325744b9cbSYeting Kuo if (MF.getFunction().hasOptNone())
12335744b9cbSYeting Kuo return false;
12345744b9cbSYeting Kuo
12355744b9cbSYeting Kuo return true;
12365744b9cbSYeting Kuo }
12375744b9cbSYeting Kuo
canUseAsPrologue(const MachineBasicBlock & MBB) const123807f7c002Slewis-revill bool RISCVFrameLowering::canUseAsPrologue(const MachineBasicBlock &MBB) const {
123907f7c002Slewis-revill MachineBasicBlock *TmpMBB = const_cast<MachineBasicBlock *>(&MBB);
124008649f0aSMatt Arsenault const MachineFunction *MF = MBB.getParent();
124108649f0aSMatt Arsenault const auto *RVFI = MF->getInfo<RISCVMachineFunctionInfo>();
124207f7c002Slewis-revill
124308649f0aSMatt Arsenault if (!RVFI->useSaveRestoreLibCalls(*MF))
124407f7c002Slewis-revill return true;
124507f7c002Slewis-revill
124607f7c002Slewis-revill // Inserting a call to a __riscv_save libcall requires the use of the register
124707f7c002Slewis-revill // t0 (X5) to hold the return address. Therefore if this register is already
124807f7c002Slewis-revill // used we can't insert the call.
124907f7c002Slewis-revill
125007f7c002Slewis-revill RegScavenger RS;
125107f7c002Slewis-revill RS.enterBasicBlock(*TmpMBB);
125207f7c002Slewis-revill return !RS.isRegUsed(RISCV::X5);
125307f7c002Slewis-revill }
125407f7c002Slewis-revill
canUseAsEpilogue(const MachineBasicBlock & MBB) const125507f7c002Slewis-revill bool RISCVFrameLowering::canUseAsEpilogue(const MachineBasicBlock &MBB) const {
125608649f0aSMatt Arsenault const MachineFunction *MF = MBB.getParent();
125707f7c002Slewis-revill MachineBasicBlock *TmpMBB = const_cast<MachineBasicBlock *>(&MBB);
125808649f0aSMatt Arsenault const auto *RVFI = MF->getInfo<RISCVMachineFunctionInfo>();
125907f7c002Slewis-revill
126008649f0aSMatt Arsenault if (!RVFI->useSaveRestoreLibCalls(*MF))
126107f7c002Slewis-revill return true;
126207f7c002Slewis-revill
126307f7c002Slewis-revill // Using the __riscv_restore libcalls to restore CSRs requires a tail call.
126407f7c002Slewis-revill // This means if we still need to continue executing code within this function
126507f7c002Slewis-revill // the restore cannot take place in this basic block.
126607f7c002Slewis-revill
126707f7c002Slewis-revill if (MBB.succ_size() > 1)
126807f7c002Slewis-revill return false;
126907f7c002Slewis-revill
127007f7c002Slewis-revill MachineBasicBlock *SuccMBB =
127107f7c002Slewis-revill MBB.succ_empty() ? TmpMBB->getFallThrough() : *MBB.succ_begin();
127207f7c002Slewis-revill
127307f7c002Slewis-revill // Doing a tail call should be safe if there are no successors, because either
127407f7c002Slewis-revill // we have a returning block or the end of the block is unreachable, so the
127507f7c002Slewis-revill // restore will be eliminated regardless.
127607f7c002Slewis-revill if (!SuccMBB)
127707f7c002Slewis-revill return true;
127807f7c002Slewis-revill
127907f7c002Slewis-revill // The successor can only contain a return, since we would effectively be
128007f7c002Slewis-revill // replacing the successor with our own tail return at the end of our block.
128107f7c002Slewis-revill return SuccMBB->isReturnBlock() && SuccMBB->size() == 1;
128207f7c002Slewis-revill }
12835a31a673SHsiangkai Wang
isSupportedStackID(TargetStackID::Value ID) const12845a31a673SHsiangkai Wang bool RISCVFrameLowering::isSupportedStackID(TargetStackID::Value ID) const {
12855a31a673SHsiangkai Wang switch (ID) {
12865a31a673SHsiangkai Wang case TargetStackID::Default:
12875a31a673SHsiangkai Wang case TargetStackID::ScalableVector:
12885a31a673SHsiangkai Wang return true;
12895a31a673SHsiangkai Wang case TargetStackID::NoAlloc:
12905a31a673SHsiangkai Wang case TargetStackID::SGPRSpill:
129182f92e35SAndy Wingo case TargetStackID::WasmLocal:
12925a31a673SHsiangkai Wang return false;
12935a31a673SHsiangkai Wang }
12945a31a673SHsiangkai Wang llvm_unreachable("Invalid TargetStackID::Value");
12955a31a673SHsiangkai Wang }
12965a31a673SHsiangkai Wang
getStackIDForScalableVectors() const12975a31a673SHsiangkai Wang TargetStackID::Value RISCVFrameLowering::getStackIDForScalableVectors() const {
12985a31a673SHsiangkai Wang return TargetStackID::ScalableVector;
12995a31a673SHsiangkai Wang }
1300