18971842fSAlex Bradbury //===-- RISCVFrameLowering.cpp - RISCV Frame Information ------------------===//
28971842fSAlex Bradbury //
38971842fSAlex Bradbury //                     The LLVM Compiler Infrastructure
48971842fSAlex Bradbury //
58971842fSAlex Bradbury // This file is distributed under the University of Illinois Open Source
68971842fSAlex Bradbury // License. See LICENSE.TXT for details.
78971842fSAlex Bradbury //
88971842fSAlex Bradbury //===----------------------------------------------------------------------===//
98971842fSAlex Bradbury //
108971842fSAlex Bradbury // This file contains the RISCV implementation of TargetFrameLowering class.
118971842fSAlex Bradbury //
128971842fSAlex Bradbury //===----------------------------------------------------------------------===//
138971842fSAlex Bradbury 
148971842fSAlex Bradbury #include "RISCVFrameLowering.h"
15c85be0deSAlex Bradbury #include "RISCVMachineFunctionInfo.h"
168971842fSAlex Bradbury #include "RISCVSubtarget.h"
178971842fSAlex Bradbury #include "llvm/CodeGen/MachineFrameInfo.h"
188971842fSAlex Bradbury #include "llvm/CodeGen/MachineFunction.h"
198971842fSAlex Bradbury #include "llvm/CodeGen/MachineInstrBuilder.h"
208971842fSAlex Bradbury #include "llvm/CodeGen/MachineRegisterInfo.h"
210715d35eSAlex Bradbury #include "llvm/CodeGen/RegisterScavenging.h"
228971842fSAlex Bradbury 
238971842fSAlex Bradbury using namespace llvm;
248971842fSAlex Bradbury 
25*7d6aa1f7SAlex Bradbury bool RISCVFrameLowering::hasFP(const MachineFunction &MF) const {
26*7d6aa1f7SAlex Bradbury   const TargetRegisterInfo *RegInfo = MF.getSubtarget().getRegisterInfo();
27*7d6aa1f7SAlex Bradbury 
28*7d6aa1f7SAlex Bradbury   const MachineFrameInfo &MFI = MF.getFrameInfo();
29*7d6aa1f7SAlex Bradbury   return MF.getTarget().Options.DisableFramePointerElim(MF) ||
30*7d6aa1f7SAlex Bradbury          RegInfo->needsStackRealignment(MF) || MFI.hasVarSizedObjects() ||
31*7d6aa1f7SAlex Bradbury          MFI.isFrameAddressTaken();
32*7d6aa1f7SAlex 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.
43b014e3deSAlex Bradbury   uint64_t StackAlign = RI->needsStackRealignment(MF) ? MFI.getMaxAlignment()
44b014e3deSAlex Bradbury                                                       : getStackAlignment();
45b014e3deSAlex Bradbury 
46b014e3deSAlex Bradbury   // Get the maximum call frame size of all the calls.
47b014e3deSAlex Bradbury   uint64_t MaxCallFrameSize = MFI.getMaxCallFrameSize();
48b014e3deSAlex Bradbury 
49b014e3deSAlex Bradbury   // If we have dynamic alloca then MaxCallFrameSize needs to be aligned so
50b014e3deSAlex Bradbury   // that allocations will be aligned.
51b014e3deSAlex Bradbury   if (MFI.hasVarSizedObjects())
52b014e3deSAlex Bradbury     MaxCallFrameSize = alignTo(MaxCallFrameSize, StackAlign);
53b014e3deSAlex Bradbury 
54b014e3deSAlex Bradbury   // Update maximum call frame size.
55b014e3deSAlex Bradbury   MFI.setMaxCallFrameSize(MaxCallFrameSize);
56b014e3deSAlex Bradbury 
57b014e3deSAlex Bradbury   // Include call frame size in total.
58b014e3deSAlex Bradbury   if (!(hasReservedCallFrame(MF) && MFI.adjustsStack()))
59b014e3deSAlex Bradbury     FrameSize += MaxCallFrameSize;
60b014e3deSAlex Bradbury 
61b014e3deSAlex Bradbury   // Make sure the frame is aligned.
62b014e3deSAlex Bradbury   FrameSize = alignTo(FrameSize, StackAlign);
63b014e3deSAlex Bradbury 
64b014e3deSAlex Bradbury   // Update frame info.
65b014e3deSAlex Bradbury   MFI.setStackSize(FrameSize);
66b014e3deSAlex Bradbury }
67b014e3deSAlex Bradbury 
68b014e3deSAlex Bradbury void RISCVFrameLowering::adjustReg(MachineBasicBlock &MBB,
69b014e3deSAlex Bradbury                                    MachineBasicBlock::iterator MBBI,
70b014e3deSAlex Bradbury                                    const DebugLoc &DL, unsigned DestReg,
71b014e3deSAlex Bradbury                                    unsigned SrcReg, int64_t Val,
72b014e3deSAlex Bradbury                                    MachineInstr::MIFlag Flag) const {
739fea4881SAlex Bradbury   MachineRegisterInfo &MRI = MBB.getParent()->getRegInfo();
74b014e3deSAlex Bradbury   const RISCVInstrInfo *TII = STI.getInstrInfo();
75b014e3deSAlex Bradbury 
76b014e3deSAlex Bradbury   if (DestReg == SrcReg && Val == 0)
77b014e3deSAlex Bradbury     return;
78b014e3deSAlex Bradbury 
799fea4881SAlex Bradbury   if (isInt<12>(Val)) {
80b014e3deSAlex Bradbury     BuildMI(MBB, MBBI, DL, TII->get(RISCV::ADDI), DestReg)
81b014e3deSAlex Bradbury         .addReg(SrcReg)
82b014e3deSAlex Bradbury         .addImm(Val)
83b014e3deSAlex Bradbury         .setMIFlag(Flag);
849fea4881SAlex Bradbury   } else if (isInt<32>(Val)) {
859fea4881SAlex Bradbury     unsigned Opc = RISCV::ADD;
869fea4881SAlex Bradbury     bool isSub = Val < 0;
879fea4881SAlex Bradbury     if (isSub) {
889fea4881SAlex Bradbury       Val = -Val;
899fea4881SAlex Bradbury       Opc = RISCV::SUB;
909fea4881SAlex Bradbury     }
919fea4881SAlex Bradbury 
929fea4881SAlex Bradbury     unsigned ScratchReg = MRI.createVirtualRegister(&RISCV::GPRRegClass);
939fea4881SAlex Bradbury     TII->movImm32(MBB, MBBI, DL, ScratchReg, Val, Flag);
949fea4881SAlex Bradbury     BuildMI(MBB, MBBI, DL, TII->get(Opc), DestReg)
959fea4881SAlex Bradbury         .addReg(SrcReg)
969fea4881SAlex Bradbury         .addReg(ScratchReg, RegState::Kill)
979fea4881SAlex Bradbury         .setMIFlag(Flag);
989fea4881SAlex Bradbury   } else {
999fea4881SAlex Bradbury     report_fatal_error("adjustReg cannot yet handle adjustments >32 bits");
1009fea4881SAlex Bradbury   }
101b014e3deSAlex Bradbury }
102b014e3deSAlex Bradbury 
103b014e3deSAlex Bradbury // Returns the register used to hold the frame pointer.
104b014e3deSAlex Bradbury static unsigned getFPReg(const RISCVSubtarget &STI) { return RISCV::X8; }
105b014e3deSAlex Bradbury 
106b014e3deSAlex Bradbury // Returns the register used to hold the stack pointer.
107b014e3deSAlex Bradbury static unsigned getSPReg(const RISCVSubtarget &STI) { return RISCV::X2; }
108b014e3deSAlex Bradbury 
1098971842fSAlex Bradbury void RISCVFrameLowering::emitPrologue(MachineFunction &MF,
110b014e3deSAlex Bradbury                                       MachineBasicBlock &MBB) const {
111b014e3deSAlex Bradbury   assert(&MF.front() == &MBB && "Shrink-wrapping not yet supported");
112b014e3deSAlex Bradbury 
113b014e3deSAlex Bradbury   MachineFrameInfo &MFI = MF.getFrameInfo();
114c85be0deSAlex Bradbury   auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
115b014e3deSAlex Bradbury   MachineBasicBlock::iterator MBBI = MBB.begin();
116b014e3deSAlex Bradbury 
117b014e3deSAlex Bradbury   unsigned FPReg = getFPReg(STI);
118b014e3deSAlex Bradbury   unsigned SPReg = getSPReg(STI);
119b014e3deSAlex Bradbury 
120b014e3deSAlex Bradbury   // Debug location must be unknown since the first debug location is used
121b014e3deSAlex Bradbury   // to determine the end of the prologue.
122b014e3deSAlex Bradbury   DebugLoc DL;
123b014e3deSAlex Bradbury 
124b014e3deSAlex Bradbury   // Determine the correct frame layout
125b014e3deSAlex Bradbury   determineFrameLayout(MF);
126b014e3deSAlex Bradbury 
127b014e3deSAlex Bradbury   // FIXME (note copied from Lanai): This appears to be overallocating.  Needs
128b014e3deSAlex Bradbury   // investigation. Get the number of bytes to allocate from the FrameInfo.
129b014e3deSAlex Bradbury   uint64_t StackSize = MFI.getStackSize();
130b014e3deSAlex Bradbury 
131b014e3deSAlex Bradbury   // Early exit if there is no need to allocate on the stack
132b014e3deSAlex Bradbury   if (StackSize == 0 && !MFI.adjustsStack())
133b014e3deSAlex Bradbury     return;
134b014e3deSAlex Bradbury 
135b014e3deSAlex Bradbury   // Allocate space on the stack if necessary.
136b014e3deSAlex Bradbury   adjustReg(MBB, MBBI, DL, SPReg, SPReg, -StackSize, MachineInstr::FrameSetup);
137b014e3deSAlex Bradbury 
138b014e3deSAlex Bradbury   // The frame pointer is callee-saved, and code has been generated for us to
139b014e3deSAlex Bradbury   // save it to the stack. We need to skip over the storing of callee-saved
140b014e3deSAlex Bradbury   // registers as the frame pointer must be modified after it has been saved
141b014e3deSAlex Bradbury   // to the stack, not before.
142b014e3deSAlex Bradbury   // FIXME: assumes exactly one instruction is used to save each callee-saved
143b014e3deSAlex Bradbury   // register.
144b014e3deSAlex Bradbury   const std::vector<CalleeSavedInfo> &CSI = MFI.getCalleeSavedInfo();
145b014e3deSAlex Bradbury   std::advance(MBBI, CSI.size());
146b014e3deSAlex Bradbury 
147b014e3deSAlex Bradbury   // Generate new FP.
148*7d6aa1f7SAlex Bradbury   if (hasFP(MF))
149*7d6aa1f7SAlex Bradbury     adjustReg(MBB, MBBI, DL, FPReg, SPReg,
150*7d6aa1f7SAlex Bradbury               StackSize - RVFI->getVarArgsSaveSize(), MachineInstr::FrameSetup);
151b014e3deSAlex Bradbury }
1528971842fSAlex Bradbury 
1538971842fSAlex Bradbury void RISCVFrameLowering::emitEpilogue(MachineFunction &MF,
154b014e3deSAlex Bradbury                                       MachineBasicBlock &MBB) const {
155b014e3deSAlex Bradbury   MachineBasicBlock::iterator MBBI = MBB.getLastNonDebugInstr();
156b014e3deSAlex Bradbury   const RISCVRegisterInfo *RI = STI.getRegisterInfo();
157b014e3deSAlex Bradbury   MachineFrameInfo &MFI = MF.getFrameInfo();
158c85be0deSAlex Bradbury   auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
159b014e3deSAlex Bradbury   DebugLoc DL = MBBI->getDebugLoc();
160b014e3deSAlex Bradbury   unsigned FPReg = getFPReg(STI);
161b014e3deSAlex Bradbury   unsigned SPReg = getSPReg(STI);
162b014e3deSAlex Bradbury 
163b014e3deSAlex Bradbury   // Skip to before the restores of callee-saved registers
164b014e3deSAlex Bradbury   // FIXME: assumes exactly one instruction is used to restore each
165b014e3deSAlex Bradbury   // callee-saved register.
166b014e3deSAlex Bradbury   MachineBasicBlock::iterator LastFrameDestroy = MBBI;
167b014e3deSAlex Bradbury   std::advance(LastFrameDestroy, -MFI.getCalleeSavedInfo().size());
168b014e3deSAlex Bradbury 
169b014e3deSAlex Bradbury   uint64_t StackSize = MFI.getStackSize();
170b014e3deSAlex Bradbury 
171b014e3deSAlex Bradbury   // Restore the stack pointer using the value of the frame pointer. Only
172b014e3deSAlex Bradbury   // necessary if the stack pointer was modified, meaning the stack size is
173b014e3deSAlex Bradbury   // unknown.
174b014e3deSAlex Bradbury   if (RI->needsStackRealignment(MF) || MFI.hasVarSizedObjects()) {
175*7d6aa1f7SAlex Bradbury     assert(hasFP(MF) && "frame pointer should not have been eliminated");
176c85be0deSAlex Bradbury     adjustReg(MBB, LastFrameDestroy, DL, SPReg, FPReg,
177c85be0deSAlex Bradbury               -StackSize + RVFI->getVarArgsSaveSize(),
178b014e3deSAlex Bradbury               MachineInstr::FrameDestroy);
179b014e3deSAlex Bradbury   }
180b014e3deSAlex Bradbury 
181b014e3deSAlex Bradbury   // Deallocate stack
182b014e3deSAlex Bradbury   adjustReg(MBB, MBBI, DL, SPReg, SPReg, StackSize, MachineInstr::FrameDestroy);
183b014e3deSAlex Bradbury }
184660bccecSAlex Bradbury 
185660bccecSAlex Bradbury int RISCVFrameLowering::getFrameIndexReference(const MachineFunction &MF,
186660bccecSAlex Bradbury                                                int FI,
187660bccecSAlex Bradbury                                                unsigned &FrameReg) const {
188660bccecSAlex Bradbury   const MachineFrameInfo &MFI = MF.getFrameInfo();
189660bccecSAlex Bradbury   const TargetRegisterInfo *RI = MF.getSubtarget().getRegisterInfo();
190c85be0deSAlex Bradbury   const auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>();
191660bccecSAlex Bradbury 
192660bccecSAlex Bradbury   // Callee-saved registers should be referenced relative to the stack
193660bccecSAlex Bradbury   // pointer (positive offset), otherwise use the frame pointer (negative
194660bccecSAlex Bradbury   // offset).
195660bccecSAlex Bradbury   const std::vector<CalleeSavedInfo> &CSI = MFI.getCalleeSavedInfo();
196660bccecSAlex Bradbury   int MinCSFI = 0;
197660bccecSAlex Bradbury   int MaxCSFI = -1;
198660bccecSAlex Bradbury 
199660bccecSAlex Bradbury   int Offset = MFI.getObjectOffset(FI) - getOffsetOfLocalArea() +
200660bccecSAlex Bradbury                MFI.getOffsetAdjustment();
201660bccecSAlex Bradbury 
202660bccecSAlex Bradbury   if (CSI.size()) {
203660bccecSAlex Bradbury     MinCSFI = CSI[0].getFrameIdx();
204660bccecSAlex Bradbury     MaxCSFI = CSI[CSI.size() - 1].getFrameIdx();
205660bccecSAlex Bradbury   }
206660bccecSAlex Bradbury 
207660bccecSAlex Bradbury   if (FI >= MinCSFI && FI <= MaxCSFI) {
208660bccecSAlex Bradbury     FrameReg = RISCV::X2;
209660bccecSAlex Bradbury     Offset += MF.getFrameInfo().getStackSize();
210c85be0deSAlex Bradbury   } else {
211c85be0deSAlex Bradbury     FrameReg = RI->getFrameRegister(MF);
212*7d6aa1f7SAlex Bradbury     if (hasFP(MF))
213c85be0deSAlex Bradbury       Offset += RVFI->getVarArgsSaveSize();
214*7d6aa1f7SAlex Bradbury     else
215*7d6aa1f7SAlex Bradbury       Offset += MF.getFrameInfo().getStackSize();
216660bccecSAlex Bradbury   }
217660bccecSAlex Bradbury   return Offset;
218660bccecSAlex Bradbury }
219b014e3deSAlex Bradbury 
220b014e3deSAlex Bradbury void RISCVFrameLowering::determineCalleeSaves(MachineFunction &MF,
221b014e3deSAlex Bradbury                                               BitVector &SavedRegs,
222b014e3deSAlex Bradbury                                               RegScavenger *RS) const {
223b014e3deSAlex Bradbury   TargetFrameLowering::determineCalleeSaves(MF, SavedRegs, RS);
224*7d6aa1f7SAlex Bradbury   // Unconditionally spill RA and FP only if the function uses a frame
225*7d6aa1f7SAlex Bradbury   // pointer.
226*7d6aa1f7SAlex Bradbury   if (hasFP(MF)) {
227b014e3deSAlex Bradbury     SavedRegs.set(RISCV::X1);
228b014e3deSAlex Bradbury     SavedRegs.set(RISCV::X8);
229b014e3deSAlex Bradbury   }
230*7d6aa1f7SAlex Bradbury }
2310715d35eSAlex Bradbury 
2320715d35eSAlex Bradbury void RISCVFrameLowering::processFunctionBeforeFrameFinalized(
2330715d35eSAlex Bradbury     MachineFunction &MF, RegScavenger *RS) const {
2340715d35eSAlex Bradbury   const TargetRegisterInfo *RegInfo = MF.getSubtarget().getRegisterInfo();
2350715d35eSAlex Bradbury   MachineFrameInfo &MFI = MF.getFrameInfo();
2360715d35eSAlex Bradbury   const TargetRegisterClass *RC = &RISCV::GPRRegClass;
2370715d35eSAlex Bradbury   // estimateStackSize has been observed to under-estimate the final stack
2380715d35eSAlex Bradbury   // size, so give ourselves wiggle-room by checking for stack size
2390715d35eSAlex Bradbury   // representable an 11-bit signed field rather than 12-bits.
2400715d35eSAlex Bradbury   // FIXME: It may be possible to craft a function with a small stack that
2410715d35eSAlex Bradbury   // still needs an emergency spill slot for branch relaxation. This case
2420715d35eSAlex Bradbury   // would currently be missed.
2430715d35eSAlex Bradbury   if (!isInt<11>(MFI.estimateStackSize(MF))) {
2440715d35eSAlex Bradbury     int RegScavFI = MFI.CreateStackObject(
2450715d35eSAlex Bradbury         RegInfo->getSpillSize(*RC), RegInfo->getSpillAlignment(*RC), false);
2460715d35eSAlex Bradbury     RS->addScavengingFrameIndex(RegScavFI);
2470715d35eSAlex Bradbury   }
2480715d35eSAlex Bradbury }
249