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:: 440b57cec5SDimitry Andric requiresRegisterScavenging(const MachineFunction &MF) const { 450b57cec5SDimitry Andric return true; 460b57cec5SDimitry Andric } 470b57cec5SDimitry Andric 480b57cec5SDimitry Andric bool MipsSERegisterInfo:: 490b57cec5SDimitry Andric requiresFrameIndexScavenging(const MachineFunction &MF) const { 500b57cec5SDimitry Andric return true; 510b57cec5SDimitry Andric } 520b57cec5SDimitry Andric 530b57cec5SDimitry Andric const TargetRegisterClass * 540b57cec5SDimitry 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. 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. 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 1450b57cec5SDimitry 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