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)
701c466477SZhaoshi Zheng       .addImm(0);
711c466477SZhaoshi Zheng   BuildMI(MBB, MI, DL, TII->get(RISCV::ADDI))
721c466477SZhaoshi Zheng       .addReg(SCSPReg, RegState::Define)
731c466477SZhaoshi Zheng       .addReg(SCSPReg)
741c466477SZhaoshi Zheng       .addImm(SlotSize);
751c466477SZhaoshi Zheng }
761c466477SZhaoshi Zheng 
771c466477SZhaoshi Zheng static void emitSCSEpilogue(MachineFunction &MF, MachineBasicBlock &MBB,
781c466477SZhaoshi Zheng                             MachineBasicBlock::iterator MI,
791c466477SZhaoshi Zheng                             const DebugLoc &DL) {
801c466477SZhaoshi Zheng   if (!MF.getFunction().hasFnAttribute(Attribute::ShadowCallStack))
811c466477SZhaoshi Zheng     return;
821c466477SZhaoshi Zheng 
831c466477SZhaoshi Zheng   const auto &STI = MF.getSubtarget<RISCVSubtarget>();
841c466477SZhaoshi Zheng   Register RAReg = STI.getRegisterInfo()->getRARegister();
851c466477SZhaoshi Zheng 
861c466477SZhaoshi Zheng   // See emitSCSPrologue() above.
871c466477SZhaoshi Zheng   std::vector<CalleeSavedInfo> &CSI = MF.getFrameInfo().getCalleeSavedInfo();
881c466477SZhaoshi Zheng   if (std::none_of(CSI.begin(), CSI.end(),
891c466477SZhaoshi Zheng                    [&](CalleeSavedInfo &CSR) { return CSR.getReg() == RAReg; }))
901c466477SZhaoshi Zheng     return;
911c466477SZhaoshi Zheng 
921c466477SZhaoshi Zheng   Register SCSPReg = RISCVABI::getSCSPReg();
931c466477SZhaoshi Zheng 
941c466477SZhaoshi Zheng   auto &Ctx = MF.getFunction().getContext();
951c466477SZhaoshi Zheng   if (!STI.isRegisterReservedByUser(SCSPReg)) {
961c466477SZhaoshi Zheng     Ctx.diagnose(DiagnosticInfoUnsupported{
971c466477SZhaoshi Zheng         MF.getFunction(), "x18 not reserved by user for Shadow Call Stack."});
981c466477SZhaoshi Zheng     return;
991c466477SZhaoshi Zheng   }
1001c466477SZhaoshi Zheng 
1011c466477SZhaoshi Zheng   const auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
1021c466477SZhaoshi Zheng   if (RVFI->useSaveRestoreLibCalls(MF)) {
1031c466477SZhaoshi Zheng     Ctx.diagnose(DiagnosticInfoUnsupported{
1041c466477SZhaoshi Zheng         MF.getFunction(),
1051c466477SZhaoshi Zheng         "Shadow Call Stack cannot be combined with Save/Restore LibCalls."});
1061c466477SZhaoshi Zheng     return;
1071c466477SZhaoshi Zheng   }
1081c466477SZhaoshi Zheng 
1091c466477SZhaoshi Zheng   const RISCVInstrInfo *TII = STI.getInstrInfo();
1101c466477SZhaoshi Zheng   bool IsRV64 = STI.hasFeature(RISCV::Feature64Bit);
1111c466477SZhaoshi Zheng   int64_t SlotSize = STI.getXLen() / 8;
1121c466477SZhaoshi Zheng   // Load return address from shadow call stack
1131c466477SZhaoshi Zheng   // l[w|d]  ra, -[4|8](s2)
1141c466477SZhaoshi Zheng   // addi    s2, s2, -[4|8]
1151c466477SZhaoshi Zheng   BuildMI(MBB, MI, DL, TII->get(IsRV64 ? RISCV::LD : RISCV::LW))
1161c466477SZhaoshi Zheng       .addReg(RAReg, RegState::Define)
1171c466477SZhaoshi Zheng       .addReg(SCSPReg)
1181c466477SZhaoshi Zheng       .addImm(-SlotSize);
1191c466477SZhaoshi Zheng   BuildMI(MBB, MI, DL, TII->get(RISCV::ADDI))
1201c466477SZhaoshi Zheng       .addReg(SCSPReg, RegState::Define)
1211c466477SZhaoshi Zheng       .addReg(SCSPReg)
1221c466477SZhaoshi Zheng       .addImm(-SlotSize);
1231c466477SZhaoshi Zheng }
1241c466477SZhaoshi Zheng 
12507f7c002Slewis-revill // Get the ID of the libcall used for spilling and restoring callee saved
12607f7c002Slewis-revill // registers. The ID is representative of the number of registers saved or
12707f7c002Slewis-revill // restored by the libcall, except it is zero-indexed - ID 0 corresponds to a
12807f7c002Slewis-revill // single register.
12907f7c002Slewis-revill static int getLibCallID(const MachineFunction &MF,
13007f7c002Slewis-revill                         const std::vector<CalleeSavedInfo> &CSI) {
13107f7c002Slewis-revill   const auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
13207f7c002Slewis-revill 
13308649f0aSMatt Arsenault   if (CSI.empty() || !RVFI->useSaveRestoreLibCalls(MF))
13407f7c002Slewis-revill     return -1;
13507f7c002Slewis-revill 
13607f7c002Slewis-revill   Register MaxReg = RISCV::NoRegister;
13707f7c002Slewis-revill   for (auto &CS : CSI)
13807f7c002Slewis-revill     // RISCVRegisterInfo::hasReservedSpillSlot assigns negative frame indexes to
13907f7c002Slewis-revill     // registers which can be saved by libcall.
14007f7c002Slewis-revill     if (CS.getFrameIdx() < 0)
141d8938c8bSMatt Arsenault       MaxReg = std::max(MaxReg.id(), CS.getReg().id());
14207f7c002Slewis-revill 
14307f7c002Slewis-revill   if (MaxReg == RISCV::NoRegister)
14407f7c002Slewis-revill     return -1;
14507f7c002Slewis-revill 
14607f7c002Slewis-revill   switch (MaxReg) {
14707f7c002Slewis-revill   default:
14807f7c002Slewis-revill     llvm_unreachable("Something has gone wrong!");
14907f7c002Slewis-revill   case /*s11*/ RISCV::X27: return 12;
15007f7c002Slewis-revill   case /*s10*/ RISCV::X26: return 11;
15107f7c002Slewis-revill   case /*s9*/  RISCV::X25: return 10;
15207f7c002Slewis-revill   case /*s8*/  RISCV::X24: return 9;
15307f7c002Slewis-revill   case /*s7*/  RISCV::X23: return 8;
15407f7c002Slewis-revill   case /*s6*/  RISCV::X22: return 7;
15507f7c002Slewis-revill   case /*s5*/  RISCV::X21: return 6;
15607f7c002Slewis-revill   case /*s4*/  RISCV::X20: return 5;
15707f7c002Slewis-revill   case /*s3*/  RISCV::X19: return 4;
15807f7c002Slewis-revill   case /*s2*/  RISCV::X18: return 3;
15907f7c002Slewis-revill   case /*s1*/  RISCV::X9:  return 2;
16007f7c002Slewis-revill   case /*s0*/  RISCV::X8:  return 1;
16107f7c002Slewis-revill   case /*ra*/  RISCV::X1:  return 0;
16207f7c002Slewis-revill   }
16307f7c002Slewis-revill }
16407f7c002Slewis-revill 
16507f7c002Slewis-revill // Get the name of the libcall used for spilling callee saved registers.
16607f7c002Slewis-revill // If this function will not use save/restore libcalls, then return a nullptr.
16707f7c002Slewis-revill static const char *
16807f7c002Slewis-revill getSpillLibCallName(const MachineFunction &MF,
16907f7c002Slewis-revill                     const std::vector<CalleeSavedInfo> &CSI) {
17007f7c002Slewis-revill   static const char *const SpillLibCalls[] = {
17107f7c002Slewis-revill     "__riscv_save_0",
17207f7c002Slewis-revill     "__riscv_save_1",
17307f7c002Slewis-revill     "__riscv_save_2",
17407f7c002Slewis-revill     "__riscv_save_3",
17507f7c002Slewis-revill     "__riscv_save_4",
17607f7c002Slewis-revill     "__riscv_save_5",
17707f7c002Slewis-revill     "__riscv_save_6",
17807f7c002Slewis-revill     "__riscv_save_7",
17907f7c002Slewis-revill     "__riscv_save_8",
18007f7c002Slewis-revill     "__riscv_save_9",
18107f7c002Slewis-revill     "__riscv_save_10",
18207f7c002Slewis-revill     "__riscv_save_11",
18307f7c002Slewis-revill     "__riscv_save_12"
18407f7c002Slewis-revill   };
18507f7c002Slewis-revill 
18607f7c002Slewis-revill   int LibCallID = getLibCallID(MF, CSI);
18707f7c002Slewis-revill   if (LibCallID == -1)
18807f7c002Slewis-revill     return nullptr;
18907f7c002Slewis-revill   return SpillLibCalls[LibCallID];
19007f7c002Slewis-revill }
19107f7c002Slewis-revill 
19207f7c002Slewis-revill // Get the name of the libcall used for restoring callee saved registers.
19307f7c002Slewis-revill // If this function will not use save/restore libcalls, then return a nullptr.
19407f7c002Slewis-revill static const char *
19507f7c002Slewis-revill getRestoreLibCallName(const MachineFunction &MF,
19607f7c002Slewis-revill                       const std::vector<CalleeSavedInfo> &CSI) {
19707f7c002Slewis-revill   static const char *const RestoreLibCalls[] = {
19807f7c002Slewis-revill     "__riscv_restore_0",
19907f7c002Slewis-revill     "__riscv_restore_1",
20007f7c002Slewis-revill     "__riscv_restore_2",
20107f7c002Slewis-revill     "__riscv_restore_3",
20207f7c002Slewis-revill     "__riscv_restore_4",
20307f7c002Slewis-revill     "__riscv_restore_5",
20407f7c002Slewis-revill     "__riscv_restore_6",
20507f7c002Slewis-revill     "__riscv_restore_7",
20607f7c002Slewis-revill     "__riscv_restore_8",
20707f7c002Slewis-revill     "__riscv_restore_9",
20807f7c002Slewis-revill     "__riscv_restore_10",
20907f7c002Slewis-revill     "__riscv_restore_11",
21007f7c002Slewis-revill     "__riscv_restore_12"
21107f7c002Slewis-revill   };
21207f7c002Slewis-revill 
21307f7c002Slewis-revill   int LibCallID = getLibCallID(MF, CSI);
21407f7c002Slewis-revill   if (LibCallID == -1)
21507f7c002Slewis-revill     return nullptr;
21607f7c002Slewis-revill   return RestoreLibCalls[LibCallID];
21707f7c002Slewis-revill }
21807f7c002Slewis-revill 
2197d6aa1f7SAlex Bradbury bool RISCVFrameLowering::hasFP(const MachineFunction &MF) const {
2207d6aa1f7SAlex Bradbury   const TargetRegisterInfo *RegInfo = MF.getSubtarget().getRegisterInfo();
2217d6aa1f7SAlex Bradbury 
2227d6aa1f7SAlex Bradbury   const MachineFrameInfo &MFI = MF.getFrameInfo();
2237d6aa1f7SAlex Bradbury   return MF.getTarget().Options.DisableFramePointerElim(MF) ||
224a9968c0aSTomas Matheson          RegInfo->hasStackRealignment(MF) || MFI.hasVarSizedObjects() ||
2257d6aa1f7SAlex Bradbury          MFI.isFrameAddressTaken();
2267d6aa1f7SAlex Bradbury }
2278971842fSAlex Bradbury 
228cf6cf0cdSShiva Chen bool RISCVFrameLowering::hasBP(const MachineFunction &MF) const {
229cf6cf0cdSShiva Chen   const MachineFrameInfo &MFI = MF.getFrameInfo();
230cf6cf0cdSShiva Chen   const TargetRegisterInfo *TRI = STI.getRegisterInfo();
231cf6cf0cdSShiva Chen 
232a9968c0aSTomas Matheson   return MFI.hasVarSizedObjects() && TRI->hasStackRealignment(MF);
233cf6cf0cdSShiva Chen }
234cf6cf0cdSShiva Chen 
235b014e3deSAlex Bradbury // Determines the size of the frame and maximum call frame size.
236b014e3deSAlex Bradbury void RISCVFrameLowering::determineFrameLayout(MachineFunction &MF) const {
237b014e3deSAlex Bradbury   MachineFrameInfo &MFI = MF.getFrameInfo();
238b014e3deSAlex Bradbury 
239b014e3deSAlex Bradbury   // Get the number of bytes to allocate from the FrameInfo.
240b014e3deSAlex Bradbury   uint64_t FrameSize = MFI.getStackSize();
241b014e3deSAlex Bradbury 
242b014e3deSAlex Bradbury   // Get the alignment.
243d000655aSGuillaume Chatelet   Align StackAlign = getStackAlign();
244cd44aee3SSam Elliott 
245b014e3deSAlex Bradbury   // Make sure the frame is aligned.
246b014e3deSAlex Bradbury   FrameSize = alignTo(FrameSize, StackAlign);
247b014e3deSAlex Bradbury 
248b014e3deSAlex Bradbury   // Update frame info.
249b014e3deSAlex Bradbury   MFI.setStackSize(FrameSize);
250b014e3deSAlex Bradbury }
251b014e3deSAlex Bradbury 
252b014e3deSAlex Bradbury void RISCVFrameLowering::adjustReg(MachineBasicBlock &MBB,
253b014e3deSAlex Bradbury                                    MachineBasicBlock::iterator MBBI,
254fa06e958SLuis Marques                                    const DebugLoc &DL, Register DestReg,
255fa06e958SLuis Marques                                    Register SrcReg, int64_t Val,
256b014e3deSAlex Bradbury                                    MachineInstr::MIFlag Flag) const {
2579fea4881SAlex Bradbury   MachineRegisterInfo &MRI = MBB.getParent()->getRegInfo();
258b014e3deSAlex Bradbury   const RISCVInstrInfo *TII = STI.getInstrInfo();
259b014e3deSAlex Bradbury 
260b014e3deSAlex Bradbury   if (DestReg == SrcReg && Val == 0)
261b014e3deSAlex Bradbury     return;
262b014e3deSAlex Bradbury 
2639fea4881SAlex Bradbury   if (isInt<12>(Val)) {
264b014e3deSAlex Bradbury     BuildMI(MBB, MBBI, DL, TII->get(RISCV::ADDI), DestReg)
265b014e3deSAlex Bradbury         .addReg(SrcReg)
266b014e3deSAlex Bradbury         .addImm(Val)
267b014e3deSAlex Bradbury         .setMIFlag(Flag);
268a49a16ddSShiva Chen   } else {
2699fea4881SAlex Bradbury     unsigned Opc = RISCV::ADD;
2709fea4881SAlex Bradbury     bool isSub = Val < 0;
2719fea4881SAlex Bradbury     if (isSub) {
2729fea4881SAlex Bradbury       Val = -Val;
2739fea4881SAlex Bradbury       Opc = RISCV::SUB;
2749fea4881SAlex Bradbury     }
2759fea4881SAlex Bradbury 
2763836874dSDaniel Sanders     Register ScratchReg = MRI.createVirtualRegister(&RISCV::GPRRegClass);
277a49a16ddSShiva Chen     TII->movImm(MBB, MBBI, DL, ScratchReg, Val, Flag);
2789fea4881SAlex Bradbury     BuildMI(MBB, MBBI, DL, TII->get(Opc), DestReg)
2799fea4881SAlex Bradbury         .addReg(SrcReg)
2809fea4881SAlex Bradbury         .addReg(ScratchReg, RegState::Kill)
2819fea4881SAlex Bradbury         .setMIFlag(Flag);
2829fea4881SAlex Bradbury   }
283b014e3deSAlex Bradbury }
284b014e3deSAlex Bradbury 
285b014e3deSAlex Bradbury // Returns the register used to hold the frame pointer.
286fa06e958SLuis Marques static Register getFPReg(const RISCVSubtarget &STI) { return RISCV::X8; }
287b014e3deSAlex Bradbury 
288b014e3deSAlex Bradbury // Returns the register used to hold the stack pointer.
289fa06e958SLuis Marques static Register getSPReg(const RISCVSubtarget &STI) { return RISCV::X2; }
290b014e3deSAlex Bradbury 
29107f7c002Slewis-revill static SmallVector<CalleeSavedInfo, 8>
2925a31a673SHsiangkai Wang getNonLibcallCSI(const MachineFunction &MF,
2935a31a673SHsiangkai Wang                  const std::vector<CalleeSavedInfo> &CSI) {
2945a31a673SHsiangkai Wang   const MachineFrameInfo &MFI = MF.getFrameInfo();
29507f7c002Slewis-revill   SmallVector<CalleeSavedInfo, 8> NonLibcallCSI;
29607f7c002Slewis-revill 
2975a31a673SHsiangkai Wang   for (auto &CS : CSI) {
2985a31a673SHsiangkai Wang     int FI = CS.getFrameIdx();
2995a31a673SHsiangkai Wang     if (FI >= 0 && MFI.getStackID(FI) == TargetStackID::Default)
30007f7c002Slewis-revill       NonLibcallCSI.push_back(CS);
3015a31a673SHsiangkai Wang   }
30207f7c002Slewis-revill 
30307f7c002Slewis-revill   return NonLibcallCSI;
30407f7c002Slewis-revill }
30507f7c002Slewis-revill 
3065a31a673SHsiangkai Wang void RISCVFrameLowering::adjustStackForRVV(MachineFunction &MF,
3075a31a673SHsiangkai Wang                                            MachineBasicBlock &MBB,
3085a31a673SHsiangkai Wang                                            MachineBasicBlock::iterator MBBI,
3095a31a673SHsiangkai Wang                                            const DebugLoc &DL,
3105a31a673SHsiangkai Wang                                            int64_t Amount) const {
3115a31a673SHsiangkai Wang   assert(Amount != 0 && "Did not need to adjust stack pointer for RVV.");
3125a31a673SHsiangkai Wang 
3135a31a673SHsiangkai Wang   const RISCVInstrInfo *TII = STI.getInstrInfo();
3145a31a673SHsiangkai Wang   Register SPReg = getSPReg(STI);
3155a31a673SHsiangkai Wang   unsigned Opc = RISCV::ADD;
3165a31a673SHsiangkai Wang   if (Amount < 0) {
3175a31a673SHsiangkai Wang     Amount = -Amount;
3185a31a673SHsiangkai Wang     Opc = RISCV::SUB;
3195a31a673SHsiangkai Wang   }
3205a31a673SHsiangkai Wang 
3215a31a673SHsiangkai Wang   // 1. Multiply the number of v-slots to the length of registers
322*b41e1306SHsiangkai Wang   Register FactorRegister =
323*b41e1306SHsiangkai Wang       TII->getVLENFactoredAmount(MF, MBB, MBBI, DL, Amount);
3245a31a673SHsiangkai Wang   // 2. SP = SP - RVV stack size
3255a31a673SHsiangkai Wang   BuildMI(MBB, MBBI, DL, TII->get(Opc), SPReg)
3265a31a673SHsiangkai Wang       .addReg(SPReg)
327ef76a333SRoger Ferrer Ibanez       .addReg(FactorRegister, RegState::Kill);
3285a31a673SHsiangkai Wang }
3295a31a673SHsiangkai Wang 
3308971842fSAlex Bradbury void RISCVFrameLowering::emitPrologue(MachineFunction &MF,
331b014e3deSAlex Bradbury                                       MachineBasicBlock &MBB) const {
332b014e3deSAlex Bradbury   MachineFrameInfo &MFI = MF.getFrameInfo();
333c85be0deSAlex Bradbury   auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
33404ddf39bSHsiangkai Wang   const RISCVRegisterInfo *RI = STI.getRegisterInfo();
33504ddf39bSHsiangkai Wang   const RISCVInstrInfo *TII = STI.getInstrInfo();
336b014e3deSAlex Bradbury   MachineBasicBlock::iterator MBBI = MBB.begin();
337b014e3deSAlex Bradbury 
338fa06e958SLuis Marques   Register FPReg = getFPReg(STI);
339fa06e958SLuis Marques   Register SPReg = getSPReg(STI);
340cf6cf0cdSShiva Chen   Register BPReg = RISCVABI::getBPReg();
341b014e3deSAlex Bradbury 
3421c466477SZhaoshi Zheng   // Debug location must be unknown since the first debug location is used
3431c466477SZhaoshi Zheng   // to determine the end of the prologue.
3441c466477SZhaoshi Zheng   DebugLoc DL;
3451c466477SZhaoshi Zheng 
346a8dc2110SLuís Marques   // All calls are tail calls in GHC calling conv, and functions have no
347a8dc2110SLuís Marques   // prologue/epilogue.
348a8dc2110SLuís Marques   if (MF.getFunction().getCallingConv() == CallingConv::GHC)
349a8dc2110SLuís Marques     return;
350a8dc2110SLuís Marques 
3511c466477SZhaoshi Zheng   // Emit prologue for shadow call stack.
3521c466477SZhaoshi Zheng   emitSCSPrologue(MF, MBB, MBBI, DL);
3531c466477SZhaoshi Zheng 
35407f7c002Slewis-revill   // Since spillCalleeSavedRegisters may have inserted a libcall, skip past
35507f7c002Slewis-revill   // any instructions marked as FrameSetup
35607f7c002Slewis-revill   while (MBBI != MBB.end() && MBBI->getFlag(MachineInstr::FrameSetup))
35707f7c002Slewis-revill     ++MBBI;
35807f7c002Slewis-revill 
359b014e3deSAlex Bradbury   // Determine the correct frame layout
360b014e3deSAlex Bradbury   determineFrameLayout(MF);
361b014e3deSAlex Bradbury 
36207f7c002Slewis-revill   // If libcalls are used to spill and restore callee-saved registers, the frame
36307f7c002Slewis-revill   // has two sections; the opaque section managed by the libcalls, and the
36407f7c002Slewis-revill   // section managed by MachineFrameInfo which can also hold callee saved
36507f7c002Slewis-revill   // registers in fixed stack slots, both of which have negative frame indices.
36607f7c002Slewis-revill   // This gets even more complicated when incoming arguments are passed via the
36707f7c002Slewis-revill   // stack, as these too have negative frame indices. An example is detailed
36807f7c002Slewis-revill   // below:
36907f7c002Slewis-revill   //
37007f7c002Slewis-revill   //  | incoming arg | <- FI[-3]
37107f7c002Slewis-revill   //  | libcallspill |
37207f7c002Slewis-revill   //  | calleespill  | <- FI[-2]
37307f7c002Slewis-revill   //  | calleespill  | <- FI[-1]
37407f7c002Slewis-revill   //  | this_frame   | <- FI[0]
37507f7c002Slewis-revill   //
37607f7c002Slewis-revill   // For negative frame indices, the offset from the frame pointer will differ
37707f7c002Slewis-revill   // depending on which of these groups the frame index applies to.
37807f7c002Slewis-revill   // The following calculates the correct offset knowing the number of callee
37907f7c002Slewis-revill   // saved registers spilt by the two methods.
38007f7c002Slewis-revill   if (int LibCallRegs = getLibCallID(MF, MFI.getCalleeSavedInfo()) + 1) {
38107f7c002Slewis-revill     // Calculate the size of the frame managed by the libcall. The libcalls are
38207f7c002Slewis-revill     // implemented such that the stack will always be 16 byte aligned.
38307f7c002Slewis-revill     unsigned LibCallFrameSize = alignTo((STI.getXLen() / 8) * LibCallRegs, 16);
38407f7c002Slewis-revill     RVFI->setLibCallStackSize(LibCallFrameSize);
38507f7c002Slewis-revill   }
38607f7c002Slewis-revill 
387b014e3deSAlex Bradbury   // FIXME (note copied from Lanai): This appears to be overallocating.  Needs
388b014e3deSAlex Bradbury   // investigation. Get the number of bytes to allocate from the FrameInfo.
389ef76a333SRoger Ferrer Ibanez   uint64_t StackSize = MFI.getStackSize() + RVFI->getRVVPadding();
39007f7c002Slewis-revill   uint64_t RealStackSize = StackSize + RVFI->getLibCallStackSize();
3915a31a673SHsiangkai Wang   uint64_t RVVStackSize = RVFI->getRVVStackSize();
392b014e3deSAlex Bradbury 
393b014e3deSAlex Bradbury   // Early exit if there is no need to allocate on the stack
3945a31a673SHsiangkai Wang   if (RealStackSize == 0 && !MFI.adjustsStack() && RVVStackSize == 0)
395b014e3deSAlex Bradbury     return;
396b014e3deSAlex Bradbury 
397aed9d6d6SSimon Cook   // If the stack pointer has been marked as reserved, then produce an error if
398aed9d6d6SSimon Cook   // the frame requires stack allocation
399aed9d6d6SSimon Cook   if (STI.isRegisterReservedByUser(SPReg))
400aed9d6d6SSimon Cook     MF.getFunction().getContext().diagnose(DiagnosticInfoUnsupported{
401aed9d6d6SSimon Cook         MF.getFunction(), "Stack pointer required, but has been reserved."});
402aed9d6d6SSimon Cook 
403ff55e2e0SShiva Chen   uint64_t FirstSPAdjustAmount = getFirstSPAdjustAmount(MF);
404ff55e2e0SShiva Chen   // Split the SP adjustment to reduce the offsets of callee saved spill.
40507f7c002Slewis-revill   if (FirstSPAdjustAmount) {
406ff55e2e0SShiva Chen     StackSize = FirstSPAdjustAmount;
40707f7c002Slewis-revill     RealStackSize = FirstSPAdjustAmount;
40807f7c002Slewis-revill   }
409ff55e2e0SShiva Chen 
410b014e3deSAlex Bradbury   // Allocate space on the stack if necessary.
411b014e3deSAlex Bradbury   adjustReg(MBB, MBBI, DL, SPReg, SPReg, -StackSize, MachineInstr::FrameSetup);
412b014e3deSAlex Bradbury 
41307f7c002Slewis-revill   // Emit ".cfi_def_cfa_offset RealStackSize"
41404ddf39bSHsiangkai Wang   unsigned CFIIndex = MF.addFrameInst(
4150840d725SFangrui Song       MCCFIInstruction::cfiDefCfaOffset(nullptr, RealStackSize));
41604ddf39bSHsiangkai Wang   BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION))
41704ddf39bSHsiangkai Wang       .addCFIIndex(CFIIndex);
41804ddf39bSHsiangkai Wang 
41907f7c002Slewis-revill   const auto &CSI = MFI.getCalleeSavedInfo();
42007f7c002Slewis-revill 
421b014e3deSAlex Bradbury   // The frame pointer is callee-saved, and code has been generated for us to
422b014e3deSAlex Bradbury   // save it to the stack. We need to skip over the storing of callee-saved
423b014e3deSAlex Bradbury   // registers as the frame pointer must be modified after it has been saved
424b014e3deSAlex Bradbury   // to the stack, not before.
425b014e3deSAlex Bradbury   // FIXME: assumes exactly one instruction is used to save each callee-saved
426b014e3deSAlex Bradbury   // register.
4275a31a673SHsiangkai Wang   std::advance(MBBI, getNonLibcallCSI(MF, CSI).size());
428b014e3deSAlex Bradbury 
42904ddf39bSHsiangkai Wang   // Iterate over list of callee-saved registers and emit .cfi_offset
43004ddf39bSHsiangkai Wang   // directives.
43104ddf39bSHsiangkai Wang   for (const auto &Entry : CSI) {
43207f7c002Slewis-revill     int FrameIdx = Entry.getFrameIdx();
43307f7c002Slewis-revill     int64_t Offset;
43407f7c002Slewis-revill     // Offsets for objects with fixed locations (IE: those saved by libcall) are
43507f7c002Slewis-revill     // simply calculated from the frame index.
43607f7c002Slewis-revill     if (FrameIdx < 0)
43707f7c002Slewis-revill       Offset = FrameIdx * (int64_t) STI.getXLen() / 8;
43807f7c002Slewis-revill     else
43907f7c002Slewis-revill       Offset = MFI.getObjectOffset(Entry.getFrameIdx()) -
44007f7c002Slewis-revill                RVFI->getLibCallStackSize();
441fa06e958SLuis Marques     Register Reg = Entry.getReg();
44204ddf39bSHsiangkai Wang     unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::createOffset(
44304ddf39bSHsiangkai Wang         nullptr, RI->getDwarfRegNum(Reg, true), Offset));
44404ddf39bSHsiangkai Wang     BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION))
44504ddf39bSHsiangkai Wang         .addCFIIndex(CFIIndex);
44604ddf39bSHsiangkai Wang   }
44704ddf39bSHsiangkai Wang 
448b014e3deSAlex Bradbury   // Generate new FP.
44904ddf39bSHsiangkai Wang   if (hasFP(MF)) {
450aed9d6d6SSimon Cook     if (STI.isRegisterReservedByUser(FPReg))
451aed9d6d6SSimon Cook       MF.getFunction().getContext().diagnose(DiagnosticInfoUnsupported{
452aed9d6d6SSimon Cook           MF.getFunction(), "Frame pointer required, but has been reserved."});
453aed9d6d6SSimon Cook 
4547d6aa1f7SAlex Bradbury     adjustReg(MBB, MBBI, DL, FPReg, SPReg,
45507f7c002Slewis-revill               RealStackSize - RVFI->getVarArgsSaveSize(),
45607f7c002Slewis-revill               MachineInstr::FrameSetup);
45704ddf39bSHsiangkai Wang 
4587e49dc61SFangrui Song     // Emit ".cfi_def_cfa $fp, RVFI->getVarArgsSaveSize()"
4597e49dc61SFangrui Song     unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::cfiDefCfa(
4607e49dc61SFangrui Song         nullptr, RI->getDwarfRegNum(FPReg, true), RVFI->getVarArgsSaveSize()));
46104ddf39bSHsiangkai Wang     BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION))
46204ddf39bSHsiangkai Wang         .addCFIIndex(CFIIndex);
463ff55e2e0SShiva Chen   }
464cd44aee3SSam Elliott 
465ff55e2e0SShiva Chen   // Emit the second SP adjustment after saving callee saved registers.
466ff55e2e0SShiva Chen   if (FirstSPAdjustAmount) {
467ff55e2e0SShiva Chen     uint64_t SecondSPAdjustAmount = MFI.getStackSize() - FirstSPAdjustAmount;
468ff55e2e0SShiva Chen     assert(SecondSPAdjustAmount > 0 &&
469ff55e2e0SShiva Chen            "SecondSPAdjustAmount should be greater than zero");
470ff55e2e0SShiva Chen     adjustReg(MBB, MBBI, DL, SPReg, SPReg, -SecondSPAdjustAmount,
471ff55e2e0SShiva Chen               MachineInstr::FrameSetup);
4721c737f54SLuís Marques 
4731c737f54SLuís Marques     // If we are using a frame-pointer, and thus emitted ".cfi_def_cfa fp, 0",
4741c737f54SLuís Marques     // don't emit an sp-based .cfi_def_cfa_offset
4751c737f54SLuís Marques     if (!hasFP(MF)) {
476ff55e2e0SShiva Chen       // Emit ".cfi_def_cfa_offset StackSize"
477ff55e2e0SShiva Chen       unsigned CFIIndex = MF.addFrameInst(
4780840d725SFangrui Song           MCCFIInstruction::cfiDefCfaOffset(nullptr, MFI.getStackSize()));
479ff55e2e0SShiva Chen       BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION))
480ff55e2e0SShiva Chen           .addCFIIndex(CFIIndex);
481ff55e2e0SShiva Chen     }
4821c737f54SLuís Marques   }
483ff55e2e0SShiva Chen 
484a9b9c64fSluxufan   if (RVVStackSize)
485a9b9c64fSluxufan     adjustStackForRVV(MF, MBB, MBBI, DL, -RVVStackSize);
486a9b9c64fSluxufan 
487ff55e2e0SShiva Chen   if (hasFP(MF)) {
488cd44aee3SSam Elliott     // Realign Stack
489cd44aee3SSam Elliott     const RISCVRegisterInfo *RI = STI.getRegisterInfo();
490a9968c0aSTomas Matheson     if (RI->hasStackRealignment(MF)) {
491d000655aSGuillaume Chatelet       Align MaxAlignment = MFI.getMaxAlign();
492cd44aee3SSam Elliott 
493cd44aee3SSam Elliott       const RISCVInstrInfo *TII = STI.getInstrInfo();
494d000655aSGuillaume Chatelet       if (isInt<12>(-(int)MaxAlignment.value())) {
495cd44aee3SSam Elliott         BuildMI(MBB, MBBI, DL, TII->get(RISCV::ANDI), SPReg)
496cd44aee3SSam Elliott             .addReg(SPReg)
497d000655aSGuillaume Chatelet             .addImm(-(int)MaxAlignment.value());
498cd44aee3SSam Elliott       } else {
499d000655aSGuillaume Chatelet         unsigned ShiftAmount = Log2(MaxAlignment);
500fa06e958SLuis Marques         Register VR =
501cd44aee3SSam Elliott             MF.getRegInfo().createVirtualRegister(&RISCV::GPRRegClass);
502cd44aee3SSam Elliott         BuildMI(MBB, MBBI, DL, TII->get(RISCV::SRLI), VR)
503cd44aee3SSam Elliott             .addReg(SPReg)
504cd44aee3SSam Elliott             .addImm(ShiftAmount);
505cd44aee3SSam Elliott         BuildMI(MBB, MBBI, DL, TII->get(RISCV::SLLI), SPReg)
506cd44aee3SSam Elliott             .addReg(VR)
507cd44aee3SSam Elliott             .addImm(ShiftAmount);
508cd44aee3SSam Elliott       }
509cf6cf0cdSShiva Chen       // FP will be used to restore the frame in the epilogue, so we need
510cf6cf0cdSShiva Chen       // another base register BP to record SP after re-alignment. SP will
511cf6cf0cdSShiva Chen       // track the current stack after allocating variable sized objects.
512cf6cf0cdSShiva Chen       if (hasBP(MF)) {
513cf6cf0cdSShiva Chen         // move BP, SP
514709ea8bcSluxufan         TII->copyPhysReg(MBB, MBBI, DL, BPReg, SPReg, false);
515cf6cf0cdSShiva Chen       }
516cd44aee3SSam Elliott     }
51704ddf39bSHsiangkai Wang   }
518b014e3deSAlex Bradbury }
5198971842fSAlex Bradbury 
5208971842fSAlex Bradbury void RISCVFrameLowering::emitEpilogue(MachineFunction &MF,
521b014e3deSAlex Bradbury                                       MachineBasicBlock &MBB) const {
522b014e3deSAlex Bradbury   const RISCVRegisterInfo *RI = STI.getRegisterInfo();
523b014e3deSAlex Bradbury   MachineFrameInfo &MFI = MF.getFrameInfo();
524c85be0deSAlex Bradbury   auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
525fa06e958SLuis Marques   Register FPReg = getFPReg(STI);
526fa06e958SLuis Marques   Register SPReg = getSPReg(STI);
527b014e3deSAlex Bradbury 
528a8dc2110SLuís Marques   // All calls are tail calls in GHC calling conv, and functions have no
529a8dc2110SLuís Marques   // prologue/epilogue.
530a8dc2110SLuís Marques   if (MF.getFunction().getCallingConv() == CallingConv::GHC)
531a8dc2110SLuís Marques     return;
532a8dc2110SLuís Marques 
533cd800f3bSlewis-revill   // Get the insert location for the epilogue. If there were no terminators in
534cd800f3bSlewis-revill   // the block, get the last instruction.
535cd800f3bSlewis-revill   MachineBasicBlock::iterator MBBI = MBB.end();
536cd800f3bSlewis-revill   DebugLoc DL;
537cd800f3bSlewis-revill   if (!MBB.empty()) {
538cd800f3bSlewis-revill     MBBI = MBB.getFirstTerminator();
539cd800f3bSlewis-revill     if (MBBI == MBB.end())
540cd800f3bSlewis-revill       MBBI = MBB.getLastNonDebugInstr();
541cd800f3bSlewis-revill     DL = MBBI->getDebugLoc();
542cd800f3bSlewis-revill 
543cd800f3bSlewis-revill     // If this is not a terminator, the actual insert location should be after the
544cd800f3bSlewis-revill     // last instruction.
545cd800f3bSlewis-revill     if (!MBBI->isTerminator())
546cd800f3bSlewis-revill       MBBI = std::next(MBBI);
54707f7c002Slewis-revill 
54807f7c002Slewis-revill     // If callee-saved registers are saved via libcall, place stack adjustment
54907f7c002Slewis-revill     // before this call.
55007f7c002Slewis-revill     while (MBBI != MBB.begin() &&
55107f7c002Slewis-revill            std::prev(MBBI)->getFlag(MachineInstr::FrameDestroy))
55207f7c002Slewis-revill       --MBBI;
553cd800f3bSlewis-revill   }
554cd800f3bSlewis-revill 
5555a31a673SHsiangkai Wang   const auto &CSI = getNonLibcallCSI(MF, MFI.getCalleeSavedInfo());
55607f7c002Slewis-revill 
557b014e3deSAlex Bradbury   // Skip to before the restores of callee-saved registers
558b014e3deSAlex Bradbury   // FIXME: assumes exactly one instruction is used to restore each
559b014e3deSAlex Bradbury   // callee-saved register.
56007f7c002Slewis-revill   auto LastFrameDestroy = MBBI;
56107f7c002Slewis-revill   if (!CSI.empty())
56207f7c002Slewis-revill     LastFrameDestroy = std::prev(MBBI, CSI.size());
563b014e3deSAlex Bradbury 
564ef76a333SRoger Ferrer Ibanez   uint64_t StackSize = MFI.getStackSize() + RVFI->getRVVPadding();
56507f7c002Slewis-revill   uint64_t RealStackSize = StackSize + RVFI->getLibCallStackSize();
56607f7c002Slewis-revill   uint64_t FPOffset = RealStackSize - RVFI->getVarArgsSaveSize();
5675a31a673SHsiangkai Wang   uint64_t RVVStackSize = RVFI->getRVVStackSize();
568b014e3deSAlex Bradbury 
569b014e3deSAlex Bradbury   // Restore the stack pointer using the value of the frame pointer. Only
570b014e3deSAlex Bradbury   // necessary if the stack pointer was modified, meaning the stack size is
571b014e3deSAlex Bradbury   // unknown.
572a9968c0aSTomas Matheson   if (RI->hasStackRealignment(MF) || MFI.hasVarSizedObjects()) {
5737d6aa1f7SAlex Bradbury     assert(hasFP(MF) && "frame pointer should not have been eliminated");
57404ddf39bSHsiangkai Wang     adjustReg(MBB, LastFrameDestroy, DL, SPReg, FPReg, -FPOffset,
575b014e3deSAlex Bradbury               MachineInstr::FrameDestroy);
5765a31a673SHsiangkai Wang   } else {
5775a31a673SHsiangkai Wang     if (RVVStackSize)
5785a31a673SHsiangkai Wang       adjustStackForRVV(MF, MBB, LastFrameDestroy, DL, RVVStackSize);
579b014e3deSAlex Bradbury   }
580b014e3deSAlex Bradbury 
581ff55e2e0SShiva Chen   uint64_t FirstSPAdjustAmount = getFirstSPAdjustAmount(MF);
582ff55e2e0SShiva Chen   if (FirstSPAdjustAmount) {
583ff55e2e0SShiva Chen     uint64_t SecondSPAdjustAmount = MFI.getStackSize() - FirstSPAdjustAmount;
584ff55e2e0SShiva Chen     assert(SecondSPAdjustAmount > 0 &&
585ff55e2e0SShiva Chen            "SecondSPAdjustAmount should be greater than zero");
586ff55e2e0SShiva Chen 
587ff55e2e0SShiva Chen     adjustReg(MBB, LastFrameDestroy, DL, SPReg, SPReg, SecondSPAdjustAmount,
588ff55e2e0SShiva Chen               MachineInstr::FrameDestroy);
58904ddf39bSHsiangkai Wang   }
59004ddf39bSHsiangkai Wang 
591ff55e2e0SShiva Chen   if (FirstSPAdjustAmount)
592ff55e2e0SShiva Chen     StackSize = FirstSPAdjustAmount;
593ff55e2e0SShiva Chen 
594b014e3deSAlex Bradbury   // Deallocate stack
595b014e3deSAlex Bradbury   adjustReg(MBB, MBBI, DL, SPReg, SPReg, StackSize, MachineInstr::FrameDestroy);
5961c466477SZhaoshi Zheng 
5971c466477SZhaoshi Zheng   // Emit epilogue for shadow call stack.
5981c466477SZhaoshi Zheng   emitSCSEpilogue(MF, MBB, MBBI, DL);
599b014e3deSAlex Bradbury }
600660bccecSAlex Bradbury 
601d57bba7cSSander de Smalen StackOffset
602d57bba7cSSander de Smalen RISCVFrameLowering::getFrameIndexReference(const MachineFunction &MF, int FI,
6032481f26aSMatt Arsenault                                            Register &FrameReg) const {
604660bccecSAlex Bradbury   const MachineFrameInfo &MFI = MF.getFrameInfo();
605660bccecSAlex Bradbury   const TargetRegisterInfo *RI = MF.getSubtarget().getRegisterInfo();
606c85be0deSAlex Bradbury   const auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
607660bccecSAlex Bradbury 
608660bccecSAlex Bradbury   // Callee-saved registers should be referenced relative to the stack
609660bccecSAlex Bradbury   // pointer (positive offset), otherwise use the frame pointer (negative
610660bccecSAlex Bradbury   // offset).
6115a31a673SHsiangkai Wang   const auto &CSI = getNonLibcallCSI(MF, MFI.getCalleeSavedInfo());
612660bccecSAlex Bradbury   int MinCSFI = 0;
613660bccecSAlex Bradbury   int MaxCSFI = -1;
6145a31a673SHsiangkai Wang   StackOffset Offset;
6155a31a673SHsiangkai Wang   auto StackID = MFI.getStackID(FI);
616660bccecSAlex Bradbury 
6175a31a673SHsiangkai Wang   assert((StackID == TargetStackID::Default ||
6185a31a673SHsiangkai Wang           StackID == TargetStackID::ScalableVector) &&
6195a31a673SHsiangkai Wang          "Unexpected stack ID for the frame object.");
6205a31a673SHsiangkai Wang   if (StackID == TargetStackID::Default) {
6215a31a673SHsiangkai Wang     Offset =
6225a31a673SHsiangkai Wang         StackOffset::getFixed(MFI.getObjectOffset(FI) - getOffsetOfLocalArea() +
6235a31a673SHsiangkai Wang                               MFI.getOffsetAdjustment());
6245a31a673SHsiangkai Wang   } else if (StackID == TargetStackID::ScalableVector) {
6255a31a673SHsiangkai Wang     Offset = StackOffset::getScalable(MFI.getObjectOffset(FI));
6265a31a673SHsiangkai Wang   }
627660bccecSAlex Bradbury 
628ff55e2e0SShiva Chen   uint64_t FirstSPAdjustAmount = getFirstSPAdjustAmount(MF);
629ff55e2e0SShiva Chen 
630660bccecSAlex Bradbury   if (CSI.size()) {
631660bccecSAlex Bradbury     MinCSFI = CSI[0].getFrameIdx();
632660bccecSAlex Bradbury     MaxCSFI = CSI[CSI.size() - 1].getFrameIdx();
633660bccecSAlex Bradbury   }
634660bccecSAlex Bradbury 
635660bccecSAlex Bradbury   if (FI >= MinCSFI && FI <= MaxCSFI) {
636660bccecSAlex Bradbury     FrameReg = RISCV::X2;
637ff55e2e0SShiva Chen 
638ff55e2e0SShiva Chen     if (FirstSPAdjustAmount)
6395a31a673SHsiangkai Wang       Offset += StackOffset::getFixed(FirstSPAdjustAmount);
640ff55e2e0SShiva Chen     else
641ef76a333SRoger Ferrer Ibanez       Offset +=
642ef76a333SRoger Ferrer Ibanez           StackOffset::getFixed(MFI.getStackSize() + RVFI->getRVVPadding());
643a9968c0aSTomas Matheson   } else if (RI->hasStackRealignment(MF) && !MFI.isFixedObjectIndex(FI)) {
644cd44aee3SSam Elliott     // If the stack was realigned, the frame pointer is set in order to allow
645cf6cf0cdSShiva Chen     // SP to be restored, so we need another base register to record the stack
646cf6cf0cdSShiva Chen     // after realignment.
6475a31a673SHsiangkai Wang     if (hasBP(MF)) {
648cf6cf0cdSShiva Chen       FrameReg = RISCVABI::getBPReg();
6495a31a673SHsiangkai Wang       // |--------------------------| -- <-- FP
650ef76a333SRoger Ferrer Ibanez       // | callee-saved registers   | | <----.
651a9b9c64fSluxufan       // |--------------------------| --     |
652a9b9c64fSluxufan       // | realignment (the size of | |      |
653a9b9c64fSluxufan       // | this area is not counted | |      |
654a9b9c64fSluxufan       // | in MFI.getStackSize())   | |      |
655ef76a333SRoger Ferrer Ibanez       // |--------------------------| --     |
656ef76a333SRoger Ferrer Ibanez       // | Padding after RVV        | |      |
657ef76a333SRoger Ferrer Ibanez       // | (not counted in          | |      |
658ef76a333SRoger Ferrer Ibanez       // | MFI.getStackSize()       | |      |
659a9b9c64fSluxufan       // |--------------------------| --     |-- MFI.getStackSize()
660a9b9c64fSluxufan       // | RVV objects              | |      |
661ef76a333SRoger Ferrer Ibanez       // | (not counted in          | |      |
662ef76a333SRoger Ferrer Ibanez       // | MFI.getStackSize()       | |      |
663a9b9c64fSluxufan       // |--------------------------| --     |
664ef76a333SRoger Ferrer Ibanez       // | Padding before RVV       | |      |
665ef76a333SRoger Ferrer Ibanez       // | (not counted in          | |      |
666ef76a333SRoger Ferrer Ibanez       // | MFI.getStackSize()       | |      |
667ef76a333SRoger Ferrer Ibanez       // |--------------------------| --     |
668ef76a333SRoger Ferrer Ibanez       // | scalar local variables   | | <----'
6695a31a673SHsiangkai Wang       // |--------------------------| -- <-- BP
6705a31a673SHsiangkai Wang       // | VarSize objects          | |
6715a31a673SHsiangkai Wang       // |--------------------------| -- <-- SP
6725a31a673SHsiangkai Wang     } else {
673cd44aee3SSam Elliott       FrameReg = RISCV::X2;
6745a31a673SHsiangkai Wang       // |--------------------------| -- <-- FP
675ef76a333SRoger Ferrer Ibanez       // | callee-saved registers   | | <----.
676a9b9c64fSluxufan       // |--------------------------| --     |
677a9b9c64fSluxufan       // | realignment (the size of | |      |
678a9b9c64fSluxufan       // | this area is not counted | |      |
679a9b9c64fSluxufan       // | in MFI.getStackSize())   | |      |
680ef76a333SRoger Ferrer Ibanez       // |--------------------------| --     |
681ef76a333SRoger Ferrer Ibanez       // | Padding after RVV        | |      |
682ef76a333SRoger Ferrer Ibanez       // | (not counted in          | |      |
683ef76a333SRoger Ferrer Ibanez       // | MFI.getStackSize()       | |      |
684a9b9c64fSluxufan       // |--------------------------| --     |-- MFI.getStackSize()
685a9b9c64fSluxufan       // | RVV objects              | |      |
686ef76a333SRoger Ferrer Ibanez       // | (not counted in          | |      |
687ef76a333SRoger Ferrer Ibanez       // | MFI.getStackSize()       | |      |
688a9b9c64fSluxufan       // |--------------------------| --     |
689ef76a333SRoger Ferrer Ibanez       // | Padding before RVV       | |      |
690ef76a333SRoger Ferrer Ibanez       // | (not counted in          | |      |
691ef76a333SRoger Ferrer Ibanez       // | MFI.getStackSize()       | |      |
692ef76a333SRoger Ferrer Ibanez       // |--------------------------| --     |
693ef76a333SRoger Ferrer Ibanez       // | scalar local variables   | | <----'
6945a31a673SHsiangkai Wang       // |--------------------------| -- <-- SP
6955a31a673SHsiangkai Wang     }
696ef76a333SRoger Ferrer Ibanez     // The total amount of padding surrounding RVV objects is described by
697ef76a333SRoger Ferrer Ibanez     // RVV->getRVVPadding() and it can be zero. It allows us to align the RVV
698ef76a333SRoger Ferrer Ibanez     // objects to 8 bytes.
6995a31a673SHsiangkai Wang     if (MFI.getStackID(FI) == TargetStackID::Default) {
7005a31a673SHsiangkai Wang       Offset += StackOffset::getFixed(MFI.getStackSize());
70107f7c002Slewis-revill       if (FI < 0)
7025a31a673SHsiangkai Wang         Offset += StackOffset::getFixed(RVFI->getLibCallStackSize());
703a9b9c64fSluxufan     } else if (MFI.getStackID(FI) == TargetStackID::ScalableVector) {
704ef76a333SRoger Ferrer Ibanez       Offset += StackOffset::get(
705ef76a333SRoger Ferrer Ibanez           alignTo(MFI.getStackSize() - RVFI->getCalleeSavedStackSize(), 8),
706a9b9c64fSluxufan           RVFI->getRVVStackSize());
7075a31a673SHsiangkai Wang     }
708c85be0deSAlex Bradbury   } else {
709c85be0deSAlex Bradbury     FrameReg = RI->getFrameRegister(MF);
71007f7c002Slewis-revill     if (hasFP(MF)) {
7115a31a673SHsiangkai Wang       Offset += StackOffset::getFixed(RVFI->getVarArgsSaveSize());
71207f7c002Slewis-revill       if (FI >= 0)
7135a31a673SHsiangkai Wang         Offset -= StackOffset::getFixed(RVFI->getLibCallStackSize());
7145a31a673SHsiangkai Wang       // When using FP to access scalable vector objects, we need to minus
7155a31a673SHsiangkai Wang       // the frame size.
7165a31a673SHsiangkai Wang       //
7175a31a673SHsiangkai Wang       // |--------------------------| -- <-- FP
7185a31a673SHsiangkai Wang       // | callee-saved registers   | |
7195a31a673SHsiangkai Wang       // |--------------------------| | MFI.getStackSize()
7205a31a673SHsiangkai Wang       // | scalar local variables   | |
7215a31a673SHsiangkai Wang       // |--------------------------| -- (Offset of RVV objects is from here.)
7225a31a673SHsiangkai Wang       // | RVV objects              |
7235a31a673SHsiangkai Wang       // |--------------------------|
7245a31a673SHsiangkai Wang       // | VarSize objects          |
7255a31a673SHsiangkai Wang       // |--------------------------| <-- SP
7265a31a673SHsiangkai Wang       if (MFI.getStackID(FI) == TargetStackID::ScalableVector)
7275a31a673SHsiangkai Wang         Offset -= StackOffset::getFixed(MFI.getStackSize());
72807f7c002Slewis-revill     } else {
7295a31a673SHsiangkai Wang       // When using SP to access frame objects, we need to add RVV stack size.
7305a31a673SHsiangkai Wang       //
7315a31a673SHsiangkai Wang       // |--------------------------| -- <-- FP
732ef76a333SRoger Ferrer Ibanez       // | callee-saved registers   | | <----.
733ef76a333SRoger Ferrer Ibanez       // |--------------------------| --     |
734ef76a333SRoger Ferrer Ibanez       // | Padding after RVV        | |      |
735ef76a333SRoger Ferrer Ibanez       // | (not counted in          | |      |
736ef76a333SRoger Ferrer Ibanez       // | MFI.getStackSize()       | |      |
737a9b9c64fSluxufan       // |--------------------------| --     |
738a9b9c64fSluxufan       // | RVV objects              | |      |-- MFI.getStackSize()
739ef76a333SRoger Ferrer Ibanez       // | (not counted in          | |      |
740ef76a333SRoger Ferrer Ibanez       // | MFI.getStackSize()       | |      |
741a9b9c64fSluxufan       // |--------------------------| --     |
742ef76a333SRoger Ferrer Ibanez       // | Padding before RVV       | |      |
743ef76a333SRoger Ferrer Ibanez       // | (not counted in          | |      |
744ef76a333SRoger Ferrer Ibanez       // | MFI.getStackSize()       | |      |
745ef76a333SRoger Ferrer Ibanez       // |--------------------------| --     |
746ef76a333SRoger Ferrer Ibanez       // | scalar local variables   | | <----'
7475a31a673SHsiangkai Wang       // |--------------------------| -- <-- SP
748ef76a333SRoger Ferrer Ibanez       //
749ef76a333SRoger Ferrer Ibanez       // The total amount of padding surrounding RVV objects is described by
750ef76a333SRoger Ferrer Ibanez       // RVV->getRVVPadding() and it can be zero. It allows us to align the RVV
751ef76a333SRoger Ferrer Ibanez       // objects to 8 bytes.
7525a31a673SHsiangkai Wang       if (MFI.getStackID(FI) == TargetStackID::Default) {
7535603ed60Sluxufan         if (MFI.isFixedObjectIndex(FI)) {
7545603ed60Sluxufan           Offset += StackOffset::get(MFI.getStackSize() + RVFI->getRVVPadding()
7555603ed60Sluxufan                         + RVFI->getLibCallStackSize(), RVFI->getRVVStackSize());
7565603ed60Sluxufan         } else {
7575a31a673SHsiangkai Wang           Offset += StackOffset::getFixed(MFI.getStackSize());
7585603ed60Sluxufan         }
759a9b9c64fSluxufan       } else if (MFI.getStackID(FI) == TargetStackID::ScalableVector) {
760ef76a333SRoger Ferrer Ibanez         Offset += StackOffset::get(
761ef76a333SRoger Ferrer Ibanez             alignTo(MFI.getStackSize() - RVFI->getCalleeSavedStackSize(), 8),
762a9b9c64fSluxufan             RVFI->getRVVStackSize());
76307f7c002Slewis-revill       }
764660bccecSAlex Bradbury     }
7655a31a673SHsiangkai Wang   }
7665a31a673SHsiangkai Wang 
7675a31a673SHsiangkai Wang   return Offset;
768660bccecSAlex Bradbury }
769b014e3deSAlex Bradbury 
770b014e3deSAlex Bradbury void RISCVFrameLowering::determineCalleeSaves(MachineFunction &MF,
771b014e3deSAlex Bradbury                                               BitVector &SavedRegs,
772b014e3deSAlex Bradbury                                               RegScavenger *RS) const {
773b014e3deSAlex Bradbury   TargetFrameLowering::determineCalleeSaves(MF, SavedRegs, RS);
7747d6aa1f7SAlex Bradbury   // Unconditionally spill RA and FP only if the function uses a frame
7757d6aa1f7SAlex Bradbury   // pointer.
7767d6aa1f7SAlex Bradbury   if (hasFP(MF)) {
777b014e3deSAlex Bradbury     SavedRegs.set(RISCV::X1);
778b014e3deSAlex Bradbury     SavedRegs.set(RISCV::X8);
779b014e3deSAlex Bradbury   }
780cf6cf0cdSShiva Chen   // Mark BP as used if function has dedicated base pointer.
781cf6cf0cdSShiva Chen   if (hasBP(MF))
782cf6cf0cdSShiva Chen     SavedRegs.set(RISCVABI::getBPReg());
7832e4106b7SAna Pazos 
7842e4106b7SAna Pazos   // If interrupt is enabled and there are calls in the handler,
7852e4106b7SAna Pazos   // unconditionally save all Caller-saved registers and
7862e4106b7SAna Pazos   // all FP registers, regardless whether they are used.
7872e4106b7SAna Pazos   MachineFrameInfo &MFI = MF.getFrameInfo();
7882e4106b7SAna Pazos 
7892e4106b7SAna Pazos   if (MF.getFunction().hasFnAttribute("interrupt") && MFI.hasCalls()) {
7902e4106b7SAna Pazos 
7912e4106b7SAna Pazos     static const MCPhysReg CSRegs[] = { RISCV::X1,      /* ra */
7922e4106b7SAna Pazos       RISCV::X5, RISCV::X6, RISCV::X7,                  /* t0-t2 */
7932e4106b7SAna Pazos       RISCV::X10, RISCV::X11,                           /* a0-a1, a2-a7 */
7942e4106b7SAna Pazos       RISCV::X12, RISCV::X13, RISCV::X14, RISCV::X15, RISCV::X16, RISCV::X17,
7952e4106b7SAna Pazos       RISCV::X28, RISCV::X29, RISCV::X30, RISCV::X31, 0 /* t3-t6 */
7962e4106b7SAna Pazos     };
7972e4106b7SAna Pazos 
7982e4106b7SAna Pazos     for (unsigned i = 0; CSRegs[i]; ++i)
7992e4106b7SAna Pazos       SavedRegs.set(CSRegs[i]);
8002e4106b7SAna Pazos 
801f7bc7c29SHsiangkai Wang     if (MF.getSubtarget<RISCVSubtarget>().hasStdExtF()) {
8022e4106b7SAna Pazos 
8032e4106b7SAna Pazos       // If interrupt is enabled, this list contains all FP registers.
8042e4106b7SAna Pazos       const MCPhysReg * Regs = MF.getRegInfo().getCalleeSavedRegs();
8052e4106b7SAna Pazos 
8062e4106b7SAna Pazos       for (unsigned i = 0; Regs[i]; ++i)
807f7bc7c29SHsiangkai Wang         if (RISCV::FPR16RegClass.contains(Regs[i]) ||
808f7bc7c29SHsiangkai Wang             RISCV::FPR32RegClass.contains(Regs[i]) ||
8092e4106b7SAna Pazos             RISCV::FPR64RegClass.contains(Regs[i]))
8102e4106b7SAna Pazos           SavedRegs.set(Regs[i]);
8112e4106b7SAna Pazos     }
8122e4106b7SAna Pazos   }
8137d6aa1f7SAlex Bradbury }
8140715d35eSAlex Bradbury 
8155a31a673SHsiangkai Wang int64_t
8165a31a673SHsiangkai Wang RISCVFrameLowering::assignRVVStackObjectOffsets(MachineFrameInfo &MFI) const {
8175a31a673SHsiangkai Wang   int64_t Offset = 0;
8185a31a673SHsiangkai Wang   // Create a buffer of RVV objects to allocate.
8195a31a673SHsiangkai Wang   SmallVector<int, 8> ObjectsToAllocate;
8205a31a673SHsiangkai Wang   for (int I = 0, E = MFI.getObjectIndexEnd(); I != E; ++I) {
8215a31a673SHsiangkai Wang     unsigned StackID = MFI.getStackID(I);
8225a31a673SHsiangkai Wang     if (StackID != TargetStackID::ScalableVector)
8235a31a673SHsiangkai Wang       continue;
8245a31a673SHsiangkai Wang     if (MFI.isDeadObjectIndex(I))
8255a31a673SHsiangkai Wang       continue;
8265a31a673SHsiangkai Wang 
8275a31a673SHsiangkai Wang     ObjectsToAllocate.push_back(I);
8285a31a673SHsiangkai Wang   }
8295a31a673SHsiangkai Wang 
8305a31a673SHsiangkai Wang   // Allocate all RVV locals and spills
8315a31a673SHsiangkai Wang   for (int FI : ObjectsToAllocate) {
8325a31a673SHsiangkai Wang     // ObjectSize in bytes.
8335a31a673SHsiangkai Wang     int64_t ObjectSize = MFI.getObjectSize(FI);
8345a31a673SHsiangkai Wang     // If the data type is the fractional vector type, reserve one vector
8355a31a673SHsiangkai Wang     // register for it.
8365a31a673SHsiangkai Wang     if (ObjectSize < 8)
8375a31a673SHsiangkai Wang       ObjectSize = 8;
8385a31a673SHsiangkai Wang     // Currently, all scalable vector types are aligned to 8 bytes.
8395a31a673SHsiangkai Wang     Offset = alignTo(Offset + ObjectSize, 8);
8405a31a673SHsiangkai Wang     MFI.setObjectOffset(FI, -Offset);
8415a31a673SHsiangkai Wang   }
8425a31a673SHsiangkai Wang 
8435a31a673SHsiangkai Wang   return Offset;
8445a31a673SHsiangkai Wang }
8455a31a673SHsiangkai Wang 
8460715d35eSAlex Bradbury void RISCVFrameLowering::processFunctionBeforeFrameFinalized(
8470715d35eSAlex Bradbury     MachineFunction &MF, RegScavenger *RS) const {
8480715d35eSAlex Bradbury   const TargetRegisterInfo *RegInfo = MF.getSubtarget().getRegisterInfo();
8490715d35eSAlex Bradbury   MachineFrameInfo &MFI = MF.getFrameInfo();
8500715d35eSAlex Bradbury   const TargetRegisterClass *RC = &RISCV::GPRRegClass;
851a9b9c64fSluxufan   auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
852a9b9c64fSluxufan 
853a9b9c64fSluxufan   int64_t RVVStackSize = assignRVVStackObjectOffsets(MFI);
854a9b9c64fSluxufan   RVFI->setRVVStackSize(RVVStackSize);
855a9b9c64fSluxufan 
8560715d35eSAlex Bradbury   // estimateStackSize has been observed to under-estimate the final stack
8570715d35eSAlex Bradbury   // size, so give ourselves wiggle-room by checking for stack size
8580715d35eSAlex Bradbury   // representable an 11-bit signed field rather than 12-bits.
8590715d35eSAlex Bradbury   // FIXME: It may be possible to craft a function with a small stack that
8600715d35eSAlex Bradbury   // still needs an emergency spill slot for branch relaxation. This case
8610715d35eSAlex Bradbury   // would currently be missed.
862a9b9c64fSluxufan   if (!isInt<11>(MFI.estimateStackSize(MF)) || RVVStackSize != 0) {
86328de229bSGuillaume Chatelet     int RegScavFI = MFI.CreateStackObject(RegInfo->getSpillSize(*RC),
86428de229bSGuillaume Chatelet                                           RegInfo->getSpillAlign(*RC), false);
8650715d35eSAlex Bradbury     RS->addScavengingFrameIndex(RegScavFI);
866b4a358a7SFraser Cormack     // For RVV, scalable stack offsets require up to two scratch registers to
867b4a358a7SFraser Cormack     // compute the final offset. Reserve an additional emergency spill slot.
868b4a358a7SFraser Cormack     if (RVVStackSize != 0) {
869b4a358a7SFraser Cormack       int RVVRegScavFI = MFI.CreateStackObject(
870b4a358a7SFraser Cormack           RegInfo->getSpillSize(*RC), RegInfo->getSpillAlign(*RC), false);
871b4a358a7SFraser Cormack       RS->addScavengingFrameIndex(RVVRegScavFI);
872b4a358a7SFraser Cormack     }
8730715d35eSAlex Bradbury   }
8745a31a673SHsiangkai Wang 
875a9b9c64fSluxufan   if (MFI.getCalleeSavedInfo().empty() || RVFI->useSaveRestoreLibCalls(MF)) {
876a9b9c64fSluxufan     RVFI->setCalleeSavedStackSize(0);
877a9b9c64fSluxufan     return;
878a9b9c64fSluxufan   }
879a9b9c64fSluxufan 
880ef76a333SRoger Ferrer Ibanez   unsigned Size = 0;
881a9b9c64fSluxufan   for (const auto &Info : MFI.getCalleeSavedInfo()) {
882a9b9c64fSluxufan     int FrameIdx = Info.getFrameIdx();
883a9b9c64fSluxufan     if (MFI.getStackID(FrameIdx) != TargetStackID::Default)
884a9b9c64fSluxufan       continue;
885a9b9c64fSluxufan 
886ef76a333SRoger Ferrer Ibanez     Size += MFI.getObjectSize(FrameIdx);
887a9b9c64fSluxufan   }
888a9b9c64fSluxufan   RVFI->setCalleeSavedStackSize(Size);
889ef76a333SRoger Ferrer Ibanez 
890ef76a333SRoger Ferrer Ibanez   // Padding required to keep the RVV stack aligned to 8 bytes
891ef76a333SRoger Ferrer Ibanez   // within the main stack. We only need this when not using FP.
892ef76a333SRoger Ferrer Ibanez   if (RVVStackSize && !hasFP(MF) && Size % 8 != 0) {
893ef76a333SRoger Ferrer Ibanez     // Because we add the padding to the size of the stack, adding
894ef76a333SRoger Ferrer Ibanez     // getStackAlign() will keep it aligned.
895ef76a333SRoger Ferrer Ibanez     RVFI->setRVVPadding(getStackAlign().value());
896ef76a333SRoger Ferrer Ibanez   }
8970715d35eSAlex Bradbury }
898cbd498acSShiva Chen 
899cbd498acSShiva Chen // Not preserve stack space within prologue for outgoing variables when the
900cbd498acSShiva Chen // function contains variable size objects and let eliminateCallFramePseudoInstr
901cbd498acSShiva Chen // preserve stack space for it.
902cbd498acSShiva Chen bool RISCVFrameLowering::hasReservedCallFrame(const MachineFunction &MF) const {
903cbd498acSShiva Chen   return !MF.getFrameInfo().hasVarSizedObjects();
904cbd498acSShiva Chen }
905cbd498acSShiva Chen 
906cbd498acSShiva Chen // Eliminate ADJCALLSTACKDOWN, ADJCALLSTACKUP pseudo instructions.
907cbd498acSShiva Chen MachineBasicBlock::iterator RISCVFrameLowering::eliminateCallFramePseudoInstr(
908cbd498acSShiva Chen     MachineFunction &MF, MachineBasicBlock &MBB,
909cbd498acSShiva Chen     MachineBasicBlock::iterator MI) const {
910fa06e958SLuis Marques   Register SPReg = RISCV::X2;
911cbd498acSShiva Chen   DebugLoc DL = MI->getDebugLoc();
912cbd498acSShiva Chen 
913cbd498acSShiva Chen   if (!hasReservedCallFrame(MF)) {
914cbd498acSShiva Chen     // If space has not been reserved for a call frame, ADJCALLSTACKDOWN and
915cbd498acSShiva Chen     // ADJCALLSTACKUP must be converted to instructions manipulating the stack
916cbd498acSShiva Chen     // pointer. This is necessary when there is a variable length stack
917cbd498acSShiva Chen     // allocation (e.g. alloca), which means it's not possible to allocate
918cbd498acSShiva Chen     // space for outgoing arguments from within the function prologue.
919cbd498acSShiva Chen     int64_t Amount = MI->getOperand(0).getImm();
920cbd498acSShiva Chen 
921cbd498acSShiva Chen     if (Amount != 0) {
922cbd498acSShiva Chen       // Ensure the stack remains aligned after adjustment.
923cbd498acSShiva Chen       Amount = alignSPAdjust(Amount);
924cbd498acSShiva Chen 
925cbd498acSShiva Chen       if (MI->getOpcode() == RISCV::ADJCALLSTACKDOWN)
926cbd498acSShiva Chen         Amount = -Amount;
927cbd498acSShiva Chen 
928cbd498acSShiva Chen       adjustReg(MBB, MI, DL, SPReg, SPReg, Amount, MachineInstr::NoFlags);
929cbd498acSShiva Chen     }
930cbd498acSShiva Chen   }
931cbd498acSShiva Chen 
932cbd498acSShiva Chen   return MBB.erase(MI);
933cbd498acSShiva Chen }
934ff55e2e0SShiva Chen 
935ff55e2e0SShiva Chen // We would like to split the SP adjustment to reduce prologue/epilogue
936ff55e2e0SShiva Chen // as following instructions. In this way, the offset of the callee saved
937ff55e2e0SShiva Chen // register could fit in a single store.
938ff55e2e0SShiva Chen //   add     sp,sp,-2032
939ff55e2e0SShiva Chen //   sw      ra,2028(sp)
940ff55e2e0SShiva Chen //   sw      s0,2024(sp)
941ff55e2e0SShiva Chen //   sw      s1,2020(sp)
942ff55e2e0SShiva Chen //   sw      s3,2012(sp)
943ff55e2e0SShiva Chen //   sw      s4,2008(sp)
944ff55e2e0SShiva Chen //   add     sp,sp,-64
945ff55e2e0SShiva Chen uint64_t
946ff55e2e0SShiva Chen RISCVFrameLowering::getFirstSPAdjustAmount(const MachineFunction &MF) const {
94707f7c002Slewis-revill   const auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
948ff55e2e0SShiva Chen   const MachineFrameInfo &MFI = MF.getFrameInfo();
949ff55e2e0SShiva Chen   const std::vector<CalleeSavedInfo> &CSI = MFI.getCalleeSavedInfo();
950ff55e2e0SShiva Chen   uint64_t StackSize = MFI.getStackSize();
951ff55e2e0SShiva Chen 
95207f7c002Slewis-revill   // Disable SplitSPAdjust if save-restore libcall used. The callee saved
95307f7c002Slewis-revill   // registers will be pushed by the save-restore libcalls, so we don't have to
95407f7c002Slewis-revill   // split the SP adjustment in this case.
95507f7c002Slewis-revill   if (RVFI->getLibCallStackSize())
95607f7c002Slewis-revill     return 0;
95707f7c002Slewis-revill 
958ff55e2e0SShiva Chen   // Return the FirstSPAdjustAmount if the StackSize can not fit in signed
959ff55e2e0SShiva Chen   // 12-bit and there exists a callee saved register need to be pushed.
960ff55e2e0SShiva Chen   if (!isInt<12>(StackSize) && (CSI.size() > 0)) {
961ff55e2e0SShiva Chen     // FirstSPAdjustAmount is choosed as (2048 - StackAlign)
962ff55e2e0SShiva Chen     // because 2048 will cause sp = sp + 2048 in epilogue split into
963ff55e2e0SShiva Chen     // multi-instructions. The offset smaller than 2048 can fit in signle
964ff55e2e0SShiva Chen     // load/store instruction and we have to stick with the stack alignment.
965ff55e2e0SShiva Chen     // 2048 is 16-byte alignment. The stack alignment for RV32 and RV64 is 16,
966ff55e2e0SShiva Chen     // for RV32E is 4. So (2048 - StackAlign) will satisfy the stack alignment.
9673ba550a0SGuillaume Chatelet     return 2048 - getStackAlign().value();
968ff55e2e0SShiva Chen   }
969ff55e2e0SShiva Chen   return 0;
970ff55e2e0SShiva Chen }
97107f7c002Slewis-revill 
97207f7c002Slewis-revill bool RISCVFrameLowering::spillCalleeSavedRegisters(
97307f7c002Slewis-revill     MachineBasicBlock &MBB, MachineBasicBlock::iterator MI,
97407f7c002Slewis-revill     ArrayRef<CalleeSavedInfo> CSI, const TargetRegisterInfo *TRI) const {
97507f7c002Slewis-revill   if (CSI.empty())
97607f7c002Slewis-revill     return true;
97707f7c002Slewis-revill 
97807f7c002Slewis-revill   MachineFunction *MF = MBB.getParent();
97907f7c002Slewis-revill   const TargetInstrInfo &TII = *MF->getSubtarget().getInstrInfo();
98007f7c002Slewis-revill   DebugLoc DL;
98107f7c002Slewis-revill   if (MI != MBB.end() && !MI->isDebugInstr())
98207f7c002Slewis-revill     DL = MI->getDebugLoc();
98307f7c002Slewis-revill 
98407f7c002Slewis-revill   const char *SpillLibCall = getSpillLibCallName(*MF, CSI);
98507f7c002Slewis-revill   if (SpillLibCall) {
98607f7c002Slewis-revill     // Add spill libcall via non-callee-saved register t0.
98707f7c002Slewis-revill     BuildMI(MBB, MI, DL, TII.get(RISCV::PseudoCALLReg), RISCV::X5)
98807f7c002Slewis-revill         .addExternalSymbol(SpillLibCall, RISCVII::MO_CALL)
98907f7c002Slewis-revill         .setMIFlag(MachineInstr::FrameSetup);
99007f7c002Slewis-revill 
99107f7c002Slewis-revill     // Add registers spilled in libcall as liveins.
99207f7c002Slewis-revill     for (auto &CS : CSI)
99307f7c002Slewis-revill       MBB.addLiveIn(CS.getReg());
99407f7c002Slewis-revill   }
99507f7c002Slewis-revill 
99607f7c002Slewis-revill   // Manually spill values not spilled by libcall.
9975a31a673SHsiangkai Wang   const auto &NonLibcallCSI = getNonLibcallCSI(*MF, CSI);
99807f7c002Slewis-revill   for (auto &CS : NonLibcallCSI) {
99907f7c002Slewis-revill     // Insert the spill to the stack frame.
100007f7c002Slewis-revill     Register Reg = CS.getReg();
100107f7c002Slewis-revill     const TargetRegisterClass *RC = TRI->getMinimalPhysRegClass(Reg);
100207f7c002Slewis-revill     TII.storeRegToStackSlot(MBB, MI, Reg, true, CS.getFrameIdx(), RC, TRI);
100307f7c002Slewis-revill   }
100407f7c002Slewis-revill 
100507f7c002Slewis-revill   return true;
100607f7c002Slewis-revill }
100707f7c002Slewis-revill 
100807f7c002Slewis-revill bool RISCVFrameLowering::restoreCalleeSavedRegisters(
100907f7c002Slewis-revill     MachineBasicBlock &MBB, MachineBasicBlock::iterator MI,
1010186dd631SBenjamin Kramer     MutableArrayRef<CalleeSavedInfo> CSI, const TargetRegisterInfo *TRI) const {
101107f7c002Slewis-revill   if (CSI.empty())
101207f7c002Slewis-revill     return true;
101307f7c002Slewis-revill 
101407f7c002Slewis-revill   MachineFunction *MF = MBB.getParent();
101507f7c002Slewis-revill   const TargetInstrInfo &TII = *MF->getSubtarget().getInstrInfo();
101607f7c002Slewis-revill   DebugLoc DL;
101707f7c002Slewis-revill   if (MI != MBB.end() && !MI->isDebugInstr())
101807f7c002Slewis-revill     DL = MI->getDebugLoc();
101907f7c002Slewis-revill 
102007f7c002Slewis-revill   // Manually restore values not restored by libcall. Insert in reverse order.
102107f7c002Slewis-revill   // loadRegFromStackSlot can insert multiple instructions.
10225a31a673SHsiangkai Wang   const auto &NonLibcallCSI = getNonLibcallCSI(*MF, CSI);
102307f7c002Slewis-revill   for (auto &CS : reverse(NonLibcallCSI)) {
102407f7c002Slewis-revill     Register Reg = CS.getReg();
102507f7c002Slewis-revill     const TargetRegisterClass *RC = TRI->getMinimalPhysRegClass(Reg);
102607f7c002Slewis-revill     TII.loadRegFromStackSlot(MBB, MI, Reg, CS.getFrameIdx(), RC, TRI);
102707f7c002Slewis-revill     assert(MI != MBB.begin() && "loadRegFromStackSlot didn't insert any code!");
102807f7c002Slewis-revill   }
102907f7c002Slewis-revill 
103007f7c002Slewis-revill   const char *RestoreLibCall = getRestoreLibCallName(*MF, CSI);
103107f7c002Slewis-revill   if (RestoreLibCall) {
103207f7c002Slewis-revill     // Add restore libcall via tail call.
103307f7c002Slewis-revill     MachineBasicBlock::iterator NewMI =
103407f7c002Slewis-revill         BuildMI(MBB, MI, DL, TII.get(RISCV::PseudoTAIL))
103507f7c002Slewis-revill             .addExternalSymbol(RestoreLibCall, RISCVII::MO_CALL)
103607f7c002Slewis-revill             .setMIFlag(MachineInstr::FrameDestroy);
103707f7c002Slewis-revill 
103807f7c002Slewis-revill     // Remove trailing returns, since the terminator is now a tail call to the
103907f7c002Slewis-revill     // restore function.
104007f7c002Slewis-revill     if (MI != MBB.end() && MI->getOpcode() == RISCV::PseudoRET) {
104107f7c002Slewis-revill       NewMI->copyImplicitOps(*MF, *MI);
104207f7c002Slewis-revill       MI->eraseFromParent();
104307f7c002Slewis-revill     }
104407f7c002Slewis-revill   }
104507f7c002Slewis-revill 
104607f7c002Slewis-revill   return true;
104707f7c002Slewis-revill }
104807f7c002Slewis-revill 
104907f7c002Slewis-revill bool RISCVFrameLowering::canUseAsPrologue(const MachineBasicBlock &MBB) const {
105007f7c002Slewis-revill   MachineBasicBlock *TmpMBB = const_cast<MachineBasicBlock *>(&MBB);
105108649f0aSMatt Arsenault   const MachineFunction *MF = MBB.getParent();
105208649f0aSMatt Arsenault   const auto *RVFI = MF->getInfo<RISCVMachineFunctionInfo>();
105307f7c002Slewis-revill 
105408649f0aSMatt Arsenault   if (!RVFI->useSaveRestoreLibCalls(*MF))
105507f7c002Slewis-revill     return true;
105607f7c002Slewis-revill 
105707f7c002Slewis-revill   // Inserting a call to a __riscv_save libcall requires the use of the register
105807f7c002Slewis-revill   // t0 (X5) to hold the return address. Therefore if this register is already
105907f7c002Slewis-revill   // used we can't insert the call.
106007f7c002Slewis-revill 
106107f7c002Slewis-revill   RegScavenger RS;
106207f7c002Slewis-revill   RS.enterBasicBlock(*TmpMBB);
106307f7c002Slewis-revill   return !RS.isRegUsed(RISCV::X5);
106407f7c002Slewis-revill }
106507f7c002Slewis-revill 
106607f7c002Slewis-revill bool RISCVFrameLowering::canUseAsEpilogue(const MachineBasicBlock &MBB) const {
106708649f0aSMatt Arsenault   const MachineFunction *MF = MBB.getParent();
106807f7c002Slewis-revill   MachineBasicBlock *TmpMBB = const_cast<MachineBasicBlock *>(&MBB);
106908649f0aSMatt Arsenault   const auto *RVFI = MF->getInfo<RISCVMachineFunctionInfo>();
107007f7c002Slewis-revill 
107108649f0aSMatt Arsenault   if (!RVFI->useSaveRestoreLibCalls(*MF))
107207f7c002Slewis-revill     return true;
107307f7c002Slewis-revill 
107407f7c002Slewis-revill   // Using the __riscv_restore libcalls to restore CSRs requires a tail call.
107507f7c002Slewis-revill   // This means if we still need to continue executing code within this function
107607f7c002Slewis-revill   // the restore cannot take place in this basic block.
107707f7c002Slewis-revill 
107807f7c002Slewis-revill   if (MBB.succ_size() > 1)
107907f7c002Slewis-revill     return false;
108007f7c002Slewis-revill 
108107f7c002Slewis-revill   MachineBasicBlock *SuccMBB =
108207f7c002Slewis-revill       MBB.succ_empty() ? TmpMBB->getFallThrough() : *MBB.succ_begin();
108307f7c002Slewis-revill 
108407f7c002Slewis-revill   // Doing a tail call should be safe if there are no successors, because either
108507f7c002Slewis-revill   // we have a returning block or the end of the block is unreachable, so the
108607f7c002Slewis-revill   // restore will be eliminated regardless.
108707f7c002Slewis-revill   if (!SuccMBB)
108807f7c002Slewis-revill     return true;
108907f7c002Slewis-revill 
109007f7c002Slewis-revill   // The successor can only contain a return, since we would effectively be
109107f7c002Slewis-revill   // replacing the successor with our own tail return at the end of our block.
109207f7c002Slewis-revill   return SuccMBB->isReturnBlock() && SuccMBB->size() == 1;
109307f7c002Slewis-revill }
10945a31a673SHsiangkai Wang 
10955a31a673SHsiangkai Wang bool RISCVFrameLowering::isSupportedStackID(TargetStackID::Value ID) const {
10965a31a673SHsiangkai Wang   switch (ID) {
10975a31a673SHsiangkai Wang   case TargetStackID::Default:
10985a31a673SHsiangkai Wang   case TargetStackID::ScalableVector:
10995a31a673SHsiangkai Wang     return true;
11005a31a673SHsiangkai Wang   case TargetStackID::NoAlloc:
11015a31a673SHsiangkai Wang   case TargetStackID::SGPRSpill:
11025a31a673SHsiangkai Wang     return false;
11035a31a673SHsiangkai Wang   }
11045a31a673SHsiangkai Wang   llvm_unreachable("Invalid TargetStackID::Value");
11055a31a673SHsiangkai Wang }
11065a31a673SHsiangkai Wang 
11075a31a673SHsiangkai Wang TargetStackID::Value RISCVFrameLowering::getStackIDForScalableVectors() const {
11085a31a673SHsiangkai Wang   return TargetStackID::ScalableVector;
11095a31a673SHsiangkai Wang }
1110