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.
43*cd44aee3SSam Elliott   unsigned StackAlign = getStackAlignment();
44*cd44aee3SSam Elliott   if (RI->needsStackRealignment(MF)) {
45*cd44aee3SSam Elliott     unsigned MaxStackAlign = std::max(StackAlign, MFI.getMaxAlignment());
46*cd44aee3SSam Elliott     FrameSize += (MaxStackAlign - StackAlign);
47*cd44aee3SSam Elliott     StackAlign = MaxStackAlign;
48*cd44aee3SSam Elliott   }
49*cd44aee3SSam Elliott 
50*cd44aee3SSam Elliott   // Set Max Call Frame Size
51*cd44aee3SSam Elliott   uint64_t MaxCallSize = alignTo(MFI.getMaxCallFrameSize(), StackAlign);
52*cd44aee3SSam 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,
63b014e3deSAlex Bradbury                                    const DebugLoc &DL, unsigned DestReg,
64b014e3deSAlex Bradbury                                    unsigned 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);
779fea4881SAlex Bradbury   } else if (isInt<32>(Val)) {
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 
859fea4881SAlex Bradbury     unsigned ScratchReg = MRI.createVirtualRegister(&RISCV::GPRRegClass);
869fea4881SAlex Bradbury     TII->movImm32(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   } else {
929fea4881SAlex Bradbury     report_fatal_error("adjustReg cannot yet handle adjustments >32 bits");
939fea4881SAlex Bradbury   }
94b014e3deSAlex Bradbury }
95b014e3deSAlex Bradbury 
96b014e3deSAlex Bradbury // Returns the register used to hold the frame pointer.
97b014e3deSAlex Bradbury static unsigned getFPReg(const RISCVSubtarget &STI) { return RISCV::X8; }
98b014e3deSAlex Bradbury 
99b014e3deSAlex Bradbury // Returns the register used to hold the stack pointer.
100b014e3deSAlex Bradbury static unsigned getSPReg(const RISCVSubtarget &STI) { return RISCV::X2; }
101b014e3deSAlex Bradbury 
1028971842fSAlex Bradbury void RISCVFrameLowering::emitPrologue(MachineFunction &MF,
103b014e3deSAlex Bradbury                                       MachineBasicBlock &MBB) const {
104b014e3deSAlex Bradbury   assert(&MF.front() == &MBB && "Shrink-wrapping not yet supported");
105b014e3deSAlex Bradbury 
106b014e3deSAlex Bradbury   MachineFrameInfo &MFI = MF.getFrameInfo();
107c85be0deSAlex Bradbury   auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
10804ddf39bSHsiangkai Wang   const RISCVRegisterInfo *RI = STI.getRegisterInfo();
10904ddf39bSHsiangkai Wang   const RISCVInstrInfo *TII = STI.getInstrInfo();
110b014e3deSAlex Bradbury   MachineBasicBlock::iterator MBBI = MBB.begin();
111b014e3deSAlex Bradbury 
112*cd44aee3SSam Elliott   if (RI->needsStackRealignment(MF) && MFI.hasVarSizedObjects()) {
113*cd44aee3SSam Elliott     report_fatal_error(
114*cd44aee3SSam Elliott         "RISC-V backend can't currently handle functions that need stack "
115*cd44aee3SSam Elliott         "realignment and have variable sized objects");
116*cd44aee3SSam Elliott   }
117*cd44aee3SSam Elliott 
118b014e3deSAlex Bradbury   unsigned FPReg = getFPReg(STI);
119b014e3deSAlex Bradbury   unsigned SPReg = getSPReg(STI);
120b014e3deSAlex Bradbury 
121b014e3deSAlex Bradbury   // Debug location must be unknown since the first debug location is used
122b014e3deSAlex Bradbury   // to determine the end of the prologue.
123b014e3deSAlex Bradbury   DebugLoc DL;
124b014e3deSAlex Bradbury 
125b014e3deSAlex Bradbury   // Determine the correct frame layout
126b014e3deSAlex Bradbury   determineFrameLayout(MF);
127b014e3deSAlex Bradbury 
128b014e3deSAlex Bradbury   // FIXME (note copied from Lanai): This appears to be overallocating.  Needs
129b014e3deSAlex Bradbury   // investigation. Get the number of bytes to allocate from the FrameInfo.
130b014e3deSAlex Bradbury   uint64_t StackSize = MFI.getStackSize();
131b014e3deSAlex Bradbury 
132b014e3deSAlex Bradbury   // Early exit if there is no need to allocate on the stack
133b014e3deSAlex Bradbury   if (StackSize == 0 && !MFI.adjustsStack())
134b014e3deSAlex Bradbury     return;
135b014e3deSAlex Bradbury 
136b014e3deSAlex Bradbury   // Allocate space on the stack if necessary.
137b014e3deSAlex Bradbury   adjustReg(MBB, MBBI, DL, SPReg, SPReg, -StackSize, MachineInstr::FrameSetup);
138b014e3deSAlex Bradbury 
13904ddf39bSHsiangkai Wang   // Emit ".cfi_def_cfa_offset StackSize"
14004ddf39bSHsiangkai Wang   unsigned CFIIndex = MF.addFrameInst(
14104ddf39bSHsiangkai Wang       MCCFIInstruction::createDefCfaOffset(nullptr, -StackSize));
14204ddf39bSHsiangkai Wang   BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION))
14304ddf39bSHsiangkai Wang       .addCFIIndex(CFIIndex);
14404ddf39bSHsiangkai Wang 
145b014e3deSAlex Bradbury   // The frame pointer is callee-saved, and code has been generated for us to
146b014e3deSAlex Bradbury   // save it to the stack. We need to skip over the storing of callee-saved
147b014e3deSAlex Bradbury   // registers as the frame pointer must be modified after it has been saved
148b014e3deSAlex Bradbury   // to the stack, not before.
149b014e3deSAlex Bradbury   // FIXME: assumes exactly one instruction is used to save each callee-saved
150b014e3deSAlex Bradbury   // register.
151b014e3deSAlex Bradbury   const std::vector<CalleeSavedInfo> &CSI = MFI.getCalleeSavedInfo();
152b014e3deSAlex Bradbury   std::advance(MBBI, CSI.size());
153b014e3deSAlex Bradbury 
15404ddf39bSHsiangkai Wang   // Iterate over list of callee-saved registers and emit .cfi_offset
15504ddf39bSHsiangkai Wang   // directives.
15604ddf39bSHsiangkai Wang   for (const auto &Entry : CSI) {
15704ddf39bSHsiangkai Wang     int64_t Offset = MFI.getObjectOffset(Entry.getFrameIdx());
15804ddf39bSHsiangkai Wang     unsigned Reg = Entry.getReg();
15904ddf39bSHsiangkai Wang     unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::createOffset(
16004ddf39bSHsiangkai Wang         nullptr, RI->getDwarfRegNum(Reg, true), Offset));
16104ddf39bSHsiangkai Wang     BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION))
16204ddf39bSHsiangkai Wang         .addCFIIndex(CFIIndex);
16304ddf39bSHsiangkai Wang   }
16404ddf39bSHsiangkai Wang 
165b014e3deSAlex Bradbury   // Generate new FP.
16604ddf39bSHsiangkai Wang   if (hasFP(MF)) {
1677d6aa1f7SAlex Bradbury     adjustReg(MBB, MBBI, DL, FPReg, SPReg,
1687d6aa1f7SAlex Bradbury               StackSize - RVFI->getVarArgsSaveSize(), MachineInstr::FrameSetup);
16904ddf39bSHsiangkai Wang 
17004ddf39bSHsiangkai Wang     // Emit ".cfi_def_cfa $fp, 0"
17104ddf39bSHsiangkai Wang     unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::createDefCfa(
17204ddf39bSHsiangkai Wang         nullptr, RI->getDwarfRegNum(FPReg, true), 0));
17304ddf39bSHsiangkai Wang     BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION))
17404ddf39bSHsiangkai Wang         .addCFIIndex(CFIIndex);
175*cd44aee3SSam Elliott 
176*cd44aee3SSam Elliott     // Realign Stack
177*cd44aee3SSam Elliott     const RISCVRegisterInfo *RI = STI.getRegisterInfo();
178*cd44aee3SSam Elliott     if (RI->needsStackRealignment(MF)) {
179*cd44aee3SSam Elliott       unsigned MaxAlignment = MFI.getMaxAlignment();
180*cd44aee3SSam Elliott 
181*cd44aee3SSam Elliott       const RISCVInstrInfo *TII = STI.getInstrInfo();
182*cd44aee3SSam Elliott       if (isInt<12>(-(int)MaxAlignment)) {
183*cd44aee3SSam Elliott         BuildMI(MBB, MBBI, DL, TII->get(RISCV::ANDI), SPReg)
184*cd44aee3SSam Elliott             .addReg(SPReg)
185*cd44aee3SSam Elliott             .addImm(-(int)MaxAlignment);
186*cd44aee3SSam Elliott       } else {
187*cd44aee3SSam Elliott         unsigned ShiftAmount = countTrailingZeros(MaxAlignment);
188*cd44aee3SSam Elliott         unsigned VR =
189*cd44aee3SSam Elliott             MF.getRegInfo().createVirtualRegister(&RISCV::GPRRegClass);
190*cd44aee3SSam Elliott         BuildMI(MBB, MBBI, DL, TII->get(RISCV::SRLI), VR)
191*cd44aee3SSam Elliott             .addReg(SPReg)
192*cd44aee3SSam Elliott             .addImm(ShiftAmount);
193*cd44aee3SSam Elliott         BuildMI(MBB, MBBI, DL, TII->get(RISCV::SLLI), SPReg)
194*cd44aee3SSam Elliott             .addReg(VR)
195*cd44aee3SSam Elliott             .addImm(ShiftAmount);
196*cd44aee3SSam Elliott       }
197*cd44aee3SSam Elliott     }
19804ddf39bSHsiangkai Wang   }
199b014e3deSAlex Bradbury }
2008971842fSAlex Bradbury 
2018971842fSAlex Bradbury void RISCVFrameLowering::emitEpilogue(MachineFunction &MF,
202b014e3deSAlex Bradbury                                       MachineBasicBlock &MBB) const {
203b014e3deSAlex Bradbury   MachineBasicBlock::iterator MBBI = MBB.getLastNonDebugInstr();
204b014e3deSAlex Bradbury   const RISCVRegisterInfo *RI = STI.getRegisterInfo();
205b014e3deSAlex Bradbury   MachineFrameInfo &MFI = MF.getFrameInfo();
206c85be0deSAlex Bradbury   auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
207b014e3deSAlex Bradbury   DebugLoc DL = MBBI->getDebugLoc();
20804ddf39bSHsiangkai Wang   const RISCVInstrInfo *TII = STI.getInstrInfo();
209b014e3deSAlex Bradbury   unsigned FPReg = getFPReg(STI);
210b014e3deSAlex Bradbury   unsigned SPReg = getSPReg(STI);
211b014e3deSAlex Bradbury 
212b014e3deSAlex Bradbury   // Skip to before the restores of callee-saved registers
213b014e3deSAlex Bradbury   // FIXME: assumes exactly one instruction is used to restore each
214b014e3deSAlex Bradbury   // callee-saved register.
21561b28edeSAna Pazos   auto LastFrameDestroy = std::prev(MBBI, MFI.getCalleeSavedInfo().size());
216b014e3deSAlex Bradbury 
217b014e3deSAlex Bradbury   uint64_t StackSize = MFI.getStackSize();
21804ddf39bSHsiangkai Wang   uint64_t FPOffset = StackSize - RVFI->getVarArgsSaveSize();
219b014e3deSAlex Bradbury 
220b014e3deSAlex Bradbury   // Restore the stack pointer using the value of the frame pointer. Only
221b014e3deSAlex Bradbury   // necessary if the stack pointer was modified, meaning the stack size is
222b014e3deSAlex Bradbury   // unknown.
223b014e3deSAlex Bradbury   if (RI->needsStackRealignment(MF) || MFI.hasVarSizedObjects()) {
2247d6aa1f7SAlex Bradbury     assert(hasFP(MF) && "frame pointer should not have been eliminated");
22504ddf39bSHsiangkai Wang     adjustReg(MBB, LastFrameDestroy, DL, SPReg, FPReg, -FPOffset,
226b014e3deSAlex Bradbury               MachineInstr::FrameDestroy);
227b014e3deSAlex Bradbury   }
228b014e3deSAlex Bradbury 
22904ddf39bSHsiangkai Wang   if (hasFP(MF)) {
23004ddf39bSHsiangkai Wang     // To find the instruction restoring FP from stack.
23104ddf39bSHsiangkai Wang     for (auto &I = LastFrameDestroy; I != MBBI; ++I) {
23204ddf39bSHsiangkai Wang       if (I->mayLoad() && I->getOperand(0).isReg()) {
23304ddf39bSHsiangkai Wang         unsigned DestReg = I->getOperand(0).getReg();
23404ddf39bSHsiangkai Wang         if (DestReg == FPReg) {
23504ddf39bSHsiangkai Wang           // If there is frame pointer, after restoring $fp registers, we
23604ddf39bSHsiangkai Wang           // need adjust CFA to ($sp - FPOffset).
23704ddf39bSHsiangkai Wang           // Emit ".cfi_def_cfa $sp, -FPOffset"
23804ddf39bSHsiangkai Wang           unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::createDefCfa(
23904ddf39bSHsiangkai Wang               nullptr, RI->getDwarfRegNum(SPReg, true), -FPOffset));
24004ddf39bSHsiangkai Wang           BuildMI(MBB, std::next(I), DL,
24104ddf39bSHsiangkai Wang                   TII->get(TargetOpcode::CFI_INSTRUCTION))
24204ddf39bSHsiangkai Wang               .addCFIIndex(CFIIndex);
24304ddf39bSHsiangkai Wang           break;
24404ddf39bSHsiangkai Wang         }
24504ddf39bSHsiangkai Wang       }
24604ddf39bSHsiangkai Wang     }
24704ddf39bSHsiangkai Wang   }
24804ddf39bSHsiangkai Wang 
24904ddf39bSHsiangkai Wang   // Add CFI directives for callee-saved registers.
25004ddf39bSHsiangkai Wang   const std::vector<CalleeSavedInfo> &CSI = MFI.getCalleeSavedInfo();
25104ddf39bSHsiangkai Wang   // Iterate over list of callee-saved registers and emit .cfi_restore
25204ddf39bSHsiangkai Wang   // directives.
25304ddf39bSHsiangkai Wang   for (const auto &Entry : CSI) {
25404ddf39bSHsiangkai Wang     unsigned Reg = Entry.getReg();
25504ddf39bSHsiangkai Wang     unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::createRestore(
25604ddf39bSHsiangkai Wang         nullptr, RI->getDwarfRegNum(Reg, true)));
25704ddf39bSHsiangkai Wang     BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION))
25804ddf39bSHsiangkai Wang         .addCFIIndex(CFIIndex);
25904ddf39bSHsiangkai Wang   }
26004ddf39bSHsiangkai Wang 
261b014e3deSAlex Bradbury   // Deallocate stack
262b014e3deSAlex Bradbury   adjustReg(MBB, MBBI, DL, SPReg, SPReg, StackSize, MachineInstr::FrameDestroy);
26304ddf39bSHsiangkai Wang 
26404ddf39bSHsiangkai Wang   // After restoring $sp, we need to adjust CFA to $(sp + 0)
26504ddf39bSHsiangkai Wang   // Emit ".cfi_def_cfa_offset 0"
26604ddf39bSHsiangkai Wang   unsigned CFIIndex =
26704ddf39bSHsiangkai Wang       MF.addFrameInst(MCCFIInstruction::createDefCfaOffset(nullptr, 0));
26804ddf39bSHsiangkai Wang   BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION))
26904ddf39bSHsiangkai Wang       .addCFIIndex(CFIIndex);
270b014e3deSAlex Bradbury }
271660bccecSAlex Bradbury 
272660bccecSAlex Bradbury int RISCVFrameLowering::getFrameIndexReference(const MachineFunction &MF,
273660bccecSAlex Bradbury                                                int FI,
274660bccecSAlex Bradbury                                                unsigned &FrameReg) const {
275660bccecSAlex Bradbury   const MachineFrameInfo &MFI = MF.getFrameInfo();
276660bccecSAlex Bradbury   const TargetRegisterInfo *RI = MF.getSubtarget().getRegisterInfo();
277c85be0deSAlex Bradbury   const auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
278660bccecSAlex Bradbury 
279660bccecSAlex Bradbury   // Callee-saved registers should be referenced relative to the stack
280660bccecSAlex Bradbury   // pointer (positive offset), otherwise use the frame pointer (negative
281660bccecSAlex Bradbury   // offset).
282660bccecSAlex Bradbury   const std::vector<CalleeSavedInfo> &CSI = MFI.getCalleeSavedInfo();
283660bccecSAlex Bradbury   int MinCSFI = 0;
284660bccecSAlex Bradbury   int MaxCSFI = -1;
285660bccecSAlex Bradbury 
286660bccecSAlex Bradbury   int Offset = MFI.getObjectOffset(FI) - getOffsetOfLocalArea() +
287660bccecSAlex Bradbury                MFI.getOffsetAdjustment();
288660bccecSAlex Bradbury 
289660bccecSAlex Bradbury   if (CSI.size()) {
290660bccecSAlex Bradbury     MinCSFI = CSI[0].getFrameIdx();
291660bccecSAlex Bradbury     MaxCSFI = CSI[CSI.size() - 1].getFrameIdx();
292660bccecSAlex Bradbury   }
293660bccecSAlex Bradbury 
294660bccecSAlex Bradbury   if (FI >= MinCSFI && FI <= MaxCSFI) {
295660bccecSAlex Bradbury     FrameReg = RISCV::X2;
296660bccecSAlex Bradbury     Offset += MF.getFrameInfo().getStackSize();
297*cd44aee3SSam Elliott   } else if (RI->needsStackRealignment(MF)) {
298*cd44aee3SSam Elliott     assert(!MFI.hasVarSizedObjects() &&
299*cd44aee3SSam Elliott            "Unexpected combination of stack realignment and varsized objects");
300*cd44aee3SSam Elliott     // If the stack was realigned, the frame pointer is set in order to allow
301*cd44aee3SSam Elliott     // SP to be restored, but we still access stack objects using SP.
302*cd44aee3SSam Elliott     FrameReg = RISCV::X2;
303*cd44aee3SSam Elliott     Offset += MF.getFrameInfo().getStackSize();
304c85be0deSAlex Bradbury   } else {
305c85be0deSAlex Bradbury     FrameReg = RI->getFrameRegister(MF);
3067d6aa1f7SAlex Bradbury     if (hasFP(MF))
307c85be0deSAlex Bradbury       Offset += RVFI->getVarArgsSaveSize();
3087d6aa1f7SAlex Bradbury     else
3097d6aa1f7SAlex Bradbury       Offset += MF.getFrameInfo().getStackSize();
310660bccecSAlex Bradbury   }
311660bccecSAlex Bradbury   return Offset;
312660bccecSAlex Bradbury }
313b014e3deSAlex Bradbury 
314b014e3deSAlex Bradbury void RISCVFrameLowering::determineCalleeSaves(MachineFunction &MF,
315b014e3deSAlex Bradbury                                               BitVector &SavedRegs,
316b014e3deSAlex Bradbury                                               RegScavenger *RS) const {
317b014e3deSAlex Bradbury   TargetFrameLowering::determineCalleeSaves(MF, SavedRegs, RS);
3187d6aa1f7SAlex Bradbury   // Unconditionally spill RA and FP only if the function uses a frame
3197d6aa1f7SAlex Bradbury   // pointer.
3207d6aa1f7SAlex Bradbury   if (hasFP(MF)) {
321b014e3deSAlex Bradbury     SavedRegs.set(RISCV::X1);
322b014e3deSAlex Bradbury     SavedRegs.set(RISCV::X8);
323b014e3deSAlex Bradbury   }
3242e4106b7SAna Pazos 
3252e4106b7SAna Pazos   // If interrupt is enabled and there are calls in the handler,
3262e4106b7SAna Pazos   // unconditionally save all Caller-saved registers and
3272e4106b7SAna Pazos   // all FP registers, regardless whether they are used.
3282e4106b7SAna Pazos   MachineFrameInfo &MFI = MF.getFrameInfo();
3292e4106b7SAna Pazos 
3302e4106b7SAna Pazos   if (MF.getFunction().hasFnAttribute("interrupt") && MFI.hasCalls()) {
3312e4106b7SAna Pazos 
3322e4106b7SAna Pazos     static const MCPhysReg CSRegs[] = { RISCV::X1,      /* ra */
3332e4106b7SAna Pazos       RISCV::X5, RISCV::X6, RISCV::X7,                  /* t0-t2 */
3342e4106b7SAna Pazos       RISCV::X10, RISCV::X11,                           /* a0-a1, a2-a7 */
3352e4106b7SAna Pazos       RISCV::X12, RISCV::X13, RISCV::X14, RISCV::X15, RISCV::X16, RISCV::X17,
3362e4106b7SAna Pazos       RISCV::X28, RISCV::X29, RISCV::X30, RISCV::X31, 0 /* t3-t6 */
3372e4106b7SAna Pazos     };
3382e4106b7SAna Pazos 
3392e4106b7SAna Pazos     for (unsigned i = 0; CSRegs[i]; ++i)
3402e4106b7SAna Pazos       SavedRegs.set(CSRegs[i]);
3412e4106b7SAna Pazos 
3422e4106b7SAna Pazos     if (MF.getSubtarget<RISCVSubtarget>().hasStdExtD() ||
3432e4106b7SAna Pazos         MF.getSubtarget<RISCVSubtarget>().hasStdExtF()) {
3442e4106b7SAna Pazos 
3452e4106b7SAna Pazos       // If interrupt is enabled, this list contains all FP registers.
3462e4106b7SAna Pazos       const MCPhysReg * Regs = MF.getRegInfo().getCalleeSavedRegs();
3472e4106b7SAna Pazos 
3482e4106b7SAna Pazos       for (unsigned i = 0; Regs[i]; ++i)
3492e4106b7SAna Pazos         if (RISCV::FPR32RegClass.contains(Regs[i]) ||
3502e4106b7SAna Pazos             RISCV::FPR64RegClass.contains(Regs[i]))
3512e4106b7SAna Pazos           SavedRegs.set(Regs[i]);
3522e4106b7SAna Pazos     }
3532e4106b7SAna Pazos   }
3547d6aa1f7SAlex Bradbury }
3550715d35eSAlex Bradbury 
3560715d35eSAlex Bradbury void RISCVFrameLowering::processFunctionBeforeFrameFinalized(
3570715d35eSAlex Bradbury     MachineFunction &MF, RegScavenger *RS) const {
3580715d35eSAlex Bradbury   const TargetRegisterInfo *RegInfo = MF.getSubtarget().getRegisterInfo();
3590715d35eSAlex Bradbury   MachineFrameInfo &MFI = MF.getFrameInfo();
3600715d35eSAlex Bradbury   const TargetRegisterClass *RC = &RISCV::GPRRegClass;
3610715d35eSAlex Bradbury   // estimateStackSize has been observed to under-estimate the final stack
3620715d35eSAlex Bradbury   // size, so give ourselves wiggle-room by checking for stack size
3630715d35eSAlex Bradbury   // representable an 11-bit signed field rather than 12-bits.
3640715d35eSAlex Bradbury   // FIXME: It may be possible to craft a function with a small stack that
3650715d35eSAlex Bradbury   // still needs an emergency spill slot for branch relaxation. This case
3660715d35eSAlex Bradbury   // would currently be missed.
3670715d35eSAlex Bradbury   if (!isInt<11>(MFI.estimateStackSize(MF))) {
3680715d35eSAlex Bradbury     int RegScavFI = MFI.CreateStackObject(
3690715d35eSAlex Bradbury         RegInfo->getSpillSize(*RC), RegInfo->getSpillAlignment(*RC), false);
3700715d35eSAlex Bradbury     RS->addScavengingFrameIndex(RegScavFI);
3710715d35eSAlex Bradbury   }
3720715d35eSAlex Bradbury }
373cbd498acSShiva Chen 
374cbd498acSShiva Chen // Not preserve stack space within prologue for outgoing variables when the
375cbd498acSShiva Chen // function contains variable size objects and let eliminateCallFramePseudoInstr
376cbd498acSShiva Chen // preserve stack space for it.
377cbd498acSShiva Chen bool RISCVFrameLowering::hasReservedCallFrame(const MachineFunction &MF) const {
378cbd498acSShiva Chen   return !MF.getFrameInfo().hasVarSizedObjects();
379cbd498acSShiva Chen }
380cbd498acSShiva Chen 
381cbd498acSShiva Chen // Eliminate ADJCALLSTACKDOWN, ADJCALLSTACKUP pseudo instructions.
382cbd498acSShiva Chen MachineBasicBlock::iterator RISCVFrameLowering::eliminateCallFramePseudoInstr(
383cbd498acSShiva Chen     MachineFunction &MF, MachineBasicBlock &MBB,
384cbd498acSShiva Chen     MachineBasicBlock::iterator MI) const {
385cbd498acSShiva Chen   unsigned SPReg = RISCV::X2;
386cbd498acSShiva Chen   DebugLoc DL = MI->getDebugLoc();
387cbd498acSShiva Chen 
388cbd498acSShiva Chen   if (!hasReservedCallFrame(MF)) {
389cbd498acSShiva Chen     // If space has not been reserved for a call frame, ADJCALLSTACKDOWN and
390cbd498acSShiva Chen     // ADJCALLSTACKUP must be converted to instructions manipulating the stack
391cbd498acSShiva Chen     // pointer. This is necessary when there is a variable length stack
392cbd498acSShiva Chen     // allocation (e.g. alloca), which means it's not possible to allocate
393cbd498acSShiva Chen     // space for outgoing arguments from within the function prologue.
394cbd498acSShiva Chen     int64_t Amount = MI->getOperand(0).getImm();
395cbd498acSShiva Chen 
396cbd498acSShiva Chen     if (Amount != 0) {
397cbd498acSShiva Chen       // Ensure the stack remains aligned after adjustment.
398cbd498acSShiva Chen       Amount = alignSPAdjust(Amount);
399cbd498acSShiva Chen 
400cbd498acSShiva Chen       if (MI->getOpcode() == RISCV::ADJCALLSTACKDOWN)
401cbd498acSShiva Chen         Amount = -Amount;
402cbd498acSShiva Chen 
403cbd498acSShiva Chen       adjustReg(MBB, MI, DL, SPReg, SPReg, Amount, MachineInstr::NoFlags);
404cbd498acSShiva Chen     }
405cbd498acSShiva Chen   }
406cbd498acSShiva Chen 
407cbd498acSShiva Chen   return MBB.erase(MI);
408cbd498acSShiva Chen }
409