xref: /freebsd-src/contrib/llvm-project/llvm/lib/Target/Mips/MipsSERegisterInfo.cpp (revision 5f757f3ff9144b609b3c433dfd370cc6bdc191ad)
10b57cec5SDimitry Andric //===-- MipsSERegisterInfo.cpp - MIPS32/64 Register Information -== -------===//
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 MIPS32/64 implementation of the TargetRegisterInfo
100b57cec5SDimitry Andric // class.
110b57cec5SDimitry Andric //
120b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
130b57cec5SDimitry Andric 
140b57cec5SDimitry Andric #include "MipsSERegisterInfo.h"
150b57cec5SDimitry Andric #include "Mips.h"
160b57cec5SDimitry Andric #include "MipsMachineFunction.h"
170b57cec5SDimitry Andric #include "MipsSEInstrInfo.h"
180b57cec5SDimitry Andric #include "MipsSubtarget.h"
190b57cec5SDimitry Andric #include "MipsTargetMachine.h"
200b57cec5SDimitry Andric #include "llvm/ADT/STLExtras.h"
210b57cec5SDimitry Andric #include "llvm/CodeGen/MachineFrameInfo.h"
220b57cec5SDimitry Andric #include "llvm/CodeGen/MachineFunction.h"
230b57cec5SDimitry Andric #include "llvm/CodeGen/MachineInstrBuilder.h"
240b57cec5SDimitry Andric #include "llvm/CodeGen/MachineRegisterInfo.h"
250b57cec5SDimitry Andric #include "llvm/CodeGen/TargetFrameLowering.h"
260b57cec5SDimitry Andric #include "llvm/CodeGen/TargetInstrInfo.h"
270b57cec5SDimitry Andric #include "llvm/IR/Constants.h"
280b57cec5SDimitry Andric #include "llvm/IR/DebugInfo.h"
290b57cec5SDimitry Andric #include "llvm/IR/Function.h"
300b57cec5SDimitry Andric #include "llvm/IR/Type.h"
310b57cec5SDimitry Andric #include "llvm/Support/Debug.h"
320b57cec5SDimitry Andric #include "llvm/Support/ErrorHandling.h"
330b57cec5SDimitry Andric #include "llvm/Support/raw_ostream.h"
340b57cec5SDimitry Andric #include "llvm/Target/TargetMachine.h"
350b57cec5SDimitry Andric #include "llvm/Target/TargetOptions.h"
360b57cec5SDimitry Andric 
370b57cec5SDimitry Andric using namespace llvm;
380b57cec5SDimitry Andric 
390b57cec5SDimitry Andric #define DEBUG_TYPE "mips-reg-info"
400b57cec5SDimitry Andric 
4181ad6265SDimitry Andric MipsSERegisterInfo::MipsSERegisterInfo() = default;
420b57cec5SDimitry Andric 
430b57cec5SDimitry Andric bool MipsSERegisterInfo::
requiresRegisterScavenging(const MachineFunction & MF) const440b57cec5SDimitry Andric requiresRegisterScavenging(const MachineFunction &MF) const {
450b57cec5SDimitry Andric   return true;
460b57cec5SDimitry Andric }
470b57cec5SDimitry Andric 
480b57cec5SDimitry Andric bool MipsSERegisterInfo::
requiresFrameIndexScavenging(const MachineFunction & MF) const490b57cec5SDimitry Andric requiresFrameIndexScavenging(const MachineFunction &MF) const {
500b57cec5SDimitry Andric   return true;
510b57cec5SDimitry Andric }
520b57cec5SDimitry Andric 
530b57cec5SDimitry Andric const TargetRegisterClass *
intRegClass(unsigned Size) const540b57cec5SDimitry Andric MipsSERegisterInfo::intRegClass(unsigned Size) const {
550b57cec5SDimitry Andric   if (Size == 4)
560b57cec5SDimitry Andric     return &Mips::GPR32RegClass;
570b57cec5SDimitry Andric 
580b57cec5SDimitry Andric   assert(Size == 8);
590b57cec5SDimitry Andric   return &Mips::GPR64RegClass;
600b57cec5SDimitry Andric }
610b57cec5SDimitry Andric 
620b57cec5SDimitry Andric /// Get the size of the offset supported by the given load/store/inline asm.
630b57cec5SDimitry Andric /// The result includes the effects of any scale factors applied to the
640b57cec5SDimitry Andric /// instruction immediate.
getLoadStoreOffsetSizeInBits(const unsigned Opcode,MachineOperand MO)650b57cec5SDimitry Andric static inline unsigned getLoadStoreOffsetSizeInBits(const unsigned Opcode,
660b57cec5SDimitry Andric                                                     MachineOperand MO) {
670b57cec5SDimitry Andric   switch (Opcode) {
680b57cec5SDimitry Andric   case Mips::LD_B:
690b57cec5SDimitry Andric   case Mips::ST_B:
700b57cec5SDimitry Andric     return 10;
710b57cec5SDimitry Andric   case Mips::LD_H:
720b57cec5SDimitry Andric   case Mips::ST_H:
730b57cec5SDimitry Andric     return 10 + 1 /* scale factor */;
740b57cec5SDimitry Andric   case Mips::LD_W:
750b57cec5SDimitry Andric   case Mips::ST_W:
760b57cec5SDimitry Andric     return 10 + 2 /* scale factor */;
770b57cec5SDimitry Andric   case Mips::LD_D:
780b57cec5SDimitry Andric   case Mips::ST_D:
790b57cec5SDimitry Andric     return 10 + 3 /* scale factor */;
800b57cec5SDimitry Andric   case Mips::LL:
810b57cec5SDimitry Andric   case Mips::LL64:
820b57cec5SDimitry Andric   case Mips::LLD:
830b57cec5SDimitry Andric   case Mips::LLE:
840b57cec5SDimitry Andric   case Mips::SC:
850b57cec5SDimitry Andric   case Mips::SC64:
860b57cec5SDimitry Andric   case Mips::SCD:
870b57cec5SDimitry Andric   case Mips::SCE:
880b57cec5SDimitry Andric     return 16;
890b57cec5SDimitry Andric   case Mips::LLE_MM:
900b57cec5SDimitry Andric   case Mips::LL_MM:
910b57cec5SDimitry Andric   case Mips::SCE_MM:
920b57cec5SDimitry Andric   case Mips::SC_MM:
930b57cec5SDimitry Andric     return 12;
940b57cec5SDimitry Andric   case Mips::LL64_R6:
950b57cec5SDimitry Andric   case Mips::LL_R6:
960b57cec5SDimitry Andric   case Mips::LLD_R6:
970b57cec5SDimitry Andric   case Mips::SC64_R6:
980b57cec5SDimitry Andric   case Mips::SCD_R6:
990b57cec5SDimitry Andric   case Mips::SC_R6:
1000b57cec5SDimitry Andric   case Mips::LL_MMR6:
1010b57cec5SDimitry Andric   case Mips::SC_MMR6:
1020b57cec5SDimitry Andric     return 9;
1030b57cec5SDimitry Andric   case Mips::INLINEASM: {
104*5f757f3fSDimitry Andric     const InlineAsm::Flag F(MO.getImm());
105*5f757f3fSDimitry Andric     switch (F.getMemoryConstraintID()) {
106*5f757f3fSDimitry Andric     case InlineAsm::ConstraintCode::ZC: {
1070b57cec5SDimitry Andric       const MipsSubtarget &Subtarget = MO.getParent()
1080b57cec5SDimitry Andric                                            ->getParent()
1090b57cec5SDimitry Andric                                            ->getParent()
1100b57cec5SDimitry Andric                                            ->getSubtarget<MipsSubtarget>();
1110b57cec5SDimitry Andric       if (Subtarget.inMicroMipsMode())
1120b57cec5SDimitry Andric         return 12;
1130b57cec5SDimitry Andric 
1140b57cec5SDimitry Andric       if (Subtarget.hasMips32r6())
1150b57cec5SDimitry Andric         return 9;
1160b57cec5SDimitry Andric 
1170b57cec5SDimitry Andric       return 16;
1180b57cec5SDimitry Andric     }
1190b57cec5SDimitry Andric     default:
1200b57cec5SDimitry Andric       return 16;
1210b57cec5SDimitry Andric     }
1220b57cec5SDimitry Andric   }
1230b57cec5SDimitry Andric   default:
1240b57cec5SDimitry Andric     return 16;
1250b57cec5SDimitry Andric   }
1260b57cec5SDimitry Andric }
1270b57cec5SDimitry Andric 
1280b57cec5SDimitry Andric /// Get the scale factor applied to the immediate in the given load/store.
getLoadStoreOffsetAlign(const unsigned Opcode)1290b57cec5SDimitry Andric static inline unsigned getLoadStoreOffsetAlign(const unsigned Opcode) {
1300b57cec5SDimitry Andric   switch (Opcode) {
1310b57cec5SDimitry Andric   case Mips::LD_H:
1320b57cec5SDimitry Andric   case Mips::ST_H:
1330b57cec5SDimitry Andric     return 2;
1340b57cec5SDimitry Andric   case Mips::LD_W:
1350b57cec5SDimitry Andric   case Mips::ST_W:
1360b57cec5SDimitry Andric     return 4;
1370b57cec5SDimitry Andric   case Mips::LD_D:
1380b57cec5SDimitry Andric   case Mips::ST_D:
1390b57cec5SDimitry Andric     return 8;
1400b57cec5SDimitry Andric   default:
1410b57cec5SDimitry Andric     return 1;
1420b57cec5SDimitry Andric   }
1430b57cec5SDimitry Andric }
1440b57cec5SDimitry Andric 
eliminateFI(MachineBasicBlock::iterator II,unsigned OpNo,int FrameIndex,uint64_t StackSize,int64_t SPOffset) const1450b57cec5SDimitry Andric void MipsSERegisterInfo::eliminateFI(MachineBasicBlock::iterator II,
1460b57cec5SDimitry Andric                                      unsigned OpNo, int FrameIndex,
1470b57cec5SDimitry Andric                                      uint64_t StackSize,
1480b57cec5SDimitry Andric                                      int64_t SPOffset) const {
1490b57cec5SDimitry Andric   MachineInstr &MI = *II;
1500b57cec5SDimitry Andric   MachineFunction &MF = *MI.getParent()->getParent();
1510b57cec5SDimitry Andric   MachineFrameInfo &MFI = MF.getFrameInfo();
1520b57cec5SDimitry Andric   MipsFunctionInfo *MipsFI = MF.getInfo<MipsFunctionInfo>();
1530b57cec5SDimitry Andric 
1540b57cec5SDimitry Andric   MipsABIInfo ABI =
1550b57cec5SDimitry Andric       static_cast<const MipsTargetMachine &>(MF.getTarget()).getABI();
1560b57cec5SDimitry Andric   const MipsRegisterInfo *RegInfo =
1570b57cec5SDimitry Andric     static_cast<const MipsRegisterInfo *>(MF.getSubtarget().getRegisterInfo());
1580b57cec5SDimitry Andric 
1590b57cec5SDimitry Andric   const std::vector<CalleeSavedInfo> &CSI = MFI.getCalleeSavedInfo();
1600b57cec5SDimitry Andric   int MinCSFI = 0;
1610b57cec5SDimitry Andric   int MaxCSFI = -1;
1620b57cec5SDimitry Andric 
1630b57cec5SDimitry Andric   if (CSI.size()) {
1640b57cec5SDimitry Andric     MinCSFI = CSI[0].getFrameIdx();
1650b57cec5SDimitry Andric     MaxCSFI = CSI[CSI.size() - 1].getFrameIdx();
1660b57cec5SDimitry Andric   }
1670b57cec5SDimitry Andric 
1680b57cec5SDimitry Andric   bool EhDataRegFI = MipsFI->isEhDataRegFI(FrameIndex);
1690b57cec5SDimitry Andric   bool IsISRRegFI = MipsFI->isISRRegFI(FrameIndex);
1700b57cec5SDimitry Andric   // The following stack frame objects are always referenced relative to $sp:
1710b57cec5SDimitry Andric   //  1. Outgoing arguments.
1720b57cec5SDimitry Andric   //  2. Pointer to dynamically allocated stack space.
1730b57cec5SDimitry Andric   //  3. Locations for callee-saved registers.
1740b57cec5SDimitry Andric   //  4. Locations for eh data registers.
1750b57cec5SDimitry Andric   //  5. Locations for ISR saved Coprocessor 0 registers 12 & 14.
1760b57cec5SDimitry Andric   // Everything else is referenced relative to whatever register
1770b57cec5SDimitry Andric   // getFrameRegister() returns.
1780b57cec5SDimitry Andric   unsigned FrameReg;
1790b57cec5SDimitry Andric 
1800b57cec5SDimitry Andric   if ((FrameIndex >= MinCSFI && FrameIndex <= MaxCSFI) || EhDataRegFI ||
1810b57cec5SDimitry Andric       IsISRRegFI)
1820b57cec5SDimitry Andric     FrameReg = ABI.GetStackPtr();
183fe6060f1SDimitry Andric   else if (RegInfo->hasStackRealignment(MF)) {
1840b57cec5SDimitry Andric     if (MFI.hasVarSizedObjects() && !MFI.isFixedObjectIndex(FrameIndex))
1850b57cec5SDimitry Andric       FrameReg = ABI.GetBasePtr();
1860b57cec5SDimitry Andric     else if (MFI.isFixedObjectIndex(FrameIndex))
1870b57cec5SDimitry Andric       FrameReg = getFrameRegister(MF);
1880b57cec5SDimitry Andric     else
1890b57cec5SDimitry Andric       FrameReg = ABI.GetStackPtr();
1900b57cec5SDimitry Andric   } else
1910b57cec5SDimitry Andric     FrameReg = getFrameRegister(MF);
1920b57cec5SDimitry Andric 
1930b57cec5SDimitry Andric   // Calculate final offset.
1940b57cec5SDimitry Andric   // - There is no need to change the offset if the frame object is one of the
1950b57cec5SDimitry Andric   //   following: an outgoing argument, pointer to a dynamically allocated
1960b57cec5SDimitry Andric   //   stack space or a $gp restore location,
1970b57cec5SDimitry Andric   // - If the frame object is any of the following, its offset must be adjusted
1980b57cec5SDimitry Andric   //   by adding the size of the stack:
1990b57cec5SDimitry Andric   //   incoming argument, callee-saved register location or local variable.
2000b57cec5SDimitry Andric   bool IsKill = false;
2010b57cec5SDimitry Andric   int64_t Offset;
2020b57cec5SDimitry Andric 
2030b57cec5SDimitry Andric   Offset = SPOffset + (int64_t)StackSize;
2040b57cec5SDimitry Andric   Offset += MI.getOperand(OpNo + 1).getImm();
2050b57cec5SDimitry Andric 
2060b57cec5SDimitry Andric   LLVM_DEBUG(errs() << "Offset     : " << Offset << "\n"
2070b57cec5SDimitry Andric                     << "<--------->\n");
2080b57cec5SDimitry Andric 
2090b57cec5SDimitry Andric   if (!MI.isDebugValue()) {
2100b57cec5SDimitry Andric     // Make sure Offset fits within the field available.
2110b57cec5SDimitry Andric     // For MSA instructions, this is a 10-bit signed immediate (scaled by
2120b57cec5SDimitry Andric     // element size), otherwise it is a 16-bit signed immediate.
2130b57cec5SDimitry Andric     unsigned OffsetBitSize =
2140b57cec5SDimitry Andric         getLoadStoreOffsetSizeInBits(MI.getOpcode(), MI.getOperand(OpNo - 1));
2158bcb0991SDimitry Andric     const Align OffsetAlign(getLoadStoreOffsetAlign(MI.getOpcode()));
2160b57cec5SDimitry Andric     if (OffsetBitSize < 16 && isInt<16>(Offset) &&
2178bcb0991SDimitry Andric         (!isIntN(OffsetBitSize, Offset) || !isAligned(OffsetAlign, Offset))) {
2180b57cec5SDimitry Andric       // If we have an offset that needs to fit into a signed n-bit immediate
2190b57cec5SDimitry Andric       // (where n < 16) and doesn't, but does fit into 16-bits then use an ADDiu
2200b57cec5SDimitry Andric       MachineBasicBlock &MBB = *MI.getParent();
2210b57cec5SDimitry Andric       DebugLoc DL = II->getDebugLoc();
2220b57cec5SDimitry Andric       const TargetRegisterClass *PtrRC =
2230b57cec5SDimitry Andric           ABI.ArePtrs64bit() ? &Mips::GPR64RegClass : &Mips::GPR32RegClass;
2240b57cec5SDimitry Andric       MachineRegisterInfo &RegInfo = MBB.getParent()->getRegInfo();
2258bcb0991SDimitry Andric       Register Reg = RegInfo.createVirtualRegister(PtrRC);
2260b57cec5SDimitry Andric       const MipsSEInstrInfo &TII =
2270b57cec5SDimitry Andric           *static_cast<const MipsSEInstrInfo *>(
2280b57cec5SDimitry Andric               MBB.getParent()->getSubtarget().getInstrInfo());
2290b57cec5SDimitry Andric       BuildMI(MBB, II, DL, TII.get(ABI.GetPtrAddiuOp()), Reg)
2300b57cec5SDimitry Andric           .addReg(FrameReg)
2310b57cec5SDimitry Andric           .addImm(Offset);
2320b57cec5SDimitry Andric 
2330b57cec5SDimitry Andric       FrameReg = Reg;
2340b57cec5SDimitry Andric       Offset = 0;
2350b57cec5SDimitry Andric       IsKill = true;
2360b57cec5SDimitry Andric     } else if (!isInt<16>(Offset)) {
2370b57cec5SDimitry Andric       // Otherwise split the offset into 16-bit pieces and add it in multiple
2380b57cec5SDimitry Andric       // instructions.
2390b57cec5SDimitry Andric       MachineBasicBlock &MBB = *MI.getParent();
2400b57cec5SDimitry Andric       DebugLoc DL = II->getDebugLoc();
2410b57cec5SDimitry Andric       unsigned NewImm = 0;
2420b57cec5SDimitry Andric       const MipsSEInstrInfo &TII =
2430b57cec5SDimitry Andric           *static_cast<const MipsSEInstrInfo *>(
2440b57cec5SDimitry Andric               MBB.getParent()->getSubtarget().getInstrInfo());
2450b57cec5SDimitry Andric       unsigned Reg = TII.loadImmediate(Offset, MBB, II, DL,
2460b57cec5SDimitry Andric                                        OffsetBitSize == 16 ? &NewImm : nullptr);
2470b57cec5SDimitry Andric       BuildMI(MBB, II, DL, TII.get(ABI.GetPtrAdduOp()), Reg).addReg(FrameReg)
2480b57cec5SDimitry Andric         .addReg(Reg, RegState::Kill);
2490b57cec5SDimitry Andric 
2500b57cec5SDimitry Andric       FrameReg = Reg;
2510b57cec5SDimitry Andric       Offset = SignExtend64<16>(NewImm);
2520b57cec5SDimitry Andric       IsKill = true;
2530b57cec5SDimitry Andric     }
2540b57cec5SDimitry Andric   }
2550b57cec5SDimitry Andric 
2560b57cec5SDimitry Andric   MI.getOperand(OpNo).ChangeToRegister(FrameReg, false, false, IsKill);
2570b57cec5SDimitry Andric   MI.getOperand(OpNo + 1).ChangeToImmediate(Offset);
2580b57cec5SDimitry Andric }
259