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