xref: /freebsd/contrib/llvm-project/llvm/lib/Target/RISCV/RISCVRegisterInfo.cpp (revision e8d8bef961a50d4dc22501cde4fb9fb0be1b2532)
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