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" 150b57cec5SDimitry Andric #include "RISCVSubtarget.h" 160b57cec5SDimitry Andric #include "llvm/CodeGen/MachineFrameInfo.h" 170b57cec5SDimitry Andric #include "llvm/CodeGen/MachineFunction.h" 180b57cec5SDimitry Andric #include "llvm/CodeGen/MachineInstrBuilder.h" 190b57cec5SDimitry Andric #include "llvm/CodeGen/RegisterScavenging.h" 200b57cec5SDimitry Andric #include "llvm/CodeGen/TargetFrameLowering.h" 210b57cec5SDimitry Andric #include "llvm/CodeGen/TargetInstrInfo.h" 220b57cec5SDimitry Andric #include "llvm/Support/ErrorHandling.h" 230b57cec5SDimitry Andric 240b57cec5SDimitry Andric #define GET_REGINFO_TARGET_DESC 250b57cec5SDimitry Andric #include "RISCVGenRegisterInfo.inc" 260b57cec5SDimitry Andric 270b57cec5SDimitry Andric using namespace llvm; 280b57cec5SDimitry Andric 29*8bcb0991SDimitry Andric static_assert(RISCV::X1 == RISCV::X0 + 1, "Register list not consecutive"); 30*8bcb0991SDimitry Andric static_assert(RISCV::X31 == RISCV::X0 + 31, "Register list not consecutive"); 31*8bcb0991SDimitry Andric static_assert(RISCV::F1_F == RISCV::F0_F + 1, "Register list not consecutive"); 32*8bcb0991SDimitry Andric static_assert(RISCV::F31_F == RISCV::F0_F + 31, 33*8bcb0991SDimitry Andric "Register list not consecutive"); 34*8bcb0991SDimitry Andric static_assert(RISCV::F1_D == RISCV::F0_D + 1, "Register list not consecutive"); 35*8bcb0991SDimitry Andric static_assert(RISCV::F31_D == RISCV::F0_D + 31, 36*8bcb0991SDimitry Andric "Register list not consecutive"); 37*8bcb0991SDimitry Andric 380b57cec5SDimitry Andric RISCVRegisterInfo::RISCVRegisterInfo(unsigned HwMode) 390b57cec5SDimitry Andric : RISCVGenRegisterInfo(RISCV::X1, /*DwarfFlavour*/0, /*EHFlavor*/0, 400b57cec5SDimitry Andric /*PC*/0, HwMode) {} 410b57cec5SDimitry Andric 420b57cec5SDimitry Andric const MCPhysReg * 430b57cec5SDimitry Andric RISCVRegisterInfo::getCalleeSavedRegs(const MachineFunction *MF) const { 440b57cec5SDimitry Andric auto &Subtarget = MF->getSubtarget<RISCVSubtarget>(); 450b57cec5SDimitry Andric if (MF->getFunction().hasFnAttribute("interrupt")) { 460b57cec5SDimitry Andric if (Subtarget.hasStdExtD()) 470b57cec5SDimitry Andric return CSR_XLEN_F64_Interrupt_SaveList; 480b57cec5SDimitry Andric if (Subtarget.hasStdExtF()) 490b57cec5SDimitry Andric return CSR_XLEN_F32_Interrupt_SaveList; 500b57cec5SDimitry Andric return CSR_Interrupt_SaveList; 510b57cec5SDimitry Andric } 520b57cec5SDimitry Andric 530b57cec5SDimitry Andric switch (Subtarget.getTargetABI()) { 540b57cec5SDimitry Andric default: 550b57cec5SDimitry Andric llvm_unreachable("Unrecognized ABI"); 560b57cec5SDimitry Andric case RISCVABI::ABI_ILP32: 570b57cec5SDimitry Andric case RISCVABI::ABI_LP64: 580b57cec5SDimitry Andric return CSR_ILP32_LP64_SaveList; 590b57cec5SDimitry Andric case RISCVABI::ABI_ILP32F: 600b57cec5SDimitry Andric case RISCVABI::ABI_LP64F: 610b57cec5SDimitry Andric return CSR_ILP32F_LP64F_SaveList; 620b57cec5SDimitry Andric case RISCVABI::ABI_ILP32D: 630b57cec5SDimitry Andric case RISCVABI::ABI_LP64D: 640b57cec5SDimitry Andric return CSR_ILP32D_LP64D_SaveList; 650b57cec5SDimitry Andric } 660b57cec5SDimitry Andric } 670b57cec5SDimitry Andric 680b57cec5SDimitry Andric BitVector RISCVRegisterInfo::getReservedRegs(const MachineFunction &MF) const { 690b57cec5SDimitry Andric const TargetFrameLowering *TFI = getFrameLowering(MF); 700b57cec5SDimitry Andric BitVector Reserved(getNumRegs()); 710b57cec5SDimitry Andric 720b57cec5SDimitry Andric // Use markSuperRegs to ensure any register aliases are also reserved 730b57cec5SDimitry Andric markSuperRegs(Reserved, RISCV::X0); // zero 740b57cec5SDimitry Andric markSuperRegs(Reserved, RISCV::X1); // ra 750b57cec5SDimitry Andric markSuperRegs(Reserved, RISCV::X2); // sp 760b57cec5SDimitry Andric markSuperRegs(Reserved, RISCV::X3); // gp 770b57cec5SDimitry Andric markSuperRegs(Reserved, RISCV::X4); // tp 780b57cec5SDimitry Andric if (TFI->hasFP(MF)) 790b57cec5SDimitry Andric markSuperRegs(Reserved, RISCV::X8); // fp 800b57cec5SDimitry Andric assert(checkAllSuperRegsMarked(Reserved)); 810b57cec5SDimitry Andric return Reserved; 820b57cec5SDimitry Andric } 830b57cec5SDimitry Andric 840b57cec5SDimitry Andric bool RISCVRegisterInfo::isConstantPhysReg(unsigned PhysReg) const { 850b57cec5SDimitry Andric return PhysReg == RISCV::X0; 860b57cec5SDimitry Andric } 870b57cec5SDimitry Andric 880b57cec5SDimitry Andric const uint32_t *RISCVRegisterInfo::getNoPreservedMask() const { 890b57cec5SDimitry Andric return CSR_NoRegs_RegMask; 900b57cec5SDimitry Andric } 910b57cec5SDimitry Andric 920b57cec5SDimitry Andric void RISCVRegisterInfo::eliminateFrameIndex(MachineBasicBlock::iterator II, 930b57cec5SDimitry Andric int SPAdj, unsigned FIOperandNum, 940b57cec5SDimitry Andric RegScavenger *RS) const { 950b57cec5SDimitry Andric assert(SPAdj == 0 && "Unexpected non-zero SPAdj value"); 960b57cec5SDimitry Andric 970b57cec5SDimitry Andric MachineInstr &MI = *II; 980b57cec5SDimitry Andric MachineFunction &MF = *MI.getParent()->getParent(); 990b57cec5SDimitry Andric MachineRegisterInfo &MRI = MF.getRegInfo(); 1000b57cec5SDimitry Andric const RISCVInstrInfo *TII = MF.getSubtarget<RISCVSubtarget>().getInstrInfo(); 1010b57cec5SDimitry Andric DebugLoc DL = MI.getDebugLoc(); 1020b57cec5SDimitry Andric 1030b57cec5SDimitry Andric int FrameIndex = MI.getOperand(FIOperandNum).getIndex(); 1040b57cec5SDimitry Andric unsigned FrameReg; 1050b57cec5SDimitry Andric int Offset = 1060b57cec5SDimitry Andric getFrameLowering(MF)->getFrameIndexReference(MF, FrameIndex, FrameReg) + 1070b57cec5SDimitry Andric MI.getOperand(FIOperandNum + 1).getImm(); 1080b57cec5SDimitry Andric 1090b57cec5SDimitry Andric if (!isInt<32>(Offset)) { 1100b57cec5SDimitry Andric report_fatal_error( 1110b57cec5SDimitry Andric "Frame offsets outside of the signed 32-bit range not supported"); 1120b57cec5SDimitry Andric } 1130b57cec5SDimitry Andric 1140b57cec5SDimitry Andric MachineBasicBlock &MBB = *MI.getParent(); 1150b57cec5SDimitry Andric bool FrameRegIsKill = false; 1160b57cec5SDimitry Andric 1170b57cec5SDimitry Andric if (!isInt<12>(Offset)) { 1180b57cec5SDimitry Andric assert(isInt<32>(Offset) && "Int32 expected"); 1190b57cec5SDimitry Andric // The offset won't fit in an immediate, so use a scratch register instead 1200b57cec5SDimitry Andric // Modify Offset and FrameReg appropriately 121*8bcb0991SDimitry Andric Register ScratchReg = MRI.createVirtualRegister(&RISCV::GPRRegClass); 122*8bcb0991SDimitry Andric TII->movImm(MBB, II, DL, ScratchReg, Offset); 1230b57cec5SDimitry Andric BuildMI(MBB, II, DL, TII->get(RISCV::ADD), ScratchReg) 1240b57cec5SDimitry Andric .addReg(FrameReg) 1250b57cec5SDimitry Andric .addReg(ScratchReg, RegState::Kill); 1260b57cec5SDimitry Andric Offset = 0; 1270b57cec5SDimitry Andric FrameReg = ScratchReg; 1280b57cec5SDimitry Andric FrameRegIsKill = true; 1290b57cec5SDimitry Andric } 1300b57cec5SDimitry Andric 1310b57cec5SDimitry Andric MI.getOperand(FIOperandNum) 1320b57cec5SDimitry Andric .ChangeToRegister(FrameReg, false, false, FrameRegIsKill); 1330b57cec5SDimitry Andric MI.getOperand(FIOperandNum + 1).ChangeToImmediate(Offset); 1340b57cec5SDimitry Andric } 1350b57cec5SDimitry Andric 1360b57cec5SDimitry Andric Register RISCVRegisterInfo::getFrameRegister(const MachineFunction &MF) const { 1370b57cec5SDimitry Andric const TargetFrameLowering *TFI = getFrameLowering(MF); 1380b57cec5SDimitry Andric return TFI->hasFP(MF) ? RISCV::X8 : RISCV::X2; 1390b57cec5SDimitry Andric } 1400b57cec5SDimitry Andric 1410b57cec5SDimitry Andric const uint32_t * 1420b57cec5SDimitry Andric RISCVRegisterInfo::getCallPreservedMask(const MachineFunction & MF, 1430b57cec5SDimitry Andric CallingConv::ID /*CC*/) const { 1440b57cec5SDimitry Andric auto &Subtarget = MF.getSubtarget<RISCVSubtarget>(); 1450b57cec5SDimitry Andric if (MF.getFunction().hasFnAttribute("interrupt")) { 1460b57cec5SDimitry Andric if (Subtarget.hasStdExtD()) 1470b57cec5SDimitry Andric return CSR_XLEN_F64_Interrupt_RegMask; 1480b57cec5SDimitry Andric if (Subtarget.hasStdExtF()) 1490b57cec5SDimitry Andric return CSR_XLEN_F32_Interrupt_RegMask; 1500b57cec5SDimitry Andric return CSR_Interrupt_RegMask; 1510b57cec5SDimitry Andric } 1520b57cec5SDimitry Andric 1530b57cec5SDimitry Andric switch (Subtarget.getTargetABI()) { 1540b57cec5SDimitry Andric default: 1550b57cec5SDimitry Andric llvm_unreachable("Unrecognized ABI"); 1560b57cec5SDimitry Andric case RISCVABI::ABI_ILP32: 1570b57cec5SDimitry Andric case RISCVABI::ABI_LP64: 1580b57cec5SDimitry Andric return CSR_ILP32_LP64_RegMask; 1590b57cec5SDimitry Andric case RISCVABI::ABI_ILP32F: 1600b57cec5SDimitry Andric case RISCVABI::ABI_LP64F: 1610b57cec5SDimitry Andric return CSR_ILP32F_LP64F_RegMask; 1620b57cec5SDimitry Andric case RISCVABI::ABI_ILP32D: 1630b57cec5SDimitry Andric case RISCVABI::ABI_LP64D: 1640b57cec5SDimitry Andric return CSR_ILP32D_LP64D_RegMask; 1650b57cec5SDimitry Andric } 1660b57cec5SDimitry Andric } 167