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"
2104ddf39bSHsiangkai Wang #include "llvm/MC/MCDwarf.h"
228971842fSAlex Bradbury 
238971842fSAlex Bradbury using namespace llvm;
248971842fSAlex Bradbury 
257d6aa1f7SAlex Bradbury bool RISCVFrameLowering::hasFP(const MachineFunction &MF) const {
267d6aa1f7SAlex Bradbury   const TargetRegisterInfo *RegInfo = MF.getSubtarget().getRegisterInfo();
277d6aa1f7SAlex Bradbury 
287d6aa1f7SAlex Bradbury   const MachineFrameInfo &MFI = MF.getFrameInfo();
297d6aa1f7SAlex Bradbury   return MF.getTarget().Options.DisableFramePointerElim(MF) ||
307d6aa1f7SAlex Bradbury          RegInfo->needsStackRealignment(MF) || MFI.hasVarSizedObjects() ||
317d6aa1f7SAlex Bradbury          MFI.isFrameAddressTaken();
327d6aa1f7SAlex Bradbury }
338971842fSAlex Bradbury 
34b014e3deSAlex Bradbury // Determines the size of the frame and maximum call frame size.
35b014e3deSAlex Bradbury void RISCVFrameLowering::determineFrameLayout(MachineFunction &MF) const {
36b014e3deSAlex Bradbury   MachineFrameInfo &MFI = MF.getFrameInfo();
37b014e3deSAlex Bradbury   const RISCVRegisterInfo *RI = STI.getRegisterInfo();
38b014e3deSAlex Bradbury 
39b014e3deSAlex Bradbury   // Get the number of bytes to allocate from the FrameInfo.
40b014e3deSAlex Bradbury   uint64_t FrameSize = MFI.getStackSize();
41b014e3deSAlex Bradbury 
42b014e3deSAlex Bradbury   // Get the alignment.
43cd44aee3SSam Elliott   unsigned StackAlign = getStackAlignment();
44cd44aee3SSam Elliott   if (RI->needsStackRealignment(MF)) {
45cd44aee3SSam Elliott     unsigned MaxStackAlign = std::max(StackAlign, MFI.getMaxAlignment());
46cd44aee3SSam Elliott     FrameSize += (MaxStackAlign - StackAlign);
47cd44aee3SSam Elliott     StackAlign = MaxStackAlign;
48cd44aee3SSam Elliott   }
49cd44aee3SSam Elliott 
50cd44aee3SSam Elliott   // Set Max Call Frame Size
51cd44aee3SSam Elliott   uint64_t MaxCallSize = alignTo(MFI.getMaxCallFrameSize(), StackAlign);
52cd44aee3SSam Elliott   MFI.setMaxCallFrameSize(MaxCallSize);
53b014e3deSAlex Bradbury 
54b014e3deSAlex Bradbury   // Make sure the frame is aligned.
55b014e3deSAlex Bradbury   FrameSize = alignTo(FrameSize, StackAlign);
56b014e3deSAlex Bradbury 
57b014e3deSAlex Bradbury   // Update frame info.
58b014e3deSAlex Bradbury   MFI.setStackSize(FrameSize);
59b014e3deSAlex Bradbury }
60b014e3deSAlex Bradbury 
61b014e3deSAlex Bradbury void RISCVFrameLowering::adjustReg(MachineBasicBlock &MBB,
62b014e3deSAlex Bradbury                                    MachineBasicBlock::iterator MBBI,
63fa06e958SLuis Marques                                    const DebugLoc &DL, Register DestReg,
64fa06e958SLuis Marques                                    Register SrcReg, int64_t Val,
65b014e3deSAlex Bradbury                                    MachineInstr::MIFlag Flag) const {
669fea4881SAlex Bradbury   MachineRegisterInfo &MRI = MBB.getParent()->getRegInfo();
67b014e3deSAlex Bradbury   const RISCVInstrInfo *TII = STI.getInstrInfo();
68b014e3deSAlex Bradbury 
69b014e3deSAlex Bradbury   if (DestReg == SrcReg && Val == 0)
70b014e3deSAlex Bradbury     return;
71b014e3deSAlex Bradbury 
729fea4881SAlex Bradbury   if (isInt<12>(Val)) {
73b014e3deSAlex Bradbury     BuildMI(MBB, MBBI, DL, TII->get(RISCV::ADDI), DestReg)
74b014e3deSAlex Bradbury         .addReg(SrcReg)
75b014e3deSAlex Bradbury         .addImm(Val)
76b014e3deSAlex Bradbury         .setMIFlag(Flag);
77*a49a16ddSShiva Chen   } else {
789fea4881SAlex Bradbury     unsigned Opc = RISCV::ADD;
799fea4881SAlex Bradbury     bool isSub = Val < 0;
809fea4881SAlex Bradbury     if (isSub) {
819fea4881SAlex Bradbury       Val = -Val;
829fea4881SAlex Bradbury       Opc = RISCV::SUB;
839fea4881SAlex Bradbury     }
849fea4881SAlex Bradbury 
853836874dSDaniel Sanders     Register ScratchReg = MRI.createVirtualRegister(&RISCV::GPRRegClass);
86*a49a16ddSShiva Chen     TII->movImm(MBB, MBBI, DL, ScratchReg, Val, Flag);
879fea4881SAlex Bradbury     BuildMI(MBB, MBBI, DL, TII->get(Opc), DestReg)
889fea4881SAlex Bradbury         .addReg(SrcReg)
899fea4881SAlex Bradbury         .addReg(ScratchReg, RegState::Kill)
909fea4881SAlex Bradbury         .setMIFlag(Flag);
919fea4881SAlex Bradbury   }
92b014e3deSAlex Bradbury }
93b014e3deSAlex Bradbury 
94b014e3deSAlex Bradbury // Returns the register used to hold the frame pointer.
95fa06e958SLuis Marques static Register getFPReg(const RISCVSubtarget &STI) { return RISCV::X8; }
96b014e3deSAlex Bradbury 
97b014e3deSAlex Bradbury // Returns the register used to hold the stack pointer.
98fa06e958SLuis Marques static Register getSPReg(const RISCVSubtarget &STI) { return RISCV::X2; }
99b014e3deSAlex Bradbury 
1008971842fSAlex Bradbury void RISCVFrameLowering::emitPrologue(MachineFunction &MF,
101b014e3deSAlex Bradbury                                       MachineBasicBlock &MBB) const {
102b014e3deSAlex Bradbury   assert(&MF.front() == &MBB && "Shrink-wrapping not yet supported");
103b014e3deSAlex Bradbury 
104b014e3deSAlex Bradbury   MachineFrameInfo &MFI = MF.getFrameInfo();
105c85be0deSAlex Bradbury   auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
10604ddf39bSHsiangkai Wang   const RISCVRegisterInfo *RI = STI.getRegisterInfo();
10704ddf39bSHsiangkai Wang   const RISCVInstrInfo *TII = STI.getInstrInfo();
108b014e3deSAlex Bradbury   MachineBasicBlock::iterator MBBI = MBB.begin();
109b014e3deSAlex Bradbury 
110cd44aee3SSam Elliott   if (RI->needsStackRealignment(MF) && MFI.hasVarSizedObjects()) {
111cd44aee3SSam Elliott     report_fatal_error(
112cd44aee3SSam Elliott         "RISC-V backend can't currently handle functions that need stack "
113cd44aee3SSam Elliott         "realignment and have variable sized objects");
114cd44aee3SSam Elliott   }
115cd44aee3SSam Elliott 
116fa06e958SLuis Marques   Register FPReg = getFPReg(STI);
117fa06e958SLuis Marques   Register SPReg = getSPReg(STI);
118b014e3deSAlex Bradbury 
119b014e3deSAlex Bradbury   // Debug location must be unknown since the first debug location is used
120b014e3deSAlex Bradbury   // to determine the end of the prologue.
121b014e3deSAlex Bradbury   DebugLoc DL;
122b014e3deSAlex Bradbury 
123b014e3deSAlex Bradbury   // Determine the correct frame layout
124b014e3deSAlex Bradbury   determineFrameLayout(MF);
125b014e3deSAlex Bradbury 
126b014e3deSAlex Bradbury   // FIXME (note copied from Lanai): This appears to be overallocating.  Needs
127b014e3deSAlex Bradbury   // investigation. Get the number of bytes to allocate from the FrameInfo.
128b014e3deSAlex Bradbury   uint64_t StackSize = MFI.getStackSize();
129b014e3deSAlex Bradbury 
130b014e3deSAlex Bradbury   // Early exit if there is no need to allocate on the stack
131b014e3deSAlex Bradbury   if (StackSize == 0 && !MFI.adjustsStack())
132b014e3deSAlex Bradbury     return;
133b014e3deSAlex Bradbury 
134b014e3deSAlex Bradbury   // Allocate space on the stack if necessary.
135b014e3deSAlex Bradbury   adjustReg(MBB, MBBI, DL, SPReg, SPReg, -StackSize, MachineInstr::FrameSetup);
136b014e3deSAlex Bradbury 
13704ddf39bSHsiangkai Wang   // Emit ".cfi_def_cfa_offset StackSize"
13804ddf39bSHsiangkai Wang   unsigned CFIIndex = MF.addFrameInst(
13904ddf39bSHsiangkai Wang       MCCFIInstruction::createDefCfaOffset(nullptr, -StackSize));
14004ddf39bSHsiangkai Wang   BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION))
14104ddf39bSHsiangkai Wang       .addCFIIndex(CFIIndex);
14204ddf39bSHsiangkai Wang 
143b014e3deSAlex Bradbury   // The frame pointer is callee-saved, and code has been generated for us to
144b014e3deSAlex Bradbury   // save it to the stack. We need to skip over the storing of callee-saved
145b014e3deSAlex Bradbury   // registers as the frame pointer must be modified after it has been saved
146b014e3deSAlex Bradbury   // to the stack, not before.
147b014e3deSAlex Bradbury   // FIXME: assumes exactly one instruction is used to save each callee-saved
148b014e3deSAlex Bradbury   // register.
149b014e3deSAlex Bradbury   const std::vector<CalleeSavedInfo> &CSI = MFI.getCalleeSavedInfo();
150b014e3deSAlex Bradbury   std::advance(MBBI, CSI.size());
151b014e3deSAlex Bradbury 
15204ddf39bSHsiangkai Wang   // Iterate over list of callee-saved registers and emit .cfi_offset
15304ddf39bSHsiangkai Wang   // directives.
15404ddf39bSHsiangkai Wang   for (const auto &Entry : CSI) {
15504ddf39bSHsiangkai Wang     int64_t Offset = MFI.getObjectOffset(Entry.getFrameIdx());
156fa06e958SLuis Marques     Register Reg = Entry.getReg();
15704ddf39bSHsiangkai Wang     unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::createOffset(
15804ddf39bSHsiangkai Wang         nullptr, RI->getDwarfRegNum(Reg, true), Offset));
15904ddf39bSHsiangkai Wang     BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION))
16004ddf39bSHsiangkai Wang         .addCFIIndex(CFIIndex);
16104ddf39bSHsiangkai Wang   }
16204ddf39bSHsiangkai Wang 
163b014e3deSAlex Bradbury   // Generate new FP.
16404ddf39bSHsiangkai Wang   if (hasFP(MF)) {
1657d6aa1f7SAlex Bradbury     adjustReg(MBB, MBBI, DL, FPReg, SPReg,
1667d6aa1f7SAlex Bradbury               StackSize - RVFI->getVarArgsSaveSize(), MachineInstr::FrameSetup);
16704ddf39bSHsiangkai Wang 
16804ddf39bSHsiangkai Wang     // Emit ".cfi_def_cfa $fp, 0"
16904ddf39bSHsiangkai Wang     unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::createDefCfa(
17004ddf39bSHsiangkai Wang         nullptr, RI->getDwarfRegNum(FPReg, true), 0));
17104ddf39bSHsiangkai Wang     BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION))
17204ddf39bSHsiangkai Wang         .addCFIIndex(CFIIndex);
173cd44aee3SSam Elliott 
174cd44aee3SSam Elliott     // Realign Stack
175cd44aee3SSam Elliott     const RISCVRegisterInfo *RI = STI.getRegisterInfo();
176cd44aee3SSam Elliott     if (RI->needsStackRealignment(MF)) {
177cd44aee3SSam Elliott       unsigned MaxAlignment = MFI.getMaxAlignment();
178cd44aee3SSam Elliott 
179cd44aee3SSam Elliott       const RISCVInstrInfo *TII = STI.getInstrInfo();
180cd44aee3SSam Elliott       if (isInt<12>(-(int)MaxAlignment)) {
181cd44aee3SSam Elliott         BuildMI(MBB, MBBI, DL, TII->get(RISCV::ANDI), SPReg)
182cd44aee3SSam Elliott             .addReg(SPReg)
183cd44aee3SSam Elliott             .addImm(-(int)MaxAlignment);
184cd44aee3SSam Elliott       } else {
185cd44aee3SSam Elliott         unsigned ShiftAmount = countTrailingZeros(MaxAlignment);
186fa06e958SLuis Marques         Register VR =
187cd44aee3SSam Elliott             MF.getRegInfo().createVirtualRegister(&RISCV::GPRRegClass);
188cd44aee3SSam Elliott         BuildMI(MBB, MBBI, DL, TII->get(RISCV::SRLI), VR)
189cd44aee3SSam Elliott             .addReg(SPReg)
190cd44aee3SSam Elliott             .addImm(ShiftAmount);
191cd44aee3SSam Elliott         BuildMI(MBB, MBBI, DL, TII->get(RISCV::SLLI), SPReg)
192cd44aee3SSam Elliott             .addReg(VR)
193cd44aee3SSam Elliott             .addImm(ShiftAmount);
194cd44aee3SSam Elliott       }
195cd44aee3SSam Elliott     }
19604ddf39bSHsiangkai Wang   }
197b014e3deSAlex Bradbury }
1988971842fSAlex Bradbury 
1998971842fSAlex Bradbury void RISCVFrameLowering::emitEpilogue(MachineFunction &MF,
200b014e3deSAlex Bradbury                                       MachineBasicBlock &MBB) const {
201b014e3deSAlex Bradbury   MachineBasicBlock::iterator MBBI = MBB.getLastNonDebugInstr();
202b014e3deSAlex Bradbury   const RISCVRegisterInfo *RI = STI.getRegisterInfo();
203b014e3deSAlex Bradbury   MachineFrameInfo &MFI = MF.getFrameInfo();
204c85be0deSAlex Bradbury   auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
205b014e3deSAlex Bradbury   DebugLoc DL = MBBI->getDebugLoc();
20604ddf39bSHsiangkai Wang   const RISCVInstrInfo *TII = STI.getInstrInfo();
207fa06e958SLuis Marques   Register FPReg = getFPReg(STI);
208fa06e958SLuis Marques   Register SPReg = getSPReg(STI);
209b014e3deSAlex Bradbury 
210b014e3deSAlex Bradbury   // Skip to before the restores of callee-saved registers
211b014e3deSAlex Bradbury   // FIXME: assumes exactly one instruction is used to restore each
212b014e3deSAlex Bradbury   // callee-saved register.
21361b28edeSAna Pazos   auto LastFrameDestroy = std::prev(MBBI, MFI.getCalleeSavedInfo().size());
214b014e3deSAlex Bradbury 
215b014e3deSAlex Bradbury   uint64_t StackSize = MFI.getStackSize();
21604ddf39bSHsiangkai Wang   uint64_t FPOffset = StackSize - RVFI->getVarArgsSaveSize();
217b014e3deSAlex Bradbury 
218b014e3deSAlex Bradbury   // Restore the stack pointer using the value of the frame pointer. Only
219b014e3deSAlex Bradbury   // necessary if the stack pointer was modified, meaning the stack size is
220b014e3deSAlex Bradbury   // unknown.
221b014e3deSAlex Bradbury   if (RI->needsStackRealignment(MF) || MFI.hasVarSizedObjects()) {
2227d6aa1f7SAlex Bradbury     assert(hasFP(MF) && "frame pointer should not have been eliminated");
22304ddf39bSHsiangkai Wang     adjustReg(MBB, LastFrameDestroy, DL, SPReg, FPReg, -FPOffset,
224b014e3deSAlex Bradbury               MachineInstr::FrameDestroy);
225b014e3deSAlex Bradbury   }
226b014e3deSAlex Bradbury 
22704ddf39bSHsiangkai Wang   if (hasFP(MF)) {
22804ddf39bSHsiangkai Wang     // To find the instruction restoring FP from stack.
22904ddf39bSHsiangkai Wang     for (auto &I = LastFrameDestroy; I != MBBI; ++I) {
23004ddf39bSHsiangkai Wang       if (I->mayLoad() && I->getOperand(0).isReg()) {
2313836874dSDaniel Sanders         Register DestReg = I->getOperand(0).getReg();
23204ddf39bSHsiangkai Wang         if (DestReg == FPReg) {
23304ddf39bSHsiangkai Wang           // If there is frame pointer, after restoring $fp registers, we
23404ddf39bSHsiangkai Wang           // need adjust CFA to ($sp - FPOffset).
23504ddf39bSHsiangkai Wang           // Emit ".cfi_def_cfa $sp, -FPOffset"
23604ddf39bSHsiangkai Wang           unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::createDefCfa(
23704ddf39bSHsiangkai Wang               nullptr, RI->getDwarfRegNum(SPReg, true), -FPOffset));
23804ddf39bSHsiangkai Wang           BuildMI(MBB, std::next(I), DL,
23904ddf39bSHsiangkai Wang                   TII->get(TargetOpcode::CFI_INSTRUCTION))
24004ddf39bSHsiangkai Wang               .addCFIIndex(CFIIndex);
24104ddf39bSHsiangkai Wang           break;
24204ddf39bSHsiangkai Wang         }
24304ddf39bSHsiangkai Wang       }
24404ddf39bSHsiangkai Wang     }
24504ddf39bSHsiangkai Wang   }
24604ddf39bSHsiangkai Wang 
24704ddf39bSHsiangkai Wang   // Add CFI directives for callee-saved registers.
24804ddf39bSHsiangkai Wang   const std::vector<CalleeSavedInfo> &CSI = MFI.getCalleeSavedInfo();
24904ddf39bSHsiangkai Wang   // Iterate over list of callee-saved registers and emit .cfi_restore
25004ddf39bSHsiangkai Wang   // directives.
25104ddf39bSHsiangkai Wang   for (const auto &Entry : CSI) {
252fa06e958SLuis Marques     Register Reg = Entry.getReg();
25304ddf39bSHsiangkai Wang     unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::createRestore(
25404ddf39bSHsiangkai Wang         nullptr, RI->getDwarfRegNum(Reg, true)));
25504ddf39bSHsiangkai Wang     BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION))
25604ddf39bSHsiangkai Wang         .addCFIIndex(CFIIndex);
25704ddf39bSHsiangkai Wang   }
25804ddf39bSHsiangkai Wang 
259b014e3deSAlex Bradbury   // Deallocate stack
260b014e3deSAlex Bradbury   adjustReg(MBB, MBBI, DL, SPReg, SPReg, StackSize, MachineInstr::FrameDestroy);
26104ddf39bSHsiangkai Wang 
26204ddf39bSHsiangkai Wang   // After restoring $sp, we need to adjust CFA to $(sp + 0)
26304ddf39bSHsiangkai Wang   // Emit ".cfi_def_cfa_offset 0"
26404ddf39bSHsiangkai Wang   unsigned CFIIndex =
26504ddf39bSHsiangkai Wang       MF.addFrameInst(MCCFIInstruction::createDefCfaOffset(nullptr, 0));
26604ddf39bSHsiangkai Wang   BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION))
26704ddf39bSHsiangkai Wang       .addCFIIndex(CFIIndex);
268b014e3deSAlex Bradbury }
269660bccecSAlex Bradbury 
270660bccecSAlex Bradbury int RISCVFrameLowering::getFrameIndexReference(const MachineFunction &MF,
271660bccecSAlex Bradbury                                                int FI,
272660bccecSAlex Bradbury                                                unsigned &FrameReg) const {
273660bccecSAlex Bradbury   const MachineFrameInfo &MFI = MF.getFrameInfo();
274660bccecSAlex Bradbury   const TargetRegisterInfo *RI = MF.getSubtarget().getRegisterInfo();
275c85be0deSAlex Bradbury   const auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
276660bccecSAlex Bradbury 
277660bccecSAlex Bradbury   // Callee-saved registers should be referenced relative to the stack
278660bccecSAlex Bradbury   // pointer (positive offset), otherwise use the frame pointer (negative
279660bccecSAlex Bradbury   // offset).
280660bccecSAlex Bradbury   const std::vector<CalleeSavedInfo> &CSI = MFI.getCalleeSavedInfo();
281660bccecSAlex Bradbury   int MinCSFI = 0;
282660bccecSAlex Bradbury   int MaxCSFI = -1;
283660bccecSAlex Bradbury 
284660bccecSAlex Bradbury   int Offset = MFI.getObjectOffset(FI) - getOffsetOfLocalArea() +
285660bccecSAlex Bradbury                MFI.getOffsetAdjustment();
286660bccecSAlex Bradbury 
287660bccecSAlex Bradbury   if (CSI.size()) {
288660bccecSAlex Bradbury     MinCSFI = CSI[0].getFrameIdx();
289660bccecSAlex Bradbury     MaxCSFI = CSI[CSI.size() - 1].getFrameIdx();
290660bccecSAlex Bradbury   }
291660bccecSAlex Bradbury 
292660bccecSAlex Bradbury   if (FI >= MinCSFI && FI <= MaxCSFI) {
293660bccecSAlex Bradbury     FrameReg = RISCV::X2;
294660bccecSAlex Bradbury     Offset += MF.getFrameInfo().getStackSize();
295cd44aee3SSam Elliott   } else if (RI->needsStackRealignment(MF)) {
296cd44aee3SSam Elliott     assert(!MFI.hasVarSizedObjects() &&
297cd44aee3SSam Elliott            "Unexpected combination of stack realignment and varsized objects");
298cd44aee3SSam Elliott     // If the stack was realigned, the frame pointer is set in order to allow
299cd44aee3SSam Elliott     // SP to be restored, but we still access stack objects using SP.
300cd44aee3SSam Elliott     FrameReg = RISCV::X2;
301cd44aee3SSam Elliott     Offset += MF.getFrameInfo().getStackSize();
302c85be0deSAlex Bradbury   } else {
303c85be0deSAlex Bradbury     FrameReg = RI->getFrameRegister(MF);
3047d6aa1f7SAlex Bradbury     if (hasFP(MF))
305c85be0deSAlex Bradbury       Offset += RVFI->getVarArgsSaveSize();
3067d6aa1f7SAlex Bradbury     else
3077d6aa1f7SAlex Bradbury       Offset += MF.getFrameInfo().getStackSize();
308660bccecSAlex Bradbury   }
309660bccecSAlex Bradbury   return Offset;
310660bccecSAlex Bradbury }
311b014e3deSAlex Bradbury 
312b014e3deSAlex Bradbury void RISCVFrameLowering::determineCalleeSaves(MachineFunction &MF,
313b014e3deSAlex Bradbury                                               BitVector &SavedRegs,
314b014e3deSAlex Bradbury                                               RegScavenger *RS) const {
315b014e3deSAlex Bradbury   TargetFrameLowering::determineCalleeSaves(MF, SavedRegs, RS);
3167d6aa1f7SAlex Bradbury   // Unconditionally spill RA and FP only if the function uses a frame
3177d6aa1f7SAlex Bradbury   // pointer.
3187d6aa1f7SAlex Bradbury   if (hasFP(MF)) {
319b014e3deSAlex Bradbury     SavedRegs.set(RISCV::X1);
320b014e3deSAlex Bradbury     SavedRegs.set(RISCV::X8);
321b014e3deSAlex Bradbury   }
3222e4106b7SAna Pazos 
3232e4106b7SAna Pazos   // If interrupt is enabled and there are calls in the handler,
3242e4106b7SAna Pazos   // unconditionally save all Caller-saved registers and
3252e4106b7SAna Pazos   // all FP registers, regardless whether they are used.
3262e4106b7SAna Pazos   MachineFrameInfo &MFI = MF.getFrameInfo();
3272e4106b7SAna Pazos 
3282e4106b7SAna Pazos   if (MF.getFunction().hasFnAttribute("interrupt") && MFI.hasCalls()) {
3292e4106b7SAna Pazos 
3302e4106b7SAna Pazos     static const MCPhysReg CSRegs[] = { RISCV::X1,      /* ra */
3312e4106b7SAna Pazos       RISCV::X5, RISCV::X6, RISCV::X7,                  /* t0-t2 */
3322e4106b7SAna Pazos       RISCV::X10, RISCV::X11,                           /* a0-a1, a2-a7 */
3332e4106b7SAna Pazos       RISCV::X12, RISCV::X13, RISCV::X14, RISCV::X15, RISCV::X16, RISCV::X17,
3342e4106b7SAna Pazos       RISCV::X28, RISCV::X29, RISCV::X30, RISCV::X31, 0 /* t3-t6 */
3352e4106b7SAna Pazos     };
3362e4106b7SAna Pazos 
3372e4106b7SAna Pazos     for (unsigned i = 0; CSRegs[i]; ++i)
3382e4106b7SAna Pazos       SavedRegs.set(CSRegs[i]);
3392e4106b7SAna Pazos 
3402e4106b7SAna Pazos     if (MF.getSubtarget<RISCVSubtarget>().hasStdExtD() ||
3412e4106b7SAna Pazos         MF.getSubtarget<RISCVSubtarget>().hasStdExtF()) {
3422e4106b7SAna Pazos 
3432e4106b7SAna Pazos       // If interrupt is enabled, this list contains all FP registers.
3442e4106b7SAna Pazos       const MCPhysReg * Regs = MF.getRegInfo().getCalleeSavedRegs();
3452e4106b7SAna Pazos 
3462e4106b7SAna Pazos       for (unsigned i = 0; Regs[i]; ++i)
3472e4106b7SAna Pazos         if (RISCV::FPR32RegClass.contains(Regs[i]) ||
3482e4106b7SAna Pazos             RISCV::FPR64RegClass.contains(Regs[i]))
3492e4106b7SAna Pazos           SavedRegs.set(Regs[i]);
3502e4106b7SAna Pazos     }
3512e4106b7SAna Pazos   }
3527d6aa1f7SAlex Bradbury }
3530715d35eSAlex Bradbury 
3540715d35eSAlex Bradbury void RISCVFrameLowering::processFunctionBeforeFrameFinalized(
3550715d35eSAlex Bradbury     MachineFunction &MF, RegScavenger *RS) const {
3560715d35eSAlex Bradbury   const TargetRegisterInfo *RegInfo = MF.getSubtarget().getRegisterInfo();
3570715d35eSAlex Bradbury   MachineFrameInfo &MFI = MF.getFrameInfo();
3580715d35eSAlex Bradbury   const TargetRegisterClass *RC = &RISCV::GPRRegClass;
3590715d35eSAlex Bradbury   // estimateStackSize has been observed to under-estimate the final stack
3600715d35eSAlex Bradbury   // size, so give ourselves wiggle-room by checking for stack size
3610715d35eSAlex Bradbury   // representable an 11-bit signed field rather than 12-bits.
3620715d35eSAlex Bradbury   // FIXME: It may be possible to craft a function with a small stack that
3630715d35eSAlex Bradbury   // still needs an emergency spill slot for branch relaxation. This case
3640715d35eSAlex Bradbury   // would currently be missed.
3650715d35eSAlex Bradbury   if (!isInt<11>(MFI.estimateStackSize(MF))) {
3660715d35eSAlex Bradbury     int RegScavFI = MFI.CreateStackObject(
3670715d35eSAlex Bradbury         RegInfo->getSpillSize(*RC), RegInfo->getSpillAlignment(*RC), false);
3680715d35eSAlex Bradbury     RS->addScavengingFrameIndex(RegScavFI);
3690715d35eSAlex Bradbury   }
3700715d35eSAlex Bradbury }
371cbd498acSShiva Chen 
372cbd498acSShiva Chen // Not preserve stack space within prologue for outgoing variables when the
373cbd498acSShiva Chen // function contains variable size objects and let eliminateCallFramePseudoInstr
374cbd498acSShiva Chen // preserve stack space for it.
375cbd498acSShiva Chen bool RISCVFrameLowering::hasReservedCallFrame(const MachineFunction &MF) const {
376cbd498acSShiva Chen   return !MF.getFrameInfo().hasVarSizedObjects();
377cbd498acSShiva Chen }
378cbd498acSShiva Chen 
379cbd498acSShiva Chen // Eliminate ADJCALLSTACKDOWN, ADJCALLSTACKUP pseudo instructions.
380cbd498acSShiva Chen MachineBasicBlock::iterator RISCVFrameLowering::eliminateCallFramePseudoInstr(
381cbd498acSShiva Chen     MachineFunction &MF, MachineBasicBlock &MBB,
382cbd498acSShiva Chen     MachineBasicBlock::iterator MI) const {
383fa06e958SLuis Marques   Register SPReg = RISCV::X2;
384cbd498acSShiva Chen   DebugLoc DL = MI->getDebugLoc();
385cbd498acSShiva Chen 
386cbd498acSShiva Chen   if (!hasReservedCallFrame(MF)) {
387cbd498acSShiva Chen     // If space has not been reserved for a call frame, ADJCALLSTACKDOWN and
388cbd498acSShiva Chen     // ADJCALLSTACKUP must be converted to instructions manipulating the stack
389cbd498acSShiva Chen     // pointer. This is necessary when there is a variable length stack
390cbd498acSShiva Chen     // allocation (e.g. alloca), which means it's not possible to allocate
391cbd498acSShiva Chen     // space for outgoing arguments from within the function prologue.
392cbd498acSShiva Chen     int64_t Amount = MI->getOperand(0).getImm();
393cbd498acSShiva Chen 
394cbd498acSShiva Chen     if (Amount != 0) {
395cbd498acSShiva Chen       // Ensure the stack remains aligned after adjustment.
396cbd498acSShiva Chen       Amount = alignSPAdjust(Amount);
397cbd498acSShiva Chen 
398cbd498acSShiva Chen       if (MI->getOpcode() == RISCV::ADJCALLSTACKDOWN)
399cbd498acSShiva Chen         Amount = -Amount;
400cbd498acSShiva Chen 
401cbd498acSShiva Chen       adjustReg(MBB, MI, DL, SPReg, SPReg, Amount, MachineInstr::NoFlags);
402cbd498acSShiva Chen     }
403cbd498acSShiva Chen   }
404cbd498acSShiva Chen 
405cbd498acSShiva Chen   return MBB.erase(MI);
406cbd498acSShiva Chen }
407