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" 218971842fSAlex Bradbury 228971842fSAlex Bradbury using namespace llvm; 238971842fSAlex Bradbury 248971842fSAlex Bradbury bool RISCVFrameLowering::hasFP(const MachineFunction &MF) const { return true; } 258971842fSAlex Bradbury 26b014e3deSAlex Bradbury // Determines the size of the frame and maximum call frame size. 27b014e3deSAlex Bradbury void RISCVFrameLowering::determineFrameLayout(MachineFunction &MF) const { 28b014e3deSAlex Bradbury MachineFrameInfo &MFI = MF.getFrameInfo(); 29b014e3deSAlex Bradbury const RISCVRegisterInfo *RI = STI.getRegisterInfo(); 30b014e3deSAlex Bradbury 31b014e3deSAlex Bradbury // Get the number of bytes to allocate from the FrameInfo. 32b014e3deSAlex Bradbury uint64_t FrameSize = MFI.getStackSize(); 33b014e3deSAlex Bradbury 34b014e3deSAlex Bradbury // Get the alignment. 35b014e3deSAlex Bradbury uint64_t StackAlign = RI->needsStackRealignment(MF) ? MFI.getMaxAlignment() 36b014e3deSAlex Bradbury : getStackAlignment(); 37b014e3deSAlex Bradbury 38b014e3deSAlex Bradbury // Get the maximum call frame size of all the calls. 39b014e3deSAlex Bradbury uint64_t MaxCallFrameSize = MFI.getMaxCallFrameSize(); 40b014e3deSAlex Bradbury 41b014e3deSAlex Bradbury // If we have dynamic alloca then MaxCallFrameSize needs to be aligned so 42b014e3deSAlex Bradbury // that allocations will be aligned. 43b014e3deSAlex Bradbury if (MFI.hasVarSizedObjects()) 44b014e3deSAlex Bradbury MaxCallFrameSize = alignTo(MaxCallFrameSize, StackAlign); 45b014e3deSAlex Bradbury 46b014e3deSAlex Bradbury // Update maximum call frame size. 47b014e3deSAlex Bradbury MFI.setMaxCallFrameSize(MaxCallFrameSize); 48b014e3deSAlex Bradbury 49b014e3deSAlex Bradbury // Include call frame size in total. 50b014e3deSAlex Bradbury if (!(hasReservedCallFrame(MF) && MFI.adjustsStack())) 51b014e3deSAlex Bradbury FrameSize += MaxCallFrameSize; 52b014e3deSAlex Bradbury 53b014e3deSAlex Bradbury // Make sure the frame is aligned. 54b014e3deSAlex Bradbury FrameSize = alignTo(FrameSize, StackAlign); 55b014e3deSAlex Bradbury 56b014e3deSAlex Bradbury // Update frame info. 57b014e3deSAlex Bradbury MFI.setStackSize(FrameSize); 58b014e3deSAlex Bradbury } 59b014e3deSAlex Bradbury 60b014e3deSAlex Bradbury void RISCVFrameLowering::adjustReg(MachineBasicBlock &MBB, 61b014e3deSAlex Bradbury MachineBasicBlock::iterator MBBI, 62b014e3deSAlex Bradbury const DebugLoc &DL, unsigned DestReg, 63b014e3deSAlex Bradbury unsigned SrcReg, int64_t Val, 64b014e3deSAlex Bradbury MachineInstr::MIFlag Flag) const { 65*9fea4881SAlex Bradbury MachineRegisterInfo &MRI = MBB.getParent()->getRegInfo(); 66b014e3deSAlex Bradbury const RISCVInstrInfo *TII = STI.getInstrInfo(); 67b014e3deSAlex Bradbury 68b014e3deSAlex Bradbury if (DestReg == SrcReg && Val == 0) 69b014e3deSAlex Bradbury return; 70b014e3deSAlex Bradbury 71*9fea4881SAlex Bradbury if (isInt<12>(Val)) { 72b014e3deSAlex Bradbury BuildMI(MBB, MBBI, DL, TII->get(RISCV::ADDI), DestReg) 73b014e3deSAlex Bradbury .addReg(SrcReg) 74b014e3deSAlex Bradbury .addImm(Val) 75b014e3deSAlex Bradbury .setMIFlag(Flag); 76*9fea4881SAlex Bradbury } else if (isInt<32>(Val)) { 77*9fea4881SAlex Bradbury unsigned Opc = RISCV::ADD; 78*9fea4881SAlex Bradbury bool isSub = Val < 0; 79*9fea4881SAlex Bradbury if (isSub) { 80*9fea4881SAlex Bradbury Val = -Val; 81*9fea4881SAlex Bradbury Opc = RISCV::SUB; 82*9fea4881SAlex Bradbury } 83*9fea4881SAlex Bradbury 84*9fea4881SAlex Bradbury unsigned ScratchReg = MRI.createVirtualRegister(&RISCV::GPRRegClass); 85*9fea4881SAlex Bradbury TII->movImm32(MBB, MBBI, DL, ScratchReg, Val, Flag); 86*9fea4881SAlex Bradbury BuildMI(MBB, MBBI, DL, TII->get(Opc), DestReg) 87*9fea4881SAlex Bradbury .addReg(SrcReg) 88*9fea4881SAlex Bradbury .addReg(ScratchReg, RegState::Kill) 89*9fea4881SAlex Bradbury .setMIFlag(Flag); 90*9fea4881SAlex Bradbury } else { 91*9fea4881SAlex Bradbury report_fatal_error("adjustReg cannot yet handle adjustments >32 bits"); 92*9fea4881SAlex Bradbury } 93b014e3deSAlex Bradbury } 94b014e3deSAlex Bradbury 95b014e3deSAlex Bradbury // Returns the register used to hold the frame pointer. 96b014e3deSAlex Bradbury static unsigned getFPReg(const RISCVSubtarget &STI) { return RISCV::X8; } 97b014e3deSAlex Bradbury 98b014e3deSAlex Bradbury // Returns the register used to hold the stack pointer. 99b014e3deSAlex Bradbury static unsigned getSPReg(const RISCVSubtarget &STI) { return RISCV::X2; } 100b014e3deSAlex Bradbury 1018971842fSAlex Bradbury void RISCVFrameLowering::emitPrologue(MachineFunction &MF, 102b014e3deSAlex Bradbury MachineBasicBlock &MBB) const { 103b014e3deSAlex Bradbury assert(&MF.front() == &MBB && "Shrink-wrapping not yet supported"); 104b014e3deSAlex Bradbury 105b014e3deSAlex Bradbury if (!hasFP(MF)) { 106b014e3deSAlex Bradbury report_fatal_error( 107b014e3deSAlex Bradbury "emitPrologue doesn't support framepointer-less functions"); 108b014e3deSAlex Bradbury } 109b014e3deSAlex Bradbury 110b014e3deSAlex Bradbury MachineFrameInfo &MFI = MF.getFrameInfo(); 111c85be0deSAlex Bradbury auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>(); 112b014e3deSAlex Bradbury MachineBasicBlock::iterator MBBI = MBB.begin(); 113b014e3deSAlex Bradbury 114b014e3deSAlex Bradbury unsigned FPReg = getFPReg(STI); 115b014e3deSAlex Bradbury unsigned SPReg = getSPReg(STI); 116b014e3deSAlex Bradbury 117b014e3deSAlex Bradbury // Debug location must be unknown since the first debug location is used 118b014e3deSAlex Bradbury // to determine the end of the prologue. 119b014e3deSAlex Bradbury DebugLoc DL; 120b014e3deSAlex Bradbury 121b014e3deSAlex Bradbury // Determine the correct frame layout 122b014e3deSAlex Bradbury determineFrameLayout(MF); 123b014e3deSAlex Bradbury 124b014e3deSAlex Bradbury // FIXME (note copied from Lanai): This appears to be overallocating. Needs 125b014e3deSAlex Bradbury // investigation. Get the number of bytes to allocate from the FrameInfo. 126b014e3deSAlex Bradbury uint64_t StackSize = MFI.getStackSize(); 127b014e3deSAlex Bradbury 128b014e3deSAlex Bradbury // Early exit if there is no need to allocate on the stack 129b014e3deSAlex Bradbury if (StackSize == 0 && !MFI.adjustsStack()) 130b014e3deSAlex Bradbury return; 131b014e3deSAlex Bradbury 132b014e3deSAlex Bradbury // Allocate space on the stack if necessary. 133b014e3deSAlex Bradbury adjustReg(MBB, MBBI, DL, SPReg, SPReg, -StackSize, MachineInstr::FrameSetup); 134b014e3deSAlex Bradbury 135b014e3deSAlex Bradbury // The frame pointer is callee-saved, and code has been generated for us to 136b014e3deSAlex Bradbury // save it to the stack. We need to skip over the storing of callee-saved 137b014e3deSAlex Bradbury // registers as the frame pointer must be modified after it has been saved 138b014e3deSAlex Bradbury // to the stack, not before. 139b014e3deSAlex Bradbury // FIXME: assumes exactly one instruction is used to save each callee-saved 140b014e3deSAlex Bradbury // register. 141b014e3deSAlex Bradbury const std::vector<CalleeSavedInfo> &CSI = MFI.getCalleeSavedInfo(); 142b014e3deSAlex Bradbury std::advance(MBBI, CSI.size()); 143b014e3deSAlex Bradbury 144b014e3deSAlex Bradbury // Generate new FP. 145c85be0deSAlex Bradbury adjustReg(MBB, MBBI, DL, FPReg, SPReg, StackSize - RVFI->getVarArgsSaveSize(), 146c85be0deSAlex Bradbury MachineInstr::FrameSetup); 147b014e3deSAlex Bradbury } 1488971842fSAlex Bradbury 1498971842fSAlex Bradbury void RISCVFrameLowering::emitEpilogue(MachineFunction &MF, 150b014e3deSAlex Bradbury MachineBasicBlock &MBB) const { 151b014e3deSAlex Bradbury if (!hasFP(MF)) { 152b014e3deSAlex Bradbury report_fatal_error( 153b014e3deSAlex Bradbury "emitEpilogue doesn't support framepointer-less functions"); 154b014e3deSAlex Bradbury } 155b014e3deSAlex Bradbury 156b014e3deSAlex Bradbury MachineBasicBlock::iterator MBBI = MBB.getLastNonDebugInstr(); 157b014e3deSAlex Bradbury const RISCVRegisterInfo *RI = STI.getRegisterInfo(); 158b014e3deSAlex Bradbury MachineFrameInfo &MFI = MF.getFrameInfo(); 159c85be0deSAlex Bradbury auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>(); 160b014e3deSAlex Bradbury DebugLoc DL = MBBI->getDebugLoc(); 161b014e3deSAlex Bradbury unsigned FPReg = getFPReg(STI); 162b014e3deSAlex Bradbury unsigned SPReg = getSPReg(STI); 163b014e3deSAlex Bradbury 164b014e3deSAlex Bradbury // Skip to before the restores of callee-saved registers 165b014e3deSAlex Bradbury // FIXME: assumes exactly one instruction is used to restore each 166b014e3deSAlex Bradbury // callee-saved register. 167b014e3deSAlex Bradbury MachineBasicBlock::iterator LastFrameDestroy = MBBI; 168b014e3deSAlex Bradbury std::advance(LastFrameDestroy, -MFI.getCalleeSavedInfo().size()); 169b014e3deSAlex Bradbury 170b014e3deSAlex Bradbury uint64_t StackSize = MFI.getStackSize(); 171b014e3deSAlex Bradbury 172b014e3deSAlex Bradbury // Restore the stack pointer using the value of the frame pointer. Only 173b014e3deSAlex Bradbury // necessary if the stack pointer was modified, meaning the stack size is 174b014e3deSAlex Bradbury // unknown. 175b014e3deSAlex Bradbury if (RI->needsStackRealignment(MF) || MFI.hasVarSizedObjects()) { 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); 212c85be0deSAlex Bradbury assert(hasFP(MF) && "Offset calculation incorrect if !hasFP"); 213c85be0deSAlex Bradbury Offset += RVFI->getVarArgsSaveSize(); 214660bccecSAlex Bradbury } 215660bccecSAlex Bradbury return Offset; 216660bccecSAlex Bradbury } 217b014e3deSAlex Bradbury 218b014e3deSAlex Bradbury void RISCVFrameLowering::determineCalleeSaves(MachineFunction &MF, 219b014e3deSAlex Bradbury BitVector &SavedRegs, 220b014e3deSAlex Bradbury RegScavenger *RS) const { 221b014e3deSAlex Bradbury TargetFrameLowering::determineCalleeSaves(MF, SavedRegs, RS); 222b014e3deSAlex Bradbury // TODO: Once frame pointer elimination is implemented, don't 223b014e3deSAlex Bradbury // unconditionally spill the frame pointer and return address. 224b014e3deSAlex Bradbury SavedRegs.set(RISCV::X1); 225b014e3deSAlex Bradbury SavedRegs.set(RISCV::X8); 226b014e3deSAlex Bradbury } 227