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;
28527c7e922SFraser Cormack     bool IsSub = Val < 0;
28627c7e922SFraser Cormack     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.getLastNonDebugInstr();
565e098281cSluxufan     if (MBBI != MBB.end())
566cd800f3bSlewis-revill       DL = MBBI->getDebugLoc();
567cd800f3bSlewis-revill 
568e098281cSluxufan     MBBI = MBB.getFirstTerminator();
56907f7c002Slewis-revill 
57007f7c002Slewis-revill     // If callee-saved registers are saved via libcall, place stack adjustment
57107f7c002Slewis-revill     // before this call.
57207f7c002Slewis-revill     while (MBBI != MBB.begin() &&
57307f7c002Slewis-revill            std::prev(MBBI)->getFlag(MachineInstr::FrameDestroy))
57407f7c002Slewis-revill       --MBBI;
575cd800f3bSlewis-revill   }
576cd800f3bSlewis-revill 
5775a31a673SHsiangkai Wang   const auto &CSI = getNonLibcallCSI(MF, MFI.getCalleeSavedInfo());
57807f7c002Slewis-revill 
579b014e3deSAlex Bradbury   // Skip to before the restores of callee-saved registers
580b014e3deSAlex Bradbury   // FIXME: assumes exactly one instruction is used to restore each
581b014e3deSAlex Bradbury   // callee-saved register.
58207f7c002Slewis-revill   auto LastFrameDestroy = MBBI;
58307f7c002Slewis-revill   if (!CSI.empty())
58407f7c002Slewis-revill     LastFrameDestroy = std::prev(MBBI, CSI.size());
585b014e3deSAlex Bradbury 
586ef76a333SRoger Ferrer Ibanez   uint64_t StackSize = MFI.getStackSize() + RVFI->getRVVPadding();
58707f7c002Slewis-revill   uint64_t RealStackSize = StackSize + RVFI->getLibCallStackSize();
58807f7c002Slewis-revill   uint64_t FPOffset = RealStackSize - RVFI->getVarArgsSaveSize();
5895a31a673SHsiangkai Wang   uint64_t RVVStackSize = RVFI->getRVVStackSize();
590b014e3deSAlex Bradbury 
591b014e3deSAlex Bradbury   // Restore the stack pointer using the value of the frame pointer. Only
592b014e3deSAlex Bradbury   // necessary if the stack pointer was modified, meaning the stack size is
593b014e3deSAlex Bradbury   // unknown.
594a9968c0aSTomas Matheson   if (RI->hasStackRealignment(MF) || MFI.hasVarSizedObjects()) {
5957d6aa1f7SAlex Bradbury     assert(hasFP(MF) && "frame pointer should not have been eliminated");
59604ddf39bSHsiangkai Wang     adjustReg(MBB, LastFrameDestroy, DL, SPReg, FPReg, -FPOffset,
597b014e3deSAlex Bradbury               MachineInstr::FrameDestroy);
5985a31a673SHsiangkai Wang   } else {
5995a31a673SHsiangkai Wang     if (RVVStackSize)
6004b2dd318SHsiangkai Wang       adjustStackForRVV(MF, MBB, LastFrameDestroy, DL, RVVStackSize,
6014b2dd318SHsiangkai Wang                         MachineInstr::FrameDestroy);
602b014e3deSAlex Bradbury   }
603b014e3deSAlex Bradbury 
604ff55e2e0SShiva Chen   uint64_t FirstSPAdjustAmount = getFirstSPAdjustAmount(MF);
605ff55e2e0SShiva Chen   if (FirstSPAdjustAmount) {
606ff55e2e0SShiva Chen     uint64_t SecondSPAdjustAmount = MFI.getStackSize() - FirstSPAdjustAmount;
607ff55e2e0SShiva Chen     assert(SecondSPAdjustAmount > 0 &&
608ff55e2e0SShiva Chen            "SecondSPAdjustAmount should be greater than zero");
609ff55e2e0SShiva Chen 
610ff55e2e0SShiva Chen     adjustReg(MBB, LastFrameDestroy, DL, SPReg, SPReg, SecondSPAdjustAmount,
611ff55e2e0SShiva Chen               MachineInstr::FrameDestroy);
61204ddf39bSHsiangkai Wang   }
61304ddf39bSHsiangkai Wang 
614ff55e2e0SShiva Chen   if (FirstSPAdjustAmount)
615ff55e2e0SShiva Chen     StackSize = FirstSPAdjustAmount;
616ff55e2e0SShiva Chen 
617b014e3deSAlex Bradbury   // Deallocate stack
618b014e3deSAlex Bradbury   adjustReg(MBB, MBBI, DL, SPReg, SPReg, StackSize, MachineInstr::FrameDestroy);
6191c466477SZhaoshi Zheng 
6201c466477SZhaoshi Zheng   // Emit epilogue for shadow call stack.
6211c466477SZhaoshi Zheng   emitSCSEpilogue(MF, MBB, MBBI, DL);
622b014e3deSAlex Bradbury }
623660bccecSAlex Bradbury 
624d57bba7cSSander de Smalen StackOffset
625d57bba7cSSander de Smalen RISCVFrameLowering::getFrameIndexReference(const MachineFunction &MF, int FI,
6262481f26aSMatt Arsenault                                            Register &FrameReg) const {
627660bccecSAlex Bradbury   const MachineFrameInfo &MFI = MF.getFrameInfo();
628660bccecSAlex Bradbury   const TargetRegisterInfo *RI = MF.getSubtarget().getRegisterInfo();
629c85be0deSAlex Bradbury   const auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
630660bccecSAlex Bradbury 
631660bccecSAlex Bradbury   // Callee-saved registers should be referenced relative to the stack
632660bccecSAlex Bradbury   // pointer (positive offset), otherwise use the frame pointer (negative
633660bccecSAlex Bradbury   // offset).
6345a31a673SHsiangkai Wang   const auto &CSI = getNonLibcallCSI(MF, MFI.getCalleeSavedInfo());
635660bccecSAlex Bradbury   int MinCSFI = 0;
636660bccecSAlex Bradbury   int MaxCSFI = -1;
6375a31a673SHsiangkai Wang   StackOffset Offset;
6385a31a673SHsiangkai Wang   auto StackID = MFI.getStackID(FI);
639660bccecSAlex Bradbury 
6405a31a673SHsiangkai Wang   assert((StackID == TargetStackID::Default ||
6415a31a673SHsiangkai Wang           StackID == TargetStackID::ScalableVector) &&
6425a31a673SHsiangkai Wang          "Unexpected stack ID for the frame object.");
6435a31a673SHsiangkai Wang   if (StackID == TargetStackID::Default) {
6445a31a673SHsiangkai Wang     Offset =
6455a31a673SHsiangkai Wang         StackOffset::getFixed(MFI.getObjectOffset(FI) - getOffsetOfLocalArea() +
6465a31a673SHsiangkai Wang                               MFI.getOffsetAdjustment());
6475a31a673SHsiangkai Wang   } else if (StackID == TargetStackID::ScalableVector) {
6485a31a673SHsiangkai Wang     Offset = StackOffset::getScalable(MFI.getObjectOffset(FI));
6495a31a673SHsiangkai Wang   }
650660bccecSAlex Bradbury 
651ff55e2e0SShiva Chen   uint64_t FirstSPAdjustAmount = getFirstSPAdjustAmount(MF);
652ff55e2e0SShiva Chen 
653660bccecSAlex Bradbury   if (CSI.size()) {
654660bccecSAlex Bradbury     MinCSFI = CSI[0].getFrameIdx();
655660bccecSAlex Bradbury     MaxCSFI = CSI[CSI.size() - 1].getFrameIdx();
656660bccecSAlex Bradbury   }
657660bccecSAlex Bradbury 
658660bccecSAlex Bradbury   if (FI >= MinCSFI && FI <= MaxCSFI) {
659660bccecSAlex Bradbury     FrameReg = RISCV::X2;
660ff55e2e0SShiva Chen 
661ff55e2e0SShiva Chen     if (FirstSPAdjustAmount)
6625a31a673SHsiangkai Wang       Offset += StackOffset::getFixed(FirstSPAdjustAmount);
663ff55e2e0SShiva Chen     else
664ef76a333SRoger Ferrer Ibanez       Offset +=
665ef76a333SRoger Ferrer Ibanez           StackOffset::getFixed(MFI.getStackSize() + RVFI->getRVVPadding());
666a9968c0aSTomas Matheson   } else if (RI->hasStackRealignment(MF) && !MFI.isFixedObjectIndex(FI)) {
667cd44aee3SSam Elliott     // If the stack was realigned, the frame pointer is set in order to allow
668cf6cf0cdSShiva Chen     // SP to be restored, so we need another base register to record the stack
669cf6cf0cdSShiva Chen     // after realignment.
6705a31a673SHsiangkai Wang     if (hasBP(MF)) {
671cf6cf0cdSShiva Chen       FrameReg = RISCVABI::getBPReg();
6725a31a673SHsiangkai Wang       // |--------------------------| -- <-- FP
6739c5aedfbSKito Cheng       // | callee-allocated save    | | <----|
6749c5aedfbSKito Cheng       // | area for register varargs| |      |
6759c5aedfbSKito Cheng       // |--------------------------| |      |
6769c5aedfbSKito Cheng       // | callee-saved registers   | |      |
677a9b9c64fSluxufan       // |--------------------------| --     |
678a9b9c64fSluxufan       // | realignment (the size of | |      |
679a9b9c64fSluxufan       // | this area is not counted | |      |
680a9b9c64fSluxufan       // | in MFI.getStackSize())   | |      |
681ef76a333SRoger Ferrer Ibanez       // |--------------------------| --     |
682ef76a333SRoger Ferrer Ibanez       // | Padding after RVV        | |      |
683ef76a333SRoger Ferrer Ibanez       // | (not counted in          | |      |
684fcaa64d9SFraser Cormack       // | MFI.getStackSize())      | |      |
685a9b9c64fSluxufan       // |--------------------------| --     |-- MFI.getStackSize()
686a9b9c64fSluxufan       // | RVV objects              | |      |
687ef76a333SRoger Ferrer Ibanez       // | (not counted in          | |      |
688fcaa64d9SFraser Cormack       // | MFI.getStackSize())      | |      |
689a9b9c64fSluxufan       // |--------------------------| --     |
690ef76a333SRoger Ferrer Ibanez       // | Padding before RVV       | |      |
691ef76a333SRoger Ferrer Ibanez       // | (not counted in          | |      |
692fcaa64d9SFraser Cormack       // | MFI.getStackSize())      | |      |
693ef76a333SRoger Ferrer Ibanez       // |--------------------------| --     |
694ef76a333SRoger Ferrer Ibanez       // | scalar local variables   | | <----'
6955a31a673SHsiangkai Wang       // |--------------------------| -- <-- BP
6965a31a673SHsiangkai Wang       // | VarSize objects          | |
6975a31a673SHsiangkai Wang       // |--------------------------| -- <-- SP
6985a31a673SHsiangkai Wang     } else {
699cd44aee3SSam Elliott       FrameReg = RISCV::X2;
7005a31a673SHsiangkai Wang       // |--------------------------| -- <-- FP
7019c5aedfbSKito Cheng       // | callee-allocated save    | | <----|
7029c5aedfbSKito Cheng       // | area for register varargs| |      |
7039c5aedfbSKito Cheng       // |--------------------------| |      |
7049c5aedfbSKito Cheng       // | callee-saved registers   | |      |
705a9b9c64fSluxufan       // |--------------------------| --     |
706a9b9c64fSluxufan       // | realignment (the size of | |      |
707a9b9c64fSluxufan       // | this area is not counted | |      |
708a9b9c64fSluxufan       // | in MFI.getStackSize())   | |      |
709ef76a333SRoger Ferrer Ibanez       // |--------------------------| --     |
710ef76a333SRoger Ferrer Ibanez       // | Padding after RVV        | |      |
711ef76a333SRoger Ferrer Ibanez       // | (not counted in          | |      |
712fcaa64d9SFraser Cormack       // | MFI.getStackSize())      | |      |
713a9b9c64fSluxufan       // |--------------------------| --     |-- MFI.getStackSize()
714a9b9c64fSluxufan       // | RVV objects              | |      |
715ef76a333SRoger Ferrer Ibanez       // | (not counted in          | |      |
716fcaa64d9SFraser Cormack       // | MFI.getStackSize())      | |      |
717a9b9c64fSluxufan       // |--------------------------| --     |
718ef76a333SRoger Ferrer Ibanez       // | Padding before RVV       | |      |
719ef76a333SRoger Ferrer Ibanez       // | (not counted in          | |      |
720fcaa64d9SFraser Cormack       // | MFI.getStackSize())      | |      |
721ef76a333SRoger Ferrer Ibanez       // |--------------------------| --     |
722ef76a333SRoger Ferrer Ibanez       // | scalar local variables   | | <----'
7235a31a673SHsiangkai Wang       // |--------------------------| -- <-- SP
7245a31a673SHsiangkai Wang     }
725ef76a333SRoger Ferrer Ibanez     // The total amount of padding surrounding RVV objects is described by
726ef76a333SRoger Ferrer Ibanez     // RVV->getRVVPadding() and it can be zero. It allows us to align the RVV
727ef76a333SRoger Ferrer Ibanez     // objects to 8 bytes.
7285a31a673SHsiangkai Wang     if (MFI.getStackID(FI) == TargetStackID::Default) {
7295a31a673SHsiangkai Wang       Offset += StackOffset::getFixed(MFI.getStackSize());
73007f7c002Slewis-revill       if (FI < 0)
7315a31a673SHsiangkai Wang         Offset += StackOffset::getFixed(RVFI->getLibCallStackSize());
732a9b9c64fSluxufan     } else if (MFI.getStackID(FI) == TargetStackID::ScalableVector) {
733ef76a333SRoger Ferrer Ibanez       Offset += StackOffset::get(
734ef76a333SRoger Ferrer Ibanez           alignTo(MFI.getStackSize() - RVFI->getCalleeSavedStackSize(), 8),
735a9b9c64fSluxufan           RVFI->getRVVStackSize());
7365a31a673SHsiangkai Wang     }
737c85be0deSAlex Bradbury   } else {
738c85be0deSAlex Bradbury     FrameReg = RI->getFrameRegister(MF);
73907f7c002Slewis-revill     if (hasFP(MF)) {
7405a31a673SHsiangkai Wang       Offset += StackOffset::getFixed(RVFI->getVarArgsSaveSize());
74107f7c002Slewis-revill       if (FI >= 0)
7425a31a673SHsiangkai Wang         Offset -= StackOffset::getFixed(RVFI->getLibCallStackSize());
7435a31a673SHsiangkai Wang       // When using FP to access scalable vector objects, we need to minus
7445a31a673SHsiangkai Wang       // the frame size.
7455a31a673SHsiangkai Wang       //
7465a31a673SHsiangkai Wang       // |--------------------------| -- <-- FP
7479c5aedfbSKito Cheng       // | callee-allocated save    | |
7489c5aedfbSKito Cheng       // | area for register varargs| |
7499c5aedfbSKito Cheng       // |--------------------------| |
7505a31a673SHsiangkai Wang       // | callee-saved registers   | |
7515a31a673SHsiangkai Wang       // |--------------------------| | MFI.getStackSize()
7525a31a673SHsiangkai Wang       // | scalar local variables   | |
7535a31a673SHsiangkai Wang       // |--------------------------| -- (Offset of RVV objects is from here.)
7545a31a673SHsiangkai Wang       // | RVV objects              |
7555a31a673SHsiangkai Wang       // |--------------------------|
7565a31a673SHsiangkai Wang       // | VarSize objects          |
7575a31a673SHsiangkai Wang       // |--------------------------| <-- SP
7585a31a673SHsiangkai Wang       if (MFI.getStackID(FI) == TargetStackID::ScalableVector)
7595a31a673SHsiangkai Wang         Offset -= StackOffset::getFixed(MFI.getStackSize());
76007f7c002Slewis-revill     } else {
7615a31a673SHsiangkai Wang       // When using SP to access frame objects, we need to add RVV stack size.
7625a31a673SHsiangkai Wang       //
7635a31a673SHsiangkai Wang       // |--------------------------| -- <-- FP
7649c5aedfbSKito Cheng       // | callee-allocated save    | | <----|
7659c5aedfbSKito Cheng       // | area for register varargs| |      |
7669c5aedfbSKito Cheng       // |--------------------------| |      |
7679c5aedfbSKito Cheng       // | callee-saved registers   | |      |
768ef76a333SRoger Ferrer Ibanez       // |--------------------------| --     |
769ef76a333SRoger Ferrer Ibanez       // | Padding after RVV        | |      |
770ef76a333SRoger Ferrer Ibanez       // | (not counted in          | |      |
771fcaa64d9SFraser Cormack       // | MFI.getStackSize())      | |      |
772a9b9c64fSluxufan       // |--------------------------| --     |
773a9b9c64fSluxufan       // | RVV objects              | |      |-- MFI.getStackSize()
774ef76a333SRoger Ferrer Ibanez       // | (not counted in          | |      |
775fcaa64d9SFraser Cormack       // | MFI.getStackSize())      | |      |
776a9b9c64fSluxufan       // |--------------------------| --     |
777ef76a333SRoger Ferrer Ibanez       // | Padding before RVV       | |      |
778ef76a333SRoger Ferrer Ibanez       // | (not counted in          | |      |
779fcaa64d9SFraser Cormack       // | MFI.getStackSize())      | |      |
780ef76a333SRoger Ferrer Ibanez       // |--------------------------| --     |
781ef76a333SRoger Ferrer Ibanez       // | scalar local variables   | | <----'
7825a31a673SHsiangkai Wang       // |--------------------------| -- <-- SP
783ef76a333SRoger Ferrer Ibanez       //
784ef76a333SRoger Ferrer Ibanez       // The total amount of padding surrounding RVV objects is described by
785ef76a333SRoger Ferrer Ibanez       // RVV->getRVVPadding() and it can be zero. It allows us to align the RVV
786ef76a333SRoger Ferrer Ibanez       // objects to 8 bytes.
7875a31a673SHsiangkai Wang       if (MFI.getStackID(FI) == TargetStackID::Default) {
7885603ed60Sluxufan         if (MFI.isFixedObjectIndex(FI)) {
78952c60459SFraser Cormack           Offset +=
79052c60459SFraser Cormack               StackOffset::get(MFI.getStackSize() + RVFI->getRVVPadding() +
79152c60459SFraser Cormack                                    RVFI->getLibCallStackSize(),
79252c60459SFraser Cormack                                RVFI->getRVVStackSize());
7935603ed60Sluxufan         } else {
7945a31a673SHsiangkai Wang           Offset += StackOffset::getFixed(MFI.getStackSize());
7955603ed60Sluxufan         }
796a9b9c64fSluxufan       } else if (MFI.getStackID(FI) == TargetStackID::ScalableVector) {
7979c5aedfbSKito Cheng         int ScalarLocalVarSize = MFI.getStackSize() -
7989c5aedfbSKito Cheng                                  RVFI->getCalleeSavedStackSize() -
7999c5aedfbSKito Cheng                                  RVFI->getVarArgsSaveSize();
800ef76a333SRoger Ferrer Ibanez         Offset += StackOffset::get(
8019c5aedfbSKito Cheng             alignTo(ScalarLocalVarSize, 8),
802a9b9c64fSluxufan             RVFI->getRVVStackSize());
80307f7c002Slewis-revill       }
804660bccecSAlex Bradbury     }
8055a31a673SHsiangkai Wang   }
8065a31a673SHsiangkai Wang 
8075a31a673SHsiangkai Wang   return Offset;
808660bccecSAlex Bradbury }
809b014e3deSAlex Bradbury 
810b014e3deSAlex Bradbury void RISCVFrameLowering::determineCalleeSaves(MachineFunction &MF,
811b014e3deSAlex Bradbury                                               BitVector &SavedRegs,
812b014e3deSAlex Bradbury                                               RegScavenger *RS) const {
813b014e3deSAlex Bradbury   TargetFrameLowering::determineCalleeSaves(MF, SavedRegs, RS);
8147d6aa1f7SAlex Bradbury   // Unconditionally spill RA and FP only if the function uses a frame
8157d6aa1f7SAlex Bradbury   // pointer.
8167d6aa1f7SAlex Bradbury   if (hasFP(MF)) {
817b014e3deSAlex Bradbury     SavedRegs.set(RISCV::X1);
818b014e3deSAlex Bradbury     SavedRegs.set(RISCV::X8);
819b014e3deSAlex Bradbury   }
820cf6cf0cdSShiva Chen   // Mark BP as used if function has dedicated base pointer.
821cf6cf0cdSShiva Chen   if (hasBP(MF))
822cf6cf0cdSShiva Chen     SavedRegs.set(RISCVABI::getBPReg());
8232e4106b7SAna Pazos 
8242e4106b7SAna Pazos   // If interrupt is enabled and there are calls in the handler,
8252e4106b7SAna Pazos   // unconditionally save all Caller-saved registers and
8262e4106b7SAna Pazos   // all FP registers, regardless whether they are used.
8272e4106b7SAna Pazos   MachineFrameInfo &MFI = MF.getFrameInfo();
8282e4106b7SAna Pazos 
8292e4106b7SAna Pazos   if (MF.getFunction().hasFnAttribute("interrupt") && MFI.hasCalls()) {
8302e4106b7SAna Pazos 
8312e4106b7SAna Pazos     static const MCPhysReg CSRegs[] = { RISCV::X1,      /* ra */
8322e4106b7SAna Pazos       RISCV::X5, RISCV::X6, RISCV::X7,                  /* t0-t2 */
8332e4106b7SAna Pazos       RISCV::X10, RISCV::X11,                           /* a0-a1, a2-a7 */
8342e4106b7SAna Pazos       RISCV::X12, RISCV::X13, RISCV::X14, RISCV::X15, RISCV::X16, RISCV::X17,
8352e4106b7SAna Pazos       RISCV::X28, RISCV::X29, RISCV::X30, RISCV::X31, 0 /* t3-t6 */
8362e4106b7SAna Pazos     };
8372e4106b7SAna Pazos 
8382e4106b7SAna Pazos     for (unsigned i = 0; CSRegs[i]; ++i)
8392e4106b7SAna Pazos       SavedRegs.set(CSRegs[i]);
8402e4106b7SAna Pazos 
841f7bc7c29SHsiangkai Wang     if (MF.getSubtarget<RISCVSubtarget>().hasStdExtF()) {
8422e4106b7SAna Pazos 
8432e4106b7SAna Pazos       // If interrupt is enabled, this list contains all FP registers.
8442e4106b7SAna Pazos       const MCPhysReg * Regs = MF.getRegInfo().getCalleeSavedRegs();
8452e4106b7SAna Pazos 
8462e4106b7SAna Pazos       for (unsigned i = 0; Regs[i]; ++i)
847f7bc7c29SHsiangkai Wang         if (RISCV::FPR16RegClass.contains(Regs[i]) ||
848f7bc7c29SHsiangkai Wang             RISCV::FPR32RegClass.contains(Regs[i]) ||
8492e4106b7SAna Pazos             RISCV::FPR64RegClass.contains(Regs[i]))
8502e4106b7SAna Pazos           SavedRegs.set(Regs[i]);
8512e4106b7SAna Pazos     }
8522e4106b7SAna Pazos   }
8537d6aa1f7SAlex Bradbury }
8540715d35eSAlex Bradbury 
8555a31a673SHsiangkai Wang int64_t
8565a31a673SHsiangkai Wang RISCVFrameLowering::assignRVVStackObjectOffsets(MachineFrameInfo &MFI) const {
8575a31a673SHsiangkai Wang   // Create a buffer of RVV objects to allocate.
8585a31a673SHsiangkai Wang   SmallVector<int, 8> ObjectsToAllocate;
8595a31a673SHsiangkai Wang   for (int I = 0, E = MFI.getObjectIndexEnd(); I != E; ++I) {
8605a31a673SHsiangkai Wang     unsigned StackID = MFI.getStackID(I);
8615a31a673SHsiangkai Wang     if (StackID != TargetStackID::ScalableVector)
8625a31a673SHsiangkai Wang       continue;
8635a31a673SHsiangkai Wang     if (MFI.isDeadObjectIndex(I))
8645a31a673SHsiangkai Wang       continue;
8655a31a673SHsiangkai Wang 
8665a31a673SHsiangkai Wang     ObjectsToAllocate.push_back(I);
8675a31a673SHsiangkai Wang   }
8685a31a673SHsiangkai Wang 
8695a31a673SHsiangkai Wang   // Allocate all RVV locals and spills
870874b802aSFraser Cormack   int64_t Offset = 0;
8715a31a673SHsiangkai Wang   for (int FI : ObjectsToAllocate) {
8725a31a673SHsiangkai Wang     // ObjectSize in bytes.
8735a31a673SHsiangkai Wang     int64_t ObjectSize = MFI.getObjectSize(FI);
8745a31a673SHsiangkai Wang     // If the data type is the fractional vector type, reserve one vector
8755a31a673SHsiangkai Wang     // register for it.
8765a31a673SHsiangkai Wang     if (ObjectSize < 8)
8775a31a673SHsiangkai Wang       ObjectSize = 8;
8785a31a673SHsiangkai Wang     // Currently, all scalable vector types are aligned to 8 bytes.
8795a31a673SHsiangkai Wang     Offset = alignTo(Offset + ObjectSize, 8);
8805a31a673SHsiangkai Wang     MFI.setObjectOffset(FI, -Offset);
8815a31a673SHsiangkai Wang   }
8825a31a673SHsiangkai Wang 
8835a31a673SHsiangkai Wang   return Offset;
8845a31a673SHsiangkai Wang }
8855a31a673SHsiangkai Wang 
8868790e852SFraser Cormack static bool hasRVVSpillWithFIs(MachineFunction &MF, const RISCVInstrInfo &TII) {
8871387483eSCraig Topper   if (!MF.getSubtarget<RISCVSubtarget>().hasVInstructions())
8888790e852SFraser Cormack     return false;
8898790e852SFraser Cormack   return any_of(MF, [&TII](const MachineBasicBlock &MBB) {
8908790e852SFraser Cormack     return any_of(MBB, [&TII](const MachineInstr &MI) {
8918790e852SFraser Cormack       return TII.isRVVSpill(MI, /*CheckFIs*/ true);
8928790e852SFraser Cormack     });
8938790e852SFraser Cormack   });
8948790e852SFraser Cormack }
8958790e852SFraser Cormack 
8960715d35eSAlex Bradbury void RISCVFrameLowering::processFunctionBeforeFrameFinalized(
8970715d35eSAlex Bradbury     MachineFunction &MF, RegScavenger *RS) const {
8988790e852SFraser Cormack   const RISCVRegisterInfo *RegInfo =
8998790e852SFraser Cormack       MF.getSubtarget<RISCVSubtarget>().getRegisterInfo();
9000715d35eSAlex Bradbury   MachineFrameInfo &MFI = MF.getFrameInfo();
9010715d35eSAlex Bradbury   const TargetRegisterClass *RC = &RISCV::GPRRegClass;
902a9b9c64fSluxufan   auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
903a9b9c64fSluxufan 
904a9b9c64fSluxufan   int64_t RVVStackSize = assignRVVStackObjectOffsets(MFI);
905a9b9c64fSluxufan   RVFI->setRVVStackSize(RVVStackSize);
9068790e852SFraser Cormack   const RISCVInstrInfo &TII = *MF.getSubtarget<RISCVSubtarget>().getInstrInfo();
907a9b9c64fSluxufan 
9080715d35eSAlex Bradbury   // estimateStackSize has been observed to under-estimate the final stack
9090715d35eSAlex Bradbury   // size, so give ourselves wiggle-room by checking for stack size
9100715d35eSAlex Bradbury   // representable an 11-bit signed field rather than 12-bits.
9110715d35eSAlex Bradbury   // FIXME: It may be possible to craft a function with a small stack that
9120715d35eSAlex Bradbury   // still needs an emergency spill slot for branch relaxation. This case
9130715d35eSAlex Bradbury   // would currently be missed.
9148790e852SFraser Cormack   // RVV loads & stores have no capacity to hold the immediate address offsets
9158790e852SFraser Cormack   // so we must always reserve an emergency spill slot if the MachineFunction
9168790e852SFraser Cormack   // contains any RVV spills.
9178790e852SFraser Cormack   if (!isInt<11>(MFI.estimateStackSize(MF)) || hasRVVSpillWithFIs(MF, TII)) {
91828de229bSGuillaume Chatelet     int RegScavFI = MFI.CreateStackObject(RegInfo->getSpillSize(*RC),
91928de229bSGuillaume Chatelet                                           RegInfo->getSpillAlign(*RC), false);
9200715d35eSAlex Bradbury     RS->addScavengingFrameIndex(RegScavFI);
921b4a358a7SFraser Cormack     // For RVV, scalable stack offsets require up to two scratch registers to
922b4a358a7SFraser Cormack     // compute the final offset. Reserve an additional emergency spill slot.
923b4a358a7SFraser Cormack     if (RVVStackSize != 0) {
924b4a358a7SFraser Cormack       int RVVRegScavFI = MFI.CreateStackObject(
925b4a358a7SFraser Cormack           RegInfo->getSpillSize(*RC), RegInfo->getSpillAlign(*RC), false);
926b4a358a7SFraser Cormack       RS->addScavengingFrameIndex(RVVRegScavFI);
927b4a358a7SFraser Cormack     }
9280715d35eSAlex Bradbury   }
9295a31a673SHsiangkai Wang 
930a9b9c64fSluxufan   if (MFI.getCalleeSavedInfo().empty() || RVFI->useSaveRestoreLibCalls(MF)) {
931a9b9c64fSluxufan     RVFI->setCalleeSavedStackSize(0);
932a9b9c64fSluxufan     return;
933a9b9c64fSluxufan   }
934a9b9c64fSluxufan 
935ef76a333SRoger Ferrer Ibanez   unsigned Size = 0;
936a9b9c64fSluxufan   for (const auto &Info : MFI.getCalleeSavedInfo()) {
937a9b9c64fSluxufan     int FrameIdx = Info.getFrameIdx();
938a9b9c64fSluxufan     if (MFI.getStackID(FrameIdx) != TargetStackID::Default)
939a9b9c64fSluxufan       continue;
940a9b9c64fSluxufan 
941ef76a333SRoger Ferrer Ibanez     Size += MFI.getObjectSize(FrameIdx);
942a9b9c64fSluxufan   }
943a9b9c64fSluxufan   RVFI->setCalleeSavedStackSize(Size);
944ef76a333SRoger Ferrer Ibanez 
945ef76a333SRoger Ferrer Ibanez   // Padding required to keep the RVV stack aligned to 8 bytes
946ef76a333SRoger Ferrer Ibanez   // within the main stack. We only need this when not using FP.
947ef76a333SRoger Ferrer Ibanez   if (RVVStackSize && !hasFP(MF) && Size % 8 != 0) {
948ef76a333SRoger Ferrer Ibanez     // Because we add the padding to the size of the stack, adding
949ef76a333SRoger Ferrer Ibanez     // getStackAlign() will keep it aligned.
950ef76a333SRoger Ferrer Ibanez     RVFI->setRVVPadding(getStackAlign().value());
951ef76a333SRoger Ferrer Ibanez   }
9520715d35eSAlex Bradbury }
953cbd498acSShiva Chen 
954643b6407SHsiangkai Wang static bool hasRVVFrameObject(const MachineFunction &MF) {
955ad06e65dSHsiangkai Wang   // Originally, the function will scan all the stack objects to check whether
956ad06e65dSHsiangkai Wang   // if there is any scalable vector object on the stack or not. However, it
957ad06e65dSHsiangkai Wang   // causes errors in the register allocator. In issue 53016, it returns false
958ad06e65dSHsiangkai Wang   // before RA because there is no RVV stack objects. After RA, it returns true
959ad06e65dSHsiangkai Wang   // because there are spilling slots for RVV values during RA. It will not
960ad06e65dSHsiangkai Wang   // reserve BP during register allocation and generate BP access in the PEI
961ad06e65dSHsiangkai Wang   // pass due to the inconsistent behavior of the function.
962ad06e65dSHsiangkai Wang   //
963ad06e65dSHsiangkai Wang   // The function is changed to use hasVInstructions() as the return value. It
964ad06e65dSHsiangkai Wang   // is not precise, but it can make the register allocation correct.
965ad06e65dSHsiangkai Wang   //
966ad06e65dSHsiangkai Wang   // FIXME: Find a better way to make the decision or revisit the solution in
967ad06e65dSHsiangkai Wang   // D103622.
968ad06e65dSHsiangkai Wang   //
969ad06e65dSHsiangkai Wang   // Refer to https://github.com/llvm/llvm-project/issues/53016.
970ad06e65dSHsiangkai Wang   return MF.getSubtarget<RISCVSubtarget>().hasVInstructions();
971643b6407SHsiangkai Wang }
972643b6407SHsiangkai Wang 
973cbd498acSShiva Chen // Not preserve stack space within prologue for outgoing variables when the
974643b6407SHsiangkai Wang // function contains variable size objects or there are vector objects accessed
975643b6407SHsiangkai Wang // by the frame pointer.
976643b6407SHsiangkai Wang // Let eliminateCallFramePseudoInstr preserve stack space for it.
977cbd498acSShiva Chen bool RISCVFrameLowering::hasReservedCallFrame(const MachineFunction &MF) const {
978643b6407SHsiangkai Wang   return !MF.getFrameInfo().hasVarSizedObjects() &&
979643b6407SHsiangkai Wang          !(hasFP(MF) && hasRVVFrameObject(MF));
980cbd498acSShiva Chen }
981cbd498acSShiva Chen 
982cbd498acSShiva Chen // Eliminate ADJCALLSTACKDOWN, ADJCALLSTACKUP pseudo instructions.
983cbd498acSShiva Chen MachineBasicBlock::iterator RISCVFrameLowering::eliminateCallFramePseudoInstr(
984cbd498acSShiva Chen     MachineFunction &MF, MachineBasicBlock &MBB,
985cbd498acSShiva Chen     MachineBasicBlock::iterator MI) const {
986fa06e958SLuis Marques   Register SPReg = RISCV::X2;
987cbd498acSShiva Chen   DebugLoc DL = MI->getDebugLoc();
988cbd498acSShiva Chen 
989cbd498acSShiva Chen   if (!hasReservedCallFrame(MF)) {
990cbd498acSShiva Chen     // If space has not been reserved for a call frame, ADJCALLSTACKDOWN and
991cbd498acSShiva Chen     // ADJCALLSTACKUP must be converted to instructions manipulating the stack
992cbd498acSShiva Chen     // pointer. This is necessary when there is a variable length stack
993cbd498acSShiva Chen     // allocation (e.g. alloca), which means it's not possible to allocate
994cbd498acSShiva Chen     // space for outgoing arguments from within the function prologue.
995cbd498acSShiva Chen     int64_t Amount = MI->getOperand(0).getImm();
996cbd498acSShiva Chen 
997cbd498acSShiva Chen     if (Amount != 0) {
998cbd498acSShiva Chen       // Ensure the stack remains aligned after adjustment.
999cbd498acSShiva Chen       Amount = alignSPAdjust(Amount);
1000cbd498acSShiva Chen 
1001cbd498acSShiva Chen       if (MI->getOpcode() == RISCV::ADJCALLSTACKDOWN)
1002cbd498acSShiva Chen         Amount = -Amount;
1003cbd498acSShiva Chen 
1004cbd498acSShiva Chen       adjustReg(MBB, MI, DL, SPReg, SPReg, Amount, MachineInstr::NoFlags);
1005cbd498acSShiva Chen     }
1006cbd498acSShiva Chen   }
1007cbd498acSShiva Chen 
1008cbd498acSShiva Chen   return MBB.erase(MI);
1009cbd498acSShiva Chen }
1010ff55e2e0SShiva Chen 
1011ff55e2e0SShiva Chen // We would like to split the SP adjustment to reduce prologue/epilogue
1012ff55e2e0SShiva Chen // as following instructions. In this way, the offset of the callee saved
1013ff55e2e0SShiva Chen // register could fit in a single store.
1014ff55e2e0SShiva Chen //   add     sp,sp,-2032
1015ff55e2e0SShiva Chen //   sw      ra,2028(sp)
1016ff55e2e0SShiva Chen //   sw      s0,2024(sp)
1017ff55e2e0SShiva Chen //   sw      s1,2020(sp)
1018ff55e2e0SShiva Chen //   sw      s3,2012(sp)
1019ff55e2e0SShiva Chen //   sw      s4,2008(sp)
1020ff55e2e0SShiva Chen //   add     sp,sp,-64
1021ff55e2e0SShiva Chen uint64_t
1022ff55e2e0SShiva Chen RISCVFrameLowering::getFirstSPAdjustAmount(const MachineFunction &MF) const {
102307f7c002Slewis-revill   const auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
1024ff55e2e0SShiva Chen   const MachineFrameInfo &MFI = MF.getFrameInfo();
1025ff55e2e0SShiva Chen   const std::vector<CalleeSavedInfo> &CSI = MFI.getCalleeSavedInfo();
1026ff55e2e0SShiva Chen   uint64_t StackSize = MFI.getStackSize();
1027ff55e2e0SShiva Chen 
1028*f00f894dSFraser Cormack   // Disable SplitSPAdjust if save-restore libcall is used. The callee-saved
102907f7c002Slewis-revill   // registers will be pushed by the save-restore libcalls, so we don't have to
103007f7c002Slewis-revill   // split the SP adjustment in this case.
103107f7c002Slewis-revill   if (RVFI->getLibCallStackSize())
103207f7c002Slewis-revill     return 0;
103307f7c002Slewis-revill 
1034*f00f894dSFraser Cormack   // Return the FirstSPAdjustAmount if the StackSize can not fit in a signed
1035*f00f894dSFraser Cormack   // 12-bit and there exists a callee-saved register needing to be pushed.
1036ff55e2e0SShiva Chen   if (!isInt<12>(StackSize) && (CSI.size() > 0)) {
1037*f00f894dSFraser Cormack     // FirstSPAdjustAmount is chosen as (2048 - StackAlign) because 2048 will
1038*f00f894dSFraser Cormack     // cause sp = sp + 2048 in the epilogue to be split into multiple
1039*f00f894dSFraser Cormack     // instructions. Offsets smaller than 2048 can fit in a single load/store
1040*f00f894dSFraser Cormack     // instruction, and we have to stick with the stack alignment. 2048 has
1041*f00f894dSFraser Cormack     // 16-byte alignment. The stack alignment for RV32 and RV64 is 16 and for
1042*f00f894dSFraser Cormack     // RV32E it is 4. So (2048 - StackAlign) will satisfy the stack alignment.
10433ba550a0SGuillaume Chatelet     return 2048 - getStackAlign().value();
1044ff55e2e0SShiva Chen   }
1045ff55e2e0SShiva Chen   return 0;
1046ff55e2e0SShiva Chen }
104707f7c002Slewis-revill 
104807f7c002Slewis-revill bool RISCVFrameLowering::spillCalleeSavedRegisters(
104907f7c002Slewis-revill     MachineBasicBlock &MBB, MachineBasicBlock::iterator MI,
105007f7c002Slewis-revill     ArrayRef<CalleeSavedInfo> CSI, const TargetRegisterInfo *TRI) const {
105107f7c002Slewis-revill   if (CSI.empty())
105207f7c002Slewis-revill     return true;
105307f7c002Slewis-revill 
105407f7c002Slewis-revill   MachineFunction *MF = MBB.getParent();
105507f7c002Slewis-revill   const TargetInstrInfo &TII = *MF->getSubtarget().getInstrInfo();
105607f7c002Slewis-revill   DebugLoc DL;
105707f7c002Slewis-revill   if (MI != MBB.end() && !MI->isDebugInstr())
105807f7c002Slewis-revill     DL = MI->getDebugLoc();
105907f7c002Slewis-revill 
106007f7c002Slewis-revill   const char *SpillLibCall = getSpillLibCallName(*MF, CSI);
106107f7c002Slewis-revill   if (SpillLibCall) {
106207f7c002Slewis-revill     // Add spill libcall via non-callee-saved register t0.
106307f7c002Slewis-revill     BuildMI(MBB, MI, DL, TII.get(RISCV::PseudoCALLReg), RISCV::X5)
106407f7c002Slewis-revill         .addExternalSymbol(SpillLibCall, RISCVII::MO_CALL)
106507f7c002Slewis-revill         .setMIFlag(MachineInstr::FrameSetup);
106607f7c002Slewis-revill 
106707f7c002Slewis-revill     // Add registers spilled in libcall as liveins.
106807f7c002Slewis-revill     for (auto &CS : CSI)
106907f7c002Slewis-revill       MBB.addLiveIn(CS.getReg());
107007f7c002Slewis-revill   }
107107f7c002Slewis-revill 
107207f7c002Slewis-revill   // Manually spill values not spilled by libcall.
10735a31a673SHsiangkai Wang   const auto &NonLibcallCSI = getNonLibcallCSI(*MF, CSI);
107407f7c002Slewis-revill   for (auto &CS : NonLibcallCSI) {
107507f7c002Slewis-revill     // Insert the spill to the stack frame.
107607f7c002Slewis-revill     Register Reg = CS.getReg();
107707f7c002Slewis-revill     const TargetRegisterClass *RC = TRI->getMinimalPhysRegClass(Reg);
10784ec1b8eeSDavid Callahan     TII.storeRegToStackSlot(MBB, MI, Reg, !MBB.isLiveIn(Reg), CS.getFrameIdx(),
10794ec1b8eeSDavid Callahan                             RC, TRI);
108007f7c002Slewis-revill   }
108107f7c002Slewis-revill 
108207f7c002Slewis-revill   return true;
108307f7c002Slewis-revill }
108407f7c002Slewis-revill 
108507f7c002Slewis-revill bool RISCVFrameLowering::restoreCalleeSavedRegisters(
108607f7c002Slewis-revill     MachineBasicBlock &MBB, MachineBasicBlock::iterator MI,
1087186dd631SBenjamin Kramer     MutableArrayRef<CalleeSavedInfo> CSI, const TargetRegisterInfo *TRI) const {
108807f7c002Slewis-revill   if (CSI.empty())
108907f7c002Slewis-revill     return true;
109007f7c002Slewis-revill 
109107f7c002Slewis-revill   MachineFunction *MF = MBB.getParent();
109207f7c002Slewis-revill   const TargetInstrInfo &TII = *MF->getSubtarget().getInstrInfo();
109307f7c002Slewis-revill   DebugLoc DL;
109407f7c002Slewis-revill   if (MI != MBB.end() && !MI->isDebugInstr())
109507f7c002Slewis-revill     DL = MI->getDebugLoc();
109607f7c002Slewis-revill 
1097137d3474SHsiangkai Wang   // Manually restore values not restored by libcall.
1098137d3474SHsiangkai Wang   // Keep the same order as in the prologue. There is no need to reverse the
1099137d3474SHsiangkai Wang   // order in the epilogue. In addition, the return address will be restored
1100137d3474SHsiangkai Wang   // first in the epilogue. It increases the opportunity to avoid the
1101137d3474SHsiangkai Wang   // load-to-use data hazard between loading RA and return by RA.
110207f7c002Slewis-revill   // loadRegFromStackSlot can insert multiple instructions.
11035a31a673SHsiangkai Wang   const auto &NonLibcallCSI = getNonLibcallCSI(*MF, CSI);
1104137d3474SHsiangkai Wang   for (auto &CS : NonLibcallCSI) {
110507f7c002Slewis-revill     Register Reg = CS.getReg();
110607f7c002Slewis-revill     const TargetRegisterClass *RC = TRI->getMinimalPhysRegClass(Reg);
110707f7c002Slewis-revill     TII.loadRegFromStackSlot(MBB, MI, Reg, CS.getFrameIdx(), RC, TRI);
110807f7c002Slewis-revill     assert(MI != MBB.begin() && "loadRegFromStackSlot didn't insert any code!");
110907f7c002Slewis-revill   }
111007f7c002Slewis-revill 
111107f7c002Slewis-revill   const char *RestoreLibCall = getRestoreLibCallName(*MF, CSI);
111207f7c002Slewis-revill   if (RestoreLibCall) {
111307f7c002Slewis-revill     // Add restore libcall via tail call.
111407f7c002Slewis-revill     MachineBasicBlock::iterator NewMI =
111507f7c002Slewis-revill         BuildMI(MBB, MI, DL, TII.get(RISCV::PseudoTAIL))
111607f7c002Slewis-revill             .addExternalSymbol(RestoreLibCall, RISCVII::MO_CALL)
111707f7c002Slewis-revill             .setMIFlag(MachineInstr::FrameDestroy);
111807f7c002Slewis-revill 
111907f7c002Slewis-revill     // Remove trailing returns, since the terminator is now a tail call to the
112007f7c002Slewis-revill     // restore function.
112107f7c002Slewis-revill     if (MI != MBB.end() && MI->getOpcode() == RISCV::PseudoRET) {
112207f7c002Slewis-revill       NewMI->copyImplicitOps(*MF, *MI);
112307f7c002Slewis-revill       MI->eraseFromParent();
112407f7c002Slewis-revill     }
112507f7c002Slewis-revill   }
112607f7c002Slewis-revill 
112707f7c002Slewis-revill   return true;
112807f7c002Slewis-revill }
112907f7c002Slewis-revill 
113007f7c002Slewis-revill bool RISCVFrameLowering::canUseAsPrologue(const MachineBasicBlock &MBB) const {
113107f7c002Slewis-revill   MachineBasicBlock *TmpMBB = const_cast<MachineBasicBlock *>(&MBB);
113208649f0aSMatt Arsenault   const MachineFunction *MF = MBB.getParent();
113308649f0aSMatt Arsenault   const auto *RVFI = MF->getInfo<RISCVMachineFunctionInfo>();
113407f7c002Slewis-revill 
113508649f0aSMatt Arsenault   if (!RVFI->useSaveRestoreLibCalls(*MF))
113607f7c002Slewis-revill     return true;
113707f7c002Slewis-revill 
113807f7c002Slewis-revill   // Inserting a call to a __riscv_save libcall requires the use of the register
113907f7c002Slewis-revill   // t0 (X5) to hold the return address. Therefore if this register is already
114007f7c002Slewis-revill   // used we can't insert the call.
114107f7c002Slewis-revill 
114207f7c002Slewis-revill   RegScavenger RS;
114307f7c002Slewis-revill   RS.enterBasicBlock(*TmpMBB);
114407f7c002Slewis-revill   return !RS.isRegUsed(RISCV::X5);
114507f7c002Slewis-revill }
114607f7c002Slewis-revill 
114707f7c002Slewis-revill bool RISCVFrameLowering::canUseAsEpilogue(const MachineBasicBlock &MBB) const {
114808649f0aSMatt Arsenault   const MachineFunction *MF = MBB.getParent();
114907f7c002Slewis-revill   MachineBasicBlock *TmpMBB = const_cast<MachineBasicBlock *>(&MBB);
115008649f0aSMatt Arsenault   const auto *RVFI = MF->getInfo<RISCVMachineFunctionInfo>();
115107f7c002Slewis-revill 
115208649f0aSMatt Arsenault   if (!RVFI->useSaveRestoreLibCalls(*MF))
115307f7c002Slewis-revill     return true;
115407f7c002Slewis-revill 
115507f7c002Slewis-revill   // Using the __riscv_restore libcalls to restore CSRs requires a tail call.
115607f7c002Slewis-revill   // This means if we still need to continue executing code within this function
115707f7c002Slewis-revill   // the restore cannot take place in this basic block.
115807f7c002Slewis-revill 
115907f7c002Slewis-revill   if (MBB.succ_size() > 1)
116007f7c002Slewis-revill     return false;
116107f7c002Slewis-revill 
116207f7c002Slewis-revill   MachineBasicBlock *SuccMBB =
116307f7c002Slewis-revill       MBB.succ_empty() ? TmpMBB->getFallThrough() : *MBB.succ_begin();
116407f7c002Slewis-revill 
116507f7c002Slewis-revill   // Doing a tail call should be safe if there are no successors, because either
116607f7c002Slewis-revill   // we have a returning block or the end of the block is unreachable, so the
116707f7c002Slewis-revill   // restore will be eliminated regardless.
116807f7c002Slewis-revill   if (!SuccMBB)
116907f7c002Slewis-revill     return true;
117007f7c002Slewis-revill 
117107f7c002Slewis-revill   // The successor can only contain a return, since we would effectively be
117207f7c002Slewis-revill   // replacing the successor with our own tail return at the end of our block.
117307f7c002Slewis-revill   return SuccMBB->isReturnBlock() && SuccMBB->size() == 1;
117407f7c002Slewis-revill }
11755a31a673SHsiangkai Wang 
11765a31a673SHsiangkai Wang bool RISCVFrameLowering::isSupportedStackID(TargetStackID::Value ID) const {
11775a31a673SHsiangkai Wang   switch (ID) {
11785a31a673SHsiangkai Wang   case TargetStackID::Default:
11795a31a673SHsiangkai Wang   case TargetStackID::ScalableVector:
11805a31a673SHsiangkai Wang     return true;
11815a31a673SHsiangkai Wang   case TargetStackID::NoAlloc:
11825a31a673SHsiangkai Wang   case TargetStackID::SGPRSpill:
118382f92e35SAndy Wingo   case TargetStackID::WasmLocal:
11845a31a673SHsiangkai Wang     return false;
11855a31a673SHsiangkai Wang   }
11865a31a673SHsiangkai Wang   llvm_unreachable("Invalid TargetStackID::Value");
11875a31a673SHsiangkai Wang }
11885a31a673SHsiangkai Wang 
11895a31a673SHsiangkai Wang TargetStackID::Value RISCVFrameLowering::getStackIDForScalableVectors() const {
11905a31a673SHsiangkai Wang   return TargetStackID::ScalableVector;
11915a31a673SHsiangkai Wang }
1192