10b57cec5SDimitry Andric //===-- SystemZFrameLowering.cpp - Frame lowering for SystemZ -------------===// 20b57cec5SDimitry Andric // 30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information. 50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 60b57cec5SDimitry Andric // 70b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 80b57cec5SDimitry Andric 90b57cec5SDimitry Andric #include "SystemZFrameLowering.h" 100b57cec5SDimitry Andric #include "SystemZCallingConv.h" 110b57cec5SDimitry Andric #include "SystemZInstrBuilder.h" 120b57cec5SDimitry Andric #include "SystemZInstrInfo.h" 130b57cec5SDimitry Andric #include "SystemZMachineFunctionInfo.h" 140b57cec5SDimitry Andric #include "SystemZRegisterInfo.h" 150b57cec5SDimitry Andric #include "SystemZSubtarget.h" 1681ad6265SDimitry Andric #include "llvm/CodeGen/LivePhysRegs.h" 170b57cec5SDimitry Andric #include "llvm/CodeGen/MachineModuleInfo.h" 180b57cec5SDimitry Andric #include "llvm/CodeGen/MachineRegisterInfo.h" 190b57cec5SDimitry Andric #include "llvm/CodeGen/RegisterScavenging.h" 20cb14a3feSDimitry Andric #include "llvm/CodeGen/TargetLoweringObjectFileImpl.h" 210b57cec5SDimitry Andric #include "llvm/IR/Function.h" 225ffd83dbSDimitry Andric #include "llvm/Target/TargetMachine.h" 230b57cec5SDimitry Andric 240b57cec5SDimitry Andric using namespace llvm; 250b57cec5SDimitry Andric 260b57cec5SDimitry Andric namespace { 27480093f4SDimitry Andric // The ABI-defined register save slots, relative to the CFA (i.e. 28fe6060f1SDimitry Andric // incoming stack pointer + SystemZMC::ELFCallFrameSize). 29349cc55cSDimitry Andric static const TargetFrameLowering::SpillSlot ELFSpillOffsetTable[] = { 300b57cec5SDimitry Andric { SystemZ::R2D, 0x10 }, 310b57cec5SDimitry Andric { SystemZ::R3D, 0x18 }, 320b57cec5SDimitry Andric { SystemZ::R4D, 0x20 }, 330b57cec5SDimitry Andric { SystemZ::R5D, 0x28 }, 340b57cec5SDimitry Andric { SystemZ::R6D, 0x30 }, 350b57cec5SDimitry Andric { SystemZ::R7D, 0x38 }, 360b57cec5SDimitry Andric { SystemZ::R8D, 0x40 }, 370b57cec5SDimitry Andric { SystemZ::R9D, 0x48 }, 380b57cec5SDimitry Andric { SystemZ::R10D, 0x50 }, 390b57cec5SDimitry Andric { SystemZ::R11D, 0x58 }, 400b57cec5SDimitry Andric { SystemZ::R12D, 0x60 }, 410b57cec5SDimitry Andric { SystemZ::R13D, 0x68 }, 420b57cec5SDimitry Andric { SystemZ::R14D, 0x70 }, 430b57cec5SDimitry Andric { SystemZ::R15D, 0x78 }, 440b57cec5SDimitry Andric { SystemZ::F0D, 0x80 }, 450b57cec5SDimitry Andric { SystemZ::F2D, 0x88 }, 460b57cec5SDimitry Andric { SystemZ::F4D, 0x90 }, 470b57cec5SDimitry Andric { SystemZ::F6D, 0x98 } 480b57cec5SDimitry Andric }; 49349cc55cSDimitry Andric 50349cc55cSDimitry Andric static const TargetFrameLowering::SpillSlot XPLINKSpillOffsetTable[] = { 51349cc55cSDimitry Andric {SystemZ::R4D, 0x00}, {SystemZ::R5D, 0x08}, {SystemZ::R6D, 0x10}, 52349cc55cSDimitry Andric {SystemZ::R7D, 0x18}, {SystemZ::R8D, 0x20}, {SystemZ::R9D, 0x28}, 53349cc55cSDimitry Andric {SystemZ::R10D, 0x30}, {SystemZ::R11D, 0x38}, {SystemZ::R12D, 0x40}, 54349cc55cSDimitry Andric {SystemZ::R13D, 0x48}, {SystemZ::R14D, 0x50}, {SystemZ::R15D, 0x58}}; 550b57cec5SDimitry Andric } // end anonymous namespace 560b57cec5SDimitry Andric 57349cc55cSDimitry Andric SystemZFrameLowering::SystemZFrameLowering(StackDirection D, Align StackAl, 58349cc55cSDimitry Andric int LAO, Align TransAl, 59*0fca6ea1SDimitry Andric bool StackReal, unsigned PointerSize) 60*0fca6ea1SDimitry Andric : TargetFrameLowering(D, StackAl, LAO, TransAl, StackReal), 61*0fca6ea1SDimitry Andric PointerSize(PointerSize) {} 62480093f4SDimitry Andric 63349cc55cSDimitry Andric std::unique_ptr<SystemZFrameLowering> 64349cc55cSDimitry Andric SystemZFrameLowering::create(const SystemZSubtarget &STI) { 65*0fca6ea1SDimitry Andric unsigned PtrSz = 66*0fca6ea1SDimitry Andric STI.getTargetLowering()->getTargetMachine().getPointerSize(0); 67349cc55cSDimitry Andric if (STI.isTargetXPLINK64()) 68*0fca6ea1SDimitry Andric return std::make_unique<SystemZXPLINKFrameLowering>(PtrSz); 69*0fca6ea1SDimitry Andric return std::make_unique<SystemZELFFrameLowering>(PtrSz); 70349cc55cSDimitry Andric } 71349cc55cSDimitry Andric 721fd87a68SDimitry Andric namespace { 731fd87a68SDimitry Andric struct SZFrameSortingObj { 741fd87a68SDimitry Andric bool IsValid = false; // True if we care about this Object. 751fd87a68SDimitry Andric uint32_t ObjectIndex = 0; // Index of Object into MFI list. 761fd87a68SDimitry Andric uint64_t ObjectSize = 0; // Size of Object in bytes. 771fd87a68SDimitry Andric uint32_t D12Count = 0; // 12-bit displacement only. 781fd87a68SDimitry Andric uint32_t DPairCount = 0; // 12 or 20 bit displacement. 791fd87a68SDimitry Andric }; 801fd87a68SDimitry Andric typedef std::vector<SZFrameSortingObj> SZFrameObjVec; 811fd87a68SDimitry Andric } // namespace 821fd87a68SDimitry Andric 831fd87a68SDimitry Andric // TODO: Move to base class. 841fd87a68SDimitry Andric void SystemZELFFrameLowering::orderFrameObjects( 851fd87a68SDimitry Andric const MachineFunction &MF, SmallVectorImpl<int> &ObjectsToAllocate) const { 861fd87a68SDimitry Andric const MachineFrameInfo &MFI = MF.getFrameInfo(); 8781ad6265SDimitry Andric auto *TII = MF.getSubtarget<SystemZSubtarget>().getInstrInfo(); 881fd87a68SDimitry Andric 891fd87a68SDimitry Andric // Make a vector of sorting objects to track all MFI objects and mark those 901fd87a68SDimitry Andric // to be sorted as valid. 911fd87a68SDimitry Andric if (ObjectsToAllocate.size() <= 1) 921fd87a68SDimitry Andric return; 931fd87a68SDimitry Andric SZFrameObjVec SortingObjects(MFI.getObjectIndexEnd()); 941fd87a68SDimitry Andric for (auto &Obj : ObjectsToAllocate) { 951fd87a68SDimitry Andric SortingObjects[Obj].IsValid = true; 961fd87a68SDimitry Andric SortingObjects[Obj].ObjectIndex = Obj; 971fd87a68SDimitry Andric SortingObjects[Obj].ObjectSize = MFI.getObjectSize(Obj); 981fd87a68SDimitry Andric } 991fd87a68SDimitry Andric 1001fd87a68SDimitry Andric // Examine uses for each object and record short (12-bit) and "pair" 1011fd87a68SDimitry Andric // displacement types. 1021fd87a68SDimitry Andric for (auto &MBB : MF) 1031fd87a68SDimitry Andric for (auto &MI : MBB) { 1041fd87a68SDimitry Andric if (MI.isDebugInstr()) 1051fd87a68SDimitry Andric continue; 1061fd87a68SDimitry Andric for (unsigned I = 0, E = MI.getNumOperands(); I != E; ++I) { 1071fd87a68SDimitry Andric const MachineOperand &MO = MI.getOperand(I); 1081fd87a68SDimitry Andric if (!MO.isFI()) 1091fd87a68SDimitry Andric continue; 1101fd87a68SDimitry Andric int Index = MO.getIndex(); 1111fd87a68SDimitry Andric if (Index >= 0 && Index < MFI.getObjectIndexEnd() && 1121fd87a68SDimitry Andric SortingObjects[Index].IsValid) { 1131fd87a68SDimitry Andric if (TII->hasDisplacementPairInsn(MI.getOpcode())) 1141fd87a68SDimitry Andric SortingObjects[Index].DPairCount++; 1151fd87a68SDimitry Andric else if (!(MI.getDesc().TSFlags & SystemZII::Has20BitOffset)) 1161fd87a68SDimitry Andric SortingObjects[Index].D12Count++; 1171fd87a68SDimitry Andric } 1181fd87a68SDimitry Andric } 1191fd87a68SDimitry Andric } 1201fd87a68SDimitry Andric 1211fd87a68SDimitry Andric // Sort all objects for short/paired displacements, which should be 1221fd87a68SDimitry Andric // sufficient as it seems like all frame objects typically are within the 1231fd87a68SDimitry Andric // long displacement range. Sorting works by computing the "density" as 1241fd87a68SDimitry Andric // Count / ObjectSize. The comparisons of two such fractions are refactored 1251fd87a68SDimitry Andric // by multiplying both sides with A.ObjectSize * B.ObjectSize, in order to 1261fd87a68SDimitry Andric // eliminate the (fp) divisions. A higher density object needs to go after 1271fd87a68SDimitry Andric // in the list in order for it to end up lower on the stack. 1281fd87a68SDimitry Andric auto CmpD12 = [](const SZFrameSortingObj &A, const SZFrameSortingObj &B) { 1291fd87a68SDimitry Andric // Put all invalid and variable sized objects at the end. 1301fd87a68SDimitry Andric if (!A.IsValid || !B.IsValid) 1311fd87a68SDimitry Andric return A.IsValid; 1321fd87a68SDimitry Andric if (!A.ObjectSize || !B.ObjectSize) 1331fd87a68SDimitry Andric return A.ObjectSize > 0; 1341fd87a68SDimitry Andric uint64_t ADensityCmp = A.D12Count * B.ObjectSize; 1351fd87a68SDimitry Andric uint64_t BDensityCmp = B.D12Count * A.ObjectSize; 1361fd87a68SDimitry Andric if (ADensityCmp != BDensityCmp) 1371fd87a68SDimitry Andric return ADensityCmp < BDensityCmp; 1381fd87a68SDimitry Andric return A.DPairCount * B.ObjectSize < B.DPairCount * A.ObjectSize; 1391fd87a68SDimitry Andric }; 1401fd87a68SDimitry Andric std::stable_sort(SortingObjects.begin(), SortingObjects.end(), CmpD12); 1411fd87a68SDimitry Andric 1421fd87a68SDimitry Andric // Now modify the original list to represent the final order that 1431fd87a68SDimitry Andric // we want. 1441fd87a68SDimitry Andric unsigned Idx = 0; 1451fd87a68SDimitry Andric for (auto &Obj : SortingObjects) { 1461fd87a68SDimitry Andric // All invalid items are sorted at the end, so it's safe to stop. 1471fd87a68SDimitry Andric if (!Obj.IsValid) 1481fd87a68SDimitry Andric break; 1491fd87a68SDimitry Andric ObjectsToAllocate[Idx++] = Obj.ObjectIndex; 1501fd87a68SDimitry Andric } 1511fd87a68SDimitry Andric } 1521fd87a68SDimitry Andric 153349cc55cSDimitry Andric bool SystemZFrameLowering::hasReservedCallFrame( 154349cc55cSDimitry Andric const MachineFunction &MF) const { 155349cc55cSDimitry Andric // The ELF ABI requires us to allocate 160 bytes of stack space for the 156349cc55cSDimitry Andric // callee, with any outgoing stack arguments being placed above that. It 157349cc55cSDimitry Andric // seems better to make that area a permanent feature of the frame even if 158349cc55cSDimitry Andric // we're using a frame pointer. Similarly, 64-bit XPLINK requires 96 bytes 159349cc55cSDimitry Andric // of stack space for the register save area. 160349cc55cSDimitry Andric return true; 161349cc55cSDimitry Andric } 162349cc55cSDimitry Andric 163349cc55cSDimitry Andric bool SystemZELFFrameLowering::assignCalleeSavedSpillSlots( 164349cc55cSDimitry Andric MachineFunction &MF, const TargetRegisterInfo *TRI, 165480093f4SDimitry Andric std::vector<CalleeSavedInfo> &CSI) const { 166480093f4SDimitry Andric SystemZMachineFunctionInfo *ZFI = MF.getInfo<SystemZMachineFunctionInfo>(); 167480093f4SDimitry Andric MachineFrameInfo &MFFrame = MF.getFrameInfo(); 168480093f4SDimitry Andric bool IsVarArg = MF.getFunction().isVarArg(); 169480093f4SDimitry Andric if (CSI.empty()) 170480093f4SDimitry Andric return true; // Early exit if no callee saved registers are modified! 171480093f4SDimitry Andric 172480093f4SDimitry Andric unsigned LowGPR = 0; 173480093f4SDimitry Andric unsigned HighGPR = SystemZ::R15D; 174fe6060f1SDimitry Andric int StartSPOffset = SystemZMC::ELFCallFrameSize; 175480093f4SDimitry Andric for (auto &CS : CSI) { 17604eeddc0SDimitry Andric Register Reg = CS.getReg(); 1775ffd83dbSDimitry Andric int Offset = getRegSpillOffset(MF, Reg); 178480093f4SDimitry Andric if (Offset) { 179480093f4SDimitry Andric if (SystemZ::GR64BitRegClass.contains(Reg) && StartSPOffset > Offset) { 180480093f4SDimitry Andric LowGPR = Reg; 181480093f4SDimitry Andric StartSPOffset = Offset; 182480093f4SDimitry Andric } 183fe6060f1SDimitry Andric Offset -= SystemZMC::ELFCallFrameSize; 184*0fca6ea1SDimitry Andric int FrameIdx = 185*0fca6ea1SDimitry Andric MFFrame.CreateFixedSpillStackObject(getPointerSize(), Offset); 186480093f4SDimitry Andric CS.setFrameIdx(FrameIdx); 187480093f4SDimitry Andric } else 188480093f4SDimitry Andric CS.setFrameIdx(INT32_MAX); 189480093f4SDimitry Andric } 190480093f4SDimitry Andric 191480093f4SDimitry Andric // Save the range of call-saved registers, for use by the 192480093f4SDimitry Andric // prologue/epilogue inserters. 193480093f4SDimitry Andric ZFI->setRestoreGPRRegs(LowGPR, HighGPR, StartSPOffset); 194480093f4SDimitry Andric if (IsVarArg) { 195480093f4SDimitry Andric // Also save the GPR varargs, if any. R6D is call-saved, so would 196480093f4SDimitry Andric // already be included, but we also need to handle the call-clobbered 197480093f4SDimitry Andric // argument registers. 19804eeddc0SDimitry Andric Register FirstGPR = ZFI->getVarArgsFirstGPR(); 199fe6060f1SDimitry Andric if (FirstGPR < SystemZ::ELFNumArgGPRs) { 200fe6060f1SDimitry Andric unsigned Reg = SystemZ::ELFArgGPRs[FirstGPR]; 2015ffd83dbSDimitry Andric int Offset = getRegSpillOffset(MF, Reg); 202480093f4SDimitry Andric if (StartSPOffset > Offset) { 203480093f4SDimitry Andric LowGPR = Reg; StartSPOffset = Offset; 204480093f4SDimitry Andric } 205480093f4SDimitry Andric } 206480093f4SDimitry Andric } 207480093f4SDimitry Andric ZFI->setSpillGPRRegs(LowGPR, HighGPR, StartSPOffset); 208480093f4SDimitry Andric 209480093f4SDimitry Andric // Create fixed stack objects for the remaining registers. 210fe6060f1SDimitry Andric int CurrOffset = -SystemZMC::ELFCallFrameSize; 2115ffd83dbSDimitry Andric if (usePackedStack(MF)) 2125ffd83dbSDimitry Andric CurrOffset += StartSPOffset; 2135ffd83dbSDimitry Andric 214480093f4SDimitry Andric for (auto &CS : CSI) { 215480093f4SDimitry Andric if (CS.getFrameIdx() != INT32_MAX) 216480093f4SDimitry Andric continue; 21704eeddc0SDimitry Andric Register Reg = CS.getReg(); 218480093f4SDimitry Andric const TargetRegisterClass *RC = TRI->getMinimalPhysRegClass(Reg); 219480093f4SDimitry Andric unsigned Size = TRI->getSpillSize(*RC); 220480093f4SDimitry Andric CurrOffset -= Size; 221480093f4SDimitry Andric assert(CurrOffset % 8 == 0 && 222480093f4SDimitry Andric "8-byte alignment required for for all register save slots"); 223480093f4SDimitry Andric int FrameIdx = MFFrame.CreateFixedSpillStackObject(Size, CurrOffset); 224480093f4SDimitry Andric CS.setFrameIdx(FrameIdx); 225480093f4SDimitry Andric } 226480093f4SDimitry Andric 227480093f4SDimitry Andric return true; 2280b57cec5SDimitry Andric } 2290b57cec5SDimitry Andric 230349cc55cSDimitry Andric void SystemZELFFrameLowering::determineCalleeSaves(MachineFunction &MF, 2310b57cec5SDimitry Andric BitVector &SavedRegs, 2320b57cec5SDimitry Andric RegScavenger *RS) const { 2330b57cec5SDimitry Andric TargetFrameLowering::determineCalleeSaves(MF, SavedRegs, RS); 2340b57cec5SDimitry Andric 2350b57cec5SDimitry Andric MachineFrameInfo &MFFrame = MF.getFrameInfo(); 2360b57cec5SDimitry Andric const TargetRegisterInfo *TRI = MF.getSubtarget().getRegisterInfo(); 2370b57cec5SDimitry Andric bool HasFP = hasFP(MF); 2380b57cec5SDimitry Andric SystemZMachineFunctionInfo *MFI = MF.getInfo<SystemZMachineFunctionInfo>(); 2390b57cec5SDimitry Andric bool IsVarArg = MF.getFunction().isVarArg(); 2400b57cec5SDimitry Andric 2410b57cec5SDimitry Andric // va_start stores incoming FPR varargs in the normal way, but delegates 2420b57cec5SDimitry Andric // the saving of incoming GPR varargs to spillCalleeSavedRegisters(). 2430b57cec5SDimitry Andric // Record these pending uses, which typically include the call-saved 2440b57cec5SDimitry Andric // argument register R6D. 2450b57cec5SDimitry Andric if (IsVarArg) 246fe6060f1SDimitry Andric for (unsigned I = MFI->getVarArgsFirstGPR(); I < SystemZ::ELFNumArgGPRs; ++I) 247fe6060f1SDimitry Andric SavedRegs.set(SystemZ::ELFArgGPRs[I]); 2480b57cec5SDimitry Andric 2490b57cec5SDimitry Andric // If there are any landing pads, entering them will modify r6/r7. 2500b57cec5SDimitry Andric if (!MF.getLandingPads().empty()) { 2510b57cec5SDimitry Andric SavedRegs.set(SystemZ::R6D); 2520b57cec5SDimitry Andric SavedRegs.set(SystemZ::R7D); 2530b57cec5SDimitry Andric } 2540b57cec5SDimitry Andric 2550b57cec5SDimitry Andric // If the function requires a frame pointer, record that the hard 2560b57cec5SDimitry Andric // frame pointer will be clobbered. 2570b57cec5SDimitry Andric if (HasFP) 2580b57cec5SDimitry Andric SavedRegs.set(SystemZ::R11D); 2590b57cec5SDimitry Andric 2600b57cec5SDimitry Andric // If the function calls other functions, record that the return 2610b57cec5SDimitry Andric // address register will be clobbered. 2620b57cec5SDimitry Andric if (MFFrame.hasCalls()) 2630b57cec5SDimitry Andric SavedRegs.set(SystemZ::R14D); 2640b57cec5SDimitry Andric 2650b57cec5SDimitry Andric // If we are saving GPRs other than the stack pointer, we might as well 2660b57cec5SDimitry Andric // save and restore the stack pointer at the same time, via STMG and LMG. 2670b57cec5SDimitry Andric // This allows the deallocation to be done by the LMG, rather than needing 2680b57cec5SDimitry Andric // a separate %r15 addition. 2690b57cec5SDimitry Andric const MCPhysReg *CSRegs = TRI->getCalleeSavedRegs(&MF); 2700b57cec5SDimitry Andric for (unsigned I = 0; CSRegs[I]; ++I) { 2710b57cec5SDimitry Andric unsigned Reg = CSRegs[I]; 2720b57cec5SDimitry Andric if (SystemZ::GR64BitRegClass.contains(Reg) && SavedRegs.test(Reg)) { 2730b57cec5SDimitry Andric SavedRegs.set(SystemZ::R15D); 2740b57cec5SDimitry Andric break; 2750b57cec5SDimitry Andric } 2760b57cec5SDimitry Andric } 2770b57cec5SDimitry Andric } 2780b57cec5SDimitry Andric 279*0fca6ea1SDimitry Andric SystemZELFFrameLowering::SystemZELFFrameLowering(unsigned PointerSize) 280349cc55cSDimitry Andric : SystemZFrameLowering(TargetFrameLowering::StackGrowsDown, Align(8), 0, 281*0fca6ea1SDimitry Andric Align(8), /* StackRealignable */ false, PointerSize), 282349cc55cSDimitry Andric RegSpillOffsets(0) { 283349cc55cSDimitry Andric 284349cc55cSDimitry Andric // Due to the SystemZ ABI, the DWARF CFA (Canonical Frame Address) is not 285349cc55cSDimitry Andric // equal to the incoming stack pointer, but to incoming stack pointer plus 286349cc55cSDimitry Andric // 160. Instead of using a Local Area Offset, the Register save area will 287349cc55cSDimitry Andric // be occupied by fixed frame objects, and all offsets are actually 288349cc55cSDimitry Andric // relative to CFA. 289349cc55cSDimitry Andric 290349cc55cSDimitry Andric // Create a mapping from register number to save slot offset. 291349cc55cSDimitry Andric // These offsets are relative to the start of the register save area. 292349cc55cSDimitry Andric RegSpillOffsets.grow(SystemZ::NUM_TARGET_REGS); 293bdd1243dSDimitry Andric for (const auto &Entry : ELFSpillOffsetTable) 294bdd1243dSDimitry Andric RegSpillOffsets[Entry.Reg] = Entry.Offset; 295349cc55cSDimitry Andric } 296349cc55cSDimitry Andric 2970b57cec5SDimitry Andric // Add GPR64 to the save instruction being built by MIB, which is in basic 2980b57cec5SDimitry Andric // block MBB. IsImplicit says whether this is an explicit operand to the 2990b57cec5SDimitry Andric // instruction, or an implicit one that comes between the explicit start 3000b57cec5SDimitry Andric // and end registers. 3010b57cec5SDimitry Andric static void addSavedGPR(MachineBasicBlock &MBB, MachineInstrBuilder &MIB, 3020b57cec5SDimitry Andric unsigned GPR64, bool IsImplicit) { 3030b57cec5SDimitry Andric const TargetRegisterInfo *RI = 3040b57cec5SDimitry Andric MBB.getParent()->getSubtarget().getRegisterInfo(); 3058bcb0991SDimitry Andric Register GPR32 = RI->getSubReg(GPR64, SystemZ::subreg_l32); 3060b57cec5SDimitry Andric bool IsLive = MBB.isLiveIn(GPR64) || MBB.isLiveIn(GPR32); 3070b57cec5SDimitry Andric if (!IsLive || !IsImplicit) { 3080b57cec5SDimitry Andric MIB.addReg(GPR64, getImplRegState(IsImplicit) | getKillRegState(!IsLive)); 3090b57cec5SDimitry Andric if (!IsLive) 3100b57cec5SDimitry Andric MBB.addLiveIn(GPR64); 3110b57cec5SDimitry Andric } 3120b57cec5SDimitry Andric } 3130b57cec5SDimitry Andric 314349cc55cSDimitry Andric bool SystemZELFFrameLowering::spillCalleeSavedRegisters( 3155ffd83dbSDimitry Andric MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, 3165ffd83dbSDimitry Andric ArrayRef<CalleeSavedInfo> CSI, const TargetRegisterInfo *TRI) const { 3170b57cec5SDimitry Andric if (CSI.empty()) 3180b57cec5SDimitry Andric return false; 3190b57cec5SDimitry Andric 3200b57cec5SDimitry Andric MachineFunction &MF = *MBB.getParent(); 3210b57cec5SDimitry Andric const TargetInstrInfo *TII = MF.getSubtarget().getInstrInfo(); 3220b57cec5SDimitry Andric SystemZMachineFunctionInfo *ZFI = MF.getInfo<SystemZMachineFunctionInfo>(); 3230b57cec5SDimitry Andric bool IsVarArg = MF.getFunction().isVarArg(); 3240b57cec5SDimitry Andric DebugLoc DL; 3250b57cec5SDimitry Andric 3260b57cec5SDimitry Andric // Save GPRs 327480093f4SDimitry Andric SystemZ::GPRRegs SpillGPRs = ZFI->getSpillGPRRegs(); 328480093f4SDimitry Andric if (SpillGPRs.LowGPR) { 329480093f4SDimitry Andric assert(SpillGPRs.LowGPR != SpillGPRs.HighGPR && 330480093f4SDimitry Andric "Should be saving %r15 and something else"); 3310b57cec5SDimitry Andric 3320b57cec5SDimitry Andric // Build an STMG instruction. 3330b57cec5SDimitry Andric MachineInstrBuilder MIB = BuildMI(MBB, MBBI, DL, TII->get(SystemZ::STMG)); 3340b57cec5SDimitry Andric 3350b57cec5SDimitry Andric // Add the explicit register operands. 336480093f4SDimitry Andric addSavedGPR(MBB, MIB, SpillGPRs.LowGPR, false); 337480093f4SDimitry Andric addSavedGPR(MBB, MIB, SpillGPRs.HighGPR, false); 3380b57cec5SDimitry Andric 3390b57cec5SDimitry Andric // Add the address. 340480093f4SDimitry Andric MIB.addReg(SystemZ::R15D).addImm(SpillGPRs.GPROffset); 3410b57cec5SDimitry Andric 3420b57cec5SDimitry Andric // Make sure all call-saved GPRs are included as operands and are 3430b57cec5SDimitry Andric // marked as live on entry. 3444824e7fdSDimitry Andric for (const CalleeSavedInfo &I : CSI) { 34504eeddc0SDimitry Andric Register Reg = I.getReg(); 3460b57cec5SDimitry Andric if (SystemZ::GR64BitRegClass.contains(Reg)) 3470b57cec5SDimitry Andric addSavedGPR(MBB, MIB, Reg, true); 3480b57cec5SDimitry Andric } 3490b57cec5SDimitry Andric 3500b57cec5SDimitry Andric // ...likewise GPR varargs. 3510b57cec5SDimitry Andric if (IsVarArg) 352fe6060f1SDimitry Andric for (unsigned I = ZFI->getVarArgsFirstGPR(); I < SystemZ::ELFNumArgGPRs; ++I) 353fe6060f1SDimitry Andric addSavedGPR(MBB, MIB, SystemZ::ELFArgGPRs[I], true); 3540b57cec5SDimitry Andric } 3550b57cec5SDimitry Andric 3560b57cec5SDimitry Andric // Save FPRs/VRs in the normal TargetInstrInfo way. 3574824e7fdSDimitry Andric for (const CalleeSavedInfo &I : CSI) { 35804eeddc0SDimitry Andric Register Reg = I.getReg(); 3590b57cec5SDimitry Andric if (SystemZ::FP64BitRegClass.contains(Reg)) { 3600b57cec5SDimitry Andric MBB.addLiveIn(Reg); 3614824e7fdSDimitry Andric TII->storeRegToStackSlot(MBB, MBBI, Reg, true, I.getFrameIdx(), 362bdd1243dSDimitry Andric &SystemZ::FP64BitRegClass, TRI, Register()); 3630b57cec5SDimitry Andric } 3640b57cec5SDimitry Andric if (SystemZ::VR128BitRegClass.contains(Reg)) { 3650b57cec5SDimitry Andric MBB.addLiveIn(Reg); 3664824e7fdSDimitry Andric TII->storeRegToStackSlot(MBB, MBBI, Reg, true, I.getFrameIdx(), 367bdd1243dSDimitry Andric &SystemZ::VR128BitRegClass, TRI, Register()); 3680b57cec5SDimitry Andric } 3690b57cec5SDimitry Andric } 3700b57cec5SDimitry Andric 3710b57cec5SDimitry Andric return true; 3720b57cec5SDimitry Andric } 3730b57cec5SDimitry Andric 374349cc55cSDimitry Andric bool SystemZELFFrameLowering::restoreCalleeSavedRegisters( 3755ffd83dbSDimitry Andric MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, 3765ffd83dbSDimitry Andric MutableArrayRef<CalleeSavedInfo> CSI, const TargetRegisterInfo *TRI) const { 3770b57cec5SDimitry Andric if (CSI.empty()) 3780b57cec5SDimitry Andric return false; 3790b57cec5SDimitry Andric 3800b57cec5SDimitry Andric MachineFunction &MF = *MBB.getParent(); 3810b57cec5SDimitry Andric const TargetInstrInfo *TII = MF.getSubtarget().getInstrInfo(); 3820b57cec5SDimitry Andric SystemZMachineFunctionInfo *ZFI = MF.getInfo<SystemZMachineFunctionInfo>(); 3830b57cec5SDimitry Andric bool HasFP = hasFP(MF); 3840b57cec5SDimitry Andric DebugLoc DL = MBBI != MBB.end() ? MBBI->getDebugLoc() : DebugLoc(); 3850b57cec5SDimitry Andric 3860b57cec5SDimitry Andric // Restore FPRs/VRs in the normal TargetInstrInfo way. 3874824e7fdSDimitry Andric for (const CalleeSavedInfo &I : CSI) { 38804eeddc0SDimitry Andric Register Reg = I.getReg(); 3890b57cec5SDimitry Andric if (SystemZ::FP64BitRegClass.contains(Reg)) 3904824e7fdSDimitry Andric TII->loadRegFromStackSlot(MBB, MBBI, Reg, I.getFrameIdx(), 391bdd1243dSDimitry Andric &SystemZ::FP64BitRegClass, TRI, Register()); 3920b57cec5SDimitry Andric if (SystemZ::VR128BitRegClass.contains(Reg)) 3934824e7fdSDimitry Andric TII->loadRegFromStackSlot(MBB, MBBI, Reg, I.getFrameIdx(), 394bdd1243dSDimitry Andric &SystemZ::VR128BitRegClass, TRI, Register()); 3950b57cec5SDimitry Andric } 3960b57cec5SDimitry Andric 3970b57cec5SDimitry Andric // Restore call-saved GPRs (but not call-clobbered varargs, which at 3980b57cec5SDimitry Andric // this point might hold return values). 399480093f4SDimitry Andric SystemZ::GPRRegs RestoreGPRs = ZFI->getRestoreGPRRegs(); 400480093f4SDimitry Andric if (RestoreGPRs.LowGPR) { 4010b57cec5SDimitry Andric // If we saved any of %r2-%r5 as varargs, we should also be saving 4020b57cec5SDimitry Andric // and restoring %r6. If we're saving %r6 or above, we should be 4030b57cec5SDimitry Andric // restoring it too. 404480093f4SDimitry Andric assert(RestoreGPRs.LowGPR != RestoreGPRs.HighGPR && 405480093f4SDimitry Andric "Should be loading %r15 and something else"); 4060b57cec5SDimitry Andric 4070b57cec5SDimitry Andric // Build an LMG instruction. 4080b57cec5SDimitry Andric MachineInstrBuilder MIB = BuildMI(MBB, MBBI, DL, TII->get(SystemZ::LMG)); 4090b57cec5SDimitry Andric 4100b57cec5SDimitry Andric // Add the explicit register operands. 411480093f4SDimitry Andric MIB.addReg(RestoreGPRs.LowGPR, RegState::Define); 412480093f4SDimitry Andric MIB.addReg(RestoreGPRs.HighGPR, RegState::Define); 4130b57cec5SDimitry Andric 4140b57cec5SDimitry Andric // Add the address. 4150b57cec5SDimitry Andric MIB.addReg(HasFP ? SystemZ::R11D : SystemZ::R15D); 416480093f4SDimitry Andric MIB.addImm(RestoreGPRs.GPROffset); 4170b57cec5SDimitry Andric 4180b57cec5SDimitry Andric // Do a second scan adding regs as being defined by instruction 4194824e7fdSDimitry Andric for (const CalleeSavedInfo &I : CSI) { 42004eeddc0SDimitry Andric Register Reg = I.getReg(); 421480093f4SDimitry Andric if (Reg != RestoreGPRs.LowGPR && Reg != RestoreGPRs.HighGPR && 4220b57cec5SDimitry Andric SystemZ::GR64BitRegClass.contains(Reg)) 4230b57cec5SDimitry Andric MIB.addReg(Reg, RegState::ImplicitDefine); 4240b57cec5SDimitry Andric } 4250b57cec5SDimitry Andric } 4260b57cec5SDimitry Andric 4270b57cec5SDimitry Andric return true; 4280b57cec5SDimitry Andric } 4290b57cec5SDimitry Andric 430349cc55cSDimitry Andric void SystemZELFFrameLowering::processFunctionBeforeFrameFinalized( 431349cc55cSDimitry Andric MachineFunction &MF, RegScavenger *RS) const { 4320b57cec5SDimitry Andric MachineFrameInfo &MFFrame = MF.getFrameInfo(); 433e8d8bef9SDimitry Andric SystemZMachineFunctionInfo *ZFI = MF.getInfo<SystemZMachineFunctionInfo>(); 434e8d8bef9SDimitry Andric MachineRegisterInfo *MRI = &MF.getRegInfo(); 4355f757f3fSDimitry Andric bool BackChain = MF.getSubtarget<SystemZSubtarget>().hasBackChain(); 436480093f4SDimitry Andric 4375ffd83dbSDimitry Andric if (!usePackedStack(MF) || BackChain) 4385ffd83dbSDimitry Andric // Create the incoming register save area. 439480093f4SDimitry Andric getOrCreateFramePointerSaveIndex(MF); 440480093f4SDimitry Andric 4410b57cec5SDimitry Andric // Get the size of our stack frame to be allocated ... 4420b57cec5SDimitry Andric uint64_t StackSize = (MFFrame.estimateStackSize(MF) + 443fe6060f1SDimitry Andric SystemZMC::ELFCallFrameSize); 4440b57cec5SDimitry Andric // ... and the maximum offset we may need to reach into the 4450b57cec5SDimitry Andric // caller's frame to access the save area or stack arguments. 446480093f4SDimitry Andric int64_t MaxArgOffset = 0; 4470b57cec5SDimitry Andric for (int I = MFFrame.getObjectIndexBegin(); I != 0; ++I) 4480b57cec5SDimitry Andric if (MFFrame.getObjectOffset(I) >= 0) { 449480093f4SDimitry Andric int64_t ArgOffset = MFFrame.getObjectOffset(I) + 4500b57cec5SDimitry Andric MFFrame.getObjectSize(I); 4510b57cec5SDimitry Andric MaxArgOffset = std::max(MaxArgOffset, ArgOffset); 4520b57cec5SDimitry Andric } 4530b57cec5SDimitry Andric 4540b57cec5SDimitry Andric uint64_t MaxReach = StackSize + MaxArgOffset; 4550b57cec5SDimitry Andric if (!isUInt<12>(MaxReach)) { 4560b57cec5SDimitry Andric // We may need register scavenging slots if some parts of the frame 4570b57cec5SDimitry Andric // are outside the reach of an unsigned 12-bit displacement. 4580b57cec5SDimitry Andric // Create 2 for the case where both addresses in an MVC are 4590b57cec5SDimitry Andric // out of range. 460*0fca6ea1SDimitry Andric RS->addScavengingFrameIndex( 461*0fca6ea1SDimitry Andric MFFrame.CreateStackObject(getPointerSize(), Align(8), false)); 462*0fca6ea1SDimitry Andric RS->addScavengingFrameIndex( 463*0fca6ea1SDimitry Andric MFFrame.CreateStackObject(getPointerSize(), Align(8), false)); 4640b57cec5SDimitry Andric } 465e8d8bef9SDimitry Andric 466e8d8bef9SDimitry Andric // If R6 is used as an argument register it is still callee saved. If it in 467e8d8bef9SDimitry Andric // this case is not clobbered (and restored) it should never be marked as 468e8d8bef9SDimitry Andric // killed. 469e8d8bef9SDimitry Andric if (MF.front().isLiveIn(SystemZ::R6D) && 470e8d8bef9SDimitry Andric ZFI->getRestoreGPRRegs().LowGPR != SystemZ::R6D) 471e8d8bef9SDimitry Andric for (auto &MO : MRI->use_nodbg_operands(SystemZ::R6D)) 472e8d8bef9SDimitry Andric MO.setIsKill(false); 4730b57cec5SDimitry Andric } 4740b57cec5SDimitry Andric 4750b57cec5SDimitry Andric // Emit instructions before MBBI (in MBB) to add NumBytes to Reg. 4760b57cec5SDimitry Andric static void emitIncrement(MachineBasicBlock &MBB, 4775ffd83dbSDimitry Andric MachineBasicBlock::iterator &MBBI, const DebugLoc &DL, 4785ffd83dbSDimitry Andric Register Reg, int64_t NumBytes, 4790b57cec5SDimitry Andric const TargetInstrInfo *TII) { 4800b57cec5SDimitry Andric while (NumBytes) { 4810b57cec5SDimitry Andric unsigned Opcode; 4820b57cec5SDimitry Andric int64_t ThisVal = NumBytes; 4830b57cec5SDimitry Andric if (isInt<16>(NumBytes)) 4840b57cec5SDimitry Andric Opcode = SystemZ::AGHI; 4850b57cec5SDimitry Andric else { 4860b57cec5SDimitry Andric Opcode = SystemZ::AGFI; 4870b57cec5SDimitry Andric // Make sure we maintain 8-byte stack alignment. 4880b57cec5SDimitry Andric int64_t MinVal = -uint64_t(1) << 31; 4890b57cec5SDimitry Andric int64_t MaxVal = (int64_t(1) << 31) - 8; 4900b57cec5SDimitry Andric if (ThisVal < MinVal) 4910b57cec5SDimitry Andric ThisVal = MinVal; 4920b57cec5SDimitry Andric else if (ThisVal > MaxVal) 4930b57cec5SDimitry Andric ThisVal = MaxVal; 4940b57cec5SDimitry Andric } 4950b57cec5SDimitry Andric MachineInstr *MI = BuildMI(MBB, MBBI, DL, TII->get(Opcode), Reg) 4960b57cec5SDimitry Andric .addReg(Reg).addImm(ThisVal); 4970b57cec5SDimitry Andric // The CC implicit def is dead. 4980b57cec5SDimitry Andric MI->getOperand(3).setIsDead(); 4990b57cec5SDimitry Andric NumBytes -= ThisVal; 5000b57cec5SDimitry Andric } 5010b57cec5SDimitry Andric } 5020b57cec5SDimitry Andric 5035ffd83dbSDimitry Andric // Add CFI for the new CFA offset. 5045ffd83dbSDimitry Andric static void buildCFAOffs(MachineBasicBlock &MBB, 5055ffd83dbSDimitry Andric MachineBasicBlock::iterator MBBI, 5065ffd83dbSDimitry Andric const DebugLoc &DL, int Offset, 5075ffd83dbSDimitry Andric const SystemZInstrInfo *ZII) { 5085ffd83dbSDimitry Andric unsigned CFIIndex = MBB.getParent()->addFrameInst( 5095ffd83dbSDimitry Andric MCCFIInstruction::cfiDefCfaOffset(nullptr, -Offset)); 5105ffd83dbSDimitry Andric BuildMI(MBB, MBBI, DL, ZII->get(TargetOpcode::CFI_INSTRUCTION)) 5115ffd83dbSDimitry Andric .addCFIIndex(CFIIndex); 5125ffd83dbSDimitry Andric } 5135ffd83dbSDimitry Andric 5145ffd83dbSDimitry Andric // Add CFI for the new frame location. 5155ffd83dbSDimitry Andric static void buildDefCFAReg(MachineBasicBlock &MBB, 5165ffd83dbSDimitry Andric MachineBasicBlock::iterator MBBI, 5175ffd83dbSDimitry Andric const DebugLoc &DL, unsigned Reg, 5185ffd83dbSDimitry Andric const SystemZInstrInfo *ZII) { 5195ffd83dbSDimitry Andric MachineFunction &MF = *MBB.getParent(); 520*0fca6ea1SDimitry Andric const MCRegisterInfo *MRI = MF.getContext().getRegisterInfo(); 5215ffd83dbSDimitry Andric unsigned RegNum = MRI->getDwarfRegNum(Reg, true); 5225ffd83dbSDimitry Andric unsigned CFIIndex = MF.addFrameInst( 5235ffd83dbSDimitry Andric MCCFIInstruction::createDefCfaRegister(nullptr, RegNum)); 5245ffd83dbSDimitry Andric BuildMI(MBB, MBBI, DL, ZII->get(TargetOpcode::CFI_INSTRUCTION)) 5255ffd83dbSDimitry Andric .addCFIIndex(CFIIndex); 5265ffd83dbSDimitry Andric } 5275ffd83dbSDimitry Andric 528349cc55cSDimitry Andric void SystemZELFFrameLowering::emitPrologue(MachineFunction &MF, 5290b57cec5SDimitry Andric MachineBasicBlock &MBB) const { 5300b57cec5SDimitry Andric assert(&MF.front() == &MBB && "Shrink-wrapping not yet supported"); 5315ffd83dbSDimitry Andric const SystemZSubtarget &STI = MF.getSubtarget<SystemZSubtarget>(); 5325ffd83dbSDimitry Andric const SystemZTargetLowering &TLI = *STI.getTargetLowering(); 5330b57cec5SDimitry Andric MachineFrameInfo &MFFrame = MF.getFrameInfo(); 5345ffd83dbSDimitry Andric auto *ZII = static_cast<const SystemZInstrInfo *>(STI.getInstrInfo()); 5350b57cec5SDimitry Andric SystemZMachineFunctionInfo *ZFI = MF.getInfo<SystemZMachineFunctionInfo>(); 5360b57cec5SDimitry Andric MachineBasicBlock::iterator MBBI = MBB.begin(); 537*0fca6ea1SDimitry Andric const MCRegisterInfo *MRI = MF.getContext().getRegisterInfo(); 5380b57cec5SDimitry Andric const std::vector<CalleeSavedInfo> &CSI = MFFrame.getCalleeSavedInfo(); 5390b57cec5SDimitry Andric bool HasFP = hasFP(MF); 5400b57cec5SDimitry Andric 541480093f4SDimitry Andric // In GHC calling convention C stack space, including the ABI-defined 542480093f4SDimitry Andric // 160-byte base area, is (de)allocated by GHC itself. This stack space may 543480093f4SDimitry Andric // be used by LLVM as spill slots for the tail recursive GHC functions. Thus 544480093f4SDimitry Andric // do not allocate stack space here, too. 545480093f4SDimitry Andric if (MF.getFunction().getCallingConv() == CallingConv::GHC) { 546480093f4SDimitry Andric if (MFFrame.getStackSize() > 2048 * sizeof(long)) { 547480093f4SDimitry Andric report_fatal_error( 548480093f4SDimitry Andric "Pre allocated stack space for GHC function is too small"); 549480093f4SDimitry Andric } 550480093f4SDimitry Andric if (HasFP) { 551480093f4SDimitry Andric report_fatal_error( 552480093f4SDimitry Andric "In GHC calling convention a frame pointer is not supported"); 553480093f4SDimitry Andric } 554fe6060f1SDimitry Andric MFFrame.setStackSize(MFFrame.getStackSize() + SystemZMC::ELFCallFrameSize); 555480093f4SDimitry Andric return; 556480093f4SDimitry Andric } 557480093f4SDimitry Andric 5580b57cec5SDimitry Andric // Debug location must be unknown since the first debug location is used 5590b57cec5SDimitry Andric // to determine the end of the prologue. 5600b57cec5SDimitry Andric DebugLoc DL; 5610b57cec5SDimitry Andric 5620b57cec5SDimitry Andric // The current offset of the stack pointer from the CFA. 563fe6060f1SDimitry Andric int64_t SPOffsetFromCFA = -SystemZMC::ELFCFAOffsetFromInitialSP; 5640b57cec5SDimitry Andric 565480093f4SDimitry Andric if (ZFI->getSpillGPRRegs().LowGPR) { 5660b57cec5SDimitry Andric // Skip over the GPR saves. 5670b57cec5SDimitry Andric if (MBBI != MBB.end() && MBBI->getOpcode() == SystemZ::STMG) 5680b57cec5SDimitry Andric ++MBBI; 5690b57cec5SDimitry Andric else 5700b57cec5SDimitry Andric llvm_unreachable("Couldn't skip over GPR saves"); 5710b57cec5SDimitry Andric 5720b57cec5SDimitry Andric // Add CFI for the GPR saves. 5730b57cec5SDimitry Andric for (auto &Save : CSI) { 57404eeddc0SDimitry Andric Register Reg = Save.getReg(); 5750b57cec5SDimitry Andric if (SystemZ::GR64BitRegClass.contains(Reg)) { 576480093f4SDimitry Andric int FI = Save.getFrameIdx(); 577480093f4SDimitry Andric int64_t Offset = MFFrame.getObjectOffset(FI); 5780b57cec5SDimitry Andric unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::createOffset( 5790b57cec5SDimitry Andric nullptr, MRI->getDwarfRegNum(Reg, true), Offset)); 5800b57cec5SDimitry Andric BuildMI(MBB, MBBI, DL, ZII->get(TargetOpcode::CFI_INSTRUCTION)) 5810b57cec5SDimitry Andric .addCFIIndex(CFIIndex); 5820b57cec5SDimitry Andric } 5830b57cec5SDimitry Andric } 5840b57cec5SDimitry Andric } 5850b57cec5SDimitry Andric 5860b57cec5SDimitry Andric uint64_t StackSize = MFFrame.getStackSize(); 5870b57cec5SDimitry Andric // We need to allocate the ABI-defined 160-byte base area whenever 5880b57cec5SDimitry Andric // we allocate stack space for our own use and whenever we call another 5890b57cec5SDimitry Andric // function. 590480093f4SDimitry Andric bool HasStackObject = false; 591480093f4SDimitry Andric for (unsigned i = 0, e = MFFrame.getObjectIndexEnd(); i != e; ++i) 592480093f4SDimitry Andric if (!MFFrame.isDeadObjectIndex(i)) { 593480093f4SDimitry Andric HasStackObject = true; 594480093f4SDimitry Andric break; 5950b57cec5SDimitry Andric } 596480093f4SDimitry Andric if (HasStackObject || MFFrame.hasCalls()) 597fe6060f1SDimitry Andric StackSize += SystemZMC::ELFCallFrameSize; 598480093f4SDimitry Andric // Don't allocate the incoming reg save area. 599fe6060f1SDimitry Andric StackSize = StackSize > SystemZMC::ELFCallFrameSize 600fe6060f1SDimitry Andric ? StackSize - SystemZMC::ELFCallFrameSize 601480093f4SDimitry Andric : 0; 602480093f4SDimitry Andric MFFrame.setStackSize(StackSize); 6030b57cec5SDimitry Andric 6040b57cec5SDimitry Andric if (StackSize) { 6050b57cec5SDimitry Andric // Allocate StackSize bytes. 6060b57cec5SDimitry Andric int64_t Delta = -int64_t(StackSize); 6075ffd83dbSDimitry Andric const unsigned ProbeSize = TLI.getStackProbeSize(MF); 6085ffd83dbSDimitry Andric bool FreeProbe = (ZFI->getSpillGPRRegs().GPROffset && 6095ffd83dbSDimitry Andric (ZFI->getSpillGPRRegs().GPROffset + StackSize) < ProbeSize); 6105ffd83dbSDimitry Andric if (!FreeProbe && 6115ffd83dbSDimitry Andric MF.getSubtarget().getTargetLowering()->hasInlineStackProbe(MF)) { 6125ffd83dbSDimitry Andric // Stack probing may involve looping, but splitting the prologue block 6135ffd83dbSDimitry Andric // is not possible at this point since it would invalidate the 6145ffd83dbSDimitry Andric // SaveBlocks / RestoreBlocks sets of PEI in the single block function 6155ffd83dbSDimitry Andric // case. Build a pseudo to be handled later by inlineStackProbe(). 6165ffd83dbSDimitry Andric BuildMI(MBB, MBBI, DL, ZII->get(SystemZ::PROBED_STACKALLOC)) 6175ffd83dbSDimitry Andric .addImm(StackSize); 6185ffd83dbSDimitry Andric } 6195ffd83dbSDimitry Andric else { 6205f757f3fSDimitry Andric bool StoreBackchain = MF.getSubtarget<SystemZSubtarget>().hasBackChain(); 621e8d8bef9SDimitry Andric // If we need backchain, save current stack pointer. R1 is free at 622e8d8bef9SDimitry Andric // this point. 623e8d8bef9SDimitry Andric if (StoreBackchain) 624e8d8bef9SDimitry Andric BuildMI(MBB, MBBI, DL, ZII->get(SystemZ::LGR)) 625e8d8bef9SDimitry Andric .addReg(SystemZ::R1D, RegState::Define).addReg(SystemZ::R15D); 6260b57cec5SDimitry Andric emitIncrement(MBB, MBBI, DL, SystemZ::R15D, Delta, ZII); 6275ffd83dbSDimitry Andric buildCFAOffs(MBB, MBBI, DL, SPOffsetFromCFA + Delta, ZII); 628e8d8bef9SDimitry Andric if (StoreBackchain) 6290b57cec5SDimitry Andric BuildMI(MBB, MBBI, DL, ZII->get(SystemZ::STG)) 6305ffd83dbSDimitry Andric .addReg(SystemZ::R1D, RegState::Kill).addReg(SystemZ::R15D) 631e8d8bef9SDimitry Andric .addImm(getBackchainOffset(MF)).addReg(0); 6325ffd83dbSDimitry Andric } 633e8d8bef9SDimitry Andric SPOffsetFromCFA += Delta; 6340b57cec5SDimitry Andric } 6350b57cec5SDimitry Andric 6360b57cec5SDimitry Andric if (HasFP) { 6370b57cec5SDimitry Andric // Copy the base of the frame to R11. 6380b57cec5SDimitry Andric BuildMI(MBB, MBBI, DL, ZII->get(SystemZ::LGR), SystemZ::R11D) 6390b57cec5SDimitry Andric .addReg(SystemZ::R15D); 6400b57cec5SDimitry Andric 6410b57cec5SDimitry Andric // Add CFI for the new frame location. 6425ffd83dbSDimitry Andric buildDefCFAReg(MBB, MBBI, DL, SystemZ::R11D, ZII); 6430b57cec5SDimitry Andric 6440b57cec5SDimitry Andric // Mark the FramePtr as live at the beginning of every block except 6450b57cec5SDimitry Andric // the entry block. (We'll have marked R11 as live on entry when 6460b57cec5SDimitry Andric // saving the GPRs.) 647349cc55cSDimitry Andric for (MachineBasicBlock &MBBJ : llvm::drop_begin(MF)) 648349cc55cSDimitry Andric MBBJ.addLiveIn(SystemZ::R11D); 6490b57cec5SDimitry Andric } 6500b57cec5SDimitry Andric 6510b57cec5SDimitry Andric // Skip over the FPR/VR saves. 6520b57cec5SDimitry Andric SmallVector<unsigned, 8> CFIIndexes; 6530b57cec5SDimitry Andric for (auto &Save : CSI) { 65404eeddc0SDimitry Andric Register Reg = Save.getReg(); 6550b57cec5SDimitry Andric if (SystemZ::FP64BitRegClass.contains(Reg)) { 6560b57cec5SDimitry Andric if (MBBI != MBB.end() && 6570b57cec5SDimitry Andric (MBBI->getOpcode() == SystemZ::STD || 6580b57cec5SDimitry Andric MBBI->getOpcode() == SystemZ::STDY)) 6590b57cec5SDimitry Andric ++MBBI; 6600b57cec5SDimitry Andric else 6610b57cec5SDimitry Andric llvm_unreachable("Couldn't skip over FPR save"); 6620b57cec5SDimitry Andric } else if (SystemZ::VR128BitRegClass.contains(Reg)) { 6630b57cec5SDimitry Andric if (MBBI != MBB.end() && 6640b57cec5SDimitry Andric MBBI->getOpcode() == SystemZ::VST) 6650b57cec5SDimitry Andric ++MBBI; 6660b57cec5SDimitry Andric else 6670b57cec5SDimitry Andric llvm_unreachable("Couldn't skip over VR save"); 6680b57cec5SDimitry Andric } else 6690b57cec5SDimitry Andric continue; 6700b57cec5SDimitry Andric 6710b57cec5SDimitry Andric // Add CFI for the this save. 6720b57cec5SDimitry Andric unsigned DwarfReg = MRI->getDwarfRegNum(Reg, true); 6735ffd83dbSDimitry Andric Register IgnoredFrameReg; 6740b57cec5SDimitry Andric int64_t Offset = 675e8d8bef9SDimitry Andric getFrameIndexReference(MF, Save.getFrameIdx(), IgnoredFrameReg) 676e8d8bef9SDimitry Andric .getFixed(); 6770b57cec5SDimitry Andric 6780b57cec5SDimitry Andric unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::createOffset( 6790b57cec5SDimitry Andric nullptr, DwarfReg, SPOffsetFromCFA + Offset)); 6800b57cec5SDimitry Andric CFIIndexes.push_back(CFIIndex); 6810b57cec5SDimitry Andric } 6820b57cec5SDimitry Andric // Complete the CFI for the FPR/VR saves, modelling them as taking effect 6830b57cec5SDimitry Andric // after the last save. 6840b57cec5SDimitry Andric for (auto CFIIndex : CFIIndexes) { 6850b57cec5SDimitry Andric BuildMI(MBB, MBBI, DL, ZII->get(TargetOpcode::CFI_INSTRUCTION)) 6860b57cec5SDimitry Andric .addCFIIndex(CFIIndex); 6870b57cec5SDimitry Andric } 6880b57cec5SDimitry Andric } 6890b57cec5SDimitry Andric 690349cc55cSDimitry Andric void SystemZELFFrameLowering::emitEpilogue(MachineFunction &MF, 6910b57cec5SDimitry Andric MachineBasicBlock &MBB) const { 6920b57cec5SDimitry Andric MachineBasicBlock::iterator MBBI = MBB.getLastNonDebugInstr(); 6930b57cec5SDimitry Andric auto *ZII = 6940b57cec5SDimitry Andric static_cast<const SystemZInstrInfo *>(MF.getSubtarget().getInstrInfo()); 6950b57cec5SDimitry Andric SystemZMachineFunctionInfo *ZFI = MF.getInfo<SystemZMachineFunctionInfo>(); 6960b57cec5SDimitry Andric MachineFrameInfo &MFFrame = MF.getFrameInfo(); 6970b57cec5SDimitry Andric 698349cc55cSDimitry Andric // See SystemZELFFrameLowering::emitPrologue 699480093f4SDimitry Andric if (MF.getFunction().getCallingConv() == CallingConv::GHC) 700480093f4SDimitry Andric return; 701480093f4SDimitry Andric 7020b57cec5SDimitry Andric // Skip the return instruction. 7030b57cec5SDimitry Andric assert(MBBI->isReturn() && "Can only insert epilogue into returning blocks"); 7040b57cec5SDimitry Andric 7050b57cec5SDimitry Andric uint64_t StackSize = MFFrame.getStackSize(); 706480093f4SDimitry Andric if (ZFI->getRestoreGPRRegs().LowGPR) { 7070b57cec5SDimitry Andric --MBBI; 7080b57cec5SDimitry Andric unsigned Opcode = MBBI->getOpcode(); 7090b57cec5SDimitry Andric if (Opcode != SystemZ::LMG) 7100b57cec5SDimitry Andric llvm_unreachable("Expected to see callee-save register restore code"); 7110b57cec5SDimitry Andric 7120b57cec5SDimitry Andric unsigned AddrOpNo = 2; 7130b57cec5SDimitry Andric DebugLoc DL = MBBI->getDebugLoc(); 7140b57cec5SDimitry Andric uint64_t Offset = StackSize + MBBI->getOperand(AddrOpNo + 1).getImm(); 7150b57cec5SDimitry Andric unsigned NewOpcode = ZII->getOpcodeForOffset(Opcode, Offset); 7160b57cec5SDimitry Andric 7170b57cec5SDimitry Andric // If the offset is too large, use the largest stack-aligned offset 7180b57cec5SDimitry Andric // and add the rest to the base register (the stack or frame pointer). 7190b57cec5SDimitry Andric if (!NewOpcode) { 7200b57cec5SDimitry Andric uint64_t NumBytes = Offset - 0x7fff8; 7210b57cec5SDimitry Andric emitIncrement(MBB, MBBI, DL, MBBI->getOperand(AddrOpNo).getReg(), 7220b57cec5SDimitry Andric NumBytes, ZII); 7230b57cec5SDimitry Andric Offset -= NumBytes; 7240b57cec5SDimitry Andric NewOpcode = ZII->getOpcodeForOffset(Opcode, Offset); 7250b57cec5SDimitry Andric assert(NewOpcode && "No restore instruction available"); 7260b57cec5SDimitry Andric } 7270b57cec5SDimitry Andric 7280b57cec5SDimitry Andric MBBI->setDesc(ZII->get(NewOpcode)); 7290b57cec5SDimitry Andric MBBI->getOperand(AddrOpNo + 1).ChangeToImmediate(Offset); 7300b57cec5SDimitry Andric } else if (StackSize) { 7310b57cec5SDimitry Andric DebugLoc DL = MBBI->getDebugLoc(); 7320b57cec5SDimitry Andric emitIncrement(MBB, MBBI, DL, SystemZ::R15D, StackSize, ZII); 7330b57cec5SDimitry Andric } 7340b57cec5SDimitry Andric } 7350b57cec5SDimitry Andric 736349cc55cSDimitry Andric void SystemZELFFrameLowering::inlineStackProbe( 737349cc55cSDimitry Andric MachineFunction &MF, MachineBasicBlock &PrologMBB) const { 7385ffd83dbSDimitry Andric auto *ZII = 7395ffd83dbSDimitry Andric static_cast<const SystemZInstrInfo *>(MF.getSubtarget().getInstrInfo()); 7405ffd83dbSDimitry Andric const SystemZSubtarget &STI = MF.getSubtarget<SystemZSubtarget>(); 7415ffd83dbSDimitry Andric const SystemZTargetLowering &TLI = *STI.getTargetLowering(); 7425ffd83dbSDimitry Andric 7435ffd83dbSDimitry Andric MachineInstr *StackAllocMI = nullptr; 7445ffd83dbSDimitry Andric for (MachineInstr &MI : PrologMBB) 7455ffd83dbSDimitry Andric if (MI.getOpcode() == SystemZ::PROBED_STACKALLOC) { 7465ffd83dbSDimitry Andric StackAllocMI = &MI; 7475ffd83dbSDimitry Andric break; 7485ffd83dbSDimitry Andric } 7495ffd83dbSDimitry Andric if (StackAllocMI == nullptr) 7505ffd83dbSDimitry Andric return; 7515ffd83dbSDimitry Andric uint64_t StackSize = StackAllocMI->getOperand(0).getImm(); 7525ffd83dbSDimitry Andric const unsigned ProbeSize = TLI.getStackProbeSize(MF); 7535ffd83dbSDimitry Andric uint64_t NumFullBlocks = StackSize / ProbeSize; 7545ffd83dbSDimitry Andric uint64_t Residual = StackSize % ProbeSize; 755fe6060f1SDimitry Andric int64_t SPOffsetFromCFA = -SystemZMC::ELFCFAOffsetFromInitialSP; 7565ffd83dbSDimitry Andric MachineBasicBlock *MBB = &PrologMBB; 7575ffd83dbSDimitry Andric MachineBasicBlock::iterator MBBI = StackAllocMI; 7585ffd83dbSDimitry Andric const DebugLoc DL = StackAllocMI->getDebugLoc(); 7595ffd83dbSDimitry Andric 7605ffd83dbSDimitry Andric // Allocate a block of Size bytes on the stack and probe it. 7615ffd83dbSDimitry Andric auto allocateAndProbe = [&](MachineBasicBlock &InsMBB, 7625ffd83dbSDimitry Andric MachineBasicBlock::iterator InsPt, unsigned Size, 7635ffd83dbSDimitry Andric bool EmitCFI) -> void { 7645ffd83dbSDimitry Andric emitIncrement(InsMBB, InsPt, DL, SystemZ::R15D, -int64_t(Size), ZII); 7655ffd83dbSDimitry Andric if (EmitCFI) { 7665ffd83dbSDimitry Andric SPOffsetFromCFA -= Size; 7675ffd83dbSDimitry Andric buildCFAOffs(InsMBB, InsPt, DL, SPOffsetFromCFA, ZII); 7685ffd83dbSDimitry Andric } 7695ffd83dbSDimitry Andric // Probe by means of a volatile compare. 7705ffd83dbSDimitry Andric MachineMemOperand *MMO = MF.getMachineMemOperand(MachinePointerInfo(), 7715ffd83dbSDimitry Andric MachineMemOperand::MOVolatile | MachineMemOperand::MOLoad, 8, Align(1)); 7725ffd83dbSDimitry Andric BuildMI(InsMBB, InsPt, DL, ZII->get(SystemZ::CG)) 7735ffd83dbSDimitry Andric .addReg(SystemZ::R0D, RegState::Undef) 7745ffd83dbSDimitry Andric .addReg(SystemZ::R15D).addImm(Size - 8).addReg(0) 7755ffd83dbSDimitry Andric .addMemOperand(MMO); 7765ffd83dbSDimitry Andric }; 7775ffd83dbSDimitry Andric 7785f757f3fSDimitry Andric bool StoreBackchain = MF.getSubtarget<SystemZSubtarget>().hasBackChain(); 779e8d8bef9SDimitry Andric if (StoreBackchain) 780e8d8bef9SDimitry Andric BuildMI(*MBB, MBBI, DL, ZII->get(SystemZ::LGR)) 781e8d8bef9SDimitry Andric .addReg(SystemZ::R1D, RegState::Define).addReg(SystemZ::R15D); 782e8d8bef9SDimitry Andric 783e8d8bef9SDimitry Andric MachineBasicBlock *DoneMBB = nullptr; 784e8d8bef9SDimitry Andric MachineBasicBlock *LoopMBB = nullptr; 7855ffd83dbSDimitry Andric if (NumFullBlocks < 3) { 7865ffd83dbSDimitry Andric // Emit unrolled probe statements. 7875ffd83dbSDimitry Andric for (unsigned int i = 0; i < NumFullBlocks; i++) 7885ffd83dbSDimitry Andric allocateAndProbe(*MBB, MBBI, ProbeSize, true/*EmitCFI*/); 7895ffd83dbSDimitry Andric } else { 7905ffd83dbSDimitry Andric // Emit a loop probing the pages. 7915ffd83dbSDimitry Andric uint64_t LoopAlloc = ProbeSize * NumFullBlocks; 7925ffd83dbSDimitry Andric SPOffsetFromCFA -= LoopAlloc; 7935ffd83dbSDimitry Andric 794e8d8bef9SDimitry Andric // Use R0D to hold the exit value. 795e8d8bef9SDimitry Andric BuildMI(*MBB, MBBI, DL, ZII->get(SystemZ::LGR), SystemZ::R0D) 7965ffd83dbSDimitry Andric .addReg(SystemZ::R15D); 797e8d8bef9SDimitry Andric buildDefCFAReg(*MBB, MBBI, DL, SystemZ::R0D, ZII); 798e8d8bef9SDimitry Andric emitIncrement(*MBB, MBBI, DL, SystemZ::R0D, -int64_t(LoopAlloc), ZII); 799fe6060f1SDimitry Andric buildCFAOffs(*MBB, MBBI, DL, -int64_t(SystemZMC::ELFCallFrameSize + LoopAlloc), 8005ffd83dbSDimitry Andric ZII); 8015ffd83dbSDimitry Andric 802e8d8bef9SDimitry Andric DoneMBB = SystemZ::splitBlockBefore(MBBI, MBB); 803e8d8bef9SDimitry Andric LoopMBB = SystemZ::emitBlockAfter(MBB); 8045ffd83dbSDimitry Andric MBB->addSuccessor(LoopMBB); 8055ffd83dbSDimitry Andric LoopMBB->addSuccessor(LoopMBB); 8065ffd83dbSDimitry Andric LoopMBB->addSuccessor(DoneMBB); 8075ffd83dbSDimitry Andric 8085ffd83dbSDimitry Andric MBB = LoopMBB; 8095ffd83dbSDimitry Andric allocateAndProbe(*MBB, MBB->end(), ProbeSize, false/*EmitCFI*/); 8105ffd83dbSDimitry Andric BuildMI(*MBB, MBB->end(), DL, ZII->get(SystemZ::CLGR)) 811e8d8bef9SDimitry Andric .addReg(SystemZ::R15D).addReg(SystemZ::R0D); 8125ffd83dbSDimitry Andric BuildMI(*MBB, MBB->end(), DL, ZII->get(SystemZ::BRC)) 8135ffd83dbSDimitry Andric .addImm(SystemZ::CCMASK_ICMP).addImm(SystemZ::CCMASK_CMP_GT).addMBB(MBB); 8145ffd83dbSDimitry Andric 8155ffd83dbSDimitry Andric MBB = DoneMBB; 8165ffd83dbSDimitry Andric MBBI = DoneMBB->begin(); 8175ffd83dbSDimitry Andric buildDefCFAReg(*MBB, MBBI, DL, SystemZ::R15D, ZII); 8185ffd83dbSDimitry Andric } 8195ffd83dbSDimitry Andric 8205ffd83dbSDimitry Andric if (Residual) 8215ffd83dbSDimitry Andric allocateAndProbe(*MBB, MBBI, Residual, true/*EmitCFI*/); 8225ffd83dbSDimitry Andric 823e8d8bef9SDimitry Andric if (StoreBackchain) 824e8d8bef9SDimitry Andric BuildMI(*MBB, MBBI, DL, ZII->get(SystemZ::STG)) 825e8d8bef9SDimitry Andric .addReg(SystemZ::R1D, RegState::Kill).addReg(SystemZ::R15D) 826e8d8bef9SDimitry Andric .addImm(getBackchainOffset(MF)).addReg(0); 827e8d8bef9SDimitry Andric 8285ffd83dbSDimitry Andric StackAllocMI->eraseFromParent(); 829e8d8bef9SDimitry Andric if (DoneMBB != nullptr) { 830e8d8bef9SDimitry Andric // Compute the live-in lists for the new blocks. 831*0fca6ea1SDimitry Andric fullyRecomputeLiveIns({DoneMBB, LoopMBB}); 832e8d8bef9SDimitry Andric } 8335ffd83dbSDimitry Andric } 8345ffd83dbSDimitry Andric 835349cc55cSDimitry Andric bool SystemZELFFrameLowering::hasFP(const MachineFunction &MF) const { 8360b57cec5SDimitry Andric return (MF.getTarget().Options.DisableFramePointerElim(MF) || 83704eeddc0SDimitry Andric MF.getFrameInfo().hasVarSizedObjects()); 8380b57cec5SDimitry Andric } 8390b57cec5SDimitry Andric 840349cc55cSDimitry Andric StackOffset SystemZELFFrameLowering::getFrameIndexReference( 841349cc55cSDimitry Andric const MachineFunction &MF, int FI, Register &FrameReg) const { 842fe6060f1SDimitry Andric // Our incoming SP is actually SystemZMC::ELFCallFrameSize below the CFA, so 843480093f4SDimitry Andric // add that difference here. 844e8d8bef9SDimitry Andric StackOffset Offset = 845480093f4SDimitry Andric TargetFrameLowering::getFrameIndexReference(MF, FI, FrameReg); 846fe6060f1SDimitry Andric return Offset + StackOffset::getFixed(SystemZMC::ELFCallFrameSize); 847480093f4SDimitry Andric } 848480093f4SDimitry Andric 849349cc55cSDimitry Andric unsigned SystemZELFFrameLowering::getRegSpillOffset(MachineFunction &MF, 8505ffd83dbSDimitry Andric Register Reg) const { 8515ffd83dbSDimitry Andric bool IsVarArg = MF.getFunction().isVarArg(); 8525f757f3fSDimitry Andric const SystemZSubtarget &Subtarget = MF.getSubtarget<SystemZSubtarget>(); 8535f757f3fSDimitry Andric bool BackChain = Subtarget.hasBackChain(); 8545f757f3fSDimitry Andric bool SoftFloat = Subtarget.hasSoftFloat(); 8555ffd83dbSDimitry Andric unsigned Offset = RegSpillOffsets[Reg]; 8565ffd83dbSDimitry Andric if (usePackedStack(MF) && !(IsVarArg && !SoftFloat)) { 8575ffd83dbSDimitry Andric if (SystemZ::GR64BitRegClass.contains(Reg)) 8585ffd83dbSDimitry Andric // Put all GPRs at the top of the Register save area with packed 8595ffd83dbSDimitry Andric // stack. Make room for the backchain if needed. 8605ffd83dbSDimitry Andric Offset += BackChain ? 24 : 32; 8615ffd83dbSDimitry Andric else 8625ffd83dbSDimitry Andric Offset = 0; 8635ffd83dbSDimitry Andric } 8645ffd83dbSDimitry Andric return Offset; 8655ffd83dbSDimitry Andric } 8665ffd83dbSDimitry Andric 867349cc55cSDimitry Andric int SystemZELFFrameLowering::getOrCreateFramePointerSaveIndex( 868349cc55cSDimitry Andric MachineFunction &MF) const { 869480093f4SDimitry Andric SystemZMachineFunctionInfo *ZFI = MF.getInfo<SystemZMachineFunctionInfo>(); 870480093f4SDimitry Andric int FI = ZFI->getFramePointerSaveIndex(); 871480093f4SDimitry Andric if (!FI) { 872480093f4SDimitry Andric MachineFrameInfo &MFFrame = MF.getFrameInfo(); 873fe6060f1SDimitry Andric int Offset = getBackchainOffset(MF) - SystemZMC::ELFCallFrameSize; 874*0fca6ea1SDimitry Andric FI = MFFrame.CreateFixedObject(getPointerSize(), Offset, false); 875480093f4SDimitry Andric ZFI->setFramePointerSaveIndex(FI); 876480093f4SDimitry Andric } 877480093f4SDimitry Andric return FI; 878480093f4SDimitry Andric } 8795ffd83dbSDimitry Andric 880349cc55cSDimitry Andric bool SystemZELFFrameLowering::usePackedStack(MachineFunction &MF) const { 8815ffd83dbSDimitry Andric bool HasPackedStackAttr = MF.getFunction().hasFnAttribute("packed-stack"); 8825f757f3fSDimitry Andric const SystemZSubtarget &Subtarget = MF.getSubtarget<SystemZSubtarget>(); 8835f757f3fSDimitry Andric bool BackChain = Subtarget.hasBackChain(); 8845f757f3fSDimitry Andric bool SoftFloat = Subtarget.hasSoftFloat(); 8855ffd83dbSDimitry Andric if (HasPackedStackAttr && BackChain && !SoftFloat) 8865ffd83dbSDimitry Andric report_fatal_error("packed-stack + backchain + hard-float is unsupported."); 8875ffd83dbSDimitry Andric bool CallConv = MF.getFunction().getCallingConv() != CallingConv::GHC; 8885ffd83dbSDimitry Andric return HasPackedStackAttr && CallConv; 8895ffd83dbSDimitry Andric } 890349cc55cSDimitry Andric 891*0fca6ea1SDimitry Andric SystemZXPLINKFrameLowering::SystemZXPLINKFrameLowering(unsigned PointerSize) 8920eae32dcSDimitry Andric : SystemZFrameLowering(TargetFrameLowering::StackGrowsDown, Align(32), 0, 893*0fca6ea1SDimitry Andric Align(32), /* StackRealignable */ false, 894*0fca6ea1SDimitry Andric PointerSize), 895349cc55cSDimitry Andric RegSpillOffsets(-1) { 896349cc55cSDimitry Andric 897349cc55cSDimitry Andric // Create a mapping from register number to save slot offset. 898349cc55cSDimitry Andric // These offsets are relative to the start of the local are area. 899349cc55cSDimitry Andric RegSpillOffsets.grow(SystemZ::NUM_TARGET_REGS); 900bdd1243dSDimitry Andric for (const auto &Entry : XPLINKSpillOffsetTable) 901bdd1243dSDimitry Andric RegSpillOffsets[Entry.Reg] = Entry.Offset; 902349cc55cSDimitry Andric } 903349cc55cSDimitry Andric 904*0fca6ea1SDimitry Andric int SystemZXPLINKFrameLowering::getOrCreateFramePointerSaveIndex( 905*0fca6ea1SDimitry Andric MachineFunction &MF) const { 906*0fca6ea1SDimitry Andric SystemZMachineFunctionInfo *ZFI = MF.getInfo<SystemZMachineFunctionInfo>(); 907*0fca6ea1SDimitry Andric int FI = ZFI->getFramePointerSaveIndex(); 908*0fca6ea1SDimitry Andric if (!FI) { 909*0fca6ea1SDimitry Andric MachineFrameInfo &MFFrame = MF.getFrameInfo(); 910*0fca6ea1SDimitry Andric FI = MFFrame.CreateFixedObject(getPointerSize(), 0, false); 911*0fca6ea1SDimitry Andric MFFrame.setStackID(FI, TargetStackID::NoAlloc); 912*0fca6ea1SDimitry Andric ZFI->setFramePointerSaveIndex(FI); 913*0fca6ea1SDimitry Andric } 914*0fca6ea1SDimitry Andric return FI; 915*0fca6ea1SDimitry Andric } 916*0fca6ea1SDimitry Andric 917fcaf7f86SDimitry Andric // Checks if the function is a potential candidate for being a XPLeaf routine. 918fcaf7f86SDimitry Andric static bool isXPLeafCandidate(const MachineFunction &MF) { 919fcaf7f86SDimitry Andric const MachineFrameInfo &MFFrame = MF.getFrameInfo(); 920fcaf7f86SDimitry Andric const MachineRegisterInfo &MRI = MF.getRegInfo(); 921fcaf7f86SDimitry Andric const SystemZSubtarget &Subtarget = MF.getSubtarget<SystemZSubtarget>(); 922fcaf7f86SDimitry Andric auto *Regs = 923fcaf7f86SDimitry Andric static_cast<SystemZXPLINK64Registers *>(Subtarget.getSpecialRegisters()); 924fcaf7f86SDimitry Andric 925fcaf7f86SDimitry Andric // If function calls other functions including alloca, then it is not a XPLeaf 926fcaf7f86SDimitry Andric // routine. 927fcaf7f86SDimitry Andric if (MFFrame.hasCalls()) 928fcaf7f86SDimitry Andric return false; 929fcaf7f86SDimitry Andric 930fcaf7f86SDimitry Andric // If the function has var Sized Objects, then it is not a XPLeaf routine. 931fcaf7f86SDimitry Andric if (MFFrame.hasVarSizedObjects()) 932fcaf7f86SDimitry Andric return false; 933fcaf7f86SDimitry Andric 934fcaf7f86SDimitry Andric // If the function adjusts the stack, then it is not a XPLeaf routine. 935fcaf7f86SDimitry Andric if (MFFrame.adjustsStack()) 936fcaf7f86SDimitry Andric return false; 937fcaf7f86SDimitry Andric 938fcaf7f86SDimitry Andric // If function modifies the stack pointer register, then it is not a XPLeaf 939fcaf7f86SDimitry Andric // routine. 940fcaf7f86SDimitry Andric if (MRI.isPhysRegModified(Regs->getStackPointerRegister())) 941fcaf7f86SDimitry Andric return false; 942fcaf7f86SDimitry Andric 943fcaf7f86SDimitry Andric // If function modifies the ADA register, then it is not a XPLeaf routine. 944fcaf7f86SDimitry Andric if (MRI.isPhysRegModified(Regs->getAddressOfCalleeRegister())) 945fcaf7f86SDimitry Andric return false; 946fcaf7f86SDimitry Andric 947fcaf7f86SDimitry Andric // If function modifies the return address register, then it is not a XPLeaf 948fcaf7f86SDimitry Andric // routine. 949fcaf7f86SDimitry Andric if (MRI.isPhysRegModified(Regs->getReturnFunctionAddressRegister())) 950fcaf7f86SDimitry Andric return false; 951fcaf7f86SDimitry Andric 952fcaf7f86SDimitry Andric // If the backchain pointer should be stored, then it is not a XPLeaf routine. 9535f757f3fSDimitry Andric if (MF.getSubtarget<SystemZSubtarget>().hasBackChain()) 954fcaf7f86SDimitry Andric return false; 955fcaf7f86SDimitry Andric 956fcaf7f86SDimitry Andric // If function acquires its own stack frame, then it is not a XPLeaf routine. 957fcaf7f86SDimitry Andric // At the time this function is called, only slots for local variables are 958fcaf7f86SDimitry Andric // allocated, so this is a very rough estimate. 959fcaf7f86SDimitry Andric if (MFFrame.estimateStackSize(MF) > 0) 960fcaf7f86SDimitry Andric return false; 961fcaf7f86SDimitry Andric 962fcaf7f86SDimitry Andric return true; 963fcaf7f86SDimitry Andric } 964fcaf7f86SDimitry Andric 965349cc55cSDimitry Andric bool SystemZXPLINKFrameLowering::assignCalleeSavedSpillSlots( 966349cc55cSDimitry Andric MachineFunction &MF, const TargetRegisterInfo *TRI, 967349cc55cSDimitry Andric std::vector<CalleeSavedInfo> &CSI) const { 968349cc55cSDimitry Andric MachineFrameInfo &MFFrame = MF.getFrameInfo(); 969349cc55cSDimitry Andric SystemZMachineFunctionInfo *MFI = MF.getInfo<SystemZMachineFunctionInfo>(); 970349cc55cSDimitry Andric const SystemZSubtarget &Subtarget = MF.getSubtarget<SystemZSubtarget>(); 971349cc55cSDimitry Andric auto &Regs = Subtarget.getSpecialRegisters<SystemZXPLINK64Registers>(); 972753f127fSDimitry Andric auto &GRRegClass = SystemZ::GR64BitRegClass; 973753f127fSDimitry Andric 974fcaf7f86SDimitry Andric // At this point, the result of isXPLeafCandidate() is not accurate because 975fcaf7f86SDimitry Andric // the size of the save area has not yet been determined. If 976fcaf7f86SDimitry Andric // isXPLeafCandidate() indicates a potential leaf function, and there are no 977fcaf7f86SDimitry Andric // callee-save registers, then it is indeed a leaf function, and we can early 978fcaf7f86SDimitry Andric // exit. 979fcaf7f86SDimitry Andric // TODO: It is possible for leaf functions to use callee-saved registers. 980fcaf7f86SDimitry Andric // It can use the 0-2k range between R4 and the caller's stack frame without 981fcaf7f86SDimitry Andric // acquiring its own stack frame. 982fcaf7f86SDimitry Andric bool IsLeaf = CSI.empty() && isXPLeafCandidate(MF); 983fcaf7f86SDimitry Andric if (IsLeaf) 984fcaf7f86SDimitry Andric return true; 985fcaf7f86SDimitry Andric 986753f127fSDimitry Andric // For non-leaf functions: 987753f127fSDimitry Andric // - the address of callee (entry point) register R6 must be saved 988753f127fSDimitry Andric CSI.push_back(CalleeSavedInfo(Regs.getAddressOfCalleeRegister())); 989753f127fSDimitry Andric CSI.back().setRestored(false); 990753f127fSDimitry Andric 991753f127fSDimitry Andric // The return address register R7 must be saved and restored. 992753f127fSDimitry Andric CSI.push_back(CalleeSavedInfo(Regs.getReturnFunctionAddressRegister())); 993753f127fSDimitry Andric 994753f127fSDimitry Andric // If the function needs a frame pointer, or if the backchain pointer should 995753f127fSDimitry Andric // be stored, then save the stack pointer register R4. 9965f757f3fSDimitry Andric if (hasFP(MF) || Subtarget.hasBackChain()) 997753f127fSDimitry Andric CSI.push_back(CalleeSavedInfo(Regs.getStackPointerRegister())); 998349cc55cSDimitry Andric 999cb14a3feSDimitry Andric // If this function has an associated personality function then the 1000cb14a3feSDimitry Andric // environment register R5 must be saved in the DSA. 1001cb14a3feSDimitry Andric if (!MF.getLandingPads().empty()) 1002cb14a3feSDimitry Andric CSI.push_back(CalleeSavedInfo(Regs.getADARegister())); 1003cb14a3feSDimitry Andric 1004349cc55cSDimitry Andric // Scan the call-saved GPRs and find the bounds of the register spill area. 1005753f127fSDimitry Andric Register LowRestoreGPR = 0; 1006753f127fSDimitry Andric int LowRestoreOffset = INT32_MAX; 1007753f127fSDimitry Andric Register LowSpillGPR = 0; 1008753f127fSDimitry Andric int LowSpillOffset = INT32_MAX; 1009753f127fSDimitry Andric Register HighGPR = 0; 1010349cc55cSDimitry Andric int HighOffset = -1; 1011349cc55cSDimitry Andric 1012*0fca6ea1SDimitry Andric // Query index of the saved frame pointer. 1013*0fca6ea1SDimitry Andric int FPSI = MFI->getFramePointerSaveIndex(); 1014*0fca6ea1SDimitry Andric 1015753f127fSDimitry Andric for (auto &CS : CSI) { 101604eeddc0SDimitry Andric Register Reg = CS.getReg(); 1017349cc55cSDimitry Andric int Offset = RegSpillOffsets[Reg]; 1018349cc55cSDimitry Andric if (Offset >= 0) { 1019349cc55cSDimitry Andric if (GRRegClass.contains(Reg)) { 1020753f127fSDimitry Andric if (LowSpillOffset > Offset) { 1021753f127fSDimitry Andric LowSpillOffset = Offset; 1022753f127fSDimitry Andric LowSpillGPR = Reg; 1023753f127fSDimitry Andric } 1024753f127fSDimitry Andric if (CS.isRestored() && LowRestoreOffset > Offset) { 1025753f127fSDimitry Andric LowRestoreOffset = Offset; 1026753f127fSDimitry Andric LowRestoreGPR = Reg; 1027349cc55cSDimitry Andric } 1028349cc55cSDimitry Andric 1029349cc55cSDimitry Andric if (Offset > HighOffset) { 1030349cc55cSDimitry Andric HighOffset = Offset; 1031349cc55cSDimitry Andric HighGPR = Reg; 1032349cc55cSDimitry Andric } 1033753f127fSDimitry Andric // Non-volatile GPRs are saved in the dedicated register save area at 1034753f127fSDimitry Andric // the bottom of the stack and are not truly part of the "normal" stack 1035753f127fSDimitry Andric // frame. Mark the frame index as NoAlloc to indicate it as such. 1036*0fca6ea1SDimitry Andric unsigned RegSize = getPointerSize(); 1037*0fca6ea1SDimitry Andric int FrameIdx = 1038*0fca6ea1SDimitry Andric (FPSI && Offset == 0) 1039*0fca6ea1SDimitry Andric ? FPSI 1040*0fca6ea1SDimitry Andric : MFFrame.CreateFixedSpillStackObject(RegSize, Offset); 1041349cc55cSDimitry Andric CS.setFrameIdx(FrameIdx); 1042753f127fSDimitry Andric MFFrame.setStackID(FrameIdx, TargetStackID::NoAlloc); 1043349cc55cSDimitry Andric } 1044753f127fSDimitry Andric } else { 104504eeddc0SDimitry Andric Register Reg = CS.getReg(); 1046349cc55cSDimitry Andric const TargetRegisterClass *RC = TRI->getMinimalPhysRegClass(Reg); 1047349cc55cSDimitry Andric Align Alignment = TRI->getSpillAlign(*RC); 1048349cc55cSDimitry Andric unsigned Size = TRI->getSpillSize(*RC); 1049349cc55cSDimitry Andric Alignment = std::min(Alignment, getStackAlign()); 1050349cc55cSDimitry Andric int FrameIdx = MFFrame.CreateStackObject(Size, Alignment, true); 1051349cc55cSDimitry Andric CS.setFrameIdx(FrameIdx); 1052349cc55cSDimitry Andric } 1053753f127fSDimitry Andric } 1054753f127fSDimitry Andric 1055753f127fSDimitry Andric // Save the range of call-saved registers, for use by the 1056753f127fSDimitry Andric // prologue/epilogue inserters. 1057753f127fSDimitry Andric if (LowRestoreGPR) 1058753f127fSDimitry Andric MFI->setRestoreGPRRegs(LowRestoreGPR, HighGPR, LowRestoreOffset); 1059753f127fSDimitry Andric 1060753f127fSDimitry Andric // Save the range of call-saved registers, for use by the epilogue inserter. 1061753f127fSDimitry Andric assert(LowSpillGPR && "Expected registers to spill"); 1062753f127fSDimitry Andric MFI->setSpillGPRRegs(LowSpillGPR, HighGPR, LowSpillOffset); 1063349cc55cSDimitry Andric 1064349cc55cSDimitry Andric return true; 1065349cc55cSDimitry Andric } 1066349cc55cSDimitry Andric 1067349cc55cSDimitry Andric void SystemZXPLINKFrameLowering::determineCalleeSaves(MachineFunction &MF, 1068349cc55cSDimitry Andric BitVector &SavedRegs, 1069349cc55cSDimitry Andric RegScavenger *RS) const { 1070349cc55cSDimitry Andric TargetFrameLowering::determineCalleeSaves(MF, SavedRegs, RS); 1071349cc55cSDimitry Andric 1072349cc55cSDimitry Andric bool HasFP = hasFP(MF); 1073349cc55cSDimitry Andric const SystemZSubtarget &Subtarget = MF.getSubtarget<SystemZSubtarget>(); 1074349cc55cSDimitry Andric auto &Regs = Subtarget.getSpecialRegisters<SystemZXPLINK64Registers>(); 1075349cc55cSDimitry Andric 1076349cc55cSDimitry Andric // If the function requires a frame pointer, record that the hard 1077349cc55cSDimitry Andric // frame pointer will be clobbered. 1078349cc55cSDimitry Andric if (HasFP) 1079349cc55cSDimitry Andric SavedRegs.set(Regs.getFramePointerRegister()); 1080349cc55cSDimitry Andric } 1081349cc55cSDimitry Andric 1082349cc55cSDimitry Andric bool SystemZXPLINKFrameLowering::spillCalleeSavedRegisters( 1083349cc55cSDimitry Andric MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, 1084349cc55cSDimitry Andric ArrayRef<CalleeSavedInfo> CSI, const TargetRegisterInfo *TRI) const { 1085349cc55cSDimitry Andric if (CSI.empty()) 1086349cc55cSDimitry Andric return true; 1087349cc55cSDimitry Andric 1088349cc55cSDimitry Andric MachineFunction &MF = *MBB.getParent(); 1089349cc55cSDimitry Andric SystemZMachineFunctionInfo *ZFI = MF.getInfo<SystemZMachineFunctionInfo>(); 1090349cc55cSDimitry Andric const SystemZSubtarget &Subtarget = MF.getSubtarget<SystemZSubtarget>(); 1091349cc55cSDimitry Andric const TargetInstrInfo *TII = Subtarget.getInstrInfo(); 1092349cc55cSDimitry Andric auto &Regs = Subtarget.getSpecialRegisters<SystemZXPLINK64Registers>(); 1093349cc55cSDimitry Andric SystemZ::GPRRegs SpillGPRs = ZFI->getSpillGPRRegs(); 1094349cc55cSDimitry Andric DebugLoc DL; 1095349cc55cSDimitry Andric 1096349cc55cSDimitry Andric // Save GPRs 1097349cc55cSDimitry Andric if (SpillGPRs.LowGPR) { 1098349cc55cSDimitry Andric assert(SpillGPRs.LowGPR != SpillGPRs.HighGPR && 1099349cc55cSDimitry Andric "Should be saving multiple registers"); 1100349cc55cSDimitry Andric 1101349cc55cSDimitry Andric // Build an STM/STMG instruction. 1102349cc55cSDimitry Andric MachineInstrBuilder MIB = BuildMI(MBB, MBBI, DL, TII->get(SystemZ::STMG)); 1103349cc55cSDimitry Andric 1104349cc55cSDimitry Andric // Add the explicit register operands. 1105349cc55cSDimitry Andric addSavedGPR(MBB, MIB, SpillGPRs.LowGPR, false); 1106349cc55cSDimitry Andric addSavedGPR(MBB, MIB, SpillGPRs.HighGPR, false); 1107349cc55cSDimitry Andric 1108349cc55cSDimitry Andric // Add the address r4 1109349cc55cSDimitry Andric MIB.addReg(Regs.getStackPointerRegister()); 1110349cc55cSDimitry Andric 1111349cc55cSDimitry Andric // Add the partial offset 1112349cc55cSDimitry Andric // We cannot add the actual offset as, at the stack is not finalized 1113349cc55cSDimitry Andric MIB.addImm(SpillGPRs.GPROffset); 1114349cc55cSDimitry Andric 1115349cc55cSDimitry Andric // Make sure all call-saved GPRs are included as operands and are 1116349cc55cSDimitry Andric // marked as live on entry. 1117349cc55cSDimitry Andric auto &GRRegClass = SystemZ::GR64BitRegClass; 11184824e7fdSDimitry Andric for (const CalleeSavedInfo &I : CSI) { 111904eeddc0SDimitry Andric Register Reg = I.getReg(); 1120349cc55cSDimitry Andric if (GRRegClass.contains(Reg)) 1121349cc55cSDimitry Andric addSavedGPR(MBB, MIB, Reg, true); 1122349cc55cSDimitry Andric } 1123349cc55cSDimitry Andric } 1124349cc55cSDimitry Andric 1125349cc55cSDimitry Andric // Spill FPRs to the stack in the normal TargetInstrInfo way 11264824e7fdSDimitry Andric for (const CalleeSavedInfo &I : CSI) { 112704eeddc0SDimitry Andric Register Reg = I.getReg(); 1128349cc55cSDimitry Andric if (SystemZ::FP64BitRegClass.contains(Reg)) { 1129349cc55cSDimitry Andric MBB.addLiveIn(Reg); 11304824e7fdSDimitry Andric TII->storeRegToStackSlot(MBB, MBBI, Reg, true, I.getFrameIdx(), 1131bdd1243dSDimitry Andric &SystemZ::FP64BitRegClass, TRI, Register()); 1132349cc55cSDimitry Andric } 1133349cc55cSDimitry Andric if (SystemZ::VR128BitRegClass.contains(Reg)) { 1134349cc55cSDimitry Andric MBB.addLiveIn(Reg); 11354824e7fdSDimitry Andric TII->storeRegToStackSlot(MBB, MBBI, Reg, true, I.getFrameIdx(), 1136bdd1243dSDimitry Andric &SystemZ::VR128BitRegClass, TRI, Register()); 1137349cc55cSDimitry Andric } 1138349cc55cSDimitry Andric } 1139349cc55cSDimitry Andric 1140349cc55cSDimitry Andric return true; 1141349cc55cSDimitry Andric } 1142349cc55cSDimitry Andric 11430eae32dcSDimitry Andric bool SystemZXPLINKFrameLowering::restoreCalleeSavedRegisters( 11440eae32dcSDimitry Andric MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, 11450eae32dcSDimitry Andric MutableArrayRef<CalleeSavedInfo> CSI, const TargetRegisterInfo *TRI) const { 11460eae32dcSDimitry Andric 11470eae32dcSDimitry Andric if (CSI.empty()) 11480eae32dcSDimitry Andric return false; 11490eae32dcSDimitry Andric 11500eae32dcSDimitry Andric MachineFunction &MF = *MBB.getParent(); 11510eae32dcSDimitry Andric SystemZMachineFunctionInfo *ZFI = MF.getInfo<SystemZMachineFunctionInfo>(); 11520eae32dcSDimitry Andric const SystemZSubtarget &Subtarget = MF.getSubtarget<SystemZSubtarget>(); 11530eae32dcSDimitry Andric const TargetInstrInfo *TII = Subtarget.getInstrInfo(); 11540eae32dcSDimitry Andric auto &Regs = Subtarget.getSpecialRegisters<SystemZXPLINK64Registers>(); 11550eae32dcSDimitry Andric 11560eae32dcSDimitry Andric DebugLoc DL = MBBI != MBB.end() ? MBBI->getDebugLoc() : DebugLoc(); 11570eae32dcSDimitry Andric 11580eae32dcSDimitry Andric // Restore FPRs in the normal TargetInstrInfo way. 1159bdd1243dSDimitry Andric for (const CalleeSavedInfo &I : CSI) { 1160bdd1243dSDimitry Andric Register Reg = I.getReg(); 11610eae32dcSDimitry Andric if (SystemZ::FP64BitRegClass.contains(Reg)) 1162bdd1243dSDimitry Andric TII->loadRegFromStackSlot(MBB, MBBI, Reg, I.getFrameIdx(), 1163bdd1243dSDimitry Andric &SystemZ::FP64BitRegClass, TRI, Register()); 11640eae32dcSDimitry Andric if (SystemZ::VR128BitRegClass.contains(Reg)) 1165bdd1243dSDimitry Andric TII->loadRegFromStackSlot(MBB, MBBI, Reg, I.getFrameIdx(), 1166bdd1243dSDimitry Andric &SystemZ::VR128BitRegClass, TRI, Register()); 11670eae32dcSDimitry Andric } 11680eae32dcSDimitry Andric 11690eae32dcSDimitry Andric // Restore call-saved GPRs (but not call-clobbered varargs, which at 11700eae32dcSDimitry Andric // this point might hold return values). 11710eae32dcSDimitry Andric SystemZ::GPRRegs RestoreGPRs = ZFI->getRestoreGPRRegs(); 11720eae32dcSDimitry Andric if (RestoreGPRs.LowGPR) { 11730eae32dcSDimitry Andric assert(isInt<20>(Regs.getStackPointerBias() + RestoreGPRs.GPROffset)); 11740eae32dcSDimitry Andric if (RestoreGPRs.LowGPR == RestoreGPRs.HighGPR) 11750eae32dcSDimitry Andric // Build an LG/L instruction. 11760eae32dcSDimitry Andric BuildMI(MBB, MBBI, DL, TII->get(SystemZ::LG), RestoreGPRs.LowGPR) 11770eae32dcSDimitry Andric .addReg(Regs.getStackPointerRegister()) 11780eae32dcSDimitry Andric .addImm(Regs.getStackPointerBias() + RestoreGPRs.GPROffset) 11790eae32dcSDimitry Andric .addReg(0); 11800eae32dcSDimitry Andric else { 11810eae32dcSDimitry Andric // Build an LMG/LM instruction. 11820eae32dcSDimitry Andric MachineInstrBuilder MIB = BuildMI(MBB, MBBI, DL, TII->get(SystemZ::LMG)); 11830eae32dcSDimitry Andric 11840eae32dcSDimitry Andric // Add the explicit register operands. 11850eae32dcSDimitry Andric MIB.addReg(RestoreGPRs.LowGPR, RegState::Define); 11860eae32dcSDimitry Andric MIB.addReg(RestoreGPRs.HighGPR, RegState::Define); 11870eae32dcSDimitry Andric 11880eae32dcSDimitry Andric // Add the address. 11890eae32dcSDimitry Andric MIB.addReg(Regs.getStackPointerRegister()); 11900eae32dcSDimitry Andric MIB.addImm(Regs.getStackPointerBias() + RestoreGPRs.GPROffset); 11910eae32dcSDimitry Andric 11920eae32dcSDimitry Andric // Do a second scan adding regs as being defined by instruction 1193bdd1243dSDimitry Andric for (const CalleeSavedInfo &I : CSI) { 1194bdd1243dSDimitry Andric Register Reg = I.getReg(); 11950eae32dcSDimitry Andric if (Reg > RestoreGPRs.LowGPR && Reg < RestoreGPRs.HighGPR) 11960eae32dcSDimitry Andric MIB.addReg(Reg, RegState::ImplicitDefine); 11970eae32dcSDimitry Andric } 11980eae32dcSDimitry Andric } 11990eae32dcSDimitry Andric } 12000eae32dcSDimitry Andric 12010eae32dcSDimitry Andric return true; 12020eae32dcSDimitry Andric } 12030eae32dcSDimitry Andric 1204349cc55cSDimitry Andric void SystemZXPLINKFrameLowering::emitPrologue(MachineFunction &MF, 12050eae32dcSDimitry Andric MachineBasicBlock &MBB) const { 12060eae32dcSDimitry Andric assert(&MF.front() == &MBB && "Shrink-wrapping not yet supported"); 12070eae32dcSDimitry Andric const SystemZSubtarget &Subtarget = MF.getSubtarget<SystemZSubtarget>(); 12080eae32dcSDimitry Andric SystemZMachineFunctionInfo *ZFI = MF.getInfo<SystemZMachineFunctionInfo>(); 12090eae32dcSDimitry Andric MachineBasicBlock::iterator MBBI = MBB.begin(); 12100eae32dcSDimitry Andric auto *ZII = static_cast<const SystemZInstrInfo *>(Subtarget.getInstrInfo()); 12110eae32dcSDimitry Andric auto &Regs = Subtarget.getSpecialRegisters<SystemZXPLINK64Registers>(); 12120eae32dcSDimitry Andric MachineFrameInfo &MFFrame = MF.getFrameInfo(); 12130eae32dcSDimitry Andric MachineInstr *StoreInstr = nullptr; 1214fcaf7f86SDimitry Andric 1215fcaf7f86SDimitry Andric determineFrameLayout(MF); 1216fcaf7f86SDimitry Andric 12170eae32dcSDimitry Andric bool HasFP = hasFP(MF); 12180eae32dcSDimitry Andric // Debug location must be unknown since the first debug location is used 12190eae32dcSDimitry Andric // to determine the end of the prologue. 12200eae32dcSDimitry Andric DebugLoc DL; 12210eae32dcSDimitry Andric uint64_t Offset = 0; 12220eae32dcSDimitry Andric 1223fcaf7f86SDimitry Andric const uint64_t StackSize = MFFrame.getStackSize(); 12240eae32dcSDimitry Andric 12250eae32dcSDimitry Andric if (ZFI->getSpillGPRRegs().LowGPR) { 12260eae32dcSDimitry Andric // Skip over the GPR saves. 12270eae32dcSDimitry Andric if ((MBBI != MBB.end()) && ((MBBI->getOpcode() == SystemZ::STMG))) { 12280eae32dcSDimitry Andric const int Operand = 3; 12290eae32dcSDimitry Andric // Now we can set the offset for the operation, since now the Stack 12300eae32dcSDimitry Andric // has been finalized. 12310eae32dcSDimitry Andric Offset = Regs.getStackPointerBias() + MBBI->getOperand(Operand).getImm(); 12320eae32dcSDimitry Andric // Maximum displacement for STMG instruction. 12330eae32dcSDimitry Andric if (isInt<20>(Offset - StackSize)) 12340eae32dcSDimitry Andric Offset -= StackSize; 12350eae32dcSDimitry Andric else 12360eae32dcSDimitry Andric StoreInstr = &*MBBI; 12370eae32dcSDimitry Andric MBBI->getOperand(Operand).setImm(Offset); 12380eae32dcSDimitry Andric ++MBBI; 12390eae32dcSDimitry Andric } else 12400eae32dcSDimitry Andric llvm_unreachable("Couldn't skip over GPR saves"); 12410eae32dcSDimitry Andric } 12420eae32dcSDimitry Andric 12430eae32dcSDimitry Andric if (StackSize) { 12440eae32dcSDimitry Andric MachineBasicBlock::iterator InsertPt = StoreInstr ? StoreInstr : MBBI; 12450eae32dcSDimitry Andric // Allocate StackSize bytes. 12460eae32dcSDimitry Andric int64_t Delta = -int64_t(StackSize); 12470eae32dcSDimitry Andric 12480eae32dcSDimitry Andric // In case the STM(G) instruction also stores SP (R4), but the displacement 12490eae32dcSDimitry Andric // is too large, the SP register is manipulated first before storing, 12500eae32dcSDimitry Andric // resulting in the wrong value stored and retrieved later. In this case, we 12510eae32dcSDimitry Andric // need to temporarily save the value of SP, and store it later to memory. 12520eae32dcSDimitry Andric if (StoreInstr && HasFP) { 12530eae32dcSDimitry Andric // Insert LR r0,r4 before STMG instruction. 12540eae32dcSDimitry Andric BuildMI(MBB, InsertPt, DL, ZII->get(SystemZ::LGR)) 12550eae32dcSDimitry Andric .addReg(SystemZ::R0D, RegState::Define) 12560eae32dcSDimitry Andric .addReg(SystemZ::R4D); 12570eae32dcSDimitry Andric // Insert ST r0,xxx(,r4) after STMG instruction. 12580eae32dcSDimitry Andric BuildMI(MBB, MBBI, DL, ZII->get(SystemZ::STG)) 12590eae32dcSDimitry Andric .addReg(SystemZ::R0D, RegState::Kill) 12600eae32dcSDimitry Andric .addReg(SystemZ::R4D) 12610eae32dcSDimitry Andric .addImm(Offset) 12620eae32dcSDimitry Andric .addReg(0); 12630eae32dcSDimitry Andric } 12640eae32dcSDimitry Andric 12650eae32dcSDimitry Andric emitIncrement(MBB, InsertPt, DL, Regs.getStackPointerRegister(), Delta, 12660eae32dcSDimitry Andric ZII); 126781ad6265SDimitry Andric 126881ad6265SDimitry Andric // If the requested stack size is larger than the guard page, then we need 126981ad6265SDimitry Andric // to check if we need to call the stack extender. This requires adding a 127081ad6265SDimitry Andric // conditional branch, but splitting the prologue block is not possible at 127181ad6265SDimitry Andric // this point since it would invalidate the SaveBlocks / RestoreBlocks sets 127281ad6265SDimitry Andric // of PEI in the single block function case. Build a pseudo to be handled 127381ad6265SDimitry Andric // later by inlineStackProbe(). 127481ad6265SDimitry Andric const uint64_t GuardPageSize = 1024 * 1024; 127581ad6265SDimitry Andric if (StackSize > GuardPageSize) { 127681ad6265SDimitry Andric assert(StoreInstr && "Wrong insertion point"); 127781ad6265SDimitry Andric BuildMI(MBB, InsertPt, DL, ZII->get(SystemZ::XPLINK_STACKALLOC)); 127881ad6265SDimitry Andric } 12790eae32dcSDimitry Andric } 12800eae32dcSDimitry Andric 12810eae32dcSDimitry Andric if (HasFP) { 12820eae32dcSDimitry Andric // Copy the base of the frame to Frame Pointer Register. 12830eae32dcSDimitry Andric BuildMI(MBB, MBBI, DL, ZII->get(SystemZ::LGR), 12840eae32dcSDimitry Andric Regs.getFramePointerRegister()) 12850eae32dcSDimitry Andric .addReg(Regs.getStackPointerRegister()); 12860eae32dcSDimitry Andric 12870eae32dcSDimitry Andric // Mark the FramePtr as live at the beginning of every block except 12880eae32dcSDimitry Andric // the entry block. (We'll have marked R8 as live on entry when 12890eae32dcSDimitry Andric // saving the GPRs.) 1290fcaf7f86SDimitry Andric for (MachineBasicBlock &B : llvm::drop_begin(MF)) 1291fcaf7f86SDimitry Andric B.addLiveIn(Regs.getFramePointerRegister()); 12920eae32dcSDimitry Andric } 12935f757f3fSDimitry Andric 12945f757f3fSDimitry Andric // Save GPRs used for varargs, if any. 12955f757f3fSDimitry Andric const TargetInstrInfo *TII = Subtarget.getInstrInfo(); 12965f757f3fSDimitry Andric bool IsVarArg = MF.getFunction().isVarArg(); 12975f757f3fSDimitry Andric 12985f757f3fSDimitry Andric if (IsVarArg) { 12995f757f3fSDimitry Andric // FixedRegs is the number of used registers, accounting for shadow 13005f757f3fSDimitry Andric // registers. 13015f757f3fSDimitry Andric unsigned FixedRegs = ZFI->getVarArgsFirstGPR() + ZFI->getVarArgsFirstFPR(); 13025f757f3fSDimitry Andric auto &GPRs = SystemZ::XPLINK64ArgGPRs; 13035f757f3fSDimitry Andric for (unsigned I = FixedRegs; I < SystemZ::XPLINK64NumArgGPRs; I++) { 13045f757f3fSDimitry Andric uint64_t StartOffset = MFFrame.getOffsetAdjustment() + 13055f757f3fSDimitry Andric MFFrame.getStackSize() + Regs.getCallFrameSize() + 1306*0fca6ea1SDimitry Andric getOffsetOfLocalArea() + I * getPointerSize(); 13075f757f3fSDimitry Andric unsigned Reg = GPRs[I]; 13085f757f3fSDimitry Andric BuildMI(MBB, MBBI, DL, TII->get(SystemZ::STG)) 13095f757f3fSDimitry Andric .addReg(Reg) 13105f757f3fSDimitry Andric .addReg(Regs.getStackPointerRegister()) 13115f757f3fSDimitry Andric .addImm(StartOffset) 13125f757f3fSDimitry Andric .addReg(0); 13135f757f3fSDimitry Andric if (!MBB.isLiveIn(Reg)) 13145f757f3fSDimitry Andric MBB.addLiveIn(Reg); 13155f757f3fSDimitry Andric } 13165f757f3fSDimitry Andric } 13170eae32dcSDimitry Andric } 1318349cc55cSDimitry Andric 1319349cc55cSDimitry Andric void SystemZXPLINKFrameLowering::emitEpilogue(MachineFunction &MF, 13200eae32dcSDimitry Andric MachineBasicBlock &MBB) const { 13210eae32dcSDimitry Andric const SystemZSubtarget &Subtarget = MF.getSubtarget<SystemZSubtarget>(); 13220eae32dcSDimitry Andric MachineBasicBlock::iterator MBBI = MBB.getLastNonDebugInstr(); 13230eae32dcSDimitry Andric SystemZMachineFunctionInfo *ZFI = MF.getInfo<SystemZMachineFunctionInfo>(); 13240eae32dcSDimitry Andric MachineFrameInfo &MFFrame = MF.getFrameInfo(); 13250eae32dcSDimitry Andric auto *ZII = static_cast<const SystemZInstrInfo *>(Subtarget.getInstrInfo()); 13260eae32dcSDimitry Andric auto &Regs = Subtarget.getSpecialRegisters<SystemZXPLINK64Registers>(); 13270eae32dcSDimitry Andric 13280eae32dcSDimitry Andric // Skip the return instruction. 13290eae32dcSDimitry Andric assert(MBBI->isReturn() && "Can only insert epilogue into returning blocks"); 13300eae32dcSDimitry Andric 13310eae32dcSDimitry Andric uint64_t StackSize = MFFrame.getStackSize(); 13320eae32dcSDimitry Andric if (StackSize) { 13330eae32dcSDimitry Andric unsigned SPReg = Regs.getStackPointerRegister(); 13340eae32dcSDimitry Andric if (ZFI->getRestoreGPRRegs().LowGPR != SPReg) { 13350eae32dcSDimitry Andric DebugLoc DL = MBBI->getDebugLoc(); 13360eae32dcSDimitry Andric emitIncrement(MBB, MBBI, DL, SPReg, StackSize, ZII); 13370eae32dcSDimitry Andric } 13380eae32dcSDimitry Andric } 13390eae32dcSDimitry Andric } 1340349cc55cSDimitry Andric 134181ad6265SDimitry Andric // Emit a compare of the stack pointer against the stack floor, and a call to 134281ad6265SDimitry Andric // the LE stack extender if needed. 134381ad6265SDimitry Andric void SystemZXPLINKFrameLowering::inlineStackProbe( 134481ad6265SDimitry Andric MachineFunction &MF, MachineBasicBlock &PrologMBB) const { 134581ad6265SDimitry Andric auto *ZII = 134681ad6265SDimitry Andric static_cast<const SystemZInstrInfo *>(MF.getSubtarget().getInstrInfo()); 134781ad6265SDimitry Andric 134881ad6265SDimitry Andric MachineInstr *StackAllocMI = nullptr; 134981ad6265SDimitry Andric for (MachineInstr &MI : PrologMBB) 135081ad6265SDimitry Andric if (MI.getOpcode() == SystemZ::XPLINK_STACKALLOC) { 135181ad6265SDimitry Andric StackAllocMI = &MI; 135281ad6265SDimitry Andric break; 135381ad6265SDimitry Andric } 135481ad6265SDimitry Andric if (StackAllocMI == nullptr) 135581ad6265SDimitry Andric return; 135681ad6265SDimitry Andric 135706c3fb27SDimitry Andric bool NeedSaveSP = hasFP(MF); 135806c3fb27SDimitry Andric bool NeedSaveArg = PrologMBB.isLiveIn(SystemZ::R3D); 135906c3fb27SDimitry Andric const int64_t SaveSlotR3 = 2192; 136006c3fb27SDimitry Andric 136181ad6265SDimitry Andric MachineBasicBlock &MBB = PrologMBB; 136281ad6265SDimitry Andric const DebugLoc DL = StackAllocMI->getDebugLoc(); 136381ad6265SDimitry Andric 136481ad6265SDimitry Andric // The 2nd half of block MBB after split. 136581ad6265SDimitry Andric MachineBasicBlock *NextMBB; 136681ad6265SDimitry Andric 136781ad6265SDimitry Andric // Add new basic block for the call to the stack overflow function. 136881ad6265SDimitry Andric MachineBasicBlock *StackExtMBB = 136981ad6265SDimitry Andric MF.CreateMachineBasicBlock(MBB.getBasicBlock()); 137081ad6265SDimitry Andric MF.push_back(StackExtMBB); 137181ad6265SDimitry Andric 137281ad6265SDimitry Andric // LG r3,72(,r3) 137381ad6265SDimitry Andric BuildMI(StackExtMBB, DL, ZII->get(SystemZ::LG), SystemZ::R3D) 137481ad6265SDimitry Andric .addReg(SystemZ::R3D) 137581ad6265SDimitry Andric .addImm(72) 137681ad6265SDimitry Andric .addReg(0); 137781ad6265SDimitry Andric // BASR r3,r3 137881ad6265SDimitry Andric BuildMI(StackExtMBB, DL, ZII->get(SystemZ::CallBASR_STACKEXT)) 137981ad6265SDimitry Andric .addReg(SystemZ::R3D); 138006c3fb27SDimitry Andric if (NeedSaveArg) { 138106c3fb27SDimitry Andric if (!NeedSaveSP) { 138206c3fb27SDimitry Andric // LGR r0,r3 138306c3fb27SDimitry Andric BuildMI(MBB, StackAllocMI, DL, ZII->get(SystemZ::LGR)) 138406c3fb27SDimitry Andric .addReg(SystemZ::R0D, RegState::Define) 138506c3fb27SDimitry Andric .addReg(SystemZ::R3D); 138606c3fb27SDimitry Andric } else { 138706c3fb27SDimitry Andric // In this case, the incoming value of r4 is saved in r0 so the 138806c3fb27SDimitry Andric // latter register is unavailable. Store r3 in its corresponding 138906c3fb27SDimitry Andric // slot in the parameter list instead. Do this at the start of 139006c3fb27SDimitry Andric // the prolog before r4 is manipulated by anything else. 139106c3fb27SDimitry Andric // STG r3, 2192(r4) 139206c3fb27SDimitry Andric BuildMI(MBB, MBB.begin(), DL, ZII->get(SystemZ::STG)) 139306c3fb27SDimitry Andric .addReg(SystemZ::R3D) 139406c3fb27SDimitry Andric .addReg(SystemZ::R4D) 139506c3fb27SDimitry Andric .addImm(SaveSlotR3) 139606c3fb27SDimitry Andric .addReg(0); 139706c3fb27SDimitry Andric } 139806c3fb27SDimitry Andric } 139981ad6265SDimitry Andric // LLGT r3,1208 140081ad6265SDimitry Andric BuildMI(MBB, StackAllocMI, DL, ZII->get(SystemZ::LLGT), SystemZ::R3D) 140181ad6265SDimitry Andric .addReg(0) 140281ad6265SDimitry Andric .addImm(1208) 140381ad6265SDimitry Andric .addReg(0); 140481ad6265SDimitry Andric // CG r4,64(,r3) 140581ad6265SDimitry Andric BuildMI(MBB, StackAllocMI, DL, ZII->get(SystemZ::CG)) 140681ad6265SDimitry Andric .addReg(SystemZ::R4D) 140781ad6265SDimitry Andric .addReg(SystemZ::R3D) 140881ad6265SDimitry Andric .addImm(64) 140981ad6265SDimitry Andric .addReg(0); 141081ad6265SDimitry Andric // JLL b'0100',F'37' 141181ad6265SDimitry Andric BuildMI(MBB, StackAllocMI, DL, ZII->get(SystemZ::BRC)) 141281ad6265SDimitry Andric .addImm(SystemZ::CCMASK_ICMP) 141381ad6265SDimitry Andric .addImm(SystemZ::CCMASK_CMP_LT) 141481ad6265SDimitry Andric .addMBB(StackExtMBB); 141581ad6265SDimitry Andric 141681ad6265SDimitry Andric NextMBB = SystemZ::splitBlockBefore(StackAllocMI, &MBB); 141781ad6265SDimitry Andric MBB.addSuccessor(NextMBB); 141881ad6265SDimitry Andric MBB.addSuccessor(StackExtMBB); 141906c3fb27SDimitry Andric if (NeedSaveArg) { 142006c3fb27SDimitry Andric if (!NeedSaveSP) { 142106c3fb27SDimitry Andric // LGR r3, r0 142206c3fb27SDimitry Andric BuildMI(*NextMBB, StackAllocMI, DL, ZII->get(SystemZ::LGR)) 142306c3fb27SDimitry Andric .addReg(SystemZ::R3D, RegState::Define) 142406c3fb27SDimitry Andric .addReg(SystemZ::R0D, RegState::Kill); 142506c3fb27SDimitry Andric } else { 142606c3fb27SDimitry Andric // In this case, the incoming value of r4 is saved in r0 so the 142706c3fb27SDimitry Andric // latter register is unavailable. We stored r3 in its corresponding 142806c3fb27SDimitry Andric // slot in the parameter list instead and we now restore it from there. 142906c3fb27SDimitry Andric // LGR r3, r0 143006c3fb27SDimitry Andric BuildMI(*NextMBB, StackAllocMI, DL, ZII->get(SystemZ::LGR)) 143106c3fb27SDimitry Andric .addReg(SystemZ::R3D, RegState::Define) 143206c3fb27SDimitry Andric .addReg(SystemZ::R0D); 143306c3fb27SDimitry Andric // LG r3, 2192(r3) 143406c3fb27SDimitry Andric BuildMI(*NextMBB, StackAllocMI, DL, ZII->get(SystemZ::LG)) 143506c3fb27SDimitry Andric .addReg(SystemZ::R3D, RegState::Define) 143606c3fb27SDimitry Andric .addReg(SystemZ::R3D) 143706c3fb27SDimitry Andric .addImm(SaveSlotR3) 143806c3fb27SDimitry Andric .addReg(0); 143906c3fb27SDimitry Andric } 144006c3fb27SDimitry Andric } 144181ad6265SDimitry Andric 144281ad6265SDimitry Andric // Add jump back from stack extension BB. 144381ad6265SDimitry Andric BuildMI(StackExtMBB, DL, ZII->get(SystemZ::J)).addMBB(NextMBB); 144481ad6265SDimitry Andric StackExtMBB->addSuccessor(NextMBB); 144581ad6265SDimitry Andric 144681ad6265SDimitry Andric StackAllocMI->eraseFromParent(); 144781ad6265SDimitry Andric 144881ad6265SDimitry Andric // Compute the live-in lists for the new blocks. 1449*0fca6ea1SDimitry Andric fullyRecomputeLiveIns({StackExtMBB, NextMBB}); 145081ad6265SDimitry Andric } 145181ad6265SDimitry Andric 1452349cc55cSDimitry Andric bool SystemZXPLINKFrameLowering::hasFP(const MachineFunction &MF) const { 14530eae32dcSDimitry Andric return (MF.getFrameInfo().hasVarSizedObjects()); 14540eae32dcSDimitry Andric } 14550eae32dcSDimitry Andric 14560eae32dcSDimitry Andric void SystemZXPLINKFrameLowering::processFunctionBeforeFrameFinalized( 14570eae32dcSDimitry Andric MachineFunction &MF, RegScavenger *RS) const { 14580eae32dcSDimitry Andric MachineFrameInfo &MFFrame = MF.getFrameInfo(); 14590eae32dcSDimitry Andric const SystemZSubtarget &Subtarget = MF.getSubtarget<SystemZSubtarget>(); 14600eae32dcSDimitry Andric auto &Regs = Subtarget.getSpecialRegisters<SystemZXPLINK64Registers>(); 14610eae32dcSDimitry Andric 14620eae32dcSDimitry Andric // Setup stack frame offset 14630eae32dcSDimitry Andric MFFrame.setOffsetAdjustment(Regs.getStackPointerBias()); 14645f757f3fSDimitry Andric 14655f757f3fSDimitry Andric // Nothing to do for leaf functions. 14665f757f3fSDimitry Andric uint64_t StackSize = MFFrame.estimateStackSize(MF); 14675f757f3fSDimitry Andric if (StackSize == 0 && MFFrame.getCalleeSavedInfo().empty()) 14685f757f3fSDimitry Andric return; 14695f757f3fSDimitry Andric 14705f757f3fSDimitry Andric // Although the XPLINK specifications for AMODE64 state that minimum size 14715f757f3fSDimitry Andric // of the param area is minimum 32 bytes and no rounding is otherwise 14725f757f3fSDimitry Andric // specified, we round this area in 64 bytes increments to be compatible 14735f757f3fSDimitry Andric // with existing compilers. 14745f757f3fSDimitry Andric MFFrame.setMaxCallFrameSize( 14755f757f3fSDimitry Andric std::max(64U, (unsigned)alignTo(MFFrame.getMaxCallFrameSize(), 64))); 1476*0fca6ea1SDimitry Andric 1477*0fca6ea1SDimitry Andric // Add frame values with positive object offsets. Since the displacement from 1478*0fca6ea1SDimitry Andric // the SP/FP is calculated by ObjectOffset + StackSize + Bias, object offsets 1479*0fca6ea1SDimitry Andric // with positive values are in the caller's stack frame. We need to include 1480*0fca6ea1SDimitry Andric // that since it is accessed by displacement to SP/FP. 1481*0fca6ea1SDimitry Andric int64_t LargestArgOffset = 0; 1482*0fca6ea1SDimitry Andric for (int I = MFFrame.getObjectIndexBegin(); I != 0; ++I) { 1483*0fca6ea1SDimitry Andric if (MFFrame.getObjectOffset(I) >= 0) { 1484*0fca6ea1SDimitry Andric int64_t ObjOffset = MFFrame.getObjectOffset(I) + MFFrame.getObjectSize(I); 1485*0fca6ea1SDimitry Andric LargestArgOffset = std::max(ObjOffset, LargestArgOffset); 1486*0fca6ea1SDimitry Andric } 1487*0fca6ea1SDimitry Andric } 1488*0fca6ea1SDimitry Andric 1489*0fca6ea1SDimitry Andric uint64_t MaxReach = (StackSize + Regs.getCallFrameSize() + 1490*0fca6ea1SDimitry Andric Regs.getStackPointerBias() + LargestArgOffset); 1491*0fca6ea1SDimitry Andric 1492*0fca6ea1SDimitry Andric if (!isUInt<12>(MaxReach)) { 1493*0fca6ea1SDimitry Andric // We may need register scavenging slots if some parts of the frame 1494*0fca6ea1SDimitry Andric // are outside the reach of an unsigned 12-bit displacement. 1495*0fca6ea1SDimitry Andric RS->addScavengingFrameIndex(MFFrame.CreateStackObject(8, Align(8), false)); 1496*0fca6ea1SDimitry Andric RS->addScavengingFrameIndex(MFFrame.CreateStackObject(8, Align(8), false)); 1497*0fca6ea1SDimitry Andric } 1498349cc55cSDimitry Andric } 1499fcaf7f86SDimitry Andric 1500fcaf7f86SDimitry Andric // Determines the size of the frame, and creates the deferred spill objects. 1501fcaf7f86SDimitry Andric void SystemZXPLINKFrameLowering::determineFrameLayout( 1502fcaf7f86SDimitry Andric MachineFunction &MF) const { 1503fcaf7f86SDimitry Andric MachineFrameInfo &MFFrame = MF.getFrameInfo(); 1504fcaf7f86SDimitry Andric const SystemZSubtarget &Subtarget = MF.getSubtarget<SystemZSubtarget>(); 1505fcaf7f86SDimitry Andric auto *Regs = 1506fcaf7f86SDimitry Andric static_cast<SystemZXPLINK64Registers *>(Subtarget.getSpecialRegisters()); 1507fcaf7f86SDimitry Andric 1508fcaf7f86SDimitry Andric uint64_t StackSize = MFFrame.getStackSize(); 1509fcaf7f86SDimitry Andric if (StackSize == 0) 1510fcaf7f86SDimitry Andric return; 1511fcaf7f86SDimitry Andric 1512fcaf7f86SDimitry Andric // Add the size of the register save area and the reserved area to the size. 1513fcaf7f86SDimitry Andric StackSize += Regs->getCallFrameSize(); 1514fcaf7f86SDimitry Andric MFFrame.setStackSize(StackSize); 1515fcaf7f86SDimitry Andric 1516*0fca6ea1SDimitry Andric // We now know the stack size. Update the stack objects for the register save 1517*0fca6ea1SDimitry Andric // area now. This has no impact on the stack frame layout, as this is already 1518*0fca6ea1SDimitry Andric // computed. However, it makes sure that all callee saved registers have a 1519*0fca6ea1SDimitry Andric // valid offset assigned. 1520*0fca6ea1SDimitry Andric for (int FrameIdx = MFFrame.getObjectIndexBegin(); FrameIdx != 0; 1521*0fca6ea1SDimitry Andric ++FrameIdx) { 1522*0fca6ea1SDimitry Andric if (MFFrame.getStackID(FrameIdx) == TargetStackID::NoAlloc) { 1523*0fca6ea1SDimitry Andric int64_t SPOffset = MFFrame.getObjectOffset(FrameIdx); 1524*0fca6ea1SDimitry Andric SPOffset -= StackSize; 1525*0fca6ea1SDimitry Andric MFFrame.setObjectOffset(FrameIdx, SPOffset); 1526*0fca6ea1SDimitry Andric } 1527fcaf7f86SDimitry Andric } 1528fcaf7f86SDimitry Andric } 1529