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"
160b57cec5SDimitry Andric #include "llvm/CodeGen/MachineModuleInfo.h"
170b57cec5SDimitry Andric #include "llvm/CodeGen/MachineRegisterInfo.h"
180b57cec5SDimitry Andric #include "llvm/CodeGen/RegisterScavenging.h"
190b57cec5SDimitry Andric #include "llvm/IR/Function.h"
205ffd83dbSDimitry Andric #include "llvm/Target/TargetMachine.h"
210b57cec5SDimitry Andric
220b57cec5SDimitry Andric using namespace llvm;
230b57cec5SDimitry Andric
240b57cec5SDimitry Andric namespace {
25480093f4SDimitry Andric // The ABI-defined register save slots, relative to the CFA (i.e.
26*5f7ddb14SDimitry Andric // incoming stack pointer + SystemZMC::ELFCallFrameSize).
270b57cec5SDimitry Andric static const TargetFrameLowering::SpillSlot SpillOffsetTable[] = {
280b57cec5SDimitry Andric { SystemZ::R2D, 0x10 },
290b57cec5SDimitry Andric { SystemZ::R3D, 0x18 },
300b57cec5SDimitry Andric { SystemZ::R4D, 0x20 },
310b57cec5SDimitry Andric { SystemZ::R5D, 0x28 },
320b57cec5SDimitry Andric { SystemZ::R6D, 0x30 },
330b57cec5SDimitry Andric { SystemZ::R7D, 0x38 },
340b57cec5SDimitry Andric { SystemZ::R8D, 0x40 },
350b57cec5SDimitry Andric { SystemZ::R9D, 0x48 },
360b57cec5SDimitry Andric { SystemZ::R10D, 0x50 },
370b57cec5SDimitry Andric { SystemZ::R11D, 0x58 },
380b57cec5SDimitry Andric { SystemZ::R12D, 0x60 },
390b57cec5SDimitry Andric { SystemZ::R13D, 0x68 },
400b57cec5SDimitry Andric { SystemZ::R14D, 0x70 },
410b57cec5SDimitry Andric { SystemZ::R15D, 0x78 },
420b57cec5SDimitry Andric { SystemZ::F0D, 0x80 },
430b57cec5SDimitry Andric { SystemZ::F2D, 0x88 },
440b57cec5SDimitry Andric { SystemZ::F4D, 0x90 },
450b57cec5SDimitry Andric { SystemZ::F6D, 0x98 }
460b57cec5SDimitry Andric };
470b57cec5SDimitry Andric } // end anonymous namespace
480b57cec5SDimitry Andric
SystemZFrameLowering()490b57cec5SDimitry Andric SystemZFrameLowering::SystemZFrameLowering()
508bcb0991SDimitry Andric : TargetFrameLowering(TargetFrameLowering::StackGrowsDown, Align(8),
51480093f4SDimitry Andric 0, Align(8), false /* StackRealignable */),
52480093f4SDimitry Andric RegSpillOffsets(0) {
53480093f4SDimitry Andric // Due to the SystemZ ABI, the DWARF CFA (Canonical Frame Address) is not
54480093f4SDimitry Andric // equal to the incoming stack pointer, but to incoming stack pointer plus
55480093f4SDimitry Andric // 160. Instead of using a Local Area Offset, the Register save area will
56480093f4SDimitry Andric // be occupied by fixed frame objects, and all offsets are actually
57480093f4SDimitry Andric // relative to CFA.
58480093f4SDimitry Andric
590b57cec5SDimitry Andric // Create a mapping from register number to save slot offset.
60480093f4SDimitry Andric // These offsets are relative to the start of the register save area.
610b57cec5SDimitry Andric RegSpillOffsets.grow(SystemZ::NUM_TARGET_REGS);
620b57cec5SDimitry Andric for (unsigned I = 0, E = array_lengthof(SpillOffsetTable); I != E; ++I)
630b57cec5SDimitry Andric RegSpillOffsets[SpillOffsetTable[I].Reg] = SpillOffsetTable[I].Offset;
640b57cec5SDimitry Andric }
650b57cec5SDimitry Andric
66480093f4SDimitry Andric bool SystemZFrameLowering::
assignCalleeSavedSpillSlots(MachineFunction & MF,const TargetRegisterInfo * TRI,std::vector<CalleeSavedInfo> & CSI) const67480093f4SDimitry Andric assignCalleeSavedSpillSlots(MachineFunction &MF,
68480093f4SDimitry Andric const TargetRegisterInfo *TRI,
69480093f4SDimitry Andric std::vector<CalleeSavedInfo> &CSI) const {
70480093f4SDimitry Andric SystemZMachineFunctionInfo *ZFI = MF.getInfo<SystemZMachineFunctionInfo>();
71480093f4SDimitry Andric MachineFrameInfo &MFFrame = MF.getFrameInfo();
72480093f4SDimitry Andric bool IsVarArg = MF.getFunction().isVarArg();
73480093f4SDimitry Andric if (CSI.empty())
74480093f4SDimitry Andric return true; // Early exit if no callee saved registers are modified!
75480093f4SDimitry Andric
76480093f4SDimitry Andric unsigned LowGPR = 0;
77480093f4SDimitry Andric unsigned HighGPR = SystemZ::R15D;
78*5f7ddb14SDimitry Andric int StartSPOffset = SystemZMC::ELFCallFrameSize;
79480093f4SDimitry Andric for (auto &CS : CSI) {
80480093f4SDimitry Andric unsigned Reg = CS.getReg();
815ffd83dbSDimitry Andric int Offset = getRegSpillOffset(MF, Reg);
82480093f4SDimitry Andric if (Offset) {
83480093f4SDimitry Andric if (SystemZ::GR64BitRegClass.contains(Reg) && StartSPOffset > Offset) {
84480093f4SDimitry Andric LowGPR = Reg;
85480093f4SDimitry Andric StartSPOffset = Offset;
86480093f4SDimitry Andric }
87*5f7ddb14SDimitry Andric Offset -= SystemZMC::ELFCallFrameSize;
88480093f4SDimitry Andric int FrameIdx = MFFrame.CreateFixedSpillStackObject(8, Offset);
89480093f4SDimitry Andric CS.setFrameIdx(FrameIdx);
90480093f4SDimitry Andric } else
91480093f4SDimitry Andric CS.setFrameIdx(INT32_MAX);
92480093f4SDimitry Andric }
93480093f4SDimitry Andric
94480093f4SDimitry Andric // Save the range of call-saved registers, for use by the
95480093f4SDimitry Andric // prologue/epilogue inserters.
96480093f4SDimitry Andric ZFI->setRestoreGPRRegs(LowGPR, HighGPR, StartSPOffset);
97480093f4SDimitry Andric if (IsVarArg) {
98480093f4SDimitry Andric // Also save the GPR varargs, if any. R6D is call-saved, so would
99480093f4SDimitry Andric // already be included, but we also need to handle the call-clobbered
100480093f4SDimitry Andric // argument registers.
101480093f4SDimitry Andric unsigned FirstGPR = ZFI->getVarArgsFirstGPR();
102*5f7ddb14SDimitry Andric if (FirstGPR < SystemZ::ELFNumArgGPRs) {
103*5f7ddb14SDimitry Andric unsigned Reg = SystemZ::ELFArgGPRs[FirstGPR];
1045ffd83dbSDimitry Andric int Offset = getRegSpillOffset(MF, Reg);
105480093f4SDimitry Andric if (StartSPOffset > Offset) {
106480093f4SDimitry Andric LowGPR = Reg; StartSPOffset = Offset;
107480093f4SDimitry Andric }
108480093f4SDimitry Andric }
109480093f4SDimitry Andric }
110480093f4SDimitry Andric ZFI->setSpillGPRRegs(LowGPR, HighGPR, StartSPOffset);
111480093f4SDimitry Andric
112480093f4SDimitry Andric // Create fixed stack objects for the remaining registers.
113*5f7ddb14SDimitry Andric int CurrOffset = -SystemZMC::ELFCallFrameSize;
1145ffd83dbSDimitry Andric if (usePackedStack(MF))
1155ffd83dbSDimitry Andric CurrOffset += StartSPOffset;
1165ffd83dbSDimitry Andric
117480093f4SDimitry Andric for (auto &CS : CSI) {
118480093f4SDimitry Andric if (CS.getFrameIdx() != INT32_MAX)
119480093f4SDimitry Andric continue;
120480093f4SDimitry Andric unsigned Reg = CS.getReg();
121480093f4SDimitry Andric const TargetRegisterClass *RC = TRI->getMinimalPhysRegClass(Reg);
122480093f4SDimitry Andric unsigned Size = TRI->getSpillSize(*RC);
123480093f4SDimitry Andric CurrOffset -= Size;
124480093f4SDimitry Andric assert(CurrOffset % 8 == 0 &&
125480093f4SDimitry Andric "8-byte alignment required for for all register save slots");
126480093f4SDimitry Andric int FrameIdx = MFFrame.CreateFixedSpillStackObject(Size, CurrOffset);
127480093f4SDimitry Andric CS.setFrameIdx(FrameIdx);
128480093f4SDimitry Andric }
129480093f4SDimitry Andric
130480093f4SDimitry Andric return true;
1310b57cec5SDimitry Andric }
1320b57cec5SDimitry Andric
determineCalleeSaves(MachineFunction & MF,BitVector & SavedRegs,RegScavenger * RS) const1330b57cec5SDimitry Andric void SystemZFrameLowering::determineCalleeSaves(MachineFunction &MF,
1340b57cec5SDimitry Andric BitVector &SavedRegs,
1350b57cec5SDimitry Andric RegScavenger *RS) const {
1360b57cec5SDimitry Andric TargetFrameLowering::determineCalleeSaves(MF, SavedRegs, RS);
1370b57cec5SDimitry Andric
1380b57cec5SDimitry Andric MachineFrameInfo &MFFrame = MF.getFrameInfo();
1390b57cec5SDimitry Andric const TargetRegisterInfo *TRI = MF.getSubtarget().getRegisterInfo();
1400b57cec5SDimitry Andric bool HasFP = hasFP(MF);
1410b57cec5SDimitry Andric SystemZMachineFunctionInfo *MFI = MF.getInfo<SystemZMachineFunctionInfo>();
1420b57cec5SDimitry Andric bool IsVarArg = MF.getFunction().isVarArg();
1430b57cec5SDimitry Andric
1440b57cec5SDimitry Andric // va_start stores incoming FPR varargs in the normal way, but delegates
1450b57cec5SDimitry Andric // the saving of incoming GPR varargs to spillCalleeSavedRegisters().
1460b57cec5SDimitry Andric // Record these pending uses, which typically include the call-saved
1470b57cec5SDimitry Andric // argument register R6D.
1480b57cec5SDimitry Andric if (IsVarArg)
149*5f7ddb14SDimitry Andric for (unsigned I = MFI->getVarArgsFirstGPR(); I < SystemZ::ELFNumArgGPRs; ++I)
150*5f7ddb14SDimitry Andric SavedRegs.set(SystemZ::ELFArgGPRs[I]);
1510b57cec5SDimitry Andric
1520b57cec5SDimitry Andric // If there are any landing pads, entering them will modify r6/r7.
1530b57cec5SDimitry Andric if (!MF.getLandingPads().empty()) {
1540b57cec5SDimitry Andric SavedRegs.set(SystemZ::R6D);
1550b57cec5SDimitry Andric SavedRegs.set(SystemZ::R7D);
1560b57cec5SDimitry Andric }
1570b57cec5SDimitry Andric
1580b57cec5SDimitry Andric // If the function requires a frame pointer, record that the hard
1590b57cec5SDimitry Andric // frame pointer will be clobbered.
1600b57cec5SDimitry Andric if (HasFP)
1610b57cec5SDimitry Andric SavedRegs.set(SystemZ::R11D);
1620b57cec5SDimitry Andric
1630b57cec5SDimitry Andric // If the function calls other functions, record that the return
1640b57cec5SDimitry Andric // address register will be clobbered.
1650b57cec5SDimitry Andric if (MFFrame.hasCalls())
1660b57cec5SDimitry Andric SavedRegs.set(SystemZ::R14D);
1670b57cec5SDimitry Andric
1680b57cec5SDimitry Andric // If we are saving GPRs other than the stack pointer, we might as well
1690b57cec5SDimitry Andric // save and restore the stack pointer at the same time, via STMG and LMG.
1700b57cec5SDimitry Andric // This allows the deallocation to be done by the LMG, rather than needing
1710b57cec5SDimitry Andric // a separate %r15 addition.
1720b57cec5SDimitry Andric const MCPhysReg *CSRegs = TRI->getCalleeSavedRegs(&MF);
1730b57cec5SDimitry Andric for (unsigned I = 0; CSRegs[I]; ++I) {
1740b57cec5SDimitry Andric unsigned Reg = CSRegs[I];
1750b57cec5SDimitry Andric if (SystemZ::GR64BitRegClass.contains(Reg) && SavedRegs.test(Reg)) {
1760b57cec5SDimitry Andric SavedRegs.set(SystemZ::R15D);
1770b57cec5SDimitry Andric break;
1780b57cec5SDimitry Andric }
1790b57cec5SDimitry Andric }
1800b57cec5SDimitry Andric }
1810b57cec5SDimitry Andric
1820b57cec5SDimitry Andric // Add GPR64 to the save instruction being built by MIB, which is in basic
1830b57cec5SDimitry Andric // block MBB. IsImplicit says whether this is an explicit operand to the
1840b57cec5SDimitry Andric // instruction, or an implicit one that comes between the explicit start
1850b57cec5SDimitry Andric // and end registers.
addSavedGPR(MachineBasicBlock & MBB,MachineInstrBuilder & MIB,unsigned GPR64,bool IsImplicit)1860b57cec5SDimitry Andric static void addSavedGPR(MachineBasicBlock &MBB, MachineInstrBuilder &MIB,
1870b57cec5SDimitry Andric unsigned GPR64, bool IsImplicit) {
1880b57cec5SDimitry Andric const TargetRegisterInfo *RI =
1890b57cec5SDimitry Andric MBB.getParent()->getSubtarget().getRegisterInfo();
1908bcb0991SDimitry Andric Register GPR32 = RI->getSubReg(GPR64, SystemZ::subreg_l32);
1910b57cec5SDimitry Andric bool IsLive = MBB.isLiveIn(GPR64) || MBB.isLiveIn(GPR32);
1920b57cec5SDimitry Andric if (!IsLive || !IsImplicit) {
1930b57cec5SDimitry Andric MIB.addReg(GPR64, getImplRegState(IsImplicit) | getKillRegState(!IsLive));
1940b57cec5SDimitry Andric if (!IsLive)
1950b57cec5SDimitry Andric MBB.addLiveIn(GPR64);
1960b57cec5SDimitry Andric }
1970b57cec5SDimitry Andric }
1980b57cec5SDimitry Andric
spillCalleeSavedRegisters(MachineBasicBlock & MBB,MachineBasicBlock::iterator MBBI,ArrayRef<CalleeSavedInfo> CSI,const TargetRegisterInfo * TRI) const1995ffd83dbSDimitry Andric bool SystemZFrameLowering::spillCalleeSavedRegisters(
2005ffd83dbSDimitry Andric MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI,
2015ffd83dbSDimitry Andric ArrayRef<CalleeSavedInfo> CSI, const TargetRegisterInfo *TRI) const {
2020b57cec5SDimitry Andric if (CSI.empty())
2030b57cec5SDimitry Andric return false;
2040b57cec5SDimitry Andric
2050b57cec5SDimitry Andric MachineFunction &MF = *MBB.getParent();
2060b57cec5SDimitry Andric const TargetInstrInfo *TII = MF.getSubtarget().getInstrInfo();
2070b57cec5SDimitry Andric SystemZMachineFunctionInfo *ZFI = MF.getInfo<SystemZMachineFunctionInfo>();
2080b57cec5SDimitry Andric bool IsVarArg = MF.getFunction().isVarArg();
2090b57cec5SDimitry Andric DebugLoc DL;
2100b57cec5SDimitry Andric
2110b57cec5SDimitry Andric // Save GPRs
212480093f4SDimitry Andric SystemZ::GPRRegs SpillGPRs = ZFI->getSpillGPRRegs();
213480093f4SDimitry Andric if (SpillGPRs.LowGPR) {
214480093f4SDimitry Andric assert(SpillGPRs.LowGPR != SpillGPRs.HighGPR &&
215480093f4SDimitry Andric "Should be saving %r15 and something else");
2160b57cec5SDimitry Andric
2170b57cec5SDimitry Andric // Build an STMG instruction.
2180b57cec5SDimitry Andric MachineInstrBuilder MIB = BuildMI(MBB, MBBI, DL, TII->get(SystemZ::STMG));
2190b57cec5SDimitry Andric
2200b57cec5SDimitry Andric // Add the explicit register operands.
221480093f4SDimitry Andric addSavedGPR(MBB, MIB, SpillGPRs.LowGPR, false);
222480093f4SDimitry Andric addSavedGPR(MBB, MIB, SpillGPRs.HighGPR, false);
2230b57cec5SDimitry Andric
2240b57cec5SDimitry Andric // Add the address.
225480093f4SDimitry Andric MIB.addReg(SystemZ::R15D).addImm(SpillGPRs.GPROffset);
2260b57cec5SDimitry Andric
2270b57cec5SDimitry Andric // Make sure all call-saved GPRs are included as operands and are
2280b57cec5SDimitry Andric // marked as live on entry.
2290b57cec5SDimitry Andric for (unsigned I = 0, E = CSI.size(); I != E; ++I) {
2300b57cec5SDimitry Andric unsigned Reg = CSI[I].getReg();
2310b57cec5SDimitry Andric if (SystemZ::GR64BitRegClass.contains(Reg))
2320b57cec5SDimitry Andric addSavedGPR(MBB, MIB, Reg, true);
2330b57cec5SDimitry Andric }
2340b57cec5SDimitry Andric
2350b57cec5SDimitry Andric // ...likewise GPR varargs.
2360b57cec5SDimitry Andric if (IsVarArg)
237*5f7ddb14SDimitry Andric for (unsigned I = ZFI->getVarArgsFirstGPR(); I < SystemZ::ELFNumArgGPRs; ++I)
238*5f7ddb14SDimitry Andric addSavedGPR(MBB, MIB, SystemZ::ELFArgGPRs[I], true);
2390b57cec5SDimitry Andric }
2400b57cec5SDimitry Andric
2410b57cec5SDimitry Andric // Save FPRs/VRs in the normal TargetInstrInfo way.
2420b57cec5SDimitry Andric for (unsigned I = 0, E = CSI.size(); I != E; ++I) {
2430b57cec5SDimitry Andric unsigned Reg = CSI[I].getReg();
2440b57cec5SDimitry Andric if (SystemZ::FP64BitRegClass.contains(Reg)) {
2450b57cec5SDimitry Andric MBB.addLiveIn(Reg);
2460b57cec5SDimitry Andric TII->storeRegToStackSlot(MBB, MBBI, Reg, true, CSI[I].getFrameIdx(),
2470b57cec5SDimitry Andric &SystemZ::FP64BitRegClass, TRI);
2480b57cec5SDimitry Andric }
2490b57cec5SDimitry Andric if (SystemZ::VR128BitRegClass.contains(Reg)) {
2500b57cec5SDimitry Andric MBB.addLiveIn(Reg);
2510b57cec5SDimitry Andric TII->storeRegToStackSlot(MBB, MBBI, Reg, true, CSI[I].getFrameIdx(),
2520b57cec5SDimitry Andric &SystemZ::VR128BitRegClass, TRI);
2530b57cec5SDimitry Andric }
2540b57cec5SDimitry Andric }
2550b57cec5SDimitry Andric
2560b57cec5SDimitry Andric return true;
2570b57cec5SDimitry Andric }
2580b57cec5SDimitry Andric
restoreCalleeSavedRegisters(MachineBasicBlock & MBB,MachineBasicBlock::iterator MBBI,MutableArrayRef<CalleeSavedInfo> CSI,const TargetRegisterInfo * TRI) const2595ffd83dbSDimitry Andric bool SystemZFrameLowering::restoreCalleeSavedRegisters(
2605ffd83dbSDimitry Andric MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI,
2615ffd83dbSDimitry Andric MutableArrayRef<CalleeSavedInfo> CSI, const TargetRegisterInfo *TRI) const {
2620b57cec5SDimitry Andric if (CSI.empty())
2630b57cec5SDimitry Andric return false;
2640b57cec5SDimitry Andric
2650b57cec5SDimitry Andric MachineFunction &MF = *MBB.getParent();
2660b57cec5SDimitry Andric const TargetInstrInfo *TII = MF.getSubtarget().getInstrInfo();
2670b57cec5SDimitry Andric SystemZMachineFunctionInfo *ZFI = MF.getInfo<SystemZMachineFunctionInfo>();
2680b57cec5SDimitry Andric bool HasFP = hasFP(MF);
2690b57cec5SDimitry Andric DebugLoc DL = MBBI != MBB.end() ? MBBI->getDebugLoc() : DebugLoc();
2700b57cec5SDimitry Andric
2710b57cec5SDimitry Andric // Restore FPRs/VRs in the normal TargetInstrInfo way.
2720b57cec5SDimitry Andric for (unsigned I = 0, E = CSI.size(); I != E; ++I) {
2730b57cec5SDimitry Andric unsigned Reg = CSI[I].getReg();
2740b57cec5SDimitry Andric if (SystemZ::FP64BitRegClass.contains(Reg))
2750b57cec5SDimitry Andric TII->loadRegFromStackSlot(MBB, MBBI, Reg, CSI[I].getFrameIdx(),
2760b57cec5SDimitry Andric &SystemZ::FP64BitRegClass, TRI);
2770b57cec5SDimitry Andric if (SystemZ::VR128BitRegClass.contains(Reg))
2780b57cec5SDimitry Andric TII->loadRegFromStackSlot(MBB, MBBI, Reg, CSI[I].getFrameIdx(),
2790b57cec5SDimitry Andric &SystemZ::VR128BitRegClass, TRI);
2800b57cec5SDimitry Andric }
2810b57cec5SDimitry Andric
2820b57cec5SDimitry Andric // Restore call-saved GPRs (but not call-clobbered varargs, which at
2830b57cec5SDimitry Andric // this point might hold return values).
284480093f4SDimitry Andric SystemZ::GPRRegs RestoreGPRs = ZFI->getRestoreGPRRegs();
285480093f4SDimitry Andric if (RestoreGPRs.LowGPR) {
2860b57cec5SDimitry Andric // If we saved any of %r2-%r5 as varargs, we should also be saving
2870b57cec5SDimitry Andric // and restoring %r6. If we're saving %r6 or above, we should be
2880b57cec5SDimitry Andric // restoring it too.
289480093f4SDimitry Andric assert(RestoreGPRs.LowGPR != RestoreGPRs.HighGPR &&
290480093f4SDimitry Andric "Should be loading %r15 and something else");
2910b57cec5SDimitry Andric
2920b57cec5SDimitry Andric // Build an LMG instruction.
2930b57cec5SDimitry Andric MachineInstrBuilder MIB = BuildMI(MBB, MBBI, DL, TII->get(SystemZ::LMG));
2940b57cec5SDimitry Andric
2950b57cec5SDimitry Andric // Add the explicit register operands.
296480093f4SDimitry Andric MIB.addReg(RestoreGPRs.LowGPR, RegState::Define);
297480093f4SDimitry Andric MIB.addReg(RestoreGPRs.HighGPR, RegState::Define);
2980b57cec5SDimitry Andric
2990b57cec5SDimitry Andric // Add the address.
3000b57cec5SDimitry Andric MIB.addReg(HasFP ? SystemZ::R11D : SystemZ::R15D);
301480093f4SDimitry Andric MIB.addImm(RestoreGPRs.GPROffset);
3020b57cec5SDimitry Andric
3030b57cec5SDimitry Andric // Do a second scan adding regs as being defined by instruction
3040b57cec5SDimitry Andric for (unsigned I = 0, E = CSI.size(); I != E; ++I) {
3050b57cec5SDimitry Andric unsigned Reg = CSI[I].getReg();
306480093f4SDimitry Andric if (Reg != RestoreGPRs.LowGPR && Reg != RestoreGPRs.HighGPR &&
3070b57cec5SDimitry Andric SystemZ::GR64BitRegClass.contains(Reg))
3080b57cec5SDimitry Andric MIB.addReg(Reg, RegState::ImplicitDefine);
3090b57cec5SDimitry Andric }
3100b57cec5SDimitry Andric }
3110b57cec5SDimitry Andric
3120b57cec5SDimitry Andric return true;
3130b57cec5SDimitry Andric }
3140b57cec5SDimitry Andric
3150b57cec5SDimitry Andric void SystemZFrameLowering::
processFunctionBeforeFrameFinalized(MachineFunction & MF,RegScavenger * RS) const3160b57cec5SDimitry Andric processFunctionBeforeFrameFinalized(MachineFunction &MF,
3170b57cec5SDimitry Andric RegScavenger *RS) const {
3180b57cec5SDimitry Andric MachineFrameInfo &MFFrame = MF.getFrameInfo();
319af732203SDimitry Andric SystemZMachineFunctionInfo *ZFI = MF.getInfo<SystemZMachineFunctionInfo>();
320af732203SDimitry Andric MachineRegisterInfo *MRI = &MF.getRegInfo();
3215ffd83dbSDimitry Andric bool BackChain = MF.getFunction().hasFnAttribute("backchain");
322480093f4SDimitry Andric
3235ffd83dbSDimitry Andric if (!usePackedStack(MF) || BackChain)
3245ffd83dbSDimitry Andric // Create the incoming register save area.
325480093f4SDimitry Andric getOrCreateFramePointerSaveIndex(MF);
326480093f4SDimitry Andric
3270b57cec5SDimitry Andric // Get the size of our stack frame to be allocated ...
3280b57cec5SDimitry Andric uint64_t StackSize = (MFFrame.estimateStackSize(MF) +
329*5f7ddb14SDimitry Andric SystemZMC::ELFCallFrameSize);
3300b57cec5SDimitry Andric // ... and the maximum offset we may need to reach into the
3310b57cec5SDimitry Andric // caller's frame to access the save area or stack arguments.
332480093f4SDimitry Andric int64_t MaxArgOffset = 0;
3330b57cec5SDimitry Andric for (int I = MFFrame.getObjectIndexBegin(); I != 0; ++I)
3340b57cec5SDimitry Andric if (MFFrame.getObjectOffset(I) >= 0) {
335480093f4SDimitry Andric int64_t ArgOffset = MFFrame.getObjectOffset(I) +
3360b57cec5SDimitry Andric MFFrame.getObjectSize(I);
3370b57cec5SDimitry Andric MaxArgOffset = std::max(MaxArgOffset, ArgOffset);
3380b57cec5SDimitry Andric }
3390b57cec5SDimitry Andric
3400b57cec5SDimitry Andric uint64_t MaxReach = StackSize + MaxArgOffset;
3410b57cec5SDimitry Andric if (!isUInt<12>(MaxReach)) {
3420b57cec5SDimitry Andric // We may need register scavenging slots if some parts of the frame
3430b57cec5SDimitry Andric // are outside the reach of an unsigned 12-bit displacement.
3440b57cec5SDimitry Andric // Create 2 for the case where both addresses in an MVC are
3450b57cec5SDimitry Andric // out of range.
3465ffd83dbSDimitry Andric RS->addScavengingFrameIndex(MFFrame.CreateStackObject(8, Align(8), false));
3475ffd83dbSDimitry Andric RS->addScavengingFrameIndex(MFFrame.CreateStackObject(8, Align(8), false));
3480b57cec5SDimitry Andric }
349af732203SDimitry Andric
350af732203SDimitry Andric // If R6 is used as an argument register it is still callee saved. If it in
351af732203SDimitry Andric // this case is not clobbered (and restored) it should never be marked as
352af732203SDimitry Andric // killed.
353af732203SDimitry Andric if (MF.front().isLiveIn(SystemZ::R6D) &&
354af732203SDimitry Andric ZFI->getRestoreGPRRegs().LowGPR != SystemZ::R6D)
355af732203SDimitry Andric for (auto &MO : MRI->use_nodbg_operands(SystemZ::R6D))
356af732203SDimitry Andric MO.setIsKill(false);
3570b57cec5SDimitry Andric }
3580b57cec5SDimitry Andric
3590b57cec5SDimitry Andric // Emit instructions before MBBI (in MBB) to add NumBytes to Reg.
emitIncrement(MachineBasicBlock & MBB,MachineBasicBlock::iterator & MBBI,const DebugLoc & DL,Register Reg,int64_t NumBytes,const TargetInstrInfo * TII)3600b57cec5SDimitry Andric static void emitIncrement(MachineBasicBlock &MBB,
3615ffd83dbSDimitry Andric MachineBasicBlock::iterator &MBBI, const DebugLoc &DL,
3625ffd83dbSDimitry Andric Register Reg, int64_t NumBytes,
3630b57cec5SDimitry Andric const TargetInstrInfo *TII) {
3640b57cec5SDimitry Andric while (NumBytes) {
3650b57cec5SDimitry Andric unsigned Opcode;
3660b57cec5SDimitry Andric int64_t ThisVal = NumBytes;
3670b57cec5SDimitry Andric if (isInt<16>(NumBytes))
3680b57cec5SDimitry Andric Opcode = SystemZ::AGHI;
3690b57cec5SDimitry Andric else {
3700b57cec5SDimitry Andric Opcode = SystemZ::AGFI;
3710b57cec5SDimitry Andric // Make sure we maintain 8-byte stack alignment.
3720b57cec5SDimitry Andric int64_t MinVal = -uint64_t(1) << 31;
3730b57cec5SDimitry Andric int64_t MaxVal = (int64_t(1) << 31) - 8;
3740b57cec5SDimitry Andric if (ThisVal < MinVal)
3750b57cec5SDimitry Andric ThisVal = MinVal;
3760b57cec5SDimitry Andric else if (ThisVal > MaxVal)
3770b57cec5SDimitry Andric ThisVal = MaxVal;
3780b57cec5SDimitry Andric }
3790b57cec5SDimitry Andric MachineInstr *MI = BuildMI(MBB, MBBI, DL, TII->get(Opcode), Reg)
3800b57cec5SDimitry Andric .addReg(Reg).addImm(ThisVal);
3810b57cec5SDimitry Andric // The CC implicit def is dead.
3820b57cec5SDimitry Andric MI->getOperand(3).setIsDead();
3830b57cec5SDimitry Andric NumBytes -= ThisVal;
3840b57cec5SDimitry Andric }
3850b57cec5SDimitry Andric }
3860b57cec5SDimitry Andric
3875ffd83dbSDimitry Andric // Add CFI for the new CFA offset.
buildCFAOffs(MachineBasicBlock & MBB,MachineBasicBlock::iterator MBBI,const DebugLoc & DL,int Offset,const SystemZInstrInfo * ZII)3885ffd83dbSDimitry Andric static void buildCFAOffs(MachineBasicBlock &MBB,
3895ffd83dbSDimitry Andric MachineBasicBlock::iterator MBBI,
3905ffd83dbSDimitry Andric const DebugLoc &DL, int Offset,
3915ffd83dbSDimitry Andric const SystemZInstrInfo *ZII) {
3925ffd83dbSDimitry Andric unsigned CFIIndex = MBB.getParent()->addFrameInst(
3935ffd83dbSDimitry Andric MCCFIInstruction::cfiDefCfaOffset(nullptr, -Offset));
3945ffd83dbSDimitry Andric BuildMI(MBB, MBBI, DL, ZII->get(TargetOpcode::CFI_INSTRUCTION))
3955ffd83dbSDimitry Andric .addCFIIndex(CFIIndex);
3965ffd83dbSDimitry Andric }
3975ffd83dbSDimitry Andric
3985ffd83dbSDimitry Andric // Add CFI for the new frame location.
buildDefCFAReg(MachineBasicBlock & MBB,MachineBasicBlock::iterator MBBI,const DebugLoc & DL,unsigned Reg,const SystemZInstrInfo * ZII)3995ffd83dbSDimitry Andric static void buildDefCFAReg(MachineBasicBlock &MBB,
4005ffd83dbSDimitry Andric MachineBasicBlock::iterator MBBI,
4015ffd83dbSDimitry Andric const DebugLoc &DL, unsigned Reg,
4025ffd83dbSDimitry Andric const SystemZInstrInfo *ZII) {
4035ffd83dbSDimitry Andric MachineFunction &MF = *MBB.getParent();
4045ffd83dbSDimitry Andric MachineModuleInfo &MMI = MF.getMMI();
4055ffd83dbSDimitry Andric const MCRegisterInfo *MRI = MMI.getContext().getRegisterInfo();
4065ffd83dbSDimitry Andric unsigned RegNum = MRI->getDwarfRegNum(Reg, true);
4075ffd83dbSDimitry Andric unsigned CFIIndex = MF.addFrameInst(
4085ffd83dbSDimitry Andric MCCFIInstruction::createDefCfaRegister(nullptr, RegNum));
4095ffd83dbSDimitry Andric BuildMI(MBB, MBBI, DL, ZII->get(TargetOpcode::CFI_INSTRUCTION))
4105ffd83dbSDimitry Andric .addCFIIndex(CFIIndex);
4115ffd83dbSDimitry Andric }
4125ffd83dbSDimitry Andric
emitPrologue(MachineFunction & MF,MachineBasicBlock & MBB) const4130b57cec5SDimitry Andric void SystemZFrameLowering::emitPrologue(MachineFunction &MF,
4140b57cec5SDimitry Andric MachineBasicBlock &MBB) const {
4150b57cec5SDimitry Andric assert(&MF.front() == &MBB && "Shrink-wrapping not yet supported");
4165ffd83dbSDimitry Andric const SystemZSubtarget &STI = MF.getSubtarget<SystemZSubtarget>();
4175ffd83dbSDimitry Andric const SystemZTargetLowering &TLI = *STI.getTargetLowering();
4180b57cec5SDimitry Andric MachineFrameInfo &MFFrame = MF.getFrameInfo();
4195ffd83dbSDimitry Andric auto *ZII = static_cast<const SystemZInstrInfo *>(STI.getInstrInfo());
4200b57cec5SDimitry Andric SystemZMachineFunctionInfo *ZFI = MF.getInfo<SystemZMachineFunctionInfo>();
4210b57cec5SDimitry Andric MachineBasicBlock::iterator MBBI = MBB.begin();
4220b57cec5SDimitry Andric MachineModuleInfo &MMI = MF.getMMI();
4230b57cec5SDimitry Andric const MCRegisterInfo *MRI = MMI.getContext().getRegisterInfo();
4240b57cec5SDimitry Andric const std::vector<CalleeSavedInfo> &CSI = MFFrame.getCalleeSavedInfo();
4250b57cec5SDimitry Andric bool HasFP = hasFP(MF);
4260b57cec5SDimitry Andric
427480093f4SDimitry Andric // In GHC calling convention C stack space, including the ABI-defined
428480093f4SDimitry Andric // 160-byte base area, is (de)allocated by GHC itself. This stack space may
429480093f4SDimitry Andric // be used by LLVM as spill slots for the tail recursive GHC functions. Thus
430480093f4SDimitry Andric // do not allocate stack space here, too.
431480093f4SDimitry Andric if (MF.getFunction().getCallingConv() == CallingConv::GHC) {
432480093f4SDimitry Andric if (MFFrame.getStackSize() > 2048 * sizeof(long)) {
433480093f4SDimitry Andric report_fatal_error(
434480093f4SDimitry Andric "Pre allocated stack space for GHC function is too small");
435480093f4SDimitry Andric }
436480093f4SDimitry Andric if (HasFP) {
437480093f4SDimitry Andric report_fatal_error(
438480093f4SDimitry Andric "In GHC calling convention a frame pointer is not supported");
439480093f4SDimitry Andric }
440*5f7ddb14SDimitry Andric MFFrame.setStackSize(MFFrame.getStackSize() + SystemZMC::ELFCallFrameSize);
441480093f4SDimitry Andric return;
442480093f4SDimitry Andric }
443480093f4SDimitry Andric
4440b57cec5SDimitry Andric // Debug location must be unknown since the first debug location is used
4450b57cec5SDimitry Andric // to determine the end of the prologue.
4460b57cec5SDimitry Andric DebugLoc DL;
4470b57cec5SDimitry Andric
4480b57cec5SDimitry Andric // The current offset of the stack pointer from the CFA.
449*5f7ddb14SDimitry Andric int64_t SPOffsetFromCFA = -SystemZMC::ELFCFAOffsetFromInitialSP;
4500b57cec5SDimitry Andric
451480093f4SDimitry Andric if (ZFI->getSpillGPRRegs().LowGPR) {
4520b57cec5SDimitry Andric // Skip over the GPR saves.
4530b57cec5SDimitry Andric if (MBBI != MBB.end() && MBBI->getOpcode() == SystemZ::STMG)
4540b57cec5SDimitry Andric ++MBBI;
4550b57cec5SDimitry Andric else
4560b57cec5SDimitry Andric llvm_unreachable("Couldn't skip over GPR saves");
4570b57cec5SDimitry Andric
4580b57cec5SDimitry Andric // Add CFI for the GPR saves.
4590b57cec5SDimitry Andric for (auto &Save : CSI) {
4600b57cec5SDimitry Andric unsigned Reg = Save.getReg();
4610b57cec5SDimitry Andric if (SystemZ::GR64BitRegClass.contains(Reg)) {
462480093f4SDimitry Andric int FI = Save.getFrameIdx();
463480093f4SDimitry Andric int64_t Offset = MFFrame.getObjectOffset(FI);
4640b57cec5SDimitry Andric unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::createOffset(
4650b57cec5SDimitry Andric nullptr, MRI->getDwarfRegNum(Reg, true), Offset));
4660b57cec5SDimitry Andric BuildMI(MBB, MBBI, DL, ZII->get(TargetOpcode::CFI_INSTRUCTION))
4670b57cec5SDimitry Andric .addCFIIndex(CFIIndex);
4680b57cec5SDimitry Andric }
4690b57cec5SDimitry Andric }
4700b57cec5SDimitry Andric }
4710b57cec5SDimitry Andric
4720b57cec5SDimitry Andric uint64_t StackSize = MFFrame.getStackSize();
4730b57cec5SDimitry Andric // We need to allocate the ABI-defined 160-byte base area whenever
4740b57cec5SDimitry Andric // we allocate stack space for our own use and whenever we call another
4750b57cec5SDimitry Andric // function.
476480093f4SDimitry Andric bool HasStackObject = false;
477480093f4SDimitry Andric for (unsigned i = 0, e = MFFrame.getObjectIndexEnd(); i != e; ++i)
478480093f4SDimitry Andric if (!MFFrame.isDeadObjectIndex(i)) {
479480093f4SDimitry Andric HasStackObject = true;
480480093f4SDimitry Andric break;
4810b57cec5SDimitry Andric }
482480093f4SDimitry Andric if (HasStackObject || MFFrame.hasCalls())
483*5f7ddb14SDimitry Andric StackSize += SystemZMC::ELFCallFrameSize;
484480093f4SDimitry Andric // Don't allocate the incoming reg save area.
485*5f7ddb14SDimitry Andric StackSize = StackSize > SystemZMC::ELFCallFrameSize
486*5f7ddb14SDimitry Andric ? StackSize - SystemZMC::ELFCallFrameSize
487480093f4SDimitry Andric : 0;
488480093f4SDimitry Andric MFFrame.setStackSize(StackSize);
4890b57cec5SDimitry Andric
4900b57cec5SDimitry Andric if (StackSize) {
4910b57cec5SDimitry Andric // Allocate StackSize bytes.
4920b57cec5SDimitry Andric int64_t Delta = -int64_t(StackSize);
4935ffd83dbSDimitry Andric const unsigned ProbeSize = TLI.getStackProbeSize(MF);
4945ffd83dbSDimitry Andric bool FreeProbe = (ZFI->getSpillGPRRegs().GPROffset &&
4955ffd83dbSDimitry Andric (ZFI->getSpillGPRRegs().GPROffset + StackSize) < ProbeSize);
4965ffd83dbSDimitry Andric if (!FreeProbe &&
4975ffd83dbSDimitry Andric MF.getSubtarget().getTargetLowering()->hasInlineStackProbe(MF)) {
4985ffd83dbSDimitry Andric // Stack probing may involve looping, but splitting the prologue block
4995ffd83dbSDimitry Andric // is not possible at this point since it would invalidate the
5005ffd83dbSDimitry Andric // SaveBlocks / RestoreBlocks sets of PEI in the single block function
5015ffd83dbSDimitry Andric // case. Build a pseudo to be handled later by inlineStackProbe().
5025ffd83dbSDimitry Andric BuildMI(MBB, MBBI, DL, ZII->get(SystemZ::PROBED_STACKALLOC))
5035ffd83dbSDimitry Andric .addImm(StackSize);
5045ffd83dbSDimitry Andric }
5055ffd83dbSDimitry Andric else {
506af732203SDimitry Andric bool StoreBackchain = MF.getFunction().hasFnAttribute("backchain");
507af732203SDimitry Andric // If we need backchain, save current stack pointer. R1 is free at
508af732203SDimitry Andric // this point.
509af732203SDimitry Andric if (StoreBackchain)
510af732203SDimitry Andric BuildMI(MBB, MBBI, DL, ZII->get(SystemZ::LGR))
511af732203SDimitry Andric .addReg(SystemZ::R1D, RegState::Define).addReg(SystemZ::R15D);
5120b57cec5SDimitry Andric emitIncrement(MBB, MBBI, DL, SystemZ::R15D, Delta, ZII);
5135ffd83dbSDimitry Andric buildCFAOffs(MBB, MBBI, DL, SPOffsetFromCFA + Delta, ZII);
514af732203SDimitry Andric if (StoreBackchain)
5150b57cec5SDimitry Andric BuildMI(MBB, MBBI, DL, ZII->get(SystemZ::STG))
5165ffd83dbSDimitry Andric .addReg(SystemZ::R1D, RegState::Kill).addReg(SystemZ::R15D)
517af732203SDimitry Andric .addImm(getBackchainOffset(MF)).addReg(0);
5185ffd83dbSDimitry Andric }
519af732203SDimitry Andric SPOffsetFromCFA += Delta;
5200b57cec5SDimitry Andric }
5210b57cec5SDimitry Andric
5220b57cec5SDimitry Andric if (HasFP) {
5230b57cec5SDimitry Andric // Copy the base of the frame to R11.
5240b57cec5SDimitry Andric BuildMI(MBB, MBBI, DL, ZII->get(SystemZ::LGR), SystemZ::R11D)
5250b57cec5SDimitry Andric .addReg(SystemZ::R15D);
5260b57cec5SDimitry Andric
5270b57cec5SDimitry Andric // Add CFI for the new frame location.
5285ffd83dbSDimitry Andric buildDefCFAReg(MBB, MBBI, DL, SystemZ::R11D, ZII);
5290b57cec5SDimitry Andric
5300b57cec5SDimitry Andric // Mark the FramePtr as live at the beginning of every block except
5310b57cec5SDimitry Andric // the entry block. (We'll have marked R11 as live on entry when
5320b57cec5SDimitry Andric // saving the GPRs.)
5330b57cec5SDimitry Andric for (auto I = std::next(MF.begin()), E = MF.end(); I != E; ++I)
5340b57cec5SDimitry Andric I->addLiveIn(SystemZ::R11D);
5350b57cec5SDimitry Andric }
5360b57cec5SDimitry Andric
5370b57cec5SDimitry Andric // Skip over the FPR/VR saves.
5380b57cec5SDimitry Andric SmallVector<unsigned, 8> CFIIndexes;
5390b57cec5SDimitry Andric for (auto &Save : CSI) {
5400b57cec5SDimitry Andric unsigned Reg = Save.getReg();
5410b57cec5SDimitry Andric if (SystemZ::FP64BitRegClass.contains(Reg)) {
5420b57cec5SDimitry Andric if (MBBI != MBB.end() &&
5430b57cec5SDimitry Andric (MBBI->getOpcode() == SystemZ::STD ||
5440b57cec5SDimitry Andric MBBI->getOpcode() == SystemZ::STDY))
5450b57cec5SDimitry Andric ++MBBI;
5460b57cec5SDimitry Andric else
5470b57cec5SDimitry Andric llvm_unreachable("Couldn't skip over FPR save");
5480b57cec5SDimitry Andric } else if (SystemZ::VR128BitRegClass.contains(Reg)) {
5490b57cec5SDimitry Andric if (MBBI != MBB.end() &&
5500b57cec5SDimitry Andric MBBI->getOpcode() == SystemZ::VST)
5510b57cec5SDimitry Andric ++MBBI;
5520b57cec5SDimitry Andric else
5530b57cec5SDimitry Andric llvm_unreachable("Couldn't skip over VR save");
5540b57cec5SDimitry Andric } else
5550b57cec5SDimitry Andric continue;
5560b57cec5SDimitry Andric
5570b57cec5SDimitry Andric // Add CFI for the this save.
5580b57cec5SDimitry Andric unsigned DwarfReg = MRI->getDwarfRegNum(Reg, true);
5595ffd83dbSDimitry Andric Register IgnoredFrameReg;
5600b57cec5SDimitry Andric int64_t Offset =
561af732203SDimitry Andric getFrameIndexReference(MF, Save.getFrameIdx(), IgnoredFrameReg)
562af732203SDimitry Andric .getFixed();
5630b57cec5SDimitry Andric
5640b57cec5SDimitry Andric unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::createOffset(
5650b57cec5SDimitry Andric nullptr, DwarfReg, SPOffsetFromCFA + Offset));
5660b57cec5SDimitry Andric CFIIndexes.push_back(CFIIndex);
5670b57cec5SDimitry Andric }
5680b57cec5SDimitry Andric // Complete the CFI for the FPR/VR saves, modelling them as taking effect
5690b57cec5SDimitry Andric // after the last save.
5700b57cec5SDimitry Andric for (auto CFIIndex : CFIIndexes) {
5710b57cec5SDimitry Andric BuildMI(MBB, MBBI, DL, ZII->get(TargetOpcode::CFI_INSTRUCTION))
5720b57cec5SDimitry Andric .addCFIIndex(CFIIndex);
5730b57cec5SDimitry Andric }
5740b57cec5SDimitry Andric }
5750b57cec5SDimitry Andric
emitEpilogue(MachineFunction & MF,MachineBasicBlock & MBB) const5760b57cec5SDimitry Andric void SystemZFrameLowering::emitEpilogue(MachineFunction &MF,
5770b57cec5SDimitry Andric MachineBasicBlock &MBB) const {
5780b57cec5SDimitry Andric MachineBasicBlock::iterator MBBI = MBB.getLastNonDebugInstr();
5790b57cec5SDimitry Andric auto *ZII =
5800b57cec5SDimitry Andric static_cast<const SystemZInstrInfo *>(MF.getSubtarget().getInstrInfo());
5810b57cec5SDimitry Andric SystemZMachineFunctionInfo *ZFI = MF.getInfo<SystemZMachineFunctionInfo>();
5820b57cec5SDimitry Andric MachineFrameInfo &MFFrame = MF.getFrameInfo();
5830b57cec5SDimitry Andric
584480093f4SDimitry Andric // See SystemZFrameLowering::emitPrologue
585480093f4SDimitry Andric if (MF.getFunction().getCallingConv() == CallingConv::GHC)
586480093f4SDimitry Andric return;
587480093f4SDimitry Andric
5880b57cec5SDimitry Andric // Skip the return instruction.
5890b57cec5SDimitry Andric assert(MBBI->isReturn() && "Can only insert epilogue into returning blocks");
5900b57cec5SDimitry Andric
5910b57cec5SDimitry Andric uint64_t StackSize = MFFrame.getStackSize();
592480093f4SDimitry Andric if (ZFI->getRestoreGPRRegs().LowGPR) {
5930b57cec5SDimitry Andric --MBBI;
5940b57cec5SDimitry Andric unsigned Opcode = MBBI->getOpcode();
5950b57cec5SDimitry Andric if (Opcode != SystemZ::LMG)
5960b57cec5SDimitry Andric llvm_unreachable("Expected to see callee-save register restore code");
5970b57cec5SDimitry Andric
5980b57cec5SDimitry Andric unsigned AddrOpNo = 2;
5990b57cec5SDimitry Andric DebugLoc DL = MBBI->getDebugLoc();
6000b57cec5SDimitry Andric uint64_t Offset = StackSize + MBBI->getOperand(AddrOpNo + 1).getImm();
6010b57cec5SDimitry Andric unsigned NewOpcode = ZII->getOpcodeForOffset(Opcode, Offset);
6020b57cec5SDimitry Andric
6030b57cec5SDimitry Andric // If the offset is too large, use the largest stack-aligned offset
6040b57cec5SDimitry Andric // and add the rest to the base register (the stack or frame pointer).
6050b57cec5SDimitry Andric if (!NewOpcode) {
6060b57cec5SDimitry Andric uint64_t NumBytes = Offset - 0x7fff8;
6070b57cec5SDimitry Andric emitIncrement(MBB, MBBI, DL, MBBI->getOperand(AddrOpNo).getReg(),
6080b57cec5SDimitry Andric NumBytes, ZII);
6090b57cec5SDimitry Andric Offset -= NumBytes;
6100b57cec5SDimitry Andric NewOpcode = ZII->getOpcodeForOffset(Opcode, Offset);
6110b57cec5SDimitry Andric assert(NewOpcode && "No restore instruction available");
6120b57cec5SDimitry Andric }
6130b57cec5SDimitry Andric
6140b57cec5SDimitry Andric MBBI->setDesc(ZII->get(NewOpcode));
6150b57cec5SDimitry Andric MBBI->getOperand(AddrOpNo + 1).ChangeToImmediate(Offset);
6160b57cec5SDimitry Andric } else if (StackSize) {
6170b57cec5SDimitry Andric DebugLoc DL = MBBI->getDebugLoc();
6180b57cec5SDimitry Andric emitIncrement(MBB, MBBI, DL, SystemZ::R15D, StackSize, ZII);
6190b57cec5SDimitry Andric }
6200b57cec5SDimitry Andric }
6210b57cec5SDimitry Andric
inlineStackProbe(MachineFunction & MF,MachineBasicBlock & PrologMBB) const6225ffd83dbSDimitry Andric void SystemZFrameLowering::inlineStackProbe(MachineFunction &MF,
6235ffd83dbSDimitry Andric MachineBasicBlock &PrologMBB) const {
6245ffd83dbSDimitry Andric auto *ZII =
6255ffd83dbSDimitry Andric static_cast<const SystemZInstrInfo *>(MF.getSubtarget().getInstrInfo());
6265ffd83dbSDimitry Andric const SystemZSubtarget &STI = MF.getSubtarget<SystemZSubtarget>();
6275ffd83dbSDimitry Andric const SystemZTargetLowering &TLI = *STI.getTargetLowering();
6285ffd83dbSDimitry Andric
6295ffd83dbSDimitry Andric MachineInstr *StackAllocMI = nullptr;
6305ffd83dbSDimitry Andric for (MachineInstr &MI : PrologMBB)
6315ffd83dbSDimitry Andric if (MI.getOpcode() == SystemZ::PROBED_STACKALLOC) {
6325ffd83dbSDimitry Andric StackAllocMI = &MI;
6335ffd83dbSDimitry Andric break;
6345ffd83dbSDimitry Andric }
6355ffd83dbSDimitry Andric if (StackAllocMI == nullptr)
6365ffd83dbSDimitry Andric return;
6375ffd83dbSDimitry Andric uint64_t StackSize = StackAllocMI->getOperand(0).getImm();
6385ffd83dbSDimitry Andric const unsigned ProbeSize = TLI.getStackProbeSize(MF);
6395ffd83dbSDimitry Andric uint64_t NumFullBlocks = StackSize / ProbeSize;
6405ffd83dbSDimitry Andric uint64_t Residual = StackSize % ProbeSize;
641*5f7ddb14SDimitry Andric int64_t SPOffsetFromCFA = -SystemZMC::ELFCFAOffsetFromInitialSP;
6425ffd83dbSDimitry Andric MachineBasicBlock *MBB = &PrologMBB;
6435ffd83dbSDimitry Andric MachineBasicBlock::iterator MBBI = StackAllocMI;
6445ffd83dbSDimitry Andric const DebugLoc DL = StackAllocMI->getDebugLoc();
6455ffd83dbSDimitry Andric
6465ffd83dbSDimitry Andric // Allocate a block of Size bytes on the stack and probe it.
6475ffd83dbSDimitry Andric auto allocateAndProbe = [&](MachineBasicBlock &InsMBB,
6485ffd83dbSDimitry Andric MachineBasicBlock::iterator InsPt, unsigned Size,
6495ffd83dbSDimitry Andric bool EmitCFI) -> void {
6505ffd83dbSDimitry Andric emitIncrement(InsMBB, InsPt, DL, SystemZ::R15D, -int64_t(Size), ZII);
6515ffd83dbSDimitry Andric if (EmitCFI) {
6525ffd83dbSDimitry Andric SPOffsetFromCFA -= Size;
6535ffd83dbSDimitry Andric buildCFAOffs(InsMBB, InsPt, DL, SPOffsetFromCFA, ZII);
6545ffd83dbSDimitry Andric }
6555ffd83dbSDimitry Andric // Probe by means of a volatile compare.
6565ffd83dbSDimitry Andric MachineMemOperand *MMO = MF.getMachineMemOperand(MachinePointerInfo(),
6575ffd83dbSDimitry Andric MachineMemOperand::MOVolatile | MachineMemOperand::MOLoad, 8, Align(1));
6585ffd83dbSDimitry Andric BuildMI(InsMBB, InsPt, DL, ZII->get(SystemZ::CG))
6595ffd83dbSDimitry Andric .addReg(SystemZ::R0D, RegState::Undef)
6605ffd83dbSDimitry Andric .addReg(SystemZ::R15D).addImm(Size - 8).addReg(0)
6615ffd83dbSDimitry Andric .addMemOperand(MMO);
6625ffd83dbSDimitry Andric };
6635ffd83dbSDimitry Andric
664af732203SDimitry Andric bool StoreBackchain = MF.getFunction().hasFnAttribute("backchain");
665af732203SDimitry Andric if (StoreBackchain)
666af732203SDimitry Andric BuildMI(*MBB, MBBI, DL, ZII->get(SystemZ::LGR))
667af732203SDimitry Andric .addReg(SystemZ::R1D, RegState::Define).addReg(SystemZ::R15D);
668af732203SDimitry Andric
669af732203SDimitry Andric MachineBasicBlock *DoneMBB = nullptr;
670af732203SDimitry Andric MachineBasicBlock *LoopMBB = nullptr;
6715ffd83dbSDimitry Andric if (NumFullBlocks < 3) {
6725ffd83dbSDimitry Andric // Emit unrolled probe statements.
6735ffd83dbSDimitry Andric for (unsigned int i = 0; i < NumFullBlocks; i++)
6745ffd83dbSDimitry Andric allocateAndProbe(*MBB, MBBI, ProbeSize, true/*EmitCFI*/);
6755ffd83dbSDimitry Andric } else {
6765ffd83dbSDimitry Andric // Emit a loop probing the pages.
6775ffd83dbSDimitry Andric uint64_t LoopAlloc = ProbeSize * NumFullBlocks;
6785ffd83dbSDimitry Andric SPOffsetFromCFA -= LoopAlloc;
6795ffd83dbSDimitry Andric
680af732203SDimitry Andric // Use R0D to hold the exit value.
681af732203SDimitry Andric BuildMI(*MBB, MBBI, DL, ZII->get(SystemZ::LGR), SystemZ::R0D)
6825ffd83dbSDimitry Andric .addReg(SystemZ::R15D);
683af732203SDimitry Andric buildDefCFAReg(*MBB, MBBI, DL, SystemZ::R0D, ZII);
684af732203SDimitry Andric emitIncrement(*MBB, MBBI, DL, SystemZ::R0D, -int64_t(LoopAlloc), ZII);
685*5f7ddb14SDimitry Andric buildCFAOffs(*MBB, MBBI, DL, -int64_t(SystemZMC::ELFCallFrameSize + LoopAlloc),
6865ffd83dbSDimitry Andric ZII);
6875ffd83dbSDimitry Andric
688af732203SDimitry Andric DoneMBB = SystemZ::splitBlockBefore(MBBI, MBB);
689af732203SDimitry Andric LoopMBB = SystemZ::emitBlockAfter(MBB);
6905ffd83dbSDimitry Andric MBB->addSuccessor(LoopMBB);
6915ffd83dbSDimitry Andric LoopMBB->addSuccessor(LoopMBB);
6925ffd83dbSDimitry Andric LoopMBB->addSuccessor(DoneMBB);
6935ffd83dbSDimitry Andric
6945ffd83dbSDimitry Andric MBB = LoopMBB;
6955ffd83dbSDimitry Andric allocateAndProbe(*MBB, MBB->end(), ProbeSize, false/*EmitCFI*/);
6965ffd83dbSDimitry Andric BuildMI(*MBB, MBB->end(), DL, ZII->get(SystemZ::CLGR))
697af732203SDimitry Andric .addReg(SystemZ::R15D).addReg(SystemZ::R0D);
6985ffd83dbSDimitry Andric BuildMI(*MBB, MBB->end(), DL, ZII->get(SystemZ::BRC))
6995ffd83dbSDimitry Andric .addImm(SystemZ::CCMASK_ICMP).addImm(SystemZ::CCMASK_CMP_GT).addMBB(MBB);
7005ffd83dbSDimitry Andric
7015ffd83dbSDimitry Andric MBB = DoneMBB;
7025ffd83dbSDimitry Andric MBBI = DoneMBB->begin();
7035ffd83dbSDimitry Andric buildDefCFAReg(*MBB, MBBI, DL, SystemZ::R15D, ZII);
7045ffd83dbSDimitry Andric }
7055ffd83dbSDimitry Andric
7065ffd83dbSDimitry Andric if (Residual)
7075ffd83dbSDimitry Andric allocateAndProbe(*MBB, MBBI, Residual, true/*EmitCFI*/);
7085ffd83dbSDimitry Andric
709af732203SDimitry Andric if (StoreBackchain)
710af732203SDimitry Andric BuildMI(*MBB, MBBI, DL, ZII->get(SystemZ::STG))
711af732203SDimitry Andric .addReg(SystemZ::R1D, RegState::Kill).addReg(SystemZ::R15D)
712af732203SDimitry Andric .addImm(getBackchainOffset(MF)).addReg(0);
713af732203SDimitry Andric
7145ffd83dbSDimitry Andric StackAllocMI->eraseFromParent();
715af732203SDimitry Andric if (DoneMBB != nullptr) {
716af732203SDimitry Andric // Compute the live-in lists for the new blocks.
717af732203SDimitry Andric recomputeLiveIns(*DoneMBB);
718af732203SDimitry Andric recomputeLiveIns(*LoopMBB);
719af732203SDimitry Andric }
7205ffd83dbSDimitry Andric }
7215ffd83dbSDimitry Andric
hasFP(const MachineFunction & MF) const7220b57cec5SDimitry Andric bool SystemZFrameLowering::hasFP(const MachineFunction &MF) const {
7230b57cec5SDimitry Andric return (MF.getTarget().Options.DisableFramePointerElim(MF) ||
7240b57cec5SDimitry Andric MF.getFrameInfo().hasVarSizedObjects() ||
7250b57cec5SDimitry Andric MF.getInfo<SystemZMachineFunctionInfo>()->getManipulatesSP());
7260b57cec5SDimitry Andric }
7270b57cec5SDimitry Andric
7280b57cec5SDimitry Andric bool
hasReservedCallFrame(const MachineFunction & MF) const7290b57cec5SDimitry Andric SystemZFrameLowering::hasReservedCallFrame(const MachineFunction &MF) const {
7300b57cec5SDimitry Andric // The ABI requires us to allocate 160 bytes of stack space for the callee,
7310b57cec5SDimitry Andric // with any outgoing stack arguments being placed above that. It seems
7320b57cec5SDimitry Andric // better to make that area a permanent feature of the frame even if
7330b57cec5SDimitry Andric // we're using a frame pointer.
7340b57cec5SDimitry Andric return true;
7350b57cec5SDimitry Andric }
7360b57cec5SDimitry Andric
737af732203SDimitry Andric StackOffset
getFrameIndexReference(const MachineFunction & MF,int FI,Register & FrameReg) const738af732203SDimitry Andric SystemZFrameLowering::getFrameIndexReference(const MachineFunction &MF, int FI,
7395ffd83dbSDimitry Andric Register &FrameReg) const {
740*5f7ddb14SDimitry Andric // Our incoming SP is actually SystemZMC::ELFCallFrameSize below the CFA, so
741480093f4SDimitry Andric // add that difference here.
742af732203SDimitry Andric StackOffset Offset =
743480093f4SDimitry Andric TargetFrameLowering::getFrameIndexReference(MF, FI, FrameReg);
744*5f7ddb14SDimitry Andric return Offset + StackOffset::getFixed(SystemZMC::ELFCallFrameSize);
745480093f4SDimitry Andric }
746480093f4SDimitry Andric
7470b57cec5SDimitry Andric MachineBasicBlock::iterator SystemZFrameLowering::
eliminateCallFramePseudoInstr(MachineFunction & MF,MachineBasicBlock & MBB,MachineBasicBlock::iterator MI) const7480b57cec5SDimitry Andric eliminateCallFramePseudoInstr(MachineFunction &MF,
7490b57cec5SDimitry Andric MachineBasicBlock &MBB,
7500b57cec5SDimitry Andric MachineBasicBlock::iterator MI) const {
7510b57cec5SDimitry Andric switch (MI->getOpcode()) {
7520b57cec5SDimitry Andric case SystemZ::ADJCALLSTACKDOWN:
7530b57cec5SDimitry Andric case SystemZ::ADJCALLSTACKUP:
7540b57cec5SDimitry Andric assert(hasReservedCallFrame(MF) &&
7550b57cec5SDimitry Andric "ADJSTACKDOWN and ADJSTACKUP should be no-ops");
7560b57cec5SDimitry Andric return MBB.erase(MI);
7570b57cec5SDimitry Andric break;
7580b57cec5SDimitry Andric
7590b57cec5SDimitry Andric default:
7600b57cec5SDimitry Andric llvm_unreachable("Unexpected call frame instruction");
7610b57cec5SDimitry Andric }
7620b57cec5SDimitry Andric }
763480093f4SDimitry Andric
getRegSpillOffset(MachineFunction & MF,Register Reg) const7645ffd83dbSDimitry Andric unsigned SystemZFrameLowering::getRegSpillOffset(MachineFunction &MF,
7655ffd83dbSDimitry Andric Register Reg) const {
7665ffd83dbSDimitry Andric bool IsVarArg = MF.getFunction().isVarArg();
7675ffd83dbSDimitry Andric bool BackChain = MF.getFunction().hasFnAttribute("backchain");
7685ffd83dbSDimitry Andric bool SoftFloat = MF.getSubtarget<SystemZSubtarget>().hasSoftFloat();
7695ffd83dbSDimitry Andric unsigned Offset = RegSpillOffsets[Reg];
7705ffd83dbSDimitry Andric if (usePackedStack(MF) && !(IsVarArg && !SoftFloat)) {
7715ffd83dbSDimitry Andric if (SystemZ::GR64BitRegClass.contains(Reg))
7725ffd83dbSDimitry Andric // Put all GPRs at the top of the Register save area with packed
7735ffd83dbSDimitry Andric // stack. Make room for the backchain if needed.
7745ffd83dbSDimitry Andric Offset += BackChain ? 24 : 32;
7755ffd83dbSDimitry Andric else
7765ffd83dbSDimitry Andric Offset = 0;
7775ffd83dbSDimitry Andric }
7785ffd83dbSDimitry Andric return Offset;
7795ffd83dbSDimitry Andric }
7805ffd83dbSDimitry Andric
781480093f4SDimitry Andric int SystemZFrameLowering::
getOrCreateFramePointerSaveIndex(MachineFunction & MF) const782480093f4SDimitry Andric getOrCreateFramePointerSaveIndex(MachineFunction &MF) const {
783480093f4SDimitry Andric SystemZMachineFunctionInfo *ZFI = MF.getInfo<SystemZMachineFunctionInfo>();
784480093f4SDimitry Andric int FI = ZFI->getFramePointerSaveIndex();
785480093f4SDimitry Andric if (!FI) {
786480093f4SDimitry Andric MachineFrameInfo &MFFrame = MF.getFrameInfo();
787*5f7ddb14SDimitry Andric int Offset = getBackchainOffset(MF) - SystemZMC::ELFCallFrameSize;
7885ffd83dbSDimitry Andric FI = MFFrame.CreateFixedObject(8, Offset, false);
789480093f4SDimitry Andric ZFI->setFramePointerSaveIndex(FI);
790480093f4SDimitry Andric }
791480093f4SDimitry Andric return FI;
792480093f4SDimitry Andric }
7935ffd83dbSDimitry Andric
usePackedStack(MachineFunction & MF) const7945ffd83dbSDimitry Andric bool SystemZFrameLowering::usePackedStack(MachineFunction &MF) const {
7955ffd83dbSDimitry Andric bool HasPackedStackAttr = MF.getFunction().hasFnAttribute("packed-stack");
7965ffd83dbSDimitry Andric bool BackChain = MF.getFunction().hasFnAttribute("backchain");
7975ffd83dbSDimitry Andric bool SoftFloat = MF.getSubtarget<SystemZSubtarget>().hasSoftFloat();
7985ffd83dbSDimitry Andric if (HasPackedStackAttr && BackChain && !SoftFloat)
7995ffd83dbSDimitry Andric report_fatal_error("packed-stack + backchain + hard-float is unsupported.");
8005ffd83dbSDimitry Andric bool CallConv = MF.getFunction().getCallingConv() != CallingConv::GHC;
8015ffd83dbSDimitry Andric return HasPackedStackAttr && CallConv;
8025ffd83dbSDimitry Andric }
803