10b57cec5SDimitry Andric //===-- RISCVRegisterInfo.cpp - RISCV Register Information ------*- C++ -*-===// 20b57cec5SDimitry Andric // 30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information. 50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 60b57cec5SDimitry Andric // 70b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 80b57cec5SDimitry Andric // 90b57cec5SDimitry Andric // This file contains the RISCV implementation of the TargetRegisterInfo class. 100b57cec5SDimitry Andric // 110b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 120b57cec5SDimitry Andric 130b57cec5SDimitry Andric #include "RISCVRegisterInfo.h" 140b57cec5SDimitry Andric #include "RISCV.h" 155ffd83dbSDimitry Andric #include "RISCVMachineFunctionInfo.h" 160b57cec5SDimitry Andric #include "RISCVSubtarget.h" 170b57cec5SDimitry Andric #include "llvm/CodeGen/MachineFrameInfo.h" 180b57cec5SDimitry Andric #include "llvm/CodeGen/MachineFunction.h" 190b57cec5SDimitry Andric #include "llvm/CodeGen/MachineInstrBuilder.h" 200b57cec5SDimitry Andric #include "llvm/CodeGen/RegisterScavenging.h" 210b57cec5SDimitry Andric #include "llvm/CodeGen/TargetFrameLowering.h" 220b57cec5SDimitry Andric #include "llvm/CodeGen/TargetInstrInfo.h" 230b57cec5SDimitry Andric #include "llvm/Support/ErrorHandling.h" 240b57cec5SDimitry Andric 250b57cec5SDimitry Andric #define GET_REGINFO_TARGET_DESC 260b57cec5SDimitry Andric #include "RISCVGenRegisterInfo.inc" 270b57cec5SDimitry Andric 280b57cec5SDimitry Andric using namespace llvm; 290b57cec5SDimitry Andric 308bcb0991SDimitry Andric static_assert(RISCV::X1 == RISCV::X0 + 1, "Register list not consecutive"); 318bcb0991SDimitry Andric static_assert(RISCV::X31 == RISCV::X0 + 31, "Register list not consecutive"); 32*e8d8bef9SDimitry Andric static_assert(RISCV::F1_H == RISCV::F0_H + 1, "Register list not consecutive"); 33*e8d8bef9SDimitry Andric static_assert(RISCV::F31_H == RISCV::F0_H + 31, 34*e8d8bef9SDimitry Andric "Register list not consecutive"); 358bcb0991SDimitry Andric static_assert(RISCV::F1_F == RISCV::F0_F + 1, "Register list not consecutive"); 368bcb0991SDimitry Andric static_assert(RISCV::F31_F == RISCV::F0_F + 31, 378bcb0991SDimitry Andric "Register list not consecutive"); 388bcb0991SDimitry Andric static_assert(RISCV::F1_D == RISCV::F0_D + 1, "Register list not consecutive"); 398bcb0991SDimitry Andric static_assert(RISCV::F31_D == RISCV::F0_D + 31, 408bcb0991SDimitry Andric "Register list not consecutive"); 415ffd83dbSDimitry Andric static_assert(RISCV::V1 == RISCV::V0 + 1, "Register list not consecutive"); 425ffd83dbSDimitry Andric static_assert(RISCV::V31 == RISCV::V0 + 31, "Register list not consecutive"); 438bcb0991SDimitry Andric 440b57cec5SDimitry Andric RISCVRegisterInfo::RISCVRegisterInfo(unsigned HwMode) 450b57cec5SDimitry Andric : RISCVGenRegisterInfo(RISCV::X1, /*DwarfFlavour*/0, /*EHFlavor*/0, 460b57cec5SDimitry Andric /*PC*/0, HwMode) {} 470b57cec5SDimitry Andric 480b57cec5SDimitry Andric const MCPhysReg * 490b57cec5SDimitry Andric RISCVRegisterInfo::getCalleeSavedRegs(const MachineFunction *MF) const { 500b57cec5SDimitry Andric auto &Subtarget = MF->getSubtarget<RISCVSubtarget>(); 51*e8d8bef9SDimitry Andric if (MF->getFunction().getCallingConv() == CallingConv::GHC) 52*e8d8bef9SDimitry Andric return CSR_NoRegs_SaveList; 530b57cec5SDimitry Andric if (MF->getFunction().hasFnAttribute("interrupt")) { 540b57cec5SDimitry Andric if (Subtarget.hasStdExtD()) 550b57cec5SDimitry Andric return CSR_XLEN_F64_Interrupt_SaveList; 560b57cec5SDimitry Andric if (Subtarget.hasStdExtF()) 570b57cec5SDimitry Andric return CSR_XLEN_F32_Interrupt_SaveList; 580b57cec5SDimitry Andric return CSR_Interrupt_SaveList; 590b57cec5SDimitry Andric } 600b57cec5SDimitry Andric 610b57cec5SDimitry Andric switch (Subtarget.getTargetABI()) { 620b57cec5SDimitry Andric default: 630b57cec5SDimitry Andric llvm_unreachable("Unrecognized ABI"); 640b57cec5SDimitry Andric case RISCVABI::ABI_ILP32: 650b57cec5SDimitry Andric case RISCVABI::ABI_LP64: 660b57cec5SDimitry Andric return CSR_ILP32_LP64_SaveList; 670b57cec5SDimitry Andric case RISCVABI::ABI_ILP32F: 680b57cec5SDimitry Andric case RISCVABI::ABI_LP64F: 690b57cec5SDimitry Andric return CSR_ILP32F_LP64F_SaveList; 700b57cec5SDimitry Andric case RISCVABI::ABI_ILP32D: 710b57cec5SDimitry Andric case RISCVABI::ABI_LP64D: 720b57cec5SDimitry Andric return CSR_ILP32D_LP64D_SaveList; 730b57cec5SDimitry Andric } 740b57cec5SDimitry Andric } 750b57cec5SDimitry Andric 760b57cec5SDimitry Andric BitVector RISCVRegisterInfo::getReservedRegs(const MachineFunction &MF) const { 77480093f4SDimitry Andric const RISCVFrameLowering *TFI = getFrameLowering(MF); 780b57cec5SDimitry Andric BitVector Reserved(getNumRegs()); 790b57cec5SDimitry Andric 80480093f4SDimitry Andric // Mark any registers requested to be reserved as such 81480093f4SDimitry Andric for (size_t Reg = 0; Reg < getNumRegs(); Reg++) { 82480093f4SDimitry Andric if (MF.getSubtarget<RISCVSubtarget>().isRegisterReservedByUser(Reg)) 83480093f4SDimitry Andric markSuperRegs(Reserved, Reg); 84480093f4SDimitry Andric } 85480093f4SDimitry Andric 860b57cec5SDimitry Andric // Use markSuperRegs to ensure any register aliases are also reserved 870b57cec5SDimitry Andric markSuperRegs(Reserved, RISCV::X0); // zero 880b57cec5SDimitry Andric markSuperRegs(Reserved, RISCV::X2); // sp 890b57cec5SDimitry Andric markSuperRegs(Reserved, RISCV::X3); // gp 900b57cec5SDimitry Andric markSuperRegs(Reserved, RISCV::X4); // tp 910b57cec5SDimitry Andric if (TFI->hasFP(MF)) 920b57cec5SDimitry Andric markSuperRegs(Reserved, RISCV::X8); // fp 93480093f4SDimitry Andric // Reserve the base register if we need to realign the stack and allocate 94480093f4SDimitry Andric // variable-sized objects at runtime. 95480093f4SDimitry Andric if (TFI->hasBP(MF)) 96480093f4SDimitry Andric markSuperRegs(Reserved, RISCVABI::getBPReg()); // bp 97*e8d8bef9SDimitry Andric 98*e8d8bef9SDimitry Andric // V registers for code generation. We handle them manually. 99*e8d8bef9SDimitry Andric markSuperRegs(Reserved, RISCV::VL); 100*e8d8bef9SDimitry Andric markSuperRegs(Reserved, RISCV::VTYPE); 101*e8d8bef9SDimitry Andric markSuperRegs(Reserved, RISCV::VXSAT); 102*e8d8bef9SDimitry Andric markSuperRegs(Reserved, RISCV::VXRM); 103*e8d8bef9SDimitry Andric 1040b57cec5SDimitry Andric assert(checkAllSuperRegsMarked(Reserved)); 1050b57cec5SDimitry Andric return Reserved; 1060b57cec5SDimitry Andric } 1070b57cec5SDimitry Andric 108480093f4SDimitry Andric bool RISCVRegisterInfo::isAsmClobberable(const MachineFunction &MF, 1095ffd83dbSDimitry Andric MCRegister PhysReg) const { 110480093f4SDimitry Andric return !MF.getSubtarget<RISCVSubtarget>().isRegisterReservedByUser(PhysReg); 111480093f4SDimitry Andric } 112480093f4SDimitry Andric 1135ffd83dbSDimitry Andric bool RISCVRegisterInfo::isConstantPhysReg(MCRegister PhysReg) const { 1140b57cec5SDimitry Andric return PhysReg == RISCV::X0; 1150b57cec5SDimitry Andric } 1160b57cec5SDimitry Andric 1170b57cec5SDimitry Andric const uint32_t *RISCVRegisterInfo::getNoPreservedMask() const { 1180b57cec5SDimitry Andric return CSR_NoRegs_RegMask; 1190b57cec5SDimitry Andric } 1200b57cec5SDimitry Andric 1215ffd83dbSDimitry Andric // Frame indexes representing locations of CSRs which are given a fixed location 1225ffd83dbSDimitry Andric // by save/restore libcalls. 1235ffd83dbSDimitry Andric static const std::map<unsigned, int> FixedCSRFIMap = { 1245ffd83dbSDimitry Andric {/*ra*/ RISCV::X1, -1}, 1255ffd83dbSDimitry Andric {/*s0*/ RISCV::X8, -2}, 1265ffd83dbSDimitry Andric {/*s1*/ RISCV::X9, -3}, 1275ffd83dbSDimitry Andric {/*s2*/ RISCV::X18, -4}, 1285ffd83dbSDimitry Andric {/*s3*/ RISCV::X19, -5}, 1295ffd83dbSDimitry Andric {/*s4*/ RISCV::X20, -6}, 1305ffd83dbSDimitry Andric {/*s5*/ RISCV::X21, -7}, 1315ffd83dbSDimitry Andric {/*s6*/ RISCV::X22, -8}, 1325ffd83dbSDimitry Andric {/*s7*/ RISCV::X23, -9}, 1335ffd83dbSDimitry Andric {/*s8*/ RISCV::X24, -10}, 1345ffd83dbSDimitry Andric {/*s9*/ RISCV::X25, -11}, 1355ffd83dbSDimitry Andric {/*s10*/ RISCV::X26, -12}, 1365ffd83dbSDimitry Andric {/*s11*/ RISCV::X27, -13} 1375ffd83dbSDimitry Andric }; 1385ffd83dbSDimitry Andric 1395ffd83dbSDimitry Andric bool RISCVRegisterInfo::hasReservedSpillSlot(const MachineFunction &MF, 1405ffd83dbSDimitry Andric Register Reg, 1415ffd83dbSDimitry Andric int &FrameIdx) const { 1425ffd83dbSDimitry Andric const auto *RVFI = MF.getInfo<RISCVMachineFunctionInfo>(); 1435ffd83dbSDimitry Andric if (!RVFI->useSaveRestoreLibCalls(MF)) 1445ffd83dbSDimitry Andric return false; 1455ffd83dbSDimitry Andric 1465ffd83dbSDimitry Andric auto FII = FixedCSRFIMap.find(Reg); 1475ffd83dbSDimitry Andric if (FII == FixedCSRFIMap.end()) 1485ffd83dbSDimitry Andric return false; 1495ffd83dbSDimitry Andric 1505ffd83dbSDimitry Andric FrameIdx = FII->second; 1515ffd83dbSDimitry Andric return true; 1525ffd83dbSDimitry Andric } 1535ffd83dbSDimitry Andric 1540b57cec5SDimitry Andric void RISCVRegisterInfo::eliminateFrameIndex(MachineBasicBlock::iterator II, 1550b57cec5SDimitry Andric int SPAdj, unsigned FIOperandNum, 1560b57cec5SDimitry Andric RegScavenger *RS) const { 1570b57cec5SDimitry Andric assert(SPAdj == 0 && "Unexpected non-zero SPAdj value"); 1580b57cec5SDimitry Andric 1590b57cec5SDimitry Andric MachineInstr &MI = *II; 1600b57cec5SDimitry Andric MachineFunction &MF = *MI.getParent()->getParent(); 1610b57cec5SDimitry Andric MachineRegisterInfo &MRI = MF.getRegInfo(); 1620b57cec5SDimitry Andric const RISCVInstrInfo *TII = MF.getSubtarget<RISCVSubtarget>().getInstrInfo(); 1630b57cec5SDimitry Andric DebugLoc DL = MI.getDebugLoc(); 1640b57cec5SDimitry Andric 1650b57cec5SDimitry Andric int FrameIndex = MI.getOperand(FIOperandNum).getIndex(); 1665ffd83dbSDimitry Andric Register FrameReg; 167*e8d8bef9SDimitry Andric int Offset = getFrameLowering(MF) 168*e8d8bef9SDimitry Andric ->getFrameIndexReference(MF, FrameIndex, FrameReg) 169*e8d8bef9SDimitry Andric .getFixed() + 1700b57cec5SDimitry Andric MI.getOperand(FIOperandNum + 1).getImm(); 1710b57cec5SDimitry Andric 1720b57cec5SDimitry Andric if (!isInt<32>(Offset)) { 1730b57cec5SDimitry Andric report_fatal_error( 1740b57cec5SDimitry Andric "Frame offsets outside of the signed 32-bit range not supported"); 1750b57cec5SDimitry Andric } 1760b57cec5SDimitry Andric 1770b57cec5SDimitry Andric MachineBasicBlock &MBB = *MI.getParent(); 1780b57cec5SDimitry Andric bool FrameRegIsKill = false; 1790b57cec5SDimitry Andric 1800b57cec5SDimitry Andric if (!isInt<12>(Offset)) { 1810b57cec5SDimitry Andric assert(isInt<32>(Offset) && "Int32 expected"); 1820b57cec5SDimitry Andric // The offset won't fit in an immediate, so use a scratch register instead 1830b57cec5SDimitry Andric // Modify Offset and FrameReg appropriately 1848bcb0991SDimitry Andric Register ScratchReg = MRI.createVirtualRegister(&RISCV::GPRRegClass); 1858bcb0991SDimitry Andric TII->movImm(MBB, II, DL, ScratchReg, Offset); 1860b57cec5SDimitry Andric BuildMI(MBB, II, DL, TII->get(RISCV::ADD), ScratchReg) 1870b57cec5SDimitry Andric .addReg(FrameReg) 1880b57cec5SDimitry Andric .addReg(ScratchReg, RegState::Kill); 1890b57cec5SDimitry Andric Offset = 0; 1900b57cec5SDimitry Andric FrameReg = ScratchReg; 1910b57cec5SDimitry Andric FrameRegIsKill = true; 1920b57cec5SDimitry Andric } 1930b57cec5SDimitry Andric 1940b57cec5SDimitry Andric MI.getOperand(FIOperandNum) 1950b57cec5SDimitry Andric .ChangeToRegister(FrameReg, false, false, FrameRegIsKill); 1960b57cec5SDimitry Andric MI.getOperand(FIOperandNum + 1).ChangeToImmediate(Offset); 1970b57cec5SDimitry Andric } 1980b57cec5SDimitry Andric 1990b57cec5SDimitry Andric Register RISCVRegisterInfo::getFrameRegister(const MachineFunction &MF) const { 2000b57cec5SDimitry Andric const TargetFrameLowering *TFI = getFrameLowering(MF); 2010b57cec5SDimitry Andric return TFI->hasFP(MF) ? RISCV::X8 : RISCV::X2; 2020b57cec5SDimitry Andric } 2030b57cec5SDimitry Andric 2040b57cec5SDimitry Andric const uint32_t * 2050b57cec5SDimitry Andric RISCVRegisterInfo::getCallPreservedMask(const MachineFunction & MF, 206*e8d8bef9SDimitry Andric CallingConv::ID CC) const { 2070b57cec5SDimitry Andric auto &Subtarget = MF.getSubtarget<RISCVSubtarget>(); 2080b57cec5SDimitry Andric 209*e8d8bef9SDimitry Andric if (CC == CallingConv::GHC) 210*e8d8bef9SDimitry Andric return CSR_NoRegs_RegMask; 2110b57cec5SDimitry Andric switch (Subtarget.getTargetABI()) { 2120b57cec5SDimitry Andric default: 2130b57cec5SDimitry Andric llvm_unreachable("Unrecognized ABI"); 2140b57cec5SDimitry Andric case RISCVABI::ABI_ILP32: 2150b57cec5SDimitry Andric case RISCVABI::ABI_LP64: 2160b57cec5SDimitry Andric return CSR_ILP32_LP64_RegMask; 2170b57cec5SDimitry Andric case RISCVABI::ABI_ILP32F: 2180b57cec5SDimitry Andric case RISCVABI::ABI_LP64F: 2190b57cec5SDimitry Andric return CSR_ILP32F_LP64F_RegMask; 2200b57cec5SDimitry Andric case RISCVABI::ABI_ILP32D: 2210b57cec5SDimitry Andric case RISCVABI::ABI_LP64D: 2220b57cec5SDimitry Andric return CSR_ILP32D_LP64D_RegMask; 2230b57cec5SDimitry Andric } 2240b57cec5SDimitry Andric } 225