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