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" 17e8d8bef9SDimitry 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, 68*fe6060f1SDimitry Andric const DebugLoc &DL, bool IsPrologue) const; 690b57cec5SDimitry Andric 700b57cec5SDimitry Andric /// emitProlog/emitEpilog - These methods insert prolog and epilog code into 710b57cec5SDimitry Andric /// the function. 720b57cec5SDimitry Andric void emitPrologue(MachineFunction &MF, MachineBasicBlock &MBB) const override; 730b57cec5SDimitry Andric void emitEpilogue(MachineFunction &MF, MachineBasicBlock &MBB) const override; 740b57cec5SDimitry Andric 750b57cec5SDimitry Andric void adjustForSegmentedStacks(MachineFunction &MF, 760b57cec5SDimitry Andric MachineBasicBlock &PrologueMBB) const override; 770b57cec5SDimitry Andric 780b57cec5SDimitry Andric void adjustForHiPEPrologue(MachineFunction &MF, 790b57cec5SDimitry Andric MachineBasicBlock &PrologueMBB) const override; 800b57cec5SDimitry Andric 810b57cec5SDimitry Andric void determineCalleeSaves(MachineFunction &MF, BitVector &SavedRegs, 820b57cec5SDimitry Andric RegScavenger *RS = nullptr) const override; 830b57cec5SDimitry Andric 840b57cec5SDimitry Andric bool 850b57cec5SDimitry Andric assignCalleeSavedSpillSlots(MachineFunction &MF, 860b57cec5SDimitry Andric const TargetRegisterInfo *TRI, 870b57cec5SDimitry Andric std::vector<CalleeSavedInfo> &CSI) const override; 880b57cec5SDimitry Andric 890b57cec5SDimitry Andric bool spillCalleeSavedRegisters(MachineBasicBlock &MBB, 900b57cec5SDimitry Andric MachineBasicBlock::iterator MI, 915ffd83dbSDimitry Andric ArrayRef<CalleeSavedInfo> CSI, 920b57cec5SDimitry Andric const TargetRegisterInfo *TRI) const override; 930b57cec5SDimitry Andric 945ffd83dbSDimitry Andric bool 955ffd83dbSDimitry Andric restoreCalleeSavedRegisters(MachineBasicBlock &MBB, 960b57cec5SDimitry Andric MachineBasicBlock::iterator MI, 975ffd83dbSDimitry Andric MutableArrayRef<CalleeSavedInfo> CSI, 980b57cec5SDimitry Andric const TargetRegisterInfo *TRI) const override; 990b57cec5SDimitry Andric 1000b57cec5SDimitry Andric bool hasFP(const MachineFunction &MF) const override; 1010b57cec5SDimitry Andric bool hasReservedCallFrame(const MachineFunction &MF) const override; 1020b57cec5SDimitry Andric bool canSimplifyCallFramePseudos(const MachineFunction &MF) const override; 1030b57cec5SDimitry Andric bool needsFrameIndexResolution(const MachineFunction &MF) const override; 1040b57cec5SDimitry Andric 105e8d8bef9SDimitry Andric StackOffset getFrameIndexReference(const MachineFunction &MF, int FI, 1065ffd83dbSDimitry Andric Register &FrameReg) const override; 1070b57cec5SDimitry Andric 1085ffd83dbSDimitry Andric int getWin64EHFrameIndexRef(const MachineFunction &MF, int FI, 1095ffd83dbSDimitry Andric Register &SPReg) const; 110e8d8bef9SDimitry Andric StackOffset getFrameIndexReferenceSP(const MachineFunction &MF, int FI, 1115ffd83dbSDimitry Andric Register &SPReg, int Adjustment) const; 112e8d8bef9SDimitry Andric StackOffset 113e8d8bef9SDimitry Andric getFrameIndexReferencePreferSP(const MachineFunction &MF, int FI, 1145ffd83dbSDimitry Andric Register &FrameReg, 1150b57cec5SDimitry Andric bool IgnoreSPUpdates) const override; 1160b57cec5SDimitry Andric 1170b57cec5SDimitry Andric MachineBasicBlock::iterator 1180b57cec5SDimitry Andric eliminateCallFramePseudoInstr(MachineFunction &MF, MachineBasicBlock &MBB, 1190b57cec5SDimitry Andric MachineBasicBlock::iterator MI) const override; 1200b57cec5SDimitry Andric 1210b57cec5SDimitry Andric unsigned getWinEHParentFrameOffset(const MachineFunction &MF) const override; 1220b57cec5SDimitry Andric 1230b57cec5SDimitry Andric void processFunctionBeforeFrameFinalized(MachineFunction &MF, 1240b57cec5SDimitry Andric RegScavenger *RS) const override; 1250b57cec5SDimitry Andric 1265ffd83dbSDimitry Andric void 1275ffd83dbSDimitry Andric processFunctionBeforeFrameIndicesReplaced(MachineFunction &MF, 1285ffd83dbSDimitry Andric RegScavenger *RS) const override; 1295ffd83dbSDimitry Andric 1300b57cec5SDimitry Andric /// Check the instruction before/after the passed instruction. If 1310b57cec5SDimitry Andric /// it is an ADD/SUB/LEA instruction it is deleted argument and the 1320b57cec5SDimitry Andric /// stack adjustment is returned as a positive value for ADD/LEA and 1330b57cec5SDimitry Andric /// a negative for SUB. 1340b57cec5SDimitry Andric int mergeSPUpdates(MachineBasicBlock &MBB, MachineBasicBlock::iterator &MBBI, 1350b57cec5SDimitry Andric bool doMergeWithPrevious) const; 1360b57cec5SDimitry Andric 1370b57cec5SDimitry Andric /// Emit a series of instructions to increment / decrement the stack 1380b57cec5SDimitry Andric /// pointer by a constant value. 1390b57cec5SDimitry Andric void emitSPUpdate(MachineBasicBlock &MBB, MachineBasicBlock::iterator &MBBI, 1400b57cec5SDimitry Andric const DebugLoc &DL, int64_t NumBytes, bool InEpilogue) const; 1410b57cec5SDimitry Andric 1420b57cec5SDimitry Andric /// Check that LEA can be used on SP in an epilogue sequence for \p MF. 1430b57cec5SDimitry Andric bool canUseLEAForSPInEpilogue(const MachineFunction &MF) const; 1440b57cec5SDimitry Andric 1450b57cec5SDimitry Andric /// Check whether or not the given \p MBB can be used as a prologue 1460b57cec5SDimitry Andric /// for the target. 1470b57cec5SDimitry Andric /// The prologue will be inserted first in this basic block. 1480b57cec5SDimitry Andric /// This method is used by the shrink-wrapping pass to decide if 1490b57cec5SDimitry Andric /// \p MBB will be correctly handled by the target. 1500b57cec5SDimitry Andric /// As soon as the target enable shrink-wrapping without overriding 1510b57cec5SDimitry Andric /// this method, we assume that each basic block is a valid 1520b57cec5SDimitry Andric /// prologue. 1530b57cec5SDimitry Andric bool canUseAsPrologue(const MachineBasicBlock &MBB) const override; 1540b57cec5SDimitry Andric 1550b57cec5SDimitry Andric /// Check whether or not the given \p MBB can be used as a epilogue 1560b57cec5SDimitry Andric /// for the target. 1570b57cec5SDimitry Andric /// The epilogue will be inserted before the first terminator of that block. 1580b57cec5SDimitry Andric /// This method is used by the shrink-wrapping pass to decide if 1590b57cec5SDimitry Andric /// \p MBB will be correctly handled by the target. 1600b57cec5SDimitry Andric bool canUseAsEpilogue(const MachineBasicBlock &MBB) const override; 1610b57cec5SDimitry Andric 1620b57cec5SDimitry Andric /// Returns true if the target will correctly handle shrink wrapping. 1630b57cec5SDimitry Andric bool enableShrinkWrapping(const MachineFunction &MF) const override; 1640b57cec5SDimitry Andric 1650b57cec5SDimitry Andric /// Order the symbols in the local stack. 1660b57cec5SDimitry Andric /// We want to place the local stack objects in some sort of sensible order. 1670b57cec5SDimitry Andric /// The heuristic we use is to try and pack them according to static number 1680b57cec5SDimitry Andric /// of uses and size in order to minimize code size. 1690b57cec5SDimitry Andric void orderFrameObjects(const MachineFunction &MF, 1700b57cec5SDimitry Andric SmallVectorImpl<int> &ObjectsToAllocate) const override; 1710b57cec5SDimitry Andric 1720b57cec5SDimitry Andric /// Wraps up getting a CFI index and building a MachineInstr for it. 1730b57cec5SDimitry Andric void BuildCFI(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, 1740b57cec5SDimitry Andric const DebugLoc &DL, const MCCFIInstruction &CFIInst) const; 1750b57cec5SDimitry Andric 1760b57cec5SDimitry Andric /// Sets up EBP and optionally ESI based on the incoming EBP value. Only 1770b57cec5SDimitry Andric /// needed for 32-bit. Used in funclet prologues and at catchret destinations. 1780b57cec5SDimitry Andric MachineBasicBlock::iterator 1790b57cec5SDimitry Andric restoreWin32EHStackPointers(MachineBasicBlock &MBB, 1800b57cec5SDimitry Andric MachineBasicBlock::iterator MBBI, 1810b57cec5SDimitry Andric const DebugLoc &DL, bool RestoreSP = false) const; 1820b57cec5SDimitry Andric 1835ffd83dbSDimitry Andric void restoreWinEHStackPointersInParent(MachineFunction &MF) const; 1845ffd83dbSDimitry Andric 1850b57cec5SDimitry Andric int getInitialCFAOffset(const MachineFunction &MF) const override; 1860b57cec5SDimitry Andric 1875ffd83dbSDimitry Andric Register getInitialCFARegister(const MachineFunction &MF) const override; 1880b57cec5SDimitry Andric 1890b57cec5SDimitry Andric /// Return true if the function has a redzone (accessible bytes past the 1900b57cec5SDimitry Andric /// frame of the top of stack function) as part of it's ABI. 1910b57cec5SDimitry Andric bool has128ByteRedZone(const MachineFunction& MF) const; 1920b57cec5SDimitry Andric 1930b57cec5SDimitry Andric private: 194*fe6060f1SDimitry Andric bool isWin64Prologue(const MachineFunction &MF) const; 195*fe6060f1SDimitry Andric 196*fe6060f1SDimitry Andric bool needsDwarfCFI(const MachineFunction &MF) const; 197*fe6060f1SDimitry Andric 1980b57cec5SDimitry Andric uint64_t calculateMaxStackAlign(const MachineFunction &MF) const; 1990b57cec5SDimitry Andric 2000b57cec5SDimitry Andric /// Emit target stack probe as a call to a helper function 2010b57cec5SDimitry Andric void emitStackProbeCall(MachineFunction &MF, MachineBasicBlock &MBB, 2020b57cec5SDimitry Andric MachineBasicBlock::iterator MBBI, const DebugLoc &DL, 2030b57cec5SDimitry Andric bool InProlog) const; 2040b57cec5SDimitry Andric 2050b57cec5SDimitry Andric /// Emit target stack probe as an inline sequence. 2060b57cec5SDimitry Andric void emitStackProbeInline(MachineFunction &MF, MachineBasicBlock &MBB, 2070b57cec5SDimitry Andric MachineBasicBlock::iterator MBBI, 2080b57cec5SDimitry Andric const DebugLoc &DL, bool InProlog) const; 2095ffd83dbSDimitry Andric void emitStackProbeInlineWindowsCoreCLR64(MachineFunction &MF, 2105ffd83dbSDimitry Andric MachineBasicBlock &MBB, 2115ffd83dbSDimitry Andric MachineBasicBlock::iterator MBBI, 2125ffd83dbSDimitry Andric const DebugLoc &DL, 2135ffd83dbSDimitry Andric bool InProlog) const; 2145ffd83dbSDimitry Andric void emitStackProbeInlineGeneric(MachineFunction &MF, MachineBasicBlock &MBB, 2150b57cec5SDimitry Andric MachineBasicBlock::iterator MBBI, 2160b57cec5SDimitry Andric const DebugLoc &DL, bool InProlog) const; 2170b57cec5SDimitry Andric 2185ffd83dbSDimitry Andric void emitStackProbeInlineGenericBlock(MachineFunction &MF, 2195ffd83dbSDimitry Andric MachineBasicBlock &MBB, 2205ffd83dbSDimitry Andric MachineBasicBlock::iterator MBBI, 221eaeb601bSDimitry Andric const DebugLoc &DL, uint64_t Offset, 222eaeb601bSDimitry Andric uint64_t Align) const; 2235ffd83dbSDimitry Andric 2245ffd83dbSDimitry Andric void emitStackProbeInlineGenericLoop(MachineFunction &MF, 2255ffd83dbSDimitry Andric MachineBasicBlock &MBB, 2265ffd83dbSDimitry Andric MachineBasicBlock::iterator MBBI, 227eaeb601bSDimitry Andric const DebugLoc &DL, uint64_t Offset, 228eaeb601bSDimitry Andric uint64_t Align) const; 2295ffd83dbSDimitry Andric 230e8d8bef9SDimitry Andric void adjustFrameForMsvcCxxEh(MachineFunction &MF) const; 2315ffd83dbSDimitry Andric 2320b57cec5SDimitry Andric /// Aligns the stack pointer by ANDing it with -MaxAlign. 2330b57cec5SDimitry Andric void BuildStackAlignAND(MachineBasicBlock &MBB, 2340b57cec5SDimitry Andric MachineBasicBlock::iterator MBBI, const DebugLoc &DL, 2350b57cec5SDimitry Andric unsigned Reg, uint64_t MaxAlign) const; 2360b57cec5SDimitry Andric 2370b57cec5SDimitry Andric /// Make small positive stack adjustments using POPs. 2380b57cec5SDimitry Andric bool adjustStackWithPops(MachineBasicBlock &MBB, 2390b57cec5SDimitry Andric MachineBasicBlock::iterator MBBI, const DebugLoc &DL, 2400b57cec5SDimitry Andric int Offset) const; 2410b57cec5SDimitry Andric 2420b57cec5SDimitry Andric /// Adjusts the stack pointer using LEA, SUB, or ADD. 2430b57cec5SDimitry Andric MachineInstrBuilder BuildStackAdjustment(MachineBasicBlock &MBB, 2440b57cec5SDimitry Andric MachineBasicBlock::iterator MBBI, 2450b57cec5SDimitry Andric const DebugLoc &DL, int64_t Offset, 2460b57cec5SDimitry Andric bool InEpilogue) const; 2470b57cec5SDimitry Andric 2480b57cec5SDimitry Andric unsigned getPSPSlotOffsetFromSP(const MachineFunction &MF) const; 2490b57cec5SDimitry Andric 2500b57cec5SDimitry Andric unsigned getWinEHFuncletFrameSize(const MachineFunction &MF) const; 2510b57cec5SDimitry Andric 2520b57cec5SDimitry Andric /// Materialize the catchret target MBB in RAX. 2530b57cec5SDimitry Andric void emitCatchRetReturnValue(MachineBasicBlock &MBB, 2540b57cec5SDimitry Andric MachineBasicBlock::iterator MBBI, 2550b57cec5SDimitry Andric MachineInstr *CatchRet) const; 2560b57cec5SDimitry Andric }; 2570b57cec5SDimitry Andric 2580b57cec5SDimitry Andric } // End llvm namespace 2590b57cec5SDimitry Andric 2600b57cec5SDimitry Andric #endif 261