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