1*0b57cec5SDimitry Andric //===-- PPCRegisterInfo.cpp - PowerPC Register Information ----------------===// 2*0b57cec5SDimitry Andric // 3*0b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4*0b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information. 5*0b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6*0b57cec5SDimitry Andric // 7*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 8*0b57cec5SDimitry Andric // 9*0b57cec5SDimitry Andric // This file contains the PowerPC implementation of the TargetRegisterInfo 10*0b57cec5SDimitry Andric // class. 11*0b57cec5SDimitry Andric // 12*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 13*0b57cec5SDimitry Andric 14*0b57cec5SDimitry Andric #include "PPCRegisterInfo.h" 15*0b57cec5SDimitry Andric #include "PPCFrameLowering.h" 16*0b57cec5SDimitry Andric #include "PPCInstrBuilder.h" 17*0b57cec5SDimitry Andric #include "PPCMachineFunctionInfo.h" 18*0b57cec5SDimitry Andric #include "PPCSubtarget.h" 19*0b57cec5SDimitry Andric #include "PPCTargetMachine.h" 20*0b57cec5SDimitry Andric #include "llvm/ADT/BitVector.h" 21*0b57cec5SDimitry Andric #include "llvm/ADT/STLExtras.h" 22*0b57cec5SDimitry Andric #include "llvm/ADT/Statistic.h" 23*0b57cec5SDimitry Andric #include "llvm/CodeGen/MachineFrameInfo.h" 24*0b57cec5SDimitry Andric #include "llvm/CodeGen/MachineFunction.h" 25*0b57cec5SDimitry Andric #include "llvm/CodeGen/MachineInstrBuilder.h" 26*0b57cec5SDimitry Andric #include "llvm/CodeGen/MachineModuleInfo.h" 27*0b57cec5SDimitry Andric #include "llvm/CodeGen/MachineRegisterInfo.h" 28*0b57cec5SDimitry Andric #include "llvm/CodeGen/RegisterScavenging.h" 29*0b57cec5SDimitry Andric #include "llvm/CodeGen/TargetFrameLowering.h" 30*0b57cec5SDimitry Andric #include "llvm/CodeGen/TargetInstrInfo.h" 31*0b57cec5SDimitry Andric #include "llvm/IR/CallingConv.h" 32*0b57cec5SDimitry Andric #include "llvm/IR/Constants.h" 33*0b57cec5SDimitry Andric #include "llvm/IR/Function.h" 34*0b57cec5SDimitry Andric #include "llvm/IR/Type.h" 35*0b57cec5SDimitry Andric #include "llvm/Support/CommandLine.h" 36*0b57cec5SDimitry Andric #include "llvm/Support/Debug.h" 37*0b57cec5SDimitry Andric #include "llvm/Support/ErrorHandling.h" 38*0b57cec5SDimitry Andric #include "llvm/Support/MathExtras.h" 39*0b57cec5SDimitry Andric #include "llvm/Support/raw_ostream.h" 40*0b57cec5SDimitry Andric #include "llvm/Target/TargetMachine.h" 41*0b57cec5SDimitry Andric #include "llvm/Target/TargetOptions.h" 42*0b57cec5SDimitry Andric #include <cstdlib> 43*0b57cec5SDimitry Andric 44*0b57cec5SDimitry Andric using namespace llvm; 45*0b57cec5SDimitry Andric 46*0b57cec5SDimitry Andric #define DEBUG_TYPE "reginfo" 47*0b57cec5SDimitry Andric 48*0b57cec5SDimitry Andric #define GET_REGINFO_TARGET_DESC 49*0b57cec5SDimitry Andric #include "PPCGenRegisterInfo.inc" 50*0b57cec5SDimitry Andric 51*0b57cec5SDimitry Andric STATISTIC(InflateGPRC, "Number of gprc inputs for getLargestLegalClass"); 52*0b57cec5SDimitry Andric STATISTIC(InflateGP8RC, "Number of g8rc inputs for getLargestLegalClass"); 53*0b57cec5SDimitry Andric 54*0b57cec5SDimitry Andric static cl::opt<bool> 55*0b57cec5SDimitry Andric EnableBasePointer("ppc-use-base-pointer", cl::Hidden, cl::init(true), 56*0b57cec5SDimitry Andric cl::desc("Enable use of a base pointer for complex stack frames")); 57*0b57cec5SDimitry Andric 58*0b57cec5SDimitry Andric static cl::opt<bool> 59*0b57cec5SDimitry Andric AlwaysBasePointer("ppc-always-use-base-pointer", cl::Hidden, cl::init(false), 60*0b57cec5SDimitry Andric cl::desc("Force the use of a base pointer in every function")); 61*0b57cec5SDimitry Andric 62*0b57cec5SDimitry Andric static cl::opt<bool> 63*0b57cec5SDimitry Andric EnableGPRToVecSpills("ppc-enable-gpr-to-vsr-spills", cl::Hidden, cl::init(false), 64*0b57cec5SDimitry Andric cl::desc("Enable spills from gpr to vsr rather than stack")); 65*0b57cec5SDimitry Andric 66*0b57cec5SDimitry Andric static cl::opt<bool> 67*0b57cec5SDimitry Andric StackPtrConst("ppc-stack-ptr-caller-preserved", 68*0b57cec5SDimitry Andric cl::desc("Consider R1 caller preserved so stack saves of " 69*0b57cec5SDimitry Andric "caller preserved registers can be LICM candidates"), 70*0b57cec5SDimitry Andric cl::init(true), cl::Hidden); 71*0b57cec5SDimitry Andric 72*0b57cec5SDimitry Andric static cl::opt<unsigned> 73*0b57cec5SDimitry Andric MaxCRBitSpillDist("ppc-max-crbit-spill-dist", 74*0b57cec5SDimitry Andric cl::desc("Maximum search distance for definition of CR bit " 75*0b57cec5SDimitry Andric "spill on ppc"), 76*0b57cec5SDimitry Andric cl::Hidden, cl::init(100)); 77*0b57cec5SDimitry Andric 78*0b57cec5SDimitry Andric static unsigned offsetMinAlignForOpcode(unsigned OpC); 79*0b57cec5SDimitry Andric 80*0b57cec5SDimitry Andric PPCRegisterInfo::PPCRegisterInfo(const PPCTargetMachine &TM) 81*0b57cec5SDimitry Andric : PPCGenRegisterInfo(TM.isPPC64() ? PPC::LR8 : PPC::LR, 82*0b57cec5SDimitry Andric TM.isPPC64() ? 0 : 1, 83*0b57cec5SDimitry Andric TM.isPPC64() ? 0 : 1), 84*0b57cec5SDimitry Andric TM(TM) { 85*0b57cec5SDimitry Andric ImmToIdxMap[PPC::LD] = PPC::LDX; ImmToIdxMap[PPC::STD] = PPC::STDX; 86*0b57cec5SDimitry Andric ImmToIdxMap[PPC::LBZ] = PPC::LBZX; ImmToIdxMap[PPC::STB] = PPC::STBX; 87*0b57cec5SDimitry Andric ImmToIdxMap[PPC::LHZ] = PPC::LHZX; ImmToIdxMap[PPC::LHA] = PPC::LHAX; 88*0b57cec5SDimitry Andric ImmToIdxMap[PPC::LWZ] = PPC::LWZX; ImmToIdxMap[PPC::LWA] = PPC::LWAX; 89*0b57cec5SDimitry Andric ImmToIdxMap[PPC::LFS] = PPC::LFSX; ImmToIdxMap[PPC::LFD] = PPC::LFDX; 90*0b57cec5SDimitry Andric ImmToIdxMap[PPC::STH] = PPC::STHX; ImmToIdxMap[PPC::STW] = PPC::STWX; 91*0b57cec5SDimitry Andric ImmToIdxMap[PPC::STFS] = PPC::STFSX; ImmToIdxMap[PPC::STFD] = PPC::STFDX; 92*0b57cec5SDimitry Andric ImmToIdxMap[PPC::ADDI] = PPC::ADD4; 93*0b57cec5SDimitry Andric ImmToIdxMap[PPC::LWA_32] = PPC::LWAX_32; 94*0b57cec5SDimitry Andric 95*0b57cec5SDimitry Andric // 64-bit 96*0b57cec5SDimitry Andric ImmToIdxMap[PPC::LHA8] = PPC::LHAX8; ImmToIdxMap[PPC::LBZ8] = PPC::LBZX8; 97*0b57cec5SDimitry Andric ImmToIdxMap[PPC::LHZ8] = PPC::LHZX8; ImmToIdxMap[PPC::LWZ8] = PPC::LWZX8; 98*0b57cec5SDimitry Andric ImmToIdxMap[PPC::STB8] = PPC::STBX8; ImmToIdxMap[PPC::STH8] = PPC::STHX8; 99*0b57cec5SDimitry Andric ImmToIdxMap[PPC::STW8] = PPC::STWX8; ImmToIdxMap[PPC::STDU] = PPC::STDUX; 100*0b57cec5SDimitry Andric ImmToIdxMap[PPC::ADDI8] = PPC::ADD8; 101*0b57cec5SDimitry Andric 102*0b57cec5SDimitry Andric // VSX 103*0b57cec5SDimitry Andric ImmToIdxMap[PPC::DFLOADf32] = PPC::LXSSPX; 104*0b57cec5SDimitry Andric ImmToIdxMap[PPC::DFLOADf64] = PPC::LXSDX; 105*0b57cec5SDimitry Andric ImmToIdxMap[PPC::SPILLTOVSR_LD] = PPC::SPILLTOVSR_LDX; 106*0b57cec5SDimitry Andric ImmToIdxMap[PPC::SPILLTOVSR_ST] = PPC::SPILLTOVSR_STX; 107*0b57cec5SDimitry Andric ImmToIdxMap[PPC::DFSTOREf32] = PPC::STXSSPX; 108*0b57cec5SDimitry Andric ImmToIdxMap[PPC::DFSTOREf64] = PPC::STXSDX; 109*0b57cec5SDimitry Andric ImmToIdxMap[PPC::LXV] = PPC::LXVX; 110*0b57cec5SDimitry Andric ImmToIdxMap[PPC::LXSD] = PPC::LXSDX; 111*0b57cec5SDimitry Andric ImmToIdxMap[PPC::LXSSP] = PPC::LXSSPX; 112*0b57cec5SDimitry Andric ImmToIdxMap[PPC::STXV] = PPC::STXVX; 113*0b57cec5SDimitry Andric ImmToIdxMap[PPC::STXSD] = PPC::STXSDX; 114*0b57cec5SDimitry Andric ImmToIdxMap[PPC::STXSSP] = PPC::STXSSPX; 115*0b57cec5SDimitry Andric 116*0b57cec5SDimitry Andric // SPE 117*0b57cec5SDimitry Andric ImmToIdxMap[PPC::EVLDD] = PPC::EVLDDX; 118*0b57cec5SDimitry Andric ImmToIdxMap[PPC::EVSTDD] = PPC::EVSTDDX; 119*0b57cec5SDimitry Andric ImmToIdxMap[PPC::SPESTW] = PPC::SPESTWX; 120*0b57cec5SDimitry Andric ImmToIdxMap[PPC::SPELWZ] = PPC::SPELWZX; 121*0b57cec5SDimitry Andric } 122*0b57cec5SDimitry Andric 123*0b57cec5SDimitry Andric /// getPointerRegClass - Return the register class to use to hold pointers. 124*0b57cec5SDimitry Andric /// This is used for addressing modes. 125*0b57cec5SDimitry Andric const TargetRegisterClass * 126*0b57cec5SDimitry Andric PPCRegisterInfo::getPointerRegClass(const MachineFunction &MF, unsigned Kind) 127*0b57cec5SDimitry Andric const { 128*0b57cec5SDimitry Andric // Note that PPCInstrInfo::FoldImmediate also directly uses this Kind value 129*0b57cec5SDimitry Andric // when it checks for ZERO folding. 130*0b57cec5SDimitry Andric if (Kind == 1) { 131*0b57cec5SDimitry Andric if (TM.isPPC64()) 132*0b57cec5SDimitry Andric return &PPC::G8RC_NOX0RegClass; 133*0b57cec5SDimitry Andric return &PPC::GPRC_NOR0RegClass; 134*0b57cec5SDimitry Andric } 135*0b57cec5SDimitry Andric 136*0b57cec5SDimitry Andric if (TM.isPPC64()) 137*0b57cec5SDimitry Andric return &PPC::G8RCRegClass; 138*0b57cec5SDimitry Andric return &PPC::GPRCRegClass; 139*0b57cec5SDimitry Andric } 140*0b57cec5SDimitry Andric 141*0b57cec5SDimitry Andric const MCPhysReg* 142*0b57cec5SDimitry Andric PPCRegisterInfo::getCalleeSavedRegs(const MachineFunction *MF) const { 143*0b57cec5SDimitry Andric const PPCSubtarget &Subtarget = MF->getSubtarget<PPCSubtarget>(); 144*0b57cec5SDimitry Andric if (MF->getFunction().getCallingConv() == CallingConv::AnyReg) { 145*0b57cec5SDimitry Andric if (Subtarget.hasVSX()) 146*0b57cec5SDimitry Andric return CSR_64_AllRegs_VSX_SaveList; 147*0b57cec5SDimitry Andric if (Subtarget.hasAltivec()) 148*0b57cec5SDimitry Andric return CSR_64_AllRegs_Altivec_SaveList; 149*0b57cec5SDimitry Andric return CSR_64_AllRegs_SaveList; 150*0b57cec5SDimitry Andric } 151*0b57cec5SDimitry Andric 152*0b57cec5SDimitry Andric if (Subtarget.isDarwinABI()) 153*0b57cec5SDimitry Andric return TM.isPPC64() 154*0b57cec5SDimitry Andric ? (Subtarget.hasAltivec() ? CSR_Darwin64_Altivec_SaveList 155*0b57cec5SDimitry Andric : CSR_Darwin64_SaveList) 156*0b57cec5SDimitry Andric : (Subtarget.hasAltivec() ? CSR_Darwin32_Altivec_SaveList 157*0b57cec5SDimitry Andric : CSR_Darwin32_SaveList); 158*0b57cec5SDimitry Andric 159*0b57cec5SDimitry Andric if (TM.isPPC64() && MF->getInfo<PPCFunctionInfo>()->isSplitCSR()) 160*0b57cec5SDimitry Andric return CSR_SRV464_TLS_PE_SaveList; 161*0b57cec5SDimitry Andric 162*0b57cec5SDimitry Andric // On PPC64, we might need to save r2 (but only if it is not reserved). 163*0b57cec5SDimitry Andric bool SaveR2 = MF->getRegInfo().isAllocatable(PPC::X2); 164*0b57cec5SDimitry Andric 165*0b57cec5SDimitry Andric // Cold calling convention CSRs. 166*0b57cec5SDimitry Andric if (MF->getFunction().getCallingConv() == CallingConv::Cold) { 167*0b57cec5SDimitry Andric if (TM.isPPC64()) { 168*0b57cec5SDimitry Andric if (Subtarget.hasAltivec()) 169*0b57cec5SDimitry Andric return SaveR2 ? CSR_SVR64_ColdCC_R2_Altivec_SaveList 170*0b57cec5SDimitry Andric : CSR_SVR64_ColdCC_Altivec_SaveList; 171*0b57cec5SDimitry Andric return SaveR2 ? CSR_SVR64_ColdCC_R2_SaveList 172*0b57cec5SDimitry Andric : CSR_SVR64_ColdCC_SaveList; 173*0b57cec5SDimitry Andric } 174*0b57cec5SDimitry Andric // 32-bit targets. 175*0b57cec5SDimitry Andric if (Subtarget.hasAltivec()) 176*0b57cec5SDimitry Andric return CSR_SVR32_ColdCC_Altivec_SaveList; 177*0b57cec5SDimitry Andric else if (Subtarget.hasSPE()) 178*0b57cec5SDimitry Andric return CSR_SVR32_ColdCC_SPE_SaveList; 179*0b57cec5SDimitry Andric return CSR_SVR32_ColdCC_SaveList; 180*0b57cec5SDimitry Andric } 181*0b57cec5SDimitry Andric // Standard calling convention CSRs. 182*0b57cec5SDimitry Andric if (TM.isPPC64()) { 183*0b57cec5SDimitry Andric if (Subtarget.hasAltivec()) 184*0b57cec5SDimitry Andric return SaveR2 ? CSR_SVR464_R2_Altivec_SaveList 185*0b57cec5SDimitry Andric : CSR_SVR464_Altivec_SaveList; 186*0b57cec5SDimitry Andric return SaveR2 ? CSR_SVR464_R2_SaveList 187*0b57cec5SDimitry Andric : CSR_SVR464_SaveList; 188*0b57cec5SDimitry Andric } 189*0b57cec5SDimitry Andric // 32-bit targets. 190*0b57cec5SDimitry Andric if (Subtarget.hasAltivec()) 191*0b57cec5SDimitry Andric return CSR_SVR432_Altivec_SaveList; 192*0b57cec5SDimitry Andric else if (Subtarget.hasSPE()) 193*0b57cec5SDimitry Andric return CSR_SVR432_SPE_SaveList; 194*0b57cec5SDimitry Andric return CSR_SVR432_SaveList; 195*0b57cec5SDimitry Andric } 196*0b57cec5SDimitry Andric 197*0b57cec5SDimitry Andric const MCPhysReg * 198*0b57cec5SDimitry Andric PPCRegisterInfo::getCalleeSavedRegsViaCopy(const MachineFunction *MF) const { 199*0b57cec5SDimitry Andric assert(MF && "Invalid MachineFunction pointer."); 200*0b57cec5SDimitry Andric const PPCSubtarget &Subtarget = MF->getSubtarget<PPCSubtarget>(); 201*0b57cec5SDimitry Andric if (Subtarget.isDarwinABI()) 202*0b57cec5SDimitry Andric return nullptr; 203*0b57cec5SDimitry Andric if (!TM.isPPC64()) 204*0b57cec5SDimitry Andric return nullptr; 205*0b57cec5SDimitry Andric if (MF->getFunction().getCallingConv() != CallingConv::CXX_FAST_TLS) 206*0b57cec5SDimitry Andric return nullptr; 207*0b57cec5SDimitry Andric if (!MF->getInfo<PPCFunctionInfo>()->isSplitCSR()) 208*0b57cec5SDimitry Andric return nullptr; 209*0b57cec5SDimitry Andric 210*0b57cec5SDimitry Andric // On PPC64, we might need to save r2 (but only if it is not reserved). 211*0b57cec5SDimitry Andric bool SaveR2 = !getReservedRegs(*MF).test(PPC::X2); 212*0b57cec5SDimitry Andric if (Subtarget.hasAltivec()) 213*0b57cec5SDimitry Andric return SaveR2 214*0b57cec5SDimitry Andric ? CSR_SVR464_R2_Altivec_ViaCopy_SaveList 215*0b57cec5SDimitry Andric : CSR_SVR464_Altivec_ViaCopy_SaveList; 216*0b57cec5SDimitry Andric else 217*0b57cec5SDimitry Andric return SaveR2 218*0b57cec5SDimitry Andric ? CSR_SVR464_R2_ViaCopy_SaveList 219*0b57cec5SDimitry Andric : CSR_SVR464_ViaCopy_SaveList; 220*0b57cec5SDimitry Andric } 221*0b57cec5SDimitry Andric 222*0b57cec5SDimitry Andric const uint32_t * 223*0b57cec5SDimitry Andric PPCRegisterInfo::getCallPreservedMask(const MachineFunction &MF, 224*0b57cec5SDimitry Andric CallingConv::ID CC) const { 225*0b57cec5SDimitry Andric const PPCSubtarget &Subtarget = MF.getSubtarget<PPCSubtarget>(); 226*0b57cec5SDimitry Andric if (CC == CallingConv::AnyReg) { 227*0b57cec5SDimitry Andric if (Subtarget.hasVSX()) 228*0b57cec5SDimitry Andric return CSR_64_AllRegs_VSX_RegMask; 229*0b57cec5SDimitry Andric if (Subtarget.hasAltivec()) 230*0b57cec5SDimitry Andric return CSR_64_AllRegs_Altivec_RegMask; 231*0b57cec5SDimitry Andric return CSR_64_AllRegs_RegMask; 232*0b57cec5SDimitry Andric } 233*0b57cec5SDimitry Andric 234*0b57cec5SDimitry Andric if (Subtarget.isDarwinABI()) 235*0b57cec5SDimitry Andric return TM.isPPC64() ? (Subtarget.hasAltivec() ? CSR_Darwin64_Altivec_RegMask 236*0b57cec5SDimitry Andric : CSR_Darwin64_RegMask) 237*0b57cec5SDimitry Andric : (Subtarget.hasAltivec() ? CSR_Darwin32_Altivec_RegMask 238*0b57cec5SDimitry Andric : CSR_Darwin32_RegMask); 239*0b57cec5SDimitry Andric if (Subtarget.isAIXABI()) { 240*0b57cec5SDimitry Andric assert(!Subtarget.hasAltivec() && "Altivec is not implemented on AIX yet."); 241*0b57cec5SDimitry Andric return TM.isPPC64() ? CSR_AIX64_RegMask : CSR_AIX32_RegMask; 242*0b57cec5SDimitry Andric } 243*0b57cec5SDimitry Andric 244*0b57cec5SDimitry Andric if (CC == CallingConv::Cold) { 245*0b57cec5SDimitry Andric return TM.isPPC64() ? (Subtarget.hasAltivec() ? CSR_SVR64_ColdCC_Altivec_RegMask 246*0b57cec5SDimitry Andric : CSR_SVR64_ColdCC_RegMask) 247*0b57cec5SDimitry Andric : (Subtarget.hasAltivec() ? CSR_SVR32_ColdCC_Altivec_RegMask 248*0b57cec5SDimitry Andric : (Subtarget.hasSPE() 249*0b57cec5SDimitry Andric ? CSR_SVR32_ColdCC_SPE_RegMask 250*0b57cec5SDimitry Andric : CSR_SVR32_ColdCC_RegMask)); 251*0b57cec5SDimitry Andric } 252*0b57cec5SDimitry Andric 253*0b57cec5SDimitry Andric return TM.isPPC64() ? (Subtarget.hasAltivec() ? CSR_SVR464_Altivec_RegMask 254*0b57cec5SDimitry Andric : CSR_SVR464_RegMask) 255*0b57cec5SDimitry Andric : (Subtarget.hasAltivec() ? CSR_SVR432_Altivec_RegMask 256*0b57cec5SDimitry Andric : (Subtarget.hasSPE() 257*0b57cec5SDimitry Andric ? CSR_SVR432_SPE_RegMask 258*0b57cec5SDimitry Andric : CSR_SVR432_RegMask)); 259*0b57cec5SDimitry Andric } 260*0b57cec5SDimitry Andric 261*0b57cec5SDimitry Andric const uint32_t* 262*0b57cec5SDimitry Andric PPCRegisterInfo::getNoPreservedMask() const { 263*0b57cec5SDimitry Andric return CSR_NoRegs_RegMask; 264*0b57cec5SDimitry Andric } 265*0b57cec5SDimitry Andric 266*0b57cec5SDimitry Andric void PPCRegisterInfo::adjustStackMapLiveOutMask(uint32_t *Mask) const { 267*0b57cec5SDimitry Andric for (unsigned PseudoReg : {PPC::ZERO, PPC::ZERO8, PPC::RM}) 268*0b57cec5SDimitry Andric Mask[PseudoReg / 32] &= ~(1u << (PseudoReg % 32)); 269*0b57cec5SDimitry Andric } 270*0b57cec5SDimitry Andric 271*0b57cec5SDimitry Andric BitVector PPCRegisterInfo::getReservedRegs(const MachineFunction &MF) const { 272*0b57cec5SDimitry Andric BitVector Reserved(getNumRegs()); 273*0b57cec5SDimitry Andric const PPCSubtarget &Subtarget = MF.getSubtarget<PPCSubtarget>(); 274*0b57cec5SDimitry Andric const PPCFrameLowering *TFI = getFrameLowering(MF); 275*0b57cec5SDimitry Andric 276*0b57cec5SDimitry Andric // The ZERO register is not really a register, but the representation of r0 277*0b57cec5SDimitry Andric // when used in instructions that treat r0 as the constant 0. 278*0b57cec5SDimitry Andric markSuperRegs(Reserved, PPC::ZERO); 279*0b57cec5SDimitry Andric 280*0b57cec5SDimitry Andric // The FP register is also not really a register, but is the representation 281*0b57cec5SDimitry Andric // of the frame pointer register used by ISD::FRAMEADDR. 282*0b57cec5SDimitry Andric markSuperRegs(Reserved, PPC::FP); 283*0b57cec5SDimitry Andric 284*0b57cec5SDimitry Andric // The BP register is also not really a register, but is the representation 285*0b57cec5SDimitry Andric // of the base pointer register used by setjmp. 286*0b57cec5SDimitry Andric markSuperRegs(Reserved, PPC::BP); 287*0b57cec5SDimitry Andric 288*0b57cec5SDimitry Andric // The counter registers must be reserved so that counter-based loops can 289*0b57cec5SDimitry Andric // be correctly formed (and the mtctr instructions are not DCE'd). 290*0b57cec5SDimitry Andric markSuperRegs(Reserved, PPC::CTR); 291*0b57cec5SDimitry Andric markSuperRegs(Reserved, PPC::CTR8); 292*0b57cec5SDimitry Andric 293*0b57cec5SDimitry Andric markSuperRegs(Reserved, PPC::R1); 294*0b57cec5SDimitry Andric markSuperRegs(Reserved, PPC::LR); 295*0b57cec5SDimitry Andric markSuperRegs(Reserved, PPC::LR8); 296*0b57cec5SDimitry Andric markSuperRegs(Reserved, PPC::RM); 297*0b57cec5SDimitry Andric 298*0b57cec5SDimitry Andric if (!Subtarget.isDarwinABI() || !Subtarget.hasAltivec()) 299*0b57cec5SDimitry Andric markSuperRegs(Reserved, PPC::VRSAVE); 300*0b57cec5SDimitry Andric 301*0b57cec5SDimitry Andric // The SVR4 ABI reserves r2 and r13 302*0b57cec5SDimitry Andric if (Subtarget.isSVR4ABI()) { 303*0b57cec5SDimitry Andric // We only reserve r2 if we need to use the TOC pointer. If we have no 304*0b57cec5SDimitry Andric // explicit uses of the TOC pointer (meaning we're a leaf function with 305*0b57cec5SDimitry Andric // no constant-pool loads, etc.) and we have no potential uses inside an 306*0b57cec5SDimitry Andric // inline asm block, then we can treat r2 has an ordinary callee-saved 307*0b57cec5SDimitry Andric // register. 308*0b57cec5SDimitry Andric const PPCFunctionInfo *FuncInfo = MF.getInfo<PPCFunctionInfo>(); 309*0b57cec5SDimitry Andric if (!TM.isPPC64() || FuncInfo->usesTOCBasePtr() || MF.hasInlineAsm()) 310*0b57cec5SDimitry Andric markSuperRegs(Reserved, PPC::R2); // System-reserved register 311*0b57cec5SDimitry Andric markSuperRegs(Reserved, PPC::R13); // Small Data Area pointer register 312*0b57cec5SDimitry Andric } 313*0b57cec5SDimitry Andric 314*0b57cec5SDimitry Andric // Always reserve r2 on AIX for now. 315*0b57cec5SDimitry Andric // TODO: Make r2 allocatable on AIX/XCOFF for some leaf functions. 316*0b57cec5SDimitry Andric if (Subtarget.isAIXABI()) 317*0b57cec5SDimitry Andric markSuperRegs(Reserved, PPC::R2); // System-reserved register 318*0b57cec5SDimitry Andric 319*0b57cec5SDimitry Andric // On PPC64, r13 is the thread pointer. Never allocate this register. 320*0b57cec5SDimitry Andric if (TM.isPPC64()) 321*0b57cec5SDimitry Andric markSuperRegs(Reserved, PPC::R13); 322*0b57cec5SDimitry Andric 323*0b57cec5SDimitry Andric if (TFI->needsFP(MF)) 324*0b57cec5SDimitry Andric markSuperRegs(Reserved, PPC::R31); 325*0b57cec5SDimitry Andric 326*0b57cec5SDimitry Andric bool IsPositionIndependent = TM.isPositionIndependent(); 327*0b57cec5SDimitry Andric if (hasBasePointer(MF)) { 328*0b57cec5SDimitry Andric if (Subtarget.isSVR4ABI() && !TM.isPPC64() && IsPositionIndependent) 329*0b57cec5SDimitry Andric markSuperRegs(Reserved, PPC::R29); 330*0b57cec5SDimitry Andric else 331*0b57cec5SDimitry Andric markSuperRegs(Reserved, PPC::R30); 332*0b57cec5SDimitry Andric } 333*0b57cec5SDimitry Andric 334*0b57cec5SDimitry Andric if (Subtarget.isSVR4ABI() && !TM.isPPC64() && IsPositionIndependent) 335*0b57cec5SDimitry Andric markSuperRegs(Reserved, PPC::R30); 336*0b57cec5SDimitry Andric 337*0b57cec5SDimitry Andric // Reserve Altivec registers when Altivec is unavailable. 338*0b57cec5SDimitry Andric if (!Subtarget.hasAltivec()) 339*0b57cec5SDimitry Andric for (TargetRegisterClass::iterator I = PPC::VRRCRegClass.begin(), 340*0b57cec5SDimitry Andric IE = PPC::VRRCRegClass.end(); I != IE; ++I) 341*0b57cec5SDimitry Andric markSuperRegs(Reserved, *I); 342*0b57cec5SDimitry Andric 343*0b57cec5SDimitry Andric assert(checkAllSuperRegsMarked(Reserved)); 344*0b57cec5SDimitry Andric return Reserved; 345*0b57cec5SDimitry Andric } 346*0b57cec5SDimitry Andric 347*0b57cec5SDimitry Andric bool PPCRegisterInfo::requiresFrameIndexScavenging(const MachineFunction &MF) const { 348*0b57cec5SDimitry Andric const PPCSubtarget &Subtarget = MF.getSubtarget<PPCSubtarget>(); 349*0b57cec5SDimitry Andric const PPCInstrInfo *InstrInfo = Subtarget.getInstrInfo(); 350*0b57cec5SDimitry Andric const MachineFrameInfo &MFI = MF.getFrameInfo(); 351*0b57cec5SDimitry Andric const std::vector<CalleeSavedInfo> &Info = MFI.getCalleeSavedInfo(); 352*0b57cec5SDimitry Andric 353*0b57cec5SDimitry Andric // If the callee saved info is invalid we have to default to true for safety. 354*0b57cec5SDimitry Andric if (!MFI.isCalleeSavedInfoValid()) 355*0b57cec5SDimitry Andric return true; 356*0b57cec5SDimitry Andric 357*0b57cec5SDimitry Andric // We will require the use of X-Forms because the frame is larger than what 358*0b57cec5SDimitry Andric // can be represented in signed 16 bits that fit in the immediate of a D-Form. 359*0b57cec5SDimitry Andric // If we need an X-Form then we need a register to store the address offset. 360*0b57cec5SDimitry Andric unsigned FrameSize = MFI.getStackSize(); 361*0b57cec5SDimitry Andric // Signed 16 bits means that the FrameSize cannot be more than 15 bits. 362*0b57cec5SDimitry Andric if (FrameSize & ~0x7FFF) 363*0b57cec5SDimitry Andric return true; 364*0b57cec5SDimitry Andric 365*0b57cec5SDimitry Andric // The callee saved info is valid so it can be traversed. 366*0b57cec5SDimitry Andric // Checking for registers that need saving that do not have load or store 367*0b57cec5SDimitry Andric // forms where the address offset is an immediate. 368*0b57cec5SDimitry Andric for (unsigned i = 0; i < Info.size(); i++) { 369*0b57cec5SDimitry Andric int FrIdx = Info[i].getFrameIdx(); 370*0b57cec5SDimitry Andric unsigned Reg = Info[i].getReg(); 371*0b57cec5SDimitry Andric 372*0b57cec5SDimitry Andric unsigned Opcode = InstrInfo->getStoreOpcodeForSpill(Reg); 373*0b57cec5SDimitry Andric if (!MFI.isFixedObjectIndex(FrIdx)) { 374*0b57cec5SDimitry Andric // This is not a fixed object. If it requires alignment then we may still 375*0b57cec5SDimitry Andric // need to use the XForm. 376*0b57cec5SDimitry Andric if (offsetMinAlignForOpcode(Opcode) > 1) 377*0b57cec5SDimitry Andric return true; 378*0b57cec5SDimitry Andric } 379*0b57cec5SDimitry Andric 380*0b57cec5SDimitry Andric // This is eiher: 381*0b57cec5SDimitry Andric // 1) A fixed frame index object which we know are aligned so 382*0b57cec5SDimitry Andric // as long as we have a valid DForm/DSForm/DQForm (non XForm) we don't 383*0b57cec5SDimitry Andric // need to consider the alignement here. 384*0b57cec5SDimitry Andric // 2) A not fixed object but in that case we now know that the min required 385*0b57cec5SDimitry Andric // alignment is no more than 1 based on the previous check. 386*0b57cec5SDimitry Andric if (InstrInfo->isXFormMemOp(Opcode)) 387*0b57cec5SDimitry Andric return true; 388*0b57cec5SDimitry Andric } 389*0b57cec5SDimitry Andric return false; 390*0b57cec5SDimitry Andric } 391*0b57cec5SDimitry Andric 392*0b57cec5SDimitry Andric bool PPCRegisterInfo::isCallerPreservedPhysReg(unsigned PhysReg, 393*0b57cec5SDimitry Andric const MachineFunction &MF) const { 394*0b57cec5SDimitry Andric assert(TargetRegisterInfo::isPhysicalRegister(PhysReg)); 395*0b57cec5SDimitry Andric const PPCSubtarget &Subtarget = MF.getSubtarget<PPCSubtarget>(); 396*0b57cec5SDimitry Andric const MachineFrameInfo &MFI = MF.getFrameInfo(); 397*0b57cec5SDimitry Andric if (!TM.isPPC64()) 398*0b57cec5SDimitry Andric return false; 399*0b57cec5SDimitry Andric 400*0b57cec5SDimitry Andric if (!Subtarget.isSVR4ABI()) 401*0b57cec5SDimitry Andric return false; 402*0b57cec5SDimitry Andric if (PhysReg == PPC::X2) 403*0b57cec5SDimitry Andric // X2 is guaranteed to be preserved within a function if it is reserved. 404*0b57cec5SDimitry Andric // The reason it's reserved is that it's the TOC pointer (and the function 405*0b57cec5SDimitry Andric // uses the TOC). In functions where it isn't reserved (i.e. leaf functions 406*0b57cec5SDimitry Andric // with no TOC access), we can't claim that it is preserved. 407*0b57cec5SDimitry Andric return (getReservedRegs(MF).test(PPC::X2)); 408*0b57cec5SDimitry Andric if (StackPtrConst && (PhysReg == PPC::X1) && !MFI.hasVarSizedObjects() 409*0b57cec5SDimitry Andric && !MFI.hasOpaqueSPAdjustment()) 410*0b57cec5SDimitry Andric // The value of the stack pointer does not change within a function after 411*0b57cec5SDimitry Andric // the prologue and before the epilogue if there are no dynamic allocations 412*0b57cec5SDimitry Andric // and no inline asm which clobbers X1. 413*0b57cec5SDimitry Andric return true; 414*0b57cec5SDimitry Andric return false; 415*0b57cec5SDimitry Andric } 416*0b57cec5SDimitry Andric 417*0b57cec5SDimitry Andric unsigned PPCRegisterInfo::getRegPressureLimit(const TargetRegisterClass *RC, 418*0b57cec5SDimitry Andric MachineFunction &MF) const { 419*0b57cec5SDimitry Andric const PPCFrameLowering *TFI = getFrameLowering(MF); 420*0b57cec5SDimitry Andric const unsigned DefaultSafety = 1; 421*0b57cec5SDimitry Andric 422*0b57cec5SDimitry Andric switch (RC->getID()) { 423*0b57cec5SDimitry Andric default: 424*0b57cec5SDimitry Andric return 0; 425*0b57cec5SDimitry Andric case PPC::G8RC_NOX0RegClassID: 426*0b57cec5SDimitry Andric case PPC::GPRC_NOR0RegClassID: 427*0b57cec5SDimitry Andric case PPC::SPERCRegClassID: 428*0b57cec5SDimitry Andric case PPC::SPE4RCRegClassID: 429*0b57cec5SDimitry Andric case PPC::G8RCRegClassID: 430*0b57cec5SDimitry Andric case PPC::GPRCRegClassID: { 431*0b57cec5SDimitry Andric unsigned FP = TFI->hasFP(MF) ? 1 : 0; 432*0b57cec5SDimitry Andric return 32 - FP - DefaultSafety; 433*0b57cec5SDimitry Andric } 434*0b57cec5SDimitry Andric case PPC::F8RCRegClassID: 435*0b57cec5SDimitry Andric case PPC::F4RCRegClassID: 436*0b57cec5SDimitry Andric case PPC::QFRCRegClassID: 437*0b57cec5SDimitry Andric case PPC::QSRCRegClassID: 438*0b57cec5SDimitry Andric case PPC::QBRCRegClassID: 439*0b57cec5SDimitry Andric case PPC::VRRCRegClassID: 440*0b57cec5SDimitry Andric case PPC::VFRCRegClassID: 441*0b57cec5SDimitry Andric case PPC::VSLRCRegClassID: 442*0b57cec5SDimitry Andric return 32 - DefaultSafety; 443*0b57cec5SDimitry Andric case PPC::VSRCRegClassID: 444*0b57cec5SDimitry Andric case PPC::VSFRCRegClassID: 445*0b57cec5SDimitry Andric case PPC::VSSRCRegClassID: 446*0b57cec5SDimitry Andric return 64 - DefaultSafety; 447*0b57cec5SDimitry Andric case PPC::CRRCRegClassID: 448*0b57cec5SDimitry Andric return 8 - DefaultSafety; 449*0b57cec5SDimitry Andric } 450*0b57cec5SDimitry Andric } 451*0b57cec5SDimitry Andric 452*0b57cec5SDimitry Andric const TargetRegisterClass * 453*0b57cec5SDimitry Andric PPCRegisterInfo::getLargestLegalSuperClass(const TargetRegisterClass *RC, 454*0b57cec5SDimitry Andric const MachineFunction &MF) const { 455*0b57cec5SDimitry Andric const PPCSubtarget &Subtarget = MF.getSubtarget<PPCSubtarget>(); 456*0b57cec5SDimitry Andric if (Subtarget.hasVSX()) { 457*0b57cec5SDimitry Andric // With VSX, we can inflate various sub-register classes to the full VSX 458*0b57cec5SDimitry Andric // register set. 459*0b57cec5SDimitry Andric 460*0b57cec5SDimitry Andric // For Power9 we allow the user to enable GPR to vector spills. 461*0b57cec5SDimitry Andric // FIXME: Currently limited to spilling GP8RC. A follow on patch will add 462*0b57cec5SDimitry Andric // support to spill GPRC. 463*0b57cec5SDimitry Andric if (TM.isELFv2ABI()) { 464*0b57cec5SDimitry Andric if (Subtarget.hasP9Vector() && EnableGPRToVecSpills && 465*0b57cec5SDimitry Andric RC == &PPC::G8RCRegClass) { 466*0b57cec5SDimitry Andric InflateGP8RC++; 467*0b57cec5SDimitry Andric return &PPC::SPILLTOVSRRCRegClass; 468*0b57cec5SDimitry Andric } 469*0b57cec5SDimitry Andric if (RC == &PPC::GPRCRegClass && EnableGPRToVecSpills) 470*0b57cec5SDimitry Andric InflateGPRC++; 471*0b57cec5SDimitry Andric } 472*0b57cec5SDimitry Andric if (RC == &PPC::F8RCRegClass) 473*0b57cec5SDimitry Andric return &PPC::VSFRCRegClass; 474*0b57cec5SDimitry Andric else if (RC == &PPC::VRRCRegClass) 475*0b57cec5SDimitry Andric return &PPC::VSRCRegClass; 476*0b57cec5SDimitry Andric else if (RC == &PPC::F4RCRegClass && Subtarget.hasP8Vector()) 477*0b57cec5SDimitry Andric return &PPC::VSSRCRegClass; 478*0b57cec5SDimitry Andric } 479*0b57cec5SDimitry Andric 480*0b57cec5SDimitry Andric return TargetRegisterInfo::getLargestLegalSuperClass(RC, MF); 481*0b57cec5SDimitry Andric } 482*0b57cec5SDimitry Andric 483*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 484*0b57cec5SDimitry Andric // Stack Frame Processing methods 485*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 486*0b57cec5SDimitry Andric 487*0b57cec5SDimitry Andric /// lowerDynamicAlloc - Generate the code for allocating an object in the 488*0b57cec5SDimitry Andric /// current frame. The sequence of code will be in the general form 489*0b57cec5SDimitry Andric /// 490*0b57cec5SDimitry Andric /// addi R0, SP, \#frameSize ; get the address of the previous frame 491*0b57cec5SDimitry Andric /// stwxu R0, SP, Rnegsize ; add and update the SP with the negated size 492*0b57cec5SDimitry Andric /// addi Rnew, SP, \#maxCalFrameSize ; get the top of the allocation 493*0b57cec5SDimitry Andric /// 494*0b57cec5SDimitry Andric void PPCRegisterInfo::lowerDynamicAlloc(MachineBasicBlock::iterator II) const { 495*0b57cec5SDimitry Andric // Get the instruction. 496*0b57cec5SDimitry Andric MachineInstr &MI = *II; 497*0b57cec5SDimitry Andric // Get the instruction's basic block. 498*0b57cec5SDimitry Andric MachineBasicBlock &MBB = *MI.getParent(); 499*0b57cec5SDimitry Andric // Get the basic block's function. 500*0b57cec5SDimitry Andric MachineFunction &MF = *MBB.getParent(); 501*0b57cec5SDimitry Andric // Get the frame info. 502*0b57cec5SDimitry Andric MachineFrameInfo &MFI = MF.getFrameInfo(); 503*0b57cec5SDimitry Andric const PPCSubtarget &Subtarget = MF.getSubtarget<PPCSubtarget>(); 504*0b57cec5SDimitry Andric // Get the instruction info. 505*0b57cec5SDimitry Andric const TargetInstrInfo &TII = *Subtarget.getInstrInfo(); 506*0b57cec5SDimitry Andric // Determine whether 64-bit pointers are used. 507*0b57cec5SDimitry Andric bool LP64 = TM.isPPC64(); 508*0b57cec5SDimitry Andric DebugLoc dl = MI.getDebugLoc(); 509*0b57cec5SDimitry Andric 510*0b57cec5SDimitry Andric // Get the maximum call stack size. 511*0b57cec5SDimitry Andric unsigned maxCallFrameSize = MFI.getMaxCallFrameSize(); 512*0b57cec5SDimitry Andric // Get the total frame size. 513*0b57cec5SDimitry Andric unsigned FrameSize = MFI.getStackSize(); 514*0b57cec5SDimitry Andric 515*0b57cec5SDimitry Andric // Get stack alignments. 516*0b57cec5SDimitry Andric const PPCFrameLowering *TFI = getFrameLowering(MF); 517*0b57cec5SDimitry Andric unsigned TargetAlign = TFI->getStackAlignment(); 518*0b57cec5SDimitry Andric unsigned MaxAlign = MFI.getMaxAlignment(); 519*0b57cec5SDimitry Andric assert((maxCallFrameSize & (MaxAlign-1)) == 0 && 520*0b57cec5SDimitry Andric "Maximum call-frame size not sufficiently aligned"); 521*0b57cec5SDimitry Andric 522*0b57cec5SDimitry Andric // Determine the previous frame's address. If FrameSize can't be 523*0b57cec5SDimitry Andric // represented as 16 bits or we need special alignment, then we load the 524*0b57cec5SDimitry Andric // previous frame's address from 0(SP). Why not do an addis of the hi? 525*0b57cec5SDimitry Andric // Because R0 is our only safe tmp register and addi/addis treat R0 as zero. 526*0b57cec5SDimitry Andric // Constructing the constant and adding would take 3 instructions. 527*0b57cec5SDimitry Andric // Fortunately, a frame greater than 32K is rare. 528*0b57cec5SDimitry Andric const TargetRegisterClass *G8RC = &PPC::G8RCRegClass; 529*0b57cec5SDimitry Andric const TargetRegisterClass *GPRC = &PPC::GPRCRegClass; 530*0b57cec5SDimitry Andric unsigned Reg = MF.getRegInfo().createVirtualRegister(LP64 ? G8RC : GPRC); 531*0b57cec5SDimitry Andric 532*0b57cec5SDimitry Andric if (MaxAlign < TargetAlign && isInt<16>(FrameSize)) { 533*0b57cec5SDimitry Andric if (LP64) 534*0b57cec5SDimitry Andric BuildMI(MBB, II, dl, TII.get(PPC::ADDI8), Reg) 535*0b57cec5SDimitry Andric .addReg(PPC::X31) 536*0b57cec5SDimitry Andric .addImm(FrameSize); 537*0b57cec5SDimitry Andric else 538*0b57cec5SDimitry Andric BuildMI(MBB, II, dl, TII.get(PPC::ADDI), Reg) 539*0b57cec5SDimitry Andric .addReg(PPC::R31) 540*0b57cec5SDimitry Andric .addImm(FrameSize); 541*0b57cec5SDimitry Andric } else if (LP64) { 542*0b57cec5SDimitry Andric BuildMI(MBB, II, dl, TII.get(PPC::LD), Reg) 543*0b57cec5SDimitry Andric .addImm(0) 544*0b57cec5SDimitry Andric .addReg(PPC::X1); 545*0b57cec5SDimitry Andric } else { 546*0b57cec5SDimitry Andric BuildMI(MBB, II, dl, TII.get(PPC::LWZ), Reg) 547*0b57cec5SDimitry Andric .addImm(0) 548*0b57cec5SDimitry Andric .addReg(PPC::R1); 549*0b57cec5SDimitry Andric } 550*0b57cec5SDimitry Andric 551*0b57cec5SDimitry Andric bool KillNegSizeReg = MI.getOperand(1).isKill(); 552*0b57cec5SDimitry Andric unsigned NegSizeReg = MI.getOperand(1).getReg(); 553*0b57cec5SDimitry Andric 554*0b57cec5SDimitry Andric // Grow the stack and update the stack pointer link, then determine the 555*0b57cec5SDimitry Andric // address of new allocated space. 556*0b57cec5SDimitry Andric if (LP64) { 557*0b57cec5SDimitry Andric if (MaxAlign > TargetAlign) { 558*0b57cec5SDimitry Andric unsigned UnalNegSizeReg = NegSizeReg; 559*0b57cec5SDimitry Andric NegSizeReg = MF.getRegInfo().createVirtualRegister(G8RC); 560*0b57cec5SDimitry Andric 561*0b57cec5SDimitry Andric // Unfortunately, there is no andi, only andi., and we can't insert that 562*0b57cec5SDimitry Andric // here because we might clobber cr0 while it is live. 563*0b57cec5SDimitry Andric BuildMI(MBB, II, dl, TII.get(PPC::LI8), NegSizeReg) 564*0b57cec5SDimitry Andric .addImm(~(MaxAlign-1)); 565*0b57cec5SDimitry Andric 566*0b57cec5SDimitry Andric unsigned NegSizeReg1 = NegSizeReg; 567*0b57cec5SDimitry Andric NegSizeReg = MF.getRegInfo().createVirtualRegister(G8RC); 568*0b57cec5SDimitry Andric BuildMI(MBB, II, dl, TII.get(PPC::AND8), NegSizeReg) 569*0b57cec5SDimitry Andric .addReg(UnalNegSizeReg, getKillRegState(KillNegSizeReg)) 570*0b57cec5SDimitry Andric .addReg(NegSizeReg1, RegState::Kill); 571*0b57cec5SDimitry Andric KillNegSizeReg = true; 572*0b57cec5SDimitry Andric } 573*0b57cec5SDimitry Andric 574*0b57cec5SDimitry Andric BuildMI(MBB, II, dl, TII.get(PPC::STDUX), PPC::X1) 575*0b57cec5SDimitry Andric .addReg(Reg, RegState::Kill) 576*0b57cec5SDimitry Andric .addReg(PPC::X1) 577*0b57cec5SDimitry Andric .addReg(NegSizeReg, getKillRegState(KillNegSizeReg)); 578*0b57cec5SDimitry Andric BuildMI(MBB, II, dl, TII.get(PPC::ADDI8), MI.getOperand(0).getReg()) 579*0b57cec5SDimitry Andric .addReg(PPC::X1) 580*0b57cec5SDimitry Andric .addImm(maxCallFrameSize); 581*0b57cec5SDimitry Andric } else { 582*0b57cec5SDimitry Andric if (MaxAlign > TargetAlign) { 583*0b57cec5SDimitry Andric unsigned UnalNegSizeReg = NegSizeReg; 584*0b57cec5SDimitry Andric NegSizeReg = MF.getRegInfo().createVirtualRegister(GPRC); 585*0b57cec5SDimitry Andric 586*0b57cec5SDimitry Andric // Unfortunately, there is no andi, only andi., and we can't insert that 587*0b57cec5SDimitry Andric // here because we might clobber cr0 while it is live. 588*0b57cec5SDimitry Andric BuildMI(MBB, II, dl, TII.get(PPC::LI), NegSizeReg) 589*0b57cec5SDimitry Andric .addImm(~(MaxAlign-1)); 590*0b57cec5SDimitry Andric 591*0b57cec5SDimitry Andric unsigned NegSizeReg1 = NegSizeReg; 592*0b57cec5SDimitry Andric NegSizeReg = MF.getRegInfo().createVirtualRegister(GPRC); 593*0b57cec5SDimitry Andric BuildMI(MBB, II, dl, TII.get(PPC::AND), NegSizeReg) 594*0b57cec5SDimitry Andric .addReg(UnalNegSizeReg, getKillRegState(KillNegSizeReg)) 595*0b57cec5SDimitry Andric .addReg(NegSizeReg1, RegState::Kill); 596*0b57cec5SDimitry Andric KillNegSizeReg = true; 597*0b57cec5SDimitry Andric } 598*0b57cec5SDimitry Andric 599*0b57cec5SDimitry Andric BuildMI(MBB, II, dl, TII.get(PPC::STWUX), PPC::R1) 600*0b57cec5SDimitry Andric .addReg(Reg, RegState::Kill) 601*0b57cec5SDimitry Andric .addReg(PPC::R1) 602*0b57cec5SDimitry Andric .addReg(NegSizeReg, getKillRegState(KillNegSizeReg)); 603*0b57cec5SDimitry Andric BuildMI(MBB, II, dl, TII.get(PPC::ADDI), MI.getOperand(0).getReg()) 604*0b57cec5SDimitry Andric .addReg(PPC::R1) 605*0b57cec5SDimitry Andric .addImm(maxCallFrameSize); 606*0b57cec5SDimitry Andric } 607*0b57cec5SDimitry Andric 608*0b57cec5SDimitry Andric // Discard the DYNALLOC instruction. 609*0b57cec5SDimitry Andric MBB.erase(II); 610*0b57cec5SDimitry Andric } 611*0b57cec5SDimitry Andric 612*0b57cec5SDimitry Andric void PPCRegisterInfo::lowerDynamicAreaOffset( 613*0b57cec5SDimitry Andric MachineBasicBlock::iterator II) const { 614*0b57cec5SDimitry Andric // Get the instruction. 615*0b57cec5SDimitry Andric MachineInstr &MI = *II; 616*0b57cec5SDimitry Andric // Get the instruction's basic block. 617*0b57cec5SDimitry Andric MachineBasicBlock &MBB = *MI.getParent(); 618*0b57cec5SDimitry Andric // Get the basic block's function. 619*0b57cec5SDimitry Andric MachineFunction &MF = *MBB.getParent(); 620*0b57cec5SDimitry Andric // Get the frame info. 621*0b57cec5SDimitry Andric MachineFrameInfo &MFI = MF.getFrameInfo(); 622*0b57cec5SDimitry Andric const PPCSubtarget &Subtarget = MF.getSubtarget<PPCSubtarget>(); 623*0b57cec5SDimitry Andric // Get the instruction info. 624*0b57cec5SDimitry Andric const TargetInstrInfo &TII = *Subtarget.getInstrInfo(); 625*0b57cec5SDimitry Andric 626*0b57cec5SDimitry Andric unsigned maxCallFrameSize = MFI.getMaxCallFrameSize(); 627*0b57cec5SDimitry Andric bool is64Bit = TM.isPPC64(); 628*0b57cec5SDimitry Andric DebugLoc dl = MI.getDebugLoc(); 629*0b57cec5SDimitry Andric BuildMI(MBB, II, dl, TII.get(is64Bit ? PPC::LI8 : PPC::LI), 630*0b57cec5SDimitry Andric MI.getOperand(0).getReg()) 631*0b57cec5SDimitry Andric .addImm(maxCallFrameSize); 632*0b57cec5SDimitry Andric MBB.erase(II); 633*0b57cec5SDimitry Andric } 634*0b57cec5SDimitry Andric 635*0b57cec5SDimitry Andric /// lowerCRSpilling - Generate the code for spilling a CR register. Instead of 636*0b57cec5SDimitry Andric /// reserving a whole register (R0), we scrounge for one here. This generates 637*0b57cec5SDimitry Andric /// code like this: 638*0b57cec5SDimitry Andric /// 639*0b57cec5SDimitry Andric /// mfcr rA ; Move the conditional register into GPR rA. 640*0b57cec5SDimitry Andric /// rlwinm rA, rA, SB, 0, 31 ; Shift the bits left so they are in CR0's slot. 641*0b57cec5SDimitry Andric /// stw rA, FI ; Store rA to the frame. 642*0b57cec5SDimitry Andric /// 643*0b57cec5SDimitry Andric void PPCRegisterInfo::lowerCRSpilling(MachineBasicBlock::iterator II, 644*0b57cec5SDimitry Andric unsigned FrameIndex) const { 645*0b57cec5SDimitry Andric // Get the instruction. 646*0b57cec5SDimitry Andric MachineInstr &MI = *II; // ; SPILL_CR <SrcReg>, <offset> 647*0b57cec5SDimitry Andric // Get the instruction's basic block. 648*0b57cec5SDimitry Andric MachineBasicBlock &MBB = *MI.getParent(); 649*0b57cec5SDimitry Andric MachineFunction &MF = *MBB.getParent(); 650*0b57cec5SDimitry Andric const PPCSubtarget &Subtarget = MF.getSubtarget<PPCSubtarget>(); 651*0b57cec5SDimitry Andric const TargetInstrInfo &TII = *Subtarget.getInstrInfo(); 652*0b57cec5SDimitry Andric DebugLoc dl = MI.getDebugLoc(); 653*0b57cec5SDimitry Andric 654*0b57cec5SDimitry Andric bool LP64 = TM.isPPC64(); 655*0b57cec5SDimitry Andric const TargetRegisterClass *G8RC = &PPC::G8RCRegClass; 656*0b57cec5SDimitry Andric const TargetRegisterClass *GPRC = &PPC::GPRCRegClass; 657*0b57cec5SDimitry Andric 658*0b57cec5SDimitry Andric unsigned Reg = MF.getRegInfo().createVirtualRegister(LP64 ? G8RC : GPRC); 659*0b57cec5SDimitry Andric unsigned SrcReg = MI.getOperand(0).getReg(); 660*0b57cec5SDimitry Andric 661*0b57cec5SDimitry Andric // We need to store the CR in the low 4-bits of the saved value. First, issue 662*0b57cec5SDimitry Andric // an MFOCRF to save all of the CRBits and, if needed, kill the SrcReg. 663*0b57cec5SDimitry Andric BuildMI(MBB, II, dl, TII.get(LP64 ? PPC::MFOCRF8 : PPC::MFOCRF), Reg) 664*0b57cec5SDimitry Andric .addReg(SrcReg, getKillRegState(MI.getOperand(0).isKill())); 665*0b57cec5SDimitry Andric 666*0b57cec5SDimitry Andric // If the saved register wasn't CR0, shift the bits left so that they are in 667*0b57cec5SDimitry Andric // CR0's slot. 668*0b57cec5SDimitry Andric if (SrcReg != PPC::CR0) { 669*0b57cec5SDimitry Andric unsigned Reg1 = Reg; 670*0b57cec5SDimitry Andric Reg = MF.getRegInfo().createVirtualRegister(LP64 ? G8RC : GPRC); 671*0b57cec5SDimitry Andric 672*0b57cec5SDimitry Andric // rlwinm rA, rA, ShiftBits, 0, 31. 673*0b57cec5SDimitry Andric BuildMI(MBB, II, dl, TII.get(LP64 ? PPC::RLWINM8 : PPC::RLWINM), Reg) 674*0b57cec5SDimitry Andric .addReg(Reg1, RegState::Kill) 675*0b57cec5SDimitry Andric .addImm(getEncodingValue(SrcReg) * 4) 676*0b57cec5SDimitry Andric .addImm(0) 677*0b57cec5SDimitry Andric .addImm(31); 678*0b57cec5SDimitry Andric } 679*0b57cec5SDimitry Andric 680*0b57cec5SDimitry Andric addFrameReference(BuildMI(MBB, II, dl, TII.get(LP64 ? PPC::STW8 : PPC::STW)) 681*0b57cec5SDimitry Andric .addReg(Reg, RegState::Kill), 682*0b57cec5SDimitry Andric FrameIndex); 683*0b57cec5SDimitry Andric 684*0b57cec5SDimitry Andric // Discard the pseudo instruction. 685*0b57cec5SDimitry Andric MBB.erase(II); 686*0b57cec5SDimitry Andric } 687*0b57cec5SDimitry Andric 688*0b57cec5SDimitry Andric void PPCRegisterInfo::lowerCRRestore(MachineBasicBlock::iterator II, 689*0b57cec5SDimitry Andric unsigned FrameIndex) const { 690*0b57cec5SDimitry Andric // Get the instruction. 691*0b57cec5SDimitry Andric MachineInstr &MI = *II; // ; <DestReg> = RESTORE_CR <offset> 692*0b57cec5SDimitry Andric // Get the instruction's basic block. 693*0b57cec5SDimitry Andric MachineBasicBlock &MBB = *MI.getParent(); 694*0b57cec5SDimitry Andric MachineFunction &MF = *MBB.getParent(); 695*0b57cec5SDimitry Andric const PPCSubtarget &Subtarget = MF.getSubtarget<PPCSubtarget>(); 696*0b57cec5SDimitry Andric const TargetInstrInfo &TII = *Subtarget.getInstrInfo(); 697*0b57cec5SDimitry Andric DebugLoc dl = MI.getDebugLoc(); 698*0b57cec5SDimitry Andric 699*0b57cec5SDimitry Andric bool LP64 = TM.isPPC64(); 700*0b57cec5SDimitry Andric const TargetRegisterClass *G8RC = &PPC::G8RCRegClass; 701*0b57cec5SDimitry Andric const TargetRegisterClass *GPRC = &PPC::GPRCRegClass; 702*0b57cec5SDimitry Andric 703*0b57cec5SDimitry Andric unsigned Reg = MF.getRegInfo().createVirtualRegister(LP64 ? G8RC : GPRC); 704*0b57cec5SDimitry Andric unsigned DestReg = MI.getOperand(0).getReg(); 705*0b57cec5SDimitry Andric assert(MI.definesRegister(DestReg) && 706*0b57cec5SDimitry Andric "RESTORE_CR does not define its destination"); 707*0b57cec5SDimitry Andric 708*0b57cec5SDimitry Andric addFrameReference(BuildMI(MBB, II, dl, TII.get(LP64 ? PPC::LWZ8 : PPC::LWZ), 709*0b57cec5SDimitry Andric Reg), FrameIndex); 710*0b57cec5SDimitry Andric 711*0b57cec5SDimitry Andric // If the reloaded register isn't CR0, shift the bits right so that they are 712*0b57cec5SDimitry Andric // in the right CR's slot. 713*0b57cec5SDimitry Andric if (DestReg != PPC::CR0) { 714*0b57cec5SDimitry Andric unsigned Reg1 = Reg; 715*0b57cec5SDimitry Andric Reg = MF.getRegInfo().createVirtualRegister(LP64 ? G8RC : GPRC); 716*0b57cec5SDimitry Andric 717*0b57cec5SDimitry Andric unsigned ShiftBits = getEncodingValue(DestReg)*4; 718*0b57cec5SDimitry Andric // rlwinm r11, r11, 32-ShiftBits, 0, 31. 719*0b57cec5SDimitry Andric BuildMI(MBB, II, dl, TII.get(LP64 ? PPC::RLWINM8 : PPC::RLWINM), Reg) 720*0b57cec5SDimitry Andric .addReg(Reg1, RegState::Kill).addImm(32-ShiftBits).addImm(0) 721*0b57cec5SDimitry Andric .addImm(31); 722*0b57cec5SDimitry Andric } 723*0b57cec5SDimitry Andric 724*0b57cec5SDimitry Andric BuildMI(MBB, II, dl, TII.get(LP64 ? PPC::MTOCRF8 : PPC::MTOCRF), DestReg) 725*0b57cec5SDimitry Andric .addReg(Reg, RegState::Kill); 726*0b57cec5SDimitry Andric 727*0b57cec5SDimitry Andric // Discard the pseudo instruction. 728*0b57cec5SDimitry Andric MBB.erase(II); 729*0b57cec5SDimitry Andric } 730*0b57cec5SDimitry Andric 731*0b57cec5SDimitry Andric void PPCRegisterInfo::lowerCRBitSpilling(MachineBasicBlock::iterator II, 732*0b57cec5SDimitry Andric unsigned FrameIndex) const { 733*0b57cec5SDimitry Andric // Get the instruction. 734*0b57cec5SDimitry Andric MachineInstr &MI = *II; // ; SPILL_CRBIT <SrcReg>, <offset> 735*0b57cec5SDimitry Andric // Get the instruction's basic block. 736*0b57cec5SDimitry Andric MachineBasicBlock &MBB = *MI.getParent(); 737*0b57cec5SDimitry Andric MachineFunction &MF = *MBB.getParent(); 738*0b57cec5SDimitry Andric const PPCSubtarget &Subtarget = MF.getSubtarget<PPCSubtarget>(); 739*0b57cec5SDimitry Andric const TargetInstrInfo &TII = *Subtarget.getInstrInfo(); 740*0b57cec5SDimitry Andric const TargetRegisterInfo* TRI = Subtarget.getRegisterInfo(); 741*0b57cec5SDimitry Andric DebugLoc dl = MI.getDebugLoc(); 742*0b57cec5SDimitry Andric 743*0b57cec5SDimitry Andric bool LP64 = TM.isPPC64(); 744*0b57cec5SDimitry Andric const TargetRegisterClass *G8RC = &PPC::G8RCRegClass; 745*0b57cec5SDimitry Andric const TargetRegisterClass *GPRC = &PPC::GPRCRegClass; 746*0b57cec5SDimitry Andric 747*0b57cec5SDimitry Andric unsigned Reg = MF.getRegInfo().createVirtualRegister(LP64 ? G8RC : GPRC); 748*0b57cec5SDimitry Andric unsigned SrcReg = MI.getOperand(0).getReg(); 749*0b57cec5SDimitry Andric 750*0b57cec5SDimitry Andric // Search up the BB to find the definition of the CR bit. 751*0b57cec5SDimitry Andric MachineBasicBlock::reverse_iterator Ins; 752*0b57cec5SDimitry Andric unsigned CRBitSpillDistance = 0; 753*0b57cec5SDimitry Andric for (Ins = MI; Ins != MBB.rend(); Ins++) { 754*0b57cec5SDimitry Andric // Definition found. 755*0b57cec5SDimitry Andric if (Ins->modifiesRegister(SrcReg, TRI)) 756*0b57cec5SDimitry Andric break; 757*0b57cec5SDimitry Andric // Unable to find CR bit definition within maximum search distance. 758*0b57cec5SDimitry Andric if (CRBitSpillDistance == MaxCRBitSpillDist) { 759*0b57cec5SDimitry Andric Ins = MI; 760*0b57cec5SDimitry Andric break; 761*0b57cec5SDimitry Andric } 762*0b57cec5SDimitry Andric // Skip debug instructions when counting CR bit spill distance. 763*0b57cec5SDimitry Andric if (!Ins->isDebugInstr()) 764*0b57cec5SDimitry Andric CRBitSpillDistance++; 765*0b57cec5SDimitry Andric } 766*0b57cec5SDimitry Andric 767*0b57cec5SDimitry Andric // Unable to find the definition of the CR bit in the MBB. 768*0b57cec5SDimitry Andric if (Ins == MBB.rend()) 769*0b57cec5SDimitry Andric Ins = MI; 770*0b57cec5SDimitry Andric 771*0b57cec5SDimitry Andric // There is no need to extract the CR bit if its value is already known. 772*0b57cec5SDimitry Andric switch (Ins->getOpcode()) { 773*0b57cec5SDimitry Andric case PPC::CRUNSET: 774*0b57cec5SDimitry Andric BuildMI(MBB, II, dl, TII.get(LP64 ? PPC::LI8 : PPC::LI), Reg) 775*0b57cec5SDimitry Andric .addImm(0); 776*0b57cec5SDimitry Andric break; 777*0b57cec5SDimitry Andric case PPC::CRSET: 778*0b57cec5SDimitry Andric BuildMI(MBB, II, dl, TII.get(LP64 ? PPC::LIS8 : PPC::LIS), Reg) 779*0b57cec5SDimitry Andric .addImm(-32768); 780*0b57cec5SDimitry Andric break; 781*0b57cec5SDimitry Andric default: 782*0b57cec5SDimitry Andric // We need to move the CR field that contains the CR bit we are spilling. 783*0b57cec5SDimitry Andric // The super register may not be explicitly defined (i.e. it can be defined 784*0b57cec5SDimitry Andric // by a CR-logical that only defines the subreg) so we state that the CR 785*0b57cec5SDimitry Andric // field is undef. Also, in order to preserve the kill flag on the CR bit, 786*0b57cec5SDimitry Andric // we add it as an implicit use. 787*0b57cec5SDimitry Andric BuildMI(MBB, II, dl, TII.get(LP64 ? PPC::MFOCRF8 : PPC::MFOCRF), Reg) 788*0b57cec5SDimitry Andric .addReg(getCRFromCRBit(SrcReg), RegState::Undef) 789*0b57cec5SDimitry Andric .addReg(SrcReg, 790*0b57cec5SDimitry Andric RegState::Implicit | getKillRegState(MI.getOperand(0).isKill())); 791*0b57cec5SDimitry Andric 792*0b57cec5SDimitry Andric // If the saved register wasn't CR0LT, shift the bits left so that the bit 793*0b57cec5SDimitry Andric // to store is the first one. Mask all but that bit. 794*0b57cec5SDimitry Andric unsigned Reg1 = Reg; 795*0b57cec5SDimitry Andric Reg = MF.getRegInfo().createVirtualRegister(LP64 ? G8RC : GPRC); 796*0b57cec5SDimitry Andric 797*0b57cec5SDimitry Andric // rlwinm rA, rA, ShiftBits, 0, 0. 798*0b57cec5SDimitry Andric BuildMI(MBB, II, dl, TII.get(LP64 ? PPC::RLWINM8 : PPC::RLWINM), Reg) 799*0b57cec5SDimitry Andric .addReg(Reg1, RegState::Kill) 800*0b57cec5SDimitry Andric .addImm(getEncodingValue(SrcReg)) 801*0b57cec5SDimitry Andric .addImm(0).addImm(0); 802*0b57cec5SDimitry Andric } 803*0b57cec5SDimitry Andric addFrameReference(BuildMI(MBB, II, dl, TII.get(LP64 ? PPC::STW8 : PPC::STW)) 804*0b57cec5SDimitry Andric .addReg(Reg, RegState::Kill), 805*0b57cec5SDimitry Andric FrameIndex); 806*0b57cec5SDimitry Andric 807*0b57cec5SDimitry Andric // Discard the pseudo instruction. 808*0b57cec5SDimitry Andric MBB.erase(II); 809*0b57cec5SDimitry Andric } 810*0b57cec5SDimitry Andric 811*0b57cec5SDimitry Andric void PPCRegisterInfo::lowerCRBitRestore(MachineBasicBlock::iterator II, 812*0b57cec5SDimitry Andric unsigned FrameIndex) const { 813*0b57cec5SDimitry Andric // Get the instruction. 814*0b57cec5SDimitry Andric MachineInstr &MI = *II; // ; <DestReg> = RESTORE_CRBIT <offset> 815*0b57cec5SDimitry Andric // Get the instruction's basic block. 816*0b57cec5SDimitry Andric MachineBasicBlock &MBB = *MI.getParent(); 817*0b57cec5SDimitry Andric MachineFunction &MF = *MBB.getParent(); 818*0b57cec5SDimitry Andric const PPCSubtarget &Subtarget = MF.getSubtarget<PPCSubtarget>(); 819*0b57cec5SDimitry Andric const TargetInstrInfo &TII = *Subtarget.getInstrInfo(); 820*0b57cec5SDimitry Andric DebugLoc dl = MI.getDebugLoc(); 821*0b57cec5SDimitry Andric 822*0b57cec5SDimitry Andric bool LP64 = TM.isPPC64(); 823*0b57cec5SDimitry Andric const TargetRegisterClass *G8RC = &PPC::G8RCRegClass; 824*0b57cec5SDimitry Andric const TargetRegisterClass *GPRC = &PPC::GPRCRegClass; 825*0b57cec5SDimitry Andric 826*0b57cec5SDimitry Andric unsigned Reg = MF.getRegInfo().createVirtualRegister(LP64 ? G8RC : GPRC); 827*0b57cec5SDimitry Andric unsigned DestReg = MI.getOperand(0).getReg(); 828*0b57cec5SDimitry Andric assert(MI.definesRegister(DestReg) && 829*0b57cec5SDimitry Andric "RESTORE_CRBIT does not define its destination"); 830*0b57cec5SDimitry Andric 831*0b57cec5SDimitry Andric addFrameReference(BuildMI(MBB, II, dl, TII.get(LP64 ? PPC::LWZ8 : PPC::LWZ), 832*0b57cec5SDimitry Andric Reg), FrameIndex); 833*0b57cec5SDimitry Andric 834*0b57cec5SDimitry Andric BuildMI(MBB, II, dl, TII.get(TargetOpcode::IMPLICIT_DEF), DestReg); 835*0b57cec5SDimitry Andric 836*0b57cec5SDimitry Andric unsigned RegO = MF.getRegInfo().createVirtualRegister(LP64 ? G8RC : GPRC); 837*0b57cec5SDimitry Andric BuildMI(MBB, II, dl, TII.get(LP64 ? PPC::MFOCRF8 : PPC::MFOCRF), RegO) 838*0b57cec5SDimitry Andric .addReg(getCRFromCRBit(DestReg)); 839*0b57cec5SDimitry Andric 840*0b57cec5SDimitry Andric unsigned ShiftBits = getEncodingValue(DestReg); 841*0b57cec5SDimitry Andric // rlwimi r11, r10, 32-ShiftBits, ..., ... 842*0b57cec5SDimitry Andric BuildMI(MBB, II, dl, TII.get(LP64 ? PPC::RLWIMI8 : PPC::RLWIMI), RegO) 843*0b57cec5SDimitry Andric .addReg(RegO, RegState::Kill) 844*0b57cec5SDimitry Andric .addReg(Reg, RegState::Kill) 845*0b57cec5SDimitry Andric .addImm(ShiftBits ? 32 - ShiftBits : 0) 846*0b57cec5SDimitry Andric .addImm(ShiftBits) 847*0b57cec5SDimitry Andric .addImm(ShiftBits); 848*0b57cec5SDimitry Andric 849*0b57cec5SDimitry Andric BuildMI(MBB, II, dl, TII.get(LP64 ? PPC::MTOCRF8 : PPC::MTOCRF), 850*0b57cec5SDimitry Andric getCRFromCRBit(DestReg)) 851*0b57cec5SDimitry Andric .addReg(RegO, RegState::Kill) 852*0b57cec5SDimitry Andric // Make sure we have a use dependency all the way through this 853*0b57cec5SDimitry Andric // sequence of instructions. We can't have the other bits in the CR 854*0b57cec5SDimitry Andric // modified in between the mfocrf and the mtocrf. 855*0b57cec5SDimitry Andric .addReg(getCRFromCRBit(DestReg), RegState::Implicit); 856*0b57cec5SDimitry Andric 857*0b57cec5SDimitry Andric // Discard the pseudo instruction. 858*0b57cec5SDimitry Andric MBB.erase(II); 859*0b57cec5SDimitry Andric } 860*0b57cec5SDimitry Andric 861*0b57cec5SDimitry Andric void PPCRegisterInfo::lowerVRSAVESpilling(MachineBasicBlock::iterator II, 862*0b57cec5SDimitry Andric unsigned FrameIndex) const { 863*0b57cec5SDimitry Andric // Get the instruction. 864*0b57cec5SDimitry Andric MachineInstr &MI = *II; // ; SPILL_VRSAVE <SrcReg>, <offset> 865*0b57cec5SDimitry Andric // Get the instruction's basic block. 866*0b57cec5SDimitry Andric MachineBasicBlock &MBB = *MI.getParent(); 867*0b57cec5SDimitry Andric MachineFunction &MF = *MBB.getParent(); 868*0b57cec5SDimitry Andric const PPCSubtarget &Subtarget = MF.getSubtarget<PPCSubtarget>(); 869*0b57cec5SDimitry Andric const TargetInstrInfo &TII = *Subtarget.getInstrInfo(); 870*0b57cec5SDimitry Andric DebugLoc dl = MI.getDebugLoc(); 871*0b57cec5SDimitry Andric 872*0b57cec5SDimitry Andric const TargetRegisterClass *GPRC = &PPC::GPRCRegClass; 873*0b57cec5SDimitry Andric unsigned Reg = MF.getRegInfo().createVirtualRegister(GPRC); 874*0b57cec5SDimitry Andric unsigned SrcReg = MI.getOperand(0).getReg(); 875*0b57cec5SDimitry Andric 876*0b57cec5SDimitry Andric BuildMI(MBB, II, dl, TII.get(PPC::MFVRSAVEv), Reg) 877*0b57cec5SDimitry Andric .addReg(SrcReg, getKillRegState(MI.getOperand(0).isKill())); 878*0b57cec5SDimitry Andric 879*0b57cec5SDimitry Andric addFrameReference( 880*0b57cec5SDimitry Andric BuildMI(MBB, II, dl, TII.get(PPC::STW)).addReg(Reg, RegState::Kill), 881*0b57cec5SDimitry Andric FrameIndex); 882*0b57cec5SDimitry Andric 883*0b57cec5SDimitry Andric // Discard the pseudo instruction. 884*0b57cec5SDimitry Andric MBB.erase(II); 885*0b57cec5SDimitry Andric } 886*0b57cec5SDimitry Andric 887*0b57cec5SDimitry Andric void PPCRegisterInfo::lowerVRSAVERestore(MachineBasicBlock::iterator II, 888*0b57cec5SDimitry Andric unsigned FrameIndex) const { 889*0b57cec5SDimitry Andric // Get the instruction. 890*0b57cec5SDimitry Andric MachineInstr &MI = *II; // ; <DestReg> = RESTORE_VRSAVE <offset> 891*0b57cec5SDimitry Andric // Get the instruction's basic block. 892*0b57cec5SDimitry Andric MachineBasicBlock &MBB = *MI.getParent(); 893*0b57cec5SDimitry Andric MachineFunction &MF = *MBB.getParent(); 894*0b57cec5SDimitry Andric const PPCSubtarget &Subtarget = MF.getSubtarget<PPCSubtarget>(); 895*0b57cec5SDimitry Andric const TargetInstrInfo &TII = *Subtarget.getInstrInfo(); 896*0b57cec5SDimitry Andric DebugLoc dl = MI.getDebugLoc(); 897*0b57cec5SDimitry Andric 898*0b57cec5SDimitry Andric const TargetRegisterClass *GPRC = &PPC::GPRCRegClass; 899*0b57cec5SDimitry Andric unsigned Reg = MF.getRegInfo().createVirtualRegister(GPRC); 900*0b57cec5SDimitry Andric unsigned DestReg = MI.getOperand(0).getReg(); 901*0b57cec5SDimitry Andric assert(MI.definesRegister(DestReg) && 902*0b57cec5SDimitry Andric "RESTORE_VRSAVE does not define its destination"); 903*0b57cec5SDimitry Andric 904*0b57cec5SDimitry Andric addFrameReference(BuildMI(MBB, II, dl, TII.get(PPC::LWZ), 905*0b57cec5SDimitry Andric Reg), FrameIndex); 906*0b57cec5SDimitry Andric 907*0b57cec5SDimitry Andric BuildMI(MBB, II, dl, TII.get(PPC::MTVRSAVEv), DestReg) 908*0b57cec5SDimitry Andric .addReg(Reg, RegState::Kill); 909*0b57cec5SDimitry Andric 910*0b57cec5SDimitry Andric // Discard the pseudo instruction. 911*0b57cec5SDimitry Andric MBB.erase(II); 912*0b57cec5SDimitry Andric } 913*0b57cec5SDimitry Andric 914*0b57cec5SDimitry Andric bool PPCRegisterInfo::hasReservedSpillSlot(const MachineFunction &MF, 915*0b57cec5SDimitry Andric unsigned Reg, int &FrameIdx) const { 916*0b57cec5SDimitry Andric const PPCSubtarget &Subtarget = MF.getSubtarget<PPCSubtarget>(); 917*0b57cec5SDimitry Andric // For the nonvolatile condition registers (CR2, CR3, CR4) in an SVR4 918*0b57cec5SDimitry Andric // ABI, return true to prevent allocating an additional frame slot. 919*0b57cec5SDimitry Andric // For 64-bit, the CR save area is at SP+8; the value of FrameIdx = 0 920*0b57cec5SDimitry Andric // is arbitrary and will be subsequently ignored. For 32-bit, we have 921*0b57cec5SDimitry Andric // previously created the stack slot if needed, so return its FrameIdx. 922*0b57cec5SDimitry Andric if (Subtarget.isSVR4ABI() && PPC::CR2 <= Reg && Reg <= PPC::CR4) { 923*0b57cec5SDimitry Andric if (TM.isPPC64()) 924*0b57cec5SDimitry Andric FrameIdx = 0; 925*0b57cec5SDimitry Andric else { 926*0b57cec5SDimitry Andric const PPCFunctionInfo *FI = MF.getInfo<PPCFunctionInfo>(); 927*0b57cec5SDimitry Andric FrameIdx = FI->getCRSpillFrameIndex(); 928*0b57cec5SDimitry Andric } 929*0b57cec5SDimitry Andric return true; 930*0b57cec5SDimitry Andric } 931*0b57cec5SDimitry Andric return false; 932*0b57cec5SDimitry Andric } 933*0b57cec5SDimitry Andric 934*0b57cec5SDimitry Andric // If the offset must be a multiple of some value, return what that value is. 935*0b57cec5SDimitry Andric static unsigned offsetMinAlignForOpcode(unsigned OpC) { 936*0b57cec5SDimitry Andric switch (OpC) { 937*0b57cec5SDimitry Andric default: 938*0b57cec5SDimitry Andric return 1; 939*0b57cec5SDimitry Andric case PPC::LWA: 940*0b57cec5SDimitry Andric case PPC::LWA_32: 941*0b57cec5SDimitry Andric case PPC::LD: 942*0b57cec5SDimitry Andric case PPC::LDU: 943*0b57cec5SDimitry Andric case PPC::STD: 944*0b57cec5SDimitry Andric case PPC::STDU: 945*0b57cec5SDimitry Andric case PPC::DFLOADf32: 946*0b57cec5SDimitry Andric case PPC::DFLOADf64: 947*0b57cec5SDimitry Andric case PPC::DFSTOREf32: 948*0b57cec5SDimitry Andric case PPC::DFSTOREf64: 949*0b57cec5SDimitry Andric case PPC::LXSD: 950*0b57cec5SDimitry Andric case PPC::LXSSP: 951*0b57cec5SDimitry Andric case PPC::STXSD: 952*0b57cec5SDimitry Andric case PPC::STXSSP: 953*0b57cec5SDimitry Andric return 4; 954*0b57cec5SDimitry Andric case PPC::EVLDD: 955*0b57cec5SDimitry Andric case PPC::EVSTDD: 956*0b57cec5SDimitry Andric return 8; 957*0b57cec5SDimitry Andric case PPC::LXV: 958*0b57cec5SDimitry Andric case PPC::STXV: 959*0b57cec5SDimitry Andric return 16; 960*0b57cec5SDimitry Andric } 961*0b57cec5SDimitry Andric } 962*0b57cec5SDimitry Andric 963*0b57cec5SDimitry Andric // If the offset must be a multiple of some value, return what that value is. 964*0b57cec5SDimitry Andric static unsigned offsetMinAlign(const MachineInstr &MI) { 965*0b57cec5SDimitry Andric unsigned OpC = MI.getOpcode(); 966*0b57cec5SDimitry Andric return offsetMinAlignForOpcode(OpC); 967*0b57cec5SDimitry Andric } 968*0b57cec5SDimitry Andric 969*0b57cec5SDimitry Andric // Return the OffsetOperandNo given the FIOperandNum (and the instruction). 970*0b57cec5SDimitry Andric static unsigned getOffsetONFromFION(const MachineInstr &MI, 971*0b57cec5SDimitry Andric unsigned FIOperandNum) { 972*0b57cec5SDimitry Andric // Take into account whether it's an add or mem instruction 973*0b57cec5SDimitry Andric unsigned OffsetOperandNo = (FIOperandNum == 2) ? 1 : 2; 974*0b57cec5SDimitry Andric if (MI.isInlineAsm()) 975*0b57cec5SDimitry Andric OffsetOperandNo = FIOperandNum - 1; 976*0b57cec5SDimitry Andric else if (MI.getOpcode() == TargetOpcode::STACKMAP || 977*0b57cec5SDimitry Andric MI.getOpcode() == TargetOpcode::PATCHPOINT) 978*0b57cec5SDimitry Andric OffsetOperandNo = FIOperandNum + 1; 979*0b57cec5SDimitry Andric 980*0b57cec5SDimitry Andric return OffsetOperandNo; 981*0b57cec5SDimitry Andric } 982*0b57cec5SDimitry Andric 983*0b57cec5SDimitry Andric void 984*0b57cec5SDimitry Andric PPCRegisterInfo::eliminateFrameIndex(MachineBasicBlock::iterator II, 985*0b57cec5SDimitry Andric int SPAdj, unsigned FIOperandNum, 986*0b57cec5SDimitry Andric RegScavenger *RS) const { 987*0b57cec5SDimitry Andric assert(SPAdj == 0 && "Unexpected"); 988*0b57cec5SDimitry Andric 989*0b57cec5SDimitry Andric // Get the instruction. 990*0b57cec5SDimitry Andric MachineInstr &MI = *II; 991*0b57cec5SDimitry Andric // Get the instruction's basic block. 992*0b57cec5SDimitry Andric MachineBasicBlock &MBB = *MI.getParent(); 993*0b57cec5SDimitry Andric // Get the basic block's function. 994*0b57cec5SDimitry Andric MachineFunction &MF = *MBB.getParent(); 995*0b57cec5SDimitry Andric const PPCSubtarget &Subtarget = MF.getSubtarget<PPCSubtarget>(); 996*0b57cec5SDimitry Andric // Get the instruction info. 997*0b57cec5SDimitry Andric const TargetInstrInfo &TII = *Subtarget.getInstrInfo(); 998*0b57cec5SDimitry Andric // Get the frame info. 999*0b57cec5SDimitry Andric MachineFrameInfo &MFI = MF.getFrameInfo(); 1000*0b57cec5SDimitry Andric DebugLoc dl = MI.getDebugLoc(); 1001*0b57cec5SDimitry Andric 1002*0b57cec5SDimitry Andric unsigned OffsetOperandNo = getOffsetONFromFION(MI, FIOperandNum); 1003*0b57cec5SDimitry Andric 1004*0b57cec5SDimitry Andric // Get the frame index. 1005*0b57cec5SDimitry Andric int FrameIndex = MI.getOperand(FIOperandNum).getIndex(); 1006*0b57cec5SDimitry Andric 1007*0b57cec5SDimitry Andric // Get the frame pointer save index. Users of this index are primarily 1008*0b57cec5SDimitry Andric // DYNALLOC instructions. 1009*0b57cec5SDimitry Andric PPCFunctionInfo *FI = MF.getInfo<PPCFunctionInfo>(); 1010*0b57cec5SDimitry Andric int FPSI = FI->getFramePointerSaveIndex(); 1011*0b57cec5SDimitry Andric // Get the instruction opcode. 1012*0b57cec5SDimitry Andric unsigned OpC = MI.getOpcode(); 1013*0b57cec5SDimitry Andric 1014*0b57cec5SDimitry Andric if ((OpC == PPC::DYNAREAOFFSET || OpC == PPC::DYNAREAOFFSET8)) { 1015*0b57cec5SDimitry Andric lowerDynamicAreaOffset(II); 1016*0b57cec5SDimitry Andric return; 1017*0b57cec5SDimitry Andric } 1018*0b57cec5SDimitry Andric 1019*0b57cec5SDimitry Andric // Special case for dynamic alloca. 1020*0b57cec5SDimitry Andric if (FPSI && FrameIndex == FPSI && 1021*0b57cec5SDimitry Andric (OpC == PPC::DYNALLOC || OpC == PPC::DYNALLOC8)) { 1022*0b57cec5SDimitry Andric lowerDynamicAlloc(II); 1023*0b57cec5SDimitry Andric return; 1024*0b57cec5SDimitry Andric } 1025*0b57cec5SDimitry Andric 1026*0b57cec5SDimitry Andric // Special case for pseudo-ops SPILL_CR and RESTORE_CR, etc. 1027*0b57cec5SDimitry Andric if (OpC == PPC::SPILL_CR) { 1028*0b57cec5SDimitry Andric lowerCRSpilling(II, FrameIndex); 1029*0b57cec5SDimitry Andric return; 1030*0b57cec5SDimitry Andric } else if (OpC == PPC::RESTORE_CR) { 1031*0b57cec5SDimitry Andric lowerCRRestore(II, FrameIndex); 1032*0b57cec5SDimitry Andric return; 1033*0b57cec5SDimitry Andric } else if (OpC == PPC::SPILL_CRBIT) { 1034*0b57cec5SDimitry Andric lowerCRBitSpilling(II, FrameIndex); 1035*0b57cec5SDimitry Andric return; 1036*0b57cec5SDimitry Andric } else if (OpC == PPC::RESTORE_CRBIT) { 1037*0b57cec5SDimitry Andric lowerCRBitRestore(II, FrameIndex); 1038*0b57cec5SDimitry Andric return; 1039*0b57cec5SDimitry Andric } else if (OpC == PPC::SPILL_VRSAVE) { 1040*0b57cec5SDimitry Andric lowerVRSAVESpilling(II, FrameIndex); 1041*0b57cec5SDimitry Andric return; 1042*0b57cec5SDimitry Andric } else if (OpC == PPC::RESTORE_VRSAVE) { 1043*0b57cec5SDimitry Andric lowerVRSAVERestore(II, FrameIndex); 1044*0b57cec5SDimitry Andric return; 1045*0b57cec5SDimitry Andric } 1046*0b57cec5SDimitry Andric 1047*0b57cec5SDimitry Andric // Replace the FrameIndex with base register with GPR1 (SP) or GPR31 (FP). 1048*0b57cec5SDimitry Andric MI.getOperand(FIOperandNum).ChangeToRegister( 1049*0b57cec5SDimitry Andric FrameIndex < 0 ? getBaseRegister(MF) : getFrameRegister(MF), false); 1050*0b57cec5SDimitry Andric 1051*0b57cec5SDimitry Andric // If the instruction is not present in ImmToIdxMap, then it has no immediate 1052*0b57cec5SDimitry Andric // form (and must be r+r). 1053*0b57cec5SDimitry Andric bool noImmForm = !MI.isInlineAsm() && OpC != TargetOpcode::STACKMAP && 1054*0b57cec5SDimitry Andric OpC != TargetOpcode::PATCHPOINT && !ImmToIdxMap.count(OpC); 1055*0b57cec5SDimitry Andric 1056*0b57cec5SDimitry Andric // Now add the frame object offset to the offset from r1. 1057*0b57cec5SDimitry Andric int Offset = MFI.getObjectOffset(FrameIndex); 1058*0b57cec5SDimitry Andric Offset += MI.getOperand(OffsetOperandNo).getImm(); 1059*0b57cec5SDimitry Andric 1060*0b57cec5SDimitry Andric // If we're not using a Frame Pointer that has been set to the value of the 1061*0b57cec5SDimitry Andric // SP before having the stack size subtracted from it, then add the stack size 1062*0b57cec5SDimitry Andric // to Offset to get the correct offset. 1063*0b57cec5SDimitry Andric // Naked functions have stack size 0, although getStackSize may not reflect 1064*0b57cec5SDimitry Andric // that because we didn't call all the pieces that compute it for naked 1065*0b57cec5SDimitry Andric // functions. 1066*0b57cec5SDimitry Andric if (!MF.getFunction().hasFnAttribute(Attribute::Naked)) { 1067*0b57cec5SDimitry Andric if (!(hasBasePointer(MF) && FrameIndex < 0)) 1068*0b57cec5SDimitry Andric Offset += MFI.getStackSize(); 1069*0b57cec5SDimitry Andric } 1070*0b57cec5SDimitry Andric 1071*0b57cec5SDimitry Andric // If we can, encode the offset directly into the instruction. If this is a 1072*0b57cec5SDimitry Andric // normal PPC "ri" instruction, any 16-bit value can be safely encoded. If 1073*0b57cec5SDimitry Andric // this is a PPC64 "ix" instruction, only a 16-bit value with the low two bits 1074*0b57cec5SDimitry Andric // clear can be encoded. This is extremely uncommon, because normally you 1075*0b57cec5SDimitry Andric // only "std" to a stack slot that is at least 4-byte aligned, but it can 1076*0b57cec5SDimitry Andric // happen in invalid code. 1077*0b57cec5SDimitry Andric assert(OpC != PPC::DBG_VALUE && 1078*0b57cec5SDimitry Andric "This should be handled in a target-independent way"); 1079*0b57cec5SDimitry Andric bool OffsetFitsMnemonic = (OpC == PPC::EVSTDD || OpC == PPC::EVLDD) ? 1080*0b57cec5SDimitry Andric isUInt<8>(Offset) : 1081*0b57cec5SDimitry Andric isInt<16>(Offset); 1082*0b57cec5SDimitry Andric if (!noImmForm && ((OffsetFitsMnemonic && 1083*0b57cec5SDimitry Andric ((Offset % offsetMinAlign(MI)) == 0)) || 1084*0b57cec5SDimitry Andric OpC == TargetOpcode::STACKMAP || 1085*0b57cec5SDimitry Andric OpC == TargetOpcode::PATCHPOINT)) { 1086*0b57cec5SDimitry Andric MI.getOperand(OffsetOperandNo).ChangeToImmediate(Offset); 1087*0b57cec5SDimitry Andric return; 1088*0b57cec5SDimitry Andric } 1089*0b57cec5SDimitry Andric 1090*0b57cec5SDimitry Andric // The offset doesn't fit into a single register, scavenge one to build the 1091*0b57cec5SDimitry Andric // offset in. 1092*0b57cec5SDimitry Andric 1093*0b57cec5SDimitry Andric bool is64Bit = TM.isPPC64(); 1094*0b57cec5SDimitry Andric const TargetRegisterClass *G8RC = &PPC::G8RCRegClass; 1095*0b57cec5SDimitry Andric const TargetRegisterClass *GPRC = &PPC::GPRCRegClass; 1096*0b57cec5SDimitry Andric const TargetRegisterClass *RC = is64Bit ? G8RC : GPRC; 1097*0b57cec5SDimitry Andric unsigned SRegHi = MF.getRegInfo().createVirtualRegister(RC), 1098*0b57cec5SDimitry Andric SReg = MF.getRegInfo().createVirtualRegister(RC); 1099*0b57cec5SDimitry Andric 1100*0b57cec5SDimitry Andric // Insert a set of rA with the full offset value before the ld, st, or add 1101*0b57cec5SDimitry Andric if (isInt<16>(Offset)) 1102*0b57cec5SDimitry Andric BuildMI(MBB, II, dl, TII.get(is64Bit ? PPC::LI8 : PPC::LI), SReg) 1103*0b57cec5SDimitry Andric .addImm(Offset); 1104*0b57cec5SDimitry Andric else { 1105*0b57cec5SDimitry Andric BuildMI(MBB, II, dl, TII.get(is64Bit ? PPC::LIS8 : PPC::LIS), SRegHi) 1106*0b57cec5SDimitry Andric .addImm(Offset >> 16); 1107*0b57cec5SDimitry Andric BuildMI(MBB, II, dl, TII.get(is64Bit ? PPC::ORI8 : PPC::ORI), SReg) 1108*0b57cec5SDimitry Andric .addReg(SRegHi, RegState::Kill) 1109*0b57cec5SDimitry Andric .addImm(Offset); 1110*0b57cec5SDimitry Andric } 1111*0b57cec5SDimitry Andric 1112*0b57cec5SDimitry Andric // Convert into indexed form of the instruction: 1113*0b57cec5SDimitry Andric // 1114*0b57cec5SDimitry Andric // sth 0:rA, 1:imm 2:(rB) ==> sthx 0:rA, 2:rB, 1:r0 1115*0b57cec5SDimitry Andric // addi 0:rA 1:rB, 2, imm ==> add 0:rA, 1:rB, 2:r0 1116*0b57cec5SDimitry Andric unsigned OperandBase; 1117*0b57cec5SDimitry Andric 1118*0b57cec5SDimitry Andric if (noImmForm) 1119*0b57cec5SDimitry Andric OperandBase = 1; 1120*0b57cec5SDimitry Andric else if (OpC != TargetOpcode::INLINEASM && 1121*0b57cec5SDimitry Andric OpC != TargetOpcode::INLINEASM_BR) { 1122*0b57cec5SDimitry Andric assert(ImmToIdxMap.count(OpC) && 1123*0b57cec5SDimitry Andric "No indexed form of load or store available!"); 1124*0b57cec5SDimitry Andric unsigned NewOpcode = ImmToIdxMap.find(OpC)->second; 1125*0b57cec5SDimitry Andric MI.setDesc(TII.get(NewOpcode)); 1126*0b57cec5SDimitry Andric OperandBase = 1; 1127*0b57cec5SDimitry Andric } else { 1128*0b57cec5SDimitry Andric OperandBase = OffsetOperandNo; 1129*0b57cec5SDimitry Andric } 1130*0b57cec5SDimitry Andric 1131*0b57cec5SDimitry Andric unsigned StackReg = MI.getOperand(FIOperandNum).getReg(); 1132*0b57cec5SDimitry Andric MI.getOperand(OperandBase).ChangeToRegister(StackReg, false); 1133*0b57cec5SDimitry Andric MI.getOperand(OperandBase + 1).ChangeToRegister(SReg, false, false, true); 1134*0b57cec5SDimitry Andric } 1135*0b57cec5SDimitry Andric 1136*0b57cec5SDimitry Andric Register PPCRegisterInfo::getFrameRegister(const MachineFunction &MF) const { 1137*0b57cec5SDimitry Andric const PPCFrameLowering *TFI = getFrameLowering(MF); 1138*0b57cec5SDimitry Andric 1139*0b57cec5SDimitry Andric if (!TM.isPPC64()) 1140*0b57cec5SDimitry Andric return TFI->hasFP(MF) ? PPC::R31 : PPC::R1; 1141*0b57cec5SDimitry Andric else 1142*0b57cec5SDimitry Andric return TFI->hasFP(MF) ? PPC::X31 : PPC::X1; 1143*0b57cec5SDimitry Andric } 1144*0b57cec5SDimitry Andric 1145*0b57cec5SDimitry Andric Register PPCRegisterInfo::getBaseRegister(const MachineFunction &MF) const { 1146*0b57cec5SDimitry Andric const PPCSubtarget &Subtarget = MF.getSubtarget<PPCSubtarget>(); 1147*0b57cec5SDimitry Andric if (!hasBasePointer(MF)) 1148*0b57cec5SDimitry Andric return getFrameRegister(MF); 1149*0b57cec5SDimitry Andric 1150*0b57cec5SDimitry Andric if (TM.isPPC64()) 1151*0b57cec5SDimitry Andric return PPC::X30; 1152*0b57cec5SDimitry Andric 1153*0b57cec5SDimitry Andric if (Subtarget.isSVR4ABI() && TM.isPositionIndependent()) 1154*0b57cec5SDimitry Andric return PPC::R29; 1155*0b57cec5SDimitry Andric 1156*0b57cec5SDimitry Andric return PPC::R30; 1157*0b57cec5SDimitry Andric } 1158*0b57cec5SDimitry Andric 1159*0b57cec5SDimitry Andric bool PPCRegisterInfo::hasBasePointer(const MachineFunction &MF) const { 1160*0b57cec5SDimitry Andric if (!EnableBasePointer) 1161*0b57cec5SDimitry Andric return false; 1162*0b57cec5SDimitry Andric if (AlwaysBasePointer) 1163*0b57cec5SDimitry Andric return true; 1164*0b57cec5SDimitry Andric 1165*0b57cec5SDimitry Andric // If we need to realign the stack, then the stack pointer can no longer 1166*0b57cec5SDimitry Andric // serve as an offset into the caller's stack space. As a result, we need a 1167*0b57cec5SDimitry Andric // base pointer. 1168*0b57cec5SDimitry Andric return needsStackRealignment(MF); 1169*0b57cec5SDimitry Andric } 1170*0b57cec5SDimitry Andric 1171*0b57cec5SDimitry Andric /// Returns true if the instruction's frame index 1172*0b57cec5SDimitry Andric /// reference would be better served by a base register other than FP 1173*0b57cec5SDimitry Andric /// or SP. Used by LocalStackFrameAllocation to determine which frame index 1174*0b57cec5SDimitry Andric /// references it should create new base registers for. 1175*0b57cec5SDimitry Andric bool PPCRegisterInfo:: 1176*0b57cec5SDimitry Andric needsFrameBaseReg(MachineInstr *MI, int64_t Offset) const { 1177*0b57cec5SDimitry Andric assert(Offset < 0 && "Local offset must be negative"); 1178*0b57cec5SDimitry Andric 1179*0b57cec5SDimitry Andric // It's the load/store FI references that cause issues, as it can be difficult 1180*0b57cec5SDimitry Andric // to materialize the offset if it won't fit in the literal field. Estimate 1181*0b57cec5SDimitry Andric // based on the size of the local frame and some conservative assumptions 1182*0b57cec5SDimitry Andric // about the rest of the stack frame (note, this is pre-regalloc, so 1183*0b57cec5SDimitry Andric // we don't know everything for certain yet) whether this offset is likely 1184*0b57cec5SDimitry Andric // to be out of range of the immediate. Return true if so. 1185*0b57cec5SDimitry Andric 1186*0b57cec5SDimitry Andric // We only generate virtual base registers for loads and stores that have 1187*0b57cec5SDimitry Andric // an r+i form. Return false for everything else. 1188*0b57cec5SDimitry Andric unsigned OpC = MI->getOpcode(); 1189*0b57cec5SDimitry Andric if (!ImmToIdxMap.count(OpC)) 1190*0b57cec5SDimitry Andric return false; 1191*0b57cec5SDimitry Andric 1192*0b57cec5SDimitry Andric // Don't generate a new virtual base register just to add zero to it. 1193*0b57cec5SDimitry Andric if ((OpC == PPC::ADDI || OpC == PPC::ADDI8) && 1194*0b57cec5SDimitry Andric MI->getOperand(2).getImm() == 0) 1195*0b57cec5SDimitry Andric return false; 1196*0b57cec5SDimitry Andric 1197*0b57cec5SDimitry Andric MachineBasicBlock &MBB = *MI->getParent(); 1198*0b57cec5SDimitry Andric MachineFunction &MF = *MBB.getParent(); 1199*0b57cec5SDimitry Andric const PPCFrameLowering *TFI = getFrameLowering(MF); 1200*0b57cec5SDimitry Andric unsigned StackEst = TFI->determineFrameLayout(MF, true); 1201*0b57cec5SDimitry Andric 1202*0b57cec5SDimitry Andric // If we likely don't need a stack frame, then we probably don't need a 1203*0b57cec5SDimitry Andric // virtual base register either. 1204*0b57cec5SDimitry Andric if (!StackEst) 1205*0b57cec5SDimitry Andric return false; 1206*0b57cec5SDimitry Andric 1207*0b57cec5SDimitry Andric // Estimate an offset from the stack pointer. 1208*0b57cec5SDimitry Andric // The incoming offset is relating to the SP at the start of the function, 1209*0b57cec5SDimitry Andric // but when we access the local it'll be relative to the SP after local 1210*0b57cec5SDimitry Andric // allocation, so adjust our SP-relative offset by that allocation size. 1211*0b57cec5SDimitry Andric Offset += StackEst; 1212*0b57cec5SDimitry Andric 1213*0b57cec5SDimitry Andric // The frame pointer will point to the end of the stack, so estimate the 1214*0b57cec5SDimitry Andric // offset as the difference between the object offset and the FP location. 1215*0b57cec5SDimitry Andric return !isFrameOffsetLegal(MI, getBaseRegister(MF), Offset); 1216*0b57cec5SDimitry Andric } 1217*0b57cec5SDimitry Andric 1218*0b57cec5SDimitry Andric /// Insert defining instruction(s) for BaseReg to 1219*0b57cec5SDimitry Andric /// be a pointer to FrameIdx at the beginning of the basic block. 1220*0b57cec5SDimitry Andric void PPCRegisterInfo:: 1221*0b57cec5SDimitry Andric materializeFrameBaseRegister(MachineBasicBlock *MBB, 1222*0b57cec5SDimitry Andric unsigned BaseReg, int FrameIdx, 1223*0b57cec5SDimitry Andric int64_t Offset) const { 1224*0b57cec5SDimitry Andric unsigned ADDriOpc = TM.isPPC64() ? PPC::ADDI8 : PPC::ADDI; 1225*0b57cec5SDimitry Andric 1226*0b57cec5SDimitry Andric MachineBasicBlock::iterator Ins = MBB->begin(); 1227*0b57cec5SDimitry Andric DebugLoc DL; // Defaults to "unknown" 1228*0b57cec5SDimitry Andric if (Ins != MBB->end()) 1229*0b57cec5SDimitry Andric DL = Ins->getDebugLoc(); 1230*0b57cec5SDimitry Andric 1231*0b57cec5SDimitry Andric const MachineFunction &MF = *MBB->getParent(); 1232*0b57cec5SDimitry Andric const PPCSubtarget &Subtarget = MF.getSubtarget<PPCSubtarget>(); 1233*0b57cec5SDimitry Andric const TargetInstrInfo &TII = *Subtarget.getInstrInfo(); 1234*0b57cec5SDimitry Andric const MCInstrDesc &MCID = TII.get(ADDriOpc); 1235*0b57cec5SDimitry Andric MachineRegisterInfo &MRI = MBB->getParent()->getRegInfo(); 1236*0b57cec5SDimitry Andric MRI.constrainRegClass(BaseReg, TII.getRegClass(MCID, 0, this, MF)); 1237*0b57cec5SDimitry Andric 1238*0b57cec5SDimitry Andric BuildMI(*MBB, Ins, DL, MCID, BaseReg) 1239*0b57cec5SDimitry Andric .addFrameIndex(FrameIdx).addImm(Offset); 1240*0b57cec5SDimitry Andric } 1241*0b57cec5SDimitry Andric 1242*0b57cec5SDimitry Andric void PPCRegisterInfo::resolveFrameIndex(MachineInstr &MI, unsigned BaseReg, 1243*0b57cec5SDimitry Andric int64_t Offset) const { 1244*0b57cec5SDimitry Andric unsigned FIOperandNum = 0; 1245*0b57cec5SDimitry Andric while (!MI.getOperand(FIOperandNum).isFI()) { 1246*0b57cec5SDimitry Andric ++FIOperandNum; 1247*0b57cec5SDimitry Andric assert(FIOperandNum < MI.getNumOperands() && 1248*0b57cec5SDimitry Andric "Instr doesn't have FrameIndex operand!"); 1249*0b57cec5SDimitry Andric } 1250*0b57cec5SDimitry Andric 1251*0b57cec5SDimitry Andric MI.getOperand(FIOperandNum).ChangeToRegister(BaseReg, false); 1252*0b57cec5SDimitry Andric unsigned OffsetOperandNo = getOffsetONFromFION(MI, FIOperandNum); 1253*0b57cec5SDimitry Andric Offset += MI.getOperand(OffsetOperandNo).getImm(); 1254*0b57cec5SDimitry Andric MI.getOperand(OffsetOperandNo).ChangeToImmediate(Offset); 1255*0b57cec5SDimitry Andric 1256*0b57cec5SDimitry Andric MachineBasicBlock &MBB = *MI.getParent(); 1257*0b57cec5SDimitry Andric MachineFunction &MF = *MBB.getParent(); 1258*0b57cec5SDimitry Andric const PPCSubtarget &Subtarget = MF.getSubtarget<PPCSubtarget>(); 1259*0b57cec5SDimitry Andric const TargetInstrInfo &TII = *Subtarget.getInstrInfo(); 1260*0b57cec5SDimitry Andric const MCInstrDesc &MCID = MI.getDesc(); 1261*0b57cec5SDimitry Andric MachineRegisterInfo &MRI = MF.getRegInfo(); 1262*0b57cec5SDimitry Andric MRI.constrainRegClass(BaseReg, 1263*0b57cec5SDimitry Andric TII.getRegClass(MCID, FIOperandNum, this, MF)); 1264*0b57cec5SDimitry Andric } 1265*0b57cec5SDimitry Andric 1266*0b57cec5SDimitry Andric bool PPCRegisterInfo::isFrameOffsetLegal(const MachineInstr *MI, 1267*0b57cec5SDimitry Andric unsigned BaseReg, 1268*0b57cec5SDimitry Andric int64_t Offset) const { 1269*0b57cec5SDimitry Andric unsigned FIOperandNum = 0; 1270*0b57cec5SDimitry Andric while (!MI->getOperand(FIOperandNum).isFI()) { 1271*0b57cec5SDimitry Andric ++FIOperandNum; 1272*0b57cec5SDimitry Andric assert(FIOperandNum < MI->getNumOperands() && 1273*0b57cec5SDimitry Andric "Instr doesn't have FrameIndex operand!"); 1274*0b57cec5SDimitry Andric } 1275*0b57cec5SDimitry Andric 1276*0b57cec5SDimitry Andric unsigned OffsetOperandNo = getOffsetONFromFION(*MI, FIOperandNum); 1277*0b57cec5SDimitry Andric Offset += MI->getOperand(OffsetOperandNo).getImm(); 1278*0b57cec5SDimitry Andric 1279*0b57cec5SDimitry Andric return MI->getOpcode() == PPC::DBG_VALUE || // DBG_VALUE is always Reg+Imm 1280*0b57cec5SDimitry Andric MI->getOpcode() == TargetOpcode::STACKMAP || 1281*0b57cec5SDimitry Andric MI->getOpcode() == TargetOpcode::PATCHPOINT || 1282*0b57cec5SDimitry Andric (isInt<16>(Offset) && (Offset % offsetMinAlign(*MI)) == 0); 1283*0b57cec5SDimitry Andric } 1284