xref: /freebsd/contrib/llvm-project/llvm/lib/Target/X86/X86FrameLowering.h (revision e8d8bef961a50d4dc22501cde4fb9fb0be1b2532)
10b57cec5SDimitry Andric //===-- X86TargetFrameLowering.h - Define frame lowering for X86 -*- C++ -*-==//
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 // This class implements X86-specific bits of TargetFrameLowering class.
100b57cec5SDimitry Andric //
110b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
120b57cec5SDimitry Andric 
130b57cec5SDimitry Andric #ifndef LLVM_LIB_TARGET_X86_X86FRAMELOWERING_H
140b57cec5SDimitry Andric #define LLVM_LIB_TARGET_X86_X86FRAMELOWERING_H
150b57cec5SDimitry Andric 
160b57cec5SDimitry Andric #include "llvm/CodeGen/TargetFrameLowering.h"
17*e8d8bef9SDimitry Andric #include "llvm/Support/TypeSize.h"
180b57cec5SDimitry Andric 
190b57cec5SDimitry Andric namespace llvm {
200b57cec5SDimitry Andric 
210b57cec5SDimitry Andric class MachineInstrBuilder;
220b57cec5SDimitry Andric class MCCFIInstruction;
230b57cec5SDimitry Andric class X86InstrInfo;
240b57cec5SDimitry Andric class X86Subtarget;
250b57cec5SDimitry Andric class X86RegisterInfo;
260b57cec5SDimitry Andric 
270b57cec5SDimitry Andric class X86FrameLowering : public TargetFrameLowering {
280b57cec5SDimitry Andric public:
298bcb0991SDimitry Andric   X86FrameLowering(const X86Subtarget &STI, MaybeAlign StackAlignOverride);
300b57cec5SDimitry Andric 
310b57cec5SDimitry Andric   // Cached subtarget predicates.
320b57cec5SDimitry Andric 
330b57cec5SDimitry Andric   const X86Subtarget &STI;
340b57cec5SDimitry Andric   const X86InstrInfo &TII;
350b57cec5SDimitry Andric   const X86RegisterInfo *TRI;
360b57cec5SDimitry Andric 
370b57cec5SDimitry Andric   unsigned SlotSize;
380b57cec5SDimitry Andric 
390b57cec5SDimitry Andric   /// Is64Bit implies that x86_64 instructions are available.
400b57cec5SDimitry Andric   bool Is64Bit;
410b57cec5SDimitry Andric 
420b57cec5SDimitry Andric   bool IsLP64;
430b57cec5SDimitry Andric 
440b57cec5SDimitry Andric   /// True if the 64-bit frame or stack pointer should be used. True for most
450b57cec5SDimitry Andric   /// 64-bit targets with the exception of x32. If this is false, 32-bit
460b57cec5SDimitry Andric   /// instruction operands should be used to manipulate StackPtr and FramePtr.
470b57cec5SDimitry Andric   bool Uses64BitFramePtr;
480b57cec5SDimitry Andric 
490b57cec5SDimitry Andric   unsigned StackPtr;
500b57cec5SDimitry Andric 
510b57cec5SDimitry Andric   /// Emit target stack probe code. This is required for all
520b57cec5SDimitry Andric   /// large stack allocations on Windows. The caller is required to materialize
530b57cec5SDimitry Andric   /// the number of bytes to probe in RAX/EAX.
540b57cec5SDimitry Andric   void emitStackProbe(MachineFunction &MF, MachineBasicBlock &MBB,
550b57cec5SDimitry Andric                       MachineBasicBlock::iterator MBBI, const DebugLoc &DL,
560b57cec5SDimitry Andric                       bool InProlog) const;
570b57cec5SDimitry Andric 
580b57cec5SDimitry Andric   /// Replace a StackProbe inline-stub with the actual probe code inline.
590b57cec5SDimitry Andric   void inlineStackProbe(MachineFunction &MF,
600b57cec5SDimitry Andric                         MachineBasicBlock &PrologMBB) const override;
610b57cec5SDimitry Andric 
625ffd83dbSDimitry Andric   void
635ffd83dbSDimitry Andric   emitCalleeSavedFrameMoves(MachineBasicBlock &MBB,
645ffd83dbSDimitry Andric                             MachineBasicBlock::iterator MBBI) const override;
655ffd83dbSDimitry Andric 
660b57cec5SDimitry Andric   void emitCalleeSavedFrameMoves(MachineBasicBlock &MBB,
670b57cec5SDimitry Andric                                  MachineBasicBlock::iterator MBBI,
685ffd83dbSDimitry Andric                                  const DebugLoc &DL,
695ffd83dbSDimitry Andric                                  bool IsPrologue) const override;
700b57cec5SDimitry Andric 
710b57cec5SDimitry Andric   /// emitProlog/emitEpilog - These methods insert prolog and epilog code into
720b57cec5SDimitry Andric   /// the function.
730b57cec5SDimitry Andric   void emitPrologue(MachineFunction &MF, MachineBasicBlock &MBB) const override;
740b57cec5SDimitry Andric   void emitEpilogue(MachineFunction &MF, MachineBasicBlock &MBB) const override;
750b57cec5SDimitry Andric 
760b57cec5SDimitry Andric   void adjustForSegmentedStacks(MachineFunction &MF,
770b57cec5SDimitry Andric                                 MachineBasicBlock &PrologueMBB) const override;
780b57cec5SDimitry Andric 
790b57cec5SDimitry Andric   void adjustForHiPEPrologue(MachineFunction &MF,
800b57cec5SDimitry Andric                              MachineBasicBlock &PrologueMBB) const override;
810b57cec5SDimitry Andric 
820b57cec5SDimitry Andric   void determineCalleeSaves(MachineFunction &MF, BitVector &SavedRegs,
830b57cec5SDimitry Andric                             RegScavenger *RS = nullptr) const override;
840b57cec5SDimitry Andric 
850b57cec5SDimitry Andric   bool
860b57cec5SDimitry Andric   assignCalleeSavedSpillSlots(MachineFunction &MF,
870b57cec5SDimitry Andric                               const TargetRegisterInfo *TRI,
880b57cec5SDimitry Andric                               std::vector<CalleeSavedInfo> &CSI) const override;
890b57cec5SDimitry Andric 
900b57cec5SDimitry Andric   bool spillCalleeSavedRegisters(MachineBasicBlock &MBB,
910b57cec5SDimitry Andric                                  MachineBasicBlock::iterator MI,
925ffd83dbSDimitry Andric                                  ArrayRef<CalleeSavedInfo> CSI,
930b57cec5SDimitry Andric                                  const TargetRegisterInfo *TRI) const override;
940b57cec5SDimitry Andric 
955ffd83dbSDimitry Andric   bool
965ffd83dbSDimitry Andric   restoreCalleeSavedRegisters(MachineBasicBlock &MBB,
970b57cec5SDimitry Andric                               MachineBasicBlock::iterator MI,
985ffd83dbSDimitry Andric                               MutableArrayRef<CalleeSavedInfo> CSI,
990b57cec5SDimitry Andric                               const TargetRegisterInfo *TRI) const override;
1000b57cec5SDimitry Andric 
1010b57cec5SDimitry Andric   bool hasFP(const MachineFunction &MF) const override;
1020b57cec5SDimitry Andric   bool hasReservedCallFrame(const MachineFunction &MF) const override;
1030b57cec5SDimitry Andric   bool canSimplifyCallFramePseudos(const MachineFunction &MF) const override;
1040b57cec5SDimitry Andric   bool needsFrameIndexResolution(const MachineFunction &MF) const override;
1050b57cec5SDimitry Andric 
106*e8d8bef9SDimitry Andric   StackOffset getFrameIndexReference(const MachineFunction &MF, int FI,
1075ffd83dbSDimitry Andric                                      Register &FrameReg) const override;
1080b57cec5SDimitry Andric 
1095ffd83dbSDimitry Andric   int getWin64EHFrameIndexRef(const MachineFunction &MF, int FI,
1105ffd83dbSDimitry Andric                               Register &SPReg) const;
111*e8d8bef9SDimitry Andric   StackOffset getFrameIndexReferenceSP(const MachineFunction &MF, int FI,
1125ffd83dbSDimitry Andric                                        Register &SPReg, int Adjustment) const;
113*e8d8bef9SDimitry Andric   StackOffset
114*e8d8bef9SDimitry Andric   getFrameIndexReferencePreferSP(const MachineFunction &MF, int FI,
1155ffd83dbSDimitry Andric                                  Register &FrameReg,
1160b57cec5SDimitry Andric                                  bool IgnoreSPUpdates) const override;
1170b57cec5SDimitry Andric 
1180b57cec5SDimitry Andric   MachineBasicBlock::iterator
1190b57cec5SDimitry Andric   eliminateCallFramePseudoInstr(MachineFunction &MF, MachineBasicBlock &MBB,
1200b57cec5SDimitry Andric                                 MachineBasicBlock::iterator MI) const override;
1210b57cec5SDimitry Andric 
1220b57cec5SDimitry Andric   unsigned getWinEHParentFrameOffset(const MachineFunction &MF) const override;
1230b57cec5SDimitry Andric 
1240b57cec5SDimitry Andric   void processFunctionBeforeFrameFinalized(MachineFunction &MF,
1250b57cec5SDimitry Andric                                            RegScavenger *RS) const override;
1260b57cec5SDimitry Andric 
1275ffd83dbSDimitry Andric   void
1285ffd83dbSDimitry Andric   processFunctionBeforeFrameIndicesReplaced(MachineFunction &MF,
1295ffd83dbSDimitry Andric                                             RegScavenger *RS) const override;
1305ffd83dbSDimitry Andric 
1310b57cec5SDimitry Andric   /// Check the instruction before/after the passed instruction. If
1320b57cec5SDimitry Andric   /// it is an ADD/SUB/LEA instruction it is deleted argument and the
1330b57cec5SDimitry Andric   /// stack adjustment is returned as a positive value for ADD/LEA and
1340b57cec5SDimitry Andric   /// a negative for SUB.
1350b57cec5SDimitry Andric   int mergeSPUpdates(MachineBasicBlock &MBB, MachineBasicBlock::iterator &MBBI,
1360b57cec5SDimitry Andric                      bool doMergeWithPrevious) const;
1370b57cec5SDimitry Andric 
1380b57cec5SDimitry Andric   /// Emit a series of instructions to increment / decrement the stack
1390b57cec5SDimitry Andric   /// pointer by a constant value.
1400b57cec5SDimitry Andric   void emitSPUpdate(MachineBasicBlock &MBB, MachineBasicBlock::iterator &MBBI,
1410b57cec5SDimitry Andric                     const DebugLoc &DL, int64_t NumBytes, bool InEpilogue) const;
1420b57cec5SDimitry Andric 
1430b57cec5SDimitry Andric   /// Check that LEA can be used on SP in an epilogue sequence for \p MF.
1440b57cec5SDimitry Andric   bool canUseLEAForSPInEpilogue(const MachineFunction &MF) const;
1450b57cec5SDimitry Andric 
1460b57cec5SDimitry Andric   /// Check whether or not the given \p MBB can be used as a prologue
1470b57cec5SDimitry Andric   /// for the target.
1480b57cec5SDimitry Andric   /// The prologue will be inserted first in this basic block.
1490b57cec5SDimitry Andric   /// This method is used by the shrink-wrapping pass to decide if
1500b57cec5SDimitry Andric   /// \p MBB will be correctly handled by the target.
1510b57cec5SDimitry Andric   /// As soon as the target enable shrink-wrapping without overriding
1520b57cec5SDimitry Andric   /// this method, we assume that each basic block is a valid
1530b57cec5SDimitry Andric   /// prologue.
1540b57cec5SDimitry Andric   bool canUseAsPrologue(const MachineBasicBlock &MBB) const override;
1550b57cec5SDimitry Andric 
1560b57cec5SDimitry Andric   /// Check whether or not the given \p MBB can be used as a epilogue
1570b57cec5SDimitry Andric   /// for the target.
1580b57cec5SDimitry Andric   /// The epilogue will be inserted before the first terminator of that block.
1590b57cec5SDimitry Andric   /// This method is used by the shrink-wrapping pass to decide if
1600b57cec5SDimitry Andric   /// \p MBB will be correctly handled by the target.
1610b57cec5SDimitry Andric   bool canUseAsEpilogue(const MachineBasicBlock &MBB) const override;
1620b57cec5SDimitry Andric 
1630b57cec5SDimitry Andric   /// Returns true if the target will correctly handle shrink wrapping.
1640b57cec5SDimitry Andric   bool enableShrinkWrapping(const MachineFunction &MF) const override;
1650b57cec5SDimitry Andric 
1660b57cec5SDimitry Andric   /// Order the symbols in the local stack.
1670b57cec5SDimitry Andric   /// We want to place the local stack objects in some sort of sensible order.
1680b57cec5SDimitry Andric   /// The heuristic we use is to try and pack them according to static number
1690b57cec5SDimitry Andric   /// of uses and size in order to minimize code size.
1700b57cec5SDimitry Andric   void orderFrameObjects(const MachineFunction &MF,
1710b57cec5SDimitry Andric                          SmallVectorImpl<int> &ObjectsToAllocate) const override;
1720b57cec5SDimitry Andric 
1730b57cec5SDimitry Andric   /// Wraps up getting a CFI index and building a MachineInstr for it.
1740b57cec5SDimitry Andric   void BuildCFI(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI,
1750b57cec5SDimitry Andric                 const DebugLoc &DL, const MCCFIInstruction &CFIInst) const;
1760b57cec5SDimitry Andric 
1770b57cec5SDimitry Andric   /// Sets up EBP and optionally ESI based on the incoming EBP value.  Only
1780b57cec5SDimitry Andric   /// needed for 32-bit. Used in funclet prologues and at catchret destinations.
1790b57cec5SDimitry Andric   MachineBasicBlock::iterator
1800b57cec5SDimitry Andric   restoreWin32EHStackPointers(MachineBasicBlock &MBB,
1810b57cec5SDimitry Andric                               MachineBasicBlock::iterator MBBI,
1820b57cec5SDimitry Andric                               const DebugLoc &DL, bool RestoreSP = false) const;
1830b57cec5SDimitry Andric 
1845ffd83dbSDimitry Andric   void restoreWinEHStackPointersInParent(MachineFunction &MF) const;
1855ffd83dbSDimitry Andric 
1860b57cec5SDimitry Andric   int getInitialCFAOffset(const MachineFunction &MF) const override;
1870b57cec5SDimitry Andric 
1885ffd83dbSDimitry Andric   Register getInitialCFARegister(const MachineFunction &MF) const override;
1890b57cec5SDimitry Andric 
1900b57cec5SDimitry Andric   /// Return true if the function has a redzone (accessible bytes past the
1910b57cec5SDimitry Andric   /// frame of the top of stack function) as part of it's ABI.
1920b57cec5SDimitry Andric   bool has128ByteRedZone(const MachineFunction& MF) const;
1930b57cec5SDimitry Andric 
1940b57cec5SDimitry Andric private:
1950b57cec5SDimitry Andric   uint64_t calculateMaxStackAlign(const MachineFunction &MF) const;
1960b57cec5SDimitry Andric 
1970b57cec5SDimitry Andric   /// Emit target stack probe as a call to a helper function
1980b57cec5SDimitry Andric   void emitStackProbeCall(MachineFunction &MF, MachineBasicBlock &MBB,
1990b57cec5SDimitry Andric                           MachineBasicBlock::iterator MBBI, const DebugLoc &DL,
2000b57cec5SDimitry Andric                           bool InProlog) const;
2010b57cec5SDimitry Andric 
2020b57cec5SDimitry Andric   /// Emit target stack probe as an inline sequence.
2030b57cec5SDimitry Andric   void emitStackProbeInline(MachineFunction &MF, MachineBasicBlock &MBB,
2040b57cec5SDimitry Andric                             MachineBasicBlock::iterator MBBI,
2050b57cec5SDimitry Andric                             const DebugLoc &DL, bool InProlog) const;
2065ffd83dbSDimitry Andric   void emitStackProbeInlineWindowsCoreCLR64(MachineFunction &MF,
2075ffd83dbSDimitry Andric                                             MachineBasicBlock &MBB,
2085ffd83dbSDimitry Andric                                             MachineBasicBlock::iterator MBBI,
2095ffd83dbSDimitry Andric                                             const DebugLoc &DL,
2105ffd83dbSDimitry Andric                                             bool InProlog) const;
2115ffd83dbSDimitry Andric   void emitStackProbeInlineGeneric(MachineFunction &MF, MachineBasicBlock &MBB,
2120b57cec5SDimitry Andric                                    MachineBasicBlock::iterator MBBI,
2130b57cec5SDimitry Andric                                    const DebugLoc &DL, bool InProlog) const;
2140b57cec5SDimitry Andric 
2155ffd83dbSDimitry Andric   void emitStackProbeInlineGenericBlock(MachineFunction &MF,
2165ffd83dbSDimitry Andric                                         MachineBasicBlock &MBB,
2175ffd83dbSDimitry Andric                                         MachineBasicBlock::iterator MBBI,
218eaeb601bSDimitry Andric                                         const DebugLoc &DL, uint64_t Offset,
219eaeb601bSDimitry Andric                                         uint64_t Align) const;
2205ffd83dbSDimitry Andric 
2215ffd83dbSDimitry Andric   void emitStackProbeInlineGenericLoop(MachineFunction &MF,
2225ffd83dbSDimitry Andric                                        MachineBasicBlock &MBB,
2235ffd83dbSDimitry Andric                                        MachineBasicBlock::iterator MBBI,
224eaeb601bSDimitry Andric                                        const DebugLoc &DL, uint64_t Offset,
225eaeb601bSDimitry Andric                                        uint64_t Align) const;
2265ffd83dbSDimitry Andric 
227*e8d8bef9SDimitry Andric   void adjustFrameForMsvcCxxEh(MachineFunction &MF) const;
2285ffd83dbSDimitry Andric 
2290b57cec5SDimitry Andric   /// Aligns the stack pointer by ANDing it with -MaxAlign.
2300b57cec5SDimitry Andric   void BuildStackAlignAND(MachineBasicBlock &MBB,
2310b57cec5SDimitry Andric                           MachineBasicBlock::iterator MBBI, const DebugLoc &DL,
2320b57cec5SDimitry Andric                           unsigned Reg, uint64_t MaxAlign) const;
2330b57cec5SDimitry Andric 
2340b57cec5SDimitry Andric   /// Make small positive stack adjustments using POPs.
2350b57cec5SDimitry Andric   bool adjustStackWithPops(MachineBasicBlock &MBB,
2360b57cec5SDimitry Andric                            MachineBasicBlock::iterator MBBI, const DebugLoc &DL,
2370b57cec5SDimitry Andric                            int Offset) const;
2380b57cec5SDimitry Andric 
2390b57cec5SDimitry Andric   /// Adjusts the stack pointer using LEA, SUB, or ADD.
2400b57cec5SDimitry Andric   MachineInstrBuilder BuildStackAdjustment(MachineBasicBlock &MBB,
2410b57cec5SDimitry Andric                                            MachineBasicBlock::iterator MBBI,
2420b57cec5SDimitry Andric                                            const DebugLoc &DL, int64_t Offset,
2430b57cec5SDimitry Andric                                            bool InEpilogue) const;
2440b57cec5SDimitry Andric 
2450b57cec5SDimitry Andric   unsigned getPSPSlotOffsetFromSP(const MachineFunction &MF) const;
2460b57cec5SDimitry Andric 
2470b57cec5SDimitry Andric   unsigned getWinEHFuncletFrameSize(const MachineFunction &MF) const;
2480b57cec5SDimitry Andric 
2490b57cec5SDimitry Andric   /// Materialize the catchret target MBB in RAX.
2500b57cec5SDimitry Andric   void emitCatchRetReturnValue(MachineBasicBlock &MBB,
2510b57cec5SDimitry Andric                                MachineBasicBlock::iterator MBBI,
2520b57cec5SDimitry Andric                                MachineInstr *CatchRet) const;
2530b57cec5SDimitry Andric };
2540b57cec5SDimitry Andric 
2550b57cec5SDimitry Andric } // End llvm namespace
2560b57cec5SDimitry Andric 
2570b57cec5SDimitry Andric #endif
258