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