1*0b57cec5SDimitry Andric //===-- PPCFrameLowering.cpp - PPC Frame 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 PPC implementation of TargetFrameLowering class. 10*0b57cec5SDimitry Andric // 11*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 12*0b57cec5SDimitry Andric 135ffd83dbSDimitry Andric #include "MCTargetDesc/PPCPredicates.h" 14*0b57cec5SDimitry Andric #include "PPCFrameLowering.h" 15*0b57cec5SDimitry Andric #include "PPCInstrBuilder.h" 16*0b57cec5SDimitry Andric #include "PPCInstrInfo.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/Statistic.h" 21*0b57cec5SDimitry Andric #include "llvm/CodeGen/MachineFrameInfo.h" 22*0b57cec5SDimitry Andric #include "llvm/CodeGen/MachineFunction.h" 23*0b57cec5SDimitry Andric #include "llvm/CodeGen/MachineInstrBuilder.h" 24*0b57cec5SDimitry Andric #include "llvm/CodeGen/MachineModuleInfo.h" 25*0b57cec5SDimitry Andric #include "llvm/CodeGen/MachineRegisterInfo.h" 26*0b57cec5SDimitry Andric #include "llvm/CodeGen/RegisterScavenging.h" 27*0b57cec5SDimitry Andric #include "llvm/IR/Function.h" 28*0b57cec5SDimitry Andric #include "llvm/Target/TargetOptions.h" 29*0b57cec5SDimitry Andric 30*0b57cec5SDimitry Andric using namespace llvm; 31*0b57cec5SDimitry Andric 32*0b57cec5SDimitry Andric #define DEBUG_TYPE "framelowering" 33*0b57cec5SDimitry Andric STATISTIC(NumPESpillVSR, "Number of spills to vector in prologue"); 34*0b57cec5SDimitry Andric STATISTIC(NumPEReloadVSR, "Number of reloads from vector in epilogue"); 355ffd83dbSDimitry Andric STATISTIC(NumPrologProbed, "Number of prologues probed"); 36*0b57cec5SDimitry Andric 37*0b57cec5SDimitry Andric static cl::opt<bool> 38*0b57cec5SDimitry Andric EnablePEVectorSpills("ppc-enable-pe-vector-spills", 39*0b57cec5SDimitry Andric cl::desc("Enable spills in prologue to vector registers."), 40*0b57cec5SDimitry Andric cl::init(false), cl::Hidden); 41*0b57cec5SDimitry Andric 42*0b57cec5SDimitry Andric static unsigned computeReturnSaveOffset(const PPCSubtarget &STI) { 435ffd83dbSDimitry Andric if (STI.isAIXABI()) 44*0b57cec5SDimitry Andric return STI.isPPC64() ? 16 : 8; 45*0b57cec5SDimitry Andric // SVR4 ABI: 46*0b57cec5SDimitry Andric return STI.isPPC64() ? 16 : 4; 47*0b57cec5SDimitry Andric } 48*0b57cec5SDimitry Andric 49*0b57cec5SDimitry Andric static unsigned computeTOCSaveOffset(const PPCSubtarget &STI) { 508bcb0991SDimitry Andric if (STI.isAIXABI()) 518bcb0991SDimitry Andric return STI.isPPC64() ? 40 : 20; 52*0b57cec5SDimitry Andric return STI.isELFv2ABI() ? 24 : 40; 53*0b57cec5SDimitry Andric } 54*0b57cec5SDimitry Andric 55*0b57cec5SDimitry Andric static unsigned computeFramePointerSaveOffset(const PPCSubtarget &STI) { 565ffd83dbSDimitry Andric // First slot in the general register save area. 57*0b57cec5SDimitry Andric return STI.isPPC64() ? -8U : -4U; 58*0b57cec5SDimitry Andric } 59*0b57cec5SDimitry Andric 60*0b57cec5SDimitry Andric static unsigned computeLinkageSize(const PPCSubtarget &STI) { 615ffd83dbSDimitry Andric if (STI.isAIXABI() || STI.isPPC64()) 62*0b57cec5SDimitry Andric return (STI.isELFv2ABI() ? 4 : 6) * (STI.isPPC64() ? 8 : 4); 63*0b57cec5SDimitry Andric 64*0b57cec5SDimitry Andric // 32-bit SVR4 ABI: 65*0b57cec5SDimitry Andric return 8; 66*0b57cec5SDimitry Andric } 67*0b57cec5SDimitry Andric 68*0b57cec5SDimitry Andric static unsigned computeBasePointerSaveOffset(const PPCSubtarget &STI) { 695ffd83dbSDimitry Andric // Third slot in the general purpose register save area. 705ffd83dbSDimitry Andric if (STI.is32BitELFABI() && STI.getTargetMachine().isPositionIndependent()) 715ffd83dbSDimitry Andric return -12U; 72*0b57cec5SDimitry Andric 735ffd83dbSDimitry Andric // Second slot in the general purpose register save area. 745ffd83dbSDimitry Andric return STI.isPPC64() ? -16U : -8U; 75*0b57cec5SDimitry Andric } 76*0b57cec5SDimitry Andric 775ffd83dbSDimitry Andric static unsigned computeCRSaveOffset(const PPCSubtarget &STI) { 785ffd83dbSDimitry Andric return (STI.isAIXABI() && !STI.isPPC64()) ? 4 : 8; 798bcb0991SDimitry Andric } 808bcb0991SDimitry Andric 81*0b57cec5SDimitry Andric PPCFrameLowering::PPCFrameLowering(const PPCSubtarget &STI) 82*0b57cec5SDimitry Andric : TargetFrameLowering(TargetFrameLowering::StackGrowsDown, 83*0b57cec5SDimitry Andric STI.getPlatformStackAlignment(), 0), 84*0b57cec5SDimitry Andric Subtarget(STI), ReturnSaveOffset(computeReturnSaveOffset(Subtarget)), 85*0b57cec5SDimitry Andric TOCSaveOffset(computeTOCSaveOffset(Subtarget)), 86*0b57cec5SDimitry Andric FramePointerSaveOffset(computeFramePointerSaveOffset(Subtarget)), 87*0b57cec5SDimitry Andric LinkageSize(computeLinkageSize(Subtarget)), 888bcb0991SDimitry Andric BasePointerSaveOffset(computeBasePointerSaveOffset(Subtarget)), 895ffd83dbSDimitry Andric CRSaveOffset(computeCRSaveOffset(Subtarget)) {} 90*0b57cec5SDimitry Andric 91*0b57cec5SDimitry Andric // With the SVR4 ABI, callee-saved registers have fixed offsets on the stack. 92*0b57cec5SDimitry Andric const PPCFrameLowering::SpillSlot *PPCFrameLowering::getCalleeSavedSpillSlots( 93*0b57cec5SDimitry Andric unsigned &NumEntries) const { 94*0b57cec5SDimitry Andric 955ffd83dbSDimitry Andric // Floating-point register save area offsets. 965ffd83dbSDimitry Andric #define CALLEE_SAVED_FPRS \ 975ffd83dbSDimitry Andric {PPC::F31, -8}, \ 985ffd83dbSDimitry Andric {PPC::F30, -16}, \ 995ffd83dbSDimitry Andric {PPC::F29, -24}, \ 1005ffd83dbSDimitry Andric {PPC::F28, -32}, \ 1015ffd83dbSDimitry Andric {PPC::F27, -40}, \ 1025ffd83dbSDimitry Andric {PPC::F26, -48}, \ 1035ffd83dbSDimitry Andric {PPC::F25, -56}, \ 1045ffd83dbSDimitry Andric {PPC::F24, -64}, \ 1055ffd83dbSDimitry Andric {PPC::F23, -72}, \ 1065ffd83dbSDimitry Andric {PPC::F22, -80}, \ 1075ffd83dbSDimitry Andric {PPC::F21, -88}, \ 1085ffd83dbSDimitry Andric {PPC::F20, -96}, \ 1095ffd83dbSDimitry Andric {PPC::F19, -104}, \ 1105ffd83dbSDimitry Andric {PPC::F18, -112}, \ 1115ffd83dbSDimitry Andric {PPC::F17, -120}, \ 1125ffd83dbSDimitry Andric {PPC::F16, -128}, \ 1135ffd83dbSDimitry Andric {PPC::F15, -136}, \ 1145ffd83dbSDimitry Andric {PPC::F14, -144} 1155ffd83dbSDimitry Andric 1165ffd83dbSDimitry Andric // 32-bit general purpose register save area offsets shared by ELF and 1175ffd83dbSDimitry Andric // AIX. AIX has an extra CSR with r13. 1185ffd83dbSDimitry Andric #define CALLEE_SAVED_GPRS32 \ 1195ffd83dbSDimitry Andric {PPC::R31, -4}, \ 1205ffd83dbSDimitry Andric {PPC::R30, -8}, \ 1215ffd83dbSDimitry Andric {PPC::R29, -12}, \ 1225ffd83dbSDimitry Andric {PPC::R28, -16}, \ 1235ffd83dbSDimitry Andric {PPC::R27, -20}, \ 1245ffd83dbSDimitry Andric {PPC::R26, -24}, \ 1255ffd83dbSDimitry Andric {PPC::R25, -28}, \ 1265ffd83dbSDimitry Andric {PPC::R24, -32}, \ 1275ffd83dbSDimitry Andric {PPC::R23, -36}, \ 1285ffd83dbSDimitry Andric {PPC::R22, -40}, \ 1295ffd83dbSDimitry Andric {PPC::R21, -44}, \ 1305ffd83dbSDimitry Andric {PPC::R20, -48}, \ 1315ffd83dbSDimitry Andric {PPC::R19, -52}, \ 1325ffd83dbSDimitry Andric {PPC::R18, -56}, \ 1335ffd83dbSDimitry Andric {PPC::R17, -60}, \ 1345ffd83dbSDimitry Andric {PPC::R16, -64}, \ 1355ffd83dbSDimitry Andric {PPC::R15, -68}, \ 1365ffd83dbSDimitry Andric {PPC::R14, -72} 1375ffd83dbSDimitry Andric 1385ffd83dbSDimitry Andric // 64-bit general purpose register save area offsets. 1395ffd83dbSDimitry Andric #define CALLEE_SAVED_GPRS64 \ 1405ffd83dbSDimitry Andric {PPC::X31, -8}, \ 1415ffd83dbSDimitry Andric {PPC::X30, -16}, \ 1425ffd83dbSDimitry Andric {PPC::X29, -24}, \ 1435ffd83dbSDimitry Andric {PPC::X28, -32}, \ 1445ffd83dbSDimitry Andric {PPC::X27, -40}, \ 1455ffd83dbSDimitry Andric {PPC::X26, -48}, \ 1465ffd83dbSDimitry Andric {PPC::X25, -56}, \ 1475ffd83dbSDimitry Andric {PPC::X24, -64}, \ 1485ffd83dbSDimitry Andric {PPC::X23, -72}, \ 1495ffd83dbSDimitry Andric {PPC::X22, -80}, \ 1505ffd83dbSDimitry Andric {PPC::X21, -88}, \ 1515ffd83dbSDimitry Andric {PPC::X20, -96}, \ 1525ffd83dbSDimitry Andric {PPC::X19, -104}, \ 1535ffd83dbSDimitry Andric {PPC::X18, -112}, \ 1545ffd83dbSDimitry Andric {PPC::X17, -120}, \ 1555ffd83dbSDimitry Andric {PPC::X16, -128}, \ 1565ffd83dbSDimitry Andric {PPC::X15, -136}, \ 1575ffd83dbSDimitry Andric {PPC::X14, -144} 1585ffd83dbSDimitry Andric 1595ffd83dbSDimitry Andric // Vector register save area offsets. 1605ffd83dbSDimitry Andric #define CALLEE_SAVED_VRS \ 1615ffd83dbSDimitry Andric {PPC::V31, -16}, \ 1625ffd83dbSDimitry Andric {PPC::V30, -32}, \ 1635ffd83dbSDimitry Andric {PPC::V29, -48}, \ 1645ffd83dbSDimitry Andric {PPC::V28, -64}, \ 1655ffd83dbSDimitry Andric {PPC::V27, -80}, \ 1665ffd83dbSDimitry Andric {PPC::V26, -96}, \ 1675ffd83dbSDimitry Andric {PPC::V25, -112}, \ 1685ffd83dbSDimitry Andric {PPC::V24, -128}, \ 1695ffd83dbSDimitry Andric {PPC::V23, -144}, \ 1705ffd83dbSDimitry Andric {PPC::V22, -160}, \ 1715ffd83dbSDimitry Andric {PPC::V21, -176}, \ 1725ffd83dbSDimitry Andric {PPC::V20, -192} 173*0b57cec5SDimitry Andric 174*0b57cec5SDimitry Andric // Note that the offsets here overlap, but this is fixed up in 175*0b57cec5SDimitry Andric // processFunctionBeforeFrameFinalized. 176*0b57cec5SDimitry Andric 1775ffd83dbSDimitry Andric static const SpillSlot ELFOffsets32[] = { 1785ffd83dbSDimitry Andric CALLEE_SAVED_FPRS, 1795ffd83dbSDimitry Andric CALLEE_SAVED_GPRS32, 180*0b57cec5SDimitry Andric 181*0b57cec5SDimitry Andric // CR save area offset. We map each of the nonvolatile CR fields 182*0b57cec5SDimitry Andric // to the slot for CR2, which is the first of the nonvolatile CR 183*0b57cec5SDimitry Andric // fields to be assigned, so that we only allocate one save slot. 184*0b57cec5SDimitry Andric // See PPCRegisterInfo::hasReservedSpillSlot() for more information. 185*0b57cec5SDimitry Andric {PPC::CR2, -4}, 186*0b57cec5SDimitry Andric 187*0b57cec5SDimitry Andric // VRSAVE save area offset. 188*0b57cec5SDimitry Andric {PPC::VRSAVE, -4}, 189*0b57cec5SDimitry Andric 1905ffd83dbSDimitry Andric CALLEE_SAVED_VRS, 191*0b57cec5SDimitry Andric 192*0b57cec5SDimitry Andric // SPE register save area (overlaps Vector save area). 193*0b57cec5SDimitry Andric {PPC::S31, -8}, 194*0b57cec5SDimitry Andric {PPC::S30, -16}, 195*0b57cec5SDimitry Andric {PPC::S29, -24}, 196*0b57cec5SDimitry Andric {PPC::S28, -32}, 197*0b57cec5SDimitry Andric {PPC::S27, -40}, 198*0b57cec5SDimitry Andric {PPC::S26, -48}, 199*0b57cec5SDimitry Andric {PPC::S25, -56}, 200*0b57cec5SDimitry Andric {PPC::S24, -64}, 201*0b57cec5SDimitry Andric {PPC::S23, -72}, 202*0b57cec5SDimitry Andric {PPC::S22, -80}, 203*0b57cec5SDimitry Andric {PPC::S21, -88}, 204*0b57cec5SDimitry Andric {PPC::S20, -96}, 205*0b57cec5SDimitry Andric {PPC::S19, -104}, 206*0b57cec5SDimitry Andric {PPC::S18, -112}, 207*0b57cec5SDimitry Andric {PPC::S17, -120}, 208*0b57cec5SDimitry Andric {PPC::S16, -128}, 209*0b57cec5SDimitry Andric {PPC::S15, -136}, 210*0b57cec5SDimitry Andric {PPC::S14, -144}}; 211*0b57cec5SDimitry Andric 2125ffd83dbSDimitry Andric static const SpillSlot ELFOffsets64[] = { 2135ffd83dbSDimitry Andric CALLEE_SAVED_FPRS, 2145ffd83dbSDimitry Andric CALLEE_SAVED_GPRS64, 215*0b57cec5SDimitry Andric 216*0b57cec5SDimitry Andric // VRSAVE save area offset. 217*0b57cec5SDimitry Andric {PPC::VRSAVE, -4}, 2185ffd83dbSDimitry Andric CALLEE_SAVED_VRS 2195ffd83dbSDimitry Andric }; 220*0b57cec5SDimitry Andric 221e8d8bef9SDimitry Andric static const SpillSlot AIXOffsets32[] = {CALLEE_SAVED_FPRS, 2225ffd83dbSDimitry Andric CALLEE_SAVED_GPRS32, 2235ffd83dbSDimitry Andric // Add AIX's extra CSR. 2245ffd83dbSDimitry Andric {PPC::R13, -76}, 225e8d8bef9SDimitry Andric CALLEE_SAVED_VRS}; 2265ffd83dbSDimitry Andric 2275ffd83dbSDimitry Andric static const SpillSlot AIXOffsets64[] = { 228e8d8bef9SDimitry Andric CALLEE_SAVED_FPRS, CALLEE_SAVED_GPRS64, CALLEE_SAVED_VRS}; 2295ffd83dbSDimitry Andric 2305ffd83dbSDimitry Andric if (Subtarget.is64BitELFABI()) { 2315ffd83dbSDimitry Andric NumEntries = array_lengthof(ELFOffsets64); 2325ffd83dbSDimitry Andric return ELFOffsets64; 2335ffd83dbSDimitry Andric } 2345ffd83dbSDimitry Andric 2355ffd83dbSDimitry Andric if (Subtarget.is32BitELFABI()) { 2365ffd83dbSDimitry Andric NumEntries = array_lengthof(ELFOffsets32); 2375ffd83dbSDimitry Andric return ELFOffsets32; 2385ffd83dbSDimitry Andric } 2395ffd83dbSDimitry Andric 2405ffd83dbSDimitry Andric assert(Subtarget.isAIXABI() && "Unexpected ABI."); 241*0b57cec5SDimitry Andric 242*0b57cec5SDimitry Andric if (Subtarget.isPPC64()) { 2435ffd83dbSDimitry Andric NumEntries = array_lengthof(AIXOffsets64); 2445ffd83dbSDimitry Andric return AIXOffsets64; 245*0b57cec5SDimitry Andric } 2465ffd83dbSDimitry Andric 2475ffd83dbSDimitry Andric NumEntries = array_lengthof(AIXOffsets32); 2485ffd83dbSDimitry Andric return AIXOffsets32; 249*0b57cec5SDimitry Andric } 250*0b57cec5SDimitry Andric 251*0b57cec5SDimitry Andric static bool spillsCR(const MachineFunction &MF) { 252*0b57cec5SDimitry Andric const PPCFunctionInfo *FuncInfo = MF.getInfo<PPCFunctionInfo>(); 253*0b57cec5SDimitry Andric return FuncInfo->isCRSpilled(); 254*0b57cec5SDimitry Andric } 255*0b57cec5SDimitry Andric 256*0b57cec5SDimitry Andric static bool hasSpills(const MachineFunction &MF) { 257*0b57cec5SDimitry Andric const PPCFunctionInfo *FuncInfo = MF.getInfo<PPCFunctionInfo>(); 258*0b57cec5SDimitry Andric return FuncInfo->hasSpills(); 259*0b57cec5SDimitry Andric } 260*0b57cec5SDimitry Andric 261*0b57cec5SDimitry Andric static bool hasNonRISpills(const MachineFunction &MF) { 262*0b57cec5SDimitry Andric const PPCFunctionInfo *FuncInfo = MF.getInfo<PPCFunctionInfo>(); 263*0b57cec5SDimitry Andric return FuncInfo->hasNonRISpills(); 264*0b57cec5SDimitry Andric } 265*0b57cec5SDimitry Andric 266*0b57cec5SDimitry Andric /// MustSaveLR - Return true if this function requires that we save the LR 267*0b57cec5SDimitry Andric /// register onto the stack in the prolog and restore it in the epilog of the 268*0b57cec5SDimitry Andric /// function. 269*0b57cec5SDimitry Andric static bool MustSaveLR(const MachineFunction &MF, unsigned LR) { 270*0b57cec5SDimitry Andric const PPCFunctionInfo *MFI = MF.getInfo<PPCFunctionInfo>(); 271*0b57cec5SDimitry Andric 272*0b57cec5SDimitry Andric // We need a save/restore of LR if there is any def of LR (which is 273*0b57cec5SDimitry Andric // defined by calls, including the PIC setup sequence), or if there is 274*0b57cec5SDimitry Andric // some use of the LR stack slot (e.g. for builtin_return_address). 275*0b57cec5SDimitry Andric // (LR comes in 32 and 64 bit versions.) 276*0b57cec5SDimitry Andric MachineRegisterInfo::def_iterator RI = MF.getRegInfo().def_begin(LR); 277*0b57cec5SDimitry Andric return RI !=MF.getRegInfo().def_end() || MFI->isLRStoreRequired(); 278*0b57cec5SDimitry Andric } 279*0b57cec5SDimitry Andric 280*0b57cec5SDimitry Andric /// determineFrameLayoutAndUpdate - Determine the size of the frame and maximum 281*0b57cec5SDimitry Andric /// call frame size. Update the MachineFunction object with the stack size. 282349cc55cSDimitry Andric uint64_t 283*0b57cec5SDimitry Andric PPCFrameLowering::determineFrameLayoutAndUpdate(MachineFunction &MF, 284*0b57cec5SDimitry Andric bool UseEstimate) const { 285*0b57cec5SDimitry Andric unsigned NewMaxCallFrameSize = 0; 286349cc55cSDimitry Andric uint64_t FrameSize = determineFrameLayout(MF, UseEstimate, 287*0b57cec5SDimitry Andric &NewMaxCallFrameSize); 288*0b57cec5SDimitry Andric MF.getFrameInfo().setStackSize(FrameSize); 289*0b57cec5SDimitry Andric MF.getFrameInfo().setMaxCallFrameSize(NewMaxCallFrameSize); 290*0b57cec5SDimitry Andric return FrameSize; 291*0b57cec5SDimitry Andric } 292*0b57cec5SDimitry Andric 293*0b57cec5SDimitry Andric /// determineFrameLayout - Determine the size of the frame and maximum call 294*0b57cec5SDimitry Andric /// frame size. 295349cc55cSDimitry Andric uint64_t 296*0b57cec5SDimitry Andric PPCFrameLowering::determineFrameLayout(const MachineFunction &MF, 297*0b57cec5SDimitry Andric bool UseEstimate, 298*0b57cec5SDimitry Andric unsigned *NewMaxCallFrameSize) const { 299*0b57cec5SDimitry Andric const MachineFrameInfo &MFI = MF.getFrameInfo(); 300*0b57cec5SDimitry Andric const PPCFunctionInfo *FI = MF.getInfo<PPCFunctionInfo>(); 301*0b57cec5SDimitry Andric 302*0b57cec5SDimitry Andric // Get the number of bytes to allocate from the FrameInfo 303349cc55cSDimitry Andric uint64_t FrameSize = 304*0b57cec5SDimitry Andric UseEstimate ? MFI.estimateStackSize(MF) : MFI.getStackSize(); 305*0b57cec5SDimitry Andric 306*0b57cec5SDimitry Andric // Get stack alignments. The frame must be aligned to the greatest of these: 3075ffd83dbSDimitry Andric Align TargetAlign = getStackAlign(); // alignment required per the ABI 3085ffd83dbSDimitry Andric Align MaxAlign = MFI.getMaxAlign(); // algmt required by data in frame 3095ffd83dbSDimitry Andric Align Alignment = std::max(TargetAlign, MaxAlign); 310*0b57cec5SDimitry Andric 311*0b57cec5SDimitry Andric const PPCRegisterInfo *RegInfo = Subtarget.getRegisterInfo(); 312*0b57cec5SDimitry Andric 313*0b57cec5SDimitry Andric unsigned LR = RegInfo->getRARegister(); 314*0b57cec5SDimitry Andric bool DisableRedZone = MF.getFunction().hasFnAttribute(Attribute::NoRedZone); 315*0b57cec5SDimitry Andric bool CanUseRedZone = !MFI.hasVarSizedObjects() && // No dynamic alloca. 316*0b57cec5SDimitry Andric !MFI.adjustsStack() && // No calls. 317*0b57cec5SDimitry Andric !MustSaveLR(MF, LR) && // No need to save LR. 318*0b57cec5SDimitry Andric !FI->mustSaveTOC() && // No need to save TOC. 319*0b57cec5SDimitry Andric !RegInfo->hasBasePointer(MF); // No special alignment. 320*0b57cec5SDimitry Andric 321e8d8bef9SDimitry Andric // Note: for PPC32 SVR4ABI, we can still generate stackless 322*0b57cec5SDimitry Andric // code if all local vars are reg-allocated. 323*0b57cec5SDimitry Andric bool FitsInRedZone = FrameSize <= Subtarget.getRedZoneSize(); 324*0b57cec5SDimitry Andric 325*0b57cec5SDimitry Andric // Check whether we can skip adjusting the stack pointer (by using red zone) 326*0b57cec5SDimitry Andric if (!DisableRedZone && CanUseRedZone && FitsInRedZone) { 327*0b57cec5SDimitry Andric // No need for frame 328*0b57cec5SDimitry Andric return 0; 329*0b57cec5SDimitry Andric } 330*0b57cec5SDimitry Andric 331*0b57cec5SDimitry Andric // Get the maximum call frame size of all the calls. 332*0b57cec5SDimitry Andric unsigned maxCallFrameSize = MFI.getMaxCallFrameSize(); 333*0b57cec5SDimitry Andric 334*0b57cec5SDimitry Andric // Maximum call frame needs to be at least big enough for linkage area. 335*0b57cec5SDimitry Andric unsigned minCallFrameSize = getLinkageSize(); 336*0b57cec5SDimitry Andric maxCallFrameSize = std::max(maxCallFrameSize, minCallFrameSize); 337*0b57cec5SDimitry Andric 338*0b57cec5SDimitry Andric // If we have dynamic alloca then maxCallFrameSize needs to be aligned so 339*0b57cec5SDimitry Andric // that allocations will be aligned. 340*0b57cec5SDimitry Andric if (MFI.hasVarSizedObjects()) 3415ffd83dbSDimitry Andric maxCallFrameSize = alignTo(maxCallFrameSize, Alignment); 342*0b57cec5SDimitry Andric 343*0b57cec5SDimitry Andric // Update the new max call frame size if the caller passes in a valid pointer. 344*0b57cec5SDimitry Andric if (NewMaxCallFrameSize) 345*0b57cec5SDimitry Andric *NewMaxCallFrameSize = maxCallFrameSize; 346*0b57cec5SDimitry Andric 347*0b57cec5SDimitry Andric // Include call frame size in total. 348*0b57cec5SDimitry Andric FrameSize += maxCallFrameSize; 349*0b57cec5SDimitry Andric 350*0b57cec5SDimitry Andric // Make sure the frame is aligned. 3515ffd83dbSDimitry Andric FrameSize = alignTo(FrameSize, Alignment); 352*0b57cec5SDimitry Andric 353*0b57cec5SDimitry Andric return FrameSize; 354*0b57cec5SDimitry Andric } 355*0b57cec5SDimitry Andric 356*0b57cec5SDimitry Andric // hasFP - Return true if the specified function actually has a dedicated frame 357*0b57cec5SDimitry Andric // pointer register. 358*0b57cec5SDimitry Andric bool PPCFrameLowering::hasFP(const MachineFunction &MF) const { 359*0b57cec5SDimitry Andric const MachineFrameInfo &MFI = MF.getFrameInfo(); 360*0b57cec5SDimitry Andric // FIXME: This is pretty much broken by design: hasFP() might be called really 361*0b57cec5SDimitry Andric // early, before the stack layout was calculated and thus hasFP() might return 362*0b57cec5SDimitry Andric // true or false here depending on the time of call. 363*0b57cec5SDimitry Andric return (MFI.getStackSize()) && needsFP(MF); 364*0b57cec5SDimitry Andric } 365*0b57cec5SDimitry Andric 366*0b57cec5SDimitry Andric // needsFP - Return true if the specified function should have a dedicated frame 367*0b57cec5SDimitry Andric // pointer register. This is true if the function has variable sized allocas or 368*0b57cec5SDimitry Andric // if frame pointer elimination is disabled. 369*0b57cec5SDimitry Andric bool PPCFrameLowering::needsFP(const MachineFunction &MF) const { 370*0b57cec5SDimitry Andric const MachineFrameInfo &MFI = MF.getFrameInfo(); 371*0b57cec5SDimitry Andric 372*0b57cec5SDimitry Andric // Naked functions have no stack frame pushed, so we don't have a frame 373*0b57cec5SDimitry Andric // pointer. 374*0b57cec5SDimitry Andric if (MF.getFunction().hasFnAttribute(Attribute::Naked)) 375*0b57cec5SDimitry Andric return false; 376*0b57cec5SDimitry Andric 377*0b57cec5SDimitry Andric return MF.getTarget().Options.DisableFramePointerElim(MF) || 378*0b57cec5SDimitry Andric MFI.hasVarSizedObjects() || MFI.hasStackMap() || MFI.hasPatchPoint() || 379e8d8bef9SDimitry Andric MF.exposesReturnsTwice() || 380*0b57cec5SDimitry Andric (MF.getTarget().Options.GuaranteedTailCallOpt && 381*0b57cec5SDimitry Andric MF.getInfo<PPCFunctionInfo>()->hasFastCall()); 382*0b57cec5SDimitry Andric } 383*0b57cec5SDimitry Andric 384*0b57cec5SDimitry Andric void PPCFrameLowering::replaceFPWithRealFP(MachineFunction &MF) const { 385*0b57cec5SDimitry Andric bool is31 = needsFP(MF); 386*0b57cec5SDimitry Andric unsigned FPReg = is31 ? PPC::R31 : PPC::R1; 387*0b57cec5SDimitry Andric unsigned FP8Reg = is31 ? PPC::X31 : PPC::X1; 388*0b57cec5SDimitry Andric 389*0b57cec5SDimitry Andric const PPCRegisterInfo *RegInfo = Subtarget.getRegisterInfo(); 390*0b57cec5SDimitry Andric bool HasBP = RegInfo->hasBasePointer(MF); 391*0b57cec5SDimitry Andric unsigned BPReg = HasBP ? (unsigned) RegInfo->getBaseRegister(MF) : FPReg; 392*0b57cec5SDimitry Andric unsigned BP8Reg = HasBP ? (unsigned) PPC::X30 : FP8Reg; 393*0b57cec5SDimitry Andric 394*0b57cec5SDimitry Andric for (MachineFunction::iterator BI = MF.begin(), BE = MF.end(); 395*0b57cec5SDimitry Andric BI != BE; ++BI) 396*0b57cec5SDimitry Andric for (MachineBasicBlock::iterator MBBI = BI->end(); MBBI != BI->begin(); ) { 397*0b57cec5SDimitry Andric --MBBI; 398*0b57cec5SDimitry Andric for (unsigned I = 0, E = MBBI->getNumOperands(); I != E; ++I) { 399*0b57cec5SDimitry Andric MachineOperand &MO = MBBI->getOperand(I); 400*0b57cec5SDimitry Andric if (!MO.isReg()) 401*0b57cec5SDimitry Andric continue; 402*0b57cec5SDimitry Andric 403*0b57cec5SDimitry Andric switch (MO.getReg()) { 404*0b57cec5SDimitry Andric case PPC::FP: 405*0b57cec5SDimitry Andric MO.setReg(FPReg); 406*0b57cec5SDimitry Andric break; 407*0b57cec5SDimitry Andric case PPC::FP8: 408*0b57cec5SDimitry Andric MO.setReg(FP8Reg); 409*0b57cec5SDimitry Andric break; 410*0b57cec5SDimitry Andric case PPC::BP: 411*0b57cec5SDimitry Andric MO.setReg(BPReg); 412*0b57cec5SDimitry Andric break; 413*0b57cec5SDimitry Andric case PPC::BP8: 414*0b57cec5SDimitry Andric MO.setReg(BP8Reg); 415*0b57cec5SDimitry Andric break; 416*0b57cec5SDimitry Andric 417*0b57cec5SDimitry Andric } 418*0b57cec5SDimitry Andric } 419*0b57cec5SDimitry Andric } 420*0b57cec5SDimitry Andric } 421*0b57cec5SDimitry Andric 422*0b57cec5SDimitry Andric /* This function will do the following: 423*0b57cec5SDimitry Andric - If MBB is an entry or exit block, set SR1 and SR2 to R0 and R12 424*0b57cec5SDimitry Andric respectively (defaults recommended by the ABI) and return true 425*0b57cec5SDimitry Andric - If MBB is not an entry block, initialize the register scavenger and look 426*0b57cec5SDimitry Andric for available registers. 427*0b57cec5SDimitry Andric - If the defaults (R0/R12) are available, return true 428*0b57cec5SDimitry Andric - If TwoUniqueRegsRequired is set to true, it looks for two unique 429*0b57cec5SDimitry Andric registers. Otherwise, look for a single available register. 430*0b57cec5SDimitry Andric - If the required registers are found, set SR1 and SR2 and return true. 431*0b57cec5SDimitry Andric - If the required registers are not found, set SR2 or both SR1 and SR2 to 432*0b57cec5SDimitry Andric PPC::NoRegister and return false. 433*0b57cec5SDimitry Andric 434*0b57cec5SDimitry Andric Note that if both SR1 and SR2 are valid parameters and TwoUniqueRegsRequired 435*0b57cec5SDimitry Andric is not set, this function will attempt to find two different registers, but 436*0b57cec5SDimitry Andric still return true if only one register is available (and set SR1 == SR2). 437*0b57cec5SDimitry Andric */ 438*0b57cec5SDimitry Andric bool 439*0b57cec5SDimitry Andric PPCFrameLowering::findScratchRegister(MachineBasicBlock *MBB, 440*0b57cec5SDimitry Andric bool UseAtEnd, 441*0b57cec5SDimitry Andric bool TwoUniqueRegsRequired, 4425ffd83dbSDimitry Andric Register *SR1, 4435ffd83dbSDimitry Andric Register *SR2) const { 444*0b57cec5SDimitry Andric RegScavenger RS; 4455ffd83dbSDimitry Andric Register R0 = Subtarget.isPPC64() ? PPC::X0 : PPC::R0; 4465ffd83dbSDimitry Andric Register R12 = Subtarget.isPPC64() ? PPC::X12 : PPC::R12; 447*0b57cec5SDimitry Andric 448*0b57cec5SDimitry Andric // Set the defaults for the two scratch registers. 449*0b57cec5SDimitry Andric if (SR1) 450*0b57cec5SDimitry Andric *SR1 = R0; 451*0b57cec5SDimitry Andric 452*0b57cec5SDimitry Andric if (SR2) { 453*0b57cec5SDimitry Andric assert (SR1 && "Asking for the second scratch register but not the first?"); 454*0b57cec5SDimitry Andric *SR2 = R12; 455*0b57cec5SDimitry Andric } 456*0b57cec5SDimitry Andric 457*0b57cec5SDimitry Andric // If MBB is an entry or exit block, use R0 and R12 as the scratch registers. 458*0b57cec5SDimitry Andric if ((UseAtEnd && MBB->isReturnBlock()) || 459*0b57cec5SDimitry Andric (!UseAtEnd && (&MBB->getParent()->front() == MBB))) 460*0b57cec5SDimitry Andric return true; 461*0b57cec5SDimitry Andric 462*0b57cec5SDimitry Andric RS.enterBasicBlock(*MBB); 463*0b57cec5SDimitry Andric 464*0b57cec5SDimitry Andric if (UseAtEnd && !MBB->empty()) { 465*0b57cec5SDimitry Andric // The scratch register will be used at the end of the block, so must 466*0b57cec5SDimitry Andric // consider all registers used within the block 467*0b57cec5SDimitry Andric 468*0b57cec5SDimitry Andric MachineBasicBlock::iterator MBBI = MBB->getFirstTerminator(); 469*0b57cec5SDimitry Andric // If no terminator, back iterator up to previous instruction. 470*0b57cec5SDimitry Andric if (MBBI == MBB->end()) 471*0b57cec5SDimitry Andric MBBI = std::prev(MBBI); 472*0b57cec5SDimitry Andric 473*0b57cec5SDimitry Andric if (MBBI != MBB->begin()) 474*0b57cec5SDimitry Andric RS.forward(MBBI); 475*0b57cec5SDimitry Andric } 476*0b57cec5SDimitry Andric 477*0b57cec5SDimitry Andric // If the two registers are available, we're all good. 478*0b57cec5SDimitry Andric // Note that we only return here if both R0 and R12 are available because 479*0b57cec5SDimitry Andric // although the function may not require two unique registers, it may benefit 480*0b57cec5SDimitry Andric // from having two so we should try to provide them. 481*0b57cec5SDimitry Andric if (!RS.isRegUsed(R0) && !RS.isRegUsed(R12)) 482*0b57cec5SDimitry Andric return true; 483*0b57cec5SDimitry Andric 484*0b57cec5SDimitry Andric // Get the list of callee-saved registers for the target. 485*0b57cec5SDimitry Andric const PPCRegisterInfo *RegInfo = Subtarget.getRegisterInfo(); 486*0b57cec5SDimitry Andric const MCPhysReg *CSRegs = RegInfo->getCalleeSavedRegs(MBB->getParent()); 487*0b57cec5SDimitry Andric 488*0b57cec5SDimitry Andric // Get all the available registers in the block. 489*0b57cec5SDimitry Andric BitVector BV = RS.getRegsAvailable(Subtarget.isPPC64() ? &PPC::G8RCRegClass : 490*0b57cec5SDimitry Andric &PPC::GPRCRegClass); 491*0b57cec5SDimitry Andric 492*0b57cec5SDimitry Andric // We shouldn't use callee-saved registers as scratch registers as they may be 493*0b57cec5SDimitry Andric // available when looking for a candidate block for shrink wrapping but not 494*0b57cec5SDimitry Andric // available when the actual prologue/epilogue is being emitted because they 495*0b57cec5SDimitry Andric // were added as live-in to the prologue block by PrologueEpilogueInserter. 496*0b57cec5SDimitry Andric for (int i = 0; CSRegs[i]; ++i) 497*0b57cec5SDimitry Andric BV.reset(CSRegs[i]); 498*0b57cec5SDimitry Andric 499*0b57cec5SDimitry Andric // Set the first scratch register to the first available one. 500*0b57cec5SDimitry Andric if (SR1) { 501*0b57cec5SDimitry Andric int FirstScratchReg = BV.find_first(); 502*0b57cec5SDimitry Andric *SR1 = FirstScratchReg == -1 ? (unsigned)PPC::NoRegister : FirstScratchReg; 503*0b57cec5SDimitry Andric } 504*0b57cec5SDimitry Andric 505*0b57cec5SDimitry Andric // If there is another one available, set the second scratch register to that. 506*0b57cec5SDimitry Andric // Otherwise, set it to either PPC::NoRegister if this function requires two 507*0b57cec5SDimitry Andric // or to whatever SR1 is set to if this function doesn't require two. 508*0b57cec5SDimitry Andric if (SR2) { 509*0b57cec5SDimitry Andric int SecondScratchReg = BV.find_next(*SR1); 510*0b57cec5SDimitry Andric if (SecondScratchReg != -1) 511*0b57cec5SDimitry Andric *SR2 = SecondScratchReg; 512*0b57cec5SDimitry Andric else 5135ffd83dbSDimitry Andric *SR2 = TwoUniqueRegsRequired ? Register() : *SR1; 514*0b57cec5SDimitry Andric } 515*0b57cec5SDimitry Andric 516*0b57cec5SDimitry Andric // Now that we've done our best to provide both registers, double check 517*0b57cec5SDimitry Andric // whether we were unable to provide enough. 518*0b57cec5SDimitry Andric if (BV.count() < (TwoUniqueRegsRequired ? 2U : 1U)) 519*0b57cec5SDimitry Andric return false; 520*0b57cec5SDimitry Andric 521*0b57cec5SDimitry Andric return true; 522*0b57cec5SDimitry Andric } 523*0b57cec5SDimitry Andric 524*0b57cec5SDimitry Andric // We need a scratch register for spilling LR and for spilling CR. By default, 525*0b57cec5SDimitry Andric // we use two scratch registers to hide latency. However, if only one scratch 526*0b57cec5SDimitry Andric // register is available, we can adjust for that by not overlapping the spill 527*0b57cec5SDimitry Andric // code. However, if we need to realign the stack (i.e. have a base pointer) 528*0b57cec5SDimitry Andric // and the stack frame is large, we need two scratch registers. 529e8d8bef9SDimitry Andric // Also, stack probe requires two scratch registers, one for old sp, one for 530e8d8bef9SDimitry Andric // large frame and large probe size. 531*0b57cec5SDimitry Andric bool 532*0b57cec5SDimitry Andric PPCFrameLowering::twoUniqueScratchRegsRequired(MachineBasicBlock *MBB) const { 533*0b57cec5SDimitry Andric const PPCRegisterInfo *RegInfo = Subtarget.getRegisterInfo(); 534*0b57cec5SDimitry Andric MachineFunction &MF = *(MBB->getParent()); 535*0b57cec5SDimitry Andric bool HasBP = RegInfo->hasBasePointer(MF); 536*0b57cec5SDimitry Andric unsigned FrameSize = determineFrameLayout(MF); 537*0b57cec5SDimitry Andric int NegFrameSize = -FrameSize; 538*0b57cec5SDimitry Andric bool IsLargeFrame = !isInt<16>(NegFrameSize); 539*0b57cec5SDimitry Andric MachineFrameInfo &MFI = MF.getFrameInfo(); 5405ffd83dbSDimitry Andric Align MaxAlign = MFI.getMaxAlign(); 541*0b57cec5SDimitry Andric bool HasRedZone = Subtarget.isPPC64() || !Subtarget.isSVR4ABI(); 542e8d8bef9SDimitry Andric const PPCTargetLowering &TLI = *Subtarget.getTargetLowering(); 543*0b57cec5SDimitry Andric 544e8d8bef9SDimitry Andric return ((IsLargeFrame || !HasRedZone) && HasBP && MaxAlign > 1) || 545e8d8bef9SDimitry Andric TLI.hasInlineStackProbe(MF); 546*0b57cec5SDimitry Andric } 547*0b57cec5SDimitry Andric 548*0b57cec5SDimitry Andric bool PPCFrameLowering::canUseAsPrologue(const MachineBasicBlock &MBB) const { 549*0b57cec5SDimitry Andric MachineBasicBlock *TmpMBB = const_cast<MachineBasicBlock *>(&MBB); 550*0b57cec5SDimitry Andric 551*0b57cec5SDimitry Andric return findScratchRegister(TmpMBB, false, 552*0b57cec5SDimitry Andric twoUniqueScratchRegsRequired(TmpMBB)); 553*0b57cec5SDimitry Andric } 554*0b57cec5SDimitry Andric 555*0b57cec5SDimitry Andric bool PPCFrameLowering::canUseAsEpilogue(const MachineBasicBlock &MBB) const { 556*0b57cec5SDimitry Andric MachineBasicBlock *TmpMBB = const_cast<MachineBasicBlock *>(&MBB); 557*0b57cec5SDimitry Andric 558*0b57cec5SDimitry Andric return findScratchRegister(TmpMBB, true); 559*0b57cec5SDimitry Andric } 560*0b57cec5SDimitry Andric 561*0b57cec5SDimitry Andric bool PPCFrameLowering::stackUpdateCanBeMoved(MachineFunction &MF) const { 562*0b57cec5SDimitry Andric const PPCRegisterInfo *RegInfo = Subtarget.getRegisterInfo(); 563*0b57cec5SDimitry Andric PPCFunctionInfo *FI = MF.getInfo<PPCFunctionInfo>(); 564*0b57cec5SDimitry Andric 565*0b57cec5SDimitry Andric // Abort if there is no register info or function info. 566*0b57cec5SDimitry Andric if (!RegInfo || !FI) 567*0b57cec5SDimitry Andric return false; 568*0b57cec5SDimitry Andric 569*0b57cec5SDimitry Andric // Only move the stack update on ELFv2 ABI and PPC64. 570*0b57cec5SDimitry Andric if (!Subtarget.isELFv2ABI() || !Subtarget.isPPC64()) 571*0b57cec5SDimitry Andric return false; 572*0b57cec5SDimitry Andric 573*0b57cec5SDimitry Andric // Check the frame size first and return false if it does not fit the 574*0b57cec5SDimitry Andric // requirements. 575*0b57cec5SDimitry Andric // We need a non-zero frame size as well as a frame that will fit in the red 576*0b57cec5SDimitry Andric // zone. This is because by moving the stack pointer update we are now storing 577*0b57cec5SDimitry Andric // to the red zone until the stack pointer is updated. If we get an interrupt 578*0b57cec5SDimitry Andric // inside the prologue but before the stack update we now have a number of 579*0b57cec5SDimitry Andric // stores to the red zone and those stores must all fit. 580*0b57cec5SDimitry Andric MachineFrameInfo &MFI = MF.getFrameInfo(); 581*0b57cec5SDimitry Andric unsigned FrameSize = MFI.getStackSize(); 582*0b57cec5SDimitry Andric if (!FrameSize || FrameSize > Subtarget.getRedZoneSize()) 583*0b57cec5SDimitry Andric return false; 584*0b57cec5SDimitry Andric 585*0b57cec5SDimitry Andric // Frame pointers and base pointers complicate matters so don't do anything 586*0b57cec5SDimitry Andric // if we have them. For example having a frame pointer will sometimes require 587*0b57cec5SDimitry Andric // a copy of r1 into r31 and that makes keeping track of updates to r1 more 588e8d8bef9SDimitry Andric // difficult. Similar situation exists with setjmp. 589e8d8bef9SDimitry Andric if (hasFP(MF) || RegInfo->hasBasePointer(MF) || MF.exposesReturnsTwice()) 590*0b57cec5SDimitry Andric return false; 591*0b57cec5SDimitry Andric 592*0b57cec5SDimitry Andric // Calls to fast_cc functions use different rules for passing parameters on 593*0b57cec5SDimitry Andric // the stack from the ABI and using PIC base in the function imposes 594*0b57cec5SDimitry Andric // similar restrictions to using the base pointer. It is not generally safe 595*0b57cec5SDimitry Andric // to move the stack pointer update in these situations. 596*0b57cec5SDimitry Andric if (FI->hasFastCall() || FI->usesPICBase()) 597*0b57cec5SDimitry Andric return false; 598*0b57cec5SDimitry Andric 599*0b57cec5SDimitry Andric // Finally we can move the stack update if we do not require register 600*0b57cec5SDimitry Andric // scavenging. Register scavenging can introduce more spills and so 601*0b57cec5SDimitry Andric // may make the frame size larger than we have computed. 602*0b57cec5SDimitry Andric return !RegInfo->requiresFrameIndexScavenging(MF); 603*0b57cec5SDimitry Andric } 604*0b57cec5SDimitry Andric 605*0b57cec5SDimitry Andric void PPCFrameLowering::emitPrologue(MachineFunction &MF, 606*0b57cec5SDimitry Andric MachineBasicBlock &MBB) const { 607*0b57cec5SDimitry Andric MachineBasicBlock::iterator MBBI = MBB.begin(); 608*0b57cec5SDimitry Andric MachineFrameInfo &MFI = MF.getFrameInfo(); 609*0b57cec5SDimitry Andric const PPCInstrInfo &TII = *Subtarget.getInstrInfo(); 610*0b57cec5SDimitry Andric const PPCRegisterInfo *RegInfo = Subtarget.getRegisterInfo(); 6115ffd83dbSDimitry Andric const PPCTargetLowering &TLI = *Subtarget.getTargetLowering(); 612*0b57cec5SDimitry Andric 613*0b57cec5SDimitry Andric MachineModuleInfo &MMI = MF.getMMI(); 614*0b57cec5SDimitry Andric const MCRegisterInfo *MRI = MMI.getContext().getRegisterInfo(); 615*0b57cec5SDimitry Andric DebugLoc dl; 6165ffd83dbSDimitry Andric // AIX assembler does not support cfi directives. 6175ffd83dbSDimitry Andric const bool needsCFI = MF.needsFrameMoves() && !Subtarget.isAIXABI(); 618*0b57cec5SDimitry Andric 619*0b57cec5SDimitry Andric // Get processor type. 620*0b57cec5SDimitry Andric bool isPPC64 = Subtarget.isPPC64(); 621*0b57cec5SDimitry Andric // Get the ABI. 622*0b57cec5SDimitry Andric bool isSVR4ABI = Subtarget.isSVR4ABI(); 623*0b57cec5SDimitry Andric bool isELFv2ABI = Subtarget.isELFv2ABI(); 624e8d8bef9SDimitry Andric assert((isSVR4ABI || Subtarget.isAIXABI()) && "Unsupported PPC ABI."); 625*0b57cec5SDimitry Andric 626*0b57cec5SDimitry Andric // Work out frame sizes. 627349cc55cSDimitry Andric uint64_t FrameSize = determineFrameLayoutAndUpdate(MF); 628349cc55cSDimitry Andric int64_t NegFrameSize = -FrameSize; 629349cc55cSDimitry Andric if (!isInt<32>(FrameSize) || !isInt<32>(NegFrameSize)) 630*0b57cec5SDimitry Andric llvm_unreachable("Unhandled stack size!"); 631*0b57cec5SDimitry Andric 632*0b57cec5SDimitry Andric if (MFI.isFrameAddressTaken()) 633*0b57cec5SDimitry Andric replaceFPWithRealFP(MF); 634*0b57cec5SDimitry Andric 635*0b57cec5SDimitry Andric // Check if the link register (LR) must be saved. 636*0b57cec5SDimitry Andric PPCFunctionInfo *FI = MF.getInfo<PPCFunctionInfo>(); 637*0b57cec5SDimitry Andric bool MustSaveLR = FI->mustSaveLR(); 638*0b57cec5SDimitry Andric bool MustSaveTOC = FI->mustSaveTOC(); 6395ffd83dbSDimitry Andric const SmallVectorImpl<Register> &MustSaveCRs = FI->getMustSaveCRs(); 640*0b57cec5SDimitry Andric bool MustSaveCR = !MustSaveCRs.empty(); 641*0b57cec5SDimitry Andric // Do we have a frame pointer and/or base pointer for this function? 642*0b57cec5SDimitry Andric bool HasFP = hasFP(MF); 643*0b57cec5SDimitry Andric bool HasBP = RegInfo->hasBasePointer(MF); 644*0b57cec5SDimitry Andric bool HasRedZone = isPPC64 || !isSVR4ABI; 645fe6060f1SDimitry Andric bool HasROPProtect = Subtarget.hasROPProtect(); 646fe6060f1SDimitry Andric bool HasPrivileged = Subtarget.hasPrivileged(); 647*0b57cec5SDimitry Andric 6485ffd83dbSDimitry Andric Register SPReg = isPPC64 ? PPC::X1 : PPC::R1; 6498bcb0991SDimitry Andric Register BPReg = RegInfo->getBaseRegister(MF); 6505ffd83dbSDimitry Andric Register FPReg = isPPC64 ? PPC::X31 : PPC::R31; 6515ffd83dbSDimitry Andric Register LRReg = isPPC64 ? PPC::LR8 : PPC::LR; 6525ffd83dbSDimitry Andric Register TOCReg = isPPC64 ? PPC::X2 : PPC::R2; 6535ffd83dbSDimitry Andric Register ScratchReg; 6545ffd83dbSDimitry Andric Register TempReg = isPPC64 ? PPC::X12 : PPC::R12; // another scratch reg 655*0b57cec5SDimitry Andric // ...(R12/X12 is volatile in both Darwin & SVR4, & can't be a function arg.) 656*0b57cec5SDimitry Andric const MCInstrDesc& MFLRInst = TII.get(isPPC64 ? PPC::MFLR8 657*0b57cec5SDimitry Andric : PPC::MFLR ); 658*0b57cec5SDimitry Andric const MCInstrDesc& StoreInst = TII.get(isPPC64 ? PPC::STD 659*0b57cec5SDimitry Andric : PPC::STW ); 660*0b57cec5SDimitry Andric const MCInstrDesc& StoreUpdtInst = TII.get(isPPC64 ? PPC::STDU 661*0b57cec5SDimitry Andric : PPC::STWU ); 662*0b57cec5SDimitry Andric const MCInstrDesc& StoreUpdtIdxInst = TII.get(isPPC64 ? PPC::STDUX 663*0b57cec5SDimitry Andric : PPC::STWUX); 664*0b57cec5SDimitry Andric const MCInstrDesc& LoadImmShiftedInst = TII.get(isPPC64 ? PPC::LIS8 665*0b57cec5SDimitry Andric : PPC::LIS ); 666*0b57cec5SDimitry Andric const MCInstrDesc& OrImmInst = TII.get(isPPC64 ? PPC::ORI8 667*0b57cec5SDimitry Andric : PPC::ORI ); 668*0b57cec5SDimitry Andric const MCInstrDesc& OrInst = TII.get(isPPC64 ? PPC::OR8 669*0b57cec5SDimitry Andric : PPC::OR ); 670*0b57cec5SDimitry Andric const MCInstrDesc& SubtractCarryingInst = TII.get(isPPC64 ? PPC::SUBFC8 671*0b57cec5SDimitry Andric : PPC::SUBFC); 672*0b57cec5SDimitry Andric const MCInstrDesc& SubtractImmCarryingInst = TII.get(isPPC64 ? PPC::SUBFIC8 673*0b57cec5SDimitry Andric : PPC::SUBFIC); 6745ffd83dbSDimitry Andric const MCInstrDesc &MoveFromCondRegInst = TII.get(isPPC64 ? PPC::MFCR8 6755ffd83dbSDimitry Andric : PPC::MFCR); 6765ffd83dbSDimitry Andric const MCInstrDesc &StoreWordInst = TII.get(isPPC64 ? PPC::STW8 : PPC::STW); 677fe6060f1SDimitry Andric const MCInstrDesc &HashST = 678fe6060f1SDimitry Andric TII.get(HasPrivileged ? PPC::HASHSTP : PPC::HASHST); 679*0b57cec5SDimitry Andric 680*0b57cec5SDimitry Andric // Regarding this assert: Even though LR is saved in the caller's frame (i.e., 681*0b57cec5SDimitry Andric // LROffset is positive), that slot is callee-owned. Because PPC32 SVR4 has no 682*0b57cec5SDimitry Andric // Red Zone, an asynchronous event (a form of "callee") could claim a frame & 683*0b57cec5SDimitry Andric // overwrite it, so PPC32 SVR4 must claim at least a minimal frame to save LR. 684*0b57cec5SDimitry Andric assert((isPPC64 || !isSVR4ABI || !(!FrameSize && (MustSaveLR || HasFP))) && 685*0b57cec5SDimitry Andric "FrameSize must be >0 to save/restore the FP or LR for 32-bit SVR4."); 686*0b57cec5SDimitry Andric 687*0b57cec5SDimitry Andric // Using the same bool variable as below to suppress compiler warnings. 6885ffd83dbSDimitry Andric bool SingleScratchReg = findScratchRegister( 689e8d8bef9SDimitry Andric &MBB, false, twoUniqueScratchRegsRequired(&MBB), &ScratchReg, &TempReg); 690*0b57cec5SDimitry Andric assert(SingleScratchReg && 691*0b57cec5SDimitry Andric "Required number of registers not available in this block"); 692*0b57cec5SDimitry Andric 693*0b57cec5SDimitry Andric SingleScratchReg = ScratchReg == TempReg; 694*0b57cec5SDimitry Andric 695349cc55cSDimitry Andric int64_t LROffset = getReturnSaveOffset(); 696*0b57cec5SDimitry Andric 697349cc55cSDimitry Andric int64_t FPOffset = 0; 698*0b57cec5SDimitry Andric if (HasFP) { 699*0b57cec5SDimitry Andric MachineFrameInfo &MFI = MF.getFrameInfo(); 700*0b57cec5SDimitry Andric int FPIndex = FI->getFramePointerSaveIndex(); 701*0b57cec5SDimitry Andric assert(FPIndex && "No Frame Pointer Save Slot!"); 702*0b57cec5SDimitry Andric FPOffset = MFI.getObjectOffset(FPIndex); 703*0b57cec5SDimitry Andric } 704*0b57cec5SDimitry Andric 705349cc55cSDimitry Andric int64_t BPOffset = 0; 706*0b57cec5SDimitry Andric if (HasBP) { 707*0b57cec5SDimitry Andric MachineFrameInfo &MFI = MF.getFrameInfo(); 708*0b57cec5SDimitry Andric int BPIndex = FI->getBasePointerSaveIndex(); 709*0b57cec5SDimitry Andric assert(BPIndex && "No Base Pointer Save Slot!"); 710*0b57cec5SDimitry Andric BPOffset = MFI.getObjectOffset(BPIndex); 711*0b57cec5SDimitry Andric } 712*0b57cec5SDimitry Andric 713349cc55cSDimitry Andric int64_t PBPOffset = 0; 714*0b57cec5SDimitry Andric if (FI->usesPICBase()) { 715*0b57cec5SDimitry Andric MachineFrameInfo &MFI = MF.getFrameInfo(); 716*0b57cec5SDimitry Andric int PBPIndex = FI->getPICBasePointerSaveIndex(); 717*0b57cec5SDimitry Andric assert(PBPIndex && "No PIC Base Pointer Save Slot!"); 718*0b57cec5SDimitry Andric PBPOffset = MFI.getObjectOffset(PBPIndex); 719*0b57cec5SDimitry Andric } 720*0b57cec5SDimitry Andric 721*0b57cec5SDimitry Andric // Get stack alignments. 7225ffd83dbSDimitry Andric Align MaxAlign = MFI.getMaxAlign(); 723*0b57cec5SDimitry Andric if (HasBP && MaxAlign > 1) 7245ffd83dbSDimitry Andric assert(Log2(MaxAlign) < 16 && "Invalid alignment!"); 725*0b57cec5SDimitry Andric 726*0b57cec5SDimitry Andric // Frames of 32KB & larger require special handling because they cannot be 727*0b57cec5SDimitry Andric // indexed into with a simple STDU/STWU/STD/STW immediate offset operand. 728*0b57cec5SDimitry Andric bool isLargeFrame = !isInt<16>(NegFrameSize); 729*0b57cec5SDimitry Andric 730*0b57cec5SDimitry Andric // Check if we can move the stack update instruction (stdu) down the prologue 731*0b57cec5SDimitry Andric // past the callee saves. Hopefully this will avoid the situation where the 732*0b57cec5SDimitry Andric // saves are waiting for the update on the store with update to complete. 733*0b57cec5SDimitry Andric MachineBasicBlock::iterator StackUpdateLoc = MBBI; 734*0b57cec5SDimitry Andric bool MovingStackUpdateDown = false; 735*0b57cec5SDimitry Andric 736*0b57cec5SDimitry Andric // Check if we can move the stack update. 737*0b57cec5SDimitry Andric if (stackUpdateCanBeMoved(MF)) { 738*0b57cec5SDimitry Andric const std::vector<CalleeSavedInfo> &Info = MFI.getCalleeSavedInfo(); 739*0b57cec5SDimitry Andric for (CalleeSavedInfo CSI : Info) { 740fe6060f1SDimitry Andric // If the callee saved register is spilled to a register instead of the 741fe6060f1SDimitry Andric // stack then the spill no longer uses the stack pointer. 742fe6060f1SDimitry Andric // This can lead to two consequences: 743fe6060f1SDimitry Andric // 1) We no longer need to update the stack because the function does not 744fe6060f1SDimitry Andric // spill any callee saved registers to stack. 745fe6060f1SDimitry Andric // 2) We have a situation where we still have to update the stack pointer 746fe6060f1SDimitry Andric // even though some registers are spilled to other registers. In 747fe6060f1SDimitry Andric // this case the current code moves the stack update to an incorrect 748fe6060f1SDimitry Andric // position. 749fe6060f1SDimitry Andric // In either case we should abort moving the stack update operation. 750fe6060f1SDimitry Andric if (CSI.isSpilledToReg()) { 751fe6060f1SDimitry Andric StackUpdateLoc = MBBI; 752fe6060f1SDimitry Andric MovingStackUpdateDown = false; 753fe6060f1SDimitry Andric break; 754fe6060f1SDimitry Andric } 755fe6060f1SDimitry Andric 756*0b57cec5SDimitry Andric int FrIdx = CSI.getFrameIdx(); 757*0b57cec5SDimitry Andric // If the frame index is not negative the callee saved info belongs to a 758*0b57cec5SDimitry Andric // stack object that is not a fixed stack object. We ignore non-fixed 759*0b57cec5SDimitry Andric // stack objects because we won't move the stack update pointer past them. 760*0b57cec5SDimitry Andric if (FrIdx >= 0) 761*0b57cec5SDimitry Andric continue; 762*0b57cec5SDimitry Andric 763*0b57cec5SDimitry Andric if (MFI.isFixedObjectIndex(FrIdx) && MFI.getObjectOffset(FrIdx) < 0) { 764*0b57cec5SDimitry Andric StackUpdateLoc++; 765*0b57cec5SDimitry Andric MovingStackUpdateDown = true; 766*0b57cec5SDimitry Andric } else { 767*0b57cec5SDimitry Andric // We need all of the Frame Indices to meet these conditions. 768*0b57cec5SDimitry Andric // If they do not, abort the whole operation. 769*0b57cec5SDimitry Andric StackUpdateLoc = MBBI; 770*0b57cec5SDimitry Andric MovingStackUpdateDown = false; 771*0b57cec5SDimitry Andric break; 772*0b57cec5SDimitry Andric } 773*0b57cec5SDimitry Andric } 774*0b57cec5SDimitry Andric 775*0b57cec5SDimitry Andric // If the operation was not aborted then update the object offset. 776*0b57cec5SDimitry Andric if (MovingStackUpdateDown) { 777*0b57cec5SDimitry Andric for (CalleeSavedInfo CSI : Info) { 778*0b57cec5SDimitry Andric int FrIdx = CSI.getFrameIdx(); 779*0b57cec5SDimitry Andric if (FrIdx < 0) 780*0b57cec5SDimitry Andric MFI.setObjectOffset(FrIdx, MFI.getObjectOffset(FrIdx) + NegFrameSize); 781*0b57cec5SDimitry Andric } 782*0b57cec5SDimitry Andric } 783*0b57cec5SDimitry Andric } 784*0b57cec5SDimitry Andric 7855ffd83dbSDimitry Andric // Where in the prologue we move the CR fields depends on how many scratch 7865ffd83dbSDimitry Andric // registers we have, and if we need to save the link register or not. This 7875ffd83dbSDimitry Andric // lambda is to avoid duplicating the logic in 2 places. 7885ffd83dbSDimitry Andric auto BuildMoveFromCR = [&]() { 7895ffd83dbSDimitry Andric if (isELFv2ABI && MustSaveCRs.size() == 1) { 7905ffd83dbSDimitry Andric // In the ELFv2 ABI, we are not required to save all CR fields. 7915ffd83dbSDimitry Andric // If only one CR field is clobbered, it is more efficient to use 7925ffd83dbSDimitry Andric // mfocrf to selectively save just that field, because mfocrf has short 7935ffd83dbSDimitry Andric // latency compares to mfcr. 7945ffd83dbSDimitry Andric assert(isPPC64 && "V2 ABI is 64-bit only."); 7955ffd83dbSDimitry Andric MachineInstrBuilder MIB = 7965ffd83dbSDimitry Andric BuildMI(MBB, MBBI, dl, TII.get(PPC::MFOCRF8), TempReg); 7975ffd83dbSDimitry Andric MIB.addReg(MustSaveCRs[0], RegState::Kill); 7985ffd83dbSDimitry Andric } else { 7995ffd83dbSDimitry Andric MachineInstrBuilder MIB = 8005ffd83dbSDimitry Andric BuildMI(MBB, MBBI, dl, MoveFromCondRegInst, TempReg); 8015ffd83dbSDimitry Andric for (unsigned CRfield : MustSaveCRs) 8025ffd83dbSDimitry Andric MIB.addReg(CRfield, RegState::ImplicitKill); 8035ffd83dbSDimitry Andric } 8045ffd83dbSDimitry Andric }; 8055ffd83dbSDimitry Andric 806*0b57cec5SDimitry Andric // If we need to spill the CR and the LR but we don't have two separate 807*0b57cec5SDimitry Andric // registers available, we must spill them one at a time 808*0b57cec5SDimitry Andric if (MustSaveCR && SingleScratchReg && MustSaveLR) { 8095ffd83dbSDimitry Andric BuildMoveFromCR(); 8105ffd83dbSDimitry Andric BuildMI(MBB, MBBI, dl, StoreWordInst) 811*0b57cec5SDimitry Andric .addReg(TempReg, getKillRegState(true)) 8125ffd83dbSDimitry Andric .addImm(CRSaveOffset) 813*0b57cec5SDimitry Andric .addReg(SPReg); 814*0b57cec5SDimitry Andric } 815*0b57cec5SDimitry Andric 816*0b57cec5SDimitry Andric if (MustSaveLR) 817*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, MFLRInst, ScratchReg); 818*0b57cec5SDimitry Andric 8195ffd83dbSDimitry Andric if (MustSaveCR && !(SingleScratchReg && MustSaveLR)) 8205ffd83dbSDimitry Andric BuildMoveFromCR(); 821*0b57cec5SDimitry Andric 822*0b57cec5SDimitry Andric if (HasRedZone) { 823*0b57cec5SDimitry Andric if (HasFP) 824*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, StoreInst) 825*0b57cec5SDimitry Andric .addReg(FPReg) 826*0b57cec5SDimitry Andric .addImm(FPOffset) 827*0b57cec5SDimitry Andric .addReg(SPReg); 828*0b57cec5SDimitry Andric if (FI->usesPICBase()) 829*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, StoreInst) 830*0b57cec5SDimitry Andric .addReg(PPC::R30) 831*0b57cec5SDimitry Andric .addImm(PBPOffset) 832*0b57cec5SDimitry Andric .addReg(SPReg); 833*0b57cec5SDimitry Andric if (HasBP) 834*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, StoreInst) 835*0b57cec5SDimitry Andric .addReg(BPReg) 836*0b57cec5SDimitry Andric .addImm(BPOffset) 837*0b57cec5SDimitry Andric .addReg(SPReg); 838*0b57cec5SDimitry Andric } 839*0b57cec5SDimitry Andric 840fe6060f1SDimitry Andric // Generate the instruction to store the LR. In the case where ROP protection 841fe6060f1SDimitry Andric // is required the register holding the LR should not be killed as it will be 842fe6060f1SDimitry Andric // used by the hash store instruction. 843fe6060f1SDimitry Andric if (MustSaveLR) { 844*0b57cec5SDimitry Andric BuildMI(MBB, StackUpdateLoc, dl, StoreInst) 845fe6060f1SDimitry Andric .addReg(ScratchReg, getKillRegState(!HasROPProtect)) 846*0b57cec5SDimitry Andric .addImm(LROffset) 847*0b57cec5SDimitry Andric .addReg(SPReg); 848*0b57cec5SDimitry Andric 849fe6060f1SDimitry Andric // Add the ROP protection Hash Store instruction. 850fe6060f1SDimitry Andric // NOTE: This is technically a violation of the ABI. The hash can be saved 851fe6060f1SDimitry Andric // up to 512 bytes into the Protected Zone. This can be outside of the 852fe6060f1SDimitry Andric // initial 288 byte volatile program storage region in the Protected Zone. 853fe6060f1SDimitry Andric // However, this restriction will be removed in an upcoming revision of the 854fe6060f1SDimitry Andric // ABI. 855fe6060f1SDimitry Andric if (HasROPProtect) { 856fe6060f1SDimitry Andric const int SaveIndex = FI->getROPProtectionHashSaveIndex(); 857349cc55cSDimitry Andric const int64_t ImmOffset = MFI.getObjectOffset(SaveIndex); 858fe6060f1SDimitry Andric assert((ImmOffset <= -8 && ImmOffset >= -512) && 859fe6060f1SDimitry Andric "ROP hash save offset out of range."); 860fe6060f1SDimitry Andric assert(((ImmOffset & 0x7) == 0) && 861fe6060f1SDimitry Andric "ROP hash save offset must be 8 byte aligned."); 862fe6060f1SDimitry Andric BuildMI(MBB, StackUpdateLoc, dl, HashST) 863fe6060f1SDimitry Andric .addReg(ScratchReg, getKillRegState(true)) 864fe6060f1SDimitry Andric .addImm(ImmOffset) 865fe6060f1SDimitry Andric .addReg(SPReg); 866fe6060f1SDimitry Andric } 867fe6060f1SDimitry Andric } 868fe6060f1SDimitry Andric 869*0b57cec5SDimitry Andric if (MustSaveCR && 8705ffd83dbSDimitry Andric !(SingleScratchReg && MustSaveLR)) { 871*0b57cec5SDimitry Andric assert(HasRedZone && "A red zone is always available on PPC64"); 8725ffd83dbSDimitry Andric BuildMI(MBB, MBBI, dl, StoreWordInst) 873*0b57cec5SDimitry Andric .addReg(TempReg, getKillRegState(true)) 8745ffd83dbSDimitry Andric .addImm(CRSaveOffset) 875*0b57cec5SDimitry Andric .addReg(SPReg); 876*0b57cec5SDimitry Andric } 877*0b57cec5SDimitry Andric 878*0b57cec5SDimitry Andric // Skip the rest if this is a leaf function & all spills fit in the Red Zone. 879*0b57cec5SDimitry Andric if (!FrameSize) 880*0b57cec5SDimitry Andric return; 881*0b57cec5SDimitry Andric 882*0b57cec5SDimitry Andric // Adjust stack pointer: r1 += NegFrameSize. 883*0b57cec5SDimitry Andric // If there is a preferred stack alignment, align R1 now 884*0b57cec5SDimitry Andric 885*0b57cec5SDimitry Andric if (HasBP && HasRedZone) { 886*0b57cec5SDimitry Andric // Save a copy of r1 as the base pointer. 887*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, OrInst, BPReg) 888*0b57cec5SDimitry Andric .addReg(SPReg) 889*0b57cec5SDimitry Andric .addReg(SPReg); 890*0b57cec5SDimitry Andric } 891*0b57cec5SDimitry Andric 892*0b57cec5SDimitry Andric // Have we generated a STUX instruction to claim stack frame? If so, 893*0b57cec5SDimitry Andric // the negated frame size will be placed in ScratchReg. 894*0b57cec5SDimitry Andric bool HasSTUX = false; 895*0b57cec5SDimitry Andric 8965ffd83dbSDimitry Andric // If FrameSize <= TLI.getStackProbeSize(MF), as POWER ABI requires backchain 8975ffd83dbSDimitry Andric // pointer is always stored at SP, we will get a free probe due to an essential 8985ffd83dbSDimitry Andric // STU(X) instruction. 8995ffd83dbSDimitry Andric if (TLI.hasInlineStackProbe(MF) && FrameSize > TLI.getStackProbeSize(MF)) { 9005ffd83dbSDimitry Andric // To be consistent with other targets, a pseudo instruction is emitted and 9015ffd83dbSDimitry Andric // will be later expanded in `inlineStackProbe`. 9025ffd83dbSDimitry Andric BuildMI(MBB, MBBI, dl, 9035ffd83dbSDimitry Andric TII.get(isPPC64 ? PPC::PROBED_STACKALLOC_64 9045ffd83dbSDimitry Andric : PPC::PROBED_STACKALLOC_32)) 90523408297SDimitry Andric .addDef(TempReg) 90623408297SDimitry Andric .addDef(ScratchReg) // ScratchReg stores the old sp. 9075ffd83dbSDimitry Andric .addImm(NegFrameSize); 9085ffd83dbSDimitry Andric // FIXME: HasSTUX is only read if HasRedZone is not set, in such case, we 9095ffd83dbSDimitry Andric // update the ScratchReg to meet the assumption that ScratchReg contains 9105ffd83dbSDimitry Andric // the NegFrameSize. This solution is rather tricky. 9115ffd83dbSDimitry Andric if (!HasRedZone) { 9125ffd83dbSDimitry Andric BuildMI(MBB, MBBI, dl, TII.get(PPC::SUBF), ScratchReg) 91323408297SDimitry Andric .addReg(ScratchReg) 9145ffd83dbSDimitry Andric .addReg(SPReg); 9155ffd83dbSDimitry Andric HasSTUX = true; 9165ffd83dbSDimitry Andric } 9175ffd83dbSDimitry Andric } else { 918*0b57cec5SDimitry Andric // This condition must be kept in sync with canUseAsPrologue. 919*0b57cec5SDimitry Andric if (HasBP && MaxAlign > 1) { 920*0b57cec5SDimitry Andric if (isPPC64) 921*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, TII.get(PPC::RLDICL), ScratchReg) 922*0b57cec5SDimitry Andric .addReg(SPReg) 923*0b57cec5SDimitry Andric .addImm(0) 9245ffd83dbSDimitry Andric .addImm(64 - Log2(MaxAlign)); 925*0b57cec5SDimitry Andric else // PPC32... 926*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, TII.get(PPC::RLWINM), ScratchReg) 927*0b57cec5SDimitry Andric .addReg(SPReg) 928*0b57cec5SDimitry Andric .addImm(0) 9295ffd83dbSDimitry Andric .addImm(32 - Log2(MaxAlign)) 930*0b57cec5SDimitry Andric .addImm(31); 931*0b57cec5SDimitry Andric if (!isLargeFrame) { 932*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, SubtractImmCarryingInst, ScratchReg) 933*0b57cec5SDimitry Andric .addReg(ScratchReg, RegState::Kill) 934*0b57cec5SDimitry Andric .addImm(NegFrameSize); 935*0b57cec5SDimitry Andric } else { 936*0b57cec5SDimitry Andric assert(!SingleScratchReg && "Only a single scratch reg available"); 937*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, LoadImmShiftedInst, TempReg) 938*0b57cec5SDimitry Andric .addImm(NegFrameSize >> 16); 939*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, OrImmInst, TempReg) 940*0b57cec5SDimitry Andric .addReg(TempReg, RegState::Kill) 941*0b57cec5SDimitry Andric .addImm(NegFrameSize & 0xFFFF); 942*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, SubtractCarryingInst, ScratchReg) 943*0b57cec5SDimitry Andric .addReg(ScratchReg, RegState::Kill) 944*0b57cec5SDimitry Andric .addReg(TempReg, RegState::Kill); 945*0b57cec5SDimitry Andric } 946*0b57cec5SDimitry Andric 947*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, StoreUpdtIdxInst, SPReg) 948*0b57cec5SDimitry Andric .addReg(SPReg, RegState::Kill) 949*0b57cec5SDimitry Andric .addReg(SPReg) 950*0b57cec5SDimitry Andric .addReg(ScratchReg); 951*0b57cec5SDimitry Andric HasSTUX = true; 952*0b57cec5SDimitry Andric 953*0b57cec5SDimitry Andric } else if (!isLargeFrame) { 954*0b57cec5SDimitry Andric BuildMI(MBB, StackUpdateLoc, dl, StoreUpdtInst, SPReg) 955*0b57cec5SDimitry Andric .addReg(SPReg) 956*0b57cec5SDimitry Andric .addImm(NegFrameSize) 957*0b57cec5SDimitry Andric .addReg(SPReg); 958*0b57cec5SDimitry Andric 959*0b57cec5SDimitry Andric } else { 960*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, LoadImmShiftedInst, ScratchReg) 961*0b57cec5SDimitry Andric .addImm(NegFrameSize >> 16); 962*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, OrImmInst, ScratchReg) 963*0b57cec5SDimitry Andric .addReg(ScratchReg, RegState::Kill) 964*0b57cec5SDimitry Andric .addImm(NegFrameSize & 0xFFFF); 965*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, StoreUpdtIdxInst, SPReg) 966*0b57cec5SDimitry Andric .addReg(SPReg, RegState::Kill) 967*0b57cec5SDimitry Andric .addReg(SPReg) 968*0b57cec5SDimitry Andric .addReg(ScratchReg); 969*0b57cec5SDimitry Andric HasSTUX = true; 970*0b57cec5SDimitry Andric } 9715ffd83dbSDimitry Andric } 972*0b57cec5SDimitry Andric 973*0b57cec5SDimitry Andric // Save the TOC register after the stack pointer update if a prologue TOC 974*0b57cec5SDimitry Andric // save is required for the function. 975*0b57cec5SDimitry Andric if (MustSaveTOC) { 976*0b57cec5SDimitry Andric assert(isELFv2ABI && "TOC saves in the prologue only supported on ELFv2"); 977*0b57cec5SDimitry Andric BuildMI(MBB, StackUpdateLoc, dl, TII.get(PPC::STD)) 978*0b57cec5SDimitry Andric .addReg(TOCReg, getKillRegState(true)) 979*0b57cec5SDimitry Andric .addImm(TOCSaveOffset) 980*0b57cec5SDimitry Andric .addReg(SPReg); 981*0b57cec5SDimitry Andric } 982*0b57cec5SDimitry Andric 983*0b57cec5SDimitry Andric if (!HasRedZone) { 984*0b57cec5SDimitry Andric assert(!isPPC64 && "A red zone is always available on PPC64"); 985*0b57cec5SDimitry Andric if (HasSTUX) { 986*0b57cec5SDimitry Andric // The negated frame size is in ScratchReg, and the SPReg has been 987*0b57cec5SDimitry Andric // decremented by the frame size: SPReg = old SPReg + ScratchReg. 988*0b57cec5SDimitry Andric // Since FPOffset, PBPOffset, etc. are relative to the beginning of 989*0b57cec5SDimitry Andric // the stack frame (i.e. the old SP), ideally, we would put the old 990*0b57cec5SDimitry Andric // SP into a register and use it as the base for the stores. The 991*0b57cec5SDimitry Andric // problem is that the only available register may be ScratchReg, 992*0b57cec5SDimitry Andric // which could be R0, and R0 cannot be used as a base address. 993*0b57cec5SDimitry Andric 994*0b57cec5SDimitry Andric // First, set ScratchReg to the old SP. This may need to be modified 995*0b57cec5SDimitry Andric // later. 996*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, TII.get(PPC::SUBF), ScratchReg) 997*0b57cec5SDimitry Andric .addReg(ScratchReg, RegState::Kill) 998*0b57cec5SDimitry Andric .addReg(SPReg); 999*0b57cec5SDimitry Andric 1000*0b57cec5SDimitry Andric if (ScratchReg == PPC::R0) { 1001*0b57cec5SDimitry Andric // R0 cannot be used as a base register, but it can be used as an 1002*0b57cec5SDimitry Andric // index in a store-indexed. 1003*0b57cec5SDimitry Andric int LastOffset = 0; 1004*0b57cec5SDimitry Andric if (HasFP) { 1005*0b57cec5SDimitry Andric // R0 += (FPOffset-LastOffset). 1006*0b57cec5SDimitry Andric // Need addic, since addi treats R0 as 0. 1007*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, TII.get(PPC::ADDIC), ScratchReg) 1008*0b57cec5SDimitry Andric .addReg(ScratchReg) 1009*0b57cec5SDimitry Andric .addImm(FPOffset-LastOffset); 1010*0b57cec5SDimitry Andric LastOffset = FPOffset; 1011*0b57cec5SDimitry Andric // Store FP into *R0. 1012*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, TII.get(PPC::STWX)) 1013*0b57cec5SDimitry Andric .addReg(FPReg, RegState::Kill) // Save FP. 1014*0b57cec5SDimitry Andric .addReg(PPC::ZERO) 1015*0b57cec5SDimitry Andric .addReg(ScratchReg); // This will be the index (R0 is ok here). 1016*0b57cec5SDimitry Andric } 1017*0b57cec5SDimitry Andric if (FI->usesPICBase()) { 1018*0b57cec5SDimitry Andric // R0 += (PBPOffset-LastOffset). 1019*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, TII.get(PPC::ADDIC), ScratchReg) 1020*0b57cec5SDimitry Andric .addReg(ScratchReg) 1021*0b57cec5SDimitry Andric .addImm(PBPOffset-LastOffset); 1022*0b57cec5SDimitry Andric LastOffset = PBPOffset; 1023*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, TII.get(PPC::STWX)) 1024*0b57cec5SDimitry Andric .addReg(PPC::R30, RegState::Kill) // Save PIC base pointer. 1025*0b57cec5SDimitry Andric .addReg(PPC::ZERO) 1026*0b57cec5SDimitry Andric .addReg(ScratchReg); // This will be the index (R0 is ok here). 1027*0b57cec5SDimitry Andric } 1028*0b57cec5SDimitry Andric if (HasBP) { 1029*0b57cec5SDimitry Andric // R0 += (BPOffset-LastOffset). 1030*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, TII.get(PPC::ADDIC), ScratchReg) 1031*0b57cec5SDimitry Andric .addReg(ScratchReg) 1032*0b57cec5SDimitry Andric .addImm(BPOffset-LastOffset); 1033*0b57cec5SDimitry Andric LastOffset = BPOffset; 1034*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, TII.get(PPC::STWX)) 1035*0b57cec5SDimitry Andric .addReg(BPReg, RegState::Kill) // Save BP. 1036*0b57cec5SDimitry Andric .addReg(PPC::ZERO) 1037*0b57cec5SDimitry Andric .addReg(ScratchReg); // This will be the index (R0 is ok here). 1038*0b57cec5SDimitry Andric // BP = R0-LastOffset 1039*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, TII.get(PPC::ADDIC), BPReg) 1040*0b57cec5SDimitry Andric .addReg(ScratchReg, RegState::Kill) 1041*0b57cec5SDimitry Andric .addImm(-LastOffset); 1042*0b57cec5SDimitry Andric } 1043*0b57cec5SDimitry Andric } else { 1044*0b57cec5SDimitry Andric // ScratchReg is not R0, so use it as the base register. It is 1045*0b57cec5SDimitry Andric // already set to the old SP, so we can use the offsets directly. 1046*0b57cec5SDimitry Andric 1047*0b57cec5SDimitry Andric // Now that the stack frame has been allocated, save all the necessary 1048*0b57cec5SDimitry Andric // registers using ScratchReg as the base address. 1049*0b57cec5SDimitry Andric if (HasFP) 1050*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, StoreInst) 1051*0b57cec5SDimitry Andric .addReg(FPReg) 1052*0b57cec5SDimitry Andric .addImm(FPOffset) 1053*0b57cec5SDimitry Andric .addReg(ScratchReg); 1054*0b57cec5SDimitry Andric if (FI->usesPICBase()) 1055*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, StoreInst) 1056*0b57cec5SDimitry Andric .addReg(PPC::R30) 1057*0b57cec5SDimitry Andric .addImm(PBPOffset) 1058*0b57cec5SDimitry Andric .addReg(ScratchReg); 1059*0b57cec5SDimitry Andric if (HasBP) { 1060*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, StoreInst) 1061*0b57cec5SDimitry Andric .addReg(BPReg) 1062*0b57cec5SDimitry Andric .addImm(BPOffset) 1063*0b57cec5SDimitry Andric .addReg(ScratchReg); 1064*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, OrInst, BPReg) 1065*0b57cec5SDimitry Andric .addReg(ScratchReg, RegState::Kill) 1066*0b57cec5SDimitry Andric .addReg(ScratchReg); 1067*0b57cec5SDimitry Andric } 1068*0b57cec5SDimitry Andric } 1069*0b57cec5SDimitry Andric } else { 1070*0b57cec5SDimitry Andric // The frame size is a known 16-bit constant (fitting in the immediate 1071*0b57cec5SDimitry Andric // field of STWU). To be here we have to be compiling for PPC32. 1072*0b57cec5SDimitry Andric // Since the SPReg has been decreased by FrameSize, add it back to each 1073*0b57cec5SDimitry Andric // offset. 1074*0b57cec5SDimitry Andric if (HasFP) 1075*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, StoreInst) 1076*0b57cec5SDimitry Andric .addReg(FPReg) 1077*0b57cec5SDimitry Andric .addImm(FrameSize + FPOffset) 1078*0b57cec5SDimitry Andric .addReg(SPReg); 1079*0b57cec5SDimitry Andric if (FI->usesPICBase()) 1080*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, StoreInst) 1081*0b57cec5SDimitry Andric .addReg(PPC::R30) 1082*0b57cec5SDimitry Andric .addImm(FrameSize + PBPOffset) 1083*0b57cec5SDimitry Andric .addReg(SPReg); 1084*0b57cec5SDimitry Andric if (HasBP) { 1085*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, StoreInst) 1086*0b57cec5SDimitry Andric .addReg(BPReg) 1087*0b57cec5SDimitry Andric .addImm(FrameSize + BPOffset) 1088*0b57cec5SDimitry Andric .addReg(SPReg); 1089*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, TII.get(PPC::ADDI), BPReg) 1090*0b57cec5SDimitry Andric .addReg(SPReg) 1091*0b57cec5SDimitry Andric .addImm(FrameSize); 1092*0b57cec5SDimitry Andric } 1093*0b57cec5SDimitry Andric } 1094*0b57cec5SDimitry Andric } 1095*0b57cec5SDimitry Andric 1096*0b57cec5SDimitry Andric // Add Call Frame Information for the instructions we generated above. 1097*0b57cec5SDimitry Andric if (needsCFI) { 1098*0b57cec5SDimitry Andric unsigned CFIIndex; 1099*0b57cec5SDimitry Andric 1100*0b57cec5SDimitry Andric if (HasBP) { 1101*0b57cec5SDimitry Andric // Define CFA in terms of BP. Do this in preference to using FP/SP, 1102*0b57cec5SDimitry Andric // because if the stack needed aligning then CFA won't be at a fixed 1103*0b57cec5SDimitry Andric // offset from FP/SP. 1104*0b57cec5SDimitry Andric unsigned Reg = MRI->getDwarfRegNum(BPReg, true); 1105*0b57cec5SDimitry Andric CFIIndex = MF.addFrameInst( 1106*0b57cec5SDimitry Andric MCCFIInstruction::createDefCfaRegister(nullptr, Reg)); 1107*0b57cec5SDimitry Andric } else { 1108*0b57cec5SDimitry Andric // Adjust the definition of CFA to account for the change in SP. 1109*0b57cec5SDimitry Andric assert(NegFrameSize); 1110*0b57cec5SDimitry Andric CFIIndex = MF.addFrameInst( 11115ffd83dbSDimitry Andric MCCFIInstruction::cfiDefCfaOffset(nullptr, -NegFrameSize)); 1112*0b57cec5SDimitry Andric } 1113*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION)) 1114*0b57cec5SDimitry Andric .addCFIIndex(CFIIndex); 1115*0b57cec5SDimitry Andric 1116*0b57cec5SDimitry Andric if (HasFP) { 1117*0b57cec5SDimitry Andric // Describe where FP was saved, at a fixed offset from CFA. 1118*0b57cec5SDimitry Andric unsigned Reg = MRI->getDwarfRegNum(FPReg, true); 1119*0b57cec5SDimitry Andric CFIIndex = MF.addFrameInst( 1120*0b57cec5SDimitry Andric MCCFIInstruction::createOffset(nullptr, Reg, FPOffset)); 1121*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION)) 1122*0b57cec5SDimitry Andric .addCFIIndex(CFIIndex); 1123*0b57cec5SDimitry Andric } 1124*0b57cec5SDimitry Andric 1125*0b57cec5SDimitry Andric if (FI->usesPICBase()) { 1126*0b57cec5SDimitry Andric // Describe where FP was saved, at a fixed offset from CFA. 1127*0b57cec5SDimitry Andric unsigned Reg = MRI->getDwarfRegNum(PPC::R30, true); 1128*0b57cec5SDimitry Andric CFIIndex = MF.addFrameInst( 1129*0b57cec5SDimitry Andric MCCFIInstruction::createOffset(nullptr, Reg, PBPOffset)); 1130*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION)) 1131*0b57cec5SDimitry Andric .addCFIIndex(CFIIndex); 1132*0b57cec5SDimitry Andric } 1133*0b57cec5SDimitry Andric 1134*0b57cec5SDimitry Andric if (HasBP) { 1135*0b57cec5SDimitry Andric // Describe where BP was saved, at a fixed offset from CFA. 1136*0b57cec5SDimitry Andric unsigned Reg = MRI->getDwarfRegNum(BPReg, true); 1137*0b57cec5SDimitry Andric CFIIndex = MF.addFrameInst( 1138*0b57cec5SDimitry Andric MCCFIInstruction::createOffset(nullptr, Reg, BPOffset)); 1139*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION)) 1140*0b57cec5SDimitry Andric .addCFIIndex(CFIIndex); 1141*0b57cec5SDimitry Andric } 1142*0b57cec5SDimitry Andric 1143*0b57cec5SDimitry Andric if (MustSaveLR) { 1144*0b57cec5SDimitry Andric // Describe where LR was saved, at a fixed offset from CFA. 1145*0b57cec5SDimitry Andric unsigned Reg = MRI->getDwarfRegNum(LRReg, true); 1146*0b57cec5SDimitry Andric CFIIndex = MF.addFrameInst( 1147*0b57cec5SDimitry Andric MCCFIInstruction::createOffset(nullptr, Reg, LROffset)); 1148*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION)) 1149*0b57cec5SDimitry Andric .addCFIIndex(CFIIndex); 1150*0b57cec5SDimitry Andric } 1151*0b57cec5SDimitry Andric } 1152*0b57cec5SDimitry Andric 1153*0b57cec5SDimitry Andric // If there is a frame pointer, copy R1 into R31 1154*0b57cec5SDimitry Andric if (HasFP) { 1155*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, OrInst, FPReg) 1156*0b57cec5SDimitry Andric .addReg(SPReg) 1157*0b57cec5SDimitry Andric .addReg(SPReg); 1158*0b57cec5SDimitry Andric 1159*0b57cec5SDimitry Andric if (!HasBP && needsCFI) { 1160*0b57cec5SDimitry Andric // Change the definition of CFA from SP+offset to FP+offset, because SP 1161*0b57cec5SDimitry Andric // will change at every alloca. 1162*0b57cec5SDimitry Andric unsigned Reg = MRI->getDwarfRegNum(FPReg, true); 1163*0b57cec5SDimitry Andric unsigned CFIIndex = MF.addFrameInst( 1164*0b57cec5SDimitry Andric MCCFIInstruction::createDefCfaRegister(nullptr, Reg)); 1165*0b57cec5SDimitry Andric 1166*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION)) 1167*0b57cec5SDimitry Andric .addCFIIndex(CFIIndex); 1168*0b57cec5SDimitry Andric } 1169*0b57cec5SDimitry Andric } 1170*0b57cec5SDimitry Andric 1171*0b57cec5SDimitry Andric if (needsCFI) { 1172*0b57cec5SDimitry Andric // Describe where callee saved registers were saved, at fixed offsets from 1173*0b57cec5SDimitry Andric // CFA. 1174*0b57cec5SDimitry Andric const std::vector<CalleeSavedInfo> &CSI = MFI.getCalleeSavedInfo(); 1175*0b57cec5SDimitry Andric for (unsigned I = 0, E = CSI.size(); I != E; ++I) { 1176*0b57cec5SDimitry Andric unsigned Reg = CSI[I].getReg(); 1177*0b57cec5SDimitry Andric if (Reg == PPC::LR || Reg == PPC::LR8 || Reg == PPC::RM) continue; 1178*0b57cec5SDimitry Andric 1179*0b57cec5SDimitry Andric // This is a bit of a hack: CR2LT, CR2GT, CR2EQ and CR2UN are just 1180*0b57cec5SDimitry Andric // subregisters of CR2. We just need to emit a move of CR2. 1181*0b57cec5SDimitry Andric if (PPC::CRBITRCRegClass.contains(Reg)) 1182*0b57cec5SDimitry Andric continue; 1183*0b57cec5SDimitry Andric 1184*0b57cec5SDimitry Andric if ((Reg == PPC::X2 || Reg == PPC::R2) && MustSaveTOC) 1185*0b57cec5SDimitry Andric continue; 1186*0b57cec5SDimitry Andric 1187*0b57cec5SDimitry Andric // For SVR4, don't emit a move for the CR spill slot if we haven't 1188*0b57cec5SDimitry Andric // spilled CRs. 1189*0b57cec5SDimitry Andric if (isSVR4ABI && (PPC::CR2 <= Reg && Reg <= PPC::CR4) 1190*0b57cec5SDimitry Andric && !MustSaveCR) 1191*0b57cec5SDimitry Andric continue; 1192*0b57cec5SDimitry Andric 1193*0b57cec5SDimitry Andric // For 64-bit SVR4 when we have spilled CRs, the spill location 1194*0b57cec5SDimitry Andric // is SP+8, not a frame-relative slot. 1195*0b57cec5SDimitry Andric if (isSVR4ABI && isPPC64 && (PPC::CR2 <= Reg && Reg <= PPC::CR4)) { 1196*0b57cec5SDimitry Andric // In the ELFv1 ABI, only CR2 is noted in CFI and stands in for 1197*0b57cec5SDimitry Andric // the whole CR word. In the ELFv2 ABI, every CR that was 1198*0b57cec5SDimitry Andric // actually saved gets its own CFI record. 1199*0b57cec5SDimitry Andric unsigned CRReg = isELFv2ABI? Reg : (unsigned) PPC::CR2; 1200*0b57cec5SDimitry Andric unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::createOffset( 12015ffd83dbSDimitry Andric nullptr, MRI->getDwarfRegNum(CRReg, true), CRSaveOffset)); 1202*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION)) 1203*0b57cec5SDimitry Andric .addCFIIndex(CFIIndex); 1204*0b57cec5SDimitry Andric continue; 1205*0b57cec5SDimitry Andric } 1206*0b57cec5SDimitry Andric 1207*0b57cec5SDimitry Andric if (CSI[I].isSpilledToReg()) { 1208*0b57cec5SDimitry Andric unsigned SpilledReg = CSI[I].getDstReg(); 1209*0b57cec5SDimitry Andric unsigned CFIRegister = MF.addFrameInst(MCCFIInstruction::createRegister( 1210*0b57cec5SDimitry Andric nullptr, MRI->getDwarfRegNum(Reg, true), 1211*0b57cec5SDimitry Andric MRI->getDwarfRegNum(SpilledReg, true))); 1212*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION)) 1213*0b57cec5SDimitry Andric .addCFIIndex(CFIRegister); 1214*0b57cec5SDimitry Andric } else { 1215349cc55cSDimitry Andric int64_t Offset = MFI.getObjectOffset(CSI[I].getFrameIdx()); 1216*0b57cec5SDimitry Andric // We have changed the object offset above but we do not want to change 1217*0b57cec5SDimitry Andric // the actual offsets in the CFI instruction so we have to undo the 1218*0b57cec5SDimitry Andric // offset change here. 1219*0b57cec5SDimitry Andric if (MovingStackUpdateDown) 1220*0b57cec5SDimitry Andric Offset -= NegFrameSize; 1221*0b57cec5SDimitry Andric 1222*0b57cec5SDimitry Andric unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::createOffset( 1223*0b57cec5SDimitry Andric nullptr, MRI->getDwarfRegNum(Reg, true), Offset)); 1224*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION)) 1225*0b57cec5SDimitry Andric .addCFIIndex(CFIIndex); 1226*0b57cec5SDimitry Andric } 1227*0b57cec5SDimitry Andric } 1228*0b57cec5SDimitry Andric } 1229*0b57cec5SDimitry Andric } 1230*0b57cec5SDimitry Andric 12315ffd83dbSDimitry Andric void PPCFrameLowering::inlineStackProbe(MachineFunction &MF, 12325ffd83dbSDimitry Andric MachineBasicBlock &PrologMBB) const { 12335ffd83dbSDimitry Andric bool isPPC64 = Subtarget.isPPC64(); 12345ffd83dbSDimitry Andric const PPCTargetLowering &TLI = *Subtarget.getTargetLowering(); 12355ffd83dbSDimitry Andric const PPCInstrInfo &TII = *Subtarget.getInstrInfo(); 12365ffd83dbSDimitry Andric MachineFrameInfo &MFI = MF.getFrameInfo(); 12375ffd83dbSDimitry Andric MachineModuleInfo &MMI = MF.getMMI(); 12385ffd83dbSDimitry Andric const MCRegisterInfo *MRI = MMI.getContext().getRegisterInfo(); 12395ffd83dbSDimitry Andric // AIX assembler does not support cfi directives. 12405ffd83dbSDimitry Andric const bool needsCFI = MF.needsFrameMoves() && !Subtarget.isAIXABI(); 12415ffd83dbSDimitry Andric auto StackAllocMIPos = llvm::find_if(PrologMBB, [](MachineInstr &MI) { 12425ffd83dbSDimitry Andric int Opc = MI.getOpcode(); 12435ffd83dbSDimitry Andric return Opc == PPC::PROBED_STACKALLOC_64 || Opc == PPC::PROBED_STACKALLOC_32; 12445ffd83dbSDimitry Andric }); 12455ffd83dbSDimitry Andric if (StackAllocMIPos == PrologMBB.end()) 12465ffd83dbSDimitry Andric return; 12475ffd83dbSDimitry Andric const BasicBlock *ProbedBB = PrologMBB.getBasicBlock(); 1248e8d8bef9SDimitry Andric MachineBasicBlock *CurrentMBB = &PrologMBB; 12495ffd83dbSDimitry Andric DebugLoc DL = PrologMBB.findDebugLoc(StackAllocMIPos); 12505ffd83dbSDimitry Andric MachineInstr &MI = *StackAllocMIPos; 12515ffd83dbSDimitry Andric int64_t NegFrameSize = MI.getOperand(2).getImm(); 1252e8d8bef9SDimitry Andric unsigned ProbeSize = TLI.getStackProbeSize(MF); 1253e8d8bef9SDimitry Andric int64_t NegProbeSize = -(int64_t)ProbeSize; 12545ffd83dbSDimitry Andric assert(isInt<32>(NegProbeSize) && "Unhandled probe size"); 12555ffd83dbSDimitry Andric int64_t NumBlocks = NegFrameSize / NegProbeSize; 12565ffd83dbSDimitry Andric int64_t NegResidualSize = NegFrameSize % NegProbeSize; 12575ffd83dbSDimitry Andric Register SPReg = isPPC64 ? PPC::X1 : PPC::R1; 12585ffd83dbSDimitry Andric Register ScratchReg = MI.getOperand(0).getReg(); 12595ffd83dbSDimitry Andric Register FPReg = MI.getOperand(1).getReg(); 12605ffd83dbSDimitry Andric const PPCRegisterInfo *RegInfo = Subtarget.getRegisterInfo(); 12615ffd83dbSDimitry Andric bool HasBP = RegInfo->hasBasePointer(MF); 1262e8d8bef9SDimitry Andric Register BPReg = RegInfo->getBaseRegister(MF); 12635ffd83dbSDimitry Andric Align MaxAlign = MFI.getMaxAlign(); 126423408297SDimitry Andric bool HasRedZone = Subtarget.isPPC64() || !Subtarget.isSVR4ABI(); 12655ffd83dbSDimitry Andric const MCInstrDesc &CopyInst = TII.get(isPPC64 ? PPC::OR8 : PPC::OR); 12665ffd83dbSDimitry Andric // Subroutines to generate .cfi_* directives. 12675ffd83dbSDimitry Andric auto buildDefCFAReg = [&](MachineBasicBlock &MBB, 12685ffd83dbSDimitry Andric MachineBasicBlock::iterator MBBI, Register Reg) { 12695ffd83dbSDimitry Andric unsigned RegNum = MRI->getDwarfRegNum(Reg, true); 12705ffd83dbSDimitry Andric unsigned CFIIndex = MF.addFrameInst( 12715ffd83dbSDimitry Andric MCCFIInstruction::createDefCfaRegister(nullptr, RegNum)); 12725ffd83dbSDimitry Andric BuildMI(MBB, MBBI, DL, TII.get(TargetOpcode::CFI_INSTRUCTION)) 12735ffd83dbSDimitry Andric .addCFIIndex(CFIIndex); 12745ffd83dbSDimitry Andric }; 12755ffd83dbSDimitry Andric auto buildDefCFA = [&](MachineBasicBlock &MBB, 12765ffd83dbSDimitry Andric MachineBasicBlock::iterator MBBI, Register Reg, 12775ffd83dbSDimitry Andric int Offset) { 12785ffd83dbSDimitry Andric unsigned RegNum = MRI->getDwarfRegNum(Reg, true); 12795ffd83dbSDimitry Andric unsigned CFIIndex = MBB.getParent()->addFrameInst( 12805ffd83dbSDimitry Andric MCCFIInstruction::cfiDefCfa(nullptr, RegNum, Offset)); 12815ffd83dbSDimitry Andric BuildMI(MBB, MBBI, DL, TII.get(TargetOpcode::CFI_INSTRUCTION)) 12825ffd83dbSDimitry Andric .addCFIIndex(CFIIndex); 12835ffd83dbSDimitry Andric }; 12845ffd83dbSDimitry Andric // Subroutine to determine if we can use the Imm as part of d-form. 12855ffd83dbSDimitry Andric auto CanUseDForm = [](int64_t Imm) { return isInt<16>(Imm) && Imm % 4 == 0; }; 12865ffd83dbSDimitry Andric // Subroutine to materialize the Imm into TempReg. 12875ffd83dbSDimitry Andric auto MaterializeImm = [&](MachineBasicBlock &MBB, 12885ffd83dbSDimitry Andric MachineBasicBlock::iterator MBBI, int64_t Imm, 12895ffd83dbSDimitry Andric Register &TempReg) { 12905ffd83dbSDimitry Andric assert(isInt<32>(Imm) && "Unhandled imm"); 12915ffd83dbSDimitry Andric if (isInt<16>(Imm)) 12925ffd83dbSDimitry Andric BuildMI(MBB, MBBI, DL, TII.get(isPPC64 ? PPC::LI8 : PPC::LI), TempReg) 12935ffd83dbSDimitry Andric .addImm(Imm); 12945ffd83dbSDimitry Andric else { 12955ffd83dbSDimitry Andric BuildMI(MBB, MBBI, DL, TII.get(isPPC64 ? PPC::LIS8 : PPC::LIS), TempReg) 12965ffd83dbSDimitry Andric .addImm(Imm >> 16); 12975ffd83dbSDimitry Andric BuildMI(MBB, MBBI, DL, TII.get(isPPC64 ? PPC::ORI8 : PPC::ORI), TempReg) 12985ffd83dbSDimitry Andric .addReg(TempReg) 12995ffd83dbSDimitry Andric .addImm(Imm & 0xFFFF); 13005ffd83dbSDimitry Andric } 13015ffd83dbSDimitry Andric }; 13025ffd83dbSDimitry Andric // Subroutine to store frame pointer and decrease stack pointer by probe size. 13035ffd83dbSDimitry Andric auto allocateAndProbe = [&](MachineBasicBlock &MBB, 13045ffd83dbSDimitry Andric MachineBasicBlock::iterator MBBI, int64_t NegSize, 1305e8d8bef9SDimitry Andric Register NegSizeReg, bool UseDForm, 1306e8d8bef9SDimitry Andric Register StoreReg) { 13075ffd83dbSDimitry Andric if (UseDForm) 13085ffd83dbSDimitry Andric BuildMI(MBB, MBBI, DL, TII.get(isPPC64 ? PPC::STDU : PPC::STWU), SPReg) 1309e8d8bef9SDimitry Andric .addReg(StoreReg) 13105ffd83dbSDimitry Andric .addImm(NegSize) 13115ffd83dbSDimitry Andric .addReg(SPReg); 13125ffd83dbSDimitry Andric else 13135ffd83dbSDimitry Andric BuildMI(MBB, MBBI, DL, TII.get(isPPC64 ? PPC::STDUX : PPC::STWUX), SPReg) 1314e8d8bef9SDimitry Andric .addReg(StoreReg) 13155ffd83dbSDimitry Andric .addReg(SPReg) 13165ffd83dbSDimitry Andric .addReg(NegSizeReg); 13175ffd83dbSDimitry Andric }; 131823408297SDimitry Andric // Used to probe stack when realignment is required. 131923408297SDimitry Andric // Note that, according to ABI's requirement, *sp must always equals the 132023408297SDimitry Andric // value of back-chain pointer, only st(w|d)u(x) can be used to update sp. 132123408297SDimitry Andric // Following is pseudo code: 132223408297SDimitry Andric // final_sp = (sp & align) + negframesize; 132323408297SDimitry Andric // neg_gap = final_sp - sp; 132423408297SDimitry Andric // while (neg_gap < negprobesize) { 132523408297SDimitry Andric // stdu fp, negprobesize(sp); 132623408297SDimitry Andric // neg_gap -= negprobesize; 132723408297SDimitry Andric // } 132823408297SDimitry Andric // stdux fp, sp, neg_gap 132923408297SDimitry Andric // 133023408297SDimitry Andric // When HasBP & HasRedzone, back-chain pointer is already saved in BPReg 133123408297SDimitry Andric // before probe code, we don't need to save it, so we get one additional reg 133223408297SDimitry Andric // that can be used to materialize the probeside if needed to use xform. 133323408297SDimitry Andric // Otherwise, we can NOT materialize probeside, so we can only use Dform for 133423408297SDimitry Andric // now. 133523408297SDimitry Andric // 133623408297SDimitry Andric // The allocations are: 133723408297SDimitry Andric // if (HasBP && HasRedzone) { 133823408297SDimitry Andric // r0: materialize the probesize if needed so that we can use xform. 133923408297SDimitry Andric // r12: `neg_gap` 134023408297SDimitry Andric // } else { 134123408297SDimitry Andric // r0: back-chain pointer 134223408297SDimitry Andric // r12: `neg_gap`. 134323408297SDimitry Andric // } 134423408297SDimitry Andric auto probeRealignedStack = [&](MachineBasicBlock &MBB, 134523408297SDimitry Andric MachineBasicBlock::iterator MBBI, 134623408297SDimitry Andric Register ScratchReg, Register TempReg) { 134723408297SDimitry Andric assert(HasBP && "The function is supposed to have base pointer when its " 134823408297SDimitry Andric "stack is realigned."); 1349e8d8bef9SDimitry Andric assert(isPowerOf2_64(ProbeSize) && "Probe size should be power of 2"); 135023408297SDimitry Andric 135123408297SDimitry Andric // FIXME: We can eliminate this limitation if we get more infomation about 135223408297SDimitry Andric // which part of redzone are already used. Used redzone can be treated 135323408297SDimitry Andric // probed. But there might be `holes' in redzone probed, this could 135423408297SDimitry Andric // complicate the implementation. 135523408297SDimitry Andric assert(ProbeSize >= Subtarget.getRedZoneSize() && 135623408297SDimitry Andric "Probe size should be larger or equal to the size of red-zone so " 135723408297SDimitry Andric "that red-zone is not clobbered by probing."); 135823408297SDimitry Andric 135923408297SDimitry Andric Register &FinalStackPtr = TempReg; 136023408297SDimitry Andric // FIXME: We only support NegProbeSize materializable by DForm currently. 136123408297SDimitry Andric // When HasBP && HasRedzone, we can use xform if we have an additional idle 136223408297SDimitry Andric // register. 136323408297SDimitry Andric NegProbeSize = std::max(NegProbeSize, -((int64_t)1 << 15)); 136423408297SDimitry Andric assert(isInt<16>(NegProbeSize) && 136523408297SDimitry Andric "NegProbeSize should be materializable by DForm"); 1366e8d8bef9SDimitry Andric Register CRReg = PPC::CR0; 136723408297SDimitry Andric // Layout of output assembly kinda like: 1368e8d8bef9SDimitry Andric // bb.0: 1369e8d8bef9SDimitry Andric // ... 137023408297SDimitry Andric // sub $scratchreg, $finalsp, r1 137123408297SDimitry Andric // cmpdi $scratchreg, <negprobesize> 137223408297SDimitry Andric // bge bb.2 137323408297SDimitry Andric // bb.1: 137423408297SDimitry Andric // stdu <backchain>, <negprobesize>(r1) 137523408297SDimitry Andric // sub $scratchreg, $scratchreg, negprobesize 137623408297SDimitry Andric // cmpdi $scratchreg, <negprobesize> 137723408297SDimitry Andric // blt bb.1 1378e8d8bef9SDimitry Andric // bb.2: 137923408297SDimitry Andric // stdux <backchain>, r1, $scratchreg 1380e8d8bef9SDimitry Andric MachineFunction::iterator MBBInsertPoint = std::next(MBB.getIterator()); 1381e8d8bef9SDimitry Andric MachineBasicBlock *ProbeLoopBodyMBB = MF.CreateMachineBasicBlock(ProbedBB); 1382e8d8bef9SDimitry Andric MF.insert(MBBInsertPoint, ProbeLoopBodyMBB); 1383e8d8bef9SDimitry Andric MachineBasicBlock *ProbeExitMBB = MF.CreateMachineBasicBlock(ProbedBB); 1384e8d8bef9SDimitry Andric MF.insert(MBBInsertPoint, ProbeExitMBB); 138523408297SDimitry Andric // bb.2 138623408297SDimitry Andric { 138723408297SDimitry Andric Register BackChainPointer = HasRedZone ? BPReg : TempReg; 138823408297SDimitry Andric allocateAndProbe(*ProbeExitMBB, ProbeExitMBB->end(), 0, ScratchReg, false, 138923408297SDimitry Andric BackChainPointer); 139023408297SDimitry Andric if (HasRedZone) 139123408297SDimitry Andric // PROBED_STACKALLOC_64 assumes Operand(1) stores the old sp, copy BPReg 139223408297SDimitry Andric // to TempReg to satisfy it. 139323408297SDimitry Andric BuildMI(*ProbeExitMBB, ProbeExitMBB->end(), DL, CopyInst, TempReg) 139423408297SDimitry Andric .addReg(BPReg) 139523408297SDimitry Andric .addReg(BPReg); 1396e8d8bef9SDimitry Andric ProbeExitMBB->splice(ProbeExitMBB->end(), &MBB, MBBI, MBB.end()); 1397e8d8bef9SDimitry Andric ProbeExitMBB->transferSuccessorsAndUpdatePHIs(&MBB); 139823408297SDimitry Andric } 1399e8d8bef9SDimitry Andric // bb.0 140023408297SDimitry Andric { 140123408297SDimitry Andric BuildMI(&MBB, DL, TII.get(isPPC64 ? PPC::SUBF8 : PPC::SUBF), ScratchReg) 1402e8d8bef9SDimitry Andric .addReg(SPReg) 140323408297SDimitry Andric .addReg(FinalStackPtr); 140423408297SDimitry Andric if (!HasRedZone) 140523408297SDimitry Andric BuildMI(&MBB, DL, CopyInst, TempReg).addReg(SPReg).addReg(SPReg); 140623408297SDimitry Andric BuildMI(&MBB, DL, TII.get(isPPC64 ? PPC::CMPDI : PPC::CMPWI), CRReg) 140723408297SDimitry Andric .addReg(ScratchReg) 140823408297SDimitry Andric .addImm(NegProbeSize); 140923408297SDimitry Andric BuildMI(&MBB, DL, TII.get(PPC::BCC)) 141023408297SDimitry Andric .addImm(PPC::PRED_GE) 1411e8d8bef9SDimitry Andric .addReg(CRReg) 1412e8d8bef9SDimitry Andric .addMBB(ProbeExitMBB); 141323408297SDimitry Andric MBB.addSuccessor(ProbeLoopBodyMBB); 141423408297SDimitry Andric MBB.addSuccessor(ProbeExitMBB); 141523408297SDimitry Andric } 141623408297SDimitry Andric // bb.1 141723408297SDimitry Andric { 141823408297SDimitry Andric Register BackChainPointer = HasRedZone ? BPReg : TempReg; 141923408297SDimitry Andric allocateAndProbe(*ProbeLoopBodyMBB, ProbeLoopBodyMBB->end(), NegProbeSize, 142023408297SDimitry Andric 0, true /*UseDForm*/, BackChainPointer); 142123408297SDimitry Andric BuildMI(ProbeLoopBodyMBB, DL, TII.get(isPPC64 ? PPC::ADDI8 : PPC::ADDI), 142223408297SDimitry Andric ScratchReg) 142323408297SDimitry Andric .addReg(ScratchReg) 142423408297SDimitry Andric .addImm(-NegProbeSize); 142523408297SDimitry Andric BuildMI(ProbeLoopBodyMBB, DL, TII.get(isPPC64 ? PPC::CMPDI : PPC::CMPWI), 142623408297SDimitry Andric CRReg) 142723408297SDimitry Andric .addReg(ScratchReg) 142823408297SDimitry Andric .addImm(NegProbeSize); 1429e8d8bef9SDimitry Andric BuildMI(ProbeLoopBodyMBB, DL, TII.get(PPC::BCC)) 143023408297SDimitry Andric .addImm(PPC::PRED_LT) 1431e8d8bef9SDimitry Andric .addReg(CRReg) 1432e8d8bef9SDimitry Andric .addMBB(ProbeLoopBodyMBB); 1433e8d8bef9SDimitry Andric ProbeLoopBodyMBB->addSuccessor(ProbeExitMBB); 1434e8d8bef9SDimitry Andric ProbeLoopBodyMBB->addSuccessor(ProbeLoopBodyMBB); 143523408297SDimitry Andric } 1436e8d8bef9SDimitry Andric // Update liveins. 1437e8d8bef9SDimitry Andric recomputeLiveIns(*ProbeLoopBodyMBB); 1438e8d8bef9SDimitry Andric recomputeLiveIns(*ProbeExitMBB); 1439e8d8bef9SDimitry Andric return ProbeExitMBB; 1440e8d8bef9SDimitry Andric }; 1441e8d8bef9SDimitry Andric // For case HasBP && MaxAlign > 1, we have to realign the SP by performing 144223408297SDimitry Andric // SP = SP - SP % MaxAlign, thus make the probe more like dynamic probe since 144323408297SDimitry Andric // the offset subtracted from SP is determined by SP's runtime value. 1444e8d8bef9SDimitry Andric if (HasBP && MaxAlign > 1) { 144523408297SDimitry Andric // Calculate final stack pointer. 144623408297SDimitry Andric if (isPPC64) 144723408297SDimitry Andric BuildMI(*CurrentMBB, {MI}, DL, TII.get(PPC::RLDICL), ScratchReg) 1448e8d8bef9SDimitry Andric .addReg(SPReg) 144923408297SDimitry Andric .addImm(0) 145023408297SDimitry Andric .addImm(64 - Log2(MaxAlign)); 145123408297SDimitry Andric else 1452e8d8bef9SDimitry Andric BuildMI(*CurrentMBB, {MI}, DL, TII.get(PPC::RLWINM), ScratchReg) 145323408297SDimitry Andric .addReg(SPReg) 14545ffd83dbSDimitry Andric .addImm(0) 14555ffd83dbSDimitry Andric .addImm(32 - Log2(MaxAlign)) 14565ffd83dbSDimitry Andric .addImm(31); 145723408297SDimitry Andric BuildMI(*CurrentMBB, {MI}, DL, TII.get(isPPC64 ? PPC::SUBF8 : PPC::SUBF), 145823408297SDimitry Andric FPReg) 1459590d96feSDimitry Andric .addReg(ScratchReg) 1460590d96feSDimitry Andric .addReg(SPReg); 146123408297SDimitry Andric MaterializeImm(*CurrentMBB, {MI}, NegFrameSize, ScratchReg); 146223408297SDimitry Andric BuildMI(*CurrentMBB, {MI}, DL, TII.get(isPPC64 ? PPC::ADD8 : PPC::ADD4), 146323408297SDimitry Andric FPReg) 146423408297SDimitry Andric .addReg(ScratchReg) 146523408297SDimitry Andric .addReg(FPReg); 146623408297SDimitry Andric CurrentMBB = probeRealignedStack(*CurrentMBB, {MI}, ScratchReg, FPReg); 146723408297SDimitry Andric if (needsCFI) 146823408297SDimitry Andric buildDefCFAReg(*CurrentMBB, {MI}, FPReg); 1469e8d8bef9SDimitry Andric } else { 1470e8d8bef9SDimitry Andric // Initialize current frame pointer. 1471e8d8bef9SDimitry Andric BuildMI(*CurrentMBB, {MI}, DL, CopyInst, FPReg).addReg(SPReg).addReg(SPReg); 1472e8d8bef9SDimitry Andric // Use FPReg to calculate CFA. 1473e8d8bef9SDimitry Andric if (needsCFI) 1474e8d8bef9SDimitry Andric buildDefCFA(*CurrentMBB, {MI}, FPReg, 0); 14755ffd83dbSDimitry Andric // Probe residual part. 14765ffd83dbSDimitry Andric if (NegResidualSize) { 14775ffd83dbSDimitry Andric bool ResidualUseDForm = CanUseDForm(NegResidualSize); 14785ffd83dbSDimitry Andric if (!ResidualUseDForm) 1479e8d8bef9SDimitry Andric MaterializeImm(*CurrentMBB, {MI}, NegResidualSize, ScratchReg); 1480e8d8bef9SDimitry Andric allocateAndProbe(*CurrentMBB, {MI}, NegResidualSize, ScratchReg, 1481e8d8bef9SDimitry Andric ResidualUseDForm, FPReg); 14825ffd83dbSDimitry Andric } 14835ffd83dbSDimitry Andric bool UseDForm = CanUseDForm(NegProbeSize); 14845ffd83dbSDimitry Andric // If number of blocks is small, just probe them directly. 14855ffd83dbSDimitry Andric if (NumBlocks < 3) { 14865ffd83dbSDimitry Andric if (!UseDForm) 1487e8d8bef9SDimitry Andric MaterializeImm(*CurrentMBB, {MI}, NegProbeSize, ScratchReg); 14885ffd83dbSDimitry Andric for (int i = 0; i < NumBlocks; ++i) 1489e8d8bef9SDimitry Andric allocateAndProbe(*CurrentMBB, {MI}, NegProbeSize, ScratchReg, UseDForm, 1490e8d8bef9SDimitry Andric FPReg); 14915ffd83dbSDimitry Andric if (needsCFI) { 14925ffd83dbSDimitry Andric // Restore using SPReg to calculate CFA. 1493e8d8bef9SDimitry Andric buildDefCFAReg(*CurrentMBB, {MI}, SPReg); 14945ffd83dbSDimitry Andric } 14955ffd83dbSDimitry Andric } else { 14965ffd83dbSDimitry Andric // Since CTR is a volatile register and current shrinkwrap implementation 14975ffd83dbSDimitry Andric // won't choose an MBB in a loop as the PrologMBB, it's safe to synthesize a 14985ffd83dbSDimitry Andric // CTR loop to probe. 14995ffd83dbSDimitry Andric // Calculate trip count and stores it in CTRReg. 1500e8d8bef9SDimitry Andric MaterializeImm(*CurrentMBB, {MI}, NumBlocks, ScratchReg); 1501e8d8bef9SDimitry Andric BuildMI(*CurrentMBB, {MI}, DL, TII.get(isPPC64 ? PPC::MTCTR8 : PPC::MTCTR)) 15025ffd83dbSDimitry Andric .addReg(ScratchReg, RegState::Kill); 15035ffd83dbSDimitry Andric if (!UseDForm) 1504e8d8bef9SDimitry Andric MaterializeImm(*CurrentMBB, {MI}, NegProbeSize, ScratchReg); 15055ffd83dbSDimitry Andric // Create MBBs of the loop. 15065ffd83dbSDimitry Andric MachineFunction::iterator MBBInsertPoint = 1507e8d8bef9SDimitry Andric std::next(CurrentMBB->getIterator()); 15085ffd83dbSDimitry Andric MachineBasicBlock *LoopMBB = MF.CreateMachineBasicBlock(ProbedBB); 15095ffd83dbSDimitry Andric MF.insert(MBBInsertPoint, LoopMBB); 15105ffd83dbSDimitry Andric MachineBasicBlock *ExitMBB = MF.CreateMachineBasicBlock(ProbedBB); 15115ffd83dbSDimitry Andric MF.insert(MBBInsertPoint, ExitMBB); 15125ffd83dbSDimitry Andric // Synthesize the loop body. 15135ffd83dbSDimitry Andric allocateAndProbe(*LoopMBB, LoopMBB->end(), NegProbeSize, ScratchReg, 1514e8d8bef9SDimitry Andric UseDForm, FPReg); 15155ffd83dbSDimitry Andric BuildMI(LoopMBB, DL, TII.get(isPPC64 ? PPC::BDNZ8 : PPC::BDNZ)) 15165ffd83dbSDimitry Andric .addMBB(LoopMBB); 15175ffd83dbSDimitry Andric LoopMBB->addSuccessor(ExitMBB); 15185ffd83dbSDimitry Andric LoopMBB->addSuccessor(LoopMBB); 15195ffd83dbSDimitry Andric // Synthesize the exit MBB. 1520e8d8bef9SDimitry Andric ExitMBB->splice(ExitMBB->end(), CurrentMBB, 15215ffd83dbSDimitry Andric std::next(MachineBasicBlock::iterator(MI)), 1522e8d8bef9SDimitry Andric CurrentMBB->end()); 1523e8d8bef9SDimitry Andric ExitMBB->transferSuccessorsAndUpdatePHIs(CurrentMBB); 1524e8d8bef9SDimitry Andric CurrentMBB->addSuccessor(LoopMBB); 15255ffd83dbSDimitry Andric if (needsCFI) { 15265ffd83dbSDimitry Andric // Restore using SPReg to calculate CFA. 15275ffd83dbSDimitry Andric buildDefCFAReg(*ExitMBB, ExitMBB->begin(), SPReg); 15285ffd83dbSDimitry Andric } 15295ffd83dbSDimitry Andric // Update liveins. 15305ffd83dbSDimitry Andric recomputeLiveIns(*LoopMBB); 15315ffd83dbSDimitry Andric recomputeLiveIns(*ExitMBB); 15325ffd83dbSDimitry Andric } 153323408297SDimitry Andric } 15345ffd83dbSDimitry Andric ++NumPrologProbed; 15355ffd83dbSDimitry Andric MI.eraseFromParent(); 15365ffd83dbSDimitry Andric } 15375ffd83dbSDimitry Andric 1538*0b57cec5SDimitry Andric void PPCFrameLowering::emitEpilogue(MachineFunction &MF, 1539*0b57cec5SDimitry Andric MachineBasicBlock &MBB) const { 1540*0b57cec5SDimitry Andric MachineBasicBlock::iterator MBBI = MBB.getFirstTerminator(); 1541*0b57cec5SDimitry Andric DebugLoc dl; 1542*0b57cec5SDimitry Andric 1543*0b57cec5SDimitry Andric if (MBBI != MBB.end()) 1544*0b57cec5SDimitry Andric dl = MBBI->getDebugLoc(); 1545*0b57cec5SDimitry Andric 1546*0b57cec5SDimitry Andric const PPCInstrInfo &TII = *Subtarget.getInstrInfo(); 1547*0b57cec5SDimitry Andric const PPCRegisterInfo *RegInfo = Subtarget.getRegisterInfo(); 1548*0b57cec5SDimitry Andric 1549*0b57cec5SDimitry Andric // Get alignment info so we know how to restore the SP. 1550*0b57cec5SDimitry Andric const MachineFrameInfo &MFI = MF.getFrameInfo(); 1551*0b57cec5SDimitry Andric 1552*0b57cec5SDimitry Andric // Get the number of bytes allocated from the FrameInfo. 1553349cc55cSDimitry Andric int64_t FrameSize = MFI.getStackSize(); 1554*0b57cec5SDimitry Andric 1555*0b57cec5SDimitry Andric // Get processor type. 1556*0b57cec5SDimitry Andric bool isPPC64 = Subtarget.isPPC64(); 1557*0b57cec5SDimitry Andric 1558*0b57cec5SDimitry Andric // Check if the link register (LR) has been saved. 1559*0b57cec5SDimitry Andric PPCFunctionInfo *FI = MF.getInfo<PPCFunctionInfo>(); 1560*0b57cec5SDimitry Andric bool MustSaveLR = FI->mustSaveLR(); 15615ffd83dbSDimitry Andric const SmallVectorImpl<Register> &MustSaveCRs = FI->getMustSaveCRs(); 1562*0b57cec5SDimitry Andric bool MustSaveCR = !MustSaveCRs.empty(); 1563*0b57cec5SDimitry Andric // Do we have a frame pointer and/or base pointer for this function? 1564*0b57cec5SDimitry Andric bool HasFP = hasFP(MF); 1565*0b57cec5SDimitry Andric bool HasBP = RegInfo->hasBasePointer(MF); 1566*0b57cec5SDimitry Andric bool HasRedZone = Subtarget.isPPC64() || !Subtarget.isSVR4ABI(); 1567fe6060f1SDimitry Andric bool HasROPProtect = Subtarget.hasROPProtect(); 1568fe6060f1SDimitry Andric bool HasPrivileged = Subtarget.hasPrivileged(); 1569*0b57cec5SDimitry Andric 15705ffd83dbSDimitry Andric Register SPReg = isPPC64 ? PPC::X1 : PPC::R1; 15718bcb0991SDimitry Andric Register BPReg = RegInfo->getBaseRegister(MF); 15725ffd83dbSDimitry Andric Register FPReg = isPPC64 ? PPC::X31 : PPC::R31; 15735ffd83dbSDimitry Andric Register ScratchReg; 15745ffd83dbSDimitry Andric Register TempReg = isPPC64 ? PPC::X12 : PPC::R12; // another scratch reg 1575*0b57cec5SDimitry Andric const MCInstrDesc& MTLRInst = TII.get( isPPC64 ? PPC::MTLR8 1576*0b57cec5SDimitry Andric : PPC::MTLR ); 1577*0b57cec5SDimitry Andric const MCInstrDesc& LoadInst = TII.get( isPPC64 ? PPC::LD 1578*0b57cec5SDimitry Andric : PPC::LWZ ); 1579*0b57cec5SDimitry Andric const MCInstrDesc& LoadImmShiftedInst = TII.get( isPPC64 ? PPC::LIS8 1580*0b57cec5SDimitry Andric : PPC::LIS ); 1581*0b57cec5SDimitry Andric const MCInstrDesc& OrInst = TII.get(isPPC64 ? PPC::OR8 1582*0b57cec5SDimitry Andric : PPC::OR ); 1583*0b57cec5SDimitry Andric const MCInstrDesc& OrImmInst = TII.get( isPPC64 ? PPC::ORI8 1584*0b57cec5SDimitry Andric : PPC::ORI ); 1585*0b57cec5SDimitry Andric const MCInstrDesc& AddImmInst = TII.get( isPPC64 ? PPC::ADDI8 1586*0b57cec5SDimitry Andric : PPC::ADDI ); 1587*0b57cec5SDimitry Andric const MCInstrDesc& AddInst = TII.get( isPPC64 ? PPC::ADD8 1588*0b57cec5SDimitry Andric : PPC::ADD4 ); 15895ffd83dbSDimitry Andric const MCInstrDesc& LoadWordInst = TII.get( isPPC64 ? PPC::LWZ8 15905ffd83dbSDimitry Andric : PPC::LWZ); 15915ffd83dbSDimitry Andric const MCInstrDesc& MoveToCRInst = TII.get( isPPC64 ? PPC::MTOCRF8 15925ffd83dbSDimitry Andric : PPC::MTOCRF); 1593fe6060f1SDimitry Andric const MCInstrDesc &HashChk = 1594fe6060f1SDimitry Andric TII.get(HasPrivileged ? PPC::HASHCHKP : PPC::HASHCHK); 1595349cc55cSDimitry Andric int64_t LROffset = getReturnSaveOffset(); 1596*0b57cec5SDimitry Andric 1597349cc55cSDimitry Andric int64_t FPOffset = 0; 1598*0b57cec5SDimitry Andric 1599*0b57cec5SDimitry Andric // Using the same bool variable as below to suppress compiler warnings. 1600*0b57cec5SDimitry Andric bool SingleScratchReg = findScratchRegister(&MBB, true, false, &ScratchReg, 1601*0b57cec5SDimitry Andric &TempReg); 1602*0b57cec5SDimitry Andric assert(SingleScratchReg && 1603*0b57cec5SDimitry Andric "Could not find an available scratch register"); 1604*0b57cec5SDimitry Andric 1605*0b57cec5SDimitry Andric SingleScratchReg = ScratchReg == TempReg; 1606*0b57cec5SDimitry Andric 1607*0b57cec5SDimitry Andric if (HasFP) { 1608*0b57cec5SDimitry Andric int FPIndex = FI->getFramePointerSaveIndex(); 1609*0b57cec5SDimitry Andric assert(FPIndex && "No Frame Pointer Save Slot!"); 1610*0b57cec5SDimitry Andric FPOffset = MFI.getObjectOffset(FPIndex); 1611*0b57cec5SDimitry Andric } 1612*0b57cec5SDimitry Andric 1613349cc55cSDimitry Andric int64_t BPOffset = 0; 1614*0b57cec5SDimitry Andric if (HasBP) { 1615*0b57cec5SDimitry Andric int BPIndex = FI->getBasePointerSaveIndex(); 1616*0b57cec5SDimitry Andric assert(BPIndex && "No Base Pointer Save Slot!"); 1617*0b57cec5SDimitry Andric BPOffset = MFI.getObjectOffset(BPIndex); 1618*0b57cec5SDimitry Andric } 1619*0b57cec5SDimitry Andric 1620349cc55cSDimitry Andric int64_t PBPOffset = 0; 1621*0b57cec5SDimitry Andric if (FI->usesPICBase()) { 1622*0b57cec5SDimitry Andric int PBPIndex = FI->getPICBasePointerSaveIndex(); 1623*0b57cec5SDimitry Andric assert(PBPIndex && "No PIC Base Pointer Save Slot!"); 1624*0b57cec5SDimitry Andric PBPOffset = MFI.getObjectOffset(PBPIndex); 1625*0b57cec5SDimitry Andric } 1626*0b57cec5SDimitry Andric 1627*0b57cec5SDimitry Andric bool IsReturnBlock = (MBBI != MBB.end() && MBBI->isReturn()); 1628*0b57cec5SDimitry Andric 1629*0b57cec5SDimitry Andric if (IsReturnBlock) { 1630*0b57cec5SDimitry Andric unsigned RetOpcode = MBBI->getOpcode(); 1631*0b57cec5SDimitry Andric bool UsesTCRet = RetOpcode == PPC::TCRETURNri || 1632*0b57cec5SDimitry Andric RetOpcode == PPC::TCRETURNdi || 1633*0b57cec5SDimitry Andric RetOpcode == PPC::TCRETURNai || 1634*0b57cec5SDimitry Andric RetOpcode == PPC::TCRETURNri8 || 1635*0b57cec5SDimitry Andric RetOpcode == PPC::TCRETURNdi8 || 1636*0b57cec5SDimitry Andric RetOpcode == PPC::TCRETURNai8; 1637*0b57cec5SDimitry Andric 1638*0b57cec5SDimitry Andric if (UsesTCRet) { 1639*0b57cec5SDimitry Andric int MaxTCRetDelta = FI->getTailCallSPDelta(); 1640*0b57cec5SDimitry Andric MachineOperand &StackAdjust = MBBI->getOperand(1); 1641*0b57cec5SDimitry Andric assert(StackAdjust.isImm() && "Expecting immediate value."); 1642*0b57cec5SDimitry Andric // Adjust stack pointer. 1643*0b57cec5SDimitry Andric int StackAdj = StackAdjust.getImm(); 1644*0b57cec5SDimitry Andric int Delta = StackAdj - MaxTCRetDelta; 1645*0b57cec5SDimitry Andric assert((Delta >= 0) && "Delta must be positive"); 1646*0b57cec5SDimitry Andric if (MaxTCRetDelta>0) 1647*0b57cec5SDimitry Andric FrameSize += (StackAdj +Delta); 1648*0b57cec5SDimitry Andric else 1649*0b57cec5SDimitry Andric FrameSize += StackAdj; 1650*0b57cec5SDimitry Andric } 1651*0b57cec5SDimitry Andric } 1652*0b57cec5SDimitry Andric 1653*0b57cec5SDimitry Andric // Frames of 32KB & larger require special handling because they cannot be 1654*0b57cec5SDimitry Andric // indexed into with a simple LD/LWZ immediate offset operand. 1655*0b57cec5SDimitry Andric bool isLargeFrame = !isInt<16>(FrameSize); 1656*0b57cec5SDimitry Andric 1657*0b57cec5SDimitry Andric // On targets without red zone, the SP needs to be restored last, so that 1658*0b57cec5SDimitry Andric // all live contents of the stack frame are upwards of the SP. This means 1659*0b57cec5SDimitry Andric // that we cannot restore SP just now, since there may be more registers 1660*0b57cec5SDimitry Andric // to restore from the stack frame (e.g. R31). If the frame size is not 1661*0b57cec5SDimitry Andric // a simple immediate value, we will need a spare register to hold the 1662*0b57cec5SDimitry Andric // restored SP. If the frame size is known and small, we can simply adjust 1663*0b57cec5SDimitry Andric // the offsets of the registers to be restored, and still use SP to restore 1664*0b57cec5SDimitry Andric // them. In such case, the final update of SP will be to add the frame 1665*0b57cec5SDimitry Andric // size to it. 1666*0b57cec5SDimitry Andric // To simplify the code, set RBReg to the base register used to restore 1667*0b57cec5SDimitry Andric // values from the stack, and set SPAdd to the value that needs to be added 1668*0b57cec5SDimitry Andric // to the SP at the end. The default values are as if red zone was present. 1669*0b57cec5SDimitry Andric unsigned RBReg = SPReg; 1670*0b57cec5SDimitry Andric unsigned SPAdd = 0; 1671*0b57cec5SDimitry Andric 1672*0b57cec5SDimitry Andric // Check if we can move the stack update instruction up the epilogue 1673*0b57cec5SDimitry Andric // past the callee saves. This will allow the move to LR instruction 1674*0b57cec5SDimitry Andric // to be executed before the restores of the callee saves which means 1675*0b57cec5SDimitry Andric // that the callee saves can hide the latency from the MTLR instrcution. 1676*0b57cec5SDimitry Andric MachineBasicBlock::iterator StackUpdateLoc = MBBI; 1677*0b57cec5SDimitry Andric if (stackUpdateCanBeMoved(MF)) { 1678*0b57cec5SDimitry Andric const std::vector<CalleeSavedInfo> & Info = MFI.getCalleeSavedInfo(); 1679*0b57cec5SDimitry Andric for (CalleeSavedInfo CSI : Info) { 1680fe6060f1SDimitry Andric // If the callee saved register is spilled to another register abort the 1681fe6060f1SDimitry Andric // stack update movement. 1682fe6060f1SDimitry Andric if (CSI.isSpilledToReg()) { 1683fe6060f1SDimitry Andric StackUpdateLoc = MBBI; 1684fe6060f1SDimitry Andric break; 1685fe6060f1SDimitry Andric } 1686*0b57cec5SDimitry Andric int FrIdx = CSI.getFrameIdx(); 1687*0b57cec5SDimitry Andric // If the frame index is not negative the callee saved info belongs to a 1688*0b57cec5SDimitry Andric // stack object that is not a fixed stack object. We ignore non-fixed 1689*0b57cec5SDimitry Andric // stack objects because we won't move the update of the stack pointer 1690*0b57cec5SDimitry Andric // past them. 1691*0b57cec5SDimitry Andric if (FrIdx >= 0) 1692*0b57cec5SDimitry Andric continue; 1693*0b57cec5SDimitry Andric 1694*0b57cec5SDimitry Andric if (MFI.isFixedObjectIndex(FrIdx) && MFI.getObjectOffset(FrIdx) < 0) 1695*0b57cec5SDimitry Andric StackUpdateLoc--; 1696*0b57cec5SDimitry Andric else { 1697*0b57cec5SDimitry Andric // Abort the operation as we can't update all CSR restores. 1698*0b57cec5SDimitry Andric StackUpdateLoc = MBBI; 1699*0b57cec5SDimitry Andric break; 1700*0b57cec5SDimitry Andric } 1701*0b57cec5SDimitry Andric } 1702*0b57cec5SDimitry Andric } 1703*0b57cec5SDimitry Andric 1704*0b57cec5SDimitry Andric if (FrameSize) { 1705*0b57cec5SDimitry Andric // In the prologue, the loaded (or persistent) stack pointer value is 1706*0b57cec5SDimitry Andric // offset by the STDU/STDUX/STWU/STWUX instruction. For targets with red 1707*0b57cec5SDimitry Andric // zone add this offset back now. 1708*0b57cec5SDimitry Andric 1709e8d8bef9SDimitry Andric // If the function has a base pointer, the stack pointer has been copied 1710e8d8bef9SDimitry Andric // to it so we can restore it by copying in the other direction. 1711e8d8bef9SDimitry Andric if (HasRedZone && HasBP) { 1712e8d8bef9SDimitry Andric BuildMI(MBB, MBBI, dl, OrInst, RBReg). 1713e8d8bef9SDimitry Andric addReg(BPReg). 1714e8d8bef9SDimitry Andric addReg(BPReg); 1715e8d8bef9SDimitry Andric } 1716*0b57cec5SDimitry Andric // If this function contained a fastcc call and GuaranteedTailCallOpt is 1717*0b57cec5SDimitry Andric // enabled (=> hasFastCall()==true) the fastcc call might contain a tail 1718*0b57cec5SDimitry Andric // call which invalidates the stack pointer value in SP(0). So we use the 1719e8d8bef9SDimitry Andric // value of R31 in this case. Similar situation exists with setjmp. 1720e8d8bef9SDimitry Andric else if (FI->hasFastCall() || MF.exposesReturnsTwice()) { 1721*0b57cec5SDimitry Andric assert(HasFP && "Expecting a valid frame pointer."); 1722*0b57cec5SDimitry Andric if (!HasRedZone) 1723*0b57cec5SDimitry Andric RBReg = FPReg; 1724*0b57cec5SDimitry Andric if (!isLargeFrame) { 1725*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, AddImmInst, RBReg) 1726*0b57cec5SDimitry Andric .addReg(FPReg).addImm(FrameSize); 1727*0b57cec5SDimitry Andric } else { 1728*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, LoadImmShiftedInst, ScratchReg) 1729*0b57cec5SDimitry Andric .addImm(FrameSize >> 16); 1730*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, OrImmInst, ScratchReg) 1731*0b57cec5SDimitry Andric .addReg(ScratchReg, RegState::Kill) 1732*0b57cec5SDimitry Andric .addImm(FrameSize & 0xFFFF); 1733*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, AddInst) 1734*0b57cec5SDimitry Andric .addReg(RBReg) 1735*0b57cec5SDimitry Andric .addReg(FPReg) 1736*0b57cec5SDimitry Andric .addReg(ScratchReg); 1737*0b57cec5SDimitry Andric } 1738*0b57cec5SDimitry Andric } else if (!isLargeFrame && !HasBP && !MFI.hasVarSizedObjects()) { 1739*0b57cec5SDimitry Andric if (HasRedZone) { 1740*0b57cec5SDimitry Andric BuildMI(MBB, StackUpdateLoc, dl, AddImmInst, SPReg) 1741*0b57cec5SDimitry Andric .addReg(SPReg) 1742*0b57cec5SDimitry Andric .addImm(FrameSize); 1743*0b57cec5SDimitry Andric } else { 1744*0b57cec5SDimitry Andric // Make sure that adding FrameSize will not overflow the max offset 1745*0b57cec5SDimitry Andric // size. 1746*0b57cec5SDimitry Andric assert(FPOffset <= 0 && BPOffset <= 0 && PBPOffset <= 0 && 1747*0b57cec5SDimitry Andric "Local offsets should be negative"); 1748*0b57cec5SDimitry Andric SPAdd = FrameSize; 1749*0b57cec5SDimitry Andric FPOffset += FrameSize; 1750*0b57cec5SDimitry Andric BPOffset += FrameSize; 1751*0b57cec5SDimitry Andric PBPOffset += FrameSize; 1752*0b57cec5SDimitry Andric } 1753*0b57cec5SDimitry Andric } else { 1754*0b57cec5SDimitry Andric // We don't want to use ScratchReg as a base register, because it 1755*0b57cec5SDimitry Andric // could happen to be R0. Use FP instead, but make sure to preserve it. 1756*0b57cec5SDimitry Andric if (!HasRedZone) { 1757*0b57cec5SDimitry Andric // If FP is not saved, copy it to ScratchReg. 1758*0b57cec5SDimitry Andric if (!HasFP) 1759*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, OrInst, ScratchReg) 1760*0b57cec5SDimitry Andric .addReg(FPReg) 1761*0b57cec5SDimitry Andric .addReg(FPReg); 1762*0b57cec5SDimitry Andric RBReg = FPReg; 1763*0b57cec5SDimitry Andric } 1764*0b57cec5SDimitry Andric BuildMI(MBB, StackUpdateLoc, dl, LoadInst, RBReg) 1765*0b57cec5SDimitry Andric .addImm(0) 1766*0b57cec5SDimitry Andric .addReg(SPReg); 1767*0b57cec5SDimitry Andric } 1768*0b57cec5SDimitry Andric } 1769*0b57cec5SDimitry Andric assert(RBReg != ScratchReg && "Should have avoided ScratchReg"); 1770*0b57cec5SDimitry Andric // If there is no red zone, ScratchReg may be needed for holding a useful 1771*0b57cec5SDimitry Andric // value (although not the base register). Make sure it is not overwritten 1772*0b57cec5SDimitry Andric // too early. 1773*0b57cec5SDimitry Andric 1774*0b57cec5SDimitry Andric // If we need to restore both the LR and the CR and we only have one 1775*0b57cec5SDimitry Andric // available scratch register, we must do them one at a time. 1776*0b57cec5SDimitry Andric if (MustSaveCR && SingleScratchReg && MustSaveLR) { 1777*0b57cec5SDimitry Andric // Here TempReg == ScratchReg, and in the absence of red zone ScratchReg 1778*0b57cec5SDimitry Andric // is live here. 1779*0b57cec5SDimitry Andric assert(HasRedZone && "Expecting red zone"); 17805ffd83dbSDimitry Andric BuildMI(MBB, MBBI, dl, LoadWordInst, TempReg) 17815ffd83dbSDimitry Andric .addImm(CRSaveOffset) 1782*0b57cec5SDimitry Andric .addReg(SPReg); 1783*0b57cec5SDimitry Andric for (unsigned i = 0, e = MustSaveCRs.size(); i != e; ++i) 17845ffd83dbSDimitry Andric BuildMI(MBB, MBBI, dl, MoveToCRInst, MustSaveCRs[i]) 1785*0b57cec5SDimitry Andric .addReg(TempReg, getKillRegState(i == e-1)); 1786*0b57cec5SDimitry Andric } 1787*0b57cec5SDimitry Andric 1788*0b57cec5SDimitry Andric // Delay restoring of the LR if ScratchReg is needed. This is ok, since 1789*0b57cec5SDimitry Andric // LR is stored in the caller's stack frame. ScratchReg will be needed 1790*0b57cec5SDimitry Andric // if RBReg is anything other than SP. We shouldn't use ScratchReg as 1791*0b57cec5SDimitry Andric // a base register anyway, because it may happen to be R0. 1792*0b57cec5SDimitry Andric bool LoadedLR = false; 1793*0b57cec5SDimitry Andric if (MustSaveLR && RBReg == SPReg && isInt<16>(LROffset+SPAdd)) { 1794*0b57cec5SDimitry Andric BuildMI(MBB, StackUpdateLoc, dl, LoadInst, ScratchReg) 1795*0b57cec5SDimitry Andric .addImm(LROffset+SPAdd) 1796*0b57cec5SDimitry Andric .addReg(RBReg); 1797*0b57cec5SDimitry Andric LoadedLR = true; 1798*0b57cec5SDimitry Andric } 1799*0b57cec5SDimitry Andric 1800*0b57cec5SDimitry Andric if (MustSaveCR && !(SingleScratchReg && MustSaveLR)) { 1801*0b57cec5SDimitry Andric assert(RBReg == SPReg && "Should be using SP as a base register"); 18025ffd83dbSDimitry Andric BuildMI(MBB, MBBI, dl, LoadWordInst, TempReg) 18035ffd83dbSDimitry Andric .addImm(CRSaveOffset) 1804*0b57cec5SDimitry Andric .addReg(RBReg); 1805*0b57cec5SDimitry Andric } 1806*0b57cec5SDimitry Andric 1807*0b57cec5SDimitry Andric if (HasFP) { 1808*0b57cec5SDimitry Andric // If there is red zone, restore FP directly, since SP has already been 1809*0b57cec5SDimitry Andric // restored. Otherwise, restore the value of FP into ScratchReg. 1810*0b57cec5SDimitry Andric if (HasRedZone || RBReg == SPReg) 1811*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, LoadInst, FPReg) 1812*0b57cec5SDimitry Andric .addImm(FPOffset) 1813*0b57cec5SDimitry Andric .addReg(SPReg); 1814*0b57cec5SDimitry Andric else 1815*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, LoadInst, ScratchReg) 1816*0b57cec5SDimitry Andric .addImm(FPOffset) 1817*0b57cec5SDimitry Andric .addReg(RBReg); 1818*0b57cec5SDimitry Andric } 1819*0b57cec5SDimitry Andric 1820*0b57cec5SDimitry Andric if (FI->usesPICBase()) 1821*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, LoadInst, PPC::R30) 1822*0b57cec5SDimitry Andric .addImm(PBPOffset) 1823*0b57cec5SDimitry Andric .addReg(RBReg); 1824*0b57cec5SDimitry Andric 1825*0b57cec5SDimitry Andric if (HasBP) 1826*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, LoadInst, BPReg) 1827*0b57cec5SDimitry Andric .addImm(BPOffset) 1828*0b57cec5SDimitry Andric .addReg(RBReg); 1829*0b57cec5SDimitry Andric 1830*0b57cec5SDimitry Andric // There is nothing more to be loaded from the stack, so now we can 1831*0b57cec5SDimitry Andric // restore SP: SP = RBReg + SPAdd. 1832*0b57cec5SDimitry Andric if (RBReg != SPReg || SPAdd != 0) { 1833*0b57cec5SDimitry Andric assert(!HasRedZone && "This should not happen with red zone"); 1834*0b57cec5SDimitry Andric // If SPAdd is 0, generate a copy. 1835*0b57cec5SDimitry Andric if (SPAdd == 0) 1836*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, OrInst, SPReg) 1837*0b57cec5SDimitry Andric .addReg(RBReg) 1838*0b57cec5SDimitry Andric .addReg(RBReg); 1839*0b57cec5SDimitry Andric else 1840*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, AddImmInst, SPReg) 1841*0b57cec5SDimitry Andric .addReg(RBReg) 1842*0b57cec5SDimitry Andric .addImm(SPAdd); 1843*0b57cec5SDimitry Andric 1844*0b57cec5SDimitry Andric assert(RBReg != ScratchReg && "Should be using FP or SP as base register"); 1845*0b57cec5SDimitry Andric if (RBReg == FPReg) 1846*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, OrInst, FPReg) 1847*0b57cec5SDimitry Andric .addReg(ScratchReg) 1848*0b57cec5SDimitry Andric .addReg(ScratchReg); 1849*0b57cec5SDimitry Andric 1850*0b57cec5SDimitry Andric // Now load the LR from the caller's stack frame. 1851*0b57cec5SDimitry Andric if (MustSaveLR && !LoadedLR) 1852*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, LoadInst, ScratchReg) 1853*0b57cec5SDimitry Andric .addImm(LROffset) 1854*0b57cec5SDimitry Andric .addReg(SPReg); 1855*0b57cec5SDimitry Andric } 1856*0b57cec5SDimitry Andric 1857*0b57cec5SDimitry Andric if (MustSaveCR && 18585ffd83dbSDimitry Andric !(SingleScratchReg && MustSaveLR)) 1859*0b57cec5SDimitry Andric for (unsigned i = 0, e = MustSaveCRs.size(); i != e; ++i) 18605ffd83dbSDimitry Andric BuildMI(MBB, MBBI, dl, MoveToCRInst, MustSaveCRs[i]) 1861*0b57cec5SDimitry Andric .addReg(TempReg, getKillRegState(i == e-1)); 1862*0b57cec5SDimitry Andric 1863fe6060f1SDimitry Andric if (MustSaveLR) { 1864fe6060f1SDimitry Andric // If ROP protection is required, an extra instruction is added to compute a 1865fe6060f1SDimitry Andric // hash and then compare it to the hash stored in the prologue. 1866fe6060f1SDimitry Andric if (HasROPProtect) { 1867fe6060f1SDimitry Andric const int SaveIndex = FI->getROPProtectionHashSaveIndex(); 1868349cc55cSDimitry Andric const int64_t ImmOffset = MFI.getObjectOffset(SaveIndex); 1869fe6060f1SDimitry Andric assert((ImmOffset <= -8 && ImmOffset >= -512) && 1870fe6060f1SDimitry Andric "ROP hash check location offset out of range."); 1871fe6060f1SDimitry Andric assert(((ImmOffset & 0x7) == 0) && 1872fe6060f1SDimitry Andric "ROP hash check location offset must be 8 byte aligned."); 1873fe6060f1SDimitry Andric BuildMI(MBB, StackUpdateLoc, dl, HashChk) 1874fe6060f1SDimitry Andric .addReg(ScratchReg) 1875fe6060f1SDimitry Andric .addImm(ImmOffset) 1876fe6060f1SDimitry Andric .addReg(SPReg); 1877fe6060f1SDimitry Andric } 1878*0b57cec5SDimitry Andric BuildMI(MBB, StackUpdateLoc, dl, MTLRInst).addReg(ScratchReg); 1879fe6060f1SDimitry Andric } 1880*0b57cec5SDimitry Andric 1881*0b57cec5SDimitry Andric // Callee pop calling convention. Pop parameter/linkage area. Used for tail 1882*0b57cec5SDimitry Andric // call optimization 1883*0b57cec5SDimitry Andric if (IsReturnBlock) { 1884*0b57cec5SDimitry Andric unsigned RetOpcode = MBBI->getOpcode(); 1885*0b57cec5SDimitry Andric if (MF.getTarget().Options.GuaranteedTailCallOpt && 1886*0b57cec5SDimitry Andric (RetOpcode == PPC::BLR || RetOpcode == PPC::BLR8) && 1887*0b57cec5SDimitry Andric MF.getFunction().getCallingConv() == CallingConv::Fast) { 1888*0b57cec5SDimitry Andric PPCFunctionInfo *FI = MF.getInfo<PPCFunctionInfo>(); 1889*0b57cec5SDimitry Andric unsigned CallerAllocatedAmt = FI->getMinReservedArea(); 1890*0b57cec5SDimitry Andric 1891*0b57cec5SDimitry Andric if (CallerAllocatedAmt && isInt<16>(CallerAllocatedAmt)) { 1892*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, AddImmInst, SPReg) 1893*0b57cec5SDimitry Andric .addReg(SPReg).addImm(CallerAllocatedAmt); 1894*0b57cec5SDimitry Andric } else { 1895*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, LoadImmShiftedInst, ScratchReg) 1896*0b57cec5SDimitry Andric .addImm(CallerAllocatedAmt >> 16); 1897*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, OrImmInst, ScratchReg) 1898*0b57cec5SDimitry Andric .addReg(ScratchReg, RegState::Kill) 1899*0b57cec5SDimitry Andric .addImm(CallerAllocatedAmt & 0xFFFF); 1900*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, AddInst) 1901*0b57cec5SDimitry Andric .addReg(SPReg) 1902*0b57cec5SDimitry Andric .addReg(FPReg) 1903*0b57cec5SDimitry Andric .addReg(ScratchReg); 1904*0b57cec5SDimitry Andric } 1905*0b57cec5SDimitry Andric } else { 1906*0b57cec5SDimitry Andric createTailCallBranchInstr(MBB); 1907*0b57cec5SDimitry Andric } 1908*0b57cec5SDimitry Andric } 1909*0b57cec5SDimitry Andric } 1910*0b57cec5SDimitry Andric 1911*0b57cec5SDimitry Andric void PPCFrameLowering::createTailCallBranchInstr(MachineBasicBlock &MBB) const { 1912*0b57cec5SDimitry Andric MachineBasicBlock::iterator MBBI = MBB.getFirstTerminator(); 1913*0b57cec5SDimitry Andric 1914*0b57cec5SDimitry Andric // If we got this far a first terminator should exist. 1915*0b57cec5SDimitry Andric assert(MBBI != MBB.end() && "Failed to find the first terminator."); 1916*0b57cec5SDimitry Andric 1917*0b57cec5SDimitry Andric DebugLoc dl = MBBI->getDebugLoc(); 1918*0b57cec5SDimitry Andric const PPCInstrInfo &TII = *Subtarget.getInstrInfo(); 1919*0b57cec5SDimitry Andric 19205ffd83dbSDimitry Andric // Create branch instruction for pseudo tail call return instruction. 19215ffd83dbSDimitry Andric // The TCRETURNdi variants are direct calls. Valid targets for those are 19225ffd83dbSDimitry Andric // MO_GlobalAddress operands as well as MO_ExternalSymbol with PC-Rel 19235ffd83dbSDimitry Andric // since we can tail call external functions with PC-Rel (i.e. we don't need 19245ffd83dbSDimitry Andric // to worry about different TOC pointers). Some of the external functions will 19255ffd83dbSDimitry Andric // be MO_GlobalAddress while others like memcpy for example, are going to 19265ffd83dbSDimitry Andric // be MO_ExternalSymbol. 1927*0b57cec5SDimitry Andric unsigned RetOpcode = MBBI->getOpcode(); 1928*0b57cec5SDimitry Andric if (RetOpcode == PPC::TCRETURNdi) { 1929*0b57cec5SDimitry Andric MBBI = MBB.getLastNonDebugInstr(); 1930*0b57cec5SDimitry Andric MachineOperand &JumpTarget = MBBI->getOperand(0); 19315ffd83dbSDimitry Andric if (JumpTarget.isGlobal()) 1932*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, TII.get(PPC::TAILB)). 1933*0b57cec5SDimitry Andric addGlobalAddress(JumpTarget.getGlobal(), JumpTarget.getOffset()); 19345ffd83dbSDimitry Andric else if (JumpTarget.isSymbol()) 19355ffd83dbSDimitry Andric BuildMI(MBB, MBBI, dl, TII.get(PPC::TAILB)). 19365ffd83dbSDimitry Andric addExternalSymbol(JumpTarget.getSymbolName()); 19375ffd83dbSDimitry Andric else 19385ffd83dbSDimitry Andric llvm_unreachable("Expecting Global or External Symbol"); 1939*0b57cec5SDimitry Andric } else if (RetOpcode == PPC::TCRETURNri) { 1940*0b57cec5SDimitry Andric MBBI = MBB.getLastNonDebugInstr(); 1941*0b57cec5SDimitry Andric assert(MBBI->getOperand(0).isReg() && "Expecting register operand."); 1942*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, TII.get(PPC::TAILBCTR)); 1943*0b57cec5SDimitry Andric } else if (RetOpcode == PPC::TCRETURNai) { 1944*0b57cec5SDimitry Andric MBBI = MBB.getLastNonDebugInstr(); 1945*0b57cec5SDimitry Andric MachineOperand &JumpTarget = MBBI->getOperand(0); 1946*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, TII.get(PPC::TAILBA)).addImm(JumpTarget.getImm()); 1947*0b57cec5SDimitry Andric } else if (RetOpcode == PPC::TCRETURNdi8) { 1948*0b57cec5SDimitry Andric MBBI = MBB.getLastNonDebugInstr(); 1949*0b57cec5SDimitry Andric MachineOperand &JumpTarget = MBBI->getOperand(0); 19505ffd83dbSDimitry Andric if (JumpTarget.isGlobal()) 1951*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, TII.get(PPC::TAILB8)). 1952*0b57cec5SDimitry Andric addGlobalAddress(JumpTarget.getGlobal(), JumpTarget.getOffset()); 19535ffd83dbSDimitry Andric else if (JumpTarget.isSymbol()) 19545ffd83dbSDimitry Andric BuildMI(MBB, MBBI, dl, TII.get(PPC::TAILB8)). 19555ffd83dbSDimitry Andric addExternalSymbol(JumpTarget.getSymbolName()); 19565ffd83dbSDimitry Andric else 19575ffd83dbSDimitry Andric llvm_unreachable("Expecting Global or External Symbol"); 1958*0b57cec5SDimitry Andric } else if (RetOpcode == PPC::TCRETURNri8) { 1959*0b57cec5SDimitry Andric MBBI = MBB.getLastNonDebugInstr(); 1960*0b57cec5SDimitry Andric assert(MBBI->getOperand(0).isReg() && "Expecting register operand."); 1961*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, TII.get(PPC::TAILBCTR8)); 1962*0b57cec5SDimitry Andric } else if (RetOpcode == PPC::TCRETURNai8) { 1963*0b57cec5SDimitry Andric MBBI = MBB.getLastNonDebugInstr(); 1964*0b57cec5SDimitry Andric MachineOperand &JumpTarget = MBBI->getOperand(0); 1965*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, TII.get(PPC::TAILBA8)).addImm(JumpTarget.getImm()); 1966*0b57cec5SDimitry Andric } 1967*0b57cec5SDimitry Andric } 1968*0b57cec5SDimitry Andric 1969*0b57cec5SDimitry Andric void PPCFrameLowering::determineCalleeSaves(MachineFunction &MF, 1970*0b57cec5SDimitry Andric BitVector &SavedRegs, 1971*0b57cec5SDimitry Andric RegScavenger *RS) const { 1972*0b57cec5SDimitry Andric TargetFrameLowering::determineCalleeSaves(MF, SavedRegs, RS); 1973*0b57cec5SDimitry Andric 1974*0b57cec5SDimitry Andric const PPCRegisterInfo *RegInfo = Subtarget.getRegisterInfo(); 1975*0b57cec5SDimitry Andric 1976*0b57cec5SDimitry Andric // Save and clear the LR state. 1977*0b57cec5SDimitry Andric PPCFunctionInfo *FI = MF.getInfo<PPCFunctionInfo>(); 1978*0b57cec5SDimitry Andric unsigned LR = RegInfo->getRARegister(); 1979*0b57cec5SDimitry Andric FI->setMustSaveLR(MustSaveLR(MF, LR)); 1980*0b57cec5SDimitry Andric SavedRegs.reset(LR); 1981*0b57cec5SDimitry Andric 1982*0b57cec5SDimitry Andric // Save R31 if necessary 1983*0b57cec5SDimitry Andric int FPSI = FI->getFramePointerSaveIndex(); 19848bcb0991SDimitry Andric const bool isPPC64 = Subtarget.isPPC64(); 1985*0b57cec5SDimitry Andric MachineFrameInfo &MFI = MF.getFrameInfo(); 1986*0b57cec5SDimitry Andric 1987*0b57cec5SDimitry Andric // If the frame pointer save index hasn't been defined yet. 1988*0b57cec5SDimitry Andric if (!FPSI && needsFP(MF)) { 1989*0b57cec5SDimitry Andric // Find out what the fix offset of the frame pointer save area. 1990*0b57cec5SDimitry Andric int FPOffset = getFramePointerSaveOffset(); 1991*0b57cec5SDimitry Andric // Allocate the frame index for frame pointer save area. 1992*0b57cec5SDimitry Andric FPSI = MFI.CreateFixedObject(isPPC64? 8 : 4, FPOffset, true); 1993*0b57cec5SDimitry Andric // Save the result. 1994*0b57cec5SDimitry Andric FI->setFramePointerSaveIndex(FPSI); 1995*0b57cec5SDimitry Andric } 1996*0b57cec5SDimitry Andric 1997*0b57cec5SDimitry Andric int BPSI = FI->getBasePointerSaveIndex(); 1998*0b57cec5SDimitry Andric if (!BPSI && RegInfo->hasBasePointer(MF)) { 1999*0b57cec5SDimitry Andric int BPOffset = getBasePointerSaveOffset(); 2000*0b57cec5SDimitry Andric // Allocate the frame index for the base pointer save area. 2001*0b57cec5SDimitry Andric BPSI = MFI.CreateFixedObject(isPPC64? 8 : 4, BPOffset, true); 2002*0b57cec5SDimitry Andric // Save the result. 2003*0b57cec5SDimitry Andric FI->setBasePointerSaveIndex(BPSI); 2004*0b57cec5SDimitry Andric } 2005*0b57cec5SDimitry Andric 2006*0b57cec5SDimitry Andric // Reserve stack space for the PIC Base register (R30). 2007*0b57cec5SDimitry Andric // Only used in SVR4 32-bit. 2008*0b57cec5SDimitry Andric if (FI->usesPICBase()) { 2009*0b57cec5SDimitry Andric int PBPSI = MFI.CreateFixedObject(4, -8, true); 2010*0b57cec5SDimitry Andric FI->setPICBasePointerSaveIndex(PBPSI); 2011*0b57cec5SDimitry Andric } 2012*0b57cec5SDimitry Andric 2013*0b57cec5SDimitry Andric // Make sure we don't explicitly spill r31, because, for example, we have 2014*0b57cec5SDimitry Andric // some inline asm which explicitly clobbers it, when we otherwise have a 2015*0b57cec5SDimitry Andric // frame pointer and are using r31's spill slot for the prologue/epilogue 2016*0b57cec5SDimitry Andric // code. Same goes for the base pointer and the PIC base register. 2017*0b57cec5SDimitry Andric if (needsFP(MF)) 2018*0b57cec5SDimitry Andric SavedRegs.reset(isPPC64 ? PPC::X31 : PPC::R31); 2019*0b57cec5SDimitry Andric if (RegInfo->hasBasePointer(MF)) 2020*0b57cec5SDimitry Andric SavedRegs.reset(RegInfo->getBaseRegister(MF)); 2021*0b57cec5SDimitry Andric if (FI->usesPICBase()) 2022*0b57cec5SDimitry Andric SavedRegs.reset(PPC::R30); 2023*0b57cec5SDimitry Andric 2024*0b57cec5SDimitry Andric // Reserve stack space to move the linkage area to in case of a tail call. 2025*0b57cec5SDimitry Andric int TCSPDelta = 0; 2026*0b57cec5SDimitry Andric if (MF.getTarget().Options.GuaranteedTailCallOpt && 2027*0b57cec5SDimitry Andric (TCSPDelta = FI->getTailCallSPDelta()) < 0) { 2028*0b57cec5SDimitry Andric MFI.CreateFixedObject(-1 * TCSPDelta, TCSPDelta, true); 2029*0b57cec5SDimitry Andric } 2030*0b57cec5SDimitry Andric 20315ffd83dbSDimitry Andric // Allocate the nonvolatile CR spill slot iff the function uses CR 2, 3, or 4. 20325ffd83dbSDimitry Andric // For 64-bit SVR4, and all flavors of AIX we create a FixedStack 20335ffd83dbSDimitry Andric // object at the offset of the CR-save slot in the linkage area. The actual 20345ffd83dbSDimitry Andric // save and restore of the condition register will be created as part of the 20355ffd83dbSDimitry Andric // prologue and epilogue insertion, but the FixedStack object is needed to 20365ffd83dbSDimitry Andric // keep the CalleSavedInfo valid. 20375ffd83dbSDimitry Andric if ((SavedRegs.test(PPC::CR2) || SavedRegs.test(PPC::CR3) || 2038*0b57cec5SDimitry Andric SavedRegs.test(PPC::CR4))) { 20395ffd83dbSDimitry Andric const uint64_t SpillSize = 4; // Condition register is always 4 bytes. 20405ffd83dbSDimitry Andric const int64_t SpillOffset = 20415ffd83dbSDimitry Andric Subtarget.isPPC64() ? 8 : Subtarget.isAIXABI() ? 4 : -4; 20425ffd83dbSDimitry Andric int FrameIdx = 20435ffd83dbSDimitry Andric MFI.CreateFixedObject(SpillSize, SpillOffset, 20445ffd83dbSDimitry Andric /* IsImmutable */ true, /* IsAliased */ false); 2045*0b57cec5SDimitry Andric FI->setCRSpillFrameIndex(FrameIdx); 2046*0b57cec5SDimitry Andric } 2047*0b57cec5SDimitry Andric } 2048*0b57cec5SDimitry Andric 2049*0b57cec5SDimitry Andric void PPCFrameLowering::processFunctionBeforeFrameFinalized(MachineFunction &MF, 2050*0b57cec5SDimitry Andric RegScavenger *RS) const { 2051*0b57cec5SDimitry Andric // Get callee saved register information. 2052*0b57cec5SDimitry Andric MachineFrameInfo &MFI = MF.getFrameInfo(); 2053*0b57cec5SDimitry Andric const std::vector<CalleeSavedInfo> &CSI = MFI.getCalleeSavedInfo(); 2054*0b57cec5SDimitry Andric 2055*0b57cec5SDimitry Andric // If the function is shrink-wrapped, and if the function has a tail call, the 2056*0b57cec5SDimitry Andric // tail call might not be in the new RestoreBlock, so real branch instruction 2057*0b57cec5SDimitry Andric // won't be generated by emitEpilogue(), because shrink-wrap has chosen new 2058*0b57cec5SDimitry Andric // RestoreBlock. So we handle this case here. 2059*0b57cec5SDimitry Andric if (MFI.getSavePoint() && MFI.hasTailCall()) { 2060*0b57cec5SDimitry Andric MachineBasicBlock *RestoreBlock = MFI.getRestorePoint(); 2061*0b57cec5SDimitry Andric for (MachineBasicBlock &MBB : MF) { 2062*0b57cec5SDimitry Andric if (MBB.isReturnBlock() && (&MBB) != RestoreBlock) 2063*0b57cec5SDimitry Andric createTailCallBranchInstr(MBB); 2064*0b57cec5SDimitry Andric } 2065*0b57cec5SDimitry Andric } 2066*0b57cec5SDimitry Andric 2067*0b57cec5SDimitry Andric // Early exit if no callee saved registers are modified! 2068*0b57cec5SDimitry Andric if (CSI.empty() && !needsFP(MF)) { 2069*0b57cec5SDimitry Andric addScavengingSpillSlot(MF, RS); 2070*0b57cec5SDimitry Andric return; 2071*0b57cec5SDimitry Andric } 2072*0b57cec5SDimitry Andric 2073*0b57cec5SDimitry Andric unsigned MinGPR = PPC::R31; 2074*0b57cec5SDimitry Andric unsigned MinG8R = PPC::X31; 2075*0b57cec5SDimitry Andric unsigned MinFPR = PPC::F31; 2076*0b57cec5SDimitry Andric unsigned MinVR = Subtarget.hasSPE() ? PPC::S31 : PPC::V31; 2077*0b57cec5SDimitry Andric 2078*0b57cec5SDimitry Andric bool HasGPSaveArea = false; 2079*0b57cec5SDimitry Andric bool HasG8SaveArea = false; 2080*0b57cec5SDimitry Andric bool HasFPSaveArea = false; 2081*0b57cec5SDimitry Andric bool HasVRSaveArea = false; 2082*0b57cec5SDimitry Andric 2083*0b57cec5SDimitry Andric SmallVector<CalleeSavedInfo, 18> GPRegs; 2084*0b57cec5SDimitry Andric SmallVector<CalleeSavedInfo, 18> G8Regs; 2085*0b57cec5SDimitry Andric SmallVector<CalleeSavedInfo, 18> FPRegs; 2086*0b57cec5SDimitry Andric SmallVector<CalleeSavedInfo, 18> VRegs; 2087*0b57cec5SDimitry Andric 2088*0b57cec5SDimitry Andric for (unsigned i = 0, e = CSI.size(); i != e; ++i) { 2089*0b57cec5SDimitry Andric unsigned Reg = CSI[i].getReg(); 2090*0b57cec5SDimitry Andric assert((!MF.getInfo<PPCFunctionInfo>()->mustSaveTOC() || 2091*0b57cec5SDimitry Andric (Reg != PPC::X2 && Reg != PPC::R2)) && 2092*0b57cec5SDimitry Andric "Not expecting to try to spill R2 in a function that must save TOC"); 20938bcb0991SDimitry Andric if (PPC::GPRCRegClass.contains(Reg)) { 2094*0b57cec5SDimitry Andric HasGPSaveArea = true; 2095*0b57cec5SDimitry Andric 2096*0b57cec5SDimitry Andric GPRegs.push_back(CSI[i]); 2097*0b57cec5SDimitry Andric 2098*0b57cec5SDimitry Andric if (Reg < MinGPR) { 2099*0b57cec5SDimitry Andric MinGPR = Reg; 2100*0b57cec5SDimitry Andric } 2101*0b57cec5SDimitry Andric } else if (PPC::G8RCRegClass.contains(Reg)) { 2102*0b57cec5SDimitry Andric HasG8SaveArea = true; 2103*0b57cec5SDimitry Andric 2104*0b57cec5SDimitry Andric G8Regs.push_back(CSI[i]); 2105*0b57cec5SDimitry Andric 2106*0b57cec5SDimitry Andric if (Reg < MinG8R) { 2107*0b57cec5SDimitry Andric MinG8R = Reg; 2108*0b57cec5SDimitry Andric } 2109*0b57cec5SDimitry Andric } else if (PPC::F8RCRegClass.contains(Reg)) { 2110*0b57cec5SDimitry Andric HasFPSaveArea = true; 2111*0b57cec5SDimitry Andric 2112*0b57cec5SDimitry Andric FPRegs.push_back(CSI[i]); 2113*0b57cec5SDimitry Andric 2114*0b57cec5SDimitry Andric if (Reg < MinFPR) { 2115*0b57cec5SDimitry Andric MinFPR = Reg; 2116*0b57cec5SDimitry Andric } 2117*0b57cec5SDimitry Andric } else if (PPC::CRBITRCRegClass.contains(Reg) || 2118*0b57cec5SDimitry Andric PPC::CRRCRegClass.contains(Reg)) { 2119*0b57cec5SDimitry Andric ; // do nothing, as we already know whether CRs are spilled 2120*0b57cec5SDimitry Andric } else if (PPC::VRRCRegClass.contains(Reg) || 2121*0b57cec5SDimitry Andric PPC::SPERCRegClass.contains(Reg)) { 2122*0b57cec5SDimitry Andric // Altivec and SPE are mutually exclusive, but have the same stack 2123*0b57cec5SDimitry Andric // alignment requirements, so overload the save area for both cases. 2124*0b57cec5SDimitry Andric HasVRSaveArea = true; 2125*0b57cec5SDimitry Andric 2126*0b57cec5SDimitry Andric VRegs.push_back(CSI[i]); 2127*0b57cec5SDimitry Andric 2128*0b57cec5SDimitry Andric if (Reg < MinVR) { 2129*0b57cec5SDimitry Andric MinVR = Reg; 2130*0b57cec5SDimitry Andric } 2131*0b57cec5SDimitry Andric } else { 2132*0b57cec5SDimitry Andric llvm_unreachable("Unknown RegisterClass!"); 2133*0b57cec5SDimitry Andric } 2134*0b57cec5SDimitry Andric } 2135*0b57cec5SDimitry Andric 2136*0b57cec5SDimitry Andric PPCFunctionInfo *PFI = MF.getInfo<PPCFunctionInfo>(); 2137*0b57cec5SDimitry Andric const TargetRegisterInfo *TRI = Subtarget.getRegisterInfo(); 2138*0b57cec5SDimitry Andric 2139*0b57cec5SDimitry Andric int64_t LowerBound = 0; 2140*0b57cec5SDimitry Andric 2141*0b57cec5SDimitry Andric // Take into account stack space reserved for tail calls. 2142*0b57cec5SDimitry Andric int TCSPDelta = 0; 2143*0b57cec5SDimitry Andric if (MF.getTarget().Options.GuaranteedTailCallOpt && 2144*0b57cec5SDimitry Andric (TCSPDelta = PFI->getTailCallSPDelta()) < 0) { 2145*0b57cec5SDimitry Andric LowerBound = TCSPDelta; 2146*0b57cec5SDimitry Andric } 2147*0b57cec5SDimitry Andric 2148*0b57cec5SDimitry Andric // The Floating-point register save area is right below the back chain word 2149*0b57cec5SDimitry Andric // of the previous stack frame. 2150*0b57cec5SDimitry Andric if (HasFPSaveArea) { 2151*0b57cec5SDimitry Andric for (unsigned i = 0, e = FPRegs.size(); i != e; ++i) { 2152*0b57cec5SDimitry Andric int FI = FPRegs[i].getFrameIdx(); 2153*0b57cec5SDimitry Andric 2154*0b57cec5SDimitry Andric MFI.setObjectOffset(FI, LowerBound + MFI.getObjectOffset(FI)); 2155*0b57cec5SDimitry Andric } 2156*0b57cec5SDimitry Andric 2157*0b57cec5SDimitry Andric LowerBound -= (31 - TRI->getEncodingValue(MinFPR) + 1) * 8; 2158*0b57cec5SDimitry Andric } 2159*0b57cec5SDimitry Andric 2160*0b57cec5SDimitry Andric // Check whether the frame pointer register is allocated. If so, make sure it 2161*0b57cec5SDimitry Andric // is spilled to the correct offset. 2162*0b57cec5SDimitry Andric if (needsFP(MF)) { 2163*0b57cec5SDimitry Andric int FI = PFI->getFramePointerSaveIndex(); 2164*0b57cec5SDimitry Andric assert(FI && "No Frame Pointer Save Slot!"); 2165*0b57cec5SDimitry Andric MFI.setObjectOffset(FI, LowerBound + MFI.getObjectOffset(FI)); 2166*0b57cec5SDimitry Andric // FP is R31/X31, so no need to update MinGPR/MinG8R. 2167*0b57cec5SDimitry Andric HasGPSaveArea = true; 2168*0b57cec5SDimitry Andric } 2169*0b57cec5SDimitry Andric 2170*0b57cec5SDimitry Andric if (PFI->usesPICBase()) { 2171*0b57cec5SDimitry Andric int FI = PFI->getPICBasePointerSaveIndex(); 2172*0b57cec5SDimitry Andric assert(FI && "No PIC Base Pointer Save Slot!"); 2173*0b57cec5SDimitry Andric MFI.setObjectOffset(FI, LowerBound + MFI.getObjectOffset(FI)); 2174*0b57cec5SDimitry Andric 2175*0b57cec5SDimitry Andric MinGPR = std::min<unsigned>(MinGPR, PPC::R30); 2176*0b57cec5SDimitry Andric HasGPSaveArea = true; 2177*0b57cec5SDimitry Andric } 2178*0b57cec5SDimitry Andric 2179*0b57cec5SDimitry Andric const PPCRegisterInfo *RegInfo = Subtarget.getRegisterInfo(); 2180*0b57cec5SDimitry Andric if (RegInfo->hasBasePointer(MF)) { 2181*0b57cec5SDimitry Andric int FI = PFI->getBasePointerSaveIndex(); 2182*0b57cec5SDimitry Andric assert(FI && "No Base Pointer Save Slot!"); 2183*0b57cec5SDimitry Andric MFI.setObjectOffset(FI, LowerBound + MFI.getObjectOffset(FI)); 2184*0b57cec5SDimitry Andric 21858bcb0991SDimitry Andric Register BP = RegInfo->getBaseRegister(MF); 2186*0b57cec5SDimitry Andric if (PPC::G8RCRegClass.contains(BP)) { 2187*0b57cec5SDimitry Andric MinG8R = std::min<unsigned>(MinG8R, BP); 2188*0b57cec5SDimitry Andric HasG8SaveArea = true; 2189*0b57cec5SDimitry Andric } else if (PPC::GPRCRegClass.contains(BP)) { 2190*0b57cec5SDimitry Andric MinGPR = std::min<unsigned>(MinGPR, BP); 2191*0b57cec5SDimitry Andric HasGPSaveArea = true; 2192*0b57cec5SDimitry Andric } 2193*0b57cec5SDimitry Andric } 2194*0b57cec5SDimitry Andric 2195*0b57cec5SDimitry Andric // General register save area starts right below the Floating-point 2196*0b57cec5SDimitry Andric // register save area. 2197*0b57cec5SDimitry Andric if (HasGPSaveArea || HasG8SaveArea) { 2198*0b57cec5SDimitry Andric // Move general register save area spill slots down, taking into account 2199*0b57cec5SDimitry Andric // the size of the Floating-point register save area. 2200*0b57cec5SDimitry Andric for (unsigned i = 0, e = GPRegs.size(); i != e; ++i) { 2201*0b57cec5SDimitry Andric if (!GPRegs[i].isSpilledToReg()) { 2202*0b57cec5SDimitry Andric int FI = GPRegs[i].getFrameIdx(); 2203*0b57cec5SDimitry Andric MFI.setObjectOffset(FI, LowerBound + MFI.getObjectOffset(FI)); 2204*0b57cec5SDimitry Andric } 2205*0b57cec5SDimitry Andric } 2206*0b57cec5SDimitry Andric 2207*0b57cec5SDimitry Andric // Move general register save area spill slots down, taking into account 2208*0b57cec5SDimitry Andric // the size of the Floating-point register save area. 2209*0b57cec5SDimitry Andric for (unsigned i = 0, e = G8Regs.size(); i != e; ++i) { 2210*0b57cec5SDimitry Andric if (!G8Regs[i].isSpilledToReg()) { 2211*0b57cec5SDimitry Andric int FI = G8Regs[i].getFrameIdx(); 2212*0b57cec5SDimitry Andric MFI.setObjectOffset(FI, LowerBound + MFI.getObjectOffset(FI)); 2213*0b57cec5SDimitry Andric } 2214*0b57cec5SDimitry Andric } 2215*0b57cec5SDimitry Andric 2216*0b57cec5SDimitry Andric unsigned MinReg = 2217*0b57cec5SDimitry Andric std::min<unsigned>(TRI->getEncodingValue(MinGPR), 2218*0b57cec5SDimitry Andric TRI->getEncodingValue(MinG8R)); 2219*0b57cec5SDimitry Andric 22205ffd83dbSDimitry Andric const unsigned GPRegSize = Subtarget.isPPC64() ? 8 : 4; 22215ffd83dbSDimitry Andric LowerBound -= (31 - MinReg + 1) * GPRegSize; 2222*0b57cec5SDimitry Andric } 2223*0b57cec5SDimitry Andric 2224*0b57cec5SDimitry Andric // For 32-bit only, the CR save area is below the general register 2225*0b57cec5SDimitry Andric // save area. For 64-bit SVR4, the CR save area is addressed relative 2226*0b57cec5SDimitry Andric // to the stack pointer and hence does not need an adjustment here. 2227*0b57cec5SDimitry Andric // Only CR2 (the first nonvolatile spilled) has an associated frame 2228*0b57cec5SDimitry Andric // index so that we have a single uniform save area. 22295ffd83dbSDimitry Andric if (spillsCR(MF) && Subtarget.is32BitELFABI()) { 2230*0b57cec5SDimitry Andric // Adjust the frame index of the CR spill slot. 22315ffd83dbSDimitry Andric for (const auto &CSInfo : CSI) { 22325ffd83dbSDimitry Andric if (CSInfo.getReg() == PPC::CR2) { 22335ffd83dbSDimitry Andric int FI = CSInfo.getFrameIdx(); 2234*0b57cec5SDimitry Andric MFI.setObjectOffset(FI, LowerBound + MFI.getObjectOffset(FI)); 22355ffd83dbSDimitry Andric break; 2236*0b57cec5SDimitry Andric } 2237*0b57cec5SDimitry Andric } 2238*0b57cec5SDimitry Andric 2239*0b57cec5SDimitry Andric LowerBound -= 4; // The CR save area is always 4 bytes long. 2240*0b57cec5SDimitry Andric } 2241*0b57cec5SDimitry Andric 2242*0b57cec5SDimitry Andric // Both Altivec and SPE have the same alignment and padding requirements 2243*0b57cec5SDimitry Andric // within the stack frame. 2244*0b57cec5SDimitry Andric if (HasVRSaveArea) { 2245*0b57cec5SDimitry Andric // Insert alignment padding, we need 16-byte alignment. Note: for positive 2246*0b57cec5SDimitry Andric // number the alignment formula is : y = (x + (n-1)) & (~(n-1)). But since 2247*0b57cec5SDimitry Andric // we are using negative number here (the stack grows downward). We should 2248*0b57cec5SDimitry Andric // use formula : y = x & (~(n-1)). Where x is the size before aligning, n 2249*0b57cec5SDimitry Andric // is the alignment size ( n = 16 here) and y is the size after aligning. 2250*0b57cec5SDimitry Andric assert(LowerBound <= 0 && "Expect LowerBound have a non-positive value!"); 2251*0b57cec5SDimitry Andric LowerBound &= ~(15); 2252*0b57cec5SDimitry Andric 2253*0b57cec5SDimitry Andric for (unsigned i = 0, e = VRegs.size(); i != e; ++i) { 2254*0b57cec5SDimitry Andric int FI = VRegs[i].getFrameIdx(); 2255*0b57cec5SDimitry Andric 2256*0b57cec5SDimitry Andric MFI.setObjectOffset(FI, LowerBound + MFI.getObjectOffset(FI)); 2257*0b57cec5SDimitry Andric } 2258*0b57cec5SDimitry Andric } 2259*0b57cec5SDimitry Andric 2260*0b57cec5SDimitry Andric addScavengingSpillSlot(MF, RS); 2261*0b57cec5SDimitry Andric } 2262*0b57cec5SDimitry Andric 2263*0b57cec5SDimitry Andric void 2264*0b57cec5SDimitry Andric PPCFrameLowering::addScavengingSpillSlot(MachineFunction &MF, 2265*0b57cec5SDimitry Andric RegScavenger *RS) const { 2266*0b57cec5SDimitry Andric // Reserve a slot closest to SP or frame pointer if we have a dynalloc or 2267*0b57cec5SDimitry Andric // a large stack, which will require scavenging a register to materialize a 2268*0b57cec5SDimitry Andric // large offset. 2269*0b57cec5SDimitry Andric 2270*0b57cec5SDimitry Andric // We need to have a scavenger spill slot for spills if the frame size is 2271*0b57cec5SDimitry Andric // large. In case there is no free register for large-offset addressing, 2272*0b57cec5SDimitry Andric // this slot is used for the necessary emergency spill. Also, we need the 2273*0b57cec5SDimitry Andric // slot for dynamic stack allocations. 2274*0b57cec5SDimitry Andric 2275*0b57cec5SDimitry Andric // The scavenger might be invoked if the frame offset does not fit into 2276*0b57cec5SDimitry Andric // the 16-bit immediate. We don't know the complete frame size here 2277*0b57cec5SDimitry Andric // because we've not yet computed callee-saved register spills or the 2278*0b57cec5SDimitry Andric // needed alignment padding. 2279*0b57cec5SDimitry Andric unsigned StackSize = determineFrameLayout(MF, true); 2280*0b57cec5SDimitry Andric MachineFrameInfo &MFI = MF.getFrameInfo(); 2281e8d8bef9SDimitry Andric if (MFI.hasVarSizedObjects() || spillsCR(MF) || hasNonRISpills(MF) || 2282e8d8bef9SDimitry Andric (hasSpills(MF) && !isInt<16>(StackSize))) { 2283*0b57cec5SDimitry Andric const TargetRegisterClass &GPRC = PPC::GPRCRegClass; 2284*0b57cec5SDimitry Andric const TargetRegisterClass &G8RC = PPC::G8RCRegClass; 2285*0b57cec5SDimitry Andric const TargetRegisterClass &RC = Subtarget.isPPC64() ? G8RC : GPRC; 2286*0b57cec5SDimitry Andric const TargetRegisterInfo &TRI = *Subtarget.getRegisterInfo(); 2287*0b57cec5SDimitry Andric unsigned Size = TRI.getSpillSize(RC); 22885ffd83dbSDimitry Andric Align Alignment = TRI.getSpillAlign(RC); 22895ffd83dbSDimitry Andric RS->addScavengingFrameIndex(MFI.CreateStackObject(Size, Alignment, false)); 2290*0b57cec5SDimitry Andric 2291*0b57cec5SDimitry Andric // Might we have over-aligned allocas? 22925ffd83dbSDimitry Andric bool HasAlVars = 22935ffd83dbSDimitry Andric MFI.hasVarSizedObjects() && MFI.getMaxAlign() > getStackAlign(); 2294*0b57cec5SDimitry Andric 2295*0b57cec5SDimitry Andric // These kinds of spills might need two registers. 2296e8d8bef9SDimitry Andric if (spillsCR(MF) || HasAlVars) 22975ffd83dbSDimitry Andric RS->addScavengingFrameIndex( 22985ffd83dbSDimitry Andric MFI.CreateStackObject(Size, Alignment, false)); 2299*0b57cec5SDimitry Andric } 2300*0b57cec5SDimitry Andric } 2301*0b57cec5SDimitry Andric 2302*0b57cec5SDimitry Andric // This function checks if a callee saved gpr can be spilled to a volatile 2303*0b57cec5SDimitry Andric // vector register. This occurs for leaf functions when the option 2304*0b57cec5SDimitry Andric // ppc-enable-pe-vector-spills is enabled. If there are any remaining registers 2305*0b57cec5SDimitry Andric // which were not spilled to vectors, return false so the target independent 2306*0b57cec5SDimitry Andric // code can handle them by assigning a FrameIdx to a stack slot. 2307*0b57cec5SDimitry Andric bool PPCFrameLowering::assignCalleeSavedSpillSlots( 2308*0b57cec5SDimitry Andric MachineFunction &MF, const TargetRegisterInfo *TRI, 2309*0b57cec5SDimitry Andric std::vector<CalleeSavedInfo> &CSI) const { 2310*0b57cec5SDimitry Andric 2311*0b57cec5SDimitry Andric if (CSI.empty()) 2312*0b57cec5SDimitry Andric return true; // Early exit if no callee saved registers are modified! 2313*0b57cec5SDimitry Andric 2314*0b57cec5SDimitry Andric // Early exit if cannot spill gprs to volatile vector registers. 2315*0b57cec5SDimitry Andric MachineFrameInfo &MFI = MF.getFrameInfo(); 2316*0b57cec5SDimitry Andric if (!EnablePEVectorSpills || MFI.hasCalls() || !Subtarget.hasP9Vector()) 2317*0b57cec5SDimitry Andric return false; 2318*0b57cec5SDimitry Andric 2319*0b57cec5SDimitry Andric // Build a BitVector of VSRs that can be used for spilling GPRs. 2320*0b57cec5SDimitry Andric BitVector BVAllocatable = TRI->getAllocatableSet(MF); 2321*0b57cec5SDimitry Andric BitVector BVCalleeSaved(TRI->getNumRegs()); 2322*0b57cec5SDimitry Andric const PPCRegisterInfo *RegInfo = Subtarget.getRegisterInfo(); 2323*0b57cec5SDimitry Andric const MCPhysReg *CSRegs = RegInfo->getCalleeSavedRegs(&MF); 2324*0b57cec5SDimitry Andric for (unsigned i = 0; CSRegs[i]; ++i) 2325*0b57cec5SDimitry Andric BVCalleeSaved.set(CSRegs[i]); 2326*0b57cec5SDimitry Andric 2327*0b57cec5SDimitry Andric for (unsigned Reg : BVAllocatable.set_bits()) { 2328fe6060f1SDimitry Andric // Set to 0 if the register is not a volatile VSX register, or if it is 2329*0b57cec5SDimitry Andric // used in the function. 2330fe6060f1SDimitry Andric if (BVCalleeSaved[Reg] || !PPC::VSRCRegClass.contains(Reg) || 2331fe6060f1SDimitry Andric MF.getRegInfo().isPhysRegUsed(Reg)) 2332*0b57cec5SDimitry Andric BVAllocatable.reset(Reg); 2333*0b57cec5SDimitry Andric } 2334*0b57cec5SDimitry Andric 2335*0b57cec5SDimitry Andric bool AllSpilledToReg = true; 2336fe6060f1SDimitry Andric unsigned LastVSRUsedForSpill = 0; 2337*0b57cec5SDimitry Andric for (auto &CS : CSI) { 2338*0b57cec5SDimitry Andric if (BVAllocatable.none()) 2339*0b57cec5SDimitry Andric return false; 2340*0b57cec5SDimitry Andric 2341*0b57cec5SDimitry Andric unsigned Reg = CS.getReg(); 2342fe6060f1SDimitry Andric 2343fe6060f1SDimitry Andric if (!PPC::G8RCRegClass.contains(Reg)) { 2344*0b57cec5SDimitry Andric AllSpilledToReg = false; 2345*0b57cec5SDimitry Andric continue; 2346*0b57cec5SDimitry Andric } 2347*0b57cec5SDimitry Andric 2348fe6060f1SDimitry Andric // For P9, we can reuse LastVSRUsedForSpill to spill two GPRs 2349fe6060f1SDimitry Andric // into one VSR using the mtvsrdd instruction. 2350fe6060f1SDimitry Andric if (LastVSRUsedForSpill != 0) { 2351fe6060f1SDimitry Andric CS.setDstReg(LastVSRUsedForSpill); 2352fe6060f1SDimitry Andric BVAllocatable.reset(LastVSRUsedForSpill); 2353fe6060f1SDimitry Andric LastVSRUsedForSpill = 0; 2354fe6060f1SDimitry Andric continue; 2355fe6060f1SDimitry Andric } 2356fe6060f1SDimitry Andric 2357*0b57cec5SDimitry Andric unsigned VolatileVFReg = BVAllocatable.find_first(); 2358*0b57cec5SDimitry Andric if (VolatileVFReg < BVAllocatable.size()) { 2359*0b57cec5SDimitry Andric CS.setDstReg(VolatileVFReg); 2360fe6060f1SDimitry Andric LastVSRUsedForSpill = VolatileVFReg; 2361*0b57cec5SDimitry Andric } else { 2362*0b57cec5SDimitry Andric AllSpilledToReg = false; 2363*0b57cec5SDimitry Andric } 2364*0b57cec5SDimitry Andric } 2365*0b57cec5SDimitry Andric return AllSpilledToReg; 2366*0b57cec5SDimitry Andric } 2367*0b57cec5SDimitry Andric 23685ffd83dbSDimitry Andric bool PPCFrameLowering::spillCalleeSavedRegisters( 23695ffd83dbSDimitry Andric MachineBasicBlock &MBB, MachineBasicBlock::iterator MI, 23705ffd83dbSDimitry Andric ArrayRef<CalleeSavedInfo> CSI, const TargetRegisterInfo *TRI) const { 2371*0b57cec5SDimitry Andric 2372*0b57cec5SDimitry Andric MachineFunction *MF = MBB.getParent(); 2373*0b57cec5SDimitry Andric const PPCInstrInfo &TII = *Subtarget.getInstrInfo(); 2374*0b57cec5SDimitry Andric PPCFunctionInfo *FI = MF->getInfo<PPCFunctionInfo>(); 2375*0b57cec5SDimitry Andric bool MustSaveTOC = FI->mustSaveTOC(); 2376*0b57cec5SDimitry Andric DebugLoc DL; 2377*0b57cec5SDimitry Andric bool CRSpilled = false; 2378*0b57cec5SDimitry Andric MachineInstrBuilder CRMIB; 2379fe6060f1SDimitry Andric BitVector Spilled(TRI->getNumRegs()); 2380fe6060f1SDimitry Andric 2381fe6060f1SDimitry Andric VSRContainingGPRs.clear(); 2382fe6060f1SDimitry Andric 2383fe6060f1SDimitry Andric // Map each VSR to GPRs to be spilled with into it. Single VSR can contain one 2384fe6060f1SDimitry Andric // or two GPRs, so we need table to record information for later save/restore. 2385fe6060f1SDimitry Andric llvm::for_each(CSI, [&](const CalleeSavedInfo &Info) { 2386fe6060f1SDimitry Andric if (Info.isSpilledToReg()) { 2387fe6060f1SDimitry Andric auto &SpilledVSR = 2388fe6060f1SDimitry Andric VSRContainingGPRs.FindAndConstruct(Info.getDstReg()).second; 2389fe6060f1SDimitry Andric assert(SpilledVSR.second == 0 && 2390fe6060f1SDimitry Andric "Can't spill more than two GPRs into VSR!"); 2391fe6060f1SDimitry Andric if (SpilledVSR.first == 0) 2392fe6060f1SDimitry Andric SpilledVSR.first = Info.getReg(); 2393fe6060f1SDimitry Andric else 2394fe6060f1SDimitry Andric SpilledVSR.second = Info.getReg(); 2395fe6060f1SDimitry Andric } 2396fe6060f1SDimitry Andric }); 2397*0b57cec5SDimitry Andric 2398*0b57cec5SDimitry Andric for (unsigned i = 0, e = CSI.size(); i != e; ++i) { 2399*0b57cec5SDimitry Andric unsigned Reg = CSI[i].getReg(); 2400*0b57cec5SDimitry Andric 2401*0b57cec5SDimitry Andric // CR2 through CR4 are the nonvolatile CR fields. 2402*0b57cec5SDimitry Andric bool IsCRField = PPC::CR2 <= Reg && Reg <= PPC::CR4; 2403*0b57cec5SDimitry Andric 2404*0b57cec5SDimitry Andric // Add the callee-saved register as live-in; it's killed at the spill. 2405*0b57cec5SDimitry Andric // Do not do this for callee-saved registers that are live-in to the 2406*0b57cec5SDimitry Andric // function because they will already be marked live-in and this will be 2407*0b57cec5SDimitry Andric // adding it for a second time. It is an error to add the same register 2408*0b57cec5SDimitry Andric // to the set more than once. 2409*0b57cec5SDimitry Andric const MachineRegisterInfo &MRI = MF->getRegInfo(); 2410*0b57cec5SDimitry Andric bool IsLiveIn = MRI.isLiveIn(Reg); 2411*0b57cec5SDimitry Andric if (!IsLiveIn) 2412*0b57cec5SDimitry Andric MBB.addLiveIn(Reg); 2413*0b57cec5SDimitry Andric 2414*0b57cec5SDimitry Andric if (CRSpilled && IsCRField) { 2415*0b57cec5SDimitry Andric CRMIB.addReg(Reg, RegState::ImplicitKill); 2416*0b57cec5SDimitry Andric continue; 2417*0b57cec5SDimitry Andric } 2418*0b57cec5SDimitry Andric 2419*0b57cec5SDimitry Andric // The actual spill will happen in the prologue. 2420*0b57cec5SDimitry Andric if ((Reg == PPC::X2 || Reg == PPC::R2) && MustSaveTOC) 2421*0b57cec5SDimitry Andric continue; 2422*0b57cec5SDimitry Andric 2423*0b57cec5SDimitry Andric // Insert the spill to the stack frame. 2424*0b57cec5SDimitry Andric if (IsCRField) { 2425*0b57cec5SDimitry Andric PPCFunctionInfo *FuncInfo = MF->getInfo<PPCFunctionInfo>(); 24265ffd83dbSDimitry Andric if (!Subtarget.is32BitELFABI()) { 2427*0b57cec5SDimitry Andric // The actual spill will happen at the start of the prologue. 2428*0b57cec5SDimitry Andric FuncInfo->addMustSaveCR(Reg); 2429*0b57cec5SDimitry Andric } else { 2430*0b57cec5SDimitry Andric CRSpilled = true; 2431*0b57cec5SDimitry Andric FuncInfo->setSpillsCR(); 2432*0b57cec5SDimitry Andric 2433*0b57cec5SDimitry Andric // 32-bit: FP-relative. Note that we made sure CR2-CR4 all have 2434*0b57cec5SDimitry Andric // the same frame index in PPCRegisterInfo::hasReservedSpillSlot. 2435*0b57cec5SDimitry Andric CRMIB = BuildMI(*MF, DL, TII.get(PPC::MFCR), PPC::R12) 2436*0b57cec5SDimitry Andric .addReg(Reg, RegState::ImplicitKill); 2437*0b57cec5SDimitry Andric 2438*0b57cec5SDimitry Andric MBB.insert(MI, CRMIB); 2439*0b57cec5SDimitry Andric MBB.insert(MI, addFrameReference(BuildMI(*MF, DL, TII.get(PPC::STW)) 2440*0b57cec5SDimitry Andric .addReg(PPC::R12, 2441*0b57cec5SDimitry Andric getKillRegState(true)), 2442*0b57cec5SDimitry Andric CSI[i].getFrameIdx())); 2443*0b57cec5SDimitry Andric } 2444*0b57cec5SDimitry Andric } else { 2445*0b57cec5SDimitry Andric if (CSI[i].isSpilledToReg()) { 2446fe6060f1SDimitry Andric unsigned Dst = CSI[i].getDstReg(); 2447fe6060f1SDimitry Andric 2448fe6060f1SDimitry Andric if (Spilled[Dst]) 2449fe6060f1SDimitry Andric continue; 2450fe6060f1SDimitry Andric 2451fe6060f1SDimitry Andric if (VSRContainingGPRs[Dst].second != 0) { 2452fe6060f1SDimitry Andric assert(Subtarget.hasP9Vector() && 2453fe6060f1SDimitry Andric "mtvsrdd is unavailable on pre-P9 targets."); 2454fe6060f1SDimitry Andric 2455fe6060f1SDimitry Andric NumPESpillVSR += 2; 2456fe6060f1SDimitry Andric BuildMI(MBB, MI, DL, TII.get(PPC::MTVSRDD), Dst) 2457fe6060f1SDimitry Andric .addReg(VSRContainingGPRs[Dst].first, getKillRegState(true)) 2458fe6060f1SDimitry Andric .addReg(VSRContainingGPRs[Dst].second, getKillRegState(true)); 2459fe6060f1SDimitry Andric } else if (VSRContainingGPRs[Dst].second == 0) { 2460fe6060f1SDimitry Andric assert(Subtarget.hasP8Vector() && 2461fe6060f1SDimitry Andric "Can't move GPR to VSR on pre-P8 targets."); 2462fe6060f1SDimitry Andric 2463fe6060f1SDimitry Andric ++NumPESpillVSR; 2464fe6060f1SDimitry Andric BuildMI(MBB, MI, DL, TII.get(PPC::MTVSRD), 2465fe6060f1SDimitry Andric TRI->getSubReg(Dst, PPC::sub_64)) 2466fe6060f1SDimitry Andric .addReg(VSRContainingGPRs[Dst].first, getKillRegState(true)); 2467fe6060f1SDimitry Andric } else { 2468fe6060f1SDimitry Andric llvm_unreachable("More than two GPRs spilled to a VSR!"); 2469fe6060f1SDimitry Andric } 2470fe6060f1SDimitry Andric Spilled.set(Dst); 2471*0b57cec5SDimitry Andric } else { 2472*0b57cec5SDimitry Andric const TargetRegisterClass *RC = TRI->getMinimalPhysRegClass(Reg); 2473*0b57cec5SDimitry Andric // Use !IsLiveIn for the kill flag. 2474*0b57cec5SDimitry Andric // We do not want to kill registers that are live in this function 2475*0b57cec5SDimitry Andric // before their use because they will become undefined registers. 24765ffd83dbSDimitry Andric // Functions without NoUnwind need to preserve the order of elements in 24775ffd83dbSDimitry Andric // saved vector registers. 24785ffd83dbSDimitry Andric if (Subtarget.needsSwapsForVSXMemOps() && 24795ffd83dbSDimitry Andric !MF->getFunction().hasFnAttribute(Attribute::NoUnwind)) 24805ffd83dbSDimitry Andric TII.storeRegToStackSlotNoUpd(MBB, MI, Reg, !IsLiveIn, 2481*0b57cec5SDimitry Andric CSI[i].getFrameIdx(), RC, TRI); 24825ffd83dbSDimitry Andric else 24835ffd83dbSDimitry Andric TII.storeRegToStackSlot(MBB, MI, Reg, !IsLiveIn, CSI[i].getFrameIdx(), 24845ffd83dbSDimitry Andric RC, TRI); 2485*0b57cec5SDimitry Andric } 2486*0b57cec5SDimitry Andric } 2487*0b57cec5SDimitry Andric } 2488*0b57cec5SDimitry Andric return true; 2489*0b57cec5SDimitry Andric } 2490*0b57cec5SDimitry Andric 24915ffd83dbSDimitry Andric static void restoreCRs(bool is31, bool CR2Spilled, bool CR3Spilled, 24925ffd83dbSDimitry Andric bool CR4Spilled, MachineBasicBlock &MBB, 24935ffd83dbSDimitry Andric MachineBasicBlock::iterator MI, 24945ffd83dbSDimitry Andric ArrayRef<CalleeSavedInfo> CSI, unsigned CSIIndex) { 2495*0b57cec5SDimitry Andric 2496*0b57cec5SDimitry Andric MachineFunction *MF = MBB.getParent(); 2497*0b57cec5SDimitry Andric const PPCInstrInfo &TII = *MF->getSubtarget<PPCSubtarget>().getInstrInfo(); 2498*0b57cec5SDimitry Andric DebugLoc DL; 24995ffd83dbSDimitry Andric unsigned MoveReg = PPC::R12; 2500*0b57cec5SDimitry Andric 2501*0b57cec5SDimitry Andric // 32-bit: FP-relative 25025ffd83dbSDimitry Andric MBB.insert(MI, 25035ffd83dbSDimitry Andric addFrameReference(BuildMI(*MF, DL, TII.get(PPC::LWZ), MoveReg), 2504*0b57cec5SDimitry Andric CSI[CSIIndex].getFrameIdx())); 2505*0b57cec5SDimitry Andric 25065ffd83dbSDimitry Andric unsigned RestoreOp = PPC::MTOCRF; 2507*0b57cec5SDimitry Andric if (CR2Spilled) 2508*0b57cec5SDimitry Andric MBB.insert(MI, BuildMI(*MF, DL, TII.get(RestoreOp), PPC::CR2) 2509*0b57cec5SDimitry Andric .addReg(MoveReg, getKillRegState(!CR3Spilled && !CR4Spilled))); 2510*0b57cec5SDimitry Andric 2511*0b57cec5SDimitry Andric if (CR3Spilled) 2512*0b57cec5SDimitry Andric MBB.insert(MI, BuildMI(*MF, DL, TII.get(RestoreOp), PPC::CR3) 2513*0b57cec5SDimitry Andric .addReg(MoveReg, getKillRegState(!CR4Spilled))); 2514*0b57cec5SDimitry Andric 2515*0b57cec5SDimitry Andric if (CR4Spilled) 2516*0b57cec5SDimitry Andric MBB.insert(MI, BuildMI(*MF, DL, TII.get(RestoreOp), PPC::CR4) 2517*0b57cec5SDimitry Andric .addReg(MoveReg, getKillRegState(true))); 2518*0b57cec5SDimitry Andric } 2519*0b57cec5SDimitry Andric 2520*0b57cec5SDimitry Andric MachineBasicBlock::iterator PPCFrameLowering:: 2521*0b57cec5SDimitry Andric eliminateCallFramePseudoInstr(MachineFunction &MF, MachineBasicBlock &MBB, 2522*0b57cec5SDimitry Andric MachineBasicBlock::iterator I) const { 2523*0b57cec5SDimitry Andric const TargetInstrInfo &TII = *Subtarget.getInstrInfo(); 2524*0b57cec5SDimitry Andric if (MF.getTarget().Options.GuaranteedTailCallOpt && 2525*0b57cec5SDimitry Andric I->getOpcode() == PPC::ADJCALLSTACKUP) { 2526*0b57cec5SDimitry Andric // Add (actually subtract) back the amount the callee popped on return. 2527*0b57cec5SDimitry Andric if (int CalleeAmt = I->getOperand(1).getImm()) { 2528*0b57cec5SDimitry Andric bool is64Bit = Subtarget.isPPC64(); 2529*0b57cec5SDimitry Andric CalleeAmt *= -1; 2530*0b57cec5SDimitry Andric unsigned StackReg = is64Bit ? PPC::X1 : PPC::R1; 2531*0b57cec5SDimitry Andric unsigned TmpReg = is64Bit ? PPC::X0 : PPC::R0; 2532*0b57cec5SDimitry Andric unsigned ADDIInstr = is64Bit ? PPC::ADDI8 : PPC::ADDI; 2533*0b57cec5SDimitry Andric unsigned ADDInstr = is64Bit ? PPC::ADD8 : PPC::ADD4; 2534*0b57cec5SDimitry Andric unsigned LISInstr = is64Bit ? PPC::LIS8 : PPC::LIS; 2535*0b57cec5SDimitry Andric unsigned ORIInstr = is64Bit ? PPC::ORI8 : PPC::ORI; 2536*0b57cec5SDimitry Andric const DebugLoc &dl = I->getDebugLoc(); 2537*0b57cec5SDimitry Andric 2538*0b57cec5SDimitry Andric if (isInt<16>(CalleeAmt)) { 2539*0b57cec5SDimitry Andric BuildMI(MBB, I, dl, TII.get(ADDIInstr), StackReg) 2540*0b57cec5SDimitry Andric .addReg(StackReg, RegState::Kill) 2541*0b57cec5SDimitry Andric .addImm(CalleeAmt); 2542*0b57cec5SDimitry Andric } else { 2543*0b57cec5SDimitry Andric MachineBasicBlock::iterator MBBI = I; 2544*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, TII.get(LISInstr), TmpReg) 2545*0b57cec5SDimitry Andric .addImm(CalleeAmt >> 16); 2546*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, TII.get(ORIInstr), TmpReg) 2547*0b57cec5SDimitry Andric .addReg(TmpReg, RegState::Kill) 2548*0b57cec5SDimitry Andric .addImm(CalleeAmt & 0xFFFF); 2549*0b57cec5SDimitry Andric BuildMI(MBB, MBBI, dl, TII.get(ADDInstr), StackReg) 2550*0b57cec5SDimitry Andric .addReg(StackReg, RegState::Kill) 2551*0b57cec5SDimitry Andric .addReg(TmpReg); 2552*0b57cec5SDimitry Andric } 2553*0b57cec5SDimitry Andric } 2554*0b57cec5SDimitry Andric } 2555*0b57cec5SDimitry Andric // Simply discard ADJCALLSTACKDOWN, ADJCALLSTACKUP instructions. 2556*0b57cec5SDimitry Andric return MBB.erase(I); 2557*0b57cec5SDimitry Andric } 2558*0b57cec5SDimitry Andric 25595ffd83dbSDimitry Andric static bool isCalleeSavedCR(unsigned Reg) { 25605ffd83dbSDimitry Andric return PPC::CR2 == Reg || Reg == PPC::CR3 || Reg == PPC::CR4; 25615ffd83dbSDimitry Andric } 2562*0b57cec5SDimitry Andric 25635ffd83dbSDimitry Andric bool PPCFrameLowering::restoreCalleeSavedRegisters( 25645ffd83dbSDimitry Andric MachineBasicBlock &MBB, MachineBasicBlock::iterator MI, 25655ffd83dbSDimitry Andric MutableArrayRef<CalleeSavedInfo> CSI, const TargetRegisterInfo *TRI) const { 2566*0b57cec5SDimitry Andric MachineFunction *MF = MBB.getParent(); 2567*0b57cec5SDimitry Andric const PPCInstrInfo &TII = *Subtarget.getInstrInfo(); 2568*0b57cec5SDimitry Andric PPCFunctionInfo *FI = MF->getInfo<PPCFunctionInfo>(); 2569*0b57cec5SDimitry Andric bool MustSaveTOC = FI->mustSaveTOC(); 2570*0b57cec5SDimitry Andric bool CR2Spilled = false; 2571*0b57cec5SDimitry Andric bool CR3Spilled = false; 2572*0b57cec5SDimitry Andric bool CR4Spilled = false; 2573*0b57cec5SDimitry Andric unsigned CSIIndex = 0; 2574fe6060f1SDimitry Andric BitVector Restored(TRI->getNumRegs()); 2575*0b57cec5SDimitry Andric 2576*0b57cec5SDimitry Andric // Initialize insertion-point logic; we will be restoring in reverse 2577*0b57cec5SDimitry Andric // order of spill. 2578*0b57cec5SDimitry Andric MachineBasicBlock::iterator I = MI, BeforeI = I; 2579*0b57cec5SDimitry Andric bool AtStart = I == MBB.begin(); 2580*0b57cec5SDimitry Andric 2581*0b57cec5SDimitry Andric if (!AtStart) 2582*0b57cec5SDimitry Andric --BeforeI; 2583*0b57cec5SDimitry Andric 2584*0b57cec5SDimitry Andric for (unsigned i = 0, e = CSI.size(); i != e; ++i) { 2585*0b57cec5SDimitry Andric unsigned Reg = CSI[i].getReg(); 2586*0b57cec5SDimitry Andric 2587*0b57cec5SDimitry Andric if ((Reg == PPC::X2 || Reg == PPC::R2) && MustSaveTOC) 2588*0b57cec5SDimitry Andric continue; 2589*0b57cec5SDimitry Andric 25905ffd83dbSDimitry Andric // Restore of callee saved condition register field is handled during 25915ffd83dbSDimitry Andric // epilogue insertion. 25925ffd83dbSDimitry Andric if (isCalleeSavedCR(Reg) && !Subtarget.is32BitELFABI()) 25935ffd83dbSDimitry Andric continue; 25945ffd83dbSDimitry Andric 2595*0b57cec5SDimitry Andric if (Reg == PPC::CR2) { 2596*0b57cec5SDimitry Andric CR2Spilled = true; 2597*0b57cec5SDimitry Andric // The spill slot is associated only with CR2, which is the 2598*0b57cec5SDimitry Andric // first nonvolatile spilled. Save it here. 2599*0b57cec5SDimitry Andric CSIIndex = i; 2600*0b57cec5SDimitry Andric continue; 2601*0b57cec5SDimitry Andric } else if (Reg == PPC::CR3) { 2602*0b57cec5SDimitry Andric CR3Spilled = true; 2603*0b57cec5SDimitry Andric continue; 2604*0b57cec5SDimitry Andric } else if (Reg == PPC::CR4) { 2605*0b57cec5SDimitry Andric CR4Spilled = true; 2606*0b57cec5SDimitry Andric continue; 2607*0b57cec5SDimitry Andric } else { 26085ffd83dbSDimitry Andric // On 32-bit ELF when we first encounter a non-CR register after seeing at 2609*0b57cec5SDimitry Andric // least one CR register, restore all spilled CRs together. 26105ffd83dbSDimitry Andric if (CR2Spilled || CR3Spilled || CR4Spilled) { 2611*0b57cec5SDimitry Andric bool is31 = needsFP(*MF); 26125ffd83dbSDimitry Andric restoreCRs(is31, CR2Spilled, CR3Spilled, CR4Spilled, MBB, I, CSI, 26135ffd83dbSDimitry Andric CSIIndex); 2614*0b57cec5SDimitry Andric CR2Spilled = CR3Spilled = CR4Spilled = false; 2615*0b57cec5SDimitry Andric } 2616*0b57cec5SDimitry Andric 2617*0b57cec5SDimitry Andric if (CSI[i].isSpilledToReg()) { 2618*0b57cec5SDimitry Andric DebugLoc DL; 2619fe6060f1SDimitry Andric unsigned Dst = CSI[i].getDstReg(); 2620fe6060f1SDimitry Andric 2621fe6060f1SDimitry Andric if (Restored[Dst]) 2622fe6060f1SDimitry Andric continue; 2623fe6060f1SDimitry Andric 2624fe6060f1SDimitry Andric if (VSRContainingGPRs[Dst].second != 0) { 2625fe6060f1SDimitry Andric assert(Subtarget.hasP9Vector()); 2626fe6060f1SDimitry Andric NumPEReloadVSR += 2; 2627fe6060f1SDimitry Andric BuildMI(MBB, I, DL, TII.get(PPC::MFVSRLD), 2628fe6060f1SDimitry Andric VSRContainingGPRs[Dst].second) 2629fe6060f1SDimitry Andric .addReg(Dst); 2630fe6060f1SDimitry Andric BuildMI(MBB, I, DL, TII.get(PPC::MFVSRD), 2631fe6060f1SDimitry Andric VSRContainingGPRs[Dst].first) 2632fe6060f1SDimitry Andric .addReg(TRI->getSubReg(Dst, PPC::sub_64), getKillRegState(true)); 2633fe6060f1SDimitry Andric } else if (VSRContainingGPRs[Dst].second == 0) { 2634fe6060f1SDimitry Andric assert(Subtarget.hasP8Vector()); 2635fe6060f1SDimitry Andric ++NumPEReloadVSR; 2636fe6060f1SDimitry Andric BuildMI(MBB, I, DL, TII.get(PPC::MFVSRD), 2637fe6060f1SDimitry Andric VSRContainingGPRs[Dst].first) 2638fe6060f1SDimitry Andric .addReg(TRI->getSubReg(Dst, PPC::sub_64), getKillRegState(true)); 2639fe6060f1SDimitry Andric } else { 2640fe6060f1SDimitry Andric llvm_unreachable("More than two GPRs spilled to a VSR!"); 2641fe6060f1SDimitry Andric } 2642fe6060f1SDimitry Andric 2643fe6060f1SDimitry Andric Restored.set(Dst); 2644fe6060f1SDimitry Andric 2645*0b57cec5SDimitry Andric } else { 2646*0b57cec5SDimitry Andric // Default behavior for non-CR saves. 2647*0b57cec5SDimitry Andric const TargetRegisterClass *RC = TRI->getMinimalPhysRegClass(Reg); 26485ffd83dbSDimitry Andric 26495ffd83dbSDimitry Andric // Functions without NoUnwind need to preserve the order of elements in 26505ffd83dbSDimitry Andric // saved vector registers. 26515ffd83dbSDimitry Andric if (Subtarget.needsSwapsForVSXMemOps() && 26525ffd83dbSDimitry Andric !MF->getFunction().hasFnAttribute(Attribute::NoUnwind)) 26535ffd83dbSDimitry Andric TII.loadRegFromStackSlotNoUpd(MBB, I, Reg, CSI[i].getFrameIdx(), RC, 26545ffd83dbSDimitry Andric TRI); 26555ffd83dbSDimitry Andric else 2656*0b57cec5SDimitry Andric TII.loadRegFromStackSlot(MBB, I, Reg, CSI[i].getFrameIdx(), RC, TRI); 26575ffd83dbSDimitry Andric 2658*0b57cec5SDimitry Andric assert(I != MBB.begin() && 2659*0b57cec5SDimitry Andric "loadRegFromStackSlot didn't insert any code!"); 2660*0b57cec5SDimitry Andric } 2661*0b57cec5SDimitry Andric } 2662*0b57cec5SDimitry Andric 2663*0b57cec5SDimitry Andric // Insert in reverse order. 2664*0b57cec5SDimitry Andric if (AtStart) 2665*0b57cec5SDimitry Andric I = MBB.begin(); 2666*0b57cec5SDimitry Andric else { 2667*0b57cec5SDimitry Andric I = BeforeI; 2668*0b57cec5SDimitry Andric ++I; 2669*0b57cec5SDimitry Andric } 2670*0b57cec5SDimitry Andric } 2671*0b57cec5SDimitry Andric 2672*0b57cec5SDimitry Andric // If we haven't yet spilled the CRs, do so now. 2673*0b57cec5SDimitry Andric if (CR2Spilled || CR3Spilled || CR4Spilled) { 26745ffd83dbSDimitry Andric assert(Subtarget.is32BitELFABI() && 26755ffd83dbSDimitry Andric "Only set CR[2|3|4]Spilled on 32-bit SVR4."); 2676*0b57cec5SDimitry Andric bool is31 = needsFP(*MF); 26775ffd83dbSDimitry Andric restoreCRs(is31, CR2Spilled, CR3Spilled, CR4Spilled, MBB, I, CSI, CSIIndex); 2678*0b57cec5SDimitry Andric } 2679*0b57cec5SDimitry Andric 2680*0b57cec5SDimitry Andric return true; 2681*0b57cec5SDimitry Andric } 2682*0b57cec5SDimitry Andric 2683349cc55cSDimitry Andric uint64_t PPCFrameLowering::getTOCSaveOffset() const { 26848bcb0991SDimitry Andric return TOCSaveOffset; 26858bcb0991SDimitry Andric } 26868bcb0991SDimitry Andric 2687349cc55cSDimitry Andric uint64_t PPCFrameLowering::getFramePointerSaveOffset() const { 26888bcb0991SDimitry Andric return FramePointerSaveOffset; 26898bcb0991SDimitry Andric } 26908bcb0991SDimitry Andric 2691349cc55cSDimitry Andric uint64_t PPCFrameLowering::getBasePointerSaveOffset() const { 26928bcb0991SDimitry Andric return BasePointerSaveOffset; 26938bcb0991SDimitry Andric } 26948bcb0991SDimitry Andric 2695*0b57cec5SDimitry Andric bool PPCFrameLowering::enableShrinkWrapping(const MachineFunction &MF) const { 2696*0b57cec5SDimitry Andric if (MF.getInfo<PPCFunctionInfo>()->shrinkWrapDisabled()) 2697*0b57cec5SDimitry Andric return false; 2698fe6060f1SDimitry Andric return !MF.getSubtarget<PPCSubtarget>().is32BitELFABI(); 2699*0b57cec5SDimitry Andric } 2700