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 
223*7a189333SShivam Gupta // Return true if the specified function should have a dedicated frame
224*7a189333SShivam Gupta // pointer register.  This is true if frame pointer elimination is
225*7a189333SShivam Gupta // disabled, if it needs dynamic stack realignment, if the function has
226*7a189333SShivam 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 
240a9968c0aSTomas Matheson   return MFI.hasVarSizedObjects() && TRI->hasStackRealignment(MF);
241cf6cf0cdSShiva Chen }
242cf6cf0cdSShiva Chen 
243b014e3deSAlex Bradbury // Determines the size of the frame and maximum call frame size.
244b014e3deSAlex Bradbury void RISCVFrameLowering::determineFrameLayout(MachineFunction &MF) const {
245b014e3deSAlex Bradbury   MachineFrameInfo &MFI = MF.getFrameInfo();
246b014e3deSAlex Bradbury 
247b014e3deSAlex Bradbury   // Get the number of bytes to allocate from the FrameInfo.
248b014e3deSAlex Bradbury   uint64_t FrameSize = MFI.getStackSize();
249b014e3deSAlex Bradbury 
250b014e3deSAlex Bradbury   // Get the alignment.
251d000655aSGuillaume Chatelet   Align StackAlign = getStackAlign();
252cd44aee3SSam Elliott 
253b014e3deSAlex Bradbury   // Make sure the frame is aligned.
254b014e3deSAlex Bradbury   FrameSize = alignTo(FrameSize, StackAlign);
255b014e3deSAlex Bradbury 
256b014e3deSAlex Bradbury   // Update frame info.
257b014e3deSAlex Bradbury   MFI.setStackSize(FrameSize);
258b014e3deSAlex Bradbury }
259b014e3deSAlex Bradbury 
260b014e3deSAlex Bradbury void RISCVFrameLowering::adjustReg(MachineBasicBlock &MBB,
261b014e3deSAlex Bradbury                                    MachineBasicBlock::iterator MBBI,
262fa06e958SLuis Marques                                    const DebugLoc &DL, Register DestReg,
263fa06e958SLuis Marques                                    Register SrcReg, int64_t Val,
264b014e3deSAlex Bradbury                                    MachineInstr::MIFlag Flag) const {
2659fea4881SAlex Bradbury   MachineRegisterInfo &MRI = MBB.getParent()->getRegInfo();
266b014e3deSAlex Bradbury   const RISCVInstrInfo *TII = STI.getInstrInfo();
267b014e3deSAlex Bradbury 
268b014e3deSAlex Bradbury   if (DestReg == SrcReg && Val == 0)
269b014e3deSAlex Bradbury     return;
270b014e3deSAlex Bradbury 
2719fea4881SAlex Bradbury   if (isInt<12>(Val)) {
272b014e3deSAlex Bradbury     BuildMI(MBB, MBBI, DL, TII->get(RISCV::ADDI), DestReg)
273b014e3deSAlex Bradbury         .addReg(SrcReg)
274b014e3deSAlex Bradbury         .addImm(Val)
275b014e3deSAlex Bradbury         .setMIFlag(Flag);
276a49a16ddSShiva Chen   } else {
2779fea4881SAlex Bradbury     unsigned Opc = RISCV::ADD;
2789fea4881SAlex Bradbury     bool isSub = Val < 0;
2799fea4881SAlex Bradbury     if (isSub) {
2809fea4881SAlex Bradbury       Val = -Val;
2819fea4881SAlex Bradbury       Opc = RISCV::SUB;
2829fea4881SAlex Bradbury     }
2839fea4881SAlex Bradbury 
2843836874dSDaniel Sanders     Register ScratchReg = MRI.createVirtualRegister(&RISCV::GPRRegClass);
285a49a16ddSShiva Chen     TII->movImm(MBB, MBBI, DL, ScratchReg, Val, Flag);
2869fea4881SAlex Bradbury     BuildMI(MBB, MBBI, DL, TII->get(Opc), DestReg)
2879fea4881SAlex Bradbury         .addReg(SrcReg)
2889fea4881SAlex Bradbury         .addReg(ScratchReg, RegState::Kill)
2899fea4881SAlex Bradbury         .setMIFlag(Flag);
2909fea4881SAlex Bradbury   }
291b014e3deSAlex Bradbury }
292b014e3deSAlex Bradbury 
293b014e3deSAlex Bradbury // Returns the register used to hold the frame pointer.
294fa06e958SLuis Marques static Register getFPReg(const RISCVSubtarget &STI) { return RISCV::X8; }
295b014e3deSAlex Bradbury 
296b014e3deSAlex Bradbury // Returns the register used to hold the stack pointer.
297fa06e958SLuis Marques static Register getSPReg(const RISCVSubtarget &STI) { return RISCV::X2; }
298b014e3deSAlex Bradbury 
29907f7c002Slewis-revill static SmallVector<CalleeSavedInfo, 8>
3005a31a673SHsiangkai Wang getNonLibcallCSI(const MachineFunction &MF,
3015a31a673SHsiangkai Wang                  const std::vector<CalleeSavedInfo> &CSI) {
3025a31a673SHsiangkai Wang   const MachineFrameInfo &MFI = MF.getFrameInfo();
30307f7c002Slewis-revill   SmallVector<CalleeSavedInfo, 8> NonLibcallCSI;
30407f7c002Slewis-revill 
3055a31a673SHsiangkai Wang   for (auto &CS : CSI) {
3065a31a673SHsiangkai Wang     int FI = CS.getFrameIdx();
3075a31a673SHsiangkai Wang     if (FI >= 0 && MFI.getStackID(FI) == TargetStackID::Default)
30807f7c002Slewis-revill       NonLibcallCSI.push_back(CS);
3095a31a673SHsiangkai Wang   }
31007f7c002Slewis-revill 
31107f7c002Slewis-revill   return NonLibcallCSI;
31207f7c002Slewis-revill }
31307f7c002Slewis-revill 
3145a31a673SHsiangkai Wang void RISCVFrameLowering::adjustStackForRVV(MachineFunction &MF,
3155a31a673SHsiangkai Wang                                            MachineBasicBlock &MBB,
3165a31a673SHsiangkai Wang                                            MachineBasicBlock::iterator MBBI,
3174b2dd318SHsiangkai Wang                                            const DebugLoc &DL, int64_t Amount,
3184b2dd318SHsiangkai Wang                                            MachineInstr::MIFlag Flag) const {
3195a31a673SHsiangkai Wang   assert(Amount != 0 && "Did not need to adjust stack pointer for RVV.");
3205a31a673SHsiangkai Wang 
3215a31a673SHsiangkai Wang   const RISCVInstrInfo *TII = STI.getInstrInfo();
3225a31a673SHsiangkai Wang   Register SPReg = getSPReg(STI);
3235a31a673SHsiangkai Wang   unsigned Opc = RISCV::ADD;
3245a31a673SHsiangkai Wang   if (Amount < 0) {
3255a31a673SHsiangkai Wang     Amount = -Amount;
3265a31a673SHsiangkai Wang     Opc = RISCV::SUB;
3275a31a673SHsiangkai Wang   }
3285a31a673SHsiangkai Wang   // 1. Multiply the number of v-slots to the length of registers
329b41e1306SHsiangkai Wang   Register FactorRegister =
3304b2dd318SHsiangkai Wang       TII->getVLENFactoredAmount(MF, MBB, MBBI, DL, Amount, Flag);
3315a31a673SHsiangkai Wang   // 2. SP = SP - RVV stack size
3325a31a673SHsiangkai Wang   BuildMI(MBB, MBBI, DL, TII->get(Opc), SPReg)
3335a31a673SHsiangkai Wang       .addReg(SPReg)
3344b2dd318SHsiangkai Wang       .addReg(FactorRegister, RegState::Kill)
3354b2dd318SHsiangkai Wang       .setMIFlag(Flag);
3365a31a673SHsiangkai Wang }
3375a31a673SHsiangkai Wang 
3388971842fSAlex Bradbury void RISCVFrameLowering::emitPrologue(MachineFunction &MF,
339b014e3deSAlex Bradbury                                       MachineBasicBlock &MBB) const {
340b014e3deSAlex Bradbury   MachineFrameInfo &MFI = MF.getFrameInfo();
341c85be0deSAlex Bradbury   auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
34204ddf39bSHsiangkai Wang   const RISCVRegisterInfo *RI = STI.getRegisterInfo();
34304ddf39bSHsiangkai Wang   const RISCVInstrInfo *TII = STI.getInstrInfo();
344b014e3deSAlex Bradbury   MachineBasicBlock::iterator MBBI = MBB.begin();
345b014e3deSAlex Bradbury 
346fa06e958SLuis Marques   Register FPReg = getFPReg(STI);
347fa06e958SLuis Marques   Register SPReg = getSPReg(STI);
348cf6cf0cdSShiva Chen   Register BPReg = RISCVABI::getBPReg();
349b014e3deSAlex Bradbury 
3501c466477SZhaoshi Zheng   // Debug location must be unknown since the first debug location is used
3511c466477SZhaoshi Zheng   // to determine the end of the prologue.
3521c466477SZhaoshi Zheng   DebugLoc DL;
3531c466477SZhaoshi Zheng 
354a8dc2110SLuís Marques   // All calls are tail calls in GHC calling conv, and functions have no
355a8dc2110SLuís Marques   // prologue/epilogue.
356a8dc2110SLuís Marques   if (MF.getFunction().getCallingConv() == CallingConv::GHC)
357a8dc2110SLuís Marques     return;
358a8dc2110SLuís Marques 
3591c466477SZhaoshi Zheng   // Emit prologue for shadow call stack.
3601c466477SZhaoshi Zheng   emitSCSPrologue(MF, MBB, MBBI, DL);
3611c466477SZhaoshi Zheng 
36207f7c002Slewis-revill   // Since spillCalleeSavedRegisters may have inserted a libcall, skip past
36307f7c002Slewis-revill   // any instructions marked as FrameSetup
36407f7c002Slewis-revill   while (MBBI != MBB.end() && MBBI->getFlag(MachineInstr::FrameSetup))
36507f7c002Slewis-revill     ++MBBI;
36607f7c002Slewis-revill 
367b014e3deSAlex Bradbury   // Determine the correct frame layout
368b014e3deSAlex Bradbury   determineFrameLayout(MF);
369b014e3deSAlex Bradbury 
37007f7c002Slewis-revill   // If libcalls are used to spill and restore callee-saved registers, the frame
37107f7c002Slewis-revill   // has two sections; the opaque section managed by the libcalls, and the
37207f7c002Slewis-revill   // section managed by MachineFrameInfo which can also hold callee saved
37307f7c002Slewis-revill   // registers in fixed stack slots, both of which have negative frame indices.
37407f7c002Slewis-revill   // This gets even more complicated when incoming arguments are passed via the
37507f7c002Slewis-revill   // stack, as these too have negative frame indices. An example is detailed
37607f7c002Slewis-revill   // below:
37707f7c002Slewis-revill   //
37807f7c002Slewis-revill   //  | incoming arg | <- FI[-3]
37907f7c002Slewis-revill   //  | libcallspill |
38007f7c002Slewis-revill   //  | calleespill  | <- FI[-2]
38107f7c002Slewis-revill   //  | calleespill  | <- FI[-1]
38207f7c002Slewis-revill   //  | this_frame   | <- FI[0]
38307f7c002Slewis-revill   //
38407f7c002Slewis-revill   // For negative frame indices, the offset from the frame pointer will differ
38507f7c002Slewis-revill   // depending on which of these groups the frame index applies to.
38607f7c002Slewis-revill   // The following calculates the correct offset knowing the number of callee
38707f7c002Slewis-revill   // saved registers spilt by the two methods.
38807f7c002Slewis-revill   if (int LibCallRegs = getLibCallID(MF, MFI.getCalleeSavedInfo()) + 1) {
38907f7c002Slewis-revill     // Calculate the size of the frame managed by the libcall. The libcalls are
39007f7c002Slewis-revill     // implemented such that the stack will always be 16 byte aligned.
39107f7c002Slewis-revill     unsigned LibCallFrameSize = alignTo((STI.getXLen() / 8) * LibCallRegs, 16);
39207f7c002Slewis-revill     RVFI->setLibCallStackSize(LibCallFrameSize);
39307f7c002Slewis-revill   }
39407f7c002Slewis-revill 
395b014e3deSAlex Bradbury   // FIXME (note copied from Lanai): This appears to be overallocating.  Needs
396b014e3deSAlex Bradbury   // investigation. Get the number of bytes to allocate from the FrameInfo.
397ef76a333SRoger Ferrer Ibanez   uint64_t StackSize = MFI.getStackSize() + RVFI->getRVVPadding();
39807f7c002Slewis-revill   uint64_t RealStackSize = StackSize + RVFI->getLibCallStackSize();
3995a31a673SHsiangkai Wang   uint64_t RVVStackSize = RVFI->getRVVStackSize();
400b014e3deSAlex Bradbury 
401b014e3deSAlex Bradbury   // Early exit if there is no need to allocate on the stack
4025a31a673SHsiangkai Wang   if (RealStackSize == 0 && !MFI.adjustsStack() && RVVStackSize == 0)
403b014e3deSAlex Bradbury     return;
404b014e3deSAlex Bradbury 
405aed9d6d6SSimon Cook   // If the stack pointer has been marked as reserved, then produce an error if
406aed9d6d6SSimon Cook   // the frame requires stack allocation
407aed9d6d6SSimon Cook   if (STI.isRegisterReservedByUser(SPReg))
408aed9d6d6SSimon Cook     MF.getFunction().getContext().diagnose(DiagnosticInfoUnsupported{
409aed9d6d6SSimon Cook         MF.getFunction(), "Stack pointer required, but has been reserved."});
410aed9d6d6SSimon Cook 
411ff55e2e0SShiva Chen   uint64_t FirstSPAdjustAmount = getFirstSPAdjustAmount(MF);
412ff55e2e0SShiva Chen   // Split the SP adjustment to reduce the offsets of callee saved spill.
41307f7c002Slewis-revill   if (FirstSPAdjustAmount) {
414ff55e2e0SShiva Chen     StackSize = FirstSPAdjustAmount;
41507f7c002Slewis-revill     RealStackSize = FirstSPAdjustAmount;
41607f7c002Slewis-revill   }
417ff55e2e0SShiva Chen 
418b014e3deSAlex Bradbury   // Allocate space on the stack if necessary.
419b014e3deSAlex Bradbury   adjustReg(MBB, MBBI, DL, SPReg, SPReg, -StackSize, MachineInstr::FrameSetup);
420b014e3deSAlex Bradbury 
42107f7c002Slewis-revill   // Emit ".cfi_def_cfa_offset RealStackSize"
42204ddf39bSHsiangkai Wang   unsigned CFIIndex = MF.addFrameInst(
4230840d725SFangrui Song       MCCFIInstruction::cfiDefCfaOffset(nullptr, RealStackSize));
42404ddf39bSHsiangkai Wang   BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION))
4254b2dd318SHsiangkai Wang       .addCFIIndex(CFIIndex)
4264b2dd318SHsiangkai Wang       .setMIFlag(MachineInstr::FrameSetup);
42704ddf39bSHsiangkai Wang 
42807f7c002Slewis-revill   const auto &CSI = MFI.getCalleeSavedInfo();
42907f7c002Slewis-revill 
430b014e3deSAlex Bradbury   // The frame pointer is callee-saved, and code has been generated for us to
431b014e3deSAlex Bradbury   // save it to the stack. We need to skip over the storing of callee-saved
432b014e3deSAlex Bradbury   // registers as the frame pointer must be modified after it has been saved
433b014e3deSAlex Bradbury   // to the stack, not before.
434b014e3deSAlex Bradbury   // FIXME: assumes exactly one instruction is used to save each callee-saved
435b014e3deSAlex Bradbury   // register.
4365a31a673SHsiangkai Wang   std::advance(MBBI, getNonLibcallCSI(MF, CSI).size());
437b014e3deSAlex Bradbury 
43804ddf39bSHsiangkai Wang   // Iterate over list of callee-saved registers and emit .cfi_offset
43904ddf39bSHsiangkai Wang   // directives.
44004ddf39bSHsiangkai Wang   for (const auto &Entry : CSI) {
44107f7c002Slewis-revill     int FrameIdx = Entry.getFrameIdx();
44207f7c002Slewis-revill     int64_t Offset;
44307f7c002Slewis-revill     // Offsets for objects with fixed locations (IE: those saved by libcall) are
44407f7c002Slewis-revill     // simply calculated from the frame index.
44507f7c002Slewis-revill     if (FrameIdx < 0)
44607f7c002Slewis-revill       Offset = FrameIdx * (int64_t) STI.getXLen() / 8;
44707f7c002Slewis-revill     else
44807f7c002Slewis-revill       Offset = MFI.getObjectOffset(Entry.getFrameIdx()) -
44907f7c002Slewis-revill                RVFI->getLibCallStackSize();
450fa06e958SLuis Marques     Register Reg = Entry.getReg();
45104ddf39bSHsiangkai Wang     unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::createOffset(
45204ddf39bSHsiangkai Wang         nullptr, RI->getDwarfRegNum(Reg, true), Offset));
45304ddf39bSHsiangkai Wang     BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION))
4544b2dd318SHsiangkai Wang         .addCFIIndex(CFIIndex)
4554b2dd318SHsiangkai Wang         .setMIFlag(MachineInstr::FrameSetup);
45604ddf39bSHsiangkai Wang   }
45704ddf39bSHsiangkai Wang 
458b014e3deSAlex Bradbury   // Generate new FP.
45904ddf39bSHsiangkai Wang   if (hasFP(MF)) {
460aed9d6d6SSimon Cook     if (STI.isRegisterReservedByUser(FPReg))
461aed9d6d6SSimon Cook       MF.getFunction().getContext().diagnose(DiagnosticInfoUnsupported{
462aed9d6d6SSimon Cook           MF.getFunction(), "Frame pointer required, but has been reserved."});
463aed9d6d6SSimon Cook 
4647d6aa1f7SAlex Bradbury     adjustReg(MBB, MBBI, DL, FPReg, SPReg,
46507f7c002Slewis-revill               RealStackSize - RVFI->getVarArgsSaveSize(),
46607f7c002Slewis-revill               MachineInstr::FrameSetup);
46704ddf39bSHsiangkai Wang 
4687e49dc61SFangrui Song     // Emit ".cfi_def_cfa $fp, RVFI->getVarArgsSaveSize()"
4697e49dc61SFangrui Song     unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::cfiDefCfa(
4707e49dc61SFangrui Song         nullptr, RI->getDwarfRegNum(FPReg, true), RVFI->getVarArgsSaveSize()));
47104ddf39bSHsiangkai Wang     BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION))
4724b2dd318SHsiangkai Wang         .addCFIIndex(CFIIndex)
4734b2dd318SHsiangkai Wang         .setMIFlag(MachineInstr::FrameSetup);
474ff55e2e0SShiva Chen   }
475cd44aee3SSam Elliott 
476ff55e2e0SShiva Chen   // Emit the second SP adjustment after saving callee saved registers.
477ff55e2e0SShiva Chen   if (FirstSPAdjustAmount) {
478ff55e2e0SShiva Chen     uint64_t SecondSPAdjustAmount = MFI.getStackSize() - FirstSPAdjustAmount;
479ff55e2e0SShiva Chen     assert(SecondSPAdjustAmount > 0 &&
480ff55e2e0SShiva Chen            "SecondSPAdjustAmount should be greater than zero");
481ff55e2e0SShiva Chen     adjustReg(MBB, MBBI, DL, SPReg, SPReg, -SecondSPAdjustAmount,
482ff55e2e0SShiva Chen               MachineInstr::FrameSetup);
4831c737f54SLuís Marques 
4841c737f54SLuís Marques     // If we are using a frame-pointer, and thus emitted ".cfi_def_cfa fp, 0",
4851c737f54SLuís Marques     // don't emit an sp-based .cfi_def_cfa_offset
4861c737f54SLuís Marques     if (!hasFP(MF)) {
487ff55e2e0SShiva Chen       // Emit ".cfi_def_cfa_offset StackSize"
488ff55e2e0SShiva Chen       unsigned CFIIndex = MF.addFrameInst(
4890840d725SFangrui Song           MCCFIInstruction::cfiDefCfaOffset(nullptr, MFI.getStackSize()));
490ff55e2e0SShiva Chen       BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION))
4914b2dd318SHsiangkai Wang           .addCFIIndex(CFIIndex)
4924b2dd318SHsiangkai Wang           .setMIFlag(MachineInstr::FrameSetup);
493ff55e2e0SShiva Chen     }
4941c737f54SLuís Marques   }
495ff55e2e0SShiva Chen 
496a9b9c64fSluxufan   if (RVVStackSize)
4974b2dd318SHsiangkai Wang     adjustStackForRVV(MF, MBB, MBBI, DL, -RVVStackSize,
4984b2dd318SHsiangkai Wang                       MachineInstr::FrameSetup);
499a9b9c64fSluxufan 
500ff55e2e0SShiva Chen   if (hasFP(MF)) {
501cd44aee3SSam Elliott     // Realign Stack
502cd44aee3SSam Elliott     const RISCVRegisterInfo *RI = STI.getRegisterInfo();
503a9968c0aSTomas Matheson     if (RI->hasStackRealignment(MF)) {
504d000655aSGuillaume Chatelet       Align MaxAlignment = MFI.getMaxAlign();
505cd44aee3SSam Elliott 
506cd44aee3SSam Elliott       const RISCVInstrInfo *TII = STI.getInstrInfo();
507d000655aSGuillaume Chatelet       if (isInt<12>(-(int)MaxAlignment.value())) {
508cd44aee3SSam Elliott         BuildMI(MBB, MBBI, DL, TII->get(RISCV::ANDI), SPReg)
509cd44aee3SSam Elliott             .addReg(SPReg)
5104b2dd318SHsiangkai Wang             .addImm(-(int)MaxAlignment.value())
5114b2dd318SHsiangkai Wang             .setMIFlag(MachineInstr::FrameSetup);
512cd44aee3SSam Elliott       } else {
513d000655aSGuillaume Chatelet         unsigned ShiftAmount = Log2(MaxAlignment);
514fa06e958SLuis Marques         Register VR =
515cd44aee3SSam Elliott             MF.getRegInfo().createVirtualRegister(&RISCV::GPRRegClass);
516cd44aee3SSam Elliott         BuildMI(MBB, MBBI, DL, TII->get(RISCV::SRLI), VR)
517cd44aee3SSam Elliott             .addReg(SPReg)
5184b2dd318SHsiangkai Wang             .addImm(ShiftAmount)
5194b2dd318SHsiangkai Wang             .setMIFlag(MachineInstr::FrameSetup);
520cd44aee3SSam Elliott         BuildMI(MBB, MBBI, DL, TII->get(RISCV::SLLI), SPReg)
521cd44aee3SSam Elliott             .addReg(VR)
5224b2dd318SHsiangkai Wang             .addImm(ShiftAmount)
5234b2dd318SHsiangkai Wang             .setMIFlag(MachineInstr::FrameSetup);
524cd44aee3SSam Elliott       }
525cf6cf0cdSShiva Chen       // FP will be used to restore the frame in the epilogue, so we need
526cf6cf0cdSShiva Chen       // another base register BP to record SP after re-alignment. SP will
527cf6cf0cdSShiva Chen       // track the current stack after allocating variable sized objects.
528cf6cf0cdSShiva Chen       if (hasBP(MF)) {
529cf6cf0cdSShiva Chen         // move BP, SP
5304b2dd318SHsiangkai Wang         BuildMI(MBB, MBBI, DL, TII->get(RISCV::ADDI), BPReg)
5314b2dd318SHsiangkai Wang             .addReg(SPReg)
5324b2dd318SHsiangkai Wang             .addImm(0)
5334b2dd318SHsiangkai Wang             .setMIFlag(MachineInstr::FrameSetup);
534cf6cf0cdSShiva Chen       }
535cd44aee3SSam Elliott     }
53604ddf39bSHsiangkai Wang   }
537b014e3deSAlex Bradbury }
5388971842fSAlex Bradbury 
5398971842fSAlex Bradbury void RISCVFrameLowering::emitEpilogue(MachineFunction &MF,
540b014e3deSAlex Bradbury                                       MachineBasicBlock &MBB) const {
541b014e3deSAlex Bradbury   const RISCVRegisterInfo *RI = STI.getRegisterInfo();
542b014e3deSAlex Bradbury   MachineFrameInfo &MFI = MF.getFrameInfo();
543c85be0deSAlex Bradbury   auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
544fa06e958SLuis Marques   Register FPReg = getFPReg(STI);
545fa06e958SLuis Marques   Register SPReg = getSPReg(STI);
546b014e3deSAlex Bradbury 
547a8dc2110SLuís Marques   // All calls are tail calls in GHC calling conv, and functions have no
548a8dc2110SLuís Marques   // prologue/epilogue.
549a8dc2110SLuís Marques   if (MF.getFunction().getCallingConv() == CallingConv::GHC)
550a8dc2110SLuís Marques     return;
551a8dc2110SLuís Marques 
552cd800f3bSlewis-revill   // Get the insert location for the epilogue. If there were no terminators in
553cd800f3bSlewis-revill   // the block, get the last instruction.
554cd800f3bSlewis-revill   MachineBasicBlock::iterator MBBI = MBB.end();
555cd800f3bSlewis-revill   DebugLoc DL;
556cd800f3bSlewis-revill   if (!MBB.empty()) {
557cd800f3bSlewis-revill     MBBI = MBB.getFirstTerminator();
558cd800f3bSlewis-revill     if (MBBI == MBB.end())
559cd800f3bSlewis-revill       MBBI = MBB.getLastNonDebugInstr();
560cd800f3bSlewis-revill     DL = MBBI->getDebugLoc();
561cd800f3bSlewis-revill 
562cd800f3bSlewis-revill     // If this is not a terminator, the actual insert location should be after the
563cd800f3bSlewis-revill     // last instruction.
564cd800f3bSlewis-revill     if (!MBBI->isTerminator())
565cd800f3bSlewis-revill       MBBI = std::next(MBBI);
56607f7c002Slewis-revill 
56707f7c002Slewis-revill     // If callee-saved registers are saved via libcall, place stack adjustment
56807f7c002Slewis-revill     // before this call.
56907f7c002Slewis-revill     while (MBBI != MBB.begin() &&
57007f7c002Slewis-revill            std::prev(MBBI)->getFlag(MachineInstr::FrameDestroy))
57107f7c002Slewis-revill       --MBBI;
572cd800f3bSlewis-revill   }
573cd800f3bSlewis-revill 
5745a31a673SHsiangkai Wang   const auto &CSI = getNonLibcallCSI(MF, MFI.getCalleeSavedInfo());
57507f7c002Slewis-revill 
576b014e3deSAlex Bradbury   // Skip to before the restores of callee-saved registers
577b014e3deSAlex Bradbury   // FIXME: assumes exactly one instruction is used to restore each
578b014e3deSAlex Bradbury   // callee-saved register.
57907f7c002Slewis-revill   auto LastFrameDestroy = MBBI;
58007f7c002Slewis-revill   if (!CSI.empty())
58107f7c002Slewis-revill     LastFrameDestroy = std::prev(MBBI, CSI.size());
582b014e3deSAlex Bradbury 
583ef76a333SRoger Ferrer Ibanez   uint64_t StackSize = MFI.getStackSize() + RVFI->getRVVPadding();
58407f7c002Slewis-revill   uint64_t RealStackSize = StackSize + RVFI->getLibCallStackSize();
58507f7c002Slewis-revill   uint64_t FPOffset = RealStackSize - RVFI->getVarArgsSaveSize();
5865a31a673SHsiangkai Wang   uint64_t RVVStackSize = RVFI->getRVVStackSize();
587b014e3deSAlex Bradbury 
588b014e3deSAlex Bradbury   // Restore the stack pointer using the value of the frame pointer. Only
589b014e3deSAlex Bradbury   // necessary if the stack pointer was modified, meaning the stack size is
590b014e3deSAlex Bradbury   // unknown.
591a9968c0aSTomas Matheson   if (RI->hasStackRealignment(MF) || MFI.hasVarSizedObjects()) {
5927d6aa1f7SAlex Bradbury     assert(hasFP(MF) && "frame pointer should not have been eliminated");
59304ddf39bSHsiangkai Wang     adjustReg(MBB, LastFrameDestroy, DL, SPReg, FPReg, -FPOffset,
594b014e3deSAlex Bradbury               MachineInstr::FrameDestroy);
5955a31a673SHsiangkai Wang   } else {
5965a31a673SHsiangkai Wang     if (RVVStackSize)
5974b2dd318SHsiangkai Wang       adjustStackForRVV(MF, MBB, LastFrameDestroy, DL, RVVStackSize,
5984b2dd318SHsiangkai Wang                         MachineInstr::FrameDestroy);
599b014e3deSAlex Bradbury   }
600b014e3deSAlex Bradbury 
601ff55e2e0SShiva Chen   uint64_t FirstSPAdjustAmount = getFirstSPAdjustAmount(MF);
602ff55e2e0SShiva Chen   if (FirstSPAdjustAmount) {
603ff55e2e0SShiva Chen     uint64_t SecondSPAdjustAmount = MFI.getStackSize() - FirstSPAdjustAmount;
604ff55e2e0SShiva Chen     assert(SecondSPAdjustAmount > 0 &&
605ff55e2e0SShiva Chen            "SecondSPAdjustAmount should be greater than zero");
606ff55e2e0SShiva Chen 
607ff55e2e0SShiva Chen     adjustReg(MBB, LastFrameDestroy, DL, SPReg, SPReg, SecondSPAdjustAmount,
608ff55e2e0SShiva Chen               MachineInstr::FrameDestroy);
60904ddf39bSHsiangkai Wang   }
61004ddf39bSHsiangkai Wang 
611ff55e2e0SShiva Chen   if (FirstSPAdjustAmount)
612ff55e2e0SShiva Chen     StackSize = FirstSPAdjustAmount;
613ff55e2e0SShiva Chen 
614b014e3deSAlex Bradbury   // Deallocate stack
615b014e3deSAlex Bradbury   adjustReg(MBB, MBBI, DL, SPReg, SPReg, StackSize, MachineInstr::FrameDestroy);
6161c466477SZhaoshi Zheng 
6171c466477SZhaoshi Zheng   // Emit epilogue for shadow call stack.
6181c466477SZhaoshi Zheng   emitSCSEpilogue(MF, MBB, MBBI, DL);
619b014e3deSAlex Bradbury }
620660bccecSAlex Bradbury 
621d57bba7cSSander de Smalen StackOffset
622d57bba7cSSander de Smalen RISCVFrameLowering::getFrameIndexReference(const MachineFunction &MF, int FI,
6232481f26aSMatt Arsenault                                            Register &FrameReg) const {
624660bccecSAlex Bradbury   const MachineFrameInfo &MFI = MF.getFrameInfo();
625660bccecSAlex Bradbury   const TargetRegisterInfo *RI = MF.getSubtarget().getRegisterInfo();
626c85be0deSAlex Bradbury   const auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
627660bccecSAlex Bradbury 
628660bccecSAlex Bradbury   // Callee-saved registers should be referenced relative to the stack
629660bccecSAlex Bradbury   // pointer (positive offset), otherwise use the frame pointer (negative
630660bccecSAlex Bradbury   // offset).
6315a31a673SHsiangkai Wang   const auto &CSI = getNonLibcallCSI(MF, MFI.getCalleeSavedInfo());
632660bccecSAlex Bradbury   int MinCSFI = 0;
633660bccecSAlex Bradbury   int MaxCSFI = -1;
6345a31a673SHsiangkai Wang   StackOffset Offset;
6355a31a673SHsiangkai Wang   auto StackID = MFI.getStackID(FI);
636660bccecSAlex Bradbury 
6375a31a673SHsiangkai Wang   assert((StackID == TargetStackID::Default ||
6385a31a673SHsiangkai Wang           StackID == TargetStackID::ScalableVector) &&
6395a31a673SHsiangkai Wang          "Unexpected stack ID for the frame object.");
6405a31a673SHsiangkai Wang   if (StackID == TargetStackID::Default) {
6415a31a673SHsiangkai Wang     Offset =
6425a31a673SHsiangkai Wang         StackOffset::getFixed(MFI.getObjectOffset(FI) - getOffsetOfLocalArea() +
6435a31a673SHsiangkai Wang                               MFI.getOffsetAdjustment());
6445a31a673SHsiangkai Wang   } else if (StackID == TargetStackID::ScalableVector) {
6455a31a673SHsiangkai Wang     Offset = StackOffset::getScalable(MFI.getObjectOffset(FI));
6465a31a673SHsiangkai Wang   }
647660bccecSAlex Bradbury 
648ff55e2e0SShiva Chen   uint64_t FirstSPAdjustAmount = getFirstSPAdjustAmount(MF);
649ff55e2e0SShiva Chen 
650660bccecSAlex Bradbury   if (CSI.size()) {
651660bccecSAlex Bradbury     MinCSFI = CSI[0].getFrameIdx();
652660bccecSAlex Bradbury     MaxCSFI = CSI[CSI.size() - 1].getFrameIdx();
653660bccecSAlex Bradbury   }
654660bccecSAlex Bradbury 
655660bccecSAlex Bradbury   if (FI >= MinCSFI && FI <= MaxCSFI) {
656660bccecSAlex Bradbury     FrameReg = RISCV::X2;
657ff55e2e0SShiva Chen 
658ff55e2e0SShiva Chen     if (FirstSPAdjustAmount)
6595a31a673SHsiangkai Wang       Offset += StackOffset::getFixed(FirstSPAdjustAmount);
660ff55e2e0SShiva Chen     else
661ef76a333SRoger Ferrer Ibanez       Offset +=
662ef76a333SRoger Ferrer Ibanez           StackOffset::getFixed(MFI.getStackSize() + RVFI->getRVVPadding());
663a9968c0aSTomas Matheson   } else if (RI->hasStackRealignment(MF) && !MFI.isFixedObjectIndex(FI)) {
664cd44aee3SSam Elliott     // If the stack was realigned, the frame pointer is set in order to allow
665cf6cf0cdSShiva Chen     // SP to be restored, so we need another base register to record the stack
666cf6cf0cdSShiva Chen     // after realignment.
6675a31a673SHsiangkai Wang     if (hasBP(MF)) {
668cf6cf0cdSShiva Chen       FrameReg = RISCVABI::getBPReg();
6695a31a673SHsiangkai Wang       // |--------------------------| -- <-- FP
670ef76a333SRoger Ferrer Ibanez       // | callee-saved registers   | | <----.
671a9b9c64fSluxufan       // |--------------------------| --     |
672a9b9c64fSluxufan       // | realignment (the size of | |      |
673a9b9c64fSluxufan       // | this area is not counted | |      |
674a9b9c64fSluxufan       // | in MFI.getStackSize())   | |      |
675ef76a333SRoger Ferrer Ibanez       // |--------------------------| --     |
676ef76a333SRoger Ferrer Ibanez       // | Padding after RVV        | |      |
677ef76a333SRoger Ferrer Ibanez       // | (not counted in          | |      |
678fcaa64d9SFraser Cormack       // | MFI.getStackSize())      | |      |
679a9b9c64fSluxufan       // |--------------------------| --     |-- MFI.getStackSize()
680a9b9c64fSluxufan       // | RVV objects              | |      |
681ef76a333SRoger Ferrer Ibanez       // | (not counted in          | |      |
682fcaa64d9SFraser Cormack       // | MFI.getStackSize())      | |      |
683a9b9c64fSluxufan       // |--------------------------| --     |
684ef76a333SRoger Ferrer Ibanez       // | Padding before RVV       | |      |
685ef76a333SRoger Ferrer Ibanez       // | (not counted in          | |      |
686fcaa64d9SFraser Cormack       // | MFI.getStackSize())      | |      |
687ef76a333SRoger Ferrer Ibanez       // |--------------------------| --     |
688ef76a333SRoger Ferrer Ibanez       // | scalar local variables   | | <----'
6895a31a673SHsiangkai Wang       // |--------------------------| -- <-- BP
6905a31a673SHsiangkai Wang       // | VarSize objects          | |
6915a31a673SHsiangkai Wang       // |--------------------------| -- <-- SP
6925a31a673SHsiangkai Wang     } else {
693cd44aee3SSam Elliott       FrameReg = RISCV::X2;
6945a31a673SHsiangkai Wang       // |--------------------------| -- <-- FP
695ef76a333SRoger Ferrer Ibanez       // | callee-saved registers   | | <----.
696a9b9c64fSluxufan       // |--------------------------| --     |
697a9b9c64fSluxufan       // | realignment (the size of | |      |
698a9b9c64fSluxufan       // | this area is not counted | |      |
699a9b9c64fSluxufan       // | in MFI.getStackSize())   | |      |
700ef76a333SRoger Ferrer Ibanez       // |--------------------------| --     |
701ef76a333SRoger Ferrer Ibanez       // | Padding after RVV        | |      |
702ef76a333SRoger Ferrer Ibanez       // | (not counted in          | |      |
703fcaa64d9SFraser Cormack       // | MFI.getStackSize())      | |      |
704a9b9c64fSluxufan       // |--------------------------| --     |-- MFI.getStackSize()
705a9b9c64fSluxufan       // | RVV objects              | |      |
706ef76a333SRoger Ferrer Ibanez       // | (not counted in          | |      |
707fcaa64d9SFraser Cormack       // | MFI.getStackSize())      | |      |
708a9b9c64fSluxufan       // |--------------------------| --     |
709ef76a333SRoger Ferrer Ibanez       // | Padding before RVV       | |      |
710ef76a333SRoger Ferrer Ibanez       // | (not counted in          | |      |
711fcaa64d9SFraser Cormack       // | MFI.getStackSize())      | |      |
712ef76a333SRoger Ferrer Ibanez       // |--------------------------| --     |
713ef76a333SRoger Ferrer Ibanez       // | scalar local variables   | | <----'
7145a31a673SHsiangkai Wang       // |--------------------------| -- <-- SP
7155a31a673SHsiangkai Wang     }
716ef76a333SRoger Ferrer Ibanez     // The total amount of padding surrounding RVV objects is described by
717ef76a333SRoger Ferrer Ibanez     // RVV->getRVVPadding() and it can be zero. It allows us to align the RVV
718ef76a333SRoger Ferrer Ibanez     // objects to 8 bytes.
7195a31a673SHsiangkai Wang     if (MFI.getStackID(FI) == TargetStackID::Default) {
7205a31a673SHsiangkai Wang       Offset += StackOffset::getFixed(MFI.getStackSize());
72107f7c002Slewis-revill       if (FI < 0)
7225a31a673SHsiangkai Wang         Offset += StackOffset::getFixed(RVFI->getLibCallStackSize());
723a9b9c64fSluxufan     } else if (MFI.getStackID(FI) == TargetStackID::ScalableVector) {
724ef76a333SRoger Ferrer Ibanez       Offset += StackOffset::get(
725ef76a333SRoger Ferrer Ibanez           alignTo(MFI.getStackSize() - RVFI->getCalleeSavedStackSize(), 8),
726a9b9c64fSluxufan           RVFI->getRVVStackSize());
7275a31a673SHsiangkai Wang     }
728c85be0deSAlex Bradbury   } else {
729c85be0deSAlex Bradbury     FrameReg = RI->getFrameRegister(MF);
73007f7c002Slewis-revill     if (hasFP(MF)) {
7315a31a673SHsiangkai Wang       Offset += StackOffset::getFixed(RVFI->getVarArgsSaveSize());
73207f7c002Slewis-revill       if (FI >= 0)
7335a31a673SHsiangkai Wang         Offset -= StackOffset::getFixed(RVFI->getLibCallStackSize());
7345a31a673SHsiangkai Wang       // When using FP to access scalable vector objects, we need to minus
7355a31a673SHsiangkai Wang       // the frame size.
7365a31a673SHsiangkai Wang       //
7375a31a673SHsiangkai Wang       // |--------------------------| -- <-- FP
7385a31a673SHsiangkai Wang       // | callee-saved registers   | |
7395a31a673SHsiangkai Wang       // |--------------------------| | MFI.getStackSize()
7405a31a673SHsiangkai Wang       // | scalar local variables   | |
7415a31a673SHsiangkai Wang       // |--------------------------| -- (Offset of RVV objects is from here.)
7425a31a673SHsiangkai Wang       // | RVV objects              |
7435a31a673SHsiangkai Wang       // |--------------------------|
7445a31a673SHsiangkai Wang       // | VarSize objects          |
7455a31a673SHsiangkai Wang       // |--------------------------| <-- SP
7465a31a673SHsiangkai Wang       if (MFI.getStackID(FI) == TargetStackID::ScalableVector)
7475a31a673SHsiangkai Wang         Offset -= StackOffset::getFixed(MFI.getStackSize());
74807f7c002Slewis-revill     } else {
7495a31a673SHsiangkai Wang       // When using SP to access frame objects, we need to add RVV stack size.
7505a31a673SHsiangkai Wang       //
7515a31a673SHsiangkai Wang       // |--------------------------| -- <-- FP
752ef76a333SRoger Ferrer Ibanez       // | callee-saved registers   | | <----.
753ef76a333SRoger Ferrer Ibanez       // |--------------------------| --     |
754ef76a333SRoger Ferrer Ibanez       // | Padding after RVV        | |      |
755ef76a333SRoger Ferrer Ibanez       // | (not counted in          | |      |
756fcaa64d9SFraser Cormack       // | MFI.getStackSize())      | |      |
757a9b9c64fSluxufan       // |--------------------------| --     |
758a9b9c64fSluxufan       // | RVV objects              | |      |-- MFI.getStackSize()
759ef76a333SRoger Ferrer Ibanez       // | (not counted in          | |      |
760fcaa64d9SFraser Cormack       // | MFI.getStackSize())      | |      |
761a9b9c64fSluxufan       // |--------------------------| --     |
762ef76a333SRoger Ferrer Ibanez       // | Padding before RVV       | |      |
763ef76a333SRoger Ferrer Ibanez       // | (not counted in          | |      |
764fcaa64d9SFraser Cormack       // | MFI.getStackSize())      | |      |
765ef76a333SRoger Ferrer Ibanez       // |--------------------------| --     |
766ef76a333SRoger Ferrer Ibanez       // | scalar local variables   | | <----'
7675a31a673SHsiangkai Wang       // |--------------------------| -- <-- SP
768ef76a333SRoger Ferrer Ibanez       //
769ef76a333SRoger Ferrer Ibanez       // The total amount of padding surrounding RVV objects is described by
770ef76a333SRoger Ferrer Ibanez       // RVV->getRVVPadding() and it can be zero. It allows us to align the RVV
771ef76a333SRoger Ferrer Ibanez       // objects to 8 bytes.
7725a31a673SHsiangkai Wang       if (MFI.getStackID(FI) == TargetStackID::Default) {
7735603ed60Sluxufan         if (MFI.isFixedObjectIndex(FI)) {
77452c60459SFraser Cormack           Offset +=
77552c60459SFraser Cormack               StackOffset::get(MFI.getStackSize() + RVFI->getRVVPadding() +
77652c60459SFraser Cormack                                    RVFI->getLibCallStackSize(),
77752c60459SFraser Cormack                                RVFI->getRVVStackSize());
7785603ed60Sluxufan         } else {
7795a31a673SHsiangkai Wang           Offset += StackOffset::getFixed(MFI.getStackSize());
7805603ed60Sluxufan         }
781a9b9c64fSluxufan       } else if (MFI.getStackID(FI) == TargetStackID::ScalableVector) {
782ef76a333SRoger Ferrer Ibanez         Offset += StackOffset::get(
783ef76a333SRoger Ferrer Ibanez             alignTo(MFI.getStackSize() - RVFI->getCalleeSavedStackSize(), 8),
784a9b9c64fSluxufan             RVFI->getRVVStackSize());
78507f7c002Slewis-revill       }
786660bccecSAlex Bradbury     }
7875a31a673SHsiangkai Wang   }
7885a31a673SHsiangkai Wang 
7895a31a673SHsiangkai Wang   return Offset;
790660bccecSAlex Bradbury }
791b014e3deSAlex Bradbury 
792b014e3deSAlex Bradbury void RISCVFrameLowering::determineCalleeSaves(MachineFunction &MF,
793b014e3deSAlex Bradbury                                               BitVector &SavedRegs,
794b014e3deSAlex Bradbury                                               RegScavenger *RS) const {
795b014e3deSAlex Bradbury   TargetFrameLowering::determineCalleeSaves(MF, SavedRegs, RS);
7967d6aa1f7SAlex Bradbury   // Unconditionally spill RA and FP only if the function uses a frame
7977d6aa1f7SAlex Bradbury   // pointer.
7987d6aa1f7SAlex Bradbury   if (hasFP(MF)) {
799b014e3deSAlex Bradbury     SavedRegs.set(RISCV::X1);
800b014e3deSAlex Bradbury     SavedRegs.set(RISCV::X8);
801b014e3deSAlex Bradbury   }
802cf6cf0cdSShiva Chen   // Mark BP as used if function has dedicated base pointer.
803cf6cf0cdSShiva Chen   if (hasBP(MF))
804cf6cf0cdSShiva Chen     SavedRegs.set(RISCVABI::getBPReg());
8052e4106b7SAna Pazos 
8062e4106b7SAna Pazos   // If interrupt is enabled and there are calls in the handler,
8072e4106b7SAna Pazos   // unconditionally save all Caller-saved registers and
8082e4106b7SAna Pazos   // all FP registers, regardless whether they are used.
8092e4106b7SAna Pazos   MachineFrameInfo &MFI = MF.getFrameInfo();
8102e4106b7SAna Pazos 
8112e4106b7SAna Pazos   if (MF.getFunction().hasFnAttribute("interrupt") && MFI.hasCalls()) {
8122e4106b7SAna Pazos 
8132e4106b7SAna Pazos     static const MCPhysReg CSRegs[] = { RISCV::X1,      /* ra */
8142e4106b7SAna Pazos       RISCV::X5, RISCV::X6, RISCV::X7,                  /* t0-t2 */
8152e4106b7SAna Pazos       RISCV::X10, RISCV::X11,                           /* a0-a1, a2-a7 */
8162e4106b7SAna Pazos       RISCV::X12, RISCV::X13, RISCV::X14, RISCV::X15, RISCV::X16, RISCV::X17,
8172e4106b7SAna Pazos       RISCV::X28, RISCV::X29, RISCV::X30, RISCV::X31, 0 /* t3-t6 */
8182e4106b7SAna Pazos     };
8192e4106b7SAna Pazos 
8202e4106b7SAna Pazos     for (unsigned i = 0; CSRegs[i]; ++i)
8212e4106b7SAna Pazos       SavedRegs.set(CSRegs[i]);
8222e4106b7SAna Pazos 
823f7bc7c29SHsiangkai Wang     if (MF.getSubtarget<RISCVSubtarget>().hasStdExtF()) {
8242e4106b7SAna Pazos 
8252e4106b7SAna Pazos       // If interrupt is enabled, this list contains all FP registers.
8262e4106b7SAna Pazos       const MCPhysReg * Regs = MF.getRegInfo().getCalleeSavedRegs();
8272e4106b7SAna Pazos 
8282e4106b7SAna Pazos       for (unsigned i = 0; Regs[i]; ++i)
829f7bc7c29SHsiangkai Wang         if (RISCV::FPR16RegClass.contains(Regs[i]) ||
830f7bc7c29SHsiangkai Wang             RISCV::FPR32RegClass.contains(Regs[i]) ||
8312e4106b7SAna Pazos             RISCV::FPR64RegClass.contains(Regs[i]))
8322e4106b7SAna Pazos           SavedRegs.set(Regs[i]);
8332e4106b7SAna Pazos     }
8342e4106b7SAna Pazos   }
8357d6aa1f7SAlex Bradbury }
8360715d35eSAlex Bradbury 
8375a31a673SHsiangkai Wang int64_t
8385a31a673SHsiangkai Wang RISCVFrameLowering::assignRVVStackObjectOffsets(MachineFrameInfo &MFI) const {
8395a31a673SHsiangkai Wang   int64_t Offset = 0;
8405a31a673SHsiangkai Wang   // Create a buffer of RVV objects to allocate.
8415a31a673SHsiangkai Wang   SmallVector<int, 8> ObjectsToAllocate;
8425a31a673SHsiangkai Wang   for (int I = 0, E = MFI.getObjectIndexEnd(); I != E; ++I) {
8435a31a673SHsiangkai Wang     unsigned StackID = MFI.getStackID(I);
8445a31a673SHsiangkai Wang     if (StackID != TargetStackID::ScalableVector)
8455a31a673SHsiangkai Wang       continue;
8465a31a673SHsiangkai Wang     if (MFI.isDeadObjectIndex(I))
8475a31a673SHsiangkai Wang       continue;
8485a31a673SHsiangkai Wang 
8495a31a673SHsiangkai Wang     ObjectsToAllocate.push_back(I);
8505a31a673SHsiangkai Wang   }
8515a31a673SHsiangkai Wang 
8525a31a673SHsiangkai Wang   // Allocate all RVV locals and spills
8535a31a673SHsiangkai Wang   for (int FI : ObjectsToAllocate) {
8545a31a673SHsiangkai Wang     // ObjectSize in bytes.
8555a31a673SHsiangkai Wang     int64_t ObjectSize = MFI.getObjectSize(FI);
8565a31a673SHsiangkai Wang     // If the data type is the fractional vector type, reserve one vector
8575a31a673SHsiangkai Wang     // register for it.
8585a31a673SHsiangkai Wang     if (ObjectSize < 8)
8595a31a673SHsiangkai Wang       ObjectSize = 8;
8605a31a673SHsiangkai Wang     // Currently, all scalable vector types are aligned to 8 bytes.
8615a31a673SHsiangkai Wang     Offset = alignTo(Offset + ObjectSize, 8);
8625a31a673SHsiangkai Wang     MFI.setObjectOffset(FI, -Offset);
8635a31a673SHsiangkai Wang   }
8645a31a673SHsiangkai Wang 
8655a31a673SHsiangkai Wang   return Offset;
8665a31a673SHsiangkai Wang }
8675a31a673SHsiangkai Wang 
8688790e852SFraser Cormack static bool hasRVVSpillWithFIs(MachineFunction &MF, const RISCVInstrInfo &TII) {
8698790e852SFraser Cormack   if (!MF.getSubtarget<RISCVSubtarget>().hasStdExtV())
8708790e852SFraser Cormack     return false;
8718790e852SFraser Cormack   return any_of(MF, [&TII](const MachineBasicBlock &MBB) {
8728790e852SFraser Cormack     return any_of(MBB, [&TII](const MachineInstr &MI) {
8738790e852SFraser Cormack       return TII.isRVVSpill(MI, /*CheckFIs*/ true);
8748790e852SFraser Cormack     });
8758790e852SFraser Cormack   });
8768790e852SFraser Cormack }
8778790e852SFraser Cormack 
8780715d35eSAlex Bradbury void RISCVFrameLowering::processFunctionBeforeFrameFinalized(
8790715d35eSAlex Bradbury     MachineFunction &MF, RegScavenger *RS) const {
8808790e852SFraser Cormack   const RISCVRegisterInfo *RegInfo =
8818790e852SFraser Cormack       MF.getSubtarget<RISCVSubtarget>().getRegisterInfo();
8820715d35eSAlex Bradbury   MachineFrameInfo &MFI = MF.getFrameInfo();
8830715d35eSAlex Bradbury   const TargetRegisterClass *RC = &RISCV::GPRRegClass;
884a9b9c64fSluxufan   auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
885a9b9c64fSluxufan 
886a9b9c64fSluxufan   int64_t RVVStackSize = assignRVVStackObjectOffsets(MFI);
887a9b9c64fSluxufan   RVFI->setRVVStackSize(RVVStackSize);
8888790e852SFraser Cormack   const RISCVInstrInfo &TII = *MF.getSubtarget<RISCVSubtarget>().getInstrInfo();
889a9b9c64fSluxufan 
8900715d35eSAlex Bradbury   // estimateStackSize has been observed to under-estimate the final stack
8910715d35eSAlex Bradbury   // size, so give ourselves wiggle-room by checking for stack size
8920715d35eSAlex Bradbury   // representable an 11-bit signed field rather than 12-bits.
8930715d35eSAlex Bradbury   // FIXME: It may be possible to craft a function with a small stack that
8940715d35eSAlex Bradbury   // still needs an emergency spill slot for branch relaxation. This case
8950715d35eSAlex Bradbury   // would currently be missed.
8968790e852SFraser Cormack   // RVV loads & stores have no capacity to hold the immediate address offsets
8978790e852SFraser Cormack   // so we must always reserve an emergency spill slot if the MachineFunction
8988790e852SFraser Cormack   // contains any RVV spills.
8998790e852SFraser Cormack   if (!isInt<11>(MFI.estimateStackSize(MF)) || hasRVVSpillWithFIs(MF, TII)) {
90028de229bSGuillaume Chatelet     int RegScavFI = MFI.CreateStackObject(RegInfo->getSpillSize(*RC),
90128de229bSGuillaume Chatelet                                           RegInfo->getSpillAlign(*RC), false);
9020715d35eSAlex Bradbury     RS->addScavengingFrameIndex(RegScavFI);
903b4a358a7SFraser Cormack     // For RVV, scalable stack offsets require up to two scratch registers to
904b4a358a7SFraser Cormack     // compute the final offset. Reserve an additional emergency spill slot.
905b4a358a7SFraser Cormack     if (RVVStackSize != 0) {
906b4a358a7SFraser Cormack       int RVVRegScavFI = MFI.CreateStackObject(
907b4a358a7SFraser Cormack           RegInfo->getSpillSize(*RC), RegInfo->getSpillAlign(*RC), false);
908b4a358a7SFraser Cormack       RS->addScavengingFrameIndex(RVVRegScavFI);
909b4a358a7SFraser Cormack     }
9100715d35eSAlex Bradbury   }
9115a31a673SHsiangkai Wang 
912a9b9c64fSluxufan   if (MFI.getCalleeSavedInfo().empty() || RVFI->useSaveRestoreLibCalls(MF)) {
913a9b9c64fSluxufan     RVFI->setCalleeSavedStackSize(0);
914a9b9c64fSluxufan     return;
915a9b9c64fSluxufan   }
916a9b9c64fSluxufan 
917ef76a333SRoger Ferrer Ibanez   unsigned Size = 0;
918a9b9c64fSluxufan   for (const auto &Info : MFI.getCalleeSavedInfo()) {
919a9b9c64fSluxufan     int FrameIdx = Info.getFrameIdx();
920a9b9c64fSluxufan     if (MFI.getStackID(FrameIdx) != TargetStackID::Default)
921a9b9c64fSluxufan       continue;
922a9b9c64fSluxufan 
923ef76a333SRoger Ferrer Ibanez     Size += MFI.getObjectSize(FrameIdx);
924a9b9c64fSluxufan   }
925a9b9c64fSluxufan   RVFI->setCalleeSavedStackSize(Size);
926ef76a333SRoger Ferrer Ibanez 
927ef76a333SRoger Ferrer Ibanez   // Padding required to keep the RVV stack aligned to 8 bytes
928ef76a333SRoger Ferrer Ibanez   // within the main stack. We only need this when not using FP.
929ef76a333SRoger Ferrer Ibanez   if (RVVStackSize && !hasFP(MF) && Size % 8 != 0) {
930ef76a333SRoger Ferrer Ibanez     // Because we add the padding to the size of the stack, adding
931ef76a333SRoger Ferrer Ibanez     // getStackAlign() will keep it aligned.
932ef76a333SRoger Ferrer Ibanez     RVFI->setRVVPadding(getStackAlign().value());
933ef76a333SRoger Ferrer Ibanez   }
9340715d35eSAlex Bradbury }
935cbd498acSShiva Chen 
936643b6407SHsiangkai Wang static bool hasRVVFrameObject(const MachineFunction &MF) {
937643b6407SHsiangkai Wang   const MachineFrameInfo &MFI = MF.getFrameInfo();
938643b6407SHsiangkai Wang   for (int I = 0, E = MFI.getObjectIndexEnd(); I != E; ++I)
939643b6407SHsiangkai Wang     if (MFI.getStackID(I) == TargetStackID::ScalableVector)
940643b6407SHsiangkai Wang       return true;
941643b6407SHsiangkai Wang   return false;
942643b6407SHsiangkai Wang }
943643b6407SHsiangkai Wang 
944cbd498acSShiva Chen // Not preserve stack space within prologue for outgoing variables when the
945643b6407SHsiangkai Wang // function contains variable size objects or there are vector objects accessed
946643b6407SHsiangkai Wang // by the frame pointer.
947643b6407SHsiangkai Wang // Let eliminateCallFramePseudoInstr preserve stack space for it.
948cbd498acSShiva Chen bool RISCVFrameLowering::hasReservedCallFrame(const MachineFunction &MF) const {
949643b6407SHsiangkai Wang   return !MF.getFrameInfo().hasVarSizedObjects() &&
950643b6407SHsiangkai Wang          !(hasFP(MF) && hasRVVFrameObject(MF));
951cbd498acSShiva Chen }
952cbd498acSShiva Chen 
953cbd498acSShiva Chen // Eliminate ADJCALLSTACKDOWN, ADJCALLSTACKUP pseudo instructions.
954cbd498acSShiva Chen MachineBasicBlock::iterator RISCVFrameLowering::eliminateCallFramePseudoInstr(
955cbd498acSShiva Chen     MachineFunction &MF, MachineBasicBlock &MBB,
956cbd498acSShiva Chen     MachineBasicBlock::iterator MI) const {
957fa06e958SLuis Marques   Register SPReg = RISCV::X2;
958cbd498acSShiva Chen   DebugLoc DL = MI->getDebugLoc();
959cbd498acSShiva Chen 
960cbd498acSShiva Chen   if (!hasReservedCallFrame(MF)) {
961cbd498acSShiva Chen     // If space has not been reserved for a call frame, ADJCALLSTACKDOWN and
962cbd498acSShiva Chen     // ADJCALLSTACKUP must be converted to instructions manipulating the stack
963cbd498acSShiva Chen     // pointer. This is necessary when there is a variable length stack
964cbd498acSShiva Chen     // allocation (e.g. alloca), which means it's not possible to allocate
965cbd498acSShiva Chen     // space for outgoing arguments from within the function prologue.
966cbd498acSShiva Chen     int64_t Amount = MI->getOperand(0).getImm();
967cbd498acSShiva Chen 
968cbd498acSShiva Chen     if (Amount != 0) {
969cbd498acSShiva Chen       // Ensure the stack remains aligned after adjustment.
970cbd498acSShiva Chen       Amount = alignSPAdjust(Amount);
971cbd498acSShiva Chen 
972cbd498acSShiva Chen       if (MI->getOpcode() == RISCV::ADJCALLSTACKDOWN)
973cbd498acSShiva Chen         Amount = -Amount;
974cbd498acSShiva Chen 
975cbd498acSShiva Chen       adjustReg(MBB, MI, DL, SPReg, SPReg, Amount, MachineInstr::NoFlags);
976cbd498acSShiva Chen     }
977cbd498acSShiva Chen   }
978cbd498acSShiva Chen 
979cbd498acSShiva Chen   return MBB.erase(MI);
980cbd498acSShiva Chen }
981ff55e2e0SShiva Chen 
982ff55e2e0SShiva Chen // We would like to split the SP adjustment to reduce prologue/epilogue
983ff55e2e0SShiva Chen // as following instructions. In this way, the offset of the callee saved
984ff55e2e0SShiva Chen // register could fit in a single store.
985ff55e2e0SShiva Chen //   add     sp,sp,-2032
986ff55e2e0SShiva Chen //   sw      ra,2028(sp)
987ff55e2e0SShiva Chen //   sw      s0,2024(sp)
988ff55e2e0SShiva Chen //   sw      s1,2020(sp)
989ff55e2e0SShiva Chen //   sw      s3,2012(sp)
990ff55e2e0SShiva Chen //   sw      s4,2008(sp)
991ff55e2e0SShiva Chen //   add     sp,sp,-64
992ff55e2e0SShiva Chen uint64_t
993ff55e2e0SShiva Chen RISCVFrameLowering::getFirstSPAdjustAmount(const MachineFunction &MF) const {
99407f7c002Slewis-revill   const auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
995ff55e2e0SShiva Chen   const MachineFrameInfo &MFI = MF.getFrameInfo();
996ff55e2e0SShiva Chen   const std::vector<CalleeSavedInfo> &CSI = MFI.getCalleeSavedInfo();
997ff55e2e0SShiva Chen   uint64_t StackSize = MFI.getStackSize();
998ff55e2e0SShiva Chen 
99907f7c002Slewis-revill   // Disable SplitSPAdjust if save-restore libcall used. The callee saved
100007f7c002Slewis-revill   // registers will be pushed by the save-restore libcalls, so we don't have to
100107f7c002Slewis-revill   // split the SP adjustment in this case.
100207f7c002Slewis-revill   if (RVFI->getLibCallStackSize())
100307f7c002Slewis-revill     return 0;
100407f7c002Slewis-revill 
1005ff55e2e0SShiva Chen   // Return the FirstSPAdjustAmount if the StackSize can not fit in signed
1006ff55e2e0SShiva Chen   // 12-bit and there exists a callee saved register need to be pushed.
1007ff55e2e0SShiva Chen   if (!isInt<12>(StackSize) && (CSI.size() > 0)) {
1008ff55e2e0SShiva Chen     // FirstSPAdjustAmount is choosed as (2048 - StackAlign)
1009ff55e2e0SShiva Chen     // because 2048 will cause sp = sp + 2048 in epilogue split into
1010ff55e2e0SShiva Chen     // multi-instructions. The offset smaller than 2048 can fit in signle
1011ff55e2e0SShiva Chen     // load/store instruction and we have to stick with the stack alignment.
1012ff55e2e0SShiva Chen     // 2048 is 16-byte alignment. The stack alignment for RV32 and RV64 is 16,
1013ff55e2e0SShiva Chen     // for RV32E is 4. So (2048 - StackAlign) will satisfy the stack alignment.
10143ba550a0SGuillaume Chatelet     return 2048 - getStackAlign().value();
1015ff55e2e0SShiva Chen   }
1016ff55e2e0SShiva Chen   return 0;
1017ff55e2e0SShiva Chen }
101807f7c002Slewis-revill 
101907f7c002Slewis-revill bool RISCVFrameLowering::spillCalleeSavedRegisters(
102007f7c002Slewis-revill     MachineBasicBlock &MBB, MachineBasicBlock::iterator MI,
102107f7c002Slewis-revill     ArrayRef<CalleeSavedInfo> CSI, const TargetRegisterInfo *TRI) const {
102207f7c002Slewis-revill   if (CSI.empty())
102307f7c002Slewis-revill     return true;
102407f7c002Slewis-revill 
102507f7c002Slewis-revill   MachineFunction *MF = MBB.getParent();
102607f7c002Slewis-revill   const TargetInstrInfo &TII = *MF->getSubtarget().getInstrInfo();
102707f7c002Slewis-revill   DebugLoc DL;
102807f7c002Slewis-revill   if (MI != MBB.end() && !MI->isDebugInstr())
102907f7c002Slewis-revill     DL = MI->getDebugLoc();
103007f7c002Slewis-revill 
103107f7c002Slewis-revill   const char *SpillLibCall = getSpillLibCallName(*MF, CSI);
103207f7c002Slewis-revill   if (SpillLibCall) {
103307f7c002Slewis-revill     // Add spill libcall via non-callee-saved register t0.
103407f7c002Slewis-revill     BuildMI(MBB, MI, DL, TII.get(RISCV::PseudoCALLReg), RISCV::X5)
103507f7c002Slewis-revill         .addExternalSymbol(SpillLibCall, RISCVII::MO_CALL)
103607f7c002Slewis-revill         .setMIFlag(MachineInstr::FrameSetup);
103707f7c002Slewis-revill 
103807f7c002Slewis-revill     // Add registers spilled in libcall as liveins.
103907f7c002Slewis-revill     for (auto &CS : CSI)
104007f7c002Slewis-revill       MBB.addLiveIn(CS.getReg());
104107f7c002Slewis-revill   }
104207f7c002Slewis-revill 
104307f7c002Slewis-revill   // Manually spill values not spilled by libcall.
10445a31a673SHsiangkai Wang   const auto &NonLibcallCSI = getNonLibcallCSI(*MF, CSI);
104507f7c002Slewis-revill   for (auto &CS : NonLibcallCSI) {
104607f7c002Slewis-revill     // Insert the spill to the stack frame.
104707f7c002Slewis-revill     Register Reg = CS.getReg();
104807f7c002Slewis-revill     const TargetRegisterClass *RC = TRI->getMinimalPhysRegClass(Reg);
104907f7c002Slewis-revill     TII.storeRegToStackSlot(MBB, MI, Reg, true, CS.getFrameIdx(), RC, TRI);
105007f7c002Slewis-revill   }
105107f7c002Slewis-revill 
105207f7c002Slewis-revill   return true;
105307f7c002Slewis-revill }
105407f7c002Slewis-revill 
105507f7c002Slewis-revill bool RISCVFrameLowering::restoreCalleeSavedRegisters(
105607f7c002Slewis-revill     MachineBasicBlock &MBB, MachineBasicBlock::iterator MI,
1057186dd631SBenjamin Kramer     MutableArrayRef<CalleeSavedInfo> CSI, const TargetRegisterInfo *TRI) const {
105807f7c002Slewis-revill   if (CSI.empty())
105907f7c002Slewis-revill     return true;
106007f7c002Slewis-revill 
106107f7c002Slewis-revill   MachineFunction *MF = MBB.getParent();
106207f7c002Slewis-revill   const TargetInstrInfo &TII = *MF->getSubtarget().getInstrInfo();
106307f7c002Slewis-revill   DebugLoc DL;
106407f7c002Slewis-revill   if (MI != MBB.end() && !MI->isDebugInstr())
106507f7c002Slewis-revill     DL = MI->getDebugLoc();
106607f7c002Slewis-revill 
106707f7c002Slewis-revill   // Manually restore values not restored by libcall. Insert in reverse order.
106807f7c002Slewis-revill   // loadRegFromStackSlot can insert multiple instructions.
10695a31a673SHsiangkai Wang   const auto &NonLibcallCSI = getNonLibcallCSI(*MF, CSI);
107007f7c002Slewis-revill   for (auto &CS : reverse(NonLibcallCSI)) {
107107f7c002Slewis-revill     Register Reg = CS.getReg();
107207f7c002Slewis-revill     const TargetRegisterClass *RC = TRI->getMinimalPhysRegClass(Reg);
107307f7c002Slewis-revill     TII.loadRegFromStackSlot(MBB, MI, Reg, CS.getFrameIdx(), RC, TRI);
107407f7c002Slewis-revill     assert(MI != MBB.begin() && "loadRegFromStackSlot didn't insert any code!");
107507f7c002Slewis-revill   }
107607f7c002Slewis-revill 
107707f7c002Slewis-revill   const char *RestoreLibCall = getRestoreLibCallName(*MF, CSI);
107807f7c002Slewis-revill   if (RestoreLibCall) {
107907f7c002Slewis-revill     // Add restore libcall via tail call.
108007f7c002Slewis-revill     MachineBasicBlock::iterator NewMI =
108107f7c002Slewis-revill         BuildMI(MBB, MI, DL, TII.get(RISCV::PseudoTAIL))
108207f7c002Slewis-revill             .addExternalSymbol(RestoreLibCall, RISCVII::MO_CALL)
108307f7c002Slewis-revill             .setMIFlag(MachineInstr::FrameDestroy);
108407f7c002Slewis-revill 
108507f7c002Slewis-revill     // Remove trailing returns, since the terminator is now a tail call to the
108607f7c002Slewis-revill     // restore function.
108707f7c002Slewis-revill     if (MI != MBB.end() && MI->getOpcode() == RISCV::PseudoRET) {
108807f7c002Slewis-revill       NewMI->copyImplicitOps(*MF, *MI);
108907f7c002Slewis-revill       MI->eraseFromParent();
109007f7c002Slewis-revill     }
109107f7c002Slewis-revill   }
109207f7c002Slewis-revill 
109307f7c002Slewis-revill   return true;
109407f7c002Slewis-revill }
109507f7c002Slewis-revill 
10965ebdb07eSEvandro Menezes bool RISCVFrameLowering::enableShrinkWrapping(const MachineFunction &MF) const {
10975ebdb07eSEvandro Menezes   // Keep the conventional code flow when not optimizing.
10985ebdb07eSEvandro Menezes   if (MF.getFunction().hasOptNone())
10995ebdb07eSEvandro Menezes     return false;
11005ebdb07eSEvandro Menezes 
11015ebdb07eSEvandro Menezes   return true;
11025ebdb07eSEvandro Menezes }
11035ebdb07eSEvandro Menezes 
110407f7c002Slewis-revill bool RISCVFrameLowering::canUseAsPrologue(const MachineBasicBlock &MBB) const {
110507f7c002Slewis-revill   MachineBasicBlock *TmpMBB = const_cast<MachineBasicBlock *>(&MBB);
110608649f0aSMatt Arsenault   const MachineFunction *MF = MBB.getParent();
110708649f0aSMatt Arsenault   const auto *RVFI = MF->getInfo<RISCVMachineFunctionInfo>();
110807f7c002Slewis-revill 
110908649f0aSMatt Arsenault   if (!RVFI->useSaveRestoreLibCalls(*MF))
111007f7c002Slewis-revill     return true;
111107f7c002Slewis-revill 
111207f7c002Slewis-revill   // Inserting a call to a __riscv_save libcall requires the use of the register
111307f7c002Slewis-revill   // t0 (X5) to hold the return address. Therefore if this register is already
111407f7c002Slewis-revill   // used we can't insert the call.
111507f7c002Slewis-revill 
111607f7c002Slewis-revill   RegScavenger RS;
111707f7c002Slewis-revill   RS.enterBasicBlock(*TmpMBB);
111807f7c002Slewis-revill   return !RS.isRegUsed(RISCV::X5);
111907f7c002Slewis-revill }
112007f7c002Slewis-revill 
112107f7c002Slewis-revill bool RISCVFrameLowering::canUseAsEpilogue(const MachineBasicBlock &MBB) const {
112208649f0aSMatt Arsenault   const MachineFunction *MF = MBB.getParent();
112307f7c002Slewis-revill   MachineBasicBlock *TmpMBB = const_cast<MachineBasicBlock *>(&MBB);
112408649f0aSMatt Arsenault   const auto *RVFI = MF->getInfo<RISCVMachineFunctionInfo>();
112507f7c002Slewis-revill 
112608649f0aSMatt Arsenault   if (!RVFI->useSaveRestoreLibCalls(*MF))
112707f7c002Slewis-revill     return true;
112807f7c002Slewis-revill 
112907f7c002Slewis-revill   // Using the __riscv_restore libcalls to restore CSRs requires a tail call.
113007f7c002Slewis-revill   // This means if we still need to continue executing code within this function
113107f7c002Slewis-revill   // the restore cannot take place in this basic block.
113207f7c002Slewis-revill 
113307f7c002Slewis-revill   if (MBB.succ_size() > 1)
113407f7c002Slewis-revill     return false;
113507f7c002Slewis-revill 
113607f7c002Slewis-revill   MachineBasicBlock *SuccMBB =
113707f7c002Slewis-revill       MBB.succ_empty() ? TmpMBB->getFallThrough() : *MBB.succ_begin();
113807f7c002Slewis-revill 
113907f7c002Slewis-revill   // Doing a tail call should be safe if there are no successors, because either
114007f7c002Slewis-revill   // we have a returning block or the end of the block is unreachable, so the
114107f7c002Slewis-revill   // restore will be eliminated regardless.
114207f7c002Slewis-revill   if (!SuccMBB)
114307f7c002Slewis-revill     return true;
114407f7c002Slewis-revill 
114507f7c002Slewis-revill   // The successor can only contain a return, since we would effectively be
114607f7c002Slewis-revill   // replacing the successor with our own tail return at the end of our block.
114707f7c002Slewis-revill   return SuccMBB->isReturnBlock() && SuccMBB->size() == 1;
114807f7c002Slewis-revill }
11495a31a673SHsiangkai Wang 
11505a31a673SHsiangkai Wang bool RISCVFrameLowering::isSupportedStackID(TargetStackID::Value ID) const {
11515a31a673SHsiangkai Wang   switch (ID) {
11525a31a673SHsiangkai Wang   case TargetStackID::Default:
11535a31a673SHsiangkai Wang   case TargetStackID::ScalableVector:
11545a31a673SHsiangkai Wang     return true;
11555a31a673SHsiangkai Wang   case TargetStackID::NoAlloc:
11565a31a673SHsiangkai Wang   case TargetStackID::SGPRSpill:
115782f92e35SAndy Wingo   case TargetStackID::WasmLocal:
11585a31a673SHsiangkai Wang     return false;
11595a31a673SHsiangkai Wang   }
11605a31a673SHsiangkai Wang   llvm_unreachable("Invalid TargetStackID::Value");
11615a31a673SHsiangkai Wang }
11625a31a673SHsiangkai Wang 
11635a31a673SHsiangkai Wang TargetStackID::Value RISCVFrameLowering::getStackIDForScalableVectors() const {
11645a31a673SHsiangkai Wang   return TargetStackID::ScalableVector;
11655a31a673SHsiangkai Wang }
1166