blob: 863dc8b229688ce7c0e8e61b4007e83ed53386a9 [file] [log] [blame]
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001//===-- X86TargetFrameLowering.h - Define frame lowering for X86 -*- C++ -*-==//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This class implements X86-specific bits of TargetFrameLowering class.
11//
12//===----------------------------------------------------------------------===//
13
14#ifndef LLVM_LIB_TARGET_X86_X86FRAMELOWERING_H
15#define LLVM_LIB_TARGET_X86_X86FRAMELOWERING_H
16
17#include "llvm/Target/TargetFrameLowering.h"
18
19namespace llvm {
20
Reid Kleckner98d78032015-06-18 20:22:12 +000021class MachineInstrBuilder;
Reid Kleckner3854f7b2015-06-18 18:03:25 +000022class MCCFIInstruction;
Serge Pavlov49acf9c2017-04-13 14:10:52 +000023class X86InstrInfo;
Reid Klecknerf9977bf2015-06-17 21:50:02 +000024class X86Subtarget;
25class X86RegisterInfo;
26
Michael Kupersteine86aa9a2015-02-01 16:15:07 +000027class X86FrameLowering : public TargetFrameLowering {
28public:
Reid Klecknerf9977bf2015-06-17 21:50:02 +000029 X86FrameLowering(const X86Subtarget &STI, unsigned StackAlignOverride);
30
31 // Cached subtarget predicates.
32
33 const X86Subtarget &STI;
Serge Pavlov49acf9c2017-04-13 14:10:52 +000034 const X86InstrInfo &TII;
Reid Kleckner034ea962015-06-18 20:32:02 +000035 const X86RegisterInfo *TRI;
Reid Klecknerf9977bf2015-06-17 21:50:02 +000036
37 unsigned SlotSize;
38
39 /// Is64Bit implies that x86_64 instructions are available.
40 bool Is64Bit;
41
42 bool IsLP64;
43
44 /// True if the 64-bit frame or stack pointer should be used. True for most
45 /// 64-bit targets with the exception of x32. If this is false, 32-bit
46 /// instruction operands should be used to manipulate StackPtr and FramePtr.
47 bool Uses64BitFramePtr;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +000048
Reid Kleckner3854f7b2015-06-18 18:03:25 +000049 unsigned StackPtr;
50
Andy Ayers809cbe92015-11-10 01:50:49 +000051 /// Emit target stack probe code. This is required for all
Michael Kupersteine86aa9a2015-02-01 16:15:07 +000052 /// large stack allocations on Windows. The caller is required to materialize
Reid Kleckner468e7932016-10-13 15:48:48 +000053 /// the number of bytes to probe in RAX/EAX.
54 void emitStackProbe(MachineFunction &MF, MachineBasicBlock &MBB,
55 MachineBasicBlock::iterator MBBI, const DebugLoc &DL,
56 bool InProlog) const;
Andy Ayers809cbe92015-11-10 01:50:49 +000057
58 /// Replace a StackProbe inline-stub with the actual probe code inline.
59 void inlineStackProbe(MachineFunction &MF,
60 MachineBasicBlock &PrologMBB) const override;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +000061
62 void emitCalleeSavedFrameMoves(MachineBasicBlock &MBB,
63 MachineBasicBlock::iterator MBBI,
Benjamin Kramerbdc49562016-06-12 15:39:02 +000064 const DebugLoc &DL) const;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +000065
66 /// emitProlog/emitEpilog - These methods insert prolog and epilog code into
67 /// the function.
Quentin Colombet61b305e2015-05-05 17:38:16 +000068 void emitPrologue(MachineFunction &MF, MachineBasicBlock &MBB) const override;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +000069 void emitEpilogue(MachineFunction &MF, MachineBasicBlock &MBB) const override;
70
Quentin Colombet61b305e2015-05-05 17:38:16 +000071 void adjustForSegmentedStacks(MachineFunction &MF,
72 MachineBasicBlock &PrologueMBB) const override;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +000073
Quentin Colombet61b305e2015-05-05 17:38:16 +000074 void adjustForHiPEPrologue(MachineFunction &MF,
75 MachineBasicBlock &PrologueMBB) const override;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +000076
Matthias Braun02564862015-07-14 17:17:13 +000077 void determineCalleeSaves(MachineFunction &MF, BitVector &SavedRegs,
78 RegScavenger *RS = nullptr) const override;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +000079
80 bool
81 assignCalleeSavedSpillSlots(MachineFunction &MF,
82 const TargetRegisterInfo *TRI,
83 std::vector<CalleeSavedInfo> &CSI) const override;
84
85 bool spillCalleeSavedRegisters(MachineBasicBlock &MBB,
86 MachineBasicBlock::iterator MI,
87 const std::vector<CalleeSavedInfo> &CSI,
88 const TargetRegisterInfo *TRI) const override;
89
90 bool restoreCalleeSavedRegisters(MachineBasicBlock &MBB,
91 MachineBasicBlock::iterator MI,
92 const std::vector<CalleeSavedInfo> &CSI,
93 const TargetRegisterInfo *TRI) const override;
94
95 bool hasFP(const MachineFunction &MF) const override;
96 bool hasReservedCallFrame(const MachineFunction &MF) const override;
Michael Kuperstein13fbd452015-02-01 16:56:04 +000097 bool canSimplifyCallFramePseudos(const MachineFunction &MF) const override;
98 bool needsFrameIndexResolution(const MachineFunction &MF) const override;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +000099
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000100 int getFrameIndexReference(const MachineFunction &MF, int FI,
101 unsigned &FrameReg) const override;
102
Sanjoy Das0ebc9612016-06-16 18:54:06 +0000103 int getFrameIndexReferencePreferSP(const MachineFunction &MF, int FI,
104 unsigned &FrameReg,
105 bool IgnoreSPUpdates) const override;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000106
Hans Wennborge1a2e902016-03-31 18:33:38 +0000107 MachineBasicBlock::iterator
108 eliminateCallFramePseudoInstr(MachineFunction &MF, MachineBasicBlock &MBB,
109 MachineBasicBlock::iterator MI) const override;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000110
Reid Kleckner28e49032015-10-16 23:43:27 +0000111 unsigned getWinEHParentFrameOffset(const MachineFunction &MF) const override;
112
Reid Kleckner94b57062015-11-13 19:06:01 +0000113 void processFunctionBeforeFrameFinalized(MachineFunction &MF,
114 RegScavenger *RS) const override;
115
Quentin Colombet494eb602015-05-22 18:10:47 +0000116 /// Check the instruction before/after the passed instruction. If
117 /// it is an ADD/SUB/LEA instruction it is deleted argument and the
118 /// stack adjustment is returned as a positive value for ADD/LEA and
119 /// a negative for SUB.
Reid Klecknerf9977bf2015-06-17 21:50:02 +0000120 int mergeSPUpdates(MachineBasicBlock &MBB, MachineBasicBlock::iterator &MBBI,
Reid Kleckner3854f7b2015-06-18 18:03:25 +0000121 bool doMergeWithPrevious) const;
Quentin Colombet494eb602015-05-22 18:10:47 +0000122
123 /// Emit a series of instructions to increment / decrement the stack
124 /// pointer by a constant value.
Reid Klecknerf9977bf2015-06-17 21:50:02 +0000125 void emitSPUpdate(MachineBasicBlock &MBB, MachineBasicBlock::iterator &MBBI,
Reid Kleckner98d78032015-06-18 20:22:12 +0000126 int64_t NumBytes, bool InEpilogue) const;
Quentin Colombet494eb602015-05-22 18:10:47 +0000127
Quentin Colombetaa8020752015-05-27 06:28:41 +0000128 /// Check that LEA can be used on SP in an epilogue sequence for \p MF.
129 bool canUseLEAForSPInEpilogue(const MachineFunction &MF) const;
130
Quentin Colombet4ff3cfb2016-04-26 23:44:14 +0000131 /// Check whether or not the given \p MBB can be used as a prologue
132 /// for the target.
133 /// The prologue will be inserted first in this basic block.
134 /// This method is used by the shrink-wrapping pass to decide if
135 /// \p MBB will be correctly handled by the target.
136 /// As soon as the target enable shrink-wrapping without overriding
137 /// this method, we assume that each basic block is a valid
138 /// prologue.
139 bool canUseAsPrologue(const MachineBasicBlock &MBB) const override;
140
Quentin Colombetaa8020752015-05-27 06:28:41 +0000141 /// Check whether or not the given \p MBB can be used as a epilogue
142 /// for the target.
143 /// The epilogue will be inserted before the first terminator of that block.
144 /// This method is used by the shrink-wrapping pass to decide if
145 /// \p MBB will be correctly handled by the target.
146 bool canUseAsEpilogue(const MachineBasicBlock &MBB) const override;
Quentin Colombet494eb602015-05-22 18:10:47 +0000147
Quentin Colombet5d2f7cf2015-12-09 23:08:18 +0000148 /// Returns true if the target will correctly handle shrink wrapping.
149 bool enableShrinkWrapping(const MachineFunction &MF) const override;
150
Zia Ansari30a02382016-02-15 23:44:13 +0000151 /// Order the symbols in the local stack.
152 /// We want to place the local stack objects in some sort of sensible order.
153 /// The heuristic we use is to try and pack them according to static number
154 /// of uses and size in order to minimize code size.
155 void orderFrameObjects(const MachineFunction &MF,
156 SmallVectorImpl<int> &ObjectsToAllocate) const override;
157
Andy Ayers809cbe92015-11-10 01:50:49 +0000158 /// convertArgMovsToPushes - This method tries to convert a call sequence
159 /// that uses sub and mov instructions to put the argument onto the stack
160 /// into a series of pushes.
161 /// Returns true if the transformation succeeded, false if not.
162 bool convertArgMovsToPushes(MachineFunction &MF,
163 MachineBasicBlock &MBB,
164 MachineBasicBlock::iterator I,
165 uint64_t Amount) const;
166
Reid Kleckner3854f7b2015-06-18 18:03:25 +0000167 /// Wraps up getting a CFI index and building a MachineInstr for it.
168 void BuildCFI(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI,
Benjamin Kramerbdc49562016-06-12 15:39:02 +0000169 const DebugLoc &DL, const MCCFIInstruction &CFIInst) const;
Reid Kleckner3854f7b2015-06-18 18:03:25 +0000170
Reid Kleckner51460c12015-11-06 01:49:05 +0000171 /// Sets up EBP and optionally ESI based on the incoming EBP value. Only
172 /// needed for 32-bit. Used in funclet prologues and at catchret destinations.
173 MachineBasicBlock::iterator
174 restoreWin32EHStackPointers(MachineBasicBlock &MBB,
Benjamin Kramerbdc49562016-06-12 15:39:02 +0000175 MachineBasicBlock::iterator MBBI,
176 const DebugLoc &DL, bool RestoreSP = false) const;
Reid Kleckner51460c12015-11-06 01:49:05 +0000177
Michael Kuperstein73dc8522015-11-03 08:17:25 +0000178private:
179 uint64_t calculateMaxStackAlign(const MachineFunction &MF) const;
180
Andy Ayers809cbe92015-11-10 01:50:49 +0000181 /// Emit target stack probe as a call to a helper function
Reid Kleckner468e7932016-10-13 15:48:48 +0000182 void emitStackProbeCall(MachineFunction &MF, MachineBasicBlock &MBB,
183 MachineBasicBlock::iterator MBBI, const DebugLoc &DL,
184 bool InProlog) const;
Andy Ayers809cbe92015-11-10 01:50:49 +0000185
186 /// Emit target stack probe as an inline sequence.
Reid Kleckner468e7932016-10-13 15:48:48 +0000187 void emitStackProbeInline(MachineFunction &MF, MachineBasicBlock &MBB,
188 MachineBasicBlock::iterator MBBI,
189 const DebugLoc &DL, bool InProlog) const;
Andy Ayers809cbe92015-11-10 01:50:49 +0000190
191 /// Emit a stub to later inline the target stack probe.
Reid Kleckner468e7932016-10-13 15:48:48 +0000192 void emitStackProbeInlineStub(MachineFunction &MF, MachineBasicBlock &MBB,
193 MachineBasicBlock::iterator MBBI,
194 const DebugLoc &DL, bool InProlog) const;
Andy Ayers809cbe92015-11-10 01:50:49 +0000195
Reid Kleckner3854f7b2015-06-18 18:03:25 +0000196 /// Aligns the stack pointer by ANDing it with -MaxAlign.
197 void BuildStackAlignAND(MachineBasicBlock &MBB,
Benjamin Kramerbdc49562016-06-12 15:39:02 +0000198 MachineBasicBlock::iterator MBBI, const DebugLoc &DL,
Reid Kleckner6ddae312015-11-05 21:09:49 +0000199 unsigned Reg, uint64_t MaxAlign) const;
Reid Kleckner98d78032015-06-18 20:22:12 +0000200
Michael Kuperstein7337ee22015-08-11 08:48:48 +0000201 /// Make small positive stack adjustments using POPs.
202 bool adjustStackWithPops(MachineBasicBlock &MBB,
Benjamin Kramerbdc49562016-06-12 15:39:02 +0000203 MachineBasicBlock::iterator MBBI, const DebugLoc &DL,
Michael Kuperstein7337ee22015-08-11 08:48:48 +0000204 int Offset) const;
205
Reid Kleckner98d78032015-06-18 20:22:12 +0000206 /// Adjusts the stack pointer using LEA, SUB, or ADD.
207 MachineInstrBuilder BuildStackAdjustment(MachineBasicBlock &MBB,
208 MachineBasicBlock::iterator MBBI,
Benjamin Kramerbdc49562016-06-12 15:39:02 +0000209 const DebugLoc &DL, int64_t Offset,
Reid Kleckner98d78032015-06-18 20:22:12 +0000210 bool InEpilogue) const;
Reid Klecknerdf129512015-09-08 22:44:41 +0000211
Joseph Tremoulet149c4332015-11-13 00:39:23 +0000212 unsigned getPSPSlotOffsetFromSP(const MachineFunction &MF) const;
213
Reid Kleckner28e49032015-10-16 23:43:27 +0000214 unsigned getWinEHFuncletFrameSize(const MachineFunction &MF) const;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000215};
216
Alexander Kornienkof00654e2015-06-23 09:49:53 +0000217} // End llvm namespace
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000218
219#endif