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 
248971842fSAlex Bradbury using namespace llvm;
258971842fSAlex Bradbury 
261c466477SZhaoshi Zheng // For now we use x18, a.k.a s2, as pointer to shadow call stack.
271c466477SZhaoshi Zheng // User should explicitly set -ffixed-x18 and not use x18 in their asm.
281c466477SZhaoshi Zheng static void emitSCSPrologue(MachineFunction &MF, MachineBasicBlock &MBB,
291c466477SZhaoshi Zheng                             MachineBasicBlock::iterator MI,
301c466477SZhaoshi Zheng                             const DebugLoc &DL) {
311c466477SZhaoshi Zheng   if (!MF.getFunction().hasFnAttribute(Attribute::ShadowCallStack))
321c466477SZhaoshi Zheng     return;
331c466477SZhaoshi Zheng 
341c466477SZhaoshi Zheng   const auto &STI = MF.getSubtarget<RISCVSubtarget>();
351c466477SZhaoshi Zheng   Register RAReg = STI.getRegisterInfo()->getRARegister();
361c466477SZhaoshi Zheng 
371c466477SZhaoshi Zheng   // Do not save RA to the SCS if it's not saved to the regular stack,
381c466477SZhaoshi Zheng   // i.e. RA is not at risk of being overwritten.
391c466477SZhaoshi Zheng   std::vector<CalleeSavedInfo> &CSI = MF.getFrameInfo().getCalleeSavedInfo();
401c466477SZhaoshi Zheng   if (std::none_of(CSI.begin(), CSI.end(),
411c466477SZhaoshi Zheng                    [&](CalleeSavedInfo &CSR) { return CSR.getReg() == RAReg; }))
421c466477SZhaoshi Zheng     return;
431c466477SZhaoshi Zheng 
441c466477SZhaoshi Zheng   Register SCSPReg = RISCVABI::getSCSPReg();
451c466477SZhaoshi Zheng 
461c466477SZhaoshi Zheng   auto &Ctx = MF.getFunction().getContext();
471c466477SZhaoshi Zheng   if (!STI.isRegisterReservedByUser(SCSPReg)) {
481c466477SZhaoshi Zheng     Ctx.diagnose(DiagnosticInfoUnsupported{
491c466477SZhaoshi Zheng         MF.getFunction(), "x18 not reserved by user for Shadow Call Stack."});
501c466477SZhaoshi Zheng     return;
511c466477SZhaoshi Zheng   }
521c466477SZhaoshi Zheng 
531c466477SZhaoshi Zheng   const auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
541c466477SZhaoshi Zheng   if (RVFI->useSaveRestoreLibCalls(MF)) {
551c466477SZhaoshi Zheng     Ctx.diagnose(DiagnosticInfoUnsupported{
561c466477SZhaoshi Zheng         MF.getFunction(),
571c466477SZhaoshi Zheng         "Shadow Call Stack cannot be combined with Save/Restore LibCalls."});
581c466477SZhaoshi Zheng     return;
591c466477SZhaoshi Zheng   }
601c466477SZhaoshi Zheng 
611c466477SZhaoshi Zheng   const RISCVInstrInfo *TII = STI.getInstrInfo();
621c466477SZhaoshi Zheng   bool IsRV64 = STI.hasFeature(RISCV::Feature64Bit);
631c466477SZhaoshi Zheng   int64_t SlotSize = STI.getXLen() / 8;
641c466477SZhaoshi Zheng   // Store return address to shadow call stack
651c466477SZhaoshi Zheng   // s[w|d]  ra, 0(s2)
661c466477SZhaoshi Zheng   // addi    s2, s2, [4|8]
671c466477SZhaoshi Zheng   BuildMI(MBB, MI, DL, TII->get(IsRV64 ? RISCV::SD : RISCV::SW))
681c466477SZhaoshi Zheng       .addReg(RAReg)
691c466477SZhaoshi Zheng       .addReg(SCSPReg)
704b2dd318SHsiangkai Wang       .addImm(0)
714b2dd318SHsiangkai Wang       .setMIFlag(MachineInstr::FrameSetup);
721c466477SZhaoshi Zheng   BuildMI(MBB, MI, DL, TII->get(RISCV::ADDI))
731c466477SZhaoshi Zheng       .addReg(SCSPReg, RegState::Define)
741c466477SZhaoshi Zheng       .addReg(SCSPReg)
754b2dd318SHsiangkai Wang       .addImm(SlotSize)
764b2dd318SHsiangkai Wang       .setMIFlag(MachineInstr::FrameSetup);
771c466477SZhaoshi Zheng }
781c466477SZhaoshi Zheng 
791c466477SZhaoshi Zheng static void emitSCSEpilogue(MachineFunction &MF, MachineBasicBlock &MBB,
801c466477SZhaoshi Zheng                             MachineBasicBlock::iterator MI,
811c466477SZhaoshi Zheng                             const DebugLoc &DL) {
821c466477SZhaoshi Zheng   if (!MF.getFunction().hasFnAttribute(Attribute::ShadowCallStack))
831c466477SZhaoshi Zheng     return;
841c466477SZhaoshi Zheng 
851c466477SZhaoshi Zheng   const auto &STI = MF.getSubtarget<RISCVSubtarget>();
861c466477SZhaoshi Zheng   Register RAReg = STI.getRegisterInfo()->getRARegister();
871c466477SZhaoshi Zheng 
881c466477SZhaoshi Zheng   // See emitSCSPrologue() above.
891c466477SZhaoshi Zheng   std::vector<CalleeSavedInfo> &CSI = MF.getFrameInfo().getCalleeSavedInfo();
901c466477SZhaoshi Zheng   if (std::none_of(CSI.begin(), CSI.end(),
911c466477SZhaoshi Zheng                    [&](CalleeSavedInfo &CSR) { return CSR.getReg() == RAReg; }))
921c466477SZhaoshi Zheng     return;
931c466477SZhaoshi Zheng 
941c466477SZhaoshi Zheng   Register SCSPReg = RISCVABI::getSCSPReg();
951c466477SZhaoshi Zheng 
961c466477SZhaoshi Zheng   auto &Ctx = MF.getFunction().getContext();
971c466477SZhaoshi Zheng   if (!STI.isRegisterReservedByUser(SCSPReg)) {
981c466477SZhaoshi Zheng     Ctx.diagnose(DiagnosticInfoUnsupported{
991c466477SZhaoshi Zheng         MF.getFunction(), "x18 not reserved by user for Shadow Call Stack."});
1001c466477SZhaoshi Zheng     return;
1011c466477SZhaoshi Zheng   }
1021c466477SZhaoshi Zheng 
1031c466477SZhaoshi Zheng   const auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
1041c466477SZhaoshi Zheng   if (RVFI->useSaveRestoreLibCalls(MF)) {
1051c466477SZhaoshi Zheng     Ctx.diagnose(DiagnosticInfoUnsupported{
1061c466477SZhaoshi Zheng         MF.getFunction(),
1071c466477SZhaoshi Zheng         "Shadow Call Stack cannot be combined with Save/Restore LibCalls."});
1081c466477SZhaoshi Zheng     return;
1091c466477SZhaoshi Zheng   }
1101c466477SZhaoshi Zheng 
1111c466477SZhaoshi Zheng   const RISCVInstrInfo *TII = STI.getInstrInfo();
1121c466477SZhaoshi Zheng   bool IsRV64 = STI.hasFeature(RISCV::Feature64Bit);
1131c466477SZhaoshi Zheng   int64_t SlotSize = STI.getXLen() / 8;
1141c466477SZhaoshi Zheng   // Load return address from shadow call stack
1151c466477SZhaoshi Zheng   // l[w|d]  ra, -[4|8](s2)
1161c466477SZhaoshi Zheng   // addi    s2, s2, -[4|8]
1171c466477SZhaoshi Zheng   BuildMI(MBB, MI, DL, TII->get(IsRV64 ? RISCV::LD : RISCV::LW))
1181c466477SZhaoshi Zheng       .addReg(RAReg, RegState::Define)
1191c466477SZhaoshi Zheng       .addReg(SCSPReg)
1204b2dd318SHsiangkai Wang       .addImm(-SlotSize)
1214b2dd318SHsiangkai Wang       .setMIFlag(MachineInstr::FrameDestroy);
1221c466477SZhaoshi Zheng   BuildMI(MBB, MI, DL, TII->get(RISCV::ADDI))
1231c466477SZhaoshi Zheng       .addReg(SCSPReg, RegState::Define)
1241c466477SZhaoshi Zheng       .addReg(SCSPReg)
1254b2dd318SHsiangkai Wang       .addImm(-SlotSize)
1264b2dd318SHsiangkai Wang       .setMIFlag(MachineInstr::FrameDestroy);
1271c466477SZhaoshi Zheng }
1281c466477SZhaoshi Zheng 
12907f7c002Slewis-revill // Get the ID of the libcall used for spilling and restoring callee saved
13007f7c002Slewis-revill // registers. The ID is representative of the number of registers saved or
13107f7c002Slewis-revill // restored by the libcall, except it is zero-indexed - ID 0 corresponds to a
13207f7c002Slewis-revill // single register.
13307f7c002Slewis-revill static int getLibCallID(const MachineFunction &MF,
13407f7c002Slewis-revill                         const std::vector<CalleeSavedInfo> &CSI) {
13507f7c002Slewis-revill   const auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
13607f7c002Slewis-revill 
13708649f0aSMatt Arsenault   if (CSI.empty() || !RVFI->useSaveRestoreLibCalls(MF))
13807f7c002Slewis-revill     return -1;
13907f7c002Slewis-revill 
14007f7c002Slewis-revill   Register MaxReg = RISCV::NoRegister;
14107f7c002Slewis-revill   for (auto &CS : CSI)
14207f7c002Slewis-revill     // RISCVRegisterInfo::hasReservedSpillSlot assigns negative frame indexes to
14307f7c002Slewis-revill     // registers which can be saved by libcall.
14407f7c002Slewis-revill     if (CS.getFrameIdx() < 0)
145d8938c8bSMatt Arsenault       MaxReg = std::max(MaxReg.id(), CS.getReg().id());
14607f7c002Slewis-revill 
14707f7c002Slewis-revill   if (MaxReg == RISCV::NoRegister)
14807f7c002Slewis-revill     return -1;
14907f7c002Slewis-revill 
15007f7c002Slewis-revill   switch (MaxReg) {
15107f7c002Slewis-revill   default:
15207f7c002Slewis-revill     llvm_unreachable("Something has gone wrong!");
15307f7c002Slewis-revill   case /*s11*/ RISCV::X27: return 12;
15407f7c002Slewis-revill   case /*s10*/ RISCV::X26: return 11;
15507f7c002Slewis-revill   case /*s9*/  RISCV::X25: return 10;
15607f7c002Slewis-revill   case /*s8*/  RISCV::X24: return 9;
15707f7c002Slewis-revill   case /*s7*/  RISCV::X23: return 8;
15807f7c002Slewis-revill   case /*s6*/  RISCV::X22: return 7;
15907f7c002Slewis-revill   case /*s5*/  RISCV::X21: return 6;
16007f7c002Slewis-revill   case /*s4*/  RISCV::X20: return 5;
16107f7c002Slewis-revill   case /*s3*/  RISCV::X19: return 4;
16207f7c002Slewis-revill   case /*s2*/  RISCV::X18: return 3;
16307f7c002Slewis-revill   case /*s1*/  RISCV::X9:  return 2;
16407f7c002Slewis-revill   case /*s0*/  RISCV::X8:  return 1;
16507f7c002Slewis-revill   case /*ra*/  RISCV::X1:  return 0;
16607f7c002Slewis-revill   }
16707f7c002Slewis-revill }
16807f7c002Slewis-revill 
16907f7c002Slewis-revill // Get the name of the libcall used for spilling callee saved registers.
17007f7c002Slewis-revill // If this function will not use save/restore libcalls, then return a nullptr.
17107f7c002Slewis-revill static const char *
17207f7c002Slewis-revill getSpillLibCallName(const MachineFunction &MF,
17307f7c002Slewis-revill                     const std::vector<CalleeSavedInfo> &CSI) {
17407f7c002Slewis-revill   static const char *const SpillLibCalls[] = {
17507f7c002Slewis-revill     "__riscv_save_0",
17607f7c002Slewis-revill     "__riscv_save_1",
17707f7c002Slewis-revill     "__riscv_save_2",
17807f7c002Slewis-revill     "__riscv_save_3",
17907f7c002Slewis-revill     "__riscv_save_4",
18007f7c002Slewis-revill     "__riscv_save_5",
18107f7c002Slewis-revill     "__riscv_save_6",
18207f7c002Slewis-revill     "__riscv_save_7",
18307f7c002Slewis-revill     "__riscv_save_8",
18407f7c002Slewis-revill     "__riscv_save_9",
18507f7c002Slewis-revill     "__riscv_save_10",
18607f7c002Slewis-revill     "__riscv_save_11",
18707f7c002Slewis-revill     "__riscv_save_12"
18807f7c002Slewis-revill   };
18907f7c002Slewis-revill 
19007f7c002Slewis-revill   int LibCallID = getLibCallID(MF, CSI);
19107f7c002Slewis-revill   if (LibCallID == -1)
19207f7c002Slewis-revill     return nullptr;
19307f7c002Slewis-revill   return SpillLibCalls[LibCallID];
19407f7c002Slewis-revill }
19507f7c002Slewis-revill 
19607f7c002Slewis-revill // Get the name of the libcall used for restoring callee saved registers.
19707f7c002Slewis-revill // If this function will not use save/restore libcalls, then return a nullptr.
19807f7c002Slewis-revill static const char *
19907f7c002Slewis-revill getRestoreLibCallName(const MachineFunction &MF,
20007f7c002Slewis-revill                       const std::vector<CalleeSavedInfo> &CSI) {
20107f7c002Slewis-revill   static const char *const RestoreLibCalls[] = {
20207f7c002Slewis-revill     "__riscv_restore_0",
20307f7c002Slewis-revill     "__riscv_restore_1",
20407f7c002Slewis-revill     "__riscv_restore_2",
20507f7c002Slewis-revill     "__riscv_restore_3",
20607f7c002Slewis-revill     "__riscv_restore_4",
20707f7c002Slewis-revill     "__riscv_restore_5",
20807f7c002Slewis-revill     "__riscv_restore_6",
20907f7c002Slewis-revill     "__riscv_restore_7",
21007f7c002Slewis-revill     "__riscv_restore_8",
21107f7c002Slewis-revill     "__riscv_restore_9",
21207f7c002Slewis-revill     "__riscv_restore_10",
21307f7c002Slewis-revill     "__riscv_restore_11",
21407f7c002Slewis-revill     "__riscv_restore_12"
21507f7c002Slewis-revill   };
21607f7c002Slewis-revill 
21707f7c002Slewis-revill   int LibCallID = getLibCallID(MF, CSI);
21807f7c002Slewis-revill   if (LibCallID == -1)
21907f7c002Slewis-revill     return nullptr;
22007f7c002Slewis-revill   return RestoreLibCalls[LibCallID];
22107f7c002Slewis-revill }
22207f7c002Slewis-revill 
2237a189333SShivam Gupta // Return true if the specified function should have a dedicated frame
2247a189333SShivam Gupta // pointer register.  This is true if frame pointer elimination is
2257a189333SShivam Gupta // disabled, if it needs dynamic stack realignment, if the function has
2267a189333SShivam Gupta // variable sized allocas, or if the frame address is taken.
2277d6aa1f7SAlex Bradbury bool RISCVFrameLowering::hasFP(const MachineFunction &MF) const {
2287d6aa1f7SAlex Bradbury   const TargetRegisterInfo *RegInfo = MF.getSubtarget().getRegisterInfo();
2297d6aa1f7SAlex Bradbury 
2307d6aa1f7SAlex Bradbury   const MachineFrameInfo &MFI = MF.getFrameInfo();
2317d6aa1f7SAlex Bradbury   return MF.getTarget().Options.DisableFramePointerElim(MF) ||
232a9968c0aSTomas Matheson          RegInfo->hasStackRealignment(MF) || MFI.hasVarSizedObjects() ||
2337d6aa1f7SAlex Bradbury          MFI.isFrameAddressTaken();
2347d6aa1f7SAlex Bradbury }
2358971842fSAlex Bradbury 
236cf6cf0cdSShiva Chen bool RISCVFrameLowering::hasBP(const MachineFunction &MF) const {
237cf6cf0cdSShiva Chen   const MachineFrameInfo &MFI = MF.getFrameInfo();
238cf6cf0cdSShiva Chen   const TargetRegisterInfo *TRI = STI.getRegisterInfo();
239cf6cf0cdSShiva Chen 
2409a885665SHsiangkai Wang   // If we do not reserve stack space for outgoing arguments in prologue,
2419a885665SHsiangkai Wang   // we will adjust the stack pointer before call instruction. After the
2429a885665SHsiangkai Wang   // adjustment, we can not use SP to access the stack objects for the
2439a885665SHsiangkai Wang   // arguments. Instead, use BP to access these stack objects.
2449a885665SHsiangkai Wang   return (MFI.hasVarSizedObjects() ||
245ad06e65dSHsiangkai Wang           (!hasReservedCallFrame(MF) && (!MFI.isMaxCallFrameSizeComputed() ||
246ad06e65dSHsiangkai Wang                                          MFI.getMaxCallFrameSize() != 0))) &&
2479a885665SHsiangkai Wang          TRI->hasStackRealignment(MF);
248cf6cf0cdSShiva Chen }
249cf6cf0cdSShiva Chen 
250b014e3deSAlex Bradbury // Determines the size of the frame and maximum call frame size.
251b014e3deSAlex Bradbury void RISCVFrameLowering::determineFrameLayout(MachineFunction &MF) const {
252b014e3deSAlex Bradbury   MachineFrameInfo &MFI = MF.getFrameInfo();
253b014e3deSAlex Bradbury 
254b014e3deSAlex Bradbury   // Get the number of bytes to allocate from the FrameInfo.
255b014e3deSAlex Bradbury   uint64_t FrameSize = MFI.getStackSize();
256b014e3deSAlex Bradbury 
257b014e3deSAlex Bradbury   // Get the alignment.
258d000655aSGuillaume Chatelet   Align StackAlign = getStackAlign();
259cd44aee3SSam Elliott 
260b014e3deSAlex Bradbury   // Make sure the frame is aligned.
261b014e3deSAlex Bradbury   FrameSize = alignTo(FrameSize, StackAlign);
262b014e3deSAlex Bradbury 
263b014e3deSAlex Bradbury   // Update frame info.
264b014e3deSAlex Bradbury   MFI.setStackSize(FrameSize);
265b014e3deSAlex Bradbury }
266b014e3deSAlex Bradbury 
267b014e3deSAlex Bradbury void RISCVFrameLowering::adjustReg(MachineBasicBlock &MBB,
268b014e3deSAlex Bradbury                                    MachineBasicBlock::iterator MBBI,
269fa06e958SLuis Marques                                    const DebugLoc &DL, Register DestReg,
270fa06e958SLuis Marques                                    Register SrcReg, int64_t Val,
271b014e3deSAlex Bradbury                                    MachineInstr::MIFlag Flag) const {
2729fea4881SAlex Bradbury   MachineRegisterInfo &MRI = MBB.getParent()->getRegInfo();
273b014e3deSAlex Bradbury   const RISCVInstrInfo *TII = STI.getInstrInfo();
274b014e3deSAlex Bradbury 
275b014e3deSAlex Bradbury   if (DestReg == SrcReg && Val == 0)
276b014e3deSAlex Bradbury     return;
277b014e3deSAlex Bradbury 
2789fea4881SAlex Bradbury   if (isInt<12>(Val)) {
279b014e3deSAlex Bradbury     BuildMI(MBB, MBBI, DL, TII->get(RISCV::ADDI), DestReg)
280b014e3deSAlex Bradbury         .addReg(SrcReg)
281b014e3deSAlex Bradbury         .addImm(Val)
282b014e3deSAlex Bradbury         .setMIFlag(Flag);
283a49a16ddSShiva Chen   } else {
2849fea4881SAlex Bradbury     unsigned Opc = RISCV::ADD;
2859fea4881SAlex Bradbury     bool isSub = Val < 0;
2869fea4881SAlex Bradbury     if (isSub) {
2879fea4881SAlex Bradbury       Val = -Val;
2889fea4881SAlex Bradbury       Opc = RISCV::SUB;
2899fea4881SAlex Bradbury     }
2909fea4881SAlex Bradbury 
2913836874dSDaniel Sanders     Register ScratchReg = MRI.createVirtualRegister(&RISCV::GPRRegClass);
292a49a16ddSShiva Chen     TII->movImm(MBB, MBBI, DL, ScratchReg, Val, Flag);
2939fea4881SAlex Bradbury     BuildMI(MBB, MBBI, DL, TII->get(Opc), DestReg)
2949fea4881SAlex Bradbury         .addReg(SrcReg)
2959fea4881SAlex Bradbury         .addReg(ScratchReg, RegState::Kill)
2969fea4881SAlex Bradbury         .setMIFlag(Flag);
2979fea4881SAlex Bradbury   }
298b014e3deSAlex Bradbury }
299b014e3deSAlex Bradbury 
300b014e3deSAlex Bradbury // Returns the register used to hold the frame pointer.
301fa06e958SLuis Marques static Register getFPReg(const RISCVSubtarget &STI) { return RISCV::X8; }
302b014e3deSAlex Bradbury 
303b014e3deSAlex Bradbury // Returns the register used to hold the stack pointer.
304fa06e958SLuis Marques static Register getSPReg(const RISCVSubtarget &STI) { return RISCV::X2; }
305b014e3deSAlex Bradbury 
30607f7c002Slewis-revill static SmallVector<CalleeSavedInfo, 8>
3075a31a673SHsiangkai Wang getNonLibcallCSI(const MachineFunction &MF,
3085a31a673SHsiangkai Wang                  const std::vector<CalleeSavedInfo> &CSI) {
3095a31a673SHsiangkai Wang   const MachineFrameInfo &MFI = MF.getFrameInfo();
31007f7c002Slewis-revill   SmallVector<CalleeSavedInfo, 8> NonLibcallCSI;
31107f7c002Slewis-revill 
3125a31a673SHsiangkai Wang   for (auto &CS : CSI) {
3135a31a673SHsiangkai Wang     int FI = CS.getFrameIdx();
3145a31a673SHsiangkai Wang     if (FI >= 0 && MFI.getStackID(FI) == TargetStackID::Default)
31507f7c002Slewis-revill       NonLibcallCSI.push_back(CS);
3165a31a673SHsiangkai Wang   }
31707f7c002Slewis-revill 
31807f7c002Slewis-revill   return NonLibcallCSI;
31907f7c002Slewis-revill }
32007f7c002Slewis-revill 
3215a31a673SHsiangkai Wang void RISCVFrameLowering::adjustStackForRVV(MachineFunction &MF,
3225a31a673SHsiangkai Wang                                            MachineBasicBlock &MBB,
3235a31a673SHsiangkai Wang                                            MachineBasicBlock::iterator MBBI,
3244b2dd318SHsiangkai Wang                                            const DebugLoc &DL, int64_t Amount,
3254b2dd318SHsiangkai Wang                                            MachineInstr::MIFlag Flag) const {
3265a31a673SHsiangkai Wang   assert(Amount != 0 && "Did not need to adjust stack pointer for RVV.");
3275a31a673SHsiangkai Wang 
3285a31a673SHsiangkai Wang   const RISCVInstrInfo *TII = STI.getInstrInfo();
3295a31a673SHsiangkai Wang   Register SPReg = getSPReg(STI);
3305a31a673SHsiangkai Wang   unsigned Opc = RISCV::ADD;
3315a31a673SHsiangkai Wang   if (Amount < 0) {
3325a31a673SHsiangkai Wang     Amount = -Amount;
3335a31a673SHsiangkai Wang     Opc = RISCV::SUB;
3345a31a673SHsiangkai Wang   }
3355a31a673SHsiangkai Wang   // 1. Multiply the number of v-slots to the length of registers
336b41e1306SHsiangkai Wang   Register FactorRegister =
3374b2dd318SHsiangkai Wang       TII->getVLENFactoredAmount(MF, MBB, MBBI, DL, Amount, Flag);
3385a31a673SHsiangkai Wang   // 2. SP = SP - RVV stack size
3395a31a673SHsiangkai Wang   BuildMI(MBB, MBBI, DL, TII->get(Opc), SPReg)
3405a31a673SHsiangkai Wang       .addReg(SPReg)
3414b2dd318SHsiangkai Wang       .addReg(FactorRegister, RegState::Kill)
3424b2dd318SHsiangkai Wang       .setMIFlag(Flag);
3435a31a673SHsiangkai Wang }
3445a31a673SHsiangkai Wang 
3458971842fSAlex Bradbury void RISCVFrameLowering::emitPrologue(MachineFunction &MF,
346b014e3deSAlex Bradbury                                       MachineBasicBlock &MBB) const {
347b014e3deSAlex Bradbury   MachineFrameInfo &MFI = MF.getFrameInfo();
348c85be0deSAlex Bradbury   auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
34904ddf39bSHsiangkai Wang   const RISCVRegisterInfo *RI = STI.getRegisterInfo();
35004ddf39bSHsiangkai Wang   const RISCVInstrInfo *TII = STI.getInstrInfo();
351b014e3deSAlex Bradbury   MachineBasicBlock::iterator MBBI = MBB.begin();
352b014e3deSAlex Bradbury 
353fa06e958SLuis Marques   Register FPReg = getFPReg(STI);
354fa06e958SLuis Marques   Register SPReg = getSPReg(STI);
355cf6cf0cdSShiva Chen   Register BPReg = RISCVABI::getBPReg();
356b014e3deSAlex Bradbury 
3571c466477SZhaoshi Zheng   // Debug location must be unknown since the first debug location is used
3581c466477SZhaoshi Zheng   // to determine the end of the prologue.
3591c466477SZhaoshi Zheng   DebugLoc DL;
3601c466477SZhaoshi Zheng 
361a8dc2110SLuís Marques   // All calls are tail calls in GHC calling conv, and functions have no
362a8dc2110SLuís Marques   // prologue/epilogue.
363a8dc2110SLuís Marques   if (MF.getFunction().getCallingConv() == CallingConv::GHC)
364a8dc2110SLuís Marques     return;
365a8dc2110SLuís Marques 
3661c466477SZhaoshi Zheng   // Emit prologue for shadow call stack.
3671c466477SZhaoshi Zheng   emitSCSPrologue(MF, MBB, MBBI, DL);
3681c466477SZhaoshi Zheng 
36907f7c002Slewis-revill   // Since spillCalleeSavedRegisters may have inserted a libcall, skip past
37007f7c002Slewis-revill   // any instructions marked as FrameSetup
37107f7c002Slewis-revill   while (MBBI != MBB.end() && MBBI->getFlag(MachineInstr::FrameSetup))
37207f7c002Slewis-revill     ++MBBI;
37307f7c002Slewis-revill 
374b014e3deSAlex Bradbury   // Determine the correct frame layout
375b014e3deSAlex Bradbury   determineFrameLayout(MF);
376b014e3deSAlex Bradbury 
37707f7c002Slewis-revill   // If libcalls are used to spill and restore callee-saved registers, the frame
37807f7c002Slewis-revill   // has two sections; the opaque section managed by the libcalls, and the
37907f7c002Slewis-revill   // section managed by MachineFrameInfo which can also hold callee saved
38007f7c002Slewis-revill   // registers in fixed stack slots, both of which have negative frame indices.
38107f7c002Slewis-revill   // This gets even more complicated when incoming arguments are passed via the
38207f7c002Slewis-revill   // stack, as these too have negative frame indices. An example is detailed
38307f7c002Slewis-revill   // below:
38407f7c002Slewis-revill   //
38507f7c002Slewis-revill   //  | incoming arg | <- FI[-3]
38607f7c002Slewis-revill   //  | libcallspill |
38707f7c002Slewis-revill   //  | calleespill  | <- FI[-2]
38807f7c002Slewis-revill   //  | calleespill  | <- FI[-1]
38907f7c002Slewis-revill   //  | this_frame   | <- FI[0]
39007f7c002Slewis-revill   //
39107f7c002Slewis-revill   // For negative frame indices, the offset from the frame pointer will differ
39207f7c002Slewis-revill   // depending on which of these groups the frame index applies to.
39307f7c002Slewis-revill   // The following calculates the correct offset knowing the number of callee
39407f7c002Slewis-revill   // saved registers spilt by the two methods.
39507f7c002Slewis-revill   if (int LibCallRegs = getLibCallID(MF, MFI.getCalleeSavedInfo()) + 1) {
39607f7c002Slewis-revill     // Calculate the size of the frame managed by the libcall. The libcalls are
39707f7c002Slewis-revill     // implemented such that the stack will always be 16 byte aligned.
39807f7c002Slewis-revill     unsigned LibCallFrameSize = alignTo((STI.getXLen() / 8) * LibCallRegs, 16);
39907f7c002Slewis-revill     RVFI->setLibCallStackSize(LibCallFrameSize);
40007f7c002Slewis-revill   }
40107f7c002Slewis-revill 
402b014e3deSAlex Bradbury   // FIXME (note copied from Lanai): This appears to be overallocating.  Needs
403b014e3deSAlex Bradbury   // investigation. Get the number of bytes to allocate from the FrameInfo.
404ef76a333SRoger Ferrer Ibanez   uint64_t StackSize = MFI.getStackSize() + RVFI->getRVVPadding();
40507f7c002Slewis-revill   uint64_t RealStackSize = StackSize + RVFI->getLibCallStackSize();
4065a31a673SHsiangkai Wang   uint64_t RVVStackSize = RVFI->getRVVStackSize();
407b014e3deSAlex Bradbury 
408b014e3deSAlex Bradbury   // Early exit if there is no need to allocate on the stack
4095a31a673SHsiangkai Wang   if (RealStackSize == 0 && !MFI.adjustsStack() && RVVStackSize == 0)
410b014e3deSAlex Bradbury     return;
411b014e3deSAlex Bradbury 
412aed9d6d6SSimon Cook   // If the stack pointer has been marked as reserved, then produce an error if
413aed9d6d6SSimon Cook   // the frame requires stack allocation
414aed9d6d6SSimon Cook   if (STI.isRegisterReservedByUser(SPReg))
415aed9d6d6SSimon Cook     MF.getFunction().getContext().diagnose(DiagnosticInfoUnsupported{
416aed9d6d6SSimon Cook         MF.getFunction(), "Stack pointer required, but has been reserved."});
417aed9d6d6SSimon Cook 
418ff55e2e0SShiva Chen   uint64_t FirstSPAdjustAmount = getFirstSPAdjustAmount(MF);
419ff55e2e0SShiva Chen   // Split the SP adjustment to reduce the offsets of callee saved spill.
42007f7c002Slewis-revill   if (FirstSPAdjustAmount) {
421ff55e2e0SShiva Chen     StackSize = FirstSPAdjustAmount;
42207f7c002Slewis-revill     RealStackSize = FirstSPAdjustAmount;
42307f7c002Slewis-revill   }
424ff55e2e0SShiva Chen 
425b014e3deSAlex Bradbury   // Allocate space on the stack if necessary.
426b014e3deSAlex Bradbury   adjustReg(MBB, MBBI, DL, SPReg, SPReg, -StackSize, MachineInstr::FrameSetup);
427b014e3deSAlex Bradbury 
42807f7c002Slewis-revill   // Emit ".cfi_def_cfa_offset RealStackSize"
42904ddf39bSHsiangkai Wang   unsigned CFIIndex = MF.addFrameInst(
4300840d725SFangrui Song       MCCFIInstruction::cfiDefCfaOffset(nullptr, RealStackSize));
43104ddf39bSHsiangkai Wang   BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION))
4324b2dd318SHsiangkai Wang       .addCFIIndex(CFIIndex)
4334b2dd318SHsiangkai Wang       .setMIFlag(MachineInstr::FrameSetup);
43404ddf39bSHsiangkai Wang 
43507f7c002Slewis-revill   const auto &CSI = MFI.getCalleeSavedInfo();
43607f7c002Slewis-revill 
437b014e3deSAlex Bradbury   // The frame pointer is callee-saved, and code has been generated for us to
438b014e3deSAlex Bradbury   // save it to the stack. We need to skip over the storing of callee-saved
439b014e3deSAlex Bradbury   // registers as the frame pointer must be modified after it has been saved
440b014e3deSAlex Bradbury   // to the stack, not before.
441b014e3deSAlex Bradbury   // FIXME: assumes exactly one instruction is used to save each callee-saved
442b014e3deSAlex Bradbury   // register.
4435a31a673SHsiangkai Wang   std::advance(MBBI, getNonLibcallCSI(MF, CSI).size());
444b014e3deSAlex Bradbury 
44504ddf39bSHsiangkai Wang   // Iterate over list of callee-saved registers and emit .cfi_offset
44604ddf39bSHsiangkai Wang   // directives.
44704ddf39bSHsiangkai Wang   for (const auto &Entry : CSI) {
44807f7c002Slewis-revill     int FrameIdx = Entry.getFrameIdx();
44907f7c002Slewis-revill     int64_t Offset;
45007f7c002Slewis-revill     // Offsets for objects with fixed locations (IE: those saved by libcall) are
45107f7c002Slewis-revill     // simply calculated from the frame index.
45207f7c002Slewis-revill     if (FrameIdx < 0)
45307f7c002Slewis-revill       Offset = FrameIdx * (int64_t) STI.getXLen() / 8;
45407f7c002Slewis-revill     else
45507f7c002Slewis-revill       Offset = MFI.getObjectOffset(Entry.getFrameIdx()) -
45607f7c002Slewis-revill                RVFI->getLibCallStackSize();
457fa06e958SLuis Marques     Register Reg = Entry.getReg();
45804ddf39bSHsiangkai Wang     unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::createOffset(
45904ddf39bSHsiangkai Wang         nullptr, RI->getDwarfRegNum(Reg, true), Offset));
46004ddf39bSHsiangkai Wang     BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION))
4614b2dd318SHsiangkai Wang         .addCFIIndex(CFIIndex)
4624b2dd318SHsiangkai Wang         .setMIFlag(MachineInstr::FrameSetup);
46304ddf39bSHsiangkai Wang   }
46404ddf39bSHsiangkai Wang 
465b014e3deSAlex Bradbury   // Generate new FP.
46604ddf39bSHsiangkai Wang   if (hasFP(MF)) {
467aed9d6d6SSimon Cook     if (STI.isRegisterReservedByUser(FPReg))
468aed9d6d6SSimon Cook       MF.getFunction().getContext().diagnose(DiagnosticInfoUnsupported{
469aed9d6d6SSimon Cook           MF.getFunction(), "Frame pointer required, but has been reserved."});
470aed9d6d6SSimon Cook 
4717d6aa1f7SAlex Bradbury     adjustReg(MBB, MBBI, DL, FPReg, SPReg,
47207f7c002Slewis-revill               RealStackSize - RVFI->getVarArgsSaveSize(),
47307f7c002Slewis-revill               MachineInstr::FrameSetup);
47404ddf39bSHsiangkai Wang 
4757e49dc61SFangrui Song     // Emit ".cfi_def_cfa $fp, RVFI->getVarArgsSaveSize()"
4767e49dc61SFangrui Song     unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::cfiDefCfa(
4777e49dc61SFangrui Song         nullptr, RI->getDwarfRegNum(FPReg, true), RVFI->getVarArgsSaveSize()));
47804ddf39bSHsiangkai Wang     BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION))
4794b2dd318SHsiangkai Wang         .addCFIIndex(CFIIndex)
4804b2dd318SHsiangkai Wang         .setMIFlag(MachineInstr::FrameSetup);
481ff55e2e0SShiva Chen   }
482cd44aee3SSam Elliott 
483ff55e2e0SShiva Chen   // Emit the second SP adjustment after saving callee saved registers.
484ff55e2e0SShiva Chen   if (FirstSPAdjustAmount) {
485ff55e2e0SShiva Chen     uint64_t SecondSPAdjustAmount = MFI.getStackSize() - FirstSPAdjustAmount;
486ff55e2e0SShiva Chen     assert(SecondSPAdjustAmount > 0 &&
487ff55e2e0SShiva Chen            "SecondSPAdjustAmount should be greater than zero");
488ff55e2e0SShiva Chen     adjustReg(MBB, MBBI, DL, SPReg, SPReg, -SecondSPAdjustAmount,
489ff55e2e0SShiva Chen               MachineInstr::FrameSetup);
4901c737f54SLuís Marques 
4911c737f54SLuís Marques     // If we are using a frame-pointer, and thus emitted ".cfi_def_cfa fp, 0",
4921c737f54SLuís Marques     // don't emit an sp-based .cfi_def_cfa_offset
4931c737f54SLuís Marques     if (!hasFP(MF)) {
494ff55e2e0SShiva Chen       // Emit ".cfi_def_cfa_offset StackSize"
495ff55e2e0SShiva Chen       unsigned CFIIndex = MF.addFrameInst(
4960840d725SFangrui Song           MCCFIInstruction::cfiDefCfaOffset(nullptr, MFI.getStackSize()));
497ff55e2e0SShiva Chen       BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION))
4984b2dd318SHsiangkai Wang           .addCFIIndex(CFIIndex)
4994b2dd318SHsiangkai Wang           .setMIFlag(MachineInstr::FrameSetup);
500ff55e2e0SShiva Chen     }
5011c737f54SLuís Marques   }
502ff55e2e0SShiva Chen 
503a9b9c64fSluxufan   if (RVVStackSize)
5044b2dd318SHsiangkai Wang     adjustStackForRVV(MF, MBB, MBBI, DL, -RVVStackSize,
5054b2dd318SHsiangkai Wang                       MachineInstr::FrameSetup);
506a9b9c64fSluxufan 
507ff55e2e0SShiva Chen   if (hasFP(MF)) {
508cd44aee3SSam Elliott     // Realign Stack
509cd44aee3SSam Elliott     const RISCVRegisterInfo *RI = STI.getRegisterInfo();
510a9968c0aSTomas Matheson     if (RI->hasStackRealignment(MF)) {
511d000655aSGuillaume Chatelet       Align MaxAlignment = MFI.getMaxAlign();
512cd44aee3SSam Elliott 
513cd44aee3SSam Elliott       const RISCVInstrInfo *TII = STI.getInstrInfo();
514d000655aSGuillaume Chatelet       if (isInt<12>(-(int)MaxAlignment.value())) {
515cd44aee3SSam Elliott         BuildMI(MBB, MBBI, DL, TII->get(RISCV::ANDI), SPReg)
516cd44aee3SSam Elliott             .addReg(SPReg)
5174b2dd318SHsiangkai Wang             .addImm(-(int)MaxAlignment.value())
5184b2dd318SHsiangkai Wang             .setMIFlag(MachineInstr::FrameSetup);
519cd44aee3SSam Elliott       } else {
520d000655aSGuillaume Chatelet         unsigned ShiftAmount = Log2(MaxAlignment);
521fa06e958SLuis Marques         Register VR =
522cd44aee3SSam Elliott             MF.getRegInfo().createVirtualRegister(&RISCV::GPRRegClass);
523cd44aee3SSam Elliott         BuildMI(MBB, MBBI, DL, TII->get(RISCV::SRLI), VR)
524cd44aee3SSam Elliott             .addReg(SPReg)
5254b2dd318SHsiangkai Wang             .addImm(ShiftAmount)
5264b2dd318SHsiangkai Wang             .setMIFlag(MachineInstr::FrameSetup);
527cd44aee3SSam Elliott         BuildMI(MBB, MBBI, DL, TII->get(RISCV::SLLI), SPReg)
528cd44aee3SSam Elliott             .addReg(VR)
5294b2dd318SHsiangkai Wang             .addImm(ShiftAmount)
5304b2dd318SHsiangkai Wang             .setMIFlag(MachineInstr::FrameSetup);
531cd44aee3SSam Elliott       }
532cf6cf0cdSShiva Chen       // FP will be used to restore the frame in the epilogue, so we need
533cf6cf0cdSShiva Chen       // another base register BP to record SP after re-alignment. SP will
534cf6cf0cdSShiva Chen       // track the current stack after allocating variable sized objects.
535cf6cf0cdSShiva Chen       if (hasBP(MF)) {
536cf6cf0cdSShiva Chen         // move BP, SP
5374b2dd318SHsiangkai Wang         BuildMI(MBB, MBBI, DL, TII->get(RISCV::ADDI), BPReg)
5384b2dd318SHsiangkai Wang             .addReg(SPReg)
5394b2dd318SHsiangkai Wang             .addImm(0)
5404b2dd318SHsiangkai Wang             .setMIFlag(MachineInstr::FrameSetup);
541cf6cf0cdSShiva Chen       }
542cd44aee3SSam Elliott     }
54304ddf39bSHsiangkai Wang   }
544b014e3deSAlex Bradbury }
5458971842fSAlex Bradbury 
5468971842fSAlex Bradbury void RISCVFrameLowering::emitEpilogue(MachineFunction &MF,
547b014e3deSAlex Bradbury                                       MachineBasicBlock &MBB) const {
548b014e3deSAlex Bradbury   const RISCVRegisterInfo *RI = STI.getRegisterInfo();
549b014e3deSAlex Bradbury   MachineFrameInfo &MFI = MF.getFrameInfo();
550c85be0deSAlex Bradbury   auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
551fa06e958SLuis Marques   Register FPReg = getFPReg(STI);
552fa06e958SLuis Marques   Register SPReg = getSPReg(STI);
553b014e3deSAlex Bradbury 
554a8dc2110SLuís Marques   // All calls are tail calls in GHC calling conv, and functions have no
555a8dc2110SLuís Marques   // prologue/epilogue.
556a8dc2110SLuís Marques   if (MF.getFunction().getCallingConv() == CallingConv::GHC)
557a8dc2110SLuís Marques     return;
558a8dc2110SLuís Marques 
559cd800f3bSlewis-revill   // Get the insert location for the epilogue. If there were no terminators in
560cd800f3bSlewis-revill   // the block, get the last instruction.
561cd800f3bSlewis-revill   MachineBasicBlock::iterator MBBI = MBB.end();
562cd800f3bSlewis-revill   DebugLoc DL;
563cd800f3bSlewis-revill   if (!MBB.empty()) {
564cd800f3bSlewis-revill     MBBI = MBB.getFirstTerminator();
565cd800f3bSlewis-revill     if (MBBI == MBB.end())
566cd800f3bSlewis-revill       MBBI = MBB.getLastNonDebugInstr();
567cd800f3bSlewis-revill     DL = MBBI->getDebugLoc();
568cd800f3bSlewis-revill 
569cd800f3bSlewis-revill     // If this is not a terminator, the actual insert location should be after the
570cd800f3bSlewis-revill     // last instruction.
571cd800f3bSlewis-revill     if (!MBBI->isTerminator())
572cd800f3bSlewis-revill       MBBI = std::next(MBBI);
57307f7c002Slewis-revill 
57407f7c002Slewis-revill     // If callee-saved registers are saved via libcall, place stack adjustment
57507f7c002Slewis-revill     // before this call.
57607f7c002Slewis-revill     while (MBBI != MBB.begin() &&
57707f7c002Slewis-revill            std::prev(MBBI)->getFlag(MachineInstr::FrameDestroy))
57807f7c002Slewis-revill       --MBBI;
579cd800f3bSlewis-revill   }
580cd800f3bSlewis-revill 
5815a31a673SHsiangkai Wang   const auto &CSI = getNonLibcallCSI(MF, MFI.getCalleeSavedInfo());
58207f7c002Slewis-revill 
583b014e3deSAlex Bradbury   // Skip to before the restores of callee-saved registers
584b014e3deSAlex Bradbury   // FIXME: assumes exactly one instruction is used to restore each
585b014e3deSAlex Bradbury   // callee-saved register.
58607f7c002Slewis-revill   auto LastFrameDestroy = MBBI;
58707f7c002Slewis-revill   if (!CSI.empty())
58807f7c002Slewis-revill     LastFrameDestroy = std::prev(MBBI, CSI.size());
589b014e3deSAlex Bradbury 
590ef76a333SRoger Ferrer Ibanez   uint64_t StackSize = MFI.getStackSize() + RVFI->getRVVPadding();
59107f7c002Slewis-revill   uint64_t RealStackSize = StackSize + RVFI->getLibCallStackSize();
59207f7c002Slewis-revill   uint64_t FPOffset = RealStackSize - RVFI->getVarArgsSaveSize();
5935a31a673SHsiangkai Wang   uint64_t RVVStackSize = RVFI->getRVVStackSize();
594b014e3deSAlex Bradbury 
595b014e3deSAlex Bradbury   // Restore the stack pointer using the value of the frame pointer. Only
596b014e3deSAlex Bradbury   // necessary if the stack pointer was modified, meaning the stack size is
597b014e3deSAlex Bradbury   // unknown.
598a9968c0aSTomas Matheson   if (RI->hasStackRealignment(MF) || MFI.hasVarSizedObjects()) {
5997d6aa1f7SAlex Bradbury     assert(hasFP(MF) && "frame pointer should not have been eliminated");
60004ddf39bSHsiangkai Wang     adjustReg(MBB, LastFrameDestroy, DL, SPReg, FPReg, -FPOffset,
601b014e3deSAlex Bradbury               MachineInstr::FrameDestroy);
6025a31a673SHsiangkai Wang   } else {
6035a31a673SHsiangkai Wang     if (RVVStackSize)
6044b2dd318SHsiangkai Wang       adjustStackForRVV(MF, MBB, LastFrameDestroy, DL, RVVStackSize,
6054b2dd318SHsiangkai Wang                         MachineInstr::FrameDestroy);
606b014e3deSAlex Bradbury   }
607b014e3deSAlex Bradbury 
608ff55e2e0SShiva Chen   uint64_t FirstSPAdjustAmount = getFirstSPAdjustAmount(MF);
609ff55e2e0SShiva Chen   if (FirstSPAdjustAmount) {
610ff55e2e0SShiva Chen     uint64_t SecondSPAdjustAmount = MFI.getStackSize() - FirstSPAdjustAmount;
611ff55e2e0SShiva Chen     assert(SecondSPAdjustAmount > 0 &&
612ff55e2e0SShiva Chen            "SecondSPAdjustAmount should be greater than zero");
613ff55e2e0SShiva Chen 
614ff55e2e0SShiva Chen     adjustReg(MBB, LastFrameDestroy, DL, SPReg, SPReg, SecondSPAdjustAmount,
615ff55e2e0SShiva Chen               MachineInstr::FrameDestroy);
61604ddf39bSHsiangkai Wang   }
61704ddf39bSHsiangkai Wang 
618ff55e2e0SShiva Chen   if (FirstSPAdjustAmount)
619ff55e2e0SShiva Chen     StackSize = FirstSPAdjustAmount;
620ff55e2e0SShiva Chen 
621b014e3deSAlex Bradbury   // Deallocate stack
622b014e3deSAlex Bradbury   adjustReg(MBB, MBBI, DL, SPReg, SPReg, StackSize, MachineInstr::FrameDestroy);
6231c466477SZhaoshi Zheng 
6241c466477SZhaoshi Zheng   // Emit epilogue for shadow call stack.
6251c466477SZhaoshi Zheng   emitSCSEpilogue(MF, MBB, MBBI, DL);
626b014e3deSAlex Bradbury }
627660bccecSAlex Bradbury 
628d57bba7cSSander de Smalen StackOffset
629d57bba7cSSander de Smalen RISCVFrameLowering::getFrameIndexReference(const MachineFunction &MF, int FI,
6302481f26aSMatt Arsenault                                            Register &FrameReg) const {
631660bccecSAlex Bradbury   const MachineFrameInfo &MFI = MF.getFrameInfo();
632660bccecSAlex Bradbury   const TargetRegisterInfo *RI = MF.getSubtarget().getRegisterInfo();
633c85be0deSAlex Bradbury   const auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
634660bccecSAlex Bradbury 
635660bccecSAlex Bradbury   // Callee-saved registers should be referenced relative to the stack
636660bccecSAlex Bradbury   // pointer (positive offset), otherwise use the frame pointer (negative
637660bccecSAlex Bradbury   // offset).
6385a31a673SHsiangkai Wang   const auto &CSI = getNonLibcallCSI(MF, MFI.getCalleeSavedInfo());
639660bccecSAlex Bradbury   int MinCSFI = 0;
640660bccecSAlex Bradbury   int MaxCSFI = -1;
6415a31a673SHsiangkai Wang   StackOffset Offset;
6425a31a673SHsiangkai Wang   auto StackID = MFI.getStackID(FI);
643660bccecSAlex Bradbury 
6445a31a673SHsiangkai Wang   assert((StackID == TargetStackID::Default ||
6455a31a673SHsiangkai Wang           StackID == TargetStackID::ScalableVector) &&
6465a31a673SHsiangkai Wang          "Unexpected stack ID for the frame object.");
6475a31a673SHsiangkai Wang   if (StackID == TargetStackID::Default) {
6485a31a673SHsiangkai Wang     Offset =
6495a31a673SHsiangkai Wang         StackOffset::getFixed(MFI.getObjectOffset(FI) - getOffsetOfLocalArea() +
6505a31a673SHsiangkai Wang                               MFI.getOffsetAdjustment());
6515a31a673SHsiangkai Wang   } else if (StackID == TargetStackID::ScalableVector) {
6525a31a673SHsiangkai Wang     Offset = StackOffset::getScalable(MFI.getObjectOffset(FI));
6535a31a673SHsiangkai Wang   }
654660bccecSAlex Bradbury 
655ff55e2e0SShiva Chen   uint64_t FirstSPAdjustAmount = getFirstSPAdjustAmount(MF);
656ff55e2e0SShiva Chen 
657660bccecSAlex Bradbury   if (CSI.size()) {
658660bccecSAlex Bradbury     MinCSFI = CSI[0].getFrameIdx();
659660bccecSAlex Bradbury     MaxCSFI = CSI[CSI.size() - 1].getFrameIdx();
660660bccecSAlex Bradbury   }
661660bccecSAlex Bradbury 
662660bccecSAlex Bradbury   if (FI >= MinCSFI && FI <= MaxCSFI) {
663660bccecSAlex Bradbury     FrameReg = RISCV::X2;
664ff55e2e0SShiva Chen 
665ff55e2e0SShiva Chen     if (FirstSPAdjustAmount)
6665a31a673SHsiangkai Wang       Offset += StackOffset::getFixed(FirstSPAdjustAmount);
667ff55e2e0SShiva Chen     else
668ef76a333SRoger Ferrer Ibanez       Offset +=
669ef76a333SRoger Ferrer Ibanez           StackOffset::getFixed(MFI.getStackSize() + RVFI->getRVVPadding());
670a9968c0aSTomas Matheson   } else if (RI->hasStackRealignment(MF) && !MFI.isFixedObjectIndex(FI)) {
671cd44aee3SSam Elliott     // If the stack was realigned, the frame pointer is set in order to allow
672cf6cf0cdSShiva Chen     // SP to be restored, so we need another base register to record the stack
673cf6cf0cdSShiva Chen     // after realignment.
6745a31a673SHsiangkai Wang     if (hasBP(MF)) {
675cf6cf0cdSShiva Chen       FrameReg = RISCVABI::getBPReg();
6765a31a673SHsiangkai Wang       // |--------------------------| -- <-- FP
677*9c5aedfbSKito Cheng       // | callee-allocated save    | | <----|
678*9c5aedfbSKito Cheng       // | area for register varargs| |      |
679*9c5aedfbSKito Cheng       // |--------------------------| |      |
680*9c5aedfbSKito Cheng       // | callee-saved registers   | |      |
681a9b9c64fSluxufan       // |--------------------------| --     |
682a9b9c64fSluxufan       // | realignment (the size of | |      |
683a9b9c64fSluxufan       // | this area is not counted | |      |
684a9b9c64fSluxufan       // | in MFI.getStackSize())   | |      |
685ef76a333SRoger Ferrer Ibanez       // |--------------------------| --     |
686ef76a333SRoger Ferrer Ibanez       // | Padding after RVV        | |      |
687ef76a333SRoger Ferrer Ibanez       // | (not counted in          | |      |
688fcaa64d9SFraser Cormack       // | MFI.getStackSize())      | |      |
689a9b9c64fSluxufan       // |--------------------------| --     |-- MFI.getStackSize()
690a9b9c64fSluxufan       // | RVV objects              | |      |
691ef76a333SRoger Ferrer Ibanez       // | (not counted in          | |      |
692fcaa64d9SFraser Cormack       // | MFI.getStackSize())      | |      |
693a9b9c64fSluxufan       // |--------------------------| --     |
694ef76a333SRoger Ferrer Ibanez       // | Padding before RVV       | |      |
695ef76a333SRoger Ferrer Ibanez       // | (not counted in          | |      |
696fcaa64d9SFraser Cormack       // | MFI.getStackSize())      | |      |
697ef76a333SRoger Ferrer Ibanez       // |--------------------------| --     |
698ef76a333SRoger Ferrer Ibanez       // | scalar local variables   | | <----'
6995a31a673SHsiangkai Wang       // |--------------------------| -- <-- BP
7005a31a673SHsiangkai Wang       // | VarSize objects          | |
7015a31a673SHsiangkai Wang       // |--------------------------| -- <-- SP
7025a31a673SHsiangkai Wang     } else {
703cd44aee3SSam Elliott       FrameReg = RISCV::X2;
7045a31a673SHsiangkai Wang       // |--------------------------| -- <-- FP
705*9c5aedfbSKito Cheng       // | callee-allocated save    | | <----|
706*9c5aedfbSKito Cheng       // | area for register varargs| |      |
707*9c5aedfbSKito Cheng       // |--------------------------| |      |
708*9c5aedfbSKito Cheng       // | callee-saved registers   | |      |
709a9b9c64fSluxufan       // |--------------------------| --     |
710a9b9c64fSluxufan       // | realignment (the size of | |      |
711a9b9c64fSluxufan       // | this area is not counted | |      |
712a9b9c64fSluxufan       // | in MFI.getStackSize())   | |      |
713ef76a333SRoger Ferrer Ibanez       // |--------------------------| --     |
714ef76a333SRoger Ferrer Ibanez       // | Padding after RVV        | |      |
715ef76a333SRoger Ferrer Ibanez       // | (not counted in          | |      |
716fcaa64d9SFraser Cormack       // | MFI.getStackSize())      | |      |
717a9b9c64fSluxufan       // |--------------------------| --     |-- MFI.getStackSize()
718a9b9c64fSluxufan       // | RVV objects              | |      |
719ef76a333SRoger Ferrer Ibanez       // | (not counted in          | |      |
720fcaa64d9SFraser Cormack       // | MFI.getStackSize())      | |      |
721a9b9c64fSluxufan       // |--------------------------| --     |
722ef76a333SRoger Ferrer Ibanez       // | Padding before RVV       | |      |
723ef76a333SRoger Ferrer Ibanez       // | (not counted in          | |      |
724fcaa64d9SFraser Cormack       // | MFI.getStackSize())      | |      |
725ef76a333SRoger Ferrer Ibanez       // |--------------------------| --     |
726ef76a333SRoger Ferrer Ibanez       // | scalar local variables   | | <----'
7275a31a673SHsiangkai Wang       // |--------------------------| -- <-- SP
7285a31a673SHsiangkai Wang     }
729ef76a333SRoger Ferrer Ibanez     // The total amount of padding surrounding RVV objects is described by
730ef76a333SRoger Ferrer Ibanez     // RVV->getRVVPadding() and it can be zero. It allows us to align the RVV
731ef76a333SRoger Ferrer Ibanez     // objects to 8 bytes.
7325a31a673SHsiangkai Wang     if (MFI.getStackID(FI) == TargetStackID::Default) {
7335a31a673SHsiangkai Wang       Offset += StackOffset::getFixed(MFI.getStackSize());
73407f7c002Slewis-revill       if (FI < 0)
7355a31a673SHsiangkai Wang         Offset += StackOffset::getFixed(RVFI->getLibCallStackSize());
736a9b9c64fSluxufan     } else if (MFI.getStackID(FI) == TargetStackID::ScalableVector) {
737ef76a333SRoger Ferrer Ibanez       Offset += StackOffset::get(
738ef76a333SRoger Ferrer Ibanez           alignTo(MFI.getStackSize() - RVFI->getCalleeSavedStackSize(), 8),
739a9b9c64fSluxufan           RVFI->getRVVStackSize());
7405a31a673SHsiangkai Wang     }
741c85be0deSAlex Bradbury   } else {
742c85be0deSAlex Bradbury     FrameReg = RI->getFrameRegister(MF);
74307f7c002Slewis-revill     if (hasFP(MF)) {
7445a31a673SHsiangkai Wang       Offset += StackOffset::getFixed(RVFI->getVarArgsSaveSize());
74507f7c002Slewis-revill       if (FI >= 0)
7465a31a673SHsiangkai Wang         Offset -= StackOffset::getFixed(RVFI->getLibCallStackSize());
7475a31a673SHsiangkai Wang       // When using FP to access scalable vector objects, we need to minus
7485a31a673SHsiangkai Wang       // the frame size.
7495a31a673SHsiangkai Wang       //
7505a31a673SHsiangkai Wang       // |--------------------------| -- <-- FP
751*9c5aedfbSKito Cheng       // | callee-allocated save    | |
752*9c5aedfbSKito Cheng       // | area for register varargs| |
753*9c5aedfbSKito Cheng       // |--------------------------| |
7545a31a673SHsiangkai Wang       // | callee-saved registers   | |
7555a31a673SHsiangkai Wang       // |--------------------------| | MFI.getStackSize()
7565a31a673SHsiangkai Wang       // | scalar local variables   | |
7575a31a673SHsiangkai Wang       // |--------------------------| -- (Offset of RVV objects is from here.)
7585a31a673SHsiangkai Wang       // | RVV objects              |
7595a31a673SHsiangkai Wang       // |--------------------------|
7605a31a673SHsiangkai Wang       // | VarSize objects          |
7615a31a673SHsiangkai Wang       // |--------------------------| <-- SP
7625a31a673SHsiangkai Wang       if (MFI.getStackID(FI) == TargetStackID::ScalableVector)
7635a31a673SHsiangkai Wang         Offset -= StackOffset::getFixed(MFI.getStackSize());
76407f7c002Slewis-revill     } else {
7655a31a673SHsiangkai Wang       // When using SP to access frame objects, we need to add RVV stack size.
7665a31a673SHsiangkai Wang       //
7675a31a673SHsiangkai Wang       // |--------------------------| -- <-- FP
768*9c5aedfbSKito Cheng       // | callee-allocated save    | | <----|
769*9c5aedfbSKito Cheng       // | area for register varargs| |      |
770*9c5aedfbSKito Cheng       // |--------------------------| |      |
771*9c5aedfbSKito Cheng       // | callee-saved registers   | |      |
772ef76a333SRoger Ferrer Ibanez       // |--------------------------| --     |
773ef76a333SRoger Ferrer Ibanez       // | Padding after RVV        | |      |
774ef76a333SRoger Ferrer Ibanez       // | (not counted in          | |      |
775fcaa64d9SFraser Cormack       // | MFI.getStackSize())      | |      |
776a9b9c64fSluxufan       // |--------------------------| --     |
777a9b9c64fSluxufan       // | RVV objects              | |      |-- MFI.getStackSize()
778ef76a333SRoger Ferrer Ibanez       // | (not counted in          | |      |
779fcaa64d9SFraser Cormack       // | MFI.getStackSize())      | |      |
780a9b9c64fSluxufan       // |--------------------------| --     |
781ef76a333SRoger Ferrer Ibanez       // | Padding before RVV       | |      |
782ef76a333SRoger Ferrer Ibanez       // | (not counted in          | |      |
783fcaa64d9SFraser Cormack       // | MFI.getStackSize())      | |      |
784ef76a333SRoger Ferrer Ibanez       // |--------------------------| --     |
785ef76a333SRoger Ferrer Ibanez       // | scalar local variables   | | <----'
7865a31a673SHsiangkai Wang       // |--------------------------| -- <-- SP
787ef76a333SRoger Ferrer Ibanez       //
788ef76a333SRoger Ferrer Ibanez       // The total amount of padding surrounding RVV objects is described by
789ef76a333SRoger Ferrer Ibanez       // RVV->getRVVPadding() and it can be zero. It allows us to align the RVV
790ef76a333SRoger Ferrer Ibanez       // objects to 8 bytes.
7915a31a673SHsiangkai Wang       if (MFI.getStackID(FI) == TargetStackID::Default) {
7925603ed60Sluxufan         if (MFI.isFixedObjectIndex(FI)) {
79352c60459SFraser Cormack           Offset +=
79452c60459SFraser Cormack               StackOffset::get(MFI.getStackSize() + RVFI->getRVVPadding() +
79552c60459SFraser Cormack                                    RVFI->getLibCallStackSize(),
79652c60459SFraser Cormack                                RVFI->getRVVStackSize());
7975603ed60Sluxufan         } else {
7985a31a673SHsiangkai Wang           Offset += StackOffset::getFixed(MFI.getStackSize());
7995603ed60Sluxufan         }
800a9b9c64fSluxufan       } else if (MFI.getStackID(FI) == TargetStackID::ScalableVector) {
801*9c5aedfbSKito Cheng         int ScalarLocalVarSize = MFI.getStackSize() -
802*9c5aedfbSKito Cheng                                  RVFI->getCalleeSavedStackSize() -
803*9c5aedfbSKito Cheng                                  RVFI->getVarArgsSaveSize();
804ef76a333SRoger Ferrer Ibanez         Offset += StackOffset::get(
805*9c5aedfbSKito Cheng             alignTo(ScalarLocalVarSize, 8),
806a9b9c64fSluxufan             RVFI->getRVVStackSize());
80707f7c002Slewis-revill       }
808660bccecSAlex Bradbury     }
8095a31a673SHsiangkai Wang   }
8105a31a673SHsiangkai Wang 
8115a31a673SHsiangkai Wang   return Offset;
812660bccecSAlex Bradbury }
813b014e3deSAlex Bradbury 
814b014e3deSAlex Bradbury void RISCVFrameLowering::determineCalleeSaves(MachineFunction &MF,
815b014e3deSAlex Bradbury                                               BitVector &SavedRegs,
816b014e3deSAlex Bradbury                                               RegScavenger *RS) const {
817b014e3deSAlex Bradbury   TargetFrameLowering::determineCalleeSaves(MF, SavedRegs, RS);
8187d6aa1f7SAlex Bradbury   // Unconditionally spill RA and FP only if the function uses a frame
8197d6aa1f7SAlex Bradbury   // pointer.
8207d6aa1f7SAlex Bradbury   if (hasFP(MF)) {
821b014e3deSAlex Bradbury     SavedRegs.set(RISCV::X1);
822b014e3deSAlex Bradbury     SavedRegs.set(RISCV::X8);
823b014e3deSAlex Bradbury   }
824cf6cf0cdSShiva Chen   // Mark BP as used if function has dedicated base pointer.
825cf6cf0cdSShiva Chen   if (hasBP(MF))
826cf6cf0cdSShiva Chen     SavedRegs.set(RISCVABI::getBPReg());
8272e4106b7SAna Pazos 
8282e4106b7SAna Pazos   // If interrupt is enabled and there are calls in the handler,
8292e4106b7SAna Pazos   // unconditionally save all Caller-saved registers and
8302e4106b7SAna Pazos   // all FP registers, regardless whether they are used.
8312e4106b7SAna Pazos   MachineFrameInfo &MFI = MF.getFrameInfo();
8322e4106b7SAna Pazos 
8332e4106b7SAna Pazos   if (MF.getFunction().hasFnAttribute("interrupt") && MFI.hasCalls()) {
8342e4106b7SAna Pazos 
8352e4106b7SAna Pazos     static const MCPhysReg CSRegs[] = { RISCV::X1,      /* ra */
8362e4106b7SAna Pazos       RISCV::X5, RISCV::X6, RISCV::X7,                  /* t0-t2 */
8372e4106b7SAna Pazos       RISCV::X10, RISCV::X11,                           /* a0-a1, a2-a7 */
8382e4106b7SAna Pazos       RISCV::X12, RISCV::X13, RISCV::X14, RISCV::X15, RISCV::X16, RISCV::X17,
8392e4106b7SAna Pazos       RISCV::X28, RISCV::X29, RISCV::X30, RISCV::X31, 0 /* t3-t6 */
8402e4106b7SAna Pazos     };
8412e4106b7SAna Pazos 
8422e4106b7SAna Pazos     for (unsigned i = 0; CSRegs[i]; ++i)
8432e4106b7SAna Pazos       SavedRegs.set(CSRegs[i]);
8442e4106b7SAna Pazos 
845f7bc7c29SHsiangkai Wang     if (MF.getSubtarget<RISCVSubtarget>().hasStdExtF()) {
8462e4106b7SAna Pazos 
8472e4106b7SAna Pazos       // If interrupt is enabled, this list contains all FP registers.
8482e4106b7SAna Pazos       const MCPhysReg * Regs = MF.getRegInfo().getCalleeSavedRegs();
8492e4106b7SAna Pazos 
8502e4106b7SAna Pazos       for (unsigned i = 0; Regs[i]; ++i)
851f7bc7c29SHsiangkai Wang         if (RISCV::FPR16RegClass.contains(Regs[i]) ||
852f7bc7c29SHsiangkai Wang             RISCV::FPR32RegClass.contains(Regs[i]) ||
8532e4106b7SAna Pazos             RISCV::FPR64RegClass.contains(Regs[i]))
8542e4106b7SAna Pazos           SavedRegs.set(Regs[i]);
8552e4106b7SAna Pazos     }
8562e4106b7SAna Pazos   }
8577d6aa1f7SAlex Bradbury }
8580715d35eSAlex Bradbury 
8595a31a673SHsiangkai Wang int64_t
8605a31a673SHsiangkai Wang RISCVFrameLowering::assignRVVStackObjectOffsets(MachineFrameInfo &MFI) const {
8615a31a673SHsiangkai Wang   int64_t Offset = 0;
8625a31a673SHsiangkai Wang   // Create a buffer of RVV objects to allocate.
8635a31a673SHsiangkai Wang   SmallVector<int, 8> ObjectsToAllocate;
8645a31a673SHsiangkai Wang   for (int I = 0, E = MFI.getObjectIndexEnd(); I != E; ++I) {
8655a31a673SHsiangkai Wang     unsigned StackID = MFI.getStackID(I);
8665a31a673SHsiangkai Wang     if (StackID != TargetStackID::ScalableVector)
8675a31a673SHsiangkai Wang       continue;
8685a31a673SHsiangkai Wang     if (MFI.isDeadObjectIndex(I))
8695a31a673SHsiangkai Wang       continue;
8705a31a673SHsiangkai Wang 
8715a31a673SHsiangkai Wang     ObjectsToAllocate.push_back(I);
8725a31a673SHsiangkai Wang   }
8735a31a673SHsiangkai Wang 
8745a31a673SHsiangkai Wang   // Allocate all RVV locals and spills
8755a31a673SHsiangkai Wang   for (int FI : ObjectsToAllocate) {
8765a31a673SHsiangkai Wang     // ObjectSize in bytes.
8775a31a673SHsiangkai Wang     int64_t ObjectSize = MFI.getObjectSize(FI);
8785a31a673SHsiangkai Wang     // If the data type is the fractional vector type, reserve one vector
8795a31a673SHsiangkai Wang     // register for it.
8805a31a673SHsiangkai Wang     if (ObjectSize < 8)
8815a31a673SHsiangkai Wang       ObjectSize = 8;
8825a31a673SHsiangkai Wang     // Currently, all scalable vector types are aligned to 8 bytes.
8835a31a673SHsiangkai Wang     Offset = alignTo(Offset + ObjectSize, 8);
8845a31a673SHsiangkai Wang     MFI.setObjectOffset(FI, -Offset);
8855a31a673SHsiangkai Wang   }
8865a31a673SHsiangkai Wang 
8875a31a673SHsiangkai Wang   return Offset;
8885a31a673SHsiangkai Wang }
8895a31a673SHsiangkai Wang 
8908790e852SFraser Cormack static bool hasRVVSpillWithFIs(MachineFunction &MF, const RISCVInstrInfo &TII) {
8911387483eSCraig Topper   if (!MF.getSubtarget<RISCVSubtarget>().hasVInstructions())
8928790e852SFraser Cormack     return false;
8938790e852SFraser Cormack   return any_of(MF, [&TII](const MachineBasicBlock &MBB) {
8948790e852SFraser Cormack     return any_of(MBB, [&TII](const MachineInstr &MI) {
8958790e852SFraser Cormack       return TII.isRVVSpill(MI, /*CheckFIs*/ true);
8968790e852SFraser Cormack     });
8978790e852SFraser Cormack   });
8988790e852SFraser Cormack }
8998790e852SFraser Cormack 
9000715d35eSAlex Bradbury void RISCVFrameLowering::processFunctionBeforeFrameFinalized(
9010715d35eSAlex Bradbury     MachineFunction &MF, RegScavenger *RS) const {
9028790e852SFraser Cormack   const RISCVRegisterInfo *RegInfo =
9038790e852SFraser Cormack       MF.getSubtarget<RISCVSubtarget>().getRegisterInfo();
9040715d35eSAlex Bradbury   MachineFrameInfo &MFI = MF.getFrameInfo();
9050715d35eSAlex Bradbury   const TargetRegisterClass *RC = &RISCV::GPRRegClass;
906a9b9c64fSluxufan   auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
907a9b9c64fSluxufan 
908a9b9c64fSluxufan   int64_t RVVStackSize = assignRVVStackObjectOffsets(MFI);
909a9b9c64fSluxufan   RVFI->setRVVStackSize(RVVStackSize);
9108790e852SFraser Cormack   const RISCVInstrInfo &TII = *MF.getSubtarget<RISCVSubtarget>().getInstrInfo();
911a9b9c64fSluxufan 
9120715d35eSAlex Bradbury   // estimateStackSize has been observed to under-estimate the final stack
9130715d35eSAlex Bradbury   // size, so give ourselves wiggle-room by checking for stack size
9140715d35eSAlex Bradbury   // representable an 11-bit signed field rather than 12-bits.
9150715d35eSAlex Bradbury   // FIXME: It may be possible to craft a function with a small stack that
9160715d35eSAlex Bradbury   // still needs an emergency spill slot for branch relaxation. This case
9170715d35eSAlex Bradbury   // would currently be missed.
9188790e852SFraser Cormack   // RVV loads & stores have no capacity to hold the immediate address offsets
9198790e852SFraser Cormack   // so we must always reserve an emergency spill slot if the MachineFunction
9208790e852SFraser Cormack   // contains any RVV spills.
9218790e852SFraser Cormack   if (!isInt<11>(MFI.estimateStackSize(MF)) || hasRVVSpillWithFIs(MF, TII)) {
92228de229bSGuillaume Chatelet     int RegScavFI = MFI.CreateStackObject(RegInfo->getSpillSize(*RC),
92328de229bSGuillaume Chatelet                                           RegInfo->getSpillAlign(*RC), false);
9240715d35eSAlex Bradbury     RS->addScavengingFrameIndex(RegScavFI);
925b4a358a7SFraser Cormack     // For RVV, scalable stack offsets require up to two scratch registers to
926b4a358a7SFraser Cormack     // compute the final offset. Reserve an additional emergency spill slot.
927b4a358a7SFraser Cormack     if (RVVStackSize != 0) {
928b4a358a7SFraser Cormack       int RVVRegScavFI = MFI.CreateStackObject(
929b4a358a7SFraser Cormack           RegInfo->getSpillSize(*RC), RegInfo->getSpillAlign(*RC), false);
930b4a358a7SFraser Cormack       RS->addScavengingFrameIndex(RVVRegScavFI);
931b4a358a7SFraser Cormack     }
9320715d35eSAlex Bradbury   }
9335a31a673SHsiangkai Wang 
934a9b9c64fSluxufan   if (MFI.getCalleeSavedInfo().empty() || RVFI->useSaveRestoreLibCalls(MF)) {
935a9b9c64fSluxufan     RVFI->setCalleeSavedStackSize(0);
936a9b9c64fSluxufan     return;
937a9b9c64fSluxufan   }
938a9b9c64fSluxufan 
939ef76a333SRoger Ferrer Ibanez   unsigned Size = 0;
940a9b9c64fSluxufan   for (const auto &Info : MFI.getCalleeSavedInfo()) {
941a9b9c64fSluxufan     int FrameIdx = Info.getFrameIdx();
942a9b9c64fSluxufan     if (MFI.getStackID(FrameIdx) != TargetStackID::Default)
943a9b9c64fSluxufan       continue;
944a9b9c64fSluxufan 
945ef76a333SRoger Ferrer Ibanez     Size += MFI.getObjectSize(FrameIdx);
946a9b9c64fSluxufan   }
947a9b9c64fSluxufan   RVFI->setCalleeSavedStackSize(Size);
948ef76a333SRoger Ferrer Ibanez 
949ef76a333SRoger Ferrer Ibanez   // Padding required to keep the RVV stack aligned to 8 bytes
950ef76a333SRoger Ferrer Ibanez   // within the main stack. We only need this when not using FP.
951ef76a333SRoger Ferrer Ibanez   if (RVVStackSize && !hasFP(MF) && Size % 8 != 0) {
952ef76a333SRoger Ferrer Ibanez     // Because we add the padding to the size of the stack, adding
953ef76a333SRoger Ferrer Ibanez     // getStackAlign() will keep it aligned.
954ef76a333SRoger Ferrer Ibanez     RVFI->setRVVPadding(getStackAlign().value());
955ef76a333SRoger Ferrer Ibanez   }
9560715d35eSAlex Bradbury }
957cbd498acSShiva Chen 
958643b6407SHsiangkai Wang static bool hasRVVFrameObject(const MachineFunction &MF) {
959ad06e65dSHsiangkai Wang   // Originally, the function will scan all the stack objects to check whether
960ad06e65dSHsiangkai Wang   // if there is any scalable vector object on the stack or not. However, it
961ad06e65dSHsiangkai Wang   // causes errors in the register allocator. In issue 53016, it returns false
962ad06e65dSHsiangkai Wang   // before RA because there is no RVV stack objects. After RA, it returns true
963ad06e65dSHsiangkai Wang   // because there are spilling slots for RVV values during RA. It will not
964ad06e65dSHsiangkai Wang   // reserve BP during register allocation and generate BP access in the PEI
965ad06e65dSHsiangkai Wang   // pass due to the inconsistent behavior of the function.
966ad06e65dSHsiangkai Wang   //
967ad06e65dSHsiangkai Wang   // The function is changed to use hasVInstructions() as the return value. It
968ad06e65dSHsiangkai Wang   // is not precise, but it can make the register allocation correct.
969ad06e65dSHsiangkai Wang   //
970ad06e65dSHsiangkai Wang   // FIXME: Find a better way to make the decision or revisit the solution in
971ad06e65dSHsiangkai Wang   // D103622.
972ad06e65dSHsiangkai Wang   //
973ad06e65dSHsiangkai Wang   // Refer to https://github.com/llvm/llvm-project/issues/53016.
974ad06e65dSHsiangkai Wang   return MF.getSubtarget<RISCVSubtarget>().hasVInstructions();
975643b6407SHsiangkai Wang }
976643b6407SHsiangkai Wang 
977cbd498acSShiva Chen // Not preserve stack space within prologue for outgoing variables when the
978643b6407SHsiangkai Wang // function contains variable size objects or there are vector objects accessed
979643b6407SHsiangkai Wang // by the frame pointer.
980643b6407SHsiangkai Wang // Let eliminateCallFramePseudoInstr preserve stack space for it.
981cbd498acSShiva Chen bool RISCVFrameLowering::hasReservedCallFrame(const MachineFunction &MF) const {
982643b6407SHsiangkai Wang   return !MF.getFrameInfo().hasVarSizedObjects() &&
983643b6407SHsiangkai Wang          !(hasFP(MF) && hasRVVFrameObject(MF));
984cbd498acSShiva Chen }
985cbd498acSShiva Chen 
986cbd498acSShiva Chen // Eliminate ADJCALLSTACKDOWN, ADJCALLSTACKUP pseudo instructions.
987cbd498acSShiva Chen MachineBasicBlock::iterator RISCVFrameLowering::eliminateCallFramePseudoInstr(
988cbd498acSShiva Chen     MachineFunction &MF, MachineBasicBlock &MBB,
989cbd498acSShiva Chen     MachineBasicBlock::iterator MI) const {
990fa06e958SLuis Marques   Register SPReg = RISCV::X2;
991cbd498acSShiva Chen   DebugLoc DL = MI->getDebugLoc();
992cbd498acSShiva Chen 
993cbd498acSShiva Chen   if (!hasReservedCallFrame(MF)) {
994cbd498acSShiva Chen     // If space has not been reserved for a call frame, ADJCALLSTACKDOWN and
995cbd498acSShiva Chen     // ADJCALLSTACKUP must be converted to instructions manipulating the stack
996cbd498acSShiva Chen     // pointer. This is necessary when there is a variable length stack
997cbd498acSShiva Chen     // allocation (e.g. alloca), which means it's not possible to allocate
998cbd498acSShiva Chen     // space for outgoing arguments from within the function prologue.
999cbd498acSShiva Chen     int64_t Amount = MI->getOperand(0).getImm();
1000cbd498acSShiva Chen 
1001cbd498acSShiva Chen     if (Amount != 0) {
1002cbd498acSShiva Chen       // Ensure the stack remains aligned after adjustment.
1003cbd498acSShiva Chen       Amount = alignSPAdjust(Amount);
1004cbd498acSShiva Chen 
1005cbd498acSShiva Chen       if (MI->getOpcode() == RISCV::ADJCALLSTACKDOWN)
1006cbd498acSShiva Chen         Amount = -Amount;
1007cbd498acSShiva Chen 
1008cbd498acSShiva Chen       adjustReg(MBB, MI, DL, SPReg, SPReg, Amount, MachineInstr::NoFlags);
1009cbd498acSShiva Chen     }
1010cbd498acSShiva Chen   }
1011cbd498acSShiva Chen 
1012cbd498acSShiva Chen   return MBB.erase(MI);
1013cbd498acSShiva Chen }
1014ff55e2e0SShiva Chen 
1015ff55e2e0SShiva Chen // We would like to split the SP adjustment to reduce prologue/epilogue
1016ff55e2e0SShiva Chen // as following instructions. In this way, the offset of the callee saved
1017ff55e2e0SShiva Chen // register could fit in a single store.
1018ff55e2e0SShiva Chen //   add     sp,sp,-2032
1019ff55e2e0SShiva Chen //   sw      ra,2028(sp)
1020ff55e2e0SShiva Chen //   sw      s0,2024(sp)
1021ff55e2e0SShiva Chen //   sw      s1,2020(sp)
1022ff55e2e0SShiva Chen //   sw      s3,2012(sp)
1023ff55e2e0SShiva Chen //   sw      s4,2008(sp)
1024ff55e2e0SShiva Chen //   add     sp,sp,-64
1025ff55e2e0SShiva Chen uint64_t
1026ff55e2e0SShiva Chen RISCVFrameLowering::getFirstSPAdjustAmount(const MachineFunction &MF) const {
102707f7c002Slewis-revill   const auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
1028ff55e2e0SShiva Chen   const MachineFrameInfo &MFI = MF.getFrameInfo();
1029ff55e2e0SShiva Chen   const std::vector<CalleeSavedInfo> &CSI = MFI.getCalleeSavedInfo();
1030ff55e2e0SShiva Chen   uint64_t StackSize = MFI.getStackSize();
1031ff55e2e0SShiva Chen 
103207f7c002Slewis-revill   // Disable SplitSPAdjust if save-restore libcall used. The callee saved
103307f7c002Slewis-revill   // registers will be pushed by the save-restore libcalls, so we don't have to
103407f7c002Slewis-revill   // split the SP adjustment in this case.
103507f7c002Slewis-revill   if (RVFI->getLibCallStackSize())
103607f7c002Slewis-revill     return 0;
103707f7c002Slewis-revill 
1038ff55e2e0SShiva Chen   // Return the FirstSPAdjustAmount if the StackSize can not fit in signed
1039ff55e2e0SShiva Chen   // 12-bit and there exists a callee saved register need to be pushed.
1040ff55e2e0SShiva Chen   if (!isInt<12>(StackSize) && (CSI.size() > 0)) {
1041ff55e2e0SShiva Chen     // FirstSPAdjustAmount is choosed as (2048 - StackAlign)
1042ff55e2e0SShiva Chen     // because 2048 will cause sp = sp + 2048 in epilogue split into
1043ff55e2e0SShiva Chen     // multi-instructions. The offset smaller than 2048 can fit in signle
1044ff55e2e0SShiva Chen     // load/store instruction and we have to stick with the stack alignment.
1045ff55e2e0SShiva Chen     // 2048 is 16-byte alignment. The stack alignment for RV32 and RV64 is 16,
1046ff55e2e0SShiva Chen     // for RV32E is 4. So (2048 - StackAlign) will satisfy the stack alignment.
10473ba550a0SGuillaume Chatelet     return 2048 - getStackAlign().value();
1048ff55e2e0SShiva Chen   }
1049ff55e2e0SShiva Chen   return 0;
1050ff55e2e0SShiva Chen }
105107f7c002Slewis-revill 
105207f7c002Slewis-revill bool RISCVFrameLowering::spillCalleeSavedRegisters(
105307f7c002Slewis-revill     MachineBasicBlock &MBB, MachineBasicBlock::iterator MI,
105407f7c002Slewis-revill     ArrayRef<CalleeSavedInfo> CSI, const TargetRegisterInfo *TRI) const {
105507f7c002Slewis-revill   if (CSI.empty())
105607f7c002Slewis-revill     return true;
105707f7c002Slewis-revill 
105807f7c002Slewis-revill   MachineFunction *MF = MBB.getParent();
105907f7c002Slewis-revill   const TargetInstrInfo &TII = *MF->getSubtarget().getInstrInfo();
106007f7c002Slewis-revill   DebugLoc DL;
106107f7c002Slewis-revill   if (MI != MBB.end() && !MI->isDebugInstr())
106207f7c002Slewis-revill     DL = MI->getDebugLoc();
106307f7c002Slewis-revill 
106407f7c002Slewis-revill   const char *SpillLibCall = getSpillLibCallName(*MF, CSI);
106507f7c002Slewis-revill   if (SpillLibCall) {
106607f7c002Slewis-revill     // Add spill libcall via non-callee-saved register t0.
106707f7c002Slewis-revill     BuildMI(MBB, MI, DL, TII.get(RISCV::PseudoCALLReg), RISCV::X5)
106807f7c002Slewis-revill         .addExternalSymbol(SpillLibCall, RISCVII::MO_CALL)
106907f7c002Slewis-revill         .setMIFlag(MachineInstr::FrameSetup);
107007f7c002Slewis-revill 
107107f7c002Slewis-revill     // Add registers spilled in libcall as liveins.
107207f7c002Slewis-revill     for (auto &CS : CSI)
107307f7c002Slewis-revill       MBB.addLiveIn(CS.getReg());
107407f7c002Slewis-revill   }
107507f7c002Slewis-revill 
107607f7c002Slewis-revill   // Manually spill values not spilled by libcall.
10775a31a673SHsiangkai Wang   const auto &NonLibcallCSI = getNonLibcallCSI(*MF, CSI);
107807f7c002Slewis-revill   for (auto &CS : NonLibcallCSI) {
107907f7c002Slewis-revill     // Insert the spill to the stack frame.
108007f7c002Slewis-revill     Register Reg = CS.getReg();
108107f7c002Slewis-revill     const TargetRegisterClass *RC = TRI->getMinimalPhysRegClass(Reg);
10824ec1b8eeSDavid Callahan     TII.storeRegToStackSlot(MBB, MI, Reg, !MBB.isLiveIn(Reg), CS.getFrameIdx(),
10834ec1b8eeSDavid Callahan                             RC, TRI);
108407f7c002Slewis-revill   }
108507f7c002Slewis-revill 
108607f7c002Slewis-revill   return true;
108707f7c002Slewis-revill }
108807f7c002Slewis-revill 
108907f7c002Slewis-revill bool RISCVFrameLowering::restoreCalleeSavedRegisters(
109007f7c002Slewis-revill     MachineBasicBlock &MBB, MachineBasicBlock::iterator MI,
1091186dd631SBenjamin Kramer     MutableArrayRef<CalleeSavedInfo> CSI, const TargetRegisterInfo *TRI) const {
109207f7c002Slewis-revill   if (CSI.empty())
109307f7c002Slewis-revill     return true;
109407f7c002Slewis-revill 
109507f7c002Slewis-revill   MachineFunction *MF = MBB.getParent();
109607f7c002Slewis-revill   const TargetInstrInfo &TII = *MF->getSubtarget().getInstrInfo();
109707f7c002Slewis-revill   DebugLoc DL;
109807f7c002Slewis-revill   if (MI != MBB.end() && !MI->isDebugInstr())
109907f7c002Slewis-revill     DL = MI->getDebugLoc();
110007f7c002Slewis-revill 
1101137d3474SHsiangkai Wang   // Manually restore values not restored by libcall.
1102137d3474SHsiangkai Wang   // Keep the same order as in the prologue. There is no need to reverse the
1103137d3474SHsiangkai Wang   // order in the epilogue. In addition, the return address will be restored
1104137d3474SHsiangkai Wang   // first in the epilogue. It increases the opportunity to avoid the
1105137d3474SHsiangkai Wang   // load-to-use data hazard between loading RA and return by RA.
110607f7c002Slewis-revill   // loadRegFromStackSlot can insert multiple instructions.
11075a31a673SHsiangkai Wang   const auto &NonLibcallCSI = getNonLibcallCSI(*MF, CSI);
1108137d3474SHsiangkai Wang   for (auto &CS : NonLibcallCSI) {
110907f7c002Slewis-revill     Register Reg = CS.getReg();
111007f7c002Slewis-revill     const TargetRegisterClass *RC = TRI->getMinimalPhysRegClass(Reg);
111107f7c002Slewis-revill     TII.loadRegFromStackSlot(MBB, MI, Reg, CS.getFrameIdx(), RC, TRI);
111207f7c002Slewis-revill     assert(MI != MBB.begin() && "loadRegFromStackSlot didn't insert any code!");
111307f7c002Slewis-revill   }
111407f7c002Slewis-revill 
111507f7c002Slewis-revill   const char *RestoreLibCall = getRestoreLibCallName(*MF, CSI);
111607f7c002Slewis-revill   if (RestoreLibCall) {
111707f7c002Slewis-revill     // Add restore libcall via tail call.
111807f7c002Slewis-revill     MachineBasicBlock::iterator NewMI =
111907f7c002Slewis-revill         BuildMI(MBB, MI, DL, TII.get(RISCV::PseudoTAIL))
112007f7c002Slewis-revill             .addExternalSymbol(RestoreLibCall, RISCVII::MO_CALL)
112107f7c002Slewis-revill             .setMIFlag(MachineInstr::FrameDestroy);
112207f7c002Slewis-revill 
112307f7c002Slewis-revill     // Remove trailing returns, since the terminator is now a tail call to the
112407f7c002Slewis-revill     // restore function.
112507f7c002Slewis-revill     if (MI != MBB.end() && MI->getOpcode() == RISCV::PseudoRET) {
112607f7c002Slewis-revill       NewMI->copyImplicitOps(*MF, *MI);
112707f7c002Slewis-revill       MI->eraseFromParent();
112807f7c002Slewis-revill     }
112907f7c002Slewis-revill   }
113007f7c002Slewis-revill 
113107f7c002Slewis-revill   return true;
113207f7c002Slewis-revill }
113307f7c002Slewis-revill 
113407f7c002Slewis-revill bool RISCVFrameLowering::canUseAsPrologue(const MachineBasicBlock &MBB) const {
113507f7c002Slewis-revill   MachineBasicBlock *TmpMBB = const_cast<MachineBasicBlock *>(&MBB);
113608649f0aSMatt Arsenault   const MachineFunction *MF = MBB.getParent();
113708649f0aSMatt Arsenault   const auto *RVFI = MF->getInfo<RISCVMachineFunctionInfo>();
113807f7c002Slewis-revill 
113908649f0aSMatt Arsenault   if (!RVFI->useSaveRestoreLibCalls(*MF))
114007f7c002Slewis-revill     return true;
114107f7c002Slewis-revill 
114207f7c002Slewis-revill   // Inserting a call to a __riscv_save libcall requires the use of the register
114307f7c002Slewis-revill   // t0 (X5) to hold the return address. Therefore if this register is already
114407f7c002Slewis-revill   // used we can't insert the call.
114507f7c002Slewis-revill 
114607f7c002Slewis-revill   RegScavenger RS;
114707f7c002Slewis-revill   RS.enterBasicBlock(*TmpMBB);
114807f7c002Slewis-revill   return !RS.isRegUsed(RISCV::X5);
114907f7c002Slewis-revill }
115007f7c002Slewis-revill 
115107f7c002Slewis-revill bool RISCVFrameLowering::canUseAsEpilogue(const MachineBasicBlock &MBB) const {
115208649f0aSMatt Arsenault   const MachineFunction *MF = MBB.getParent();
115307f7c002Slewis-revill   MachineBasicBlock *TmpMBB = const_cast<MachineBasicBlock *>(&MBB);
115408649f0aSMatt Arsenault   const auto *RVFI = MF->getInfo<RISCVMachineFunctionInfo>();
115507f7c002Slewis-revill 
115608649f0aSMatt Arsenault   if (!RVFI->useSaveRestoreLibCalls(*MF))
115707f7c002Slewis-revill     return true;
115807f7c002Slewis-revill 
115907f7c002Slewis-revill   // Using the __riscv_restore libcalls to restore CSRs requires a tail call.
116007f7c002Slewis-revill   // This means if we still need to continue executing code within this function
116107f7c002Slewis-revill   // the restore cannot take place in this basic block.
116207f7c002Slewis-revill 
116307f7c002Slewis-revill   if (MBB.succ_size() > 1)
116407f7c002Slewis-revill     return false;
116507f7c002Slewis-revill 
116607f7c002Slewis-revill   MachineBasicBlock *SuccMBB =
116707f7c002Slewis-revill       MBB.succ_empty() ? TmpMBB->getFallThrough() : *MBB.succ_begin();
116807f7c002Slewis-revill 
116907f7c002Slewis-revill   // Doing a tail call should be safe if there are no successors, because either
117007f7c002Slewis-revill   // we have a returning block or the end of the block is unreachable, so the
117107f7c002Slewis-revill   // restore will be eliminated regardless.
117207f7c002Slewis-revill   if (!SuccMBB)
117307f7c002Slewis-revill     return true;
117407f7c002Slewis-revill 
117507f7c002Slewis-revill   // The successor can only contain a return, since we would effectively be
117607f7c002Slewis-revill   // replacing the successor with our own tail return at the end of our block.
117707f7c002Slewis-revill   return SuccMBB->isReturnBlock() && SuccMBB->size() == 1;
117807f7c002Slewis-revill }
11795a31a673SHsiangkai Wang 
11805a31a673SHsiangkai Wang bool RISCVFrameLowering::isSupportedStackID(TargetStackID::Value ID) const {
11815a31a673SHsiangkai Wang   switch (ID) {
11825a31a673SHsiangkai Wang   case TargetStackID::Default:
11835a31a673SHsiangkai Wang   case TargetStackID::ScalableVector:
11845a31a673SHsiangkai Wang     return true;
11855a31a673SHsiangkai Wang   case TargetStackID::NoAlloc:
11865a31a673SHsiangkai Wang   case TargetStackID::SGPRSpill:
118782f92e35SAndy Wingo   case TargetStackID::WasmLocal:
11885a31a673SHsiangkai Wang     return false;
11895a31a673SHsiangkai Wang   }
11905a31a673SHsiangkai Wang   llvm_unreachable("Invalid TargetStackID::Value");
11915a31a673SHsiangkai Wang }
11925a31a673SHsiangkai Wang 
11935a31a673SHsiangkai Wang TargetStackID::Value RISCVFrameLowering::getStackIDForScalableVectors() const {
11945a31a673SHsiangkai Wang   return TargetStackID::ScalableVector;
11955a31a673SHsiangkai Wang }
1196