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) 704b2dd318SHsiangkai Wang .addImm(0) 714b2dd318SHsiangkai Wang .setMIFlag(MachineInstr::FrameSetup); 721c466477SZhaoshi Zheng BuildMI(MBB, MI, DL, TII->get(RISCV::ADDI)) 731c466477SZhaoshi Zheng .addReg(SCSPReg, RegState::Define) 741c466477SZhaoshi Zheng .addReg(SCSPReg) 754b2dd318SHsiangkai Wang .addImm(SlotSize) 764b2dd318SHsiangkai Wang .setMIFlag(MachineInstr::FrameSetup); 771c466477SZhaoshi Zheng } 781c466477SZhaoshi Zheng 791c466477SZhaoshi Zheng static void emitSCSEpilogue(MachineFunction &MF, MachineBasicBlock &MBB, 801c466477SZhaoshi Zheng MachineBasicBlock::iterator MI, 811c466477SZhaoshi Zheng const DebugLoc &DL) { 821c466477SZhaoshi Zheng if (!MF.getFunction().hasFnAttribute(Attribute::ShadowCallStack)) 831c466477SZhaoshi Zheng return; 841c466477SZhaoshi Zheng 851c466477SZhaoshi Zheng const auto &STI = MF.getSubtarget<RISCVSubtarget>(); 861c466477SZhaoshi Zheng Register RAReg = STI.getRegisterInfo()->getRARegister(); 871c466477SZhaoshi Zheng 881c466477SZhaoshi Zheng // See emitSCSPrologue() above. 891c466477SZhaoshi Zheng std::vector<CalleeSavedInfo> &CSI = MF.getFrameInfo().getCalleeSavedInfo(); 901c466477SZhaoshi Zheng if (std::none_of(CSI.begin(), CSI.end(), 911c466477SZhaoshi Zheng [&](CalleeSavedInfo &CSR) { return CSR.getReg() == RAReg; })) 921c466477SZhaoshi Zheng return; 931c466477SZhaoshi Zheng 941c466477SZhaoshi Zheng Register SCSPReg = RISCVABI::getSCSPReg(); 951c466477SZhaoshi Zheng 961c466477SZhaoshi Zheng auto &Ctx = MF.getFunction().getContext(); 971c466477SZhaoshi Zheng if (!STI.isRegisterReservedByUser(SCSPReg)) { 981c466477SZhaoshi Zheng Ctx.diagnose(DiagnosticInfoUnsupported{ 991c466477SZhaoshi Zheng MF.getFunction(), "x18 not reserved by user for Shadow Call Stack."}); 1001c466477SZhaoshi Zheng return; 1011c466477SZhaoshi Zheng } 1021c466477SZhaoshi Zheng 1031c466477SZhaoshi Zheng const auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>(); 1041c466477SZhaoshi Zheng if (RVFI->useSaveRestoreLibCalls(MF)) { 1051c466477SZhaoshi Zheng Ctx.diagnose(DiagnosticInfoUnsupported{ 1061c466477SZhaoshi Zheng MF.getFunction(), 1071c466477SZhaoshi Zheng "Shadow Call Stack cannot be combined with Save/Restore LibCalls."}); 1081c466477SZhaoshi Zheng return; 1091c466477SZhaoshi Zheng } 1101c466477SZhaoshi Zheng 1111c466477SZhaoshi Zheng const RISCVInstrInfo *TII = STI.getInstrInfo(); 1121c466477SZhaoshi Zheng bool IsRV64 = STI.hasFeature(RISCV::Feature64Bit); 1131c466477SZhaoshi Zheng int64_t SlotSize = STI.getXLen() / 8; 1141c466477SZhaoshi Zheng // Load return address from shadow call stack 1151c466477SZhaoshi Zheng // l[w|d] ra, -[4|8](s2) 1161c466477SZhaoshi Zheng // addi s2, s2, -[4|8] 1171c466477SZhaoshi Zheng BuildMI(MBB, MI, DL, TII->get(IsRV64 ? RISCV::LD : RISCV::LW)) 1181c466477SZhaoshi Zheng .addReg(RAReg, RegState::Define) 1191c466477SZhaoshi Zheng .addReg(SCSPReg) 1204b2dd318SHsiangkai Wang .addImm(-SlotSize) 1214b2dd318SHsiangkai Wang .setMIFlag(MachineInstr::FrameDestroy); 1221c466477SZhaoshi Zheng BuildMI(MBB, MI, DL, TII->get(RISCV::ADDI)) 1231c466477SZhaoshi Zheng .addReg(SCSPReg, RegState::Define) 1241c466477SZhaoshi Zheng .addReg(SCSPReg) 1254b2dd318SHsiangkai Wang .addImm(-SlotSize) 1264b2dd318SHsiangkai Wang .setMIFlag(MachineInstr::FrameDestroy); 1271c466477SZhaoshi Zheng } 1281c466477SZhaoshi Zheng 12907f7c002Slewis-revill // Get the ID of the libcall used for spilling and restoring callee saved 13007f7c002Slewis-revill // registers. The ID is representative of the number of registers saved or 13107f7c002Slewis-revill // restored by the libcall, except it is zero-indexed - ID 0 corresponds to a 13207f7c002Slewis-revill // single register. 13307f7c002Slewis-revill static int getLibCallID(const MachineFunction &MF, 13407f7c002Slewis-revill const std::vector<CalleeSavedInfo> &CSI) { 13507f7c002Slewis-revill const auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>(); 13607f7c002Slewis-revill 13708649f0aSMatt Arsenault if (CSI.empty() || !RVFI->useSaveRestoreLibCalls(MF)) 13807f7c002Slewis-revill return -1; 13907f7c002Slewis-revill 14007f7c002Slewis-revill Register MaxReg = RISCV::NoRegister; 14107f7c002Slewis-revill for (auto &CS : CSI) 14207f7c002Slewis-revill // RISCVRegisterInfo::hasReservedSpillSlot assigns negative frame indexes to 14307f7c002Slewis-revill // registers which can be saved by libcall. 14407f7c002Slewis-revill if (CS.getFrameIdx() < 0) 145d8938c8bSMatt Arsenault MaxReg = std::max(MaxReg.id(), CS.getReg().id()); 14607f7c002Slewis-revill 14707f7c002Slewis-revill if (MaxReg == RISCV::NoRegister) 14807f7c002Slewis-revill return -1; 14907f7c002Slewis-revill 15007f7c002Slewis-revill switch (MaxReg) { 15107f7c002Slewis-revill default: 15207f7c002Slewis-revill llvm_unreachable("Something has gone wrong!"); 15307f7c002Slewis-revill case /*s11*/ RISCV::X27: return 12; 15407f7c002Slewis-revill case /*s10*/ RISCV::X26: return 11; 15507f7c002Slewis-revill case /*s9*/ RISCV::X25: return 10; 15607f7c002Slewis-revill case /*s8*/ RISCV::X24: return 9; 15707f7c002Slewis-revill case /*s7*/ RISCV::X23: return 8; 15807f7c002Slewis-revill case /*s6*/ RISCV::X22: return 7; 15907f7c002Slewis-revill case /*s5*/ RISCV::X21: return 6; 16007f7c002Slewis-revill case /*s4*/ RISCV::X20: return 5; 16107f7c002Slewis-revill case /*s3*/ RISCV::X19: return 4; 16207f7c002Slewis-revill case /*s2*/ RISCV::X18: return 3; 16307f7c002Slewis-revill case /*s1*/ RISCV::X9: return 2; 16407f7c002Slewis-revill case /*s0*/ RISCV::X8: return 1; 16507f7c002Slewis-revill case /*ra*/ RISCV::X1: return 0; 16607f7c002Slewis-revill } 16707f7c002Slewis-revill } 16807f7c002Slewis-revill 16907f7c002Slewis-revill // Get the name of the libcall used for spilling callee saved registers. 17007f7c002Slewis-revill // If this function will not use save/restore libcalls, then return a nullptr. 17107f7c002Slewis-revill static const char * 17207f7c002Slewis-revill getSpillLibCallName(const MachineFunction &MF, 17307f7c002Slewis-revill const std::vector<CalleeSavedInfo> &CSI) { 17407f7c002Slewis-revill static const char *const SpillLibCalls[] = { 17507f7c002Slewis-revill "__riscv_save_0", 17607f7c002Slewis-revill "__riscv_save_1", 17707f7c002Slewis-revill "__riscv_save_2", 17807f7c002Slewis-revill "__riscv_save_3", 17907f7c002Slewis-revill "__riscv_save_4", 18007f7c002Slewis-revill "__riscv_save_5", 18107f7c002Slewis-revill "__riscv_save_6", 18207f7c002Slewis-revill "__riscv_save_7", 18307f7c002Slewis-revill "__riscv_save_8", 18407f7c002Slewis-revill "__riscv_save_9", 18507f7c002Slewis-revill "__riscv_save_10", 18607f7c002Slewis-revill "__riscv_save_11", 18707f7c002Slewis-revill "__riscv_save_12" 18807f7c002Slewis-revill }; 18907f7c002Slewis-revill 19007f7c002Slewis-revill int LibCallID = getLibCallID(MF, CSI); 19107f7c002Slewis-revill if (LibCallID == -1) 19207f7c002Slewis-revill return nullptr; 19307f7c002Slewis-revill return SpillLibCalls[LibCallID]; 19407f7c002Slewis-revill } 19507f7c002Slewis-revill 19607f7c002Slewis-revill // Get the name of the libcall used for restoring callee saved registers. 19707f7c002Slewis-revill // If this function will not use save/restore libcalls, then return a nullptr. 19807f7c002Slewis-revill static const char * 19907f7c002Slewis-revill getRestoreLibCallName(const MachineFunction &MF, 20007f7c002Slewis-revill const std::vector<CalleeSavedInfo> &CSI) { 20107f7c002Slewis-revill static const char *const RestoreLibCalls[] = { 20207f7c002Slewis-revill "__riscv_restore_0", 20307f7c002Slewis-revill "__riscv_restore_1", 20407f7c002Slewis-revill "__riscv_restore_2", 20507f7c002Slewis-revill "__riscv_restore_3", 20607f7c002Slewis-revill "__riscv_restore_4", 20707f7c002Slewis-revill "__riscv_restore_5", 20807f7c002Slewis-revill "__riscv_restore_6", 20907f7c002Slewis-revill "__riscv_restore_7", 21007f7c002Slewis-revill "__riscv_restore_8", 21107f7c002Slewis-revill "__riscv_restore_9", 21207f7c002Slewis-revill "__riscv_restore_10", 21307f7c002Slewis-revill "__riscv_restore_11", 21407f7c002Slewis-revill "__riscv_restore_12" 21507f7c002Slewis-revill }; 21607f7c002Slewis-revill 21707f7c002Slewis-revill int LibCallID = getLibCallID(MF, CSI); 21807f7c002Slewis-revill if (LibCallID == -1) 21907f7c002Slewis-revill return nullptr; 22007f7c002Slewis-revill return RestoreLibCalls[LibCallID]; 22107f7c002Slewis-revill } 22207f7c002Slewis-revill 2237a189333SShivam Gupta // Return true if the specified function should have a dedicated frame 2247a189333SShivam Gupta // pointer register. This is true if frame pointer elimination is 2257a189333SShivam Gupta // disabled, if it needs dynamic stack realignment, if the function has 2267a189333SShivam Gupta // variable sized allocas, or if the frame address is taken. 2277d6aa1f7SAlex Bradbury bool RISCVFrameLowering::hasFP(const MachineFunction &MF) const { 2287d6aa1f7SAlex Bradbury const TargetRegisterInfo *RegInfo = MF.getSubtarget().getRegisterInfo(); 2297d6aa1f7SAlex Bradbury 2307d6aa1f7SAlex Bradbury const MachineFrameInfo &MFI = MF.getFrameInfo(); 2317d6aa1f7SAlex Bradbury return MF.getTarget().Options.DisableFramePointerElim(MF) || 232a9968c0aSTomas Matheson RegInfo->hasStackRealignment(MF) || MFI.hasVarSizedObjects() || 2337d6aa1f7SAlex Bradbury MFI.isFrameAddressTaken(); 2347d6aa1f7SAlex Bradbury } 2358971842fSAlex Bradbury 236cf6cf0cdSShiva Chen bool RISCVFrameLowering::hasBP(const MachineFunction &MF) const { 237cf6cf0cdSShiva Chen const MachineFrameInfo &MFI = MF.getFrameInfo(); 238cf6cf0cdSShiva Chen const TargetRegisterInfo *TRI = STI.getRegisterInfo(); 239cf6cf0cdSShiva Chen 2409a885665SHsiangkai Wang // If we do not reserve stack space for outgoing arguments in prologue, 2419a885665SHsiangkai Wang // we will adjust the stack pointer before call instruction. After the 2429a885665SHsiangkai Wang // adjustment, we can not use SP to access the stack objects for the 2439a885665SHsiangkai Wang // arguments. Instead, use BP to access these stack objects. 2449a885665SHsiangkai Wang return (MFI.hasVarSizedObjects() || 245ad06e65dSHsiangkai Wang (!hasReservedCallFrame(MF) && (!MFI.isMaxCallFrameSizeComputed() || 246ad06e65dSHsiangkai Wang MFI.getMaxCallFrameSize() != 0))) && 2479a885665SHsiangkai Wang TRI->hasStackRealignment(MF); 248cf6cf0cdSShiva Chen } 249cf6cf0cdSShiva Chen 250b014e3deSAlex Bradbury // Determines the size of the frame and maximum call frame size. 251b014e3deSAlex Bradbury void RISCVFrameLowering::determineFrameLayout(MachineFunction &MF) const { 252b014e3deSAlex Bradbury MachineFrameInfo &MFI = MF.getFrameInfo(); 253cb8681a2SFraser Cormack auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>(); 254b014e3deSAlex Bradbury 255b014e3deSAlex Bradbury // Get the number of bytes to allocate from the FrameInfo. 256b014e3deSAlex Bradbury uint64_t FrameSize = MFI.getStackSize(); 257b014e3deSAlex Bradbury 258b014e3deSAlex Bradbury // Get the alignment. 259d000655aSGuillaume Chatelet Align StackAlign = getStackAlign(); 260cd44aee3SSam Elliott 261b014e3deSAlex Bradbury // Make sure the frame is aligned. 262b014e3deSAlex Bradbury FrameSize = alignTo(FrameSize, StackAlign); 263b014e3deSAlex Bradbury 264b014e3deSAlex Bradbury // Update frame info. 265b014e3deSAlex Bradbury MFI.setStackSize(FrameSize); 266cb8681a2SFraser Cormack 267cb8681a2SFraser Cormack // When using SP or BP to access stack objects, we may require extra padding 268cb8681a2SFraser Cormack // to ensure the bottom of the RVV stack is correctly aligned within the main 269cb8681a2SFraser Cormack // stack. We calculate this as the amount required to align the scalar local 270cb8681a2SFraser Cormack // variable section up to the RVV alignment. 271cb8681a2SFraser Cormack const TargetRegisterInfo *TRI = STI.getRegisterInfo(); 272cb8681a2SFraser Cormack if (RVFI->getRVVStackSize() && (!hasFP(MF) || TRI->hasStackRealignment(MF))) { 273cb8681a2SFraser Cormack int ScalarLocalVarSize = FrameSize - RVFI->getCalleeSavedStackSize() - 274cb8681a2SFraser Cormack RVFI->getVarArgsSaveSize(); 275cb8681a2SFraser Cormack if (auto RVVPadding = 276cb8681a2SFraser Cormack offsetToAlignment(ScalarLocalVarSize, RVFI->getRVVStackAlign())) 277cb8681a2SFraser Cormack RVFI->setRVVPadding(RVVPadding); 278cb8681a2SFraser Cormack } 279cb8681a2SFraser Cormack } 280cb8681a2SFraser Cormack 281cb8681a2SFraser Cormack // Returns the stack size including RVV padding (when required), rounded back 282cb8681a2SFraser Cormack // up to the required stack alignment. 283cb8681a2SFraser Cormack uint64_t RISCVFrameLowering::getStackSizeWithRVVPadding( 284cb8681a2SFraser Cormack const MachineFunction &MF) const { 285cb8681a2SFraser Cormack const MachineFrameInfo &MFI = MF.getFrameInfo(); 286cb8681a2SFraser Cormack auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>(); 287cb8681a2SFraser Cormack return alignTo(MFI.getStackSize() + RVFI->getRVVPadding(), getStackAlign()); 288b014e3deSAlex Bradbury } 289b014e3deSAlex Bradbury 290b014e3deSAlex Bradbury void RISCVFrameLowering::adjustReg(MachineBasicBlock &MBB, 291b014e3deSAlex Bradbury MachineBasicBlock::iterator MBBI, 292fa06e958SLuis Marques const DebugLoc &DL, Register DestReg, 293fa06e958SLuis Marques Register SrcReg, int64_t Val, 294b014e3deSAlex Bradbury MachineInstr::MIFlag Flag) const { 2959fea4881SAlex Bradbury MachineRegisterInfo &MRI = MBB.getParent()->getRegInfo(); 296b014e3deSAlex Bradbury const RISCVInstrInfo *TII = STI.getInstrInfo(); 297b014e3deSAlex Bradbury 298b014e3deSAlex Bradbury if (DestReg == SrcReg && Val == 0) 299b014e3deSAlex Bradbury return; 300b014e3deSAlex Bradbury 3019fea4881SAlex Bradbury if (isInt<12>(Val)) { 302b014e3deSAlex Bradbury BuildMI(MBB, MBBI, DL, TII->get(RISCV::ADDI), DestReg) 303b014e3deSAlex Bradbury .addReg(SrcReg) 304b014e3deSAlex Bradbury .addImm(Val) 305b014e3deSAlex Bradbury .setMIFlag(Flag); 3061b2de79fSCraig Topper return; 3071b2de79fSCraig Topper } 3081b2de79fSCraig Topper 3091b2de79fSCraig Topper // Try to split the offset across two ADDIs. We need to keep the stack pointer 3101b2de79fSCraig Topper // aligned after each ADDI. We need to determine the maximum value we can put 3111b2de79fSCraig Topper // in each ADDI. In the negative direction, we can use -2048 which is always 3121b2de79fSCraig Topper // sufficiently aligned. In the positive direction, we need to find the 3131b2de79fSCraig Topper // largest 12-bit immediate that is aligned. Exclude -4096 since it can be 3141b2de79fSCraig Topper // created with LUI. 3151b2de79fSCraig Topper assert(getStackAlign().value() < 2048 && "Stack alignment too large"); 3161b2de79fSCraig Topper int64_t MaxPosAdjStep = 2048 - getStackAlign().value(); 3171b2de79fSCraig Topper if (Val > -4096 && Val <= (2 * MaxPosAdjStep)) { 3181b2de79fSCraig Topper int64_t FirstAdj = Val < 0 ? -2048 : MaxPosAdjStep; 3191b2de79fSCraig Topper Val -= FirstAdj; 3201b2de79fSCraig Topper BuildMI(MBB, MBBI, DL, TII->get(RISCV::ADDI), DestReg) 3211b2de79fSCraig Topper .addReg(SrcReg) 3221b2de79fSCraig Topper .addImm(FirstAdj) 3231b2de79fSCraig Topper .setMIFlag(Flag); 3241b2de79fSCraig Topper BuildMI(MBB, MBBI, DL, TII->get(RISCV::ADDI), DestReg) 3251b2de79fSCraig Topper .addReg(DestReg, RegState::Kill) 3261b2de79fSCraig Topper .addImm(Val) 3271b2de79fSCraig Topper .setMIFlag(Flag); 3281b2de79fSCraig Topper return; 3291b2de79fSCraig Topper } 3301b2de79fSCraig Topper 3319fea4881SAlex Bradbury unsigned Opc = RISCV::ADD; 3321b2de79fSCraig Topper if (Val < 0) { 3339fea4881SAlex Bradbury Val = -Val; 3349fea4881SAlex Bradbury Opc = RISCV::SUB; 3359fea4881SAlex Bradbury } 3369fea4881SAlex Bradbury 3373836874dSDaniel Sanders Register ScratchReg = MRI.createVirtualRegister(&RISCV::GPRRegClass); 338a49a16ddSShiva Chen TII->movImm(MBB, MBBI, DL, ScratchReg, Val, Flag); 3399fea4881SAlex Bradbury BuildMI(MBB, MBBI, DL, TII->get(Opc), DestReg) 3409fea4881SAlex Bradbury .addReg(SrcReg) 3419fea4881SAlex Bradbury .addReg(ScratchReg, RegState::Kill) 3429fea4881SAlex Bradbury .setMIFlag(Flag); 3439fea4881SAlex Bradbury } 344b014e3deSAlex Bradbury 345b014e3deSAlex Bradbury // Returns the register used to hold the frame pointer. 346fa06e958SLuis Marques static Register getFPReg(const RISCVSubtarget &STI) { return RISCV::X8; } 347b014e3deSAlex Bradbury 348b014e3deSAlex Bradbury // Returns the register used to hold the stack pointer. 349fa06e958SLuis Marques static Register getSPReg(const RISCVSubtarget &STI) { return RISCV::X2; } 350b014e3deSAlex Bradbury 35107f7c002Slewis-revill static SmallVector<CalleeSavedInfo, 8> 3525a31a673SHsiangkai Wang getNonLibcallCSI(const MachineFunction &MF, 3535a31a673SHsiangkai Wang const std::vector<CalleeSavedInfo> &CSI) { 3545a31a673SHsiangkai Wang const MachineFrameInfo &MFI = MF.getFrameInfo(); 35507f7c002Slewis-revill SmallVector<CalleeSavedInfo, 8> NonLibcallCSI; 35607f7c002Slewis-revill 3575a31a673SHsiangkai Wang for (auto &CS : CSI) { 3585a31a673SHsiangkai Wang int FI = CS.getFrameIdx(); 3595a31a673SHsiangkai Wang if (FI >= 0 && MFI.getStackID(FI) == TargetStackID::Default) 36007f7c002Slewis-revill NonLibcallCSI.push_back(CS); 3615a31a673SHsiangkai Wang } 36207f7c002Slewis-revill 36307f7c002Slewis-revill return NonLibcallCSI; 36407f7c002Slewis-revill } 36507f7c002Slewis-revill 3665a31a673SHsiangkai Wang void RISCVFrameLowering::adjustStackForRVV(MachineFunction &MF, 3675a31a673SHsiangkai Wang MachineBasicBlock &MBB, 3685a31a673SHsiangkai Wang MachineBasicBlock::iterator MBBI, 3694b2dd318SHsiangkai Wang const DebugLoc &DL, int64_t Amount, 3704b2dd318SHsiangkai Wang MachineInstr::MIFlag Flag) const { 3715a31a673SHsiangkai Wang assert(Amount != 0 && "Did not need to adjust stack pointer for RVV."); 3725a31a673SHsiangkai Wang 3735a31a673SHsiangkai Wang const RISCVInstrInfo *TII = STI.getInstrInfo(); 3745a31a673SHsiangkai Wang Register SPReg = getSPReg(STI); 3755a31a673SHsiangkai Wang unsigned Opc = RISCV::ADD; 3765a31a673SHsiangkai Wang if (Amount < 0) { 3775a31a673SHsiangkai Wang Amount = -Amount; 3785a31a673SHsiangkai Wang Opc = RISCV::SUB; 3795a31a673SHsiangkai Wang } 3805a31a673SHsiangkai Wang // 1. Multiply the number of v-slots to the length of registers 381b41e1306SHsiangkai Wang Register FactorRegister = 3824b2dd318SHsiangkai Wang TII->getVLENFactoredAmount(MF, MBB, MBBI, DL, Amount, Flag); 3835a31a673SHsiangkai Wang // 2. SP = SP - RVV stack size 3845a31a673SHsiangkai Wang BuildMI(MBB, MBBI, DL, TII->get(Opc), SPReg) 3855a31a673SHsiangkai Wang .addReg(SPReg) 3864b2dd318SHsiangkai Wang .addReg(FactorRegister, RegState::Kill) 3874b2dd318SHsiangkai Wang .setMIFlag(Flag); 3885a31a673SHsiangkai Wang } 3895a31a673SHsiangkai Wang 3908971842fSAlex Bradbury void RISCVFrameLowering::emitPrologue(MachineFunction &MF, 391b014e3deSAlex Bradbury MachineBasicBlock &MBB) const { 392b014e3deSAlex Bradbury MachineFrameInfo &MFI = MF.getFrameInfo(); 393c85be0deSAlex Bradbury auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>(); 39404ddf39bSHsiangkai Wang const RISCVRegisterInfo *RI = STI.getRegisterInfo(); 39504ddf39bSHsiangkai Wang const RISCVInstrInfo *TII = STI.getInstrInfo(); 396b014e3deSAlex Bradbury MachineBasicBlock::iterator MBBI = MBB.begin(); 397b014e3deSAlex Bradbury 398fa06e958SLuis Marques Register FPReg = getFPReg(STI); 399fa06e958SLuis Marques Register SPReg = getSPReg(STI); 400cf6cf0cdSShiva Chen Register BPReg = RISCVABI::getBPReg(); 401b014e3deSAlex Bradbury 4021c466477SZhaoshi Zheng // Debug location must be unknown since the first debug location is used 4031c466477SZhaoshi Zheng // to determine the end of the prologue. 4041c466477SZhaoshi Zheng DebugLoc DL; 4051c466477SZhaoshi Zheng 406a8dc2110SLuís Marques // All calls are tail calls in GHC calling conv, and functions have no 407a8dc2110SLuís Marques // prologue/epilogue. 408a8dc2110SLuís Marques if (MF.getFunction().getCallingConv() == CallingConv::GHC) 409a8dc2110SLuís Marques return; 410a8dc2110SLuís Marques 4111c466477SZhaoshi Zheng // Emit prologue for shadow call stack. 4121c466477SZhaoshi Zheng emitSCSPrologue(MF, MBB, MBBI, DL); 4131c466477SZhaoshi Zheng 41407f7c002Slewis-revill // Since spillCalleeSavedRegisters may have inserted a libcall, skip past 41507f7c002Slewis-revill // any instructions marked as FrameSetup 41607f7c002Slewis-revill while (MBBI != MBB.end() && MBBI->getFlag(MachineInstr::FrameSetup)) 41707f7c002Slewis-revill ++MBBI; 41807f7c002Slewis-revill 419b014e3deSAlex Bradbury // Determine the correct frame layout 420b014e3deSAlex Bradbury determineFrameLayout(MF); 421b014e3deSAlex Bradbury 42207f7c002Slewis-revill // If libcalls are used to spill and restore callee-saved registers, the frame 42307f7c002Slewis-revill // has two sections; the opaque section managed by the libcalls, and the 42407f7c002Slewis-revill // section managed by MachineFrameInfo which can also hold callee saved 42507f7c002Slewis-revill // registers in fixed stack slots, both of which have negative frame indices. 42607f7c002Slewis-revill // This gets even more complicated when incoming arguments are passed via the 42707f7c002Slewis-revill // stack, as these too have negative frame indices. An example is detailed 42807f7c002Slewis-revill // below: 42907f7c002Slewis-revill // 43007f7c002Slewis-revill // | incoming arg | <- FI[-3] 43107f7c002Slewis-revill // | libcallspill | 43207f7c002Slewis-revill // | calleespill | <- FI[-2] 43307f7c002Slewis-revill // | calleespill | <- FI[-1] 43407f7c002Slewis-revill // | this_frame | <- FI[0] 43507f7c002Slewis-revill // 43607f7c002Slewis-revill // For negative frame indices, the offset from the frame pointer will differ 43707f7c002Slewis-revill // depending on which of these groups the frame index applies to. 43807f7c002Slewis-revill // The following calculates the correct offset knowing the number of callee 43907f7c002Slewis-revill // saved registers spilt by the two methods. 44007f7c002Slewis-revill if (int LibCallRegs = getLibCallID(MF, MFI.getCalleeSavedInfo()) + 1) { 44107f7c002Slewis-revill // Calculate the size of the frame managed by the libcall. The libcalls are 44207f7c002Slewis-revill // implemented such that the stack will always be 16 byte aligned. 44307f7c002Slewis-revill unsigned LibCallFrameSize = alignTo((STI.getXLen() / 8) * LibCallRegs, 16); 44407f7c002Slewis-revill RVFI->setLibCallStackSize(LibCallFrameSize); 44507f7c002Slewis-revill } 44607f7c002Slewis-revill 447b014e3deSAlex Bradbury // FIXME (note copied from Lanai): This appears to be overallocating. Needs 448b014e3deSAlex Bradbury // investigation. Get the number of bytes to allocate from the FrameInfo. 449cb8681a2SFraser Cormack uint64_t StackSize = getStackSizeWithRVVPadding(MF); 45007f7c002Slewis-revill uint64_t RealStackSize = StackSize + RVFI->getLibCallStackSize(); 4515a31a673SHsiangkai Wang uint64_t RVVStackSize = RVFI->getRVVStackSize(); 452b014e3deSAlex Bradbury 453b014e3deSAlex Bradbury // Early exit if there is no need to allocate on the stack 4545a31a673SHsiangkai Wang if (RealStackSize == 0 && !MFI.adjustsStack() && RVVStackSize == 0) 455b014e3deSAlex Bradbury return; 456b014e3deSAlex Bradbury 457aed9d6d6SSimon Cook // If the stack pointer has been marked as reserved, then produce an error if 458aed9d6d6SSimon Cook // the frame requires stack allocation 459aed9d6d6SSimon Cook if (STI.isRegisterReservedByUser(SPReg)) 460aed9d6d6SSimon Cook MF.getFunction().getContext().diagnose(DiagnosticInfoUnsupported{ 461aed9d6d6SSimon Cook MF.getFunction(), "Stack pointer required, but has been reserved."}); 462aed9d6d6SSimon Cook 463ff55e2e0SShiva Chen uint64_t FirstSPAdjustAmount = getFirstSPAdjustAmount(MF); 464ff55e2e0SShiva Chen // Split the SP adjustment to reduce the offsets of callee saved spill. 46507f7c002Slewis-revill if (FirstSPAdjustAmount) { 466ff55e2e0SShiva Chen StackSize = FirstSPAdjustAmount; 46707f7c002Slewis-revill RealStackSize = FirstSPAdjustAmount; 46807f7c002Slewis-revill } 469ff55e2e0SShiva Chen 470b014e3deSAlex Bradbury // Allocate space on the stack if necessary. 471b014e3deSAlex Bradbury adjustReg(MBB, MBBI, DL, SPReg, SPReg, -StackSize, MachineInstr::FrameSetup); 472b014e3deSAlex Bradbury 47307f7c002Slewis-revill // Emit ".cfi_def_cfa_offset RealStackSize" 47404ddf39bSHsiangkai Wang unsigned CFIIndex = MF.addFrameInst( 4750840d725SFangrui Song MCCFIInstruction::cfiDefCfaOffset(nullptr, RealStackSize)); 47604ddf39bSHsiangkai Wang BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION)) 4774b2dd318SHsiangkai Wang .addCFIIndex(CFIIndex) 4784b2dd318SHsiangkai Wang .setMIFlag(MachineInstr::FrameSetup); 47904ddf39bSHsiangkai Wang 48007f7c002Slewis-revill const auto &CSI = MFI.getCalleeSavedInfo(); 48107f7c002Slewis-revill 482b014e3deSAlex Bradbury // The frame pointer is callee-saved, and code has been generated for us to 483b014e3deSAlex Bradbury // save it to the stack. We need to skip over the storing of callee-saved 484b014e3deSAlex Bradbury // registers as the frame pointer must be modified after it has been saved 485b014e3deSAlex Bradbury // to the stack, not before. 486b014e3deSAlex Bradbury // FIXME: assumes exactly one instruction is used to save each callee-saved 487b014e3deSAlex Bradbury // register. 4885a31a673SHsiangkai Wang std::advance(MBBI, getNonLibcallCSI(MF, CSI).size()); 489b014e3deSAlex Bradbury 49004ddf39bSHsiangkai Wang // Iterate over list of callee-saved registers and emit .cfi_offset 49104ddf39bSHsiangkai Wang // directives. 49204ddf39bSHsiangkai Wang for (const auto &Entry : CSI) { 49307f7c002Slewis-revill int FrameIdx = Entry.getFrameIdx(); 49407f7c002Slewis-revill int64_t Offset; 49507f7c002Slewis-revill // Offsets for objects with fixed locations (IE: those saved by libcall) are 49607f7c002Slewis-revill // simply calculated from the frame index. 49707f7c002Slewis-revill if (FrameIdx < 0) 49807f7c002Slewis-revill Offset = FrameIdx * (int64_t) STI.getXLen() / 8; 49907f7c002Slewis-revill else 50007f7c002Slewis-revill Offset = MFI.getObjectOffset(Entry.getFrameIdx()) - 50107f7c002Slewis-revill RVFI->getLibCallStackSize(); 502fa06e958SLuis Marques Register Reg = Entry.getReg(); 50304ddf39bSHsiangkai Wang unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::createOffset( 50404ddf39bSHsiangkai Wang nullptr, RI->getDwarfRegNum(Reg, true), Offset)); 50504ddf39bSHsiangkai Wang BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION)) 5064b2dd318SHsiangkai Wang .addCFIIndex(CFIIndex) 5074b2dd318SHsiangkai Wang .setMIFlag(MachineInstr::FrameSetup); 50804ddf39bSHsiangkai Wang } 50904ddf39bSHsiangkai Wang 510b014e3deSAlex Bradbury // Generate new FP. 51104ddf39bSHsiangkai Wang if (hasFP(MF)) { 512aed9d6d6SSimon Cook if (STI.isRegisterReservedByUser(FPReg)) 513aed9d6d6SSimon Cook MF.getFunction().getContext().diagnose(DiagnosticInfoUnsupported{ 514aed9d6d6SSimon Cook MF.getFunction(), "Frame pointer required, but has been reserved."}); 515aed9d6d6SSimon Cook 5167d6aa1f7SAlex Bradbury adjustReg(MBB, MBBI, DL, FPReg, SPReg, 51707f7c002Slewis-revill RealStackSize - RVFI->getVarArgsSaveSize(), 51807f7c002Slewis-revill MachineInstr::FrameSetup); 51904ddf39bSHsiangkai Wang 5207e49dc61SFangrui Song // Emit ".cfi_def_cfa $fp, RVFI->getVarArgsSaveSize()" 5217e49dc61SFangrui Song unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::cfiDefCfa( 5227e49dc61SFangrui Song nullptr, RI->getDwarfRegNum(FPReg, true), RVFI->getVarArgsSaveSize())); 52304ddf39bSHsiangkai Wang BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION)) 5244b2dd318SHsiangkai Wang .addCFIIndex(CFIIndex) 5254b2dd318SHsiangkai Wang .setMIFlag(MachineInstr::FrameSetup); 526ff55e2e0SShiva Chen } 527cd44aee3SSam Elliott 528ff55e2e0SShiva Chen // Emit the second SP adjustment after saving callee saved registers. 529ff55e2e0SShiva Chen if (FirstSPAdjustAmount) { 530cb8681a2SFraser Cormack uint64_t SecondSPAdjustAmount = 531cb8681a2SFraser Cormack getStackSizeWithRVVPadding(MF) - FirstSPAdjustAmount; 532ff55e2e0SShiva Chen assert(SecondSPAdjustAmount > 0 && 533ff55e2e0SShiva Chen "SecondSPAdjustAmount should be greater than zero"); 534ff55e2e0SShiva Chen adjustReg(MBB, MBBI, DL, SPReg, SPReg, -SecondSPAdjustAmount, 535ff55e2e0SShiva Chen MachineInstr::FrameSetup); 5361c737f54SLuís Marques 5371c737f54SLuís Marques // If we are using a frame-pointer, and thus emitted ".cfi_def_cfa fp, 0", 5381c737f54SLuís Marques // don't emit an sp-based .cfi_def_cfa_offset 5391c737f54SLuís Marques if (!hasFP(MF)) { 540ff55e2e0SShiva Chen // Emit ".cfi_def_cfa_offset StackSize" 541cb8681a2SFraser Cormack unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::cfiDefCfaOffset( 542cb8681a2SFraser Cormack nullptr, getStackSizeWithRVVPadding(MF))); 543ff55e2e0SShiva Chen BuildMI(MBB, MBBI, DL, TII->get(TargetOpcode::CFI_INSTRUCTION)) 5444b2dd318SHsiangkai Wang .addCFIIndex(CFIIndex) 5454b2dd318SHsiangkai Wang .setMIFlag(MachineInstr::FrameSetup); 546ff55e2e0SShiva Chen } 5471c737f54SLuís Marques } 548ff55e2e0SShiva Chen 549a9b9c64fSluxufan if (RVVStackSize) 5504b2dd318SHsiangkai Wang adjustStackForRVV(MF, MBB, MBBI, DL, -RVVStackSize, 5514b2dd318SHsiangkai Wang MachineInstr::FrameSetup); 552a9b9c64fSluxufan 553ff55e2e0SShiva Chen if (hasFP(MF)) { 554cd44aee3SSam Elliott // Realign Stack 555cd44aee3SSam Elliott const RISCVRegisterInfo *RI = STI.getRegisterInfo(); 556a9968c0aSTomas Matheson if (RI->hasStackRealignment(MF)) { 557d000655aSGuillaume Chatelet Align MaxAlignment = MFI.getMaxAlign(); 558cd44aee3SSam Elliott 559cd44aee3SSam Elliott const RISCVInstrInfo *TII = STI.getInstrInfo(); 560d000655aSGuillaume Chatelet if (isInt<12>(-(int)MaxAlignment.value())) { 561cd44aee3SSam Elliott BuildMI(MBB, MBBI, DL, TII->get(RISCV::ANDI), SPReg) 562cd44aee3SSam Elliott .addReg(SPReg) 5634b2dd318SHsiangkai Wang .addImm(-(int)MaxAlignment.value()) 5644b2dd318SHsiangkai Wang .setMIFlag(MachineInstr::FrameSetup); 565cd44aee3SSam Elliott } else { 566d000655aSGuillaume Chatelet unsigned ShiftAmount = Log2(MaxAlignment); 567fa06e958SLuis Marques Register VR = 568cd44aee3SSam Elliott MF.getRegInfo().createVirtualRegister(&RISCV::GPRRegClass); 569cd44aee3SSam Elliott BuildMI(MBB, MBBI, DL, TII->get(RISCV::SRLI), VR) 570cd44aee3SSam Elliott .addReg(SPReg) 5714b2dd318SHsiangkai Wang .addImm(ShiftAmount) 5724b2dd318SHsiangkai Wang .setMIFlag(MachineInstr::FrameSetup); 573cd44aee3SSam Elliott BuildMI(MBB, MBBI, DL, TII->get(RISCV::SLLI), SPReg) 574cd44aee3SSam Elliott .addReg(VR) 5754b2dd318SHsiangkai Wang .addImm(ShiftAmount) 5764b2dd318SHsiangkai Wang .setMIFlag(MachineInstr::FrameSetup); 577cd44aee3SSam Elliott } 578cf6cf0cdSShiva Chen // FP will be used to restore the frame in the epilogue, so we need 579cf6cf0cdSShiva Chen // another base register BP to record SP after re-alignment. SP will 580cf6cf0cdSShiva Chen // track the current stack after allocating variable sized objects. 581cf6cf0cdSShiva Chen if (hasBP(MF)) { 582cf6cf0cdSShiva Chen // move BP, SP 5834b2dd318SHsiangkai Wang BuildMI(MBB, MBBI, DL, TII->get(RISCV::ADDI), BPReg) 5844b2dd318SHsiangkai Wang .addReg(SPReg) 5854b2dd318SHsiangkai Wang .addImm(0) 5864b2dd318SHsiangkai Wang .setMIFlag(MachineInstr::FrameSetup); 587cf6cf0cdSShiva Chen } 588cd44aee3SSam Elliott } 58904ddf39bSHsiangkai Wang } 590b014e3deSAlex Bradbury } 5918971842fSAlex Bradbury 5928971842fSAlex Bradbury void RISCVFrameLowering::emitEpilogue(MachineFunction &MF, 593b014e3deSAlex Bradbury MachineBasicBlock &MBB) const { 594b014e3deSAlex Bradbury const RISCVRegisterInfo *RI = STI.getRegisterInfo(); 595b014e3deSAlex Bradbury MachineFrameInfo &MFI = MF.getFrameInfo(); 596c85be0deSAlex Bradbury auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>(); 597fa06e958SLuis Marques Register FPReg = getFPReg(STI); 598fa06e958SLuis Marques Register SPReg = getSPReg(STI); 599b014e3deSAlex Bradbury 600a8dc2110SLuís Marques // All calls are tail calls in GHC calling conv, and functions have no 601a8dc2110SLuís Marques // prologue/epilogue. 602a8dc2110SLuís Marques if (MF.getFunction().getCallingConv() == CallingConv::GHC) 603a8dc2110SLuís Marques return; 604a8dc2110SLuís Marques 605cd800f3bSlewis-revill // Get the insert location for the epilogue. If there were no terminators in 606cd800f3bSlewis-revill // the block, get the last instruction. 607cd800f3bSlewis-revill MachineBasicBlock::iterator MBBI = MBB.end(); 608cd800f3bSlewis-revill DebugLoc DL; 609cd800f3bSlewis-revill if (!MBB.empty()) { 610cd800f3bSlewis-revill MBBI = MBB.getLastNonDebugInstr(); 611e098281cSluxufan if (MBBI != MBB.end()) 612cd800f3bSlewis-revill DL = MBBI->getDebugLoc(); 613cd800f3bSlewis-revill 614e098281cSluxufan MBBI = MBB.getFirstTerminator(); 61507f7c002Slewis-revill 61607f7c002Slewis-revill // If callee-saved registers are saved via libcall, place stack adjustment 61707f7c002Slewis-revill // before this call. 61807f7c002Slewis-revill while (MBBI != MBB.begin() && 61907f7c002Slewis-revill std::prev(MBBI)->getFlag(MachineInstr::FrameDestroy)) 62007f7c002Slewis-revill --MBBI; 621cd800f3bSlewis-revill } 622cd800f3bSlewis-revill 6235a31a673SHsiangkai Wang const auto &CSI = getNonLibcallCSI(MF, MFI.getCalleeSavedInfo()); 62407f7c002Slewis-revill 625b014e3deSAlex Bradbury // Skip to before the restores of callee-saved registers 626b014e3deSAlex Bradbury // FIXME: assumes exactly one instruction is used to restore each 627b014e3deSAlex Bradbury // callee-saved register. 62807f7c002Slewis-revill auto LastFrameDestroy = MBBI; 62907f7c002Slewis-revill if (!CSI.empty()) 63007f7c002Slewis-revill LastFrameDestroy = std::prev(MBBI, CSI.size()); 631b014e3deSAlex Bradbury 632cb8681a2SFraser Cormack uint64_t StackSize = getStackSizeWithRVVPadding(MF); 63307f7c002Slewis-revill uint64_t RealStackSize = StackSize + RVFI->getLibCallStackSize(); 63407f7c002Slewis-revill uint64_t FPOffset = RealStackSize - RVFI->getVarArgsSaveSize(); 6355a31a673SHsiangkai Wang uint64_t RVVStackSize = RVFI->getRVVStackSize(); 636b014e3deSAlex Bradbury 637b014e3deSAlex Bradbury // Restore the stack pointer using the value of the frame pointer. Only 638b014e3deSAlex Bradbury // necessary if the stack pointer was modified, meaning the stack size is 639b014e3deSAlex Bradbury // unknown. 6404b11f909SKito Cheng // 6414b11f909SKito Cheng // In order to make sure the stack point is right through the EH region, 6424b11f909SKito Cheng // we also need to restore stack pointer from the frame pointer if we 6434b11f909SKito Cheng // don't preserve stack space within prologue/epilogue for outgoing variables, 6444b11f909SKito Cheng // normally it's just checking the variable sized object is present or not 6454b11f909SKito Cheng // is enough, but we also don't preserve that at prologue/epilogue when 6464b11f909SKito Cheng // have vector objects in stack. 6474b11f909SKito Cheng if (RI->hasStackRealignment(MF) || MFI.hasVarSizedObjects() || 6484b11f909SKito Cheng !hasReservedCallFrame(MF)) { 6497d6aa1f7SAlex Bradbury assert(hasFP(MF) && "frame pointer should not have been eliminated"); 65004ddf39bSHsiangkai Wang adjustReg(MBB, LastFrameDestroy, DL, SPReg, FPReg, -FPOffset, 651b014e3deSAlex Bradbury MachineInstr::FrameDestroy); 6525a31a673SHsiangkai Wang } else { 6535a31a673SHsiangkai Wang if (RVVStackSize) 6544b2dd318SHsiangkai Wang adjustStackForRVV(MF, MBB, LastFrameDestroy, DL, RVVStackSize, 6554b2dd318SHsiangkai Wang MachineInstr::FrameDestroy); 656b014e3deSAlex Bradbury } 657b014e3deSAlex Bradbury 658ff55e2e0SShiva Chen uint64_t FirstSPAdjustAmount = getFirstSPAdjustAmount(MF); 659ff55e2e0SShiva Chen if (FirstSPAdjustAmount) { 660cb8681a2SFraser Cormack uint64_t SecondSPAdjustAmount = 661cb8681a2SFraser Cormack getStackSizeWithRVVPadding(MF) - FirstSPAdjustAmount; 662ff55e2e0SShiva Chen assert(SecondSPAdjustAmount > 0 && 663ff55e2e0SShiva Chen "SecondSPAdjustAmount should be greater than zero"); 664ff55e2e0SShiva Chen 665ff55e2e0SShiva Chen adjustReg(MBB, LastFrameDestroy, DL, SPReg, SPReg, SecondSPAdjustAmount, 666ff55e2e0SShiva Chen MachineInstr::FrameDestroy); 66704ddf39bSHsiangkai Wang } 66804ddf39bSHsiangkai Wang 669ff55e2e0SShiva Chen if (FirstSPAdjustAmount) 670ff55e2e0SShiva Chen StackSize = FirstSPAdjustAmount; 671ff55e2e0SShiva Chen 672b014e3deSAlex Bradbury // Deallocate stack 673b014e3deSAlex Bradbury adjustReg(MBB, MBBI, DL, SPReg, SPReg, StackSize, MachineInstr::FrameDestroy); 6741c466477SZhaoshi Zheng 6751c466477SZhaoshi Zheng // Emit epilogue for shadow call stack. 6761c466477SZhaoshi Zheng emitSCSEpilogue(MF, MBB, MBBI, DL); 677b014e3deSAlex Bradbury } 678660bccecSAlex Bradbury 679d57bba7cSSander de Smalen StackOffset 680d57bba7cSSander de Smalen RISCVFrameLowering::getFrameIndexReference(const MachineFunction &MF, int FI, 6812481f26aSMatt Arsenault Register &FrameReg) const { 682660bccecSAlex Bradbury const MachineFrameInfo &MFI = MF.getFrameInfo(); 683660bccecSAlex Bradbury const TargetRegisterInfo *RI = MF.getSubtarget().getRegisterInfo(); 684c85be0deSAlex Bradbury const auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>(); 685660bccecSAlex Bradbury 686660bccecSAlex Bradbury // Callee-saved registers should be referenced relative to the stack 687660bccecSAlex Bradbury // pointer (positive offset), otherwise use the frame pointer (negative 688660bccecSAlex Bradbury // offset). 6895a31a673SHsiangkai Wang const auto &CSI = getNonLibcallCSI(MF, MFI.getCalleeSavedInfo()); 690660bccecSAlex Bradbury int MinCSFI = 0; 691660bccecSAlex Bradbury int MaxCSFI = -1; 6925a31a673SHsiangkai Wang StackOffset Offset; 6935a31a673SHsiangkai Wang auto StackID = MFI.getStackID(FI); 694660bccecSAlex Bradbury 6955a31a673SHsiangkai Wang assert((StackID == TargetStackID::Default || 6965a31a673SHsiangkai Wang StackID == TargetStackID::ScalableVector) && 6975a31a673SHsiangkai Wang "Unexpected stack ID for the frame object."); 6985a31a673SHsiangkai Wang if (StackID == TargetStackID::Default) { 6995a31a673SHsiangkai Wang Offset = 7005a31a673SHsiangkai Wang StackOffset::getFixed(MFI.getObjectOffset(FI) - getOffsetOfLocalArea() + 7015a31a673SHsiangkai Wang MFI.getOffsetAdjustment()); 7025a31a673SHsiangkai Wang } else if (StackID == TargetStackID::ScalableVector) { 7035a31a673SHsiangkai Wang Offset = StackOffset::getScalable(MFI.getObjectOffset(FI)); 7045a31a673SHsiangkai Wang } 705660bccecSAlex Bradbury 706ff55e2e0SShiva Chen uint64_t FirstSPAdjustAmount = getFirstSPAdjustAmount(MF); 707ff55e2e0SShiva Chen 708660bccecSAlex Bradbury if (CSI.size()) { 709660bccecSAlex Bradbury MinCSFI = CSI[0].getFrameIdx(); 710660bccecSAlex Bradbury MaxCSFI = CSI[CSI.size() - 1].getFrameIdx(); 711660bccecSAlex Bradbury } 712660bccecSAlex Bradbury 713660bccecSAlex Bradbury if (FI >= MinCSFI && FI <= MaxCSFI) { 714660bccecSAlex Bradbury FrameReg = RISCV::X2; 715ff55e2e0SShiva Chen 716ff55e2e0SShiva Chen if (FirstSPAdjustAmount) 7175a31a673SHsiangkai Wang Offset += StackOffset::getFixed(FirstSPAdjustAmount); 718ff55e2e0SShiva Chen else 719cb8681a2SFraser Cormack Offset += StackOffset::getFixed(getStackSizeWithRVVPadding(MF)); 720d58cc083SPhilip Reames return Offset; 721d58cc083SPhilip Reames } 722d58cc083SPhilip Reames 723d58cc083SPhilip Reames if (RI->hasStackRealignment(MF) && !MFI.isFixedObjectIndex(FI)) { 724cd44aee3SSam Elliott // If the stack was realigned, the frame pointer is set in order to allow 725cf6cf0cdSShiva Chen // SP to be restored, so we need another base register to record the stack 726cf6cf0cdSShiva Chen // after realignment. 7275a31a673SHsiangkai Wang // |--------------------------| -- <-- FP 7289c5aedfbSKito Cheng // | callee-allocated save | | <----| 7299c5aedfbSKito Cheng // | area for register varargs| | | 7309c5aedfbSKito Cheng // |--------------------------| | | 7319c5aedfbSKito Cheng // | callee-saved registers | | | 732a9b9c64fSluxufan // |--------------------------| -- | 733a9b9c64fSluxufan // | realignment (the size of | | | 734a9b9c64fSluxufan // | this area is not counted | | | 735a9b9c64fSluxufan // | in MFI.getStackSize()) | | | 736a9b9c64fSluxufan // |--------------------------| -- |-- MFI.getStackSize() 737cb8681a2SFraser Cormack // | RVV alignment padding | | | 738cb8681a2SFraser Cormack // | (not counted in | | | 739cb8681a2SFraser Cormack // | MFI.getStackSize() but | | | 740cb8681a2SFraser Cormack // | counted in | | | 741cb8681a2SFraser Cormack // | RVFI.getRVVStackSize()) | | | 742cb8681a2SFraser Cormack // |--------------------------| -- | 743a9b9c64fSluxufan // | RVV objects | | | 744ef76a333SRoger Ferrer Ibanez // | (not counted in | | | 745fcaa64d9SFraser Cormack // | MFI.getStackSize()) | | | 746a9b9c64fSluxufan // |--------------------------| -- | 747cb8681a2SFraser Cormack // | padding before RVV | | | 748ef76a333SRoger Ferrer Ibanez // | (not counted in | | | 749cb8681a2SFraser Cormack // | MFI.getStackSize() or in | | | 750cb8681a2SFraser Cormack // | RVFI.getRVVStackSize()) | | | 751ef76a333SRoger Ferrer Ibanez // |--------------------------| -- | 752ef76a333SRoger Ferrer Ibanez // | scalar local variables | | <----' 753dd336b68SPhilip Reames // |--------------------------| -- <-- BP (if var sized objects present) 7545a31a673SHsiangkai Wang // | VarSize objects | | 7555a31a673SHsiangkai Wang // |--------------------------| -- <-- SP 756dd336b68SPhilip Reames if (hasBP(MF)) { 757dd336b68SPhilip Reames FrameReg = RISCVABI::getBPReg(); 7585a31a673SHsiangkai Wang } else { 759dd336b68SPhilip Reames // VarSize objects must be empty in this case! 760dd336b68SPhilip Reames assert(!MFI.hasVarSizedObjects()); 761cd44aee3SSam Elliott FrameReg = RISCV::X2; 7625a31a673SHsiangkai Wang } 763c85be0deSAlex Bradbury } else { 764c85be0deSAlex Bradbury FrameReg = RI->getFrameRegister(MF); 765d58cc083SPhilip Reames } 766d58cc083SPhilip Reames 767d58cc083SPhilip Reames if (FrameReg == getFPReg(STI)) { 7685a31a673SHsiangkai Wang Offset += StackOffset::getFixed(RVFI->getVarArgsSaveSize()); 76907f7c002Slewis-revill if (FI >= 0) 7705a31a673SHsiangkai Wang Offset -= StackOffset::getFixed(RVFI->getLibCallStackSize()); 7715a31a673SHsiangkai Wang // When using FP to access scalable vector objects, we need to minus 7725a31a673SHsiangkai Wang // the frame size. 7735a31a673SHsiangkai Wang // 7745a31a673SHsiangkai Wang // |--------------------------| -- <-- FP 7759c5aedfbSKito Cheng // | callee-allocated save | | 7769c5aedfbSKito Cheng // | area for register varargs| | 7779c5aedfbSKito Cheng // |--------------------------| | 7785a31a673SHsiangkai Wang // | callee-saved registers | | 7795a31a673SHsiangkai Wang // |--------------------------| | MFI.getStackSize() 7805a31a673SHsiangkai Wang // | scalar local variables | | 7815a31a673SHsiangkai Wang // |--------------------------| -- (Offset of RVV objects is from here.) 7825a31a673SHsiangkai Wang // | RVV objects | 7835a31a673SHsiangkai Wang // |--------------------------| 7845a31a673SHsiangkai Wang // | VarSize objects | 7855a31a673SHsiangkai Wang // |--------------------------| <-- SP 786cb8681a2SFraser Cormack if (MFI.getStackID(FI) == TargetStackID::ScalableVector) { 787d58cc083SPhilip Reames assert(!RI->hasStackRealignment(MF) && 788d58cc083SPhilip Reames "Can't index across variable sized realign"); 789cb8681a2SFraser Cormack // We don't expect any extra RVV alignment padding, as the stack size 790cb8681a2SFraser Cormack // and RVV object sections should be correct aligned in their own 791cb8681a2SFraser Cormack // right. 792cb8681a2SFraser Cormack assert(MFI.getStackSize() == getStackSizeWithRVVPadding(MF) && 793cb8681a2SFraser Cormack "Inconsistent stack layout"); 7945a31a673SHsiangkai Wang Offset -= StackOffset::getFixed(MFI.getStackSize()); 795cb8681a2SFraser Cormack } 796d58cc083SPhilip Reames return Offset; 797d58cc083SPhilip Reames } 798d58cc083SPhilip Reames 799d58cc083SPhilip Reames // This case handles indexing off both SP and BP. 800d58cc083SPhilip Reames // If indexing off SP, there must not be any var sized objects 801d58cc083SPhilip Reames assert(FrameReg == RISCVABI::getBPReg() || !MFI.hasVarSizedObjects()); 802d58cc083SPhilip Reames 8035a31a673SHsiangkai Wang // When using SP to access frame objects, we need to add RVV stack size. 8045a31a673SHsiangkai Wang // 8055a31a673SHsiangkai Wang // |--------------------------| -- <-- FP 8069c5aedfbSKito Cheng // | callee-allocated save | | <----| 8079c5aedfbSKito Cheng // | area for register varargs| | | 8089c5aedfbSKito Cheng // |--------------------------| | | 8099c5aedfbSKito Cheng // | callee-saved registers | | | 810ef76a333SRoger Ferrer Ibanez // |--------------------------| -- | 811cb8681a2SFraser Cormack // | RVV alignment padding | | | 812ef76a333SRoger Ferrer Ibanez // | (not counted in | | | 813cb8681a2SFraser Cormack // | MFI.getStackSize() but | | | 814cb8681a2SFraser Cormack // | counted in | | | 815cb8681a2SFraser Cormack // | RVFI.getRVVStackSize()) | | | 816a9b9c64fSluxufan // |--------------------------| -- | 817a9b9c64fSluxufan // | RVV objects | | |-- MFI.getStackSize() 818ef76a333SRoger Ferrer Ibanez // | (not counted in | | | 819fcaa64d9SFraser Cormack // | MFI.getStackSize()) | | | 820a9b9c64fSluxufan // |--------------------------| -- | 821cb8681a2SFraser Cormack // | padding before RVV | | | 822ef76a333SRoger Ferrer Ibanez // | (not counted in | | | 823fcaa64d9SFraser Cormack // | MFI.getStackSize()) | | | 824ef76a333SRoger Ferrer Ibanez // |--------------------------| -- | 825ef76a333SRoger Ferrer Ibanez // | scalar local variables | | <----' 826d58cc083SPhilip Reames // |--------------------------| -- <-- BP (if var sized objects present) 827d58cc083SPhilip Reames // | VarSize objects | | 8285a31a673SHsiangkai Wang // |--------------------------| -- <-- SP 829ef76a333SRoger Ferrer Ibanez // 830ef76a333SRoger Ferrer Ibanez // The total amount of padding surrounding RVV objects is described by 831ef76a333SRoger Ferrer Ibanez // RVV->getRVVPadding() and it can be zero. It allows us to align the RVV 832cb8681a2SFraser Cormack // objects to the required alignment. 8335a31a673SHsiangkai Wang if (MFI.getStackID(FI) == TargetStackID::Default) { 8345603ed60Sluxufan if (MFI.isFixedObjectIndex(FI)) { 835d58cc083SPhilip Reames assert(!RI->hasStackRealignment(MF) && 836d58cc083SPhilip Reames "Can't index across variable sized realign"); 837cb8681a2SFraser Cormack Offset += StackOffset::get(getStackSizeWithRVVPadding(MF) + 83852c60459SFraser Cormack RVFI->getLibCallStackSize(), 83952c60459SFraser Cormack RVFI->getRVVStackSize()); 8405603ed60Sluxufan } else { 8415a31a673SHsiangkai Wang Offset += StackOffset::getFixed(MFI.getStackSize()); 8425603ed60Sluxufan } 843a9b9c64fSluxufan } else if (MFI.getStackID(FI) == TargetStackID::ScalableVector) { 844cb8681a2SFraser Cormack // Ensure the base of the RVV stack is correctly aligned: add on the 845cb8681a2SFraser Cormack // alignment padding. 846cb8681a2SFraser Cormack int ScalarLocalVarSize = 847cb8681a2SFraser Cormack MFI.getStackSize() - RVFI->getCalleeSavedStackSize() - 848cb8681a2SFraser Cormack RVFI->getVarArgsSaveSize() + RVFI->getRVVPadding(); 849cb8681a2SFraser Cormack Offset += StackOffset::get(ScalarLocalVarSize, RVFI->getRVVStackSize()); 85007f7c002Slewis-revill } 8515a31a673SHsiangkai Wang return Offset; 852660bccecSAlex Bradbury } 853b014e3deSAlex Bradbury 854b014e3deSAlex Bradbury void RISCVFrameLowering::determineCalleeSaves(MachineFunction &MF, 855b014e3deSAlex Bradbury BitVector &SavedRegs, 856b014e3deSAlex Bradbury RegScavenger *RS) const { 857b014e3deSAlex Bradbury TargetFrameLowering::determineCalleeSaves(MF, SavedRegs, RS); 8587d6aa1f7SAlex Bradbury // Unconditionally spill RA and FP only if the function uses a frame 8597d6aa1f7SAlex Bradbury // pointer. 8607d6aa1f7SAlex Bradbury if (hasFP(MF)) { 861b014e3deSAlex Bradbury SavedRegs.set(RISCV::X1); 862b014e3deSAlex Bradbury SavedRegs.set(RISCV::X8); 863b014e3deSAlex Bradbury } 864cf6cf0cdSShiva Chen // Mark BP as used if function has dedicated base pointer. 865cf6cf0cdSShiva Chen if (hasBP(MF)) 866cf6cf0cdSShiva Chen SavedRegs.set(RISCVABI::getBPReg()); 8672e4106b7SAna Pazos 8682e4106b7SAna Pazos // If interrupt is enabled and there are calls in the handler, 8692e4106b7SAna Pazos // unconditionally save all Caller-saved registers and 8702e4106b7SAna Pazos // all FP registers, regardless whether they are used. 8712e4106b7SAna Pazos MachineFrameInfo &MFI = MF.getFrameInfo(); 8722e4106b7SAna Pazos 8732e4106b7SAna Pazos if (MF.getFunction().hasFnAttribute("interrupt") && MFI.hasCalls()) { 8742e4106b7SAna Pazos 8752e4106b7SAna Pazos static const MCPhysReg CSRegs[] = { RISCV::X1, /* ra */ 8762e4106b7SAna Pazos RISCV::X5, RISCV::X6, RISCV::X7, /* t0-t2 */ 8772e4106b7SAna Pazos RISCV::X10, RISCV::X11, /* a0-a1, a2-a7 */ 8782e4106b7SAna Pazos RISCV::X12, RISCV::X13, RISCV::X14, RISCV::X15, RISCV::X16, RISCV::X17, 8792e4106b7SAna Pazos RISCV::X28, RISCV::X29, RISCV::X30, RISCV::X31, 0 /* t3-t6 */ 8802e4106b7SAna Pazos }; 8812e4106b7SAna Pazos 8822e4106b7SAna Pazos for (unsigned i = 0; CSRegs[i]; ++i) 8832e4106b7SAna Pazos SavedRegs.set(CSRegs[i]); 8842e4106b7SAna Pazos 885f7bc7c29SHsiangkai Wang if (MF.getSubtarget<RISCVSubtarget>().hasStdExtF()) { 8862e4106b7SAna Pazos 8872e4106b7SAna Pazos // If interrupt is enabled, this list contains all FP registers. 8882e4106b7SAna Pazos const MCPhysReg * Regs = MF.getRegInfo().getCalleeSavedRegs(); 8892e4106b7SAna Pazos 8902e4106b7SAna Pazos for (unsigned i = 0; Regs[i]; ++i) 891f7bc7c29SHsiangkai Wang if (RISCV::FPR16RegClass.contains(Regs[i]) || 892f7bc7c29SHsiangkai Wang RISCV::FPR32RegClass.contains(Regs[i]) || 8932e4106b7SAna Pazos RISCV::FPR64RegClass.contains(Regs[i])) 8942e4106b7SAna Pazos SavedRegs.set(Regs[i]); 8952e4106b7SAna Pazos } 8962e4106b7SAna Pazos } 8977d6aa1f7SAlex Bradbury } 8980715d35eSAlex Bradbury 899cb8681a2SFraser Cormack std::pair<int64_t, Align> 9005a31a673SHsiangkai Wang RISCVFrameLowering::assignRVVStackObjectOffsets(MachineFrameInfo &MFI) const { 9015a31a673SHsiangkai Wang // Create a buffer of RVV objects to allocate. 9025a31a673SHsiangkai Wang SmallVector<int, 8> ObjectsToAllocate; 9035a31a673SHsiangkai Wang for (int I = 0, E = MFI.getObjectIndexEnd(); I != E; ++I) { 9045a31a673SHsiangkai Wang unsigned StackID = MFI.getStackID(I); 9055a31a673SHsiangkai Wang if (StackID != TargetStackID::ScalableVector) 9065a31a673SHsiangkai Wang continue; 9075a31a673SHsiangkai Wang if (MFI.isDeadObjectIndex(I)) 9085a31a673SHsiangkai Wang continue; 9095a31a673SHsiangkai Wang 9105a31a673SHsiangkai Wang ObjectsToAllocate.push_back(I); 9115a31a673SHsiangkai Wang } 9125a31a673SHsiangkai Wang 9135a31a673SHsiangkai Wang // Allocate all RVV locals and spills 914874b802aSFraser Cormack int64_t Offset = 0; 915cb8681a2SFraser Cormack // The minimum alignment is 16 bytes. 916cb8681a2SFraser Cormack Align RVVStackAlign(16); 9175a31a673SHsiangkai Wang for (int FI : ObjectsToAllocate) { 9185a31a673SHsiangkai Wang // ObjectSize in bytes. 9195a31a673SHsiangkai Wang int64_t ObjectSize = MFI.getObjectSize(FI); 920cb8681a2SFraser Cormack auto ObjectAlign = std::max(Align(8), MFI.getObjectAlign(FI)); 9215a31a673SHsiangkai Wang // If the data type is the fractional vector type, reserve one vector 9225a31a673SHsiangkai Wang // register for it. 9235a31a673SHsiangkai Wang if (ObjectSize < 8) 9245a31a673SHsiangkai Wang ObjectSize = 8; 925cb8681a2SFraser Cormack Offset = alignTo(Offset + ObjectSize, ObjectAlign); 9265a31a673SHsiangkai Wang MFI.setObjectOffset(FI, -Offset); 927cb8681a2SFraser Cormack // Update the maximum alignment of the RVV stack section 928cb8681a2SFraser Cormack RVVStackAlign = std::max(RVVStackAlign, ObjectAlign); 9295a31a673SHsiangkai Wang } 9305a31a673SHsiangkai Wang 931cb8681a2SFraser Cormack // Ensure the alignment of the RVV stack. Since we want the most-aligned 932cb8681a2SFraser Cormack // object right at the bottom (i.e., any padding at the top of the frame), 933cb8681a2SFraser Cormack // readjust all RVV objects down by the alignment padding. 934cb8681a2SFraser Cormack uint64_t StackSize = Offset; 935cb8681a2SFraser Cormack if (auto AlignmentPadding = offsetToAlignment(StackSize, RVVStackAlign)) { 936cb8681a2SFraser Cormack StackSize += AlignmentPadding; 937cb8681a2SFraser Cormack for (int FI : ObjectsToAllocate) 938cb8681a2SFraser Cormack MFI.setObjectOffset(FI, MFI.getObjectOffset(FI) - AlignmentPadding); 939cb8681a2SFraser Cormack } 940cb8681a2SFraser Cormack 941cb8681a2SFraser Cormack return std::make_pair(StackSize, RVVStackAlign); 9425a31a673SHsiangkai Wang } 9435a31a673SHsiangkai Wang 944*d63b6684SCraig Topper static bool hasRVVSpillWithFIs(MachineFunction &MF) { 9451387483eSCraig Topper if (!MF.getSubtarget<RISCVSubtarget>().hasVInstructions()) 9468790e852SFraser Cormack return false; 947*d63b6684SCraig Topper for (const MachineBasicBlock &MBB : MF) 948*d63b6684SCraig Topper for (const MachineInstr &MI : MBB) 949*d63b6684SCraig Topper if (RISCV::isRVVSpill(MI, /*CheckFIs*/ true)) 950*d63b6684SCraig Topper return true; 951*d63b6684SCraig Topper return false; 9528790e852SFraser Cormack } 9538790e852SFraser Cormack 9540715d35eSAlex Bradbury void RISCVFrameLowering::processFunctionBeforeFrameFinalized( 9550715d35eSAlex Bradbury MachineFunction &MF, RegScavenger *RS) const { 9568790e852SFraser Cormack const RISCVRegisterInfo *RegInfo = 9578790e852SFraser Cormack MF.getSubtarget<RISCVSubtarget>().getRegisterInfo(); 9580715d35eSAlex Bradbury MachineFrameInfo &MFI = MF.getFrameInfo(); 9590715d35eSAlex Bradbury const TargetRegisterClass *RC = &RISCV::GPRRegClass; 960a9b9c64fSluxufan auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>(); 961a9b9c64fSluxufan 962cb8681a2SFraser Cormack int64_t RVVStackSize; 963cb8681a2SFraser Cormack Align RVVStackAlign; 964cb8681a2SFraser Cormack std::tie(RVVStackSize, RVVStackAlign) = assignRVVStackObjectOffsets(MFI); 965cb8681a2SFraser Cormack 966a9b9c64fSluxufan RVFI->setRVVStackSize(RVVStackSize); 967cb8681a2SFraser Cormack RVFI->setRVVStackAlign(RVVStackAlign); 968cb8681a2SFraser Cormack 96908c9fb84SFraser Cormack // Ensure the entire stack is aligned to at least the RVV requirement: some 97008c9fb84SFraser Cormack // scalable-vector object alignments are not considered by the 97108c9fb84SFraser Cormack // target-independent code. 97208c9fb84SFraser Cormack MFI.ensureMaxAlignment(RVVStackAlign); 97308c9fb84SFraser Cormack 9740715d35eSAlex Bradbury // estimateStackSize has been observed to under-estimate the final stack 9750715d35eSAlex Bradbury // size, so give ourselves wiggle-room by checking for stack size 9760715d35eSAlex Bradbury // representable an 11-bit signed field rather than 12-bits. 9770715d35eSAlex Bradbury // FIXME: It may be possible to craft a function with a small stack that 9780715d35eSAlex Bradbury // still needs an emergency spill slot for branch relaxation. This case 9790715d35eSAlex Bradbury // would currently be missed. 9808790e852SFraser Cormack // RVV loads & stores have no capacity to hold the immediate address offsets 9818790e852SFraser Cormack // so we must always reserve an emergency spill slot if the MachineFunction 9828790e852SFraser Cormack // contains any RVV spills. 983*d63b6684SCraig Topper if (!isInt<11>(MFI.estimateStackSize(MF)) || hasRVVSpillWithFIs(MF)) { 98428de229bSGuillaume Chatelet int RegScavFI = MFI.CreateStackObject(RegInfo->getSpillSize(*RC), 98528de229bSGuillaume Chatelet RegInfo->getSpillAlign(*RC), false); 9860715d35eSAlex Bradbury RS->addScavengingFrameIndex(RegScavFI); 987b4a358a7SFraser Cormack // For RVV, scalable stack offsets require up to two scratch registers to 988b4a358a7SFraser Cormack // compute the final offset. Reserve an additional emergency spill slot. 989b4a358a7SFraser Cormack if (RVVStackSize != 0) { 990b4a358a7SFraser Cormack int RVVRegScavFI = MFI.CreateStackObject( 991b4a358a7SFraser Cormack RegInfo->getSpillSize(*RC), RegInfo->getSpillAlign(*RC), false); 992b4a358a7SFraser Cormack RS->addScavengingFrameIndex(RVVRegScavFI); 993b4a358a7SFraser Cormack } 9940715d35eSAlex Bradbury } 9955a31a673SHsiangkai Wang 996a9b9c64fSluxufan if (MFI.getCalleeSavedInfo().empty() || RVFI->useSaveRestoreLibCalls(MF)) { 997a9b9c64fSluxufan RVFI->setCalleeSavedStackSize(0); 998a9b9c64fSluxufan return; 999a9b9c64fSluxufan } 1000a9b9c64fSluxufan 1001ef76a333SRoger Ferrer Ibanez unsigned Size = 0; 1002a9b9c64fSluxufan for (const auto &Info : MFI.getCalleeSavedInfo()) { 1003a9b9c64fSluxufan int FrameIdx = Info.getFrameIdx(); 1004a9b9c64fSluxufan if (MFI.getStackID(FrameIdx) != TargetStackID::Default) 1005a9b9c64fSluxufan continue; 1006a9b9c64fSluxufan 1007ef76a333SRoger Ferrer Ibanez Size += MFI.getObjectSize(FrameIdx); 1008a9b9c64fSluxufan } 1009a9b9c64fSluxufan RVFI->setCalleeSavedStackSize(Size); 10100715d35eSAlex Bradbury } 1011cbd498acSShiva Chen 1012643b6407SHsiangkai Wang static bool hasRVVFrameObject(const MachineFunction &MF) { 1013ad06e65dSHsiangkai Wang // Originally, the function will scan all the stack objects to check whether 1014ad06e65dSHsiangkai Wang // if there is any scalable vector object on the stack or not. However, it 1015ad06e65dSHsiangkai Wang // causes errors in the register allocator. In issue 53016, it returns false 1016ad06e65dSHsiangkai Wang // before RA because there is no RVV stack objects. After RA, it returns true 1017ad06e65dSHsiangkai Wang // because there are spilling slots for RVV values during RA. It will not 1018ad06e65dSHsiangkai Wang // reserve BP during register allocation and generate BP access in the PEI 1019ad06e65dSHsiangkai Wang // pass due to the inconsistent behavior of the function. 1020ad06e65dSHsiangkai Wang // 1021ad06e65dSHsiangkai Wang // The function is changed to use hasVInstructions() as the return value. It 1022ad06e65dSHsiangkai Wang // is not precise, but it can make the register allocation correct. 1023ad06e65dSHsiangkai Wang // 1024ad06e65dSHsiangkai Wang // FIXME: Find a better way to make the decision or revisit the solution in 1025ad06e65dSHsiangkai Wang // D103622. 1026ad06e65dSHsiangkai Wang // 1027ad06e65dSHsiangkai Wang // Refer to https://github.com/llvm/llvm-project/issues/53016. 1028ad06e65dSHsiangkai Wang return MF.getSubtarget<RISCVSubtarget>().hasVInstructions(); 1029643b6407SHsiangkai Wang } 1030643b6407SHsiangkai Wang 1031cbd498acSShiva Chen // Not preserve stack space within prologue for outgoing variables when the 1032643b6407SHsiangkai Wang // function contains variable size objects or there are vector objects accessed 1033643b6407SHsiangkai Wang // by the frame pointer. 1034643b6407SHsiangkai Wang // Let eliminateCallFramePseudoInstr preserve stack space for it. 1035cbd498acSShiva Chen bool RISCVFrameLowering::hasReservedCallFrame(const MachineFunction &MF) const { 1036643b6407SHsiangkai Wang return !MF.getFrameInfo().hasVarSizedObjects() && 1037643b6407SHsiangkai Wang !(hasFP(MF) && hasRVVFrameObject(MF)); 1038cbd498acSShiva Chen } 1039cbd498acSShiva Chen 1040cbd498acSShiva Chen // Eliminate ADJCALLSTACKDOWN, ADJCALLSTACKUP pseudo instructions. 1041cbd498acSShiva Chen MachineBasicBlock::iterator RISCVFrameLowering::eliminateCallFramePseudoInstr( 1042cbd498acSShiva Chen MachineFunction &MF, MachineBasicBlock &MBB, 1043cbd498acSShiva Chen MachineBasicBlock::iterator MI) const { 1044fa06e958SLuis Marques Register SPReg = RISCV::X2; 1045cbd498acSShiva Chen DebugLoc DL = MI->getDebugLoc(); 1046cbd498acSShiva Chen 1047cbd498acSShiva Chen if (!hasReservedCallFrame(MF)) { 1048cbd498acSShiva Chen // If space has not been reserved for a call frame, ADJCALLSTACKDOWN and 1049cbd498acSShiva Chen // ADJCALLSTACKUP must be converted to instructions manipulating the stack 1050cbd498acSShiva Chen // pointer. This is necessary when there is a variable length stack 1051cbd498acSShiva Chen // allocation (e.g. alloca), which means it's not possible to allocate 1052cbd498acSShiva Chen // space for outgoing arguments from within the function prologue. 1053cbd498acSShiva Chen int64_t Amount = MI->getOperand(0).getImm(); 1054cbd498acSShiva Chen 1055cbd498acSShiva Chen if (Amount != 0) { 1056cbd498acSShiva Chen // Ensure the stack remains aligned after adjustment. 1057cbd498acSShiva Chen Amount = alignSPAdjust(Amount); 1058cbd498acSShiva Chen 1059cbd498acSShiva Chen if (MI->getOpcode() == RISCV::ADJCALLSTACKDOWN) 1060cbd498acSShiva Chen Amount = -Amount; 1061cbd498acSShiva Chen 1062cbd498acSShiva Chen adjustReg(MBB, MI, DL, SPReg, SPReg, Amount, MachineInstr::NoFlags); 1063cbd498acSShiva Chen } 1064cbd498acSShiva Chen } 1065cbd498acSShiva Chen 1066cbd498acSShiva Chen return MBB.erase(MI); 1067cbd498acSShiva Chen } 1068ff55e2e0SShiva Chen 1069ff55e2e0SShiva Chen // We would like to split the SP adjustment to reduce prologue/epilogue 1070ff55e2e0SShiva Chen // as following instructions. In this way, the offset of the callee saved 1071ff55e2e0SShiva Chen // register could fit in a single store. 1072ff55e2e0SShiva Chen // add sp,sp,-2032 1073ff55e2e0SShiva Chen // sw ra,2028(sp) 1074ff55e2e0SShiva Chen // sw s0,2024(sp) 1075ff55e2e0SShiva Chen // sw s1,2020(sp) 1076ff55e2e0SShiva Chen // sw s3,2012(sp) 1077ff55e2e0SShiva Chen // sw s4,2008(sp) 1078ff55e2e0SShiva Chen // add sp,sp,-64 1079ff55e2e0SShiva Chen uint64_t 1080ff55e2e0SShiva Chen RISCVFrameLowering::getFirstSPAdjustAmount(const MachineFunction &MF) const { 108107f7c002Slewis-revill const auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>(); 1082ff55e2e0SShiva Chen const MachineFrameInfo &MFI = MF.getFrameInfo(); 1083ff55e2e0SShiva Chen const std::vector<CalleeSavedInfo> &CSI = MFI.getCalleeSavedInfo(); 1084cb8681a2SFraser Cormack uint64_t StackSize = getStackSizeWithRVVPadding(MF); 1085ff55e2e0SShiva Chen 1086f00f894dSFraser Cormack // Disable SplitSPAdjust if save-restore libcall is used. The callee-saved 108707f7c002Slewis-revill // registers will be pushed by the save-restore libcalls, so we don't have to 108807f7c002Slewis-revill // split the SP adjustment in this case. 108907f7c002Slewis-revill if (RVFI->getLibCallStackSize()) 109007f7c002Slewis-revill return 0; 109107f7c002Slewis-revill 1092f00f894dSFraser Cormack // Return the FirstSPAdjustAmount if the StackSize can not fit in a signed 1093f00f894dSFraser Cormack // 12-bit and there exists a callee-saved register needing to be pushed. 1094ff55e2e0SShiva Chen if (!isInt<12>(StackSize) && (CSI.size() > 0)) { 1095f00f894dSFraser Cormack // FirstSPAdjustAmount is chosen as (2048 - StackAlign) because 2048 will 1096f00f894dSFraser Cormack // cause sp = sp + 2048 in the epilogue to be split into multiple 1097f00f894dSFraser Cormack // instructions. Offsets smaller than 2048 can fit in a single load/store 1098f00f894dSFraser Cormack // instruction, and we have to stick with the stack alignment. 2048 has 1099f00f894dSFraser Cormack // 16-byte alignment. The stack alignment for RV32 and RV64 is 16 and for 1100f00f894dSFraser Cormack // RV32E it is 4. So (2048 - StackAlign) will satisfy the stack alignment. 11013ba550a0SGuillaume Chatelet return 2048 - getStackAlign().value(); 1102ff55e2e0SShiva Chen } 1103ff55e2e0SShiva Chen return 0; 1104ff55e2e0SShiva Chen } 110507f7c002Slewis-revill 110607f7c002Slewis-revill bool RISCVFrameLowering::spillCalleeSavedRegisters( 110707f7c002Slewis-revill MachineBasicBlock &MBB, MachineBasicBlock::iterator MI, 110807f7c002Slewis-revill ArrayRef<CalleeSavedInfo> CSI, const TargetRegisterInfo *TRI) const { 110907f7c002Slewis-revill if (CSI.empty()) 111007f7c002Slewis-revill return true; 111107f7c002Slewis-revill 111207f7c002Slewis-revill MachineFunction *MF = MBB.getParent(); 111307f7c002Slewis-revill const TargetInstrInfo &TII = *MF->getSubtarget().getInstrInfo(); 111407f7c002Slewis-revill DebugLoc DL; 111507f7c002Slewis-revill if (MI != MBB.end() && !MI->isDebugInstr()) 111607f7c002Slewis-revill DL = MI->getDebugLoc(); 111707f7c002Slewis-revill 111807f7c002Slewis-revill const char *SpillLibCall = getSpillLibCallName(*MF, CSI); 111907f7c002Slewis-revill if (SpillLibCall) { 112007f7c002Slewis-revill // Add spill libcall via non-callee-saved register t0. 112107f7c002Slewis-revill BuildMI(MBB, MI, DL, TII.get(RISCV::PseudoCALLReg), RISCV::X5) 112207f7c002Slewis-revill .addExternalSymbol(SpillLibCall, RISCVII::MO_CALL) 112307f7c002Slewis-revill .setMIFlag(MachineInstr::FrameSetup); 112407f7c002Slewis-revill 112507f7c002Slewis-revill // Add registers spilled in libcall as liveins. 112607f7c002Slewis-revill for (auto &CS : CSI) 112707f7c002Slewis-revill MBB.addLiveIn(CS.getReg()); 112807f7c002Slewis-revill } 112907f7c002Slewis-revill 113007f7c002Slewis-revill // Manually spill values not spilled by libcall. 11315a31a673SHsiangkai Wang const auto &NonLibcallCSI = getNonLibcallCSI(*MF, CSI); 113207f7c002Slewis-revill for (auto &CS : NonLibcallCSI) { 113307f7c002Slewis-revill // Insert the spill to the stack frame. 113407f7c002Slewis-revill Register Reg = CS.getReg(); 113507f7c002Slewis-revill const TargetRegisterClass *RC = TRI->getMinimalPhysRegClass(Reg); 11364ec1b8eeSDavid Callahan TII.storeRegToStackSlot(MBB, MI, Reg, !MBB.isLiveIn(Reg), CS.getFrameIdx(), 11374ec1b8eeSDavid Callahan RC, TRI); 113807f7c002Slewis-revill } 113907f7c002Slewis-revill 114007f7c002Slewis-revill return true; 114107f7c002Slewis-revill } 114207f7c002Slewis-revill 114307f7c002Slewis-revill bool RISCVFrameLowering::restoreCalleeSavedRegisters( 114407f7c002Slewis-revill MachineBasicBlock &MBB, MachineBasicBlock::iterator MI, 1145186dd631SBenjamin Kramer MutableArrayRef<CalleeSavedInfo> CSI, const TargetRegisterInfo *TRI) const { 114607f7c002Slewis-revill if (CSI.empty()) 114707f7c002Slewis-revill return true; 114807f7c002Slewis-revill 114907f7c002Slewis-revill MachineFunction *MF = MBB.getParent(); 115007f7c002Slewis-revill const TargetInstrInfo &TII = *MF->getSubtarget().getInstrInfo(); 115107f7c002Slewis-revill DebugLoc DL; 115207f7c002Slewis-revill if (MI != MBB.end() && !MI->isDebugInstr()) 115307f7c002Slewis-revill DL = MI->getDebugLoc(); 115407f7c002Slewis-revill 1155137d3474SHsiangkai Wang // Manually restore values not restored by libcall. 1156137d3474SHsiangkai Wang // Keep the same order as in the prologue. There is no need to reverse the 1157137d3474SHsiangkai Wang // order in the epilogue. In addition, the return address will be restored 1158137d3474SHsiangkai Wang // first in the epilogue. It increases the opportunity to avoid the 1159137d3474SHsiangkai Wang // load-to-use data hazard between loading RA and return by RA. 116007f7c002Slewis-revill // loadRegFromStackSlot can insert multiple instructions. 11615a31a673SHsiangkai Wang const auto &NonLibcallCSI = getNonLibcallCSI(*MF, CSI); 1162137d3474SHsiangkai Wang for (auto &CS : NonLibcallCSI) { 116307f7c002Slewis-revill Register Reg = CS.getReg(); 116407f7c002Slewis-revill const TargetRegisterClass *RC = TRI->getMinimalPhysRegClass(Reg); 116507f7c002Slewis-revill TII.loadRegFromStackSlot(MBB, MI, Reg, CS.getFrameIdx(), RC, TRI); 116607f7c002Slewis-revill assert(MI != MBB.begin() && "loadRegFromStackSlot didn't insert any code!"); 116707f7c002Slewis-revill } 116807f7c002Slewis-revill 116907f7c002Slewis-revill const char *RestoreLibCall = getRestoreLibCallName(*MF, CSI); 117007f7c002Slewis-revill if (RestoreLibCall) { 117107f7c002Slewis-revill // Add restore libcall via tail call. 117207f7c002Slewis-revill MachineBasicBlock::iterator NewMI = 117307f7c002Slewis-revill BuildMI(MBB, MI, DL, TII.get(RISCV::PseudoTAIL)) 117407f7c002Slewis-revill .addExternalSymbol(RestoreLibCall, RISCVII::MO_CALL) 117507f7c002Slewis-revill .setMIFlag(MachineInstr::FrameDestroy); 117607f7c002Slewis-revill 117707f7c002Slewis-revill // Remove trailing returns, since the terminator is now a tail call to the 117807f7c002Slewis-revill // restore function. 117907f7c002Slewis-revill if (MI != MBB.end() && MI->getOpcode() == RISCV::PseudoRET) { 118007f7c002Slewis-revill NewMI->copyImplicitOps(*MF, *MI); 118107f7c002Slewis-revill MI->eraseFromParent(); 118207f7c002Slewis-revill } 118307f7c002Slewis-revill } 118407f7c002Slewis-revill 118507f7c002Slewis-revill return true; 118607f7c002Slewis-revill } 118707f7c002Slewis-revill 118807f7c002Slewis-revill bool RISCVFrameLowering::canUseAsPrologue(const MachineBasicBlock &MBB) const { 118907f7c002Slewis-revill MachineBasicBlock *TmpMBB = const_cast<MachineBasicBlock *>(&MBB); 119008649f0aSMatt Arsenault const MachineFunction *MF = MBB.getParent(); 119108649f0aSMatt Arsenault const auto *RVFI = MF->getInfo<RISCVMachineFunctionInfo>(); 119207f7c002Slewis-revill 119308649f0aSMatt Arsenault if (!RVFI->useSaveRestoreLibCalls(*MF)) 119407f7c002Slewis-revill return true; 119507f7c002Slewis-revill 119607f7c002Slewis-revill // Inserting a call to a __riscv_save libcall requires the use of the register 119707f7c002Slewis-revill // t0 (X5) to hold the return address. Therefore if this register is already 119807f7c002Slewis-revill // used we can't insert the call. 119907f7c002Slewis-revill 120007f7c002Slewis-revill RegScavenger RS; 120107f7c002Slewis-revill RS.enterBasicBlock(*TmpMBB); 120207f7c002Slewis-revill return !RS.isRegUsed(RISCV::X5); 120307f7c002Slewis-revill } 120407f7c002Slewis-revill 120507f7c002Slewis-revill bool RISCVFrameLowering::canUseAsEpilogue(const MachineBasicBlock &MBB) const { 120608649f0aSMatt Arsenault const MachineFunction *MF = MBB.getParent(); 120707f7c002Slewis-revill MachineBasicBlock *TmpMBB = const_cast<MachineBasicBlock *>(&MBB); 120808649f0aSMatt Arsenault const auto *RVFI = MF->getInfo<RISCVMachineFunctionInfo>(); 120907f7c002Slewis-revill 121008649f0aSMatt Arsenault if (!RVFI->useSaveRestoreLibCalls(*MF)) 121107f7c002Slewis-revill return true; 121207f7c002Slewis-revill 121307f7c002Slewis-revill // Using the __riscv_restore libcalls to restore CSRs requires a tail call. 121407f7c002Slewis-revill // This means if we still need to continue executing code within this function 121507f7c002Slewis-revill // the restore cannot take place in this basic block. 121607f7c002Slewis-revill 121707f7c002Slewis-revill if (MBB.succ_size() > 1) 121807f7c002Slewis-revill return false; 121907f7c002Slewis-revill 122007f7c002Slewis-revill MachineBasicBlock *SuccMBB = 122107f7c002Slewis-revill MBB.succ_empty() ? TmpMBB->getFallThrough() : *MBB.succ_begin(); 122207f7c002Slewis-revill 122307f7c002Slewis-revill // Doing a tail call should be safe if there are no successors, because either 122407f7c002Slewis-revill // we have a returning block or the end of the block is unreachable, so the 122507f7c002Slewis-revill // restore will be eliminated regardless. 122607f7c002Slewis-revill if (!SuccMBB) 122707f7c002Slewis-revill return true; 122807f7c002Slewis-revill 122907f7c002Slewis-revill // The successor can only contain a return, since we would effectively be 123007f7c002Slewis-revill // replacing the successor with our own tail return at the end of our block. 123107f7c002Slewis-revill return SuccMBB->isReturnBlock() && SuccMBB->size() == 1; 123207f7c002Slewis-revill } 12335a31a673SHsiangkai Wang 12345a31a673SHsiangkai Wang bool RISCVFrameLowering::isSupportedStackID(TargetStackID::Value ID) const { 12355a31a673SHsiangkai Wang switch (ID) { 12365a31a673SHsiangkai Wang case TargetStackID::Default: 12375a31a673SHsiangkai Wang case TargetStackID::ScalableVector: 12385a31a673SHsiangkai Wang return true; 12395a31a673SHsiangkai Wang case TargetStackID::NoAlloc: 12405a31a673SHsiangkai Wang case TargetStackID::SGPRSpill: 124182f92e35SAndy Wingo case TargetStackID::WasmLocal: 12425a31a673SHsiangkai Wang return false; 12435a31a673SHsiangkai Wang } 12445a31a673SHsiangkai Wang llvm_unreachable("Invalid TargetStackID::Value"); 12455a31a673SHsiangkai Wang } 12465a31a673SHsiangkai Wang 12475a31a673SHsiangkai Wang TargetStackID::Value RISCVFrameLowering::getStackIDForScalableVectors() const { 12485a31a673SHsiangkai Wang return TargetStackID::ScalableVector; 12495a31a673SHsiangkai Wang } 1250