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" 21aed9d6d6SSimon Cook #include "llvm/IR/DiagnosticInfo.h" 2204ddf39bSHsiangkai Wang #include "llvm/MC/MCDwarf.h" 238971842fSAlex Bradbury 248971842fSAlex Bradbury using namespace llvm; 258971842fSAlex Bradbury 261c466477SZhaoshi Zheng // For now we use x18, a.k.a s2, as pointer to shadow call stack. 271c466477SZhaoshi Zheng // User should explicitly set -ffixed-x18 and not use x18 in their asm. 281c466477SZhaoshi Zheng static void emitSCSPrologue(MachineFunction &MF, MachineBasicBlock &MBB, 291c466477SZhaoshi Zheng MachineBasicBlock::iterator MI, 301c466477SZhaoshi Zheng const DebugLoc &DL) { 311c466477SZhaoshi Zheng if (!MF.getFunction().hasFnAttribute(Attribute::ShadowCallStack)) 321c466477SZhaoshi Zheng return; 331c466477SZhaoshi Zheng 341c466477SZhaoshi Zheng const auto &STI = MF.getSubtarget<RISCVSubtarget>(); 351c466477SZhaoshi Zheng Register RAReg = STI.getRegisterInfo()->getRARegister(); 361c466477SZhaoshi Zheng 371c466477SZhaoshi Zheng // Do not save RA to the SCS if it's not saved to the regular stack, 381c466477SZhaoshi Zheng // i.e. RA is not at risk of being overwritten. 391c466477SZhaoshi Zheng std::vector<CalleeSavedInfo> &CSI = MF.getFrameInfo().getCalleeSavedInfo(); 401c466477SZhaoshi Zheng if (std::none_of(CSI.begin(), CSI.end(), 411c466477SZhaoshi Zheng [&](CalleeSavedInfo &CSR) { return CSR.getReg() == RAReg; })) 421c466477SZhaoshi Zheng return; 431c466477SZhaoshi Zheng 441c466477SZhaoshi Zheng Register SCSPReg = RISCVABI::getSCSPReg(); 451c466477SZhaoshi Zheng 461c466477SZhaoshi Zheng auto &Ctx = MF.getFunction().getContext(); 471c466477SZhaoshi Zheng if (!STI.isRegisterReservedByUser(SCSPReg)) { 481c466477SZhaoshi Zheng Ctx.diagnose(DiagnosticInfoUnsupported{ 491c466477SZhaoshi Zheng MF.getFunction(), "x18 not reserved by user for Shadow Call Stack."}); 501c466477SZhaoshi Zheng return; 511c466477SZhaoshi Zheng } 521c466477SZhaoshi Zheng 531c466477SZhaoshi Zheng const auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>(); 541c466477SZhaoshi Zheng if (RVFI->useSaveRestoreLibCalls(MF)) { 551c466477SZhaoshi Zheng Ctx.diagnose(DiagnosticInfoUnsupported{ 561c466477SZhaoshi Zheng MF.getFunction(), 571c466477SZhaoshi Zheng "Shadow Call Stack cannot be combined with Save/Restore LibCalls."}); 581c466477SZhaoshi Zheng return; 591c466477SZhaoshi Zheng } 601c466477SZhaoshi Zheng 611c466477SZhaoshi Zheng const RISCVInstrInfo *TII = STI.getInstrInfo(); 621c466477SZhaoshi Zheng bool IsRV64 = STI.hasFeature(RISCV::Feature64Bit); 631c466477SZhaoshi Zheng int64_t SlotSize = STI.getXLen() / 8; 641c466477SZhaoshi Zheng // Store return address to shadow call stack 651c466477SZhaoshi Zheng // s[w|d] ra, 0(s2) 661c466477SZhaoshi Zheng // addi s2, s2, [4|8] 671c466477SZhaoshi Zheng BuildMI(MBB, MI, DL, TII->get(IsRV64 ? RISCV::SD : RISCV::SW)) 681c466477SZhaoshi Zheng .addReg(RAReg) 691c466477SZhaoshi Zheng .addReg(SCSPReg) 701c466477SZhaoshi Zheng .addImm(0); 711c466477SZhaoshi Zheng BuildMI(MBB, MI, DL, TII->get(RISCV::ADDI)) 721c466477SZhaoshi Zheng .addReg(SCSPReg, RegState::Define) 731c466477SZhaoshi Zheng .addReg(SCSPReg) 741c466477SZhaoshi Zheng .addImm(SlotSize); 751c466477SZhaoshi Zheng } 761c466477SZhaoshi Zheng 771c466477SZhaoshi Zheng static void emitSCSEpilogue(MachineFunction &MF, MachineBasicBlock &MBB, 781c466477SZhaoshi Zheng MachineBasicBlock::iterator MI, 791c466477SZhaoshi Zheng const DebugLoc &DL) { 801c466477SZhaoshi Zheng if (!MF.getFunction().hasFnAttribute(Attribute::ShadowCallStack)) 811c466477SZhaoshi Zheng return; 821c466477SZhaoshi Zheng 831c466477SZhaoshi Zheng const auto &STI = MF.getSubtarget<RISCVSubtarget>(); 841c466477SZhaoshi Zheng Register RAReg = STI.getRegisterInfo()->getRARegister(); 851c466477SZhaoshi Zheng 861c466477SZhaoshi Zheng // See emitSCSPrologue() above. 871c466477SZhaoshi Zheng std::vector<CalleeSavedInfo> &CSI = MF.getFrameInfo().getCalleeSavedInfo(); 881c466477SZhaoshi Zheng if (std::none_of(CSI.begin(), CSI.end(), 891c466477SZhaoshi Zheng [&](CalleeSavedInfo &CSR) { return CSR.getReg() == RAReg; })) 901c466477SZhaoshi Zheng return; 911c466477SZhaoshi Zheng 921c466477SZhaoshi Zheng Register SCSPReg = RISCVABI::getSCSPReg(); 931c466477SZhaoshi Zheng 941c466477SZhaoshi Zheng auto &Ctx = MF.getFunction().getContext(); 951c466477SZhaoshi Zheng if (!STI.isRegisterReservedByUser(SCSPReg)) { 961c466477SZhaoshi Zheng Ctx.diagnose(DiagnosticInfoUnsupported{ 971c466477SZhaoshi Zheng MF.getFunction(), "x18 not reserved by user for Shadow Call Stack."}); 981c466477SZhaoshi Zheng return; 991c466477SZhaoshi Zheng } 1001c466477SZhaoshi Zheng 1011c466477SZhaoshi Zheng const auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>(); 1021c466477SZhaoshi Zheng if (RVFI->useSaveRestoreLibCalls(MF)) { 1031c466477SZhaoshi Zheng Ctx.diagnose(DiagnosticInfoUnsupported{ 1041c466477SZhaoshi Zheng MF.getFunction(), 1051c466477SZhaoshi Zheng "Shadow Call Stack cannot be combined with Save/Restore LibCalls."}); 1061c466477SZhaoshi Zheng return; 1071c466477SZhaoshi Zheng } 1081c466477SZhaoshi Zheng 1091c466477SZhaoshi Zheng const RISCVInstrInfo *TII = STI.getInstrInfo(); 1101c466477SZhaoshi Zheng bool IsRV64 = STI.hasFeature(RISCV::Feature64Bit); 1111c466477SZhaoshi Zheng int64_t SlotSize = STI.getXLen() / 8; 1121c466477SZhaoshi Zheng // Load return address from shadow call stack 1131c466477SZhaoshi Zheng // l[w|d] ra, -[4|8](s2) 1141c466477SZhaoshi Zheng // addi s2, s2, -[4|8] 1151c466477SZhaoshi Zheng BuildMI(MBB, MI, DL, TII->get(IsRV64 ? RISCV::LD : RISCV::LW)) 1161c466477SZhaoshi Zheng .addReg(RAReg, RegState::Define) 1171c466477SZhaoshi Zheng .addReg(SCSPReg) 1181c466477SZhaoshi Zheng .addImm(-SlotSize); 1191c466477SZhaoshi Zheng BuildMI(MBB, MI, DL, TII->get(RISCV::ADDI)) 1201c466477SZhaoshi Zheng .addReg(SCSPReg, RegState::Define) 1211c466477SZhaoshi Zheng .addReg(SCSPReg) 1221c466477SZhaoshi Zheng .addImm(-SlotSize); 1231c466477SZhaoshi Zheng } 1241c466477SZhaoshi Zheng 12507f7c002Slewis-revill // Get the ID of the libcall used for spilling and restoring callee saved 12607f7c002Slewis-revill // registers. The ID is representative of the number of registers saved or 12707f7c002Slewis-revill // restored by the libcall, except it is zero-indexed - ID 0 corresponds to a 12807f7c002Slewis-revill // single register. 12907f7c002Slewis-revill static int getLibCallID(const MachineFunction &MF, 13007f7c002Slewis-revill const std::vector<CalleeSavedInfo> &CSI) { 13107f7c002Slewis-revill const auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>(); 13207f7c002Slewis-revill 13308649f0aSMatt Arsenault if (CSI.empty() || !RVFI->useSaveRestoreLibCalls(MF)) 13407f7c002Slewis-revill return -1; 13507f7c002Slewis-revill 13607f7c002Slewis-revill Register MaxReg = RISCV::NoRegister; 13707f7c002Slewis-revill for (auto &CS : CSI) 13807f7c002Slewis-revill // RISCVRegisterInfo::hasReservedSpillSlot assigns negative frame indexes to 13907f7c002Slewis-revill // registers which can be saved by libcall. 14007f7c002Slewis-revill if (CS.getFrameIdx() < 0) 141d8938c8bSMatt Arsenault MaxReg = std::max(MaxReg.id(), CS.getReg().id()); 14207f7c002Slewis-revill 14307f7c002Slewis-revill if (MaxReg == RISCV::NoRegister) 14407f7c002Slewis-revill return -1; 14507f7c002Slewis-revill 14607f7c002Slewis-revill switch (MaxReg) { 14707f7c002Slewis-revill default: 14807f7c002Slewis-revill llvm_unreachable("Something has gone wrong!"); 14907f7c002Slewis-revill case /*s11*/ RISCV::X27: return 12; 15007f7c002Slewis-revill case /*s10*/ RISCV::X26: return 11; 15107f7c002Slewis-revill case /*s9*/ RISCV::X25: return 10; 15207f7c002Slewis-revill case /*s8*/ RISCV::X24: return 9; 15307f7c002Slewis-revill case /*s7*/ RISCV::X23: return 8; 15407f7c002Slewis-revill case /*s6*/ RISCV::X22: return 7; 15507f7c002Slewis-revill case /*s5*/ RISCV::X21: return 6; 15607f7c002Slewis-revill case /*s4*/ RISCV::X20: return 5; 15707f7c002Slewis-revill case /*s3*/ RISCV::X19: return 4; 15807f7c002Slewis-revill case /*s2*/ RISCV::X18: return 3; 15907f7c002Slewis-revill case /*s1*/ RISCV::X9: return 2; 16007f7c002Slewis-revill case /*s0*/ RISCV::X8: return 1; 16107f7c002Slewis-revill case /*ra*/ RISCV::X1: return 0; 16207f7c002Slewis-revill } 16307f7c002Slewis-revill } 16407f7c002Slewis-revill 16507f7c002Slewis-revill // Get the name of the libcall used for spilling callee saved registers. 16607f7c002Slewis-revill // If this function will not use save/restore libcalls, then return a nullptr. 16707f7c002Slewis-revill static const char * 16807f7c002Slewis-revill getSpillLibCallName(const MachineFunction &MF, 16907f7c002Slewis-revill const std::vector<CalleeSavedInfo> &CSI) { 17007f7c002Slewis-revill static const char *const SpillLibCalls[] = { 17107f7c002Slewis-revill "__riscv_save_0", 17207f7c002Slewis-revill "__riscv_save_1", 17307f7c002Slewis-revill "__riscv_save_2", 17407f7c002Slewis-revill "__riscv_save_3", 17507f7c002Slewis-revill "__riscv_save_4", 17607f7c002Slewis-revill "__riscv_save_5", 17707f7c002Slewis-revill "__riscv_save_6", 17807f7c002Slewis-revill "__riscv_save_7", 17907f7c002Slewis-revill "__riscv_save_8", 18007f7c002Slewis-revill "__riscv_save_9", 18107f7c002Slewis-revill "__riscv_save_10", 18207f7c002Slewis-revill "__riscv_save_11", 18307f7c002Slewis-revill "__riscv_save_12" 18407f7c002Slewis-revill }; 18507f7c002Slewis-revill 18607f7c002Slewis-revill int LibCallID = getLibCallID(MF, CSI); 18707f7c002Slewis-revill if (LibCallID == -1) 18807f7c002Slewis-revill return nullptr; 18907f7c002Slewis-revill return SpillLibCalls[LibCallID]; 19007f7c002Slewis-revill } 19107f7c002Slewis-revill 19207f7c002Slewis-revill // Get the name of the libcall used for restoring callee saved registers. 19307f7c002Slewis-revill // If this function will not use save/restore libcalls, then return a nullptr. 19407f7c002Slewis-revill static const char * 19507f7c002Slewis-revill getRestoreLibCallName(const MachineFunction &MF, 19607f7c002Slewis-revill const std::vector<CalleeSavedInfo> &CSI) { 19707f7c002Slewis-revill static const char *const RestoreLibCalls[] = { 19807f7c002Slewis-revill "__riscv_restore_0", 19907f7c002Slewis-revill "__riscv_restore_1", 20007f7c002Slewis-revill "__riscv_restore_2", 20107f7c002Slewis-revill "__riscv_restore_3", 20207f7c002Slewis-revill "__riscv_restore_4", 20307f7c002Slewis-revill "__riscv_restore_5", 20407f7c002Slewis-revill "__riscv_restore_6", 20507f7c002Slewis-revill "__riscv_restore_7", 20607f7c002Slewis-revill "__riscv_restore_8", 20707f7c002Slewis-revill "__riscv_restore_9", 20807f7c002Slewis-revill "__riscv_restore_10", 20907f7c002Slewis-revill "__riscv_restore_11", 21007f7c002Slewis-revill "__riscv_restore_12" 21107f7c002Slewis-revill }; 21207f7c002Slewis-revill 21307f7c002Slewis-revill int LibCallID = getLibCallID(MF, CSI); 21407f7c002Slewis-revill if (LibCallID == -1) 21507f7c002Slewis-revill return nullptr; 21607f7c002Slewis-revill return RestoreLibCalls[LibCallID]; 21707f7c002Slewis-revill } 21807f7c002Slewis-revill 2197d6aa1f7SAlex Bradbury bool RISCVFrameLowering::hasFP(const MachineFunction &MF) const { 2207d6aa1f7SAlex Bradbury const TargetRegisterInfo *RegInfo = MF.getSubtarget().getRegisterInfo(); 2217d6aa1f7SAlex Bradbury 2227d6aa1f7SAlex Bradbury const MachineFrameInfo &MFI = MF.getFrameInfo(); 2237d6aa1f7SAlex Bradbury return MF.getTarget().Options.DisableFramePointerElim(MF) || 2247d6aa1f7SAlex Bradbury RegInfo->needsStackRealignment(MF) || MFI.hasVarSizedObjects() || 2257d6aa1f7SAlex Bradbury MFI.isFrameAddressTaken(); 2267d6aa1f7SAlex Bradbury } 2278971842fSAlex Bradbury 228cf6cf0cdSShiva Chen bool RISCVFrameLowering::hasBP(const MachineFunction &MF) const { 229cf6cf0cdSShiva Chen const MachineFrameInfo &MFI = MF.getFrameInfo(); 230cf6cf0cdSShiva Chen const TargetRegisterInfo *TRI = STI.getRegisterInfo(); 231cf6cf0cdSShiva Chen 232cf6cf0cdSShiva Chen return MFI.hasVarSizedObjects() && TRI->needsStackRealignment(MF); 233cf6cf0cdSShiva Chen } 234cf6cf0cdSShiva Chen 235b014e3deSAlex Bradbury // Determines the size of the frame and maximum call frame size. 236b014e3deSAlex Bradbury void RISCVFrameLowering::determineFrameLayout(MachineFunction &MF) const { 237b014e3deSAlex Bradbury MachineFrameInfo &MFI = MF.getFrameInfo(); 238b014e3deSAlex Bradbury 239b014e3deSAlex Bradbury // Get the number of bytes to allocate from the FrameInfo. 240b014e3deSAlex Bradbury uint64_t FrameSize = MFI.getStackSize(); 241b014e3deSAlex Bradbury 242b014e3deSAlex Bradbury // Get the alignment. 243d000655aSGuillaume Chatelet Align StackAlign = getStackAlign(); 244cd44aee3SSam Elliott 245b014e3deSAlex Bradbury // Make sure the frame is aligned. 246b014e3deSAlex Bradbury FrameSize = alignTo(FrameSize, StackAlign); 247b014e3deSAlex Bradbury 248b014e3deSAlex Bradbury // Update frame info. 249b014e3deSAlex Bradbury MFI.setStackSize(FrameSize); 250b014e3deSAlex Bradbury } 251b014e3deSAlex Bradbury 252b014e3deSAlex Bradbury void RISCVFrameLowering::adjustReg(MachineBasicBlock &MBB, 253b014e3deSAlex Bradbury MachineBasicBlock::iterator MBBI, 254fa06e958SLuis Marques const DebugLoc &DL, Register DestReg, 255fa06e958SLuis Marques Register SrcReg, int64_t Val, 256b014e3deSAlex Bradbury MachineInstr::MIFlag Flag) const { 2579fea4881SAlex Bradbury MachineRegisterInfo &MRI = MBB.getParent()->getRegInfo(); 258b014e3deSAlex Bradbury const RISCVInstrInfo *TII = STI.getInstrInfo(); 259b014e3deSAlex Bradbury 260b014e3deSAlex Bradbury if (DestReg == SrcReg && Val == 0) 261b014e3deSAlex Bradbury return; 262b014e3deSAlex Bradbury 2639fea4881SAlex Bradbury if (isInt<12>(Val)) { 264b014e3deSAlex Bradbury BuildMI(MBB, MBBI, DL, TII->get(RISCV::ADDI), DestReg) 265b014e3deSAlex Bradbury .addReg(SrcReg) 266b014e3deSAlex Bradbury .addImm(Val) 267b014e3deSAlex Bradbury .setMIFlag(Flag); 268a49a16ddSShiva Chen } else { 2699fea4881SAlex Bradbury unsigned Opc = RISCV::ADD; 2709fea4881SAlex Bradbury bool isSub = Val < 0; 2719fea4881SAlex Bradbury if (isSub) { 2729fea4881SAlex Bradbury Val = -Val; 2739fea4881SAlex Bradbury Opc = RISCV::SUB; 2749fea4881SAlex Bradbury } 2759fea4881SAlex Bradbury 2763836874dSDaniel Sanders Register ScratchReg = MRI.createVirtualRegister(&RISCV::GPRRegClass); 277a49a16ddSShiva Chen TII->movImm(MBB, MBBI, DL, ScratchReg, Val, Flag); 2789fea4881SAlex Bradbury BuildMI(MBB, MBBI, DL, TII->get(Opc), DestReg) 2799fea4881SAlex Bradbury .addReg(SrcReg) 2809fea4881SAlex Bradbury .addReg(ScratchReg, RegState::Kill) 2819fea4881SAlex Bradbury .setMIFlag(Flag); 2829fea4881SAlex Bradbury } 283b014e3deSAlex Bradbury } 284b014e3deSAlex Bradbury 285b014e3deSAlex Bradbury // Returns the register used to hold the frame pointer. 286fa06e958SLuis Marques static Register getFPReg(const RISCVSubtarget &STI) { return RISCV::X8; } 287b014e3deSAlex Bradbury 288b014e3deSAlex Bradbury // Returns the register used to hold the stack pointer. 289fa06e958SLuis Marques static Register getSPReg(const RISCVSubtarget &STI) { return RISCV::X2; } 290b014e3deSAlex Bradbury 29107f7c002Slewis-revill static SmallVector<CalleeSavedInfo, 8> 2925a31a673SHsiangkai Wang getNonLibcallCSI(const MachineFunction &MF, 2935a31a673SHsiangkai Wang const std::vector<CalleeSavedInfo> &CSI) { 2945a31a673SHsiangkai Wang const MachineFrameInfo &MFI = MF.getFrameInfo(); 29507f7c002Slewis-revill SmallVector<CalleeSavedInfo, 8> NonLibcallCSI; 29607f7c002Slewis-revill 2975a31a673SHsiangkai Wang for (auto &CS : CSI) { 2985a31a673SHsiangkai Wang int FI = CS.getFrameIdx(); 2995a31a673SHsiangkai Wang if (FI >= 0 && MFI.getStackID(FI) == TargetStackID::Default) 30007f7c002Slewis-revill NonLibcallCSI.push_back(CS); 3015a31a673SHsiangkai Wang } 30207f7c002Slewis-revill 30307f7c002Slewis-revill return NonLibcallCSI; 30407f7c002Slewis-revill } 30507f7c002Slewis-revill 3065a31a673SHsiangkai Wang void RISCVFrameLowering::adjustStackForRVV(MachineFunction &MF, 3075a31a673SHsiangkai Wang MachineBasicBlock &MBB, 3085a31a673SHsiangkai Wang MachineBasicBlock::iterator MBBI, 3095a31a673SHsiangkai Wang const DebugLoc &DL, 3105a31a673SHsiangkai Wang int64_t Amount) const { 3115a31a673SHsiangkai Wang assert(Amount != 0 && "Did not need to adjust stack pointer for RVV."); 3125a31a673SHsiangkai Wang 3135a31a673SHsiangkai Wang const RISCVInstrInfo *TII = STI.getInstrInfo(); 3145a31a673SHsiangkai Wang Register SPReg = getSPReg(STI); 3155a31a673SHsiangkai Wang unsigned Opc = RISCV::ADD; 3165a31a673SHsiangkai Wang if (Amount < 0) { 3175a31a673SHsiangkai Wang Amount = -Amount; 3185a31a673SHsiangkai Wang Opc = RISCV::SUB; 3195a31a673SHsiangkai Wang } 3205a31a673SHsiangkai Wang 3215a31a673SHsiangkai Wang // 1. Multiply the number of v-slots to the length of registers 3225a31a673SHsiangkai Wang Register FactorRegister = TII->getVLENFactoredAmount(MF, MBB, MBBI, Amount); 3235a31a673SHsiangkai Wang // 2. SP = SP - RVV stack size 3245a31a673SHsiangkai Wang BuildMI(MBB, MBBI, DL, TII->get(Opc), SPReg) 3255a31a673SHsiangkai Wang .addReg(SPReg) 3265a31a673SHsiangkai Wang .addReg(FactorRegister); 3275a31a673SHsiangkai Wang } 3285a31a673SHsiangkai Wang 3298971842fSAlex Bradbury void RISCVFrameLowering::emitPrologue(MachineFunction &MF, 330b014e3deSAlex Bradbury MachineBasicBlock &MBB) const { 331b014e3deSAlex Bradbury MachineFrameInfo &MFI = MF.getFrameInfo(); 332c85be0deSAlex Bradbury auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>(); 33304ddf39bSHsiangkai Wang const RISCVRegisterInfo *RI = STI.getRegisterInfo(); 33404ddf39bSHsiangkai Wang const RISCVInstrInfo *TII = STI.getInstrInfo(); 335b014e3deSAlex Bradbury MachineBasicBlock::iterator MBBI = MBB.begin(); 336b014e3deSAlex Bradbury 337fa06e958SLuis Marques Register FPReg = getFPReg(STI); 338fa06e958SLuis Marques Register SPReg = getSPReg(STI); 339cf6cf0cdSShiva Chen Register BPReg = RISCVABI::getBPReg(); 340b014e3deSAlex Bradbury 3411c466477SZhaoshi Zheng // Debug location must be unknown since the first debug location is used 3421c466477SZhaoshi Zheng // to determine the end of the prologue. 3431c466477SZhaoshi Zheng DebugLoc DL; 3441c466477SZhaoshi Zheng 345a8dc2110SLuís Marques // All calls are tail calls in GHC calling conv, and functions have no 346a8dc2110SLuís Marques // prologue/epilogue. 347a8dc2110SLuís Marques if (MF.getFunction().getCallingConv() == CallingConv::GHC) 348a8dc2110SLuís Marques return; 349a8dc2110SLuís Marques 3501c466477SZhaoshi Zheng // Emit prologue for shadow call stack. 3511c466477SZhaoshi Zheng emitSCSPrologue(MF, MBB, MBBI, DL); 3521c466477SZhaoshi Zheng 35307f7c002Slewis-revill // Since spillCalleeSavedRegisters may have inserted a libcall, skip past 35407f7c002Slewis-revill // any instructions marked as FrameSetup 35507f7c002Slewis-revill while (MBBI != MBB.end() && MBBI->getFlag(MachineInstr::FrameSetup)) 35607f7c002Slewis-revill ++MBBI; 35707f7c002Slewis-revill 358b014e3deSAlex Bradbury // Determine the correct frame layout 359b014e3deSAlex Bradbury determineFrameLayout(MF); 360b014e3deSAlex Bradbury 36107f7c002Slewis-revill // If libcalls are used to spill and restore callee-saved registers, the frame 36207f7c002Slewis-revill // has two sections; the opaque section managed by the libcalls, and the 36307f7c002Slewis-revill // section managed by MachineFrameInfo which can also hold callee saved 36407f7c002Slewis-revill // registers in fixed stack slots, both of which have negative frame indices. 36507f7c002Slewis-revill // This gets even more complicated when incoming arguments are passed via the 36607f7c002Slewis-revill // stack, as these too have negative frame indices. An example is detailed 36707f7c002Slewis-revill // below: 36807f7c002Slewis-revill // 36907f7c002Slewis-revill // | incoming arg | <- FI[-3] 37007f7c002Slewis-revill // | libcallspill | 37107f7c002Slewis-revill // | calleespill | <- FI[-2] 37207f7c002Slewis-revill // | calleespill | <- FI[-1] 37307f7c002Slewis-revill // | this_frame | <- FI[0] 37407f7c002Slewis-revill // 37507f7c002Slewis-revill // For negative frame indices, the offset from the frame pointer will differ 37607f7c002Slewis-revill // depending on which of these groups the frame index applies to. 37707f7c002Slewis-revill // The following calculates the correct offset knowing the number of callee 37807f7c002Slewis-revill // saved registers spilt by the two methods. 37907f7c002Slewis-revill if (int LibCallRegs = getLibCallID(MF, MFI.getCalleeSavedInfo()) + 1) { 38007f7c002Slewis-revill // Calculate the size of the frame managed by the libcall. The libcalls are 38107f7c002Slewis-revill // implemented such that the stack will always be 16 byte aligned. 38207f7c002Slewis-revill unsigned LibCallFrameSize = alignTo((STI.getXLen() / 8) * LibCallRegs, 16); 38307f7c002Slewis-revill RVFI->setLibCallStackSize(LibCallFrameSize); 38407f7c002Slewis-revill } 38507f7c002Slewis-revill 386b014e3deSAlex Bradbury // FIXME (note copied from Lanai): This appears to be overallocating. Needs 387b014e3deSAlex Bradbury // investigation. Get the number of bytes to allocate from the FrameInfo. 388b014e3deSAlex Bradbury uint64_t StackSize = MFI.getStackSize(); 38907f7c002Slewis-revill uint64_t RealStackSize = StackSize + RVFI->getLibCallStackSize(); 3905a31a673SHsiangkai Wang uint64_t RVVStackSize = RVFI->getRVVStackSize(); 391b014e3deSAlex Bradbury 392b014e3deSAlex Bradbury // Early exit if there is no need to allocate on the stack 3935a31a673SHsiangkai Wang if (RealStackSize == 0 && !MFI.adjustsStack() && RVVStackSize == 0) 394b014e3deSAlex Bradbury return; 395b014e3deSAlex Bradbury 396aed9d6d6SSimon Cook // If the stack pointer has been marked as reserved, then produce an error if 397aed9d6d6SSimon Cook // the frame requires stack allocation 398aed9d6d6SSimon Cook if (STI.isRegisterReservedByUser(SPReg)) 399aed9d6d6SSimon Cook MF.getFunction().getContext().diagnose(DiagnosticInfoUnsupported{ 400aed9d6d6SSimon Cook MF.getFunction(), "Stack pointer required, but has been reserved."}); 401aed9d6d6SSimon Cook 402ff55e2e0SShiva Chen uint64_t FirstSPAdjustAmount = getFirstSPAdjustAmount(MF); 403ff55e2e0SShiva Chen // Split the SP adjustment to reduce the offsets of callee saved spill. 40407f7c002Slewis-revill if (FirstSPAdjustAmount) { 405ff55e2e0SShiva Chen StackSize = FirstSPAdjustAmount; 40607f7c002Slewis-revill RealStackSize = FirstSPAdjustAmount; 40707f7c002Slewis-revill } 408ff55e2e0SShiva Chen 409b014e3deSAlex Bradbury // Allocate space on the stack if necessary. 410b014e3deSAlex Bradbury adjustReg(MBB, MBBI, DL, SPReg, SPReg, -StackSize, MachineInstr::FrameSetup); 411b014e3deSAlex Bradbury 41207f7c002Slewis-revill // Emit ".cfi_def_cfa_offset RealStackSize" 41304ddf39bSHsiangkai Wang unsigned CFIIndex = MF.addFrameInst( 4140840d725SFangrui Song MCCFIInstruction::cfiDefCfaOffset(nullptr, RealStackSize)); 41504ddf39bSHsiangkai Wang BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION)) 41604ddf39bSHsiangkai Wang .addCFIIndex(CFIIndex); 41704ddf39bSHsiangkai Wang 41807f7c002Slewis-revill const auto &CSI = MFI.getCalleeSavedInfo(); 41907f7c002Slewis-revill 420b014e3deSAlex Bradbury // The frame pointer is callee-saved, and code has been generated for us to 421b014e3deSAlex Bradbury // save it to the stack. We need to skip over the storing of callee-saved 422b014e3deSAlex Bradbury // registers as the frame pointer must be modified after it has been saved 423b014e3deSAlex Bradbury // to the stack, not before. 424b014e3deSAlex Bradbury // FIXME: assumes exactly one instruction is used to save each callee-saved 425b014e3deSAlex Bradbury // register. 4265a31a673SHsiangkai Wang std::advance(MBBI, getNonLibcallCSI(MF, CSI).size()); 427b014e3deSAlex Bradbury 42804ddf39bSHsiangkai Wang // Iterate over list of callee-saved registers and emit .cfi_offset 42904ddf39bSHsiangkai Wang // directives. 43004ddf39bSHsiangkai Wang for (const auto &Entry : CSI) { 43107f7c002Slewis-revill int FrameIdx = Entry.getFrameIdx(); 43207f7c002Slewis-revill int64_t Offset; 43307f7c002Slewis-revill // Offsets for objects with fixed locations (IE: those saved by libcall) are 43407f7c002Slewis-revill // simply calculated from the frame index. 43507f7c002Slewis-revill if (FrameIdx < 0) 43607f7c002Slewis-revill Offset = FrameIdx * (int64_t) STI.getXLen() / 8; 43707f7c002Slewis-revill else 43807f7c002Slewis-revill Offset = MFI.getObjectOffset(Entry.getFrameIdx()) - 43907f7c002Slewis-revill RVFI->getLibCallStackSize(); 440fa06e958SLuis Marques Register Reg = Entry.getReg(); 44104ddf39bSHsiangkai Wang unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::createOffset( 44204ddf39bSHsiangkai Wang nullptr, RI->getDwarfRegNum(Reg, true), Offset)); 44304ddf39bSHsiangkai Wang BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION)) 44404ddf39bSHsiangkai Wang .addCFIIndex(CFIIndex); 44504ddf39bSHsiangkai Wang } 44604ddf39bSHsiangkai Wang 447b014e3deSAlex Bradbury // Generate new FP. 44804ddf39bSHsiangkai Wang if (hasFP(MF)) { 449aed9d6d6SSimon Cook if (STI.isRegisterReservedByUser(FPReg)) 450aed9d6d6SSimon Cook MF.getFunction().getContext().diagnose(DiagnosticInfoUnsupported{ 451aed9d6d6SSimon Cook MF.getFunction(), "Frame pointer required, but has been reserved."}); 452aed9d6d6SSimon Cook 4537d6aa1f7SAlex Bradbury adjustReg(MBB, MBBI, DL, FPReg, SPReg, 45407f7c002Slewis-revill RealStackSize - RVFI->getVarArgsSaveSize(), 45507f7c002Slewis-revill MachineInstr::FrameSetup); 45604ddf39bSHsiangkai Wang 4577e49dc61SFangrui Song // Emit ".cfi_def_cfa $fp, RVFI->getVarArgsSaveSize()" 4587e49dc61SFangrui Song unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::cfiDefCfa( 4597e49dc61SFangrui Song nullptr, RI->getDwarfRegNum(FPReg, true), RVFI->getVarArgsSaveSize())); 46004ddf39bSHsiangkai Wang BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION)) 46104ddf39bSHsiangkai Wang .addCFIIndex(CFIIndex); 462ff55e2e0SShiva Chen } 463cd44aee3SSam Elliott 464ff55e2e0SShiva Chen // Emit the second SP adjustment after saving callee saved registers. 465ff55e2e0SShiva Chen if (FirstSPAdjustAmount) { 466ff55e2e0SShiva Chen uint64_t SecondSPAdjustAmount = MFI.getStackSize() - FirstSPAdjustAmount; 467ff55e2e0SShiva Chen assert(SecondSPAdjustAmount > 0 && 468ff55e2e0SShiva Chen "SecondSPAdjustAmount should be greater than zero"); 469ff55e2e0SShiva Chen adjustReg(MBB, MBBI, DL, SPReg, SPReg, -SecondSPAdjustAmount, 470ff55e2e0SShiva Chen MachineInstr::FrameSetup); 4711c737f54SLuís Marques 4721c737f54SLuís Marques // If we are using a frame-pointer, and thus emitted ".cfi_def_cfa fp, 0", 4731c737f54SLuís Marques // don't emit an sp-based .cfi_def_cfa_offset 4741c737f54SLuís Marques if (!hasFP(MF)) { 475ff55e2e0SShiva Chen // Emit ".cfi_def_cfa_offset StackSize" 476ff55e2e0SShiva Chen unsigned CFIIndex = MF.addFrameInst( 4770840d725SFangrui Song MCCFIInstruction::cfiDefCfaOffset(nullptr, MFI.getStackSize())); 478ff55e2e0SShiva Chen BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION)) 479ff55e2e0SShiva Chen .addCFIIndex(CFIIndex); 480ff55e2e0SShiva Chen } 4811c737f54SLuís Marques } 482ff55e2e0SShiva Chen 483ff55e2e0SShiva Chen if (hasFP(MF)) { 484cd44aee3SSam Elliott // Realign Stack 485cd44aee3SSam Elliott const RISCVRegisterInfo *RI = STI.getRegisterInfo(); 486cd44aee3SSam Elliott if (RI->needsStackRealignment(MF)) { 487d000655aSGuillaume Chatelet Align MaxAlignment = MFI.getMaxAlign(); 488cd44aee3SSam Elliott 489cd44aee3SSam Elliott const RISCVInstrInfo *TII = STI.getInstrInfo(); 490d000655aSGuillaume Chatelet if (isInt<12>(-(int)MaxAlignment.value())) { 491cd44aee3SSam Elliott BuildMI(MBB, MBBI, DL, TII->get(RISCV::ANDI), SPReg) 492cd44aee3SSam Elliott .addReg(SPReg) 493d000655aSGuillaume Chatelet .addImm(-(int)MaxAlignment.value()); 494cd44aee3SSam Elliott } else { 495d000655aSGuillaume Chatelet unsigned ShiftAmount = Log2(MaxAlignment); 496fa06e958SLuis Marques Register VR = 497cd44aee3SSam Elliott MF.getRegInfo().createVirtualRegister(&RISCV::GPRRegClass); 498cd44aee3SSam Elliott BuildMI(MBB, MBBI, DL, TII->get(RISCV::SRLI), VR) 499cd44aee3SSam Elliott .addReg(SPReg) 500cd44aee3SSam Elliott .addImm(ShiftAmount); 501cd44aee3SSam Elliott BuildMI(MBB, MBBI, DL, TII->get(RISCV::SLLI), SPReg) 502cd44aee3SSam Elliott .addReg(VR) 503cd44aee3SSam Elliott .addImm(ShiftAmount); 504cd44aee3SSam Elliott } 505cf6cf0cdSShiva Chen // FP will be used to restore the frame in the epilogue, so we need 506cf6cf0cdSShiva Chen // another base register BP to record SP after re-alignment. SP will 507cf6cf0cdSShiva Chen // track the current stack after allocating variable sized objects. 508cf6cf0cdSShiva Chen if (hasBP(MF)) { 509cf6cf0cdSShiva Chen // move BP, SP 510*709ea8bcSluxufan TII->copyPhysReg(MBB, MBBI, DL, BPReg, SPReg, false); 511cf6cf0cdSShiva Chen } 512cd44aee3SSam Elliott } 51304ddf39bSHsiangkai Wang } 5145a31a673SHsiangkai Wang 5155a31a673SHsiangkai Wang if (RVVStackSize) 5165a31a673SHsiangkai Wang adjustStackForRVV(MF, MBB, MBBI, DL, -RVVStackSize); 517b014e3deSAlex Bradbury } 5188971842fSAlex Bradbury 5198971842fSAlex Bradbury void RISCVFrameLowering::emitEpilogue(MachineFunction &MF, 520b014e3deSAlex Bradbury MachineBasicBlock &MBB) const { 521b014e3deSAlex Bradbury const RISCVRegisterInfo *RI = STI.getRegisterInfo(); 522b014e3deSAlex Bradbury MachineFrameInfo &MFI = MF.getFrameInfo(); 523c85be0deSAlex Bradbury auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>(); 524fa06e958SLuis Marques Register FPReg = getFPReg(STI); 525fa06e958SLuis Marques Register SPReg = getSPReg(STI); 526b014e3deSAlex Bradbury 527a8dc2110SLuís Marques // All calls are tail calls in GHC calling conv, and functions have no 528a8dc2110SLuís Marques // prologue/epilogue. 529a8dc2110SLuís Marques if (MF.getFunction().getCallingConv() == CallingConv::GHC) 530a8dc2110SLuís Marques return; 531a8dc2110SLuís Marques 532cd800f3bSlewis-revill // Get the insert location for the epilogue. If there were no terminators in 533cd800f3bSlewis-revill // the block, get the last instruction. 534cd800f3bSlewis-revill MachineBasicBlock::iterator MBBI = MBB.end(); 535cd800f3bSlewis-revill DebugLoc DL; 536cd800f3bSlewis-revill if (!MBB.empty()) { 537cd800f3bSlewis-revill MBBI = MBB.getFirstTerminator(); 538cd800f3bSlewis-revill if (MBBI == MBB.end()) 539cd800f3bSlewis-revill MBBI = MBB.getLastNonDebugInstr(); 540cd800f3bSlewis-revill DL = MBBI->getDebugLoc(); 541cd800f3bSlewis-revill 542cd800f3bSlewis-revill // If this is not a terminator, the actual insert location should be after the 543cd800f3bSlewis-revill // last instruction. 544cd800f3bSlewis-revill if (!MBBI->isTerminator()) 545cd800f3bSlewis-revill MBBI = std::next(MBBI); 54607f7c002Slewis-revill 54707f7c002Slewis-revill // If callee-saved registers are saved via libcall, place stack adjustment 54807f7c002Slewis-revill // before this call. 54907f7c002Slewis-revill while (MBBI != MBB.begin() && 55007f7c002Slewis-revill std::prev(MBBI)->getFlag(MachineInstr::FrameDestroy)) 55107f7c002Slewis-revill --MBBI; 552cd800f3bSlewis-revill } 553cd800f3bSlewis-revill 5545a31a673SHsiangkai Wang const auto &CSI = getNonLibcallCSI(MF, MFI.getCalleeSavedInfo()); 55507f7c002Slewis-revill 556b014e3deSAlex Bradbury // Skip to before the restores of callee-saved registers 557b014e3deSAlex Bradbury // FIXME: assumes exactly one instruction is used to restore each 558b014e3deSAlex Bradbury // callee-saved register. 55907f7c002Slewis-revill auto LastFrameDestroy = MBBI; 56007f7c002Slewis-revill if (!CSI.empty()) 56107f7c002Slewis-revill LastFrameDestroy = std::prev(MBBI, CSI.size()); 562b014e3deSAlex Bradbury 563b014e3deSAlex Bradbury uint64_t StackSize = MFI.getStackSize(); 56407f7c002Slewis-revill uint64_t RealStackSize = StackSize + RVFI->getLibCallStackSize(); 56507f7c002Slewis-revill uint64_t FPOffset = RealStackSize - RVFI->getVarArgsSaveSize(); 5665a31a673SHsiangkai Wang uint64_t RVVStackSize = RVFI->getRVVStackSize(); 567b014e3deSAlex Bradbury 568b014e3deSAlex Bradbury // Restore the stack pointer using the value of the frame pointer. Only 569b014e3deSAlex Bradbury // necessary if the stack pointer was modified, meaning the stack size is 570b014e3deSAlex Bradbury // unknown. 571b014e3deSAlex Bradbury if (RI->needsStackRealignment(MF) || MFI.hasVarSizedObjects()) { 5727d6aa1f7SAlex Bradbury assert(hasFP(MF) && "frame pointer should not have been eliminated"); 57304ddf39bSHsiangkai Wang adjustReg(MBB, LastFrameDestroy, DL, SPReg, FPReg, -FPOffset, 574b014e3deSAlex Bradbury MachineInstr::FrameDestroy); 5755a31a673SHsiangkai Wang } else { 5765a31a673SHsiangkai Wang if (RVVStackSize) 5775a31a673SHsiangkai Wang adjustStackForRVV(MF, MBB, LastFrameDestroy, DL, RVVStackSize); 578b014e3deSAlex Bradbury } 579b014e3deSAlex Bradbury 580ff55e2e0SShiva Chen uint64_t FirstSPAdjustAmount = getFirstSPAdjustAmount(MF); 581ff55e2e0SShiva Chen if (FirstSPAdjustAmount) { 582ff55e2e0SShiva Chen uint64_t SecondSPAdjustAmount = MFI.getStackSize() - FirstSPAdjustAmount; 583ff55e2e0SShiva Chen assert(SecondSPAdjustAmount > 0 && 584ff55e2e0SShiva Chen "SecondSPAdjustAmount should be greater than zero"); 585ff55e2e0SShiva Chen 586ff55e2e0SShiva Chen adjustReg(MBB, LastFrameDestroy, DL, SPReg, SPReg, SecondSPAdjustAmount, 587ff55e2e0SShiva Chen MachineInstr::FrameDestroy); 58804ddf39bSHsiangkai Wang } 58904ddf39bSHsiangkai Wang 590ff55e2e0SShiva Chen if (FirstSPAdjustAmount) 591ff55e2e0SShiva Chen StackSize = FirstSPAdjustAmount; 592ff55e2e0SShiva Chen 593b014e3deSAlex Bradbury // Deallocate stack 594b014e3deSAlex Bradbury adjustReg(MBB, MBBI, DL, SPReg, SPReg, StackSize, MachineInstr::FrameDestroy); 5951c466477SZhaoshi Zheng 5961c466477SZhaoshi Zheng // Emit epilogue for shadow call stack. 5971c466477SZhaoshi Zheng emitSCSEpilogue(MF, MBB, MBBI, DL); 598b014e3deSAlex Bradbury } 599660bccecSAlex Bradbury 600d57bba7cSSander de Smalen StackOffset 601d57bba7cSSander de Smalen RISCVFrameLowering::getFrameIndexReference(const MachineFunction &MF, int FI, 6022481f26aSMatt Arsenault Register &FrameReg) const { 603660bccecSAlex Bradbury const MachineFrameInfo &MFI = MF.getFrameInfo(); 604660bccecSAlex Bradbury const TargetRegisterInfo *RI = MF.getSubtarget().getRegisterInfo(); 605c85be0deSAlex Bradbury const auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>(); 606660bccecSAlex Bradbury 607660bccecSAlex Bradbury // Callee-saved registers should be referenced relative to the stack 608660bccecSAlex Bradbury // pointer (positive offset), otherwise use the frame pointer (negative 609660bccecSAlex Bradbury // offset). 6105a31a673SHsiangkai Wang const auto &CSI = getNonLibcallCSI(MF, MFI.getCalleeSavedInfo()); 611660bccecSAlex Bradbury int MinCSFI = 0; 612660bccecSAlex Bradbury int MaxCSFI = -1; 6135a31a673SHsiangkai Wang StackOffset Offset; 6145a31a673SHsiangkai Wang auto StackID = MFI.getStackID(FI); 615660bccecSAlex Bradbury 6165a31a673SHsiangkai Wang assert((StackID == TargetStackID::Default || 6175a31a673SHsiangkai Wang StackID == TargetStackID::ScalableVector) && 6185a31a673SHsiangkai Wang "Unexpected stack ID for the frame object."); 6195a31a673SHsiangkai Wang if (StackID == TargetStackID::Default) { 6205a31a673SHsiangkai Wang Offset = 6215a31a673SHsiangkai Wang StackOffset::getFixed(MFI.getObjectOffset(FI) - getOffsetOfLocalArea() + 6225a31a673SHsiangkai Wang MFI.getOffsetAdjustment()); 6235a31a673SHsiangkai Wang } else if (StackID == TargetStackID::ScalableVector) { 6245a31a673SHsiangkai Wang Offset = StackOffset::getScalable(MFI.getObjectOffset(FI)); 6255a31a673SHsiangkai Wang } 626660bccecSAlex Bradbury 627ff55e2e0SShiva Chen uint64_t FirstSPAdjustAmount = getFirstSPAdjustAmount(MF); 628ff55e2e0SShiva Chen 629660bccecSAlex Bradbury if (CSI.size()) { 630660bccecSAlex Bradbury MinCSFI = CSI[0].getFrameIdx(); 631660bccecSAlex Bradbury MaxCSFI = CSI[CSI.size() - 1].getFrameIdx(); 632660bccecSAlex Bradbury } 633660bccecSAlex Bradbury 634660bccecSAlex Bradbury if (FI >= MinCSFI && FI <= MaxCSFI) { 635660bccecSAlex Bradbury FrameReg = RISCV::X2; 636ff55e2e0SShiva Chen 637ff55e2e0SShiva Chen if (FirstSPAdjustAmount) 6385a31a673SHsiangkai Wang Offset += StackOffset::getFixed(FirstSPAdjustAmount); 639ff55e2e0SShiva Chen else 6405a31a673SHsiangkai Wang Offset += StackOffset::getFixed(MFI.getStackSize()); 641cf6cf0cdSShiva Chen } else if (RI->needsStackRealignment(MF) && !MFI.isFixedObjectIndex(FI)) { 642cd44aee3SSam Elliott // If the stack was realigned, the frame pointer is set in order to allow 643cf6cf0cdSShiva Chen // SP to be restored, so we need another base register to record the stack 644cf6cf0cdSShiva Chen // after realignment. 6455a31a673SHsiangkai Wang if (hasBP(MF)) { 646cf6cf0cdSShiva Chen FrameReg = RISCVABI::getBPReg(); 6475a31a673SHsiangkai Wang // |--------------------------| -- <-- FP 6485a31a673SHsiangkai Wang // | callee-saved registers | | 6495a31a673SHsiangkai Wang // |--------------------------| | MFI.getStackSize() 6505a31a673SHsiangkai Wang // | scalar local variables | | 6515a31a673SHsiangkai Wang // |--------------------------| -- 6525a31a673SHsiangkai Wang // | Realignment | | 6535a31a673SHsiangkai Wang // |--------------------------| -- <-- BP 6545a31a673SHsiangkai Wang // | RVV objects | | RVFI->getRVVStackSize() 6555a31a673SHsiangkai Wang // |--------------------------| -- 6565a31a673SHsiangkai Wang // | VarSize objects | | 6575a31a673SHsiangkai Wang // |--------------------------| -- <-- SP 6585a31a673SHsiangkai Wang } else { 659cd44aee3SSam Elliott FrameReg = RISCV::X2; 6605a31a673SHsiangkai Wang // When using SP to access frame objects, we need to add RVV stack size. 6615a31a673SHsiangkai Wang // 6625a31a673SHsiangkai Wang // |--------------------------| -- <-- FP 6635a31a673SHsiangkai Wang // | callee-saved registers | | 6645a31a673SHsiangkai Wang // |--------------------------| | MFI.getStackSize() 6655a31a673SHsiangkai Wang // | scalar local variables | | 6665a31a673SHsiangkai Wang // |--------------------------| -- 6675a31a673SHsiangkai Wang // | Realignment | | 6685a31a673SHsiangkai Wang // |--------------------------| -- 6695a31a673SHsiangkai Wang // | RVV objects | | RVFI->getRVVStackSize() 6705a31a673SHsiangkai Wang // |--------------------------| -- <-- SP 6715a31a673SHsiangkai Wang Offset += StackOffset::getScalable(RVFI->getRVVStackSize()); 6725a31a673SHsiangkai Wang } 6735a31a673SHsiangkai Wang if (MFI.getStackID(FI) == TargetStackID::Default) { 6745a31a673SHsiangkai Wang Offset += StackOffset::getFixed(MFI.getStackSize()); 67507f7c002Slewis-revill if (FI < 0) 6765a31a673SHsiangkai Wang Offset += StackOffset::getFixed(RVFI->getLibCallStackSize()); 6775a31a673SHsiangkai Wang } 678c85be0deSAlex Bradbury } else { 679c85be0deSAlex Bradbury FrameReg = RI->getFrameRegister(MF); 68007f7c002Slewis-revill if (hasFP(MF)) { 6815a31a673SHsiangkai Wang Offset += StackOffset::getFixed(RVFI->getVarArgsSaveSize()); 68207f7c002Slewis-revill if (FI >= 0) 6835a31a673SHsiangkai Wang Offset -= StackOffset::getFixed(RVFI->getLibCallStackSize()); 6845a31a673SHsiangkai Wang // When using FP to access scalable vector objects, we need to minus 6855a31a673SHsiangkai Wang // the frame size. 6865a31a673SHsiangkai Wang // 6875a31a673SHsiangkai Wang // |--------------------------| -- <-- FP 6885a31a673SHsiangkai Wang // | callee-saved registers | | 6895a31a673SHsiangkai Wang // |--------------------------| | MFI.getStackSize() 6905a31a673SHsiangkai Wang // | scalar local variables | | 6915a31a673SHsiangkai Wang // |--------------------------| -- (Offset of RVV objects is from here.) 6925a31a673SHsiangkai Wang // | RVV objects | 6935a31a673SHsiangkai Wang // |--------------------------| 6945a31a673SHsiangkai Wang // | VarSize objects | 6955a31a673SHsiangkai Wang // |--------------------------| <-- SP 6965a31a673SHsiangkai Wang if (MFI.getStackID(FI) == TargetStackID::ScalableVector) 6975a31a673SHsiangkai Wang Offset -= StackOffset::getFixed(MFI.getStackSize()); 69807f7c002Slewis-revill } else { 6995a31a673SHsiangkai Wang // When using SP to access frame objects, we need to add RVV stack size. 7005a31a673SHsiangkai Wang // 7015a31a673SHsiangkai Wang // |--------------------------| -- <-- FP 7025a31a673SHsiangkai Wang // | callee-saved registers | | 7035a31a673SHsiangkai Wang // |--------------------------| | MFI.getStackSize() 7045a31a673SHsiangkai Wang // | scalar local variables | | 7055a31a673SHsiangkai Wang // |--------------------------| -- 7065a31a673SHsiangkai Wang // | RVV objects | | RVFI->getRVVStackSize() 7075a31a673SHsiangkai Wang // |--------------------------| -- <-- SP 7085a31a673SHsiangkai Wang Offset += StackOffset::getScalable(RVFI->getRVVStackSize()); 7095a31a673SHsiangkai Wang if (MFI.getStackID(FI) == TargetStackID::Default) { 7105a31a673SHsiangkai Wang Offset += StackOffset::getFixed(MFI.getStackSize()); 71107f7c002Slewis-revill if (FI < 0) 7125a31a673SHsiangkai Wang Offset += StackOffset::getFixed(RVFI->getLibCallStackSize()); 71307f7c002Slewis-revill } 714660bccecSAlex Bradbury } 7155a31a673SHsiangkai Wang } 7165a31a673SHsiangkai Wang 7175a31a673SHsiangkai Wang return Offset; 718660bccecSAlex Bradbury } 719b014e3deSAlex Bradbury 720b014e3deSAlex Bradbury void RISCVFrameLowering::determineCalleeSaves(MachineFunction &MF, 721b014e3deSAlex Bradbury BitVector &SavedRegs, 722b014e3deSAlex Bradbury RegScavenger *RS) const { 723b014e3deSAlex Bradbury TargetFrameLowering::determineCalleeSaves(MF, SavedRegs, RS); 7247d6aa1f7SAlex Bradbury // Unconditionally spill RA and FP only if the function uses a frame 7257d6aa1f7SAlex Bradbury // pointer. 7267d6aa1f7SAlex Bradbury if (hasFP(MF)) { 727b014e3deSAlex Bradbury SavedRegs.set(RISCV::X1); 728b014e3deSAlex Bradbury SavedRegs.set(RISCV::X8); 729b014e3deSAlex Bradbury } 730cf6cf0cdSShiva Chen // Mark BP as used if function has dedicated base pointer. 731cf6cf0cdSShiva Chen if (hasBP(MF)) 732cf6cf0cdSShiva Chen SavedRegs.set(RISCVABI::getBPReg()); 7332e4106b7SAna Pazos 7342e4106b7SAna Pazos // If interrupt is enabled and there are calls in the handler, 7352e4106b7SAna Pazos // unconditionally save all Caller-saved registers and 7362e4106b7SAna Pazos // all FP registers, regardless whether they are used. 7372e4106b7SAna Pazos MachineFrameInfo &MFI = MF.getFrameInfo(); 7382e4106b7SAna Pazos 7392e4106b7SAna Pazos if (MF.getFunction().hasFnAttribute("interrupt") && MFI.hasCalls()) { 7402e4106b7SAna Pazos 7412e4106b7SAna Pazos static const MCPhysReg CSRegs[] = { RISCV::X1, /* ra */ 7422e4106b7SAna Pazos RISCV::X5, RISCV::X6, RISCV::X7, /* t0-t2 */ 7432e4106b7SAna Pazos RISCV::X10, RISCV::X11, /* a0-a1, a2-a7 */ 7442e4106b7SAna Pazos RISCV::X12, RISCV::X13, RISCV::X14, RISCV::X15, RISCV::X16, RISCV::X17, 7452e4106b7SAna Pazos RISCV::X28, RISCV::X29, RISCV::X30, RISCV::X31, 0 /* t3-t6 */ 7462e4106b7SAna Pazos }; 7472e4106b7SAna Pazos 7482e4106b7SAna Pazos for (unsigned i = 0; CSRegs[i]; ++i) 7492e4106b7SAna Pazos SavedRegs.set(CSRegs[i]); 7502e4106b7SAna Pazos 751f7bc7c29SHsiangkai Wang if (MF.getSubtarget<RISCVSubtarget>().hasStdExtF()) { 7522e4106b7SAna Pazos 7532e4106b7SAna Pazos // If interrupt is enabled, this list contains all FP registers. 7542e4106b7SAna Pazos const MCPhysReg * Regs = MF.getRegInfo().getCalleeSavedRegs(); 7552e4106b7SAna Pazos 7562e4106b7SAna Pazos for (unsigned i = 0; Regs[i]; ++i) 757f7bc7c29SHsiangkai Wang if (RISCV::FPR16RegClass.contains(Regs[i]) || 758f7bc7c29SHsiangkai Wang RISCV::FPR32RegClass.contains(Regs[i]) || 7592e4106b7SAna Pazos RISCV::FPR64RegClass.contains(Regs[i])) 7602e4106b7SAna Pazos SavedRegs.set(Regs[i]); 7612e4106b7SAna Pazos } 7622e4106b7SAna Pazos } 7637d6aa1f7SAlex Bradbury } 7640715d35eSAlex Bradbury 7655a31a673SHsiangkai Wang int64_t 7665a31a673SHsiangkai Wang RISCVFrameLowering::assignRVVStackObjectOffsets(MachineFrameInfo &MFI) const { 7675a31a673SHsiangkai Wang int64_t Offset = 0; 7685a31a673SHsiangkai Wang // Create a buffer of RVV objects to allocate. 7695a31a673SHsiangkai Wang SmallVector<int, 8> ObjectsToAllocate; 7705a31a673SHsiangkai Wang for (int I = 0, E = MFI.getObjectIndexEnd(); I != E; ++I) { 7715a31a673SHsiangkai Wang unsigned StackID = MFI.getStackID(I); 7725a31a673SHsiangkai Wang if (StackID != TargetStackID::ScalableVector) 7735a31a673SHsiangkai Wang continue; 7745a31a673SHsiangkai Wang if (MFI.isDeadObjectIndex(I)) 7755a31a673SHsiangkai Wang continue; 7765a31a673SHsiangkai Wang 7775a31a673SHsiangkai Wang ObjectsToAllocate.push_back(I); 7785a31a673SHsiangkai Wang } 7795a31a673SHsiangkai Wang 7805a31a673SHsiangkai Wang // Allocate all RVV locals and spills 7815a31a673SHsiangkai Wang for (int FI : ObjectsToAllocate) { 7825a31a673SHsiangkai Wang // ObjectSize in bytes. 7835a31a673SHsiangkai Wang int64_t ObjectSize = MFI.getObjectSize(FI); 7845a31a673SHsiangkai Wang // If the data type is the fractional vector type, reserve one vector 7855a31a673SHsiangkai Wang // register for it. 7865a31a673SHsiangkai Wang if (ObjectSize < 8) 7875a31a673SHsiangkai Wang ObjectSize = 8; 7885a31a673SHsiangkai Wang // Currently, all scalable vector types are aligned to 8 bytes. 7895a31a673SHsiangkai Wang Offset = alignTo(Offset + ObjectSize, 8); 7905a31a673SHsiangkai Wang MFI.setObjectOffset(FI, -Offset); 7915a31a673SHsiangkai Wang } 7925a31a673SHsiangkai Wang 7935a31a673SHsiangkai Wang return Offset; 7945a31a673SHsiangkai Wang } 7955a31a673SHsiangkai Wang 7960715d35eSAlex Bradbury void RISCVFrameLowering::processFunctionBeforeFrameFinalized( 7970715d35eSAlex Bradbury MachineFunction &MF, RegScavenger *RS) const { 7980715d35eSAlex Bradbury const TargetRegisterInfo *RegInfo = MF.getSubtarget().getRegisterInfo(); 7990715d35eSAlex Bradbury MachineFrameInfo &MFI = MF.getFrameInfo(); 8000715d35eSAlex Bradbury const TargetRegisterClass *RC = &RISCV::GPRRegClass; 8010715d35eSAlex Bradbury // estimateStackSize has been observed to under-estimate the final stack 8020715d35eSAlex Bradbury // size, so give ourselves wiggle-room by checking for stack size 8030715d35eSAlex Bradbury // representable an 11-bit signed field rather than 12-bits. 8040715d35eSAlex Bradbury // FIXME: It may be possible to craft a function with a small stack that 8050715d35eSAlex Bradbury // still needs an emergency spill slot for branch relaxation. This case 8060715d35eSAlex Bradbury // would currently be missed. 8070715d35eSAlex Bradbury if (!isInt<11>(MFI.estimateStackSize(MF))) { 80828de229bSGuillaume Chatelet int RegScavFI = MFI.CreateStackObject(RegInfo->getSpillSize(*RC), 80928de229bSGuillaume Chatelet RegInfo->getSpillAlign(*RC), false); 8100715d35eSAlex Bradbury RS->addScavengingFrameIndex(RegScavFI); 8110715d35eSAlex Bradbury } 8125a31a673SHsiangkai Wang 8135a31a673SHsiangkai Wang auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>(); 8145a31a673SHsiangkai Wang int64_t RVVStackSize = assignRVVStackObjectOffsets(MFI); 8155a31a673SHsiangkai Wang RVFI->setRVVStackSize(RVVStackSize); 8160715d35eSAlex Bradbury } 817cbd498acSShiva Chen 818cbd498acSShiva Chen // Not preserve stack space within prologue for outgoing variables when the 819cbd498acSShiva Chen // function contains variable size objects and let eliminateCallFramePseudoInstr 820cbd498acSShiva Chen // preserve stack space for it. 821cbd498acSShiva Chen bool RISCVFrameLowering::hasReservedCallFrame(const MachineFunction &MF) const { 822cbd498acSShiva Chen return !MF.getFrameInfo().hasVarSizedObjects(); 823cbd498acSShiva Chen } 824cbd498acSShiva Chen 825cbd498acSShiva Chen // Eliminate ADJCALLSTACKDOWN, ADJCALLSTACKUP pseudo instructions. 826cbd498acSShiva Chen MachineBasicBlock::iterator RISCVFrameLowering::eliminateCallFramePseudoInstr( 827cbd498acSShiva Chen MachineFunction &MF, MachineBasicBlock &MBB, 828cbd498acSShiva Chen MachineBasicBlock::iterator MI) const { 829fa06e958SLuis Marques Register SPReg = RISCV::X2; 830cbd498acSShiva Chen DebugLoc DL = MI->getDebugLoc(); 831cbd498acSShiva Chen 832cbd498acSShiva Chen if (!hasReservedCallFrame(MF)) { 833cbd498acSShiva Chen // If space has not been reserved for a call frame, ADJCALLSTACKDOWN and 834cbd498acSShiva Chen // ADJCALLSTACKUP must be converted to instructions manipulating the stack 835cbd498acSShiva Chen // pointer. This is necessary when there is a variable length stack 836cbd498acSShiva Chen // allocation (e.g. alloca), which means it's not possible to allocate 837cbd498acSShiva Chen // space for outgoing arguments from within the function prologue. 838cbd498acSShiva Chen int64_t Amount = MI->getOperand(0).getImm(); 839cbd498acSShiva Chen 840cbd498acSShiva Chen if (Amount != 0) { 841cbd498acSShiva Chen // Ensure the stack remains aligned after adjustment. 842cbd498acSShiva Chen Amount = alignSPAdjust(Amount); 843cbd498acSShiva Chen 844cbd498acSShiva Chen if (MI->getOpcode() == RISCV::ADJCALLSTACKDOWN) 845cbd498acSShiva Chen Amount = -Amount; 846cbd498acSShiva Chen 847cbd498acSShiva Chen adjustReg(MBB, MI, DL, SPReg, SPReg, Amount, MachineInstr::NoFlags); 848cbd498acSShiva Chen } 849cbd498acSShiva Chen } 850cbd498acSShiva Chen 851cbd498acSShiva Chen return MBB.erase(MI); 852cbd498acSShiva Chen } 853ff55e2e0SShiva Chen 854ff55e2e0SShiva Chen // We would like to split the SP adjustment to reduce prologue/epilogue 855ff55e2e0SShiva Chen // as following instructions. In this way, the offset of the callee saved 856ff55e2e0SShiva Chen // register could fit in a single store. 857ff55e2e0SShiva Chen // add sp,sp,-2032 858ff55e2e0SShiva Chen // sw ra,2028(sp) 859ff55e2e0SShiva Chen // sw s0,2024(sp) 860ff55e2e0SShiva Chen // sw s1,2020(sp) 861ff55e2e0SShiva Chen // sw s3,2012(sp) 862ff55e2e0SShiva Chen // sw s4,2008(sp) 863ff55e2e0SShiva Chen // add sp,sp,-64 864ff55e2e0SShiva Chen uint64_t 865ff55e2e0SShiva Chen RISCVFrameLowering::getFirstSPAdjustAmount(const MachineFunction &MF) const { 86607f7c002Slewis-revill const auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>(); 867ff55e2e0SShiva Chen const MachineFrameInfo &MFI = MF.getFrameInfo(); 868ff55e2e0SShiva Chen const std::vector<CalleeSavedInfo> &CSI = MFI.getCalleeSavedInfo(); 869ff55e2e0SShiva Chen uint64_t StackSize = MFI.getStackSize(); 870ff55e2e0SShiva Chen 87107f7c002Slewis-revill // Disable SplitSPAdjust if save-restore libcall used. The callee saved 87207f7c002Slewis-revill // registers will be pushed by the save-restore libcalls, so we don't have to 87307f7c002Slewis-revill // split the SP adjustment in this case. 87407f7c002Slewis-revill if (RVFI->getLibCallStackSize()) 87507f7c002Slewis-revill return 0; 87607f7c002Slewis-revill 877ff55e2e0SShiva Chen // Return the FirstSPAdjustAmount if the StackSize can not fit in signed 878ff55e2e0SShiva Chen // 12-bit and there exists a callee saved register need to be pushed. 879ff55e2e0SShiva Chen if (!isInt<12>(StackSize) && (CSI.size() > 0)) { 880ff55e2e0SShiva Chen // FirstSPAdjustAmount is choosed as (2048 - StackAlign) 881ff55e2e0SShiva Chen // because 2048 will cause sp = sp + 2048 in epilogue split into 882ff55e2e0SShiva Chen // multi-instructions. The offset smaller than 2048 can fit in signle 883ff55e2e0SShiva Chen // load/store instruction and we have to stick with the stack alignment. 884ff55e2e0SShiva Chen // 2048 is 16-byte alignment. The stack alignment for RV32 and RV64 is 16, 885ff55e2e0SShiva Chen // for RV32E is 4. So (2048 - StackAlign) will satisfy the stack alignment. 8863ba550a0SGuillaume Chatelet return 2048 - getStackAlign().value(); 887ff55e2e0SShiva Chen } 888ff55e2e0SShiva Chen return 0; 889ff55e2e0SShiva Chen } 89007f7c002Slewis-revill 89107f7c002Slewis-revill bool RISCVFrameLowering::spillCalleeSavedRegisters( 89207f7c002Slewis-revill MachineBasicBlock &MBB, MachineBasicBlock::iterator MI, 89307f7c002Slewis-revill ArrayRef<CalleeSavedInfo> CSI, const TargetRegisterInfo *TRI) const { 89407f7c002Slewis-revill if (CSI.empty()) 89507f7c002Slewis-revill return true; 89607f7c002Slewis-revill 89707f7c002Slewis-revill MachineFunction *MF = MBB.getParent(); 89807f7c002Slewis-revill const TargetInstrInfo &TII = *MF->getSubtarget().getInstrInfo(); 89907f7c002Slewis-revill DebugLoc DL; 90007f7c002Slewis-revill if (MI != MBB.end() && !MI->isDebugInstr()) 90107f7c002Slewis-revill DL = MI->getDebugLoc(); 90207f7c002Slewis-revill 90307f7c002Slewis-revill const char *SpillLibCall = getSpillLibCallName(*MF, CSI); 90407f7c002Slewis-revill if (SpillLibCall) { 90507f7c002Slewis-revill // Add spill libcall via non-callee-saved register t0. 90607f7c002Slewis-revill BuildMI(MBB, MI, DL, TII.get(RISCV::PseudoCALLReg), RISCV::X5) 90707f7c002Slewis-revill .addExternalSymbol(SpillLibCall, RISCVII::MO_CALL) 90807f7c002Slewis-revill .setMIFlag(MachineInstr::FrameSetup); 90907f7c002Slewis-revill 91007f7c002Slewis-revill // Add registers spilled in libcall as liveins. 91107f7c002Slewis-revill for (auto &CS : CSI) 91207f7c002Slewis-revill MBB.addLiveIn(CS.getReg()); 91307f7c002Slewis-revill } 91407f7c002Slewis-revill 91507f7c002Slewis-revill // Manually spill values not spilled by libcall. 9165a31a673SHsiangkai Wang const auto &NonLibcallCSI = getNonLibcallCSI(*MF, CSI); 91707f7c002Slewis-revill for (auto &CS : NonLibcallCSI) { 91807f7c002Slewis-revill // Insert the spill to the stack frame. 91907f7c002Slewis-revill Register Reg = CS.getReg(); 92007f7c002Slewis-revill const TargetRegisterClass *RC = TRI->getMinimalPhysRegClass(Reg); 92107f7c002Slewis-revill TII.storeRegToStackSlot(MBB, MI, Reg, true, CS.getFrameIdx(), RC, TRI); 92207f7c002Slewis-revill } 92307f7c002Slewis-revill 92407f7c002Slewis-revill return true; 92507f7c002Slewis-revill } 92607f7c002Slewis-revill 92707f7c002Slewis-revill bool RISCVFrameLowering::restoreCalleeSavedRegisters( 92807f7c002Slewis-revill MachineBasicBlock &MBB, MachineBasicBlock::iterator MI, 929186dd631SBenjamin Kramer MutableArrayRef<CalleeSavedInfo> CSI, const TargetRegisterInfo *TRI) const { 93007f7c002Slewis-revill if (CSI.empty()) 93107f7c002Slewis-revill return true; 93207f7c002Slewis-revill 93307f7c002Slewis-revill MachineFunction *MF = MBB.getParent(); 93407f7c002Slewis-revill const TargetInstrInfo &TII = *MF->getSubtarget().getInstrInfo(); 93507f7c002Slewis-revill DebugLoc DL; 93607f7c002Slewis-revill if (MI != MBB.end() && !MI->isDebugInstr()) 93707f7c002Slewis-revill DL = MI->getDebugLoc(); 93807f7c002Slewis-revill 93907f7c002Slewis-revill // Manually restore values not restored by libcall. Insert in reverse order. 94007f7c002Slewis-revill // loadRegFromStackSlot can insert multiple instructions. 9415a31a673SHsiangkai Wang const auto &NonLibcallCSI = getNonLibcallCSI(*MF, CSI); 94207f7c002Slewis-revill for (auto &CS : reverse(NonLibcallCSI)) { 94307f7c002Slewis-revill Register Reg = CS.getReg(); 94407f7c002Slewis-revill const TargetRegisterClass *RC = TRI->getMinimalPhysRegClass(Reg); 94507f7c002Slewis-revill TII.loadRegFromStackSlot(MBB, MI, Reg, CS.getFrameIdx(), RC, TRI); 94607f7c002Slewis-revill assert(MI != MBB.begin() && "loadRegFromStackSlot didn't insert any code!"); 94707f7c002Slewis-revill } 94807f7c002Slewis-revill 94907f7c002Slewis-revill const char *RestoreLibCall = getRestoreLibCallName(*MF, CSI); 95007f7c002Slewis-revill if (RestoreLibCall) { 95107f7c002Slewis-revill // Add restore libcall via tail call. 95207f7c002Slewis-revill MachineBasicBlock::iterator NewMI = 95307f7c002Slewis-revill BuildMI(MBB, MI, DL, TII.get(RISCV::PseudoTAIL)) 95407f7c002Slewis-revill .addExternalSymbol(RestoreLibCall, RISCVII::MO_CALL) 95507f7c002Slewis-revill .setMIFlag(MachineInstr::FrameDestroy); 95607f7c002Slewis-revill 95707f7c002Slewis-revill // Remove trailing returns, since the terminator is now a tail call to the 95807f7c002Slewis-revill // restore function. 95907f7c002Slewis-revill if (MI != MBB.end() && MI->getOpcode() == RISCV::PseudoRET) { 96007f7c002Slewis-revill NewMI->copyImplicitOps(*MF, *MI); 96107f7c002Slewis-revill MI->eraseFromParent(); 96207f7c002Slewis-revill } 96307f7c002Slewis-revill } 96407f7c002Slewis-revill 96507f7c002Slewis-revill return true; 96607f7c002Slewis-revill } 96707f7c002Slewis-revill 96807f7c002Slewis-revill bool RISCVFrameLowering::canUseAsPrologue(const MachineBasicBlock &MBB) const { 96907f7c002Slewis-revill MachineBasicBlock *TmpMBB = const_cast<MachineBasicBlock *>(&MBB); 97008649f0aSMatt Arsenault const MachineFunction *MF = MBB.getParent(); 97108649f0aSMatt Arsenault const auto *RVFI = MF->getInfo<RISCVMachineFunctionInfo>(); 97207f7c002Slewis-revill 97308649f0aSMatt Arsenault if (!RVFI->useSaveRestoreLibCalls(*MF)) 97407f7c002Slewis-revill return true; 97507f7c002Slewis-revill 97607f7c002Slewis-revill // Inserting a call to a __riscv_save libcall requires the use of the register 97707f7c002Slewis-revill // t0 (X5) to hold the return address. Therefore if this register is already 97807f7c002Slewis-revill // used we can't insert the call. 97907f7c002Slewis-revill 98007f7c002Slewis-revill RegScavenger RS; 98107f7c002Slewis-revill RS.enterBasicBlock(*TmpMBB); 98207f7c002Slewis-revill return !RS.isRegUsed(RISCV::X5); 98307f7c002Slewis-revill } 98407f7c002Slewis-revill 98507f7c002Slewis-revill bool RISCVFrameLowering::canUseAsEpilogue(const MachineBasicBlock &MBB) const { 98608649f0aSMatt Arsenault const MachineFunction *MF = MBB.getParent(); 98707f7c002Slewis-revill MachineBasicBlock *TmpMBB = const_cast<MachineBasicBlock *>(&MBB); 98808649f0aSMatt Arsenault const auto *RVFI = MF->getInfo<RISCVMachineFunctionInfo>(); 98907f7c002Slewis-revill 99008649f0aSMatt Arsenault if (!RVFI->useSaveRestoreLibCalls(*MF)) 99107f7c002Slewis-revill return true; 99207f7c002Slewis-revill 99307f7c002Slewis-revill // Using the __riscv_restore libcalls to restore CSRs requires a tail call. 99407f7c002Slewis-revill // This means if we still need to continue executing code within this function 99507f7c002Slewis-revill // the restore cannot take place in this basic block. 99607f7c002Slewis-revill 99707f7c002Slewis-revill if (MBB.succ_size() > 1) 99807f7c002Slewis-revill return false; 99907f7c002Slewis-revill 100007f7c002Slewis-revill MachineBasicBlock *SuccMBB = 100107f7c002Slewis-revill MBB.succ_empty() ? TmpMBB->getFallThrough() : *MBB.succ_begin(); 100207f7c002Slewis-revill 100307f7c002Slewis-revill // Doing a tail call should be safe if there are no successors, because either 100407f7c002Slewis-revill // we have a returning block or the end of the block is unreachable, so the 100507f7c002Slewis-revill // restore will be eliminated regardless. 100607f7c002Slewis-revill if (!SuccMBB) 100707f7c002Slewis-revill return true; 100807f7c002Slewis-revill 100907f7c002Slewis-revill // The successor can only contain a return, since we would effectively be 101007f7c002Slewis-revill // replacing the successor with our own tail return at the end of our block. 101107f7c002Slewis-revill return SuccMBB->isReturnBlock() && SuccMBB->size() == 1; 101207f7c002Slewis-revill } 10135a31a673SHsiangkai Wang 10145a31a673SHsiangkai Wang bool RISCVFrameLowering::isSupportedStackID(TargetStackID::Value ID) const { 10155a31a673SHsiangkai Wang switch (ID) { 10165a31a673SHsiangkai Wang case TargetStackID::Default: 10175a31a673SHsiangkai Wang case TargetStackID::ScalableVector: 10185a31a673SHsiangkai Wang return true; 10195a31a673SHsiangkai Wang case TargetStackID::NoAlloc: 10205a31a673SHsiangkai Wang case TargetStackID::SGPRSpill: 10215a31a673SHsiangkai Wang return false; 10225a31a673SHsiangkai Wang } 10235a31a673SHsiangkai Wang llvm_unreachable("Invalid TargetStackID::Value"); 10245a31a673SHsiangkai Wang } 10255a31a673SHsiangkai Wang 10265a31a673SHsiangkai Wang TargetStackID::Value RISCVFrameLowering::getStackIDForScalableVectors() const { 10275a31a673SHsiangkai Wang return TargetStackID::ScalableVector; 10285a31a673SHsiangkai Wang } 1029