15f613dfdSUlrich Weigand //===-- SystemZFrameLowering.cpp - Frame lowering for SystemZ -------------===//
25f613dfdSUlrich Weigand //
35f613dfdSUlrich Weigand //                     The LLVM Compiler Infrastructure
45f613dfdSUlrich Weigand //
55f613dfdSUlrich Weigand // This file is distributed under the University of Illinois Open Source
65f613dfdSUlrich Weigand // License. See LICENSE.TXT for details.
75f613dfdSUlrich Weigand //
85f613dfdSUlrich Weigand //===----------------------------------------------------------------------===//
95f613dfdSUlrich Weigand 
105f613dfdSUlrich Weigand #include "SystemZFrameLowering.h"
115f613dfdSUlrich Weigand #include "SystemZCallingConv.h"
125f613dfdSUlrich Weigand #include "SystemZInstrBuilder.h"
13*f1bd22dfSEric Christopher #include "SystemZInstrInfo.h"
145f613dfdSUlrich Weigand #include "SystemZMachineFunctionInfo.h"
15*f1bd22dfSEric Christopher #include "SystemZRegisterInfo.h"
165f613dfdSUlrich Weigand #include "llvm/CodeGen/MachineModuleInfo.h"
175f613dfdSUlrich Weigand #include "llvm/CodeGen/MachineRegisterInfo.h"
185dd52f8cSRichard Sandiford #include "llvm/CodeGen/RegisterScavenging.h"
195f613dfdSUlrich Weigand #include "llvm/IR/Function.h"
205f613dfdSUlrich Weigand 
215f613dfdSUlrich Weigand using namespace llvm;
225f613dfdSUlrich Weigand 
23db39b4a2SRichard Sandiford namespace {
245f613dfdSUlrich Weigand // The ABI-defined register save slots, relative to the incoming stack
255f613dfdSUlrich Weigand // pointer.
26db39b4a2SRichard Sandiford static const TargetFrameLowering::SpillSlot SpillOffsetTable[] = {
275f613dfdSUlrich Weigand   { SystemZ::R2D,  0x10 },
285f613dfdSUlrich Weigand   { SystemZ::R3D,  0x18 },
295f613dfdSUlrich Weigand   { SystemZ::R4D,  0x20 },
305f613dfdSUlrich Weigand   { SystemZ::R5D,  0x28 },
315f613dfdSUlrich Weigand   { SystemZ::R6D,  0x30 },
325f613dfdSUlrich Weigand   { SystemZ::R7D,  0x38 },
335f613dfdSUlrich Weigand   { SystemZ::R8D,  0x40 },
345f613dfdSUlrich Weigand   { SystemZ::R9D,  0x48 },
355f613dfdSUlrich Weigand   { SystemZ::R10D, 0x50 },
365f613dfdSUlrich Weigand   { SystemZ::R11D, 0x58 },
375f613dfdSUlrich Weigand   { SystemZ::R12D, 0x60 },
385f613dfdSUlrich Weigand   { SystemZ::R13D, 0x68 },
395f613dfdSUlrich Weigand   { SystemZ::R14D, 0x70 },
405f613dfdSUlrich Weigand   { SystemZ::R15D, 0x78 },
415f613dfdSUlrich Weigand   { SystemZ::F0D,  0x80 },
425f613dfdSUlrich Weigand   { SystemZ::F2D,  0x88 },
435f613dfdSUlrich Weigand   { SystemZ::F4D,  0x90 },
445f613dfdSUlrich Weigand   { SystemZ::F6D,  0x98 }
455f613dfdSUlrich Weigand };
46c231269fSRichard Sandiford } // end anonymous namespace
475f613dfdSUlrich Weigand 
48*f1bd22dfSEric Christopher SystemZFrameLowering::SystemZFrameLowering()
49db39b4a2SRichard Sandiford     : TargetFrameLowering(TargetFrameLowering::StackGrowsDown, 8,
50*f1bd22dfSEric Christopher                           -SystemZMC::CallFrameSize, 8) {
515f613dfdSUlrich Weigand   // Create a mapping from register number to save slot offset.
525f613dfdSUlrich Weigand   RegSpillOffsets.grow(SystemZ::NUM_TARGET_REGS);
535f613dfdSUlrich Weigand   for (unsigned I = 0, E = array_lengthof(SpillOffsetTable); I != E; ++I)
54db39b4a2SRichard Sandiford     RegSpillOffsets[SpillOffsetTable[I].Reg] = SpillOffsetTable[I].Offset;
55db39b4a2SRichard Sandiford }
56db39b4a2SRichard Sandiford 
57db39b4a2SRichard Sandiford const TargetFrameLowering::SpillSlot *
58db39b4a2SRichard Sandiford SystemZFrameLowering::getCalleeSavedSpillSlots(unsigned &NumEntries) const {
59db39b4a2SRichard Sandiford   NumEntries = array_lengthof(SpillOffsetTable);
60db39b4a2SRichard Sandiford   return SpillOffsetTable;
615f613dfdSUlrich Weigand }
625f613dfdSUlrich Weigand 
635f613dfdSUlrich Weigand void SystemZFrameLowering::
645f613dfdSUlrich Weigand processFunctionBeforeCalleeSavedScan(MachineFunction &MF,
655f613dfdSUlrich Weigand                                      RegScavenger *RS) const {
665f613dfdSUlrich Weigand   MachineFrameInfo *MFFrame = MF.getFrameInfo();
675f613dfdSUlrich Weigand   MachineRegisterInfo &MRI = MF.getRegInfo();
685f613dfdSUlrich Weigand   const TargetRegisterInfo *TRI = MF.getTarget().getRegisterInfo();
695f613dfdSUlrich Weigand   bool HasFP = hasFP(MF);
705f613dfdSUlrich Weigand   SystemZMachineFunctionInfo *MFI = MF.getInfo<SystemZMachineFunctionInfo>();
715f613dfdSUlrich Weigand   bool IsVarArg = MF.getFunction()->isVarArg();
725f613dfdSUlrich Weigand 
735f613dfdSUlrich Weigand   // va_start stores incoming FPR varargs in the normal way, but delegates
745f613dfdSUlrich Weigand   // the saving of incoming GPR varargs to spillCalleeSavedRegisters().
755f613dfdSUlrich Weigand   // Record these pending uses, which typically include the call-saved
765f613dfdSUlrich Weigand   // argument register R6D.
775f613dfdSUlrich Weigand   if (IsVarArg)
785f613dfdSUlrich Weigand     for (unsigned I = MFI->getVarArgsFirstGPR(); I < SystemZ::NumArgGPRs; ++I)
795f613dfdSUlrich Weigand       MRI.setPhysRegUsed(SystemZ::ArgGPRs[I]);
805f613dfdSUlrich Weigand 
815f613dfdSUlrich Weigand   // If the function requires a frame pointer, record that the hard
825f613dfdSUlrich Weigand   // frame pointer will be clobbered.
835f613dfdSUlrich Weigand   if (HasFP)
845f613dfdSUlrich Weigand     MRI.setPhysRegUsed(SystemZ::R11D);
855f613dfdSUlrich Weigand 
865f613dfdSUlrich Weigand   // If the function calls other functions, record that the return
875f613dfdSUlrich Weigand   // address register will be clobbered.
885f613dfdSUlrich Weigand   if (MFFrame->hasCalls())
895f613dfdSUlrich Weigand     MRI.setPhysRegUsed(SystemZ::R14D);
905f613dfdSUlrich Weigand 
915f613dfdSUlrich Weigand   // If we are saving GPRs other than the stack pointer, we might as well
925f613dfdSUlrich Weigand   // save and restore the stack pointer at the same time, via STMG and LMG.
935f613dfdSUlrich Weigand   // This allows the deallocation to be done by the LMG, rather than needing
945f613dfdSUlrich Weigand   // a separate %r15 addition.
95840beec2SCraig Topper   const MCPhysReg *CSRegs = TRI->getCalleeSavedRegs(&MF);
965f613dfdSUlrich Weigand   for (unsigned I = 0; CSRegs[I]; ++I) {
975f613dfdSUlrich Weigand     unsigned Reg = CSRegs[I];
985f613dfdSUlrich Weigand     if (SystemZ::GR64BitRegClass.contains(Reg) && MRI.isPhysRegUsed(Reg)) {
995f613dfdSUlrich Weigand       MRI.setPhysRegUsed(SystemZ::R15D);
1005f613dfdSUlrich Weigand       break;
1015f613dfdSUlrich Weigand     }
1025f613dfdSUlrich Weigand   }
1035f613dfdSUlrich Weigand }
1045f613dfdSUlrich Weigand 
1055f613dfdSUlrich Weigand // Add GPR64 to the save instruction being built by MIB, which is in basic
1065f613dfdSUlrich Weigand // block MBB.  IsImplicit says whether this is an explicit operand to the
1075f613dfdSUlrich Weigand // instruction, or an implicit one that comes between the explicit start
1085f613dfdSUlrich Weigand // and end registers.
1095f613dfdSUlrich Weigand static void addSavedGPR(MachineBasicBlock &MBB, MachineInstrBuilder &MIB,
1105f613dfdSUlrich Weigand                         unsigned GPR64, bool IsImplicit) {
111*f1bd22dfSEric Christopher   const TargetRegisterInfo *RI = MBB.getParent()->getTarget().getRegisterInfo();
11287a44364SRichard Sandiford   unsigned GPR32 = RI->getSubReg(GPR64, SystemZ::subreg_l32);
1135f613dfdSUlrich Weigand   bool IsLive = MBB.isLiveIn(GPR64) || MBB.isLiveIn(GPR32);
1145f613dfdSUlrich Weigand   if (!IsLive || !IsImplicit) {
1155f613dfdSUlrich Weigand     MIB.addReg(GPR64, getImplRegState(IsImplicit) | getKillRegState(!IsLive));
1165f613dfdSUlrich Weigand     if (!IsLive)
1175f613dfdSUlrich Weigand       MBB.addLiveIn(GPR64);
1185f613dfdSUlrich Weigand   }
1195f613dfdSUlrich Weigand }
1205f613dfdSUlrich Weigand 
1215f613dfdSUlrich Weigand bool SystemZFrameLowering::
1225f613dfdSUlrich Weigand spillCalleeSavedRegisters(MachineBasicBlock &MBB,
1235f613dfdSUlrich Weigand                           MachineBasicBlock::iterator MBBI,
1245f613dfdSUlrich Weigand                           const std::vector<CalleeSavedInfo> &CSI,
1255f613dfdSUlrich Weigand                           const TargetRegisterInfo *TRI) const {
1265f613dfdSUlrich Weigand   if (CSI.empty())
1275f613dfdSUlrich Weigand     return false;
1285f613dfdSUlrich Weigand 
1295f613dfdSUlrich Weigand   MachineFunction &MF = *MBB.getParent();
1305f613dfdSUlrich Weigand   const TargetInstrInfo *TII = MF.getTarget().getInstrInfo();
1315f613dfdSUlrich Weigand   SystemZMachineFunctionInfo *ZFI = MF.getInfo<SystemZMachineFunctionInfo>();
1325f613dfdSUlrich Weigand   bool IsVarArg = MF.getFunction()->isVarArg();
1335f613dfdSUlrich Weigand   DebugLoc DL = MBBI != MBB.end() ? MBBI->getDebugLoc() : DebugLoc();
1345f613dfdSUlrich Weigand 
1355f613dfdSUlrich Weigand   // Scan the call-saved GPRs and find the bounds of the register spill area.
1365f613dfdSUlrich Weigand   unsigned LowGPR = 0;
1375f613dfdSUlrich Weigand   unsigned HighGPR = SystemZ::R15D;
1385f613dfdSUlrich Weigand   unsigned StartOffset = -1U;
1395f613dfdSUlrich Weigand   for (unsigned I = 0, E = CSI.size(); I != E; ++I) {
1405f613dfdSUlrich Weigand     unsigned Reg = CSI[I].getReg();
1415f613dfdSUlrich Weigand     if (SystemZ::GR64BitRegClass.contains(Reg)) {
1425f613dfdSUlrich Weigand       unsigned Offset = RegSpillOffsets[Reg];
1435f613dfdSUlrich Weigand       assert(Offset && "Unexpected GPR save");
1445f613dfdSUlrich Weigand       if (StartOffset > Offset) {
1455f613dfdSUlrich Weigand         LowGPR = Reg;
1465f613dfdSUlrich Weigand         StartOffset = Offset;
1475f613dfdSUlrich Weigand       }
1485f613dfdSUlrich Weigand     }
1495f613dfdSUlrich Weigand   }
1505f613dfdSUlrich Weigand 
151db39b4a2SRichard Sandiford   // Save the range of call-saved registers, for use by the epilogue inserter.
1525f613dfdSUlrich Weigand   ZFI->setLowSavedGPR(LowGPR);
1535f613dfdSUlrich Weigand   ZFI->setHighSavedGPR(HighGPR);
1545f613dfdSUlrich Weigand 
1555f613dfdSUlrich Weigand   // Include the GPR varargs, if any.  R6D is call-saved, so would
1565f613dfdSUlrich Weigand   // be included by the loop above, but we also need to handle the
1575f613dfdSUlrich Weigand   // call-clobbered argument registers.
1585f613dfdSUlrich Weigand   if (IsVarArg) {
1595f613dfdSUlrich Weigand     unsigned FirstGPR = ZFI->getVarArgsFirstGPR();
1605f613dfdSUlrich Weigand     if (FirstGPR < SystemZ::NumArgGPRs) {
1615f613dfdSUlrich Weigand       unsigned Reg = SystemZ::ArgGPRs[FirstGPR];
1625f613dfdSUlrich Weigand       unsigned Offset = RegSpillOffsets[Reg];
1635f613dfdSUlrich Weigand       if (StartOffset > Offset) {
1645f613dfdSUlrich Weigand         LowGPR = Reg; StartOffset = Offset;
1655f613dfdSUlrich Weigand       }
1665f613dfdSUlrich Weigand     }
1675f613dfdSUlrich Weigand   }
1685f613dfdSUlrich Weigand 
1695f613dfdSUlrich Weigand   // Save GPRs
1705f613dfdSUlrich Weigand   if (LowGPR) {
1715f613dfdSUlrich Weigand     assert(LowGPR != HighGPR && "Should be saving %r15 and something else");
1725f613dfdSUlrich Weigand 
1735f613dfdSUlrich Weigand     // Build an STMG instruction.
1745f613dfdSUlrich Weigand     MachineInstrBuilder MIB = BuildMI(MBB, MBBI, DL, TII->get(SystemZ::STMG));
1755f613dfdSUlrich Weigand 
1765f613dfdSUlrich Weigand     // Add the explicit register operands.
177*f1bd22dfSEric Christopher     addSavedGPR(MBB, MIB, LowGPR, false);
178*f1bd22dfSEric Christopher     addSavedGPR(MBB, MIB, HighGPR, false);
1795f613dfdSUlrich Weigand 
1805f613dfdSUlrich Weigand     // Add the address.
1815f613dfdSUlrich Weigand     MIB.addReg(SystemZ::R15D).addImm(StartOffset);
1825f613dfdSUlrich Weigand 
1835f613dfdSUlrich Weigand     // Make sure all call-saved GPRs are included as operands and are
1845f613dfdSUlrich Weigand     // marked as live on entry.
1855f613dfdSUlrich Weigand     for (unsigned I = 0, E = CSI.size(); I != E; ++I) {
1865f613dfdSUlrich Weigand       unsigned Reg = CSI[I].getReg();
1875f613dfdSUlrich Weigand       if (SystemZ::GR64BitRegClass.contains(Reg))
188*f1bd22dfSEric Christopher         addSavedGPR(MBB, MIB, Reg, true);
1895f613dfdSUlrich Weigand     }
1905f613dfdSUlrich Weigand 
1915f613dfdSUlrich Weigand     // ...likewise GPR varargs.
1925f613dfdSUlrich Weigand     if (IsVarArg)
1935f613dfdSUlrich Weigand       for (unsigned I = ZFI->getVarArgsFirstGPR(); I < SystemZ::NumArgGPRs; ++I)
194*f1bd22dfSEric Christopher         addSavedGPR(MBB, MIB, SystemZ::ArgGPRs[I], true);
1955f613dfdSUlrich Weigand   }
1965f613dfdSUlrich Weigand 
1975f613dfdSUlrich Weigand   // Save FPRs in the normal TargetInstrInfo way.
1985f613dfdSUlrich Weigand   for (unsigned I = 0, E = CSI.size(); I != E; ++I) {
1995f613dfdSUlrich Weigand     unsigned Reg = CSI[I].getReg();
2005f613dfdSUlrich Weigand     if (SystemZ::FP64BitRegClass.contains(Reg)) {
2015f613dfdSUlrich Weigand       MBB.addLiveIn(Reg);
2025f613dfdSUlrich Weigand       TII->storeRegToStackSlot(MBB, MBBI, Reg, true, CSI[I].getFrameIdx(),
2035f613dfdSUlrich Weigand                                &SystemZ::FP64BitRegClass, TRI);
2045f613dfdSUlrich Weigand     }
2055f613dfdSUlrich Weigand   }
2065f613dfdSUlrich Weigand 
2075f613dfdSUlrich Weigand   return true;
2085f613dfdSUlrich Weigand }
2095f613dfdSUlrich Weigand 
2105f613dfdSUlrich Weigand bool SystemZFrameLowering::
2115f613dfdSUlrich Weigand restoreCalleeSavedRegisters(MachineBasicBlock &MBB,
2125f613dfdSUlrich Weigand                             MachineBasicBlock::iterator MBBI,
2135f613dfdSUlrich Weigand                             const std::vector<CalleeSavedInfo> &CSI,
2145f613dfdSUlrich Weigand                             const TargetRegisterInfo *TRI) const {
2155f613dfdSUlrich Weigand   if (CSI.empty())
2165f613dfdSUlrich Weigand     return false;
2175f613dfdSUlrich Weigand 
2185f613dfdSUlrich Weigand   MachineFunction &MF = *MBB.getParent();
2195f613dfdSUlrich Weigand   const TargetInstrInfo *TII = MF.getTarget().getInstrInfo();
2205f613dfdSUlrich Weigand   SystemZMachineFunctionInfo *ZFI = MF.getInfo<SystemZMachineFunctionInfo>();
2215f613dfdSUlrich Weigand   bool HasFP = hasFP(MF);
2225f613dfdSUlrich Weigand   DebugLoc DL = MBBI != MBB.end() ? MBBI->getDebugLoc() : DebugLoc();
2235f613dfdSUlrich Weigand 
2245f613dfdSUlrich Weigand   // Restore FPRs in the normal TargetInstrInfo way.
2255f613dfdSUlrich Weigand   for (unsigned I = 0, E = CSI.size(); I != E; ++I) {
2265f613dfdSUlrich Weigand     unsigned Reg = CSI[I].getReg();
2275f613dfdSUlrich Weigand     if (SystemZ::FP64BitRegClass.contains(Reg))
2285f613dfdSUlrich Weigand       TII->loadRegFromStackSlot(MBB, MBBI, Reg, CSI[I].getFrameIdx(),
2295f613dfdSUlrich Weigand                                 &SystemZ::FP64BitRegClass, TRI);
2305f613dfdSUlrich Weigand   }
2315f613dfdSUlrich Weigand 
2325f613dfdSUlrich Weigand   // Restore call-saved GPRs (but not call-clobbered varargs, which at
2335f613dfdSUlrich Weigand   // this point might hold return values).
2345f613dfdSUlrich Weigand   unsigned LowGPR = ZFI->getLowSavedGPR();
2355f613dfdSUlrich Weigand   unsigned HighGPR = ZFI->getHighSavedGPR();
2365f613dfdSUlrich Weigand   unsigned StartOffset = RegSpillOffsets[LowGPR];
2375f613dfdSUlrich Weigand   if (LowGPR) {
2385f613dfdSUlrich Weigand     // If we saved any of %r2-%r5 as varargs, we should also be saving
2395f613dfdSUlrich Weigand     // and restoring %r6.  If we're saving %r6 or above, we should be
2405f613dfdSUlrich Weigand     // restoring it too.
2415f613dfdSUlrich Weigand     assert(LowGPR != HighGPR && "Should be loading %r15 and something else");
2425f613dfdSUlrich Weigand 
2435f613dfdSUlrich Weigand     // Build an LMG instruction.
2445f613dfdSUlrich Weigand     MachineInstrBuilder MIB = BuildMI(MBB, MBBI, DL, TII->get(SystemZ::LMG));
2455f613dfdSUlrich Weigand 
2465f613dfdSUlrich Weigand     // Add the explicit register operands.
2475f613dfdSUlrich Weigand     MIB.addReg(LowGPR, RegState::Define);
2485f613dfdSUlrich Weigand     MIB.addReg(HighGPR, RegState::Define);
2495f613dfdSUlrich Weigand 
2505f613dfdSUlrich Weigand     // Add the address.
2515f613dfdSUlrich Weigand     MIB.addReg(HasFP ? SystemZ::R11D : SystemZ::R15D);
2525f613dfdSUlrich Weigand     MIB.addImm(StartOffset);
2535f613dfdSUlrich Weigand 
2545f613dfdSUlrich Weigand     // Do a second scan adding regs as being defined by instruction
2555f613dfdSUlrich Weigand     for (unsigned I = 0, E = CSI.size(); I != E; ++I) {
2565f613dfdSUlrich Weigand       unsigned Reg = CSI[I].getReg();
2575f613dfdSUlrich Weigand       if (Reg != LowGPR && Reg != HighGPR)
2585f613dfdSUlrich Weigand         MIB.addReg(Reg, RegState::ImplicitDefine);
2595f613dfdSUlrich Weigand     }
2605f613dfdSUlrich Weigand   }
2615f613dfdSUlrich Weigand 
2625f613dfdSUlrich Weigand   return true;
2635f613dfdSUlrich Weigand }
2645f613dfdSUlrich Weigand 
2655dd52f8cSRichard Sandiford void SystemZFrameLowering::
2665dd52f8cSRichard Sandiford processFunctionBeforeFrameFinalized(MachineFunction &MF,
2675dd52f8cSRichard Sandiford                                     RegScavenger *RS) const {
2685dd52f8cSRichard Sandiford   MachineFrameInfo *MFFrame = MF.getFrameInfo();
2695dd52f8cSRichard Sandiford   uint64_t MaxReach = (MFFrame->estimateStackSize(MF) +
2705dd52f8cSRichard Sandiford                        SystemZMC::CallFrameSize * 2);
27123943229SRichard Sandiford   if (!isUInt<12>(MaxReach)) {
27223943229SRichard Sandiford     // We may need register scavenging slots if some parts of the frame
2735dd52f8cSRichard Sandiford     // are outside the reach of an unsigned 12-bit displacement.
27423943229SRichard Sandiford     // Create 2 for the case where both addresses in an MVC are
27523943229SRichard Sandiford     // out of range.
2765dd52f8cSRichard Sandiford     RS->addScavengingFrameIndex(MFFrame->CreateStackObject(8, 8, false));
27723943229SRichard Sandiford     RS->addScavengingFrameIndex(MFFrame->CreateStackObject(8, 8, false));
27823943229SRichard Sandiford   }
2795dd52f8cSRichard Sandiford }
2805dd52f8cSRichard Sandiford 
2815f613dfdSUlrich Weigand // Emit instructions before MBBI (in MBB) to add NumBytes to Reg.
2825f613dfdSUlrich Weigand static void emitIncrement(MachineBasicBlock &MBB,
2835f613dfdSUlrich Weigand                           MachineBasicBlock::iterator &MBBI,
2845f613dfdSUlrich Weigand                           const DebugLoc &DL,
2855f613dfdSUlrich Weigand                           unsigned Reg, int64_t NumBytes,
2865f613dfdSUlrich Weigand                           const TargetInstrInfo *TII) {
2875f613dfdSUlrich Weigand   while (NumBytes) {
2885f613dfdSUlrich Weigand     unsigned Opcode;
2895f613dfdSUlrich Weigand     int64_t ThisVal = NumBytes;
2905f613dfdSUlrich Weigand     if (isInt<16>(NumBytes))
2915f613dfdSUlrich Weigand       Opcode = SystemZ::AGHI;
2925f613dfdSUlrich Weigand     else {
2935f613dfdSUlrich Weigand       Opcode = SystemZ::AGFI;
2945f613dfdSUlrich Weigand       // Make sure we maintain 8-byte stack alignment.
2955f613dfdSUlrich Weigand       int64_t MinVal = -int64_t(1) << 31;
2965f613dfdSUlrich Weigand       int64_t MaxVal = (int64_t(1) << 31) - 8;
2975f613dfdSUlrich Weigand       if (ThisVal < MinVal)
2985f613dfdSUlrich Weigand         ThisVal = MinVal;
2995f613dfdSUlrich Weigand       else if (ThisVal > MaxVal)
3005f613dfdSUlrich Weigand         ThisVal = MaxVal;
3015f613dfdSUlrich Weigand     }
3025f613dfdSUlrich Weigand     MachineInstr *MI = BuildMI(MBB, MBBI, DL, TII->get(Opcode), Reg)
3035f613dfdSUlrich Weigand       .addReg(Reg).addImm(ThisVal);
30414a44495SRichard Sandiford     // The CC implicit def is dead.
3055f613dfdSUlrich Weigand     MI->getOperand(3).setIsDead();
3065f613dfdSUlrich Weigand     NumBytes -= ThisVal;
3075f613dfdSUlrich Weigand   }
3085f613dfdSUlrich Weigand }
3095f613dfdSUlrich Weigand 
3105f613dfdSUlrich Weigand void SystemZFrameLowering::emitPrologue(MachineFunction &MF) const {
3115f613dfdSUlrich Weigand   MachineBasicBlock &MBB = MF.front();
3125f613dfdSUlrich Weigand   MachineFrameInfo *MFFrame = MF.getFrameInfo();
31321f5d68aSRichard Sandiford   auto *ZII =
3145f613dfdSUlrich Weigand     static_cast<const SystemZInstrInfo*>(MF.getTarget().getInstrInfo());
3155f613dfdSUlrich Weigand   SystemZMachineFunctionInfo *ZFI = MF.getInfo<SystemZMachineFunctionInfo>();
3165f613dfdSUlrich Weigand   MachineBasicBlock::iterator MBBI = MBB.begin();
3175f613dfdSUlrich Weigand   MachineModuleInfo &MMI = MF.getMMI();
318bc07a890SBill Wendling   const MCRegisterInfo *MRI = MMI.getContext().getRegisterInfo();
3195f613dfdSUlrich Weigand   const std::vector<CalleeSavedInfo> &CSI = MFFrame->getCalleeSavedInfo();
3205f613dfdSUlrich Weigand   bool HasFP = hasFP(MF);
3215f613dfdSUlrich Weigand   DebugLoc DL = MBBI != MBB.end() ? MBBI->getDebugLoc() : DebugLoc();
3225f613dfdSUlrich Weigand 
3235f613dfdSUlrich Weigand   // The current offset of the stack pointer from the CFA.
3245f613dfdSUlrich Weigand   int64_t SPOffsetFromCFA = -SystemZMC::CFAOffsetFromInitialSP;
3255f613dfdSUlrich Weigand 
3265f613dfdSUlrich Weigand   if (ZFI->getLowSavedGPR()) {
3275f613dfdSUlrich Weigand     // Skip over the GPR saves.
3285f613dfdSUlrich Weigand     if (MBBI != MBB.end() && MBBI->getOpcode() == SystemZ::STMG)
3295f613dfdSUlrich Weigand       ++MBBI;
3305f613dfdSUlrich Weigand     else
3315f613dfdSUlrich Weigand       llvm_unreachable("Couldn't skip over GPR saves");
3325f613dfdSUlrich Weigand 
3335f613dfdSUlrich Weigand     // Add CFI for the GPR saves.
33428c111ecSRichard Sandiford     for (auto &Save : CSI) {
33528c111ecSRichard Sandiford       unsigned Reg = Save.getReg();
3365f613dfdSUlrich Weigand       if (SystemZ::GR64BitRegClass.contains(Reg)) {
3375f613dfdSUlrich Weigand         int64_t Offset = SPOffsetFromCFA + RegSpillOffsets[Reg];
338b1f25f1bSRafael Espindola         unsigned CFIIndex = MMI.addFrameInst(MCCFIInstruction::createOffset(
339b1f25f1bSRafael Espindola             nullptr, MRI->getDwarfRegNum(Reg, true), Offset));
340b1f25f1bSRafael Espindola         BuildMI(MBB, MBBI, DL, ZII->get(TargetOpcode::CFI_INSTRUCTION))
341b1f25f1bSRafael Espindola             .addCFIIndex(CFIIndex);
3425f613dfdSUlrich Weigand       }
3435f613dfdSUlrich Weigand     }
3445f613dfdSUlrich Weigand   }
3455f613dfdSUlrich Weigand 
3465f613dfdSUlrich Weigand   uint64_t StackSize = getAllocatedStackSize(MF);
3475f613dfdSUlrich Weigand   if (StackSize) {
3485f613dfdSUlrich Weigand     // Allocate StackSize bytes.
3495f613dfdSUlrich Weigand     int64_t Delta = -int64_t(StackSize);
3505f613dfdSUlrich Weigand     emitIncrement(MBB, MBBI, DL, SystemZ::R15D, Delta, ZII);
3515f613dfdSUlrich Weigand 
3525f613dfdSUlrich Weigand     // Add CFI for the allocation.
353b1f25f1bSRafael Espindola     unsigned CFIIndex = MMI.addFrameInst(
354b1f25f1bSRafael Espindola         MCCFIInstruction::createDefCfaOffset(nullptr, SPOffsetFromCFA + Delta));
355b1f25f1bSRafael Espindola     BuildMI(MBB, MBBI, DL, ZII->get(TargetOpcode::CFI_INSTRUCTION))
356b1f25f1bSRafael Espindola         .addCFIIndex(CFIIndex);
3575f613dfdSUlrich Weigand     SPOffsetFromCFA += Delta;
3585f613dfdSUlrich Weigand   }
3595f613dfdSUlrich Weigand 
3605f613dfdSUlrich Weigand   if (HasFP) {
3615f613dfdSUlrich Weigand     // Copy the base of the frame to R11.
3625f613dfdSUlrich Weigand     BuildMI(MBB, MBBI, DL, ZII->get(SystemZ::LGR), SystemZ::R11D)
3635f613dfdSUlrich Weigand       .addReg(SystemZ::R15D);
3645f613dfdSUlrich Weigand 
3655f613dfdSUlrich Weigand     // Add CFI for the new frame location.
366bc07a890SBill Wendling     unsigned HardFP = MRI->getDwarfRegNum(SystemZ::R11D, true);
367b1f25f1bSRafael Espindola     unsigned CFIIndex = MMI.addFrameInst(
368b1f25f1bSRafael Espindola         MCCFIInstruction::createDefCfaRegister(nullptr, HardFP));
369b1f25f1bSRafael Espindola     BuildMI(MBB, MBBI, DL, ZII->get(TargetOpcode::CFI_INSTRUCTION))
370b1f25f1bSRafael Espindola         .addCFIIndex(CFIIndex);
3715f613dfdSUlrich Weigand 
3725f613dfdSUlrich Weigand     // Mark the FramePtr as live at the beginning of every block except
3735f613dfdSUlrich Weigand     // the entry block.  (We'll have marked R11 as live on entry when
3745f613dfdSUlrich Weigand     // saving the GPRs.)
37528c111ecSRichard Sandiford     for (auto I = std::next(MF.begin()), E = MF.end(); I != E; ++I)
3765f613dfdSUlrich Weigand       I->addLiveIn(SystemZ::R11D);
3775f613dfdSUlrich Weigand   }
3785f613dfdSUlrich Weigand 
3795f613dfdSUlrich Weigand   // Skip over the FPR saves.
380b1f25f1bSRafael Espindola   SmallVector<unsigned, 8> CFIIndexes;
38128c111ecSRichard Sandiford   for (auto &Save : CSI) {
38228c111ecSRichard Sandiford     unsigned Reg = Save.getReg();
3835f613dfdSUlrich Weigand     if (SystemZ::FP64BitRegClass.contains(Reg)) {
3845f613dfdSUlrich Weigand       if (MBBI != MBB.end() &&
3855f613dfdSUlrich Weigand           (MBBI->getOpcode() == SystemZ::STD ||
3865f613dfdSUlrich Weigand            MBBI->getOpcode() == SystemZ::STDY))
3875f613dfdSUlrich Weigand         ++MBBI;
3885f613dfdSUlrich Weigand       else
3895f613dfdSUlrich Weigand         llvm_unreachable("Couldn't skip over FPR save");
3905f613dfdSUlrich Weigand 
3915f613dfdSUlrich Weigand       // Add CFI for the this save.
39228c111ecSRichard Sandiford       unsigned DwarfReg = MRI->getDwarfRegNum(Reg, true);
39328c111ecSRichard Sandiford       int64_t Offset = getFrameIndexOffset(MF, Save.getFrameIdx());
394b1f25f1bSRafael Espindola       unsigned CFIIndex = MMI.addFrameInst(MCCFIInstruction::createOffset(
395b1f25f1bSRafael Espindola           nullptr, DwarfReg, SPOffsetFromCFA + Offset));
396b1f25f1bSRafael Espindola       CFIIndexes.push_back(CFIIndex);
3975f613dfdSUlrich Weigand     }
3985f613dfdSUlrich Weigand   }
3995f613dfdSUlrich Weigand   // Complete the CFI for the FPR saves, modelling them as taking effect
4005f613dfdSUlrich Weigand   // after the last save.
401b1f25f1bSRafael Espindola   for (auto CFIIndex : CFIIndexes) {
402b1f25f1bSRafael Espindola     BuildMI(MBB, MBBI, DL, ZII->get(TargetOpcode::CFI_INSTRUCTION))
403b1f25f1bSRafael Espindola         .addCFIIndex(CFIIndex);
404b1f25f1bSRafael Espindola   }
4055f613dfdSUlrich Weigand }
4065f613dfdSUlrich Weigand 
4075f613dfdSUlrich Weigand void SystemZFrameLowering::emitEpilogue(MachineFunction &MF,
4085f613dfdSUlrich Weigand                                         MachineBasicBlock &MBB) const {
4095f613dfdSUlrich Weigand   MachineBasicBlock::iterator MBBI = MBB.getLastNonDebugInstr();
41021f5d68aSRichard Sandiford   auto *ZII =
4115f613dfdSUlrich Weigand     static_cast<const SystemZInstrInfo*>(MF.getTarget().getInstrInfo());
4125f613dfdSUlrich Weigand   SystemZMachineFunctionInfo *ZFI = MF.getInfo<SystemZMachineFunctionInfo>();
4135f613dfdSUlrich Weigand 
4145f613dfdSUlrich Weigand   // Skip the return instruction.
415709bda66SRichard Sandiford   assert(MBBI->isReturn() && "Can only insert epilogue into returning blocks");
4165f613dfdSUlrich Weigand 
4175f613dfdSUlrich Weigand   uint64_t StackSize = getAllocatedStackSize(MF);
4185f613dfdSUlrich Weigand   if (ZFI->getLowSavedGPR()) {
4195f613dfdSUlrich Weigand     --MBBI;
4205f613dfdSUlrich Weigand     unsigned Opcode = MBBI->getOpcode();
4215f613dfdSUlrich Weigand     if (Opcode != SystemZ::LMG)
4225f613dfdSUlrich Weigand       llvm_unreachable("Expected to see callee-save register restore code");
4235f613dfdSUlrich Weigand 
4245f613dfdSUlrich Weigand     unsigned AddrOpNo = 2;
4255f613dfdSUlrich Weigand     DebugLoc DL = MBBI->getDebugLoc();
4265f613dfdSUlrich Weigand     uint64_t Offset = StackSize + MBBI->getOperand(AddrOpNo + 1).getImm();
4275f613dfdSUlrich Weigand     unsigned NewOpcode = ZII->getOpcodeForOffset(Opcode, Offset);
4285f613dfdSUlrich Weigand 
4295f613dfdSUlrich Weigand     // If the offset is too large, use the largest stack-aligned offset
4305f613dfdSUlrich Weigand     // and add the rest to the base register (the stack or frame pointer).
4315f613dfdSUlrich Weigand     if (!NewOpcode) {
4325f613dfdSUlrich Weigand       uint64_t NumBytes = Offset - 0x7fff8;
4335f613dfdSUlrich Weigand       emitIncrement(MBB, MBBI, DL, MBBI->getOperand(AddrOpNo).getReg(),
4345f613dfdSUlrich Weigand                     NumBytes, ZII);
4355f613dfdSUlrich Weigand       Offset -= NumBytes;
4365f613dfdSUlrich Weigand       NewOpcode = ZII->getOpcodeForOffset(Opcode, Offset);
4375f613dfdSUlrich Weigand       assert(NewOpcode && "No restore instruction available");
4385f613dfdSUlrich Weigand     }
4395f613dfdSUlrich Weigand 
4405f613dfdSUlrich Weigand     MBBI->setDesc(ZII->get(NewOpcode));
4415f613dfdSUlrich Weigand     MBBI->getOperand(AddrOpNo + 1).ChangeToImmediate(Offset);
4425f613dfdSUlrich Weigand   } else if (StackSize) {
4435f613dfdSUlrich Weigand     DebugLoc DL = MBBI->getDebugLoc();
4445f613dfdSUlrich Weigand     emitIncrement(MBB, MBBI, DL, SystemZ::R15D, StackSize, ZII);
4455f613dfdSUlrich Weigand   }
4465f613dfdSUlrich Weigand }
4475f613dfdSUlrich Weigand 
4485f613dfdSUlrich Weigand bool SystemZFrameLowering::hasFP(const MachineFunction &MF) const {
4495f613dfdSUlrich Weigand   return (MF.getTarget().Options.DisableFramePointerElim(MF) ||
4505f613dfdSUlrich Weigand           MF.getFrameInfo()->hasVarSizedObjects() ||
4515f613dfdSUlrich Weigand           MF.getInfo<SystemZMachineFunctionInfo>()->getManipulatesSP());
4525f613dfdSUlrich Weigand }
4535f613dfdSUlrich Weigand 
4545f613dfdSUlrich Weigand int SystemZFrameLowering::getFrameIndexOffset(const MachineFunction &MF,
4555f613dfdSUlrich Weigand                                               int FI) const {
4565f613dfdSUlrich Weigand   const MachineFrameInfo *MFFrame = MF.getFrameInfo();
4575f613dfdSUlrich Weigand 
4585f613dfdSUlrich Weigand   // Start with the offset of FI from the top of the caller-allocated frame
4595f613dfdSUlrich Weigand   // (i.e. the top of the 160 bytes allocated by the caller).  This initial
4605f613dfdSUlrich Weigand   // offset is therefore negative.
4615f613dfdSUlrich Weigand   int64_t Offset = (MFFrame->getObjectOffset(FI) +
4625f613dfdSUlrich Weigand                     MFFrame->getOffsetAdjustment());
4635f613dfdSUlrich Weigand 
4645f613dfdSUlrich Weigand   // Make the offset relative to the incoming stack pointer.
4655f613dfdSUlrich Weigand   Offset -= getOffsetOfLocalArea();
4665f613dfdSUlrich Weigand 
4675f613dfdSUlrich Weigand   // Make the offset relative to the bottom of the frame.
4685f613dfdSUlrich Weigand   Offset += getAllocatedStackSize(MF);
4695f613dfdSUlrich Weigand 
4705f613dfdSUlrich Weigand   return Offset;
4715f613dfdSUlrich Weigand }
4725f613dfdSUlrich Weigand 
4735f613dfdSUlrich Weigand uint64_t SystemZFrameLowering::
4745f613dfdSUlrich Weigand getAllocatedStackSize(const MachineFunction &MF) const {
4755f613dfdSUlrich Weigand   const MachineFrameInfo *MFFrame = MF.getFrameInfo();
4765f613dfdSUlrich Weigand 
4775f613dfdSUlrich Weigand   // Start with the size of the local variables and spill slots.
4785f613dfdSUlrich Weigand   uint64_t StackSize = MFFrame->getStackSize();
4795f613dfdSUlrich Weigand 
4805f613dfdSUlrich Weigand   // We need to allocate the ABI-defined 160-byte base area whenever
4815f613dfdSUlrich Weigand   // we allocate stack space for our own use and whenever we call another
4825f613dfdSUlrich Weigand   // function.
4835f613dfdSUlrich Weigand   if (StackSize || MFFrame->hasVarSizedObjects() || MFFrame->hasCalls())
4845f613dfdSUlrich Weigand     StackSize += SystemZMC::CallFrameSize;
4855f613dfdSUlrich Weigand 
4865f613dfdSUlrich Weigand   return StackSize;
4875f613dfdSUlrich Weigand }
4885f613dfdSUlrich Weigand 
4895f613dfdSUlrich Weigand bool
4905f613dfdSUlrich Weigand SystemZFrameLowering::hasReservedCallFrame(const MachineFunction &MF) const {
4915f613dfdSUlrich Weigand   // The ABI requires us to allocate 160 bytes of stack space for the callee,
4925f613dfdSUlrich Weigand   // with any outgoing stack arguments being placed above that.  It seems
4935f613dfdSUlrich Weigand   // better to make that area a permanent feature of the frame even if
4945f613dfdSUlrich Weigand   // we're using a frame pointer.
4955f613dfdSUlrich Weigand   return true;
4965f613dfdSUlrich Weigand }
4975f613dfdSUlrich Weigand 
4985f613dfdSUlrich Weigand void SystemZFrameLowering::
4995f613dfdSUlrich Weigand eliminateCallFramePseudoInstr(MachineFunction &MF,
5005f613dfdSUlrich Weigand                               MachineBasicBlock &MBB,
5015f613dfdSUlrich Weigand                               MachineBasicBlock::iterator MI) const {
5025f613dfdSUlrich Weigand   switch (MI->getOpcode()) {
5035f613dfdSUlrich Weigand   case SystemZ::ADJCALLSTACKDOWN:
5045f613dfdSUlrich Weigand   case SystemZ::ADJCALLSTACKUP:
5055f613dfdSUlrich Weigand     assert(hasReservedCallFrame(MF) &&
5065f613dfdSUlrich Weigand            "ADJSTACKDOWN and ADJSTACKUP should be no-ops");
5075f613dfdSUlrich Weigand     MBB.erase(MI);
5085f613dfdSUlrich Weigand     break;
5095f613dfdSUlrich Weigand 
5105f613dfdSUlrich Weigand   default:
5115f613dfdSUlrich Weigand     llvm_unreachable("Unexpected call frame instruction");
5125f613dfdSUlrich Weigand   }
5135f613dfdSUlrich Weigand }
514