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