blob: 9a0d5213d244222517ffd619e03fb4e1f05e7a32 [file] [log] [blame]
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001//===-- X86FrameLowering.cpp - X86 Frame Information ----------------------===//
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 file contains the X86 implementation of TargetFrameLowering class.
11//
12//===----------------------------------------------------------------------===//
13
14#include "X86FrameLowering.h"
15#include "X86InstrBuilder.h"
16#include "X86InstrInfo.h"
17#include "X86MachineFunctionInfo.h"
18#include "X86Subtarget.h"
19#include "X86TargetMachine.h"
20#include "llvm/ADT/SmallSet.h"
David Majnemer70497c62015-12-02 23:06:39 +000021#include "llvm/Analysis/EHPersonalities.h"
Michael Kupersteine86aa9a2015-02-01 16:15:07 +000022#include "llvm/CodeGen/MachineFrameInfo.h"
23#include "llvm/CodeGen/MachineFunction.h"
24#include "llvm/CodeGen/MachineInstrBuilder.h"
25#include "llvm/CodeGen/MachineModuleInfo.h"
26#include "llvm/CodeGen/MachineRegisterInfo.h"
Reid Klecknerdf129512015-09-08 22:44:41 +000027#include "llvm/CodeGen/WinEHFuncInfo.h"
Michael Kupersteine86aa9a2015-02-01 16:15:07 +000028#include "llvm/IR/DataLayout.h"
29#include "llvm/IR/Function.h"
30#include "llvm/MC/MCAsmInfo.h"
31#include "llvm/MC/MCSymbol.h"
Michael Kupersteine86aa9a2015-02-01 16:15:07 +000032#include "llvm/Target/TargetOptions.h"
33#include "llvm/Support/Debug.h"
34#include <cstdlib>
35
36using namespace llvm;
37
Reid Klecknerf9977bf2015-06-17 21:50:02 +000038X86FrameLowering::X86FrameLowering(const X86Subtarget &STI,
39 unsigned StackAlignOverride)
40 : TargetFrameLowering(StackGrowsDown, StackAlignOverride,
41 STI.is64Bit() ? -8 : -4),
Reid Kleckner034ea962015-06-18 20:32:02 +000042 STI(STI), TII(*STI.getInstrInfo()), TRI(STI.getRegisterInfo()) {
Reid Klecknerf9977bf2015-06-17 21:50:02 +000043 // Cache a bunch of frame-related predicates for this subtarget.
Reid Kleckner034ea962015-06-18 20:32:02 +000044 SlotSize = TRI->getSlotSize();
Reid Klecknerf9977bf2015-06-17 21:50:02 +000045 Is64Bit = STI.is64Bit();
46 IsLP64 = STI.isTarget64BitLP64();
47 // standard x86_64 and NaCl use 64-bit frame/stack pointers, x32 - 32-bit.
48 Uses64BitFramePtr = STI.isTarget64BitLP64() || STI.isTargetNaCl64();
Reid Kleckner034ea962015-06-18 20:32:02 +000049 StackPtr = TRI->getStackRegister();
Reid Klecknerf9977bf2015-06-17 21:50:02 +000050}
51
Michael Kupersteine86aa9a2015-02-01 16:15:07 +000052bool X86FrameLowering::hasReservedCallFrame(const MachineFunction &MF) const {
Matthias Braun941a7052016-07-28 18:40:00 +000053 return !MF.getFrameInfo().hasVarSizedObjects() &&
Michael Kuperstein13fbd452015-02-01 16:56:04 +000054 !MF.getInfo<X86MachineFunctionInfo>()->getHasPushSequences();
55}
56
57/// canSimplifyCallFramePseudos - If there is a reserved call frame, the
58/// call frame pseudos can be simplified. Having a FP, as in the default
59/// implementation, is not sufficient here since we can't always use it.
60/// Use a more nuanced condition.
61bool
62X86FrameLowering::canSimplifyCallFramePseudos(const MachineFunction &MF) const {
Michael Kuperstein13fbd452015-02-01 16:56:04 +000063 return hasReservedCallFrame(MF) ||
Reid Kleckner034ea962015-06-18 20:32:02 +000064 (hasFP(MF) && !TRI->needsStackRealignment(MF)) ||
65 TRI->hasBasePointer(MF);
Michael Kuperstein13fbd452015-02-01 16:56:04 +000066}
67
68// needsFrameIndexResolution - Do we need to perform FI resolution for
69// this function. Normally, this is required only when the function
70// has any stack objects. However, FI resolution actually has another job,
71// not apparent from the title - it resolves callframesetup/destroy
72// that were not simplified earlier.
73// So, this is required for x86 functions that have push sequences even
74// when there are no stack objects.
75bool
76X86FrameLowering::needsFrameIndexResolution(const MachineFunction &MF) const {
Matthias Braun941a7052016-07-28 18:40:00 +000077 return MF.getFrameInfo().hasStackObjects() ||
Michael Kuperstein13fbd452015-02-01 16:56:04 +000078 MF.getInfo<X86MachineFunctionInfo>()->getHasPushSequences();
Michael Kupersteine86aa9a2015-02-01 16:15:07 +000079}
80
81/// hasFP - Return true if the specified function should have a dedicated frame
82/// pointer register. This is true if the function has variable sized allocas
83/// or if frame pointer elimination is disabled.
84bool X86FrameLowering::hasFP(const MachineFunction &MF) const {
Matthias Braun941a7052016-07-28 18:40:00 +000085 const MachineFrameInfo &MFI = MF.getFrameInfo();
Michael Kupersteine86aa9a2015-02-01 16:15:07 +000086 const MachineModuleInfo &MMI = MF.getMMI();
Michael Kupersteine86aa9a2015-02-01 16:15:07 +000087
88 return (MF.getTarget().Options.DisableFramePointerElim(MF) ||
Reid Kleckner034ea962015-06-18 20:32:02 +000089 TRI->needsStackRealignment(MF) ||
Matthias Braun941a7052016-07-28 18:40:00 +000090 MFI.hasVarSizedObjects() ||
91 MFI.isFrameAddressTaken() || MFI.hasOpaqueSPAdjustment() ||
Michael Kupersteine86aa9a2015-02-01 16:15:07 +000092 MF.getInfo<X86MachineFunctionInfo>()->getForceFramePointer() ||
Reid Klecknerdf129512015-09-08 22:44:41 +000093 MMI.callsUnwindInit() || MMI.hasEHFunclets() || MMI.callsEHReturn() ||
Matthias Braun941a7052016-07-28 18:40:00 +000094 MFI.hasStackMap() || MFI.hasPatchPoint() ||
95 MFI.hasCopyImplyingStackAdjustment());
Michael Kupersteine86aa9a2015-02-01 16:15:07 +000096}
97
98static unsigned getSUBriOpcode(unsigned IsLP64, int64_t Imm) {
99 if (IsLP64) {
100 if (isInt<8>(Imm))
101 return X86::SUB64ri8;
102 return X86::SUB64ri32;
103 } else {
104 if (isInt<8>(Imm))
105 return X86::SUB32ri8;
106 return X86::SUB32ri;
107 }
108}
109
110static unsigned getADDriOpcode(unsigned IsLP64, int64_t Imm) {
111 if (IsLP64) {
112 if (isInt<8>(Imm))
113 return X86::ADD64ri8;
114 return X86::ADD64ri32;
115 } else {
116 if (isInt<8>(Imm))
117 return X86::ADD32ri8;
118 return X86::ADD32ri;
119 }
120}
121
122static unsigned getSUBrrOpcode(unsigned isLP64) {
123 return isLP64 ? X86::SUB64rr : X86::SUB32rr;
124}
125
126static unsigned getADDrrOpcode(unsigned isLP64) {
127 return isLP64 ? X86::ADD64rr : X86::ADD32rr;
128}
129
130static unsigned getANDriOpcode(bool IsLP64, int64_t Imm) {
131 if (IsLP64) {
132 if (isInt<8>(Imm))
133 return X86::AND64ri8;
134 return X86::AND64ri32;
135 }
136 if (isInt<8>(Imm))
137 return X86::AND32ri8;
138 return X86::AND32ri;
139}
140
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000141static unsigned getLEArOpcode(unsigned IsLP64) {
142 return IsLP64 ? X86::LEA64r : X86::LEA32r;
143}
144
145/// findDeadCallerSavedReg - Return a caller-saved register that isn't live
146/// when it reaches the "return" instruction. We can then pop a stack object
147/// to this register without worry about clobbering it.
148static unsigned findDeadCallerSavedReg(MachineBasicBlock &MBB,
149 MachineBasicBlock::iterator &MBBI,
Andy Ayers9f750182015-11-23 22:17:44 +0000150 const X86RegisterInfo *TRI,
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000151 bool Is64Bit) {
152 const MachineFunction *MF = MBB.getParent();
153 const Function *F = MF->getFunction();
154 if (!F || MF->getMMI().callsEHReturn())
155 return 0;
156
Andy Ayers9f750182015-11-23 22:17:44 +0000157 const TargetRegisterClass &AvailableRegs = *TRI->getGPRsForTailCall(*MF);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000158
Hans Wennborg0dd9ed12016-08-13 01:12:49 +0000159 if (MBBI == MBB.end())
160 return 0;
161
162 switch (MBBI->getOpcode()) {
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000163 default: return 0;
Dean Michael Berris52735fc2016-07-14 04:06:33 +0000164 case TargetOpcode::PATCHABLE_RET:
David Majnemerd2f767d2016-03-04 22:56:17 +0000165 case X86::RET:
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000166 case X86::RETL:
167 case X86::RETQ:
168 case X86::RETIL:
169 case X86::RETIQ:
170 case X86::TCRETURNdi:
171 case X86::TCRETURNri:
172 case X86::TCRETURNmi:
173 case X86::TCRETURNdi64:
174 case X86::TCRETURNri64:
175 case X86::TCRETURNmi64:
176 case X86::EH_RETURN:
177 case X86::EH_RETURN64: {
178 SmallSet<uint16_t, 8> Uses;
179 for (unsigned i = 0, e = MBBI->getNumOperands(); i != e; ++i) {
180 MachineOperand &MO = MBBI->getOperand(i);
181 if (!MO.isReg() || MO.isDef())
182 continue;
183 unsigned Reg = MO.getReg();
184 if (!Reg)
185 continue;
Reid Kleckner034ea962015-06-18 20:32:02 +0000186 for (MCRegAliasIterator AI(Reg, TRI, true); AI.isValid(); ++AI)
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000187 Uses.insert(*AI);
188 }
189
Andy Ayers9f750182015-11-23 22:17:44 +0000190 for (auto CS : AvailableRegs)
191 if (!Uses.count(CS) && CS != X86::RIP)
192 return CS;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000193 }
194 }
195
196 return 0;
197}
198
Reid Kleckner8de35fe2016-02-17 00:17:33 +0000199static bool isEAXLiveIn(MachineBasicBlock &MBB) {
200 for (MachineBasicBlock::RegisterMaskPair RegMask : MBB.liveins()) {
201 unsigned Reg = RegMask.PhysReg;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000202
203 if (Reg == X86::RAX || Reg == X86::EAX || Reg == X86::AX ||
204 Reg == X86::AH || Reg == X86::AL)
205 return true;
206 }
207
208 return false;
209}
210
Quentin Colombetf1e91c82015-12-02 01:22:54 +0000211/// Check if the flags need to be preserved before the terminators.
212/// This would be the case, if the eflags is live-in of the region
213/// composed by the terminators or live-out of that region, without
214/// being defined by a terminator.
215static bool
216flagsNeedToBePreservedBeforeTheTerminators(const MachineBasicBlock &MBB) {
Reid Kleckner98d78032015-06-18 20:22:12 +0000217 for (const MachineInstr &MI : MBB.terminators()) {
Quentin Colombetbbdebef2015-12-02 02:07:00 +0000218 bool BreakNext = false;
Reid Kleckner98d78032015-06-18 20:22:12 +0000219 for (const MachineOperand &MO : MI.operands()) {
220 if (!MO.isReg())
221 continue;
222 unsigned Reg = MO.getReg();
223 if (Reg != X86::EFLAGS)
224 continue;
225
Quentin Colombetf1e91c82015-12-02 01:22:54 +0000226 // This terminator needs an eflags that is not defined
227 // by a previous another terminator:
228 // EFLAGS is live-in of the region composed by the terminators.
Reid Kleckner98d78032015-06-18 20:22:12 +0000229 if (!MO.isDef())
230 return true;
Quentin Colombetf1e91c82015-12-02 01:22:54 +0000231 // This terminator defines the eflags, i.e., we don't need to preserve it.
Quentin Colombetbbdebef2015-12-02 02:07:00 +0000232 // However, we still need to check this specific terminator does not
233 // read a live-in value.
234 BreakNext = true;
Reid Kleckner98d78032015-06-18 20:22:12 +0000235 }
Quentin Colombetbbdebef2015-12-02 02:07:00 +0000236 // We found a definition of the eflags, no need to preserve them.
237 if (BreakNext)
238 return false;
Reid Kleckner98d78032015-06-18 20:22:12 +0000239 }
Quentin Colombetf1e91c82015-12-02 01:22:54 +0000240
241 // None of the terminators use or define the eflags.
242 // Check if they are live-out, that would imply we need to preserve them.
243 for (const MachineBasicBlock *Succ : MBB.successors())
244 if (Succ->isLiveIn(X86::EFLAGS))
245 return true;
246
Reid Kleckner98d78032015-06-18 20:22:12 +0000247 return false;
248}
249
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000250/// emitSPUpdate - Emit a series of instructions to increment / decrement the
251/// stack pointer by a constant value.
Quentin Colombet494eb602015-05-22 18:10:47 +0000252void X86FrameLowering::emitSPUpdate(MachineBasicBlock &MBB,
253 MachineBasicBlock::iterator &MBBI,
Reid Kleckner98d78032015-06-18 20:22:12 +0000254 int64_t NumBytes, bool InEpilogue) const {
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000255 bool isSub = NumBytes < 0;
256 uint64_t Offset = isSub ? -NumBytes : NumBytes;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000257
258 uint64_t Chunk = (1LL << 31) - 1;
259 DebugLoc DL = MBB.findDebugLoc(MBBI);
260
261 while (Offset) {
262 if (Offset > Chunk) {
263 // Rather than emit a long series of instructions for large offsets,
264 // load the offset into a register and do one sub/add
265 unsigned Reg = 0;
266
Reid Kleckner8de35fe2016-02-17 00:17:33 +0000267 if (isSub && !isEAXLiveIn(MBB))
Reid Kleckner3854f7b2015-06-18 18:03:25 +0000268 Reg = (unsigned)(Is64Bit ? X86::RAX : X86::EAX);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000269 else
Reid Kleckner034ea962015-06-18 20:32:02 +0000270 Reg = findDeadCallerSavedReg(MBB, MBBI, TRI, Is64Bit);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000271
272 if (Reg) {
Reid Kleckner98d78032015-06-18 20:22:12 +0000273 unsigned Opc = Is64Bit ? X86::MOV64ri : X86::MOV32ri;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000274 BuildMI(MBB, MBBI, DL, TII.get(Opc), Reg)
275 .addImm(Offset);
276 Opc = isSub
Reid Kleckner3854f7b2015-06-18 18:03:25 +0000277 ? getSUBrrOpcode(Is64Bit)
278 : getADDrrOpcode(Is64Bit);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000279 MachineInstr *MI = BuildMI(MBB, MBBI, DL, TII.get(Opc), StackPtr)
280 .addReg(StackPtr)
281 .addReg(Reg);
282 MI->getOperand(3).setIsDead(); // The EFLAGS implicit def is dead.
283 Offset = 0;
284 continue;
285 }
286 }
287
David Majnemer3aa0bd82015-02-24 00:11:32 +0000288 uint64_t ThisVal = std::min(Offset, Chunk);
Reid Kleckner3854f7b2015-06-18 18:03:25 +0000289 if (ThisVal == (Is64Bit ? 8 : 4)) {
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000290 // Use push / pop instead.
291 unsigned Reg = isSub
Reid Kleckner3854f7b2015-06-18 18:03:25 +0000292 ? (unsigned)(Is64Bit ? X86::RAX : X86::EAX)
Reid Kleckner034ea962015-06-18 20:32:02 +0000293 : findDeadCallerSavedReg(MBB, MBBI, TRI, Is64Bit);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000294 if (Reg) {
Reid Kleckner98d78032015-06-18 20:22:12 +0000295 unsigned Opc = isSub
Reid Kleckner3854f7b2015-06-18 18:03:25 +0000296 ? (Is64Bit ? X86::PUSH64r : X86::PUSH32r)
297 : (Is64Bit ? X86::POP64r : X86::POP32r);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000298 MachineInstr *MI = BuildMI(MBB, MBBI, DL, TII.get(Opc))
299 .addReg(Reg, getDefRegState(!isSub) | getUndefRegState(isSub));
300 if (isSub)
301 MI->setFlag(MachineInstr::FrameSetup);
Michael Kuperstein098cd9f2015-09-16 11:18:25 +0000302 else
303 MI->setFlag(MachineInstr::FrameDestroy);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000304 Offset -= ThisVal;
305 continue;
306 }
307 }
308
Reid Kleckner98d78032015-06-18 20:22:12 +0000309 MachineInstrBuilder MI = BuildStackAdjustment(
310 MBB, MBBI, DL, isSub ? -ThisVal : ThisVal, InEpilogue);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000311 if (isSub)
Reid Kleckner98d78032015-06-18 20:22:12 +0000312 MI.setMIFlag(MachineInstr::FrameSetup);
Michael Kuperstein098cd9f2015-09-16 11:18:25 +0000313 else
314 MI.setMIFlag(MachineInstr::FrameDestroy);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000315
316 Offset -= ThisVal;
317 }
318}
319
Reid Kleckner98d78032015-06-18 20:22:12 +0000320MachineInstrBuilder X86FrameLowering::BuildStackAdjustment(
Benjamin Kramerbdc49562016-06-12 15:39:02 +0000321 MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI,
322 const DebugLoc &DL, int64_t Offset, bool InEpilogue) const {
Reid Kleckner98d78032015-06-18 20:22:12 +0000323 assert(Offset != 0 && "zero offset stack adjustment requested");
324
325 // On Atom, using LEA to adjust SP is preferred, but using it in the epilogue
326 // is tricky.
327 bool UseLEA;
328 if (!InEpilogue) {
Quentin Colombet9cb01aa2015-12-01 19:49:31 +0000329 // Check if inserting the prologue at the beginning
330 // of MBB would require to use LEA operations.
Quentin Colombetf1e91c82015-12-02 01:22:54 +0000331 // We need to use LEA operations if EFLAGS is live in, because
332 // it means an instruction will read it before it gets defined.
333 UseLEA = STI.useLeaForSP() || MBB.isLiveIn(X86::EFLAGS);
Reid Kleckner98d78032015-06-18 20:22:12 +0000334 } else {
335 // If we can use LEA for SP but we shouldn't, check that none
336 // of the terminators uses the eflags. Otherwise we will insert
337 // a ADD that will redefine the eflags and break the condition.
338 // Alternatively, we could move the ADD, but this may not be possible
339 // and is an optimization anyway.
340 UseLEA = canUseLEAForSPInEpilogue(*MBB.getParent());
341 if (UseLEA && !STI.useLeaForSP())
Quentin Colombetf1e91c82015-12-02 01:22:54 +0000342 UseLEA = flagsNeedToBePreservedBeforeTheTerminators(MBB);
Reid Kleckner98d78032015-06-18 20:22:12 +0000343 // If that assert breaks, that means we do not do the right thing
344 // in canUseAsEpilogue.
Quentin Colombetf1e91c82015-12-02 01:22:54 +0000345 assert((UseLEA || !flagsNeedToBePreservedBeforeTheTerminators(MBB)) &&
Reid Kleckner98d78032015-06-18 20:22:12 +0000346 "We shouldn't have allowed this insertion point");
347 }
348
349 MachineInstrBuilder MI;
350 if (UseLEA) {
351 MI = addRegOffset(BuildMI(MBB, MBBI, DL,
352 TII.get(getLEArOpcode(Uses64BitFramePtr)),
353 StackPtr),
354 StackPtr, false, Offset);
355 } else {
356 bool IsSub = Offset < 0;
357 uint64_t AbsOffset = IsSub ? -Offset : Offset;
358 unsigned Opc = IsSub ? getSUBriOpcode(Uses64BitFramePtr, AbsOffset)
359 : getADDriOpcode(Uses64BitFramePtr, AbsOffset);
360 MI = BuildMI(MBB, MBBI, DL, TII.get(Opc), StackPtr)
361 .addReg(StackPtr)
362 .addImm(AbsOffset);
363 MI->getOperand(3).setIsDead(); // The EFLAGS implicit def is dead.
364 }
365 return MI;
366}
367
Quentin Colombet494eb602015-05-22 18:10:47 +0000368int X86FrameLowering::mergeSPUpdates(MachineBasicBlock &MBB,
369 MachineBasicBlock::iterator &MBBI,
Reid Klecknerf9977bf2015-06-17 21:50:02 +0000370 bool doMergeWithPrevious) const {
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000371 if ((doMergeWithPrevious && MBBI == MBB.begin()) ||
372 (!doMergeWithPrevious && MBBI == MBB.end()))
373 return 0;
374
375 MachineBasicBlock::iterator PI = doMergeWithPrevious ? std::prev(MBBI) : MBBI;
376 MachineBasicBlock::iterator NI = doMergeWithPrevious ? nullptr
377 : std::next(MBBI);
378 unsigned Opc = PI->getOpcode();
379 int Offset = 0;
380
Hans Wennborgab16be72016-04-07 00:05:49 +0000381 if (!doMergeWithPrevious && NI != MBB.end() &&
382 NI->getOpcode() == TargetOpcode::CFI_INSTRUCTION) {
383 // Don't merge with the next instruction if it has CFI.
384 return Offset;
385 }
386
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000387 if ((Opc == X86::ADD64ri32 || Opc == X86::ADD64ri8 ||
Quentin Colombetb8fb2ba2016-02-02 20:11:17 +0000388 Opc == X86::ADD32ri || Opc == X86::ADD32ri8) &&
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000389 PI->getOperand(0).getReg() == StackPtr){
Hans Wennborgab16be72016-04-07 00:05:49 +0000390 assert(PI->getOperand(1).getReg() == StackPtr);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000391 Offset += PI->getOperand(2).getImm();
392 MBB.erase(PI);
393 if (!doMergeWithPrevious) MBBI = NI;
Quentin Colombetb8fb2ba2016-02-02 20:11:17 +0000394 } else if ((Opc == X86::LEA32r || Opc == X86::LEA64_32r) &&
Hans Wennborgab16be72016-04-07 00:05:49 +0000395 PI->getOperand(0).getReg() == StackPtr &&
396 PI->getOperand(1).getReg() == StackPtr &&
397 PI->getOperand(2).getImm() == 1 &&
398 PI->getOperand(3).getReg() == X86::NoRegister &&
399 PI->getOperand(5).getReg() == X86::NoRegister) {
Quentin Colombetb8fb2ba2016-02-02 20:11:17 +0000400 // For LEAs we have: def = lea SP, FI, noreg, Offset, noreg.
401 Offset += PI->getOperand(4).getImm();
402 MBB.erase(PI);
403 if (!doMergeWithPrevious) MBBI = NI;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000404 } else if ((Opc == X86::SUB64ri32 || Opc == X86::SUB64ri8 ||
405 Opc == X86::SUB32ri || Opc == X86::SUB32ri8) &&
406 PI->getOperand(0).getReg() == StackPtr) {
Hans Wennborgab16be72016-04-07 00:05:49 +0000407 assert(PI->getOperand(1).getReg() == StackPtr);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000408 Offset -= PI->getOperand(2).getImm();
409 MBB.erase(PI);
410 if (!doMergeWithPrevious) MBBI = NI;
411 }
412
413 return Offset;
414}
415
Reid Kleckner3854f7b2015-06-18 18:03:25 +0000416void X86FrameLowering::BuildCFI(MachineBasicBlock &MBB,
Benjamin Kramerbdc49562016-06-12 15:39:02 +0000417 MachineBasicBlock::iterator MBBI,
418 const DebugLoc &DL,
419 const MCCFIInstruction &CFIInst) const {
Reid Kleckner7f189f82015-06-15 23:45:08 +0000420 MachineFunction &MF = *MBB.getParent();
421 unsigned CFIIndex = MF.getMMI().addFrameInst(CFIInst);
422 BuildMI(MBB, MBBI, DL, TII.get(TargetOpcode::CFI_INSTRUCTION))
423 .addCFIIndex(CFIIndex);
424}
425
Benjamin Kramerbdc49562016-06-12 15:39:02 +0000426void X86FrameLowering::emitCalleeSavedFrameMoves(
427 MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI,
428 const DebugLoc &DL) const {
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000429 MachineFunction &MF = *MBB.getParent();
Matthias Braun941a7052016-07-28 18:40:00 +0000430 MachineFrameInfo &MFI = MF.getFrameInfo();
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000431 MachineModuleInfo &MMI = MF.getMMI();
432 const MCRegisterInfo *MRI = MMI.getContext().getRegisterInfo();
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000433
434 // Add callee saved registers to move list.
Matthias Braun941a7052016-07-28 18:40:00 +0000435 const std::vector<CalleeSavedInfo> &CSI = MFI.getCalleeSavedInfo();
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000436 if (CSI.empty()) return;
437
438 // Calculate offsets.
439 for (std::vector<CalleeSavedInfo>::const_iterator
440 I = CSI.begin(), E = CSI.end(); I != E; ++I) {
Matthias Braun941a7052016-07-28 18:40:00 +0000441 int64_t Offset = MFI.getObjectOffset(I->getFrameIdx());
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000442 unsigned Reg = I->getReg();
443
444 unsigned DwarfReg = MRI->getDwarfRegNum(Reg, true);
Reid Kleckner3854f7b2015-06-18 18:03:25 +0000445 BuildCFI(MBB, MBBI, DL,
Reid Kleckner7f189f82015-06-15 23:45:08 +0000446 MCCFIInstruction::createOffset(nullptr, DwarfReg, Offset));
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000447 }
448}
449
Andy Ayers809cbe92015-11-10 01:50:49 +0000450MachineInstr *X86FrameLowering::emitStackProbe(MachineFunction &MF,
451 MachineBasicBlock &MBB,
452 MachineBasicBlock::iterator MBBI,
Benjamin Kramerbdc49562016-06-12 15:39:02 +0000453 const DebugLoc &DL,
Andy Ayers809cbe92015-11-10 01:50:49 +0000454 bool InProlog) const {
455 const X86Subtarget &STI = MF.getSubtarget<X86Subtarget>();
456 if (STI.isTargetWindowsCoreCLR()) {
457 if (InProlog) {
458 return emitStackProbeInlineStub(MF, MBB, MBBI, DL, true);
459 } else {
460 return emitStackProbeInline(MF, MBB, MBBI, DL, false);
461 }
462 } else {
463 return emitStackProbeCall(MF, MBB, MBBI, DL, InProlog);
464 }
465}
466
467void X86FrameLowering::inlineStackProbe(MachineFunction &MF,
468 MachineBasicBlock &PrologMBB) const {
469 const StringRef ChkStkStubSymbol = "__chkstk_stub";
470 MachineInstr *ChkStkStub = nullptr;
471
472 for (MachineInstr &MI : PrologMBB) {
473 if (MI.isCall() && MI.getOperand(0).isSymbol() &&
474 ChkStkStubSymbol == MI.getOperand(0).getSymbolName()) {
475 ChkStkStub = &MI;
476 break;
477 }
478 }
479
480 if (ChkStkStub != nullptr) {
Duncan P. N. Exon Smithd6de2a72016-02-22 02:32:35 +0000481 assert(!ChkStkStub->isBundled() &&
482 "Not expecting bundled instructions here");
Duncan P. N. Exon Smithc5b668d2016-02-22 20:49:58 +0000483 MachineBasicBlock::iterator MBBI = std::next(ChkStkStub->getIterator());
Duncan P. N. Exon Smith62e351f2016-08-11 15:51:29 +0000484 assert(std::prev(MBBI) == ChkStkStub &&
485 "MBBI expected after __chkstk_stub.");
Andy Ayers809cbe92015-11-10 01:50:49 +0000486 DebugLoc DL = PrologMBB.findDebugLoc(MBBI);
487 emitStackProbeInline(MF, PrologMBB, MBBI, DL, true);
488 ChkStkStub->eraseFromParent();
489 }
490}
491
492MachineInstr *X86FrameLowering::emitStackProbeInline(
Benjamin Kramerbdc49562016-06-12 15:39:02 +0000493 MachineFunction &MF, MachineBasicBlock &MBB,
494 MachineBasicBlock::iterator MBBI, const DebugLoc &DL, bool InProlog) const {
Andy Ayers809cbe92015-11-10 01:50:49 +0000495 const X86Subtarget &STI = MF.getSubtarget<X86Subtarget>();
496 assert(STI.is64Bit() && "different expansion needed for 32 bit");
497 assert(STI.isTargetWindowsCoreCLR() && "custom expansion expects CoreCLR");
498 const TargetInstrInfo &TII = *STI.getInstrInfo();
499 const BasicBlock *LLVM_BB = MBB.getBasicBlock();
500
501 // RAX contains the number of bytes of desired stack adjustment.
502 // The handling here assumes this value has already been updated so as to
503 // maintain stack alignment.
504 //
505 // We need to exit with RSP modified by this amount and execute suitable
506 // page touches to notify the OS that we're growing the stack responsibly.
507 // All stack probing must be done without modifying RSP.
508 //
509 // MBB:
510 // SizeReg = RAX;
511 // ZeroReg = 0
512 // CopyReg = RSP
513 // Flags, TestReg = CopyReg - SizeReg
514 // FinalReg = !Flags.Ovf ? TestReg : ZeroReg
515 // LimitReg = gs magic thread env access
516 // if FinalReg >= LimitReg goto ContinueMBB
517 // RoundBB:
518 // RoundReg = page address of FinalReg
519 // LoopMBB:
520 // LoopReg = PHI(LimitReg,ProbeReg)
521 // ProbeReg = LoopReg - PageSize
522 // [ProbeReg] = 0
523 // if (ProbeReg > RoundReg) goto LoopMBB
524 // ContinueMBB:
525 // RSP = RSP - RAX
526 // [rest of original MBB]
527
528 // Set up the new basic blocks
529 MachineBasicBlock *RoundMBB = MF.CreateMachineBasicBlock(LLVM_BB);
530 MachineBasicBlock *LoopMBB = MF.CreateMachineBasicBlock(LLVM_BB);
531 MachineBasicBlock *ContinueMBB = MF.CreateMachineBasicBlock(LLVM_BB);
532
533 MachineFunction::iterator MBBIter = std::next(MBB.getIterator());
534 MF.insert(MBBIter, RoundMBB);
535 MF.insert(MBBIter, LoopMBB);
536 MF.insert(MBBIter, ContinueMBB);
537
538 // Split MBB and move the tail portion down to ContinueMBB.
539 MachineBasicBlock::iterator BeforeMBBI = std::prev(MBBI);
540 ContinueMBB->splice(ContinueMBB->begin(), &MBB, MBBI, MBB.end());
541 ContinueMBB->transferSuccessorsAndUpdatePHIs(&MBB);
542
543 // Some useful constants
544 const int64_t ThreadEnvironmentStackLimit = 0x10;
545 const int64_t PageSize = 0x1000;
546 const int64_t PageMask = ~(PageSize - 1);
547
548 // Registers we need. For the normal case we use virtual
549 // registers. For the prolog expansion we use RAX, RCX and RDX.
550 MachineRegisterInfo &MRI = MF.getRegInfo();
551 const TargetRegisterClass *RegClass = &X86::GR64RegClass;
Aaron Ballman107bb0d2015-11-11 13:44:06 +0000552 const unsigned SizeReg = InProlog ? (unsigned)X86::RAX
553 : MRI.createVirtualRegister(RegClass),
554 ZeroReg = InProlog ? (unsigned)X86::RCX
555 : MRI.createVirtualRegister(RegClass),
556 CopyReg = InProlog ? (unsigned)X86::RDX
557 : MRI.createVirtualRegister(RegClass),
558 TestReg = InProlog ? (unsigned)X86::RDX
559 : MRI.createVirtualRegister(RegClass),
560 FinalReg = InProlog ? (unsigned)X86::RDX
561 : MRI.createVirtualRegister(RegClass),
562 RoundedReg = InProlog ? (unsigned)X86::RDX
563 : MRI.createVirtualRegister(RegClass),
564 LimitReg = InProlog ? (unsigned)X86::RCX
565 : MRI.createVirtualRegister(RegClass),
566 JoinReg = InProlog ? (unsigned)X86::RCX
567 : MRI.createVirtualRegister(RegClass),
568 ProbeReg = InProlog ? (unsigned)X86::RCX
569 : MRI.createVirtualRegister(RegClass);
Andy Ayers809cbe92015-11-10 01:50:49 +0000570
571 // SP-relative offsets where we can save RCX and RDX.
572 int64_t RCXShadowSlot = 0;
573 int64_t RDXShadowSlot = 0;
574
575 // If inlining in the prolog, save RCX and RDX.
576 // Future optimization: don't save or restore if not live in.
577 if (InProlog) {
578 // Compute the offsets. We need to account for things already
579 // pushed onto the stack at this point: return address, frame
580 // pointer (if used), and callee saves.
581 X86MachineFunctionInfo *X86FI = MF.getInfo<X86MachineFunctionInfo>();
582 const int64_t CalleeSaveSize = X86FI->getCalleeSavedFrameSize();
583 const bool HasFP = hasFP(MF);
584 RCXShadowSlot = 8 + CalleeSaveSize + (HasFP ? 8 : 0);
585 RDXShadowSlot = RCXShadowSlot + 8;
586 // Emit the saves.
587 addRegOffset(BuildMI(&MBB, DL, TII.get(X86::MOV64mr)), X86::RSP, false,
588 RCXShadowSlot)
589 .addReg(X86::RCX);
590 addRegOffset(BuildMI(&MBB, DL, TII.get(X86::MOV64mr)), X86::RSP, false,
591 RDXShadowSlot)
592 .addReg(X86::RDX);
593 } else {
594 // Not in the prolog. Copy RAX to a virtual reg.
595 BuildMI(&MBB, DL, TII.get(X86::MOV64rr), SizeReg).addReg(X86::RAX);
596 }
597
598 // Add code to MBB to check for overflow and set the new target stack pointer
599 // to zero if so.
600 BuildMI(&MBB, DL, TII.get(X86::XOR64rr), ZeroReg)
601 .addReg(ZeroReg, RegState::Undef)
602 .addReg(ZeroReg, RegState::Undef);
603 BuildMI(&MBB, DL, TII.get(X86::MOV64rr), CopyReg).addReg(X86::RSP);
604 BuildMI(&MBB, DL, TII.get(X86::SUB64rr), TestReg)
605 .addReg(CopyReg)
606 .addReg(SizeReg);
607 BuildMI(&MBB, DL, TII.get(X86::CMOVB64rr), FinalReg)
608 .addReg(TestReg)
609 .addReg(ZeroReg);
610
611 // FinalReg now holds final stack pointer value, or zero if
612 // allocation would overflow. Compare against the current stack
613 // limit from the thread environment block. Note this limit is the
614 // lowest touched page on the stack, not the point at which the OS
615 // will cause an overflow exception, so this is just an optimization
616 // to avoid unnecessarily touching pages that are below the current
617 // SP but already commited to the stack by the OS.
618 BuildMI(&MBB, DL, TII.get(X86::MOV64rm), LimitReg)
619 .addReg(0)
620 .addImm(1)
621 .addReg(0)
622 .addImm(ThreadEnvironmentStackLimit)
623 .addReg(X86::GS);
624 BuildMI(&MBB, DL, TII.get(X86::CMP64rr)).addReg(FinalReg).addReg(LimitReg);
625 // Jump if the desired stack pointer is at or above the stack limit.
626 BuildMI(&MBB, DL, TII.get(X86::JAE_1)).addMBB(ContinueMBB);
627
628 // Add code to roundMBB to round the final stack pointer to a page boundary.
629 BuildMI(RoundMBB, DL, TII.get(X86::AND64ri32), RoundedReg)
630 .addReg(FinalReg)
631 .addImm(PageMask);
632 BuildMI(RoundMBB, DL, TII.get(X86::JMP_1)).addMBB(LoopMBB);
633
634 // LimitReg now holds the current stack limit, RoundedReg page-rounded
635 // final RSP value. Add code to loopMBB to decrement LimitReg page-by-page
636 // and probe until we reach RoundedReg.
637 if (!InProlog) {
638 BuildMI(LoopMBB, DL, TII.get(X86::PHI), JoinReg)
639 .addReg(LimitReg)
640 .addMBB(RoundMBB)
641 .addReg(ProbeReg)
642 .addMBB(LoopMBB);
643 }
644
645 addRegOffset(BuildMI(LoopMBB, DL, TII.get(X86::LEA64r), ProbeReg), JoinReg,
646 false, -PageSize);
647
648 // Probe by storing a byte onto the stack.
649 BuildMI(LoopMBB, DL, TII.get(X86::MOV8mi))
650 .addReg(ProbeReg)
651 .addImm(1)
652 .addReg(0)
653 .addImm(0)
654 .addReg(0)
655 .addImm(0);
656 BuildMI(LoopMBB, DL, TII.get(X86::CMP64rr))
657 .addReg(RoundedReg)
658 .addReg(ProbeReg);
659 BuildMI(LoopMBB, DL, TII.get(X86::JNE_1)).addMBB(LoopMBB);
660
661 MachineBasicBlock::iterator ContinueMBBI = ContinueMBB->getFirstNonPHI();
662
663 // If in prolog, restore RDX and RCX.
664 if (InProlog) {
665 addRegOffset(BuildMI(*ContinueMBB, ContinueMBBI, DL, TII.get(X86::MOV64rm),
666 X86::RCX),
667 X86::RSP, false, RCXShadowSlot);
668 addRegOffset(BuildMI(*ContinueMBB, ContinueMBBI, DL, TII.get(X86::MOV64rm),
669 X86::RDX),
670 X86::RSP, false, RDXShadowSlot);
671 }
672
673 // Now that the probing is done, add code to continueMBB to update
674 // the stack pointer for real.
675 BuildMI(*ContinueMBB, ContinueMBBI, DL, TII.get(X86::SUB64rr), X86::RSP)
676 .addReg(X86::RSP)
677 .addReg(SizeReg);
678
679 // Add the control flow edges we need.
680 MBB.addSuccessor(ContinueMBB);
681 MBB.addSuccessor(RoundMBB);
682 RoundMBB->addSuccessor(LoopMBB);
683 LoopMBB->addSuccessor(ContinueMBB);
684 LoopMBB->addSuccessor(LoopMBB);
685
686 // Mark all the instructions added to the prolog as frame setup.
687 if (InProlog) {
688 for (++BeforeMBBI; BeforeMBBI != MBB.end(); ++BeforeMBBI) {
689 BeforeMBBI->setFlag(MachineInstr::FrameSetup);
690 }
691 for (MachineInstr &MI : *RoundMBB) {
692 MI.setFlag(MachineInstr::FrameSetup);
693 }
694 for (MachineInstr &MI : *LoopMBB) {
695 MI.setFlag(MachineInstr::FrameSetup);
696 }
697 for (MachineBasicBlock::iterator CMBBI = ContinueMBB->begin();
698 CMBBI != ContinueMBBI; ++CMBBI) {
699 CMBBI->setFlag(MachineInstr::FrameSetup);
700 }
701 }
702
703 // Possible TODO: physreg liveness for InProlog case.
704
Duncan P. N. Exon Smith7b4c18e2016-07-12 03:18:50 +0000705 return &*ContinueMBBI;
Andy Ayers809cbe92015-11-10 01:50:49 +0000706}
707
708MachineInstr *X86FrameLowering::emitStackProbeCall(
709 MachineFunction &MF, MachineBasicBlock &MBB,
Benjamin Kramerbdc49562016-06-12 15:39:02 +0000710 MachineBasicBlock::iterator MBBI, const DebugLoc &DL, bool InProlog) const {
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000711 bool IsLargeCodeModel = MF.getTarget().getCodeModel() == CodeModel::Large;
712
713 unsigned CallOp;
714 if (Is64Bit)
715 CallOp = IsLargeCodeModel ? X86::CALL64r : X86::CALL64pcrel32;
716 else
717 CallOp = X86::CALLpcrel32;
718
719 const char *Symbol;
720 if (Is64Bit) {
721 if (STI.isTargetCygMing()) {
722 Symbol = "___chkstk_ms";
723 } else {
724 Symbol = "__chkstk";
725 }
726 } else if (STI.isTargetCygMing())
727 Symbol = "_alloca";
728 else
729 Symbol = "_chkstk";
730
731 MachineInstrBuilder CI;
Andy Ayers809cbe92015-11-10 01:50:49 +0000732 MachineBasicBlock::iterator ExpansionMBBI = std::prev(MBBI);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000733
734 // All current stack probes take AX and SP as input, clobber flags, and
735 // preserve all registers. x86_64 probes leave RSP unmodified.
736 if (Is64Bit && MF.getTarget().getCodeModel() == CodeModel::Large) {
737 // For the large code model, we have to call through a register. Use R11,
738 // as it is scratch in all supported calling conventions.
739 BuildMI(MBB, MBBI, DL, TII.get(X86::MOV64ri), X86::R11)
740 .addExternalSymbol(Symbol);
741 CI = BuildMI(MBB, MBBI, DL, TII.get(CallOp)).addReg(X86::R11);
742 } else {
743 CI = BuildMI(MBB, MBBI, DL, TII.get(CallOp)).addExternalSymbol(Symbol);
744 }
745
746 unsigned AX = Is64Bit ? X86::RAX : X86::EAX;
747 unsigned SP = Is64Bit ? X86::RSP : X86::ESP;
748 CI.addReg(AX, RegState::Implicit)
749 .addReg(SP, RegState::Implicit)
750 .addReg(AX, RegState::Define | RegState::Implicit)
751 .addReg(SP, RegState::Define | RegState::Implicit)
752 .addReg(X86::EFLAGS, RegState::Define | RegState::Implicit);
753
754 if (Is64Bit) {
755 // MSVC x64's __chkstk and cygwin/mingw's ___chkstk_ms do not adjust %rsp
756 // themselves. It also does not clobber %rax so we can reuse it when
757 // adjusting %rsp.
758 BuildMI(MBB, MBBI, DL, TII.get(X86::SUB64rr), X86::RSP)
759 .addReg(X86::RSP)
760 .addReg(X86::RAX);
761 }
Andy Ayers809cbe92015-11-10 01:50:49 +0000762
763 if (InProlog) {
764 // Apply the frame setup flag to all inserted instrs.
765 for (++ExpansionMBBI; ExpansionMBBI != MBBI; ++ExpansionMBBI)
766 ExpansionMBBI->setFlag(MachineInstr::FrameSetup);
767 }
768
Duncan P. N. Exon Smith7b4c18e2016-07-12 03:18:50 +0000769 return &*MBBI;
Andy Ayers809cbe92015-11-10 01:50:49 +0000770}
771
772MachineInstr *X86FrameLowering::emitStackProbeInlineStub(
773 MachineFunction &MF, MachineBasicBlock &MBB,
Benjamin Kramerbdc49562016-06-12 15:39:02 +0000774 MachineBasicBlock::iterator MBBI, const DebugLoc &DL, bool InProlog) const {
Andy Ayers809cbe92015-11-10 01:50:49 +0000775
776 assert(InProlog && "ChkStkStub called outside prolog!");
777
David Blaikiee35168f2015-11-10 03:16:28 +0000778 BuildMI(MBB, MBBI, DL, TII.get(X86::CALLpcrel32))
779 .addExternalSymbol("__chkstk_stub");
Andy Ayers809cbe92015-11-10 01:50:49 +0000780
Duncan P. N. Exon Smith7b4c18e2016-07-12 03:18:50 +0000781 return &*MBBI;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000782}
783
David Majnemer93c22a42015-02-10 00:57:42 +0000784static unsigned calculateSetFPREG(uint64_t SPAdjust) {
785 // Win64 ABI has a less restrictive limitation of 240; 128 works equally well
786 // and might require smaller successive adjustments.
787 const uint64_t Win64MaxSEHOffset = 128;
788 uint64_t SEHFrameOffset = std::min(SPAdjust, Win64MaxSEHOffset);
789 // Win64 ABI requires 16-byte alignment for the UWOP_SET_FPREG opcode.
David Majnemer89d05642015-02-21 01:04:47 +0000790 return SEHFrameOffset & -16;
David Majnemer93c22a42015-02-10 00:57:42 +0000791}
792
793// If we're forcing a stack realignment we can't rely on just the frame
794// info, we need to know the ABI stack alignment as well in case we
795// have a call out. Otherwise just make sure we have some alignment - we'll
796// go with the minimum SlotSize.
Reid Klecknerf9977bf2015-06-17 21:50:02 +0000797uint64_t X86FrameLowering::calculateMaxStackAlign(const MachineFunction &MF) const {
Matthias Braun941a7052016-07-28 18:40:00 +0000798 const MachineFrameInfo &MFI = MF.getFrameInfo();
799 uint64_t MaxAlign = MFI.getMaxAlignment(); // Desired stack alignment.
Reid Klecknerf9977bf2015-06-17 21:50:02 +0000800 unsigned StackAlign = getStackAlignment();
Akira Hatanakabc497c92015-09-11 18:54:38 +0000801 if (MF.getFunction()->hasFnAttribute("stackrealign")) {
Matthias Braun941a7052016-07-28 18:40:00 +0000802 if (MFI.hasCalls())
David Majnemer93c22a42015-02-10 00:57:42 +0000803 MaxAlign = (StackAlign > MaxAlign) ? StackAlign : MaxAlign;
804 else if (MaxAlign < SlotSize)
805 MaxAlign = SlotSize;
806 }
807 return MaxAlign;
808}
809
Reid Kleckner3854f7b2015-06-18 18:03:25 +0000810void X86FrameLowering::BuildStackAlignAND(MachineBasicBlock &MBB,
811 MachineBasicBlock::iterator MBBI,
Benjamin Kramerbdc49562016-06-12 15:39:02 +0000812 const DebugLoc &DL, unsigned Reg,
Reid Kleckner3854f7b2015-06-18 18:03:25 +0000813 uint64_t MaxAlign) const {
814 uint64_t Val = -MaxAlign;
Reid Kleckner6ddae312015-11-05 21:09:49 +0000815 unsigned AndOp = getANDriOpcode(Uses64BitFramePtr, Val);
816 MachineInstr *MI = BuildMI(MBB, MBBI, DL, TII.get(AndOp), Reg)
817 .addReg(Reg)
818 .addImm(Val)
819 .setMIFlag(MachineInstr::FrameSetup);
Reid Kleckner3854f7b2015-06-18 18:03:25 +0000820
821 // The EFLAGS implicit def is dead.
822 MI->getOperand(3).setIsDead();
823}
824
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000825/// emitPrologue - Push callee-saved registers onto the stack, which
826/// automatically adjust the stack pointer. Adjust the stack pointer to allocate
827/// space for local variables. Also emit labels used by the exception handler to
828/// generate the exception handling frames.
829
830/*
831 Here's a gist of what gets emitted:
832
833 ; Establish frame pointer, if needed
834 [if needs FP]
835 push %rbp
836 .cfi_def_cfa_offset 16
837 .cfi_offset %rbp, -16
838 .seh_pushreg %rpb
839 mov %rsp, %rbp
840 .cfi_def_cfa_register %rbp
841
842 ; Spill general-purpose registers
843 [for all callee-saved GPRs]
844 pushq %<reg>
845 [if not needs FP]
846 .cfi_def_cfa_offset (offset from RETADDR)
847 .seh_pushreg %<reg>
848
849 ; If the required stack alignment > default stack alignment
850 ; rsp needs to be re-aligned. This creates a "re-alignment gap"
851 ; of unknown size in the stack frame.
852 [if stack needs re-alignment]
853 and $MASK, %rsp
854
855 ; Allocate space for locals
856 [if target is Windows and allocated space > 4096 bytes]
857 ; Windows needs special care for allocations larger
858 ; than one page.
859 mov $NNN, %rax
860 call ___chkstk_ms/___chkstk
861 sub %rax, %rsp
862 [else]
863 sub $NNN, %rsp
864
865 [if needs FP]
866 .seh_stackalloc (size of XMM spill slots)
867 .seh_setframe %rbp, SEHFrameOffset ; = size of all spill slots
868 [else]
869 .seh_stackalloc NNN
870
871 ; Spill XMMs
872 ; Note, that while only Windows 64 ABI specifies XMMs as callee-preserved,
873 ; they may get spilled on any platform, if the current function
874 ; calls @llvm.eh.unwind.init
875 [if needs FP]
876 [for all callee-saved XMM registers]
877 movaps %<xmm reg>, -MMM(%rbp)
878 [for all callee-saved XMM registers]
879 .seh_savexmm %<xmm reg>, (-MMM + SEHFrameOffset)
880 ; i.e. the offset relative to (%rbp - SEHFrameOffset)
881 [else]
882 [for all callee-saved XMM registers]
883 movaps %<xmm reg>, KKK(%rsp)
884 [for all callee-saved XMM registers]
885 .seh_savexmm %<xmm reg>, KKK
886
887 .seh_endprologue
888
889 [if needs base pointer]
890 mov %rsp, %rbx
891 [if needs to restore base pointer]
892 mov %rsp, -MMM(%rbp)
893
894 ; Emit CFI info
895 [if needs FP]
896 [for all callee-saved registers]
897 .cfi_offset %<reg>, (offset from %rbp)
898 [else]
899 .cfi_def_cfa_offset (offset from RETADDR)
900 [for all callee-saved registers]
901 .cfi_offset %<reg>, (offset from %rsp)
902
903 Notes:
904 - .seh directives are emitted only for Windows 64 ABI
905 - .cfi directives are emitted for all other ABIs
906 - for 32-bit code, substitute %e?? registers for %r??
907*/
908
Quentin Colombet61b305e2015-05-05 17:38:16 +0000909void X86FrameLowering::emitPrologue(MachineFunction &MF,
910 MachineBasicBlock &MBB) const {
Reid Klecknerf9977bf2015-06-17 21:50:02 +0000911 assert(&STI == &MF.getSubtarget<X86Subtarget>() &&
912 "MF used frame lowering for wrong subtarget");
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000913 MachineBasicBlock::iterator MBBI = MBB.begin();
Matthias Braun941a7052016-07-28 18:40:00 +0000914 MachineFrameInfo &MFI = MF.getFrameInfo();
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000915 const Function *Fn = MF.getFunction();
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000916 MachineModuleInfo &MMI = MF.getMMI();
917 X86MachineFunctionInfo *X86FI = MF.getInfo<X86MachineFunctionInfo>();
David Majnemer93c22a42015-02-10 00:57:42 +0000918 uint64_t MaxAlign = calculateMaxStackAlign(MF); // Desired stack alignment.
Matthias Braun941a7052016-07-28 18:40:00 +0000919 uint64_t StackSize = MFI.getStackSize(); // Number of bytes to allocate.
Reid Klecknera13dfd52015-09-29 23:32:01 +0000920 bool IsFunclet = MBB.isEHFuncletEntry();
Reid Kleckner7850c9f2015-12-15 23:40:58 +0000921 EHPersonality Personality = EHPersonality::Unknown;
922 if (Fn->hasPersonalityFn())
923 Personality = classifyEHPersonality(Fn->getPersonalityFn());
Joseph Tremoulet149c4332015-11-13 00:39:23 +0000924 bool FnHasClrFunclet =
Reid Kleckner7850c9f2015-12-15 23:40:58 +0000925 MMI.hasEHFunclets() && Personality == EHPersonality::CoreCLR;
Joseph Tremoulet149c4332015-11-13 00:39:23 +0000926 bool IsClrFunclet = IsFunclet && FnHasClrFunclet;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000927 bool HasFP = hasFP(MF);
Reid Kleckner1c140bd2015-06-16 18:08:57 +0000928 bool IsWin64CC = STI.isCallingConvWin64(Fn->getCallingConv());
Reid Kleckner1c140bd2015-06-16 18:08:57 +0000929 bool IsWin64Prologue = MF.getTarget().getMCAsmInfo()->usesWindowsCFI();
930 bool NeedsWinCFI = IsWin64Prologue && Fn->needsUnwindTableEntry();
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000931 bool NeedsDwarfCFI =
Reid Kleckner1c140bd2015-06-16 18:08:57 +0000932 !IsWin64Prologue && (MMI.hasDebugInfo() || Fn->needsUnwindTableEntry());
Reid Kleckner034ea962015-06-18 20:32:02 +0000933 unsigned FramePtr = TRI->getFrameRegister(MF);
Eric Christopher05b81972015-02-02 17:38:43 +0000934 const unsigned MachineFramePtr =
935 STI.isTarget64BitILP32()
Craig Topper91dab7b2015-12-25 22:09:45 +0000936 ? getX86SubSuperRegister(FramePtr, 64) : FramePtr;
Tim Northover775aaeb2015-11-05 21:54:58 +0000937 unsigned BasePtr = TRI->getBaseRegister();
Hans Wennborgc4b1d202016-09-22 19:50:05 +0000938 bool HasWinCFI = false;
Tim Northover775aaeb2015-11-05 21:54:58 +0000939
940 // Debug location must be unknown since the first debug location is used
941 // to determine the end of the prologue.
942 DebugLoc DL;
943
944 // Add RETADDR move area to callee saved frame size.
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000945 int TailCallReturnAddrDelta = X86FI->getTCReturnAddrDelta();
Reid Kleckner1c140bd2015-06-16 18:08:57 +0000946 if (TailCallReturnAddrDelta && IsWin64Prologue)
David Majnemer93c22a42015-02-10 00:57:42 +0000947 report_fatal_error("Can't handle guaranteed tail call under win64 yet");
948
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000949 if (TailCallReturnAddrDelta < 0)
950 X86FI->setCalleeSavedFrameSize(
951 X86FI->getCalleeSavedFrameSize() - TailCallReturnAddrDelta);
952
953 bool UseStackProbe = (STI.isOSWindows() && !STI.isTargetMachO());
954
955 // The default stack probe size is 4096 if the function has no stackprobesize
956 // attribute.
957 unsigned StackProbeSize = 4096;
958 if (Fn->hasFnAttribute("stack-probe-size"))
959 Fn->getFnAttribute("stack-probe-size")
960 .getValueAsString()
961 .getAsInteger(0, StackProbeSize);
962
963 // If this is x86-64 and the Red Zone is not disabled, if we are a leaf
964 // function, and use up to 128 bytes of stack space, don't have a frame
965 // pointer, calls, or dynamic alloca then we do not need to adjust the
966 // stack pointer (we fit in the Red Zone). We also check that we don't
967 // push and pop from the stack.
Duncan P. N. Exon Smith5975a702015-02-14 01:59:52 +0000968 if (Is64Bit && !Fn->hasFnAttribute(Attribute::NoRedZone) &&
Reid Kleckner034ea962015-06-18 20:32:02 +0000969 !TRI->needsStackRealignment(MF) &&
Matthias Braun941a7052016-07-28 18:40:00 +0000970 !MFI.hasVarSizedObjects() && // No dynamic alloca.
971 !MFI.adjustsStack() && // No calls.
972 !IsWin64CC && // Win64 has no Red Zone
973 !MFI.hasCopyImplyingStackAdjustment() && // Don't push and pop.
974 !MF.shouldSplitStack()) { // Regular stack
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000975 uint64_t MinSize = X86FI->getCalleeSavedFrameSize();
976 if (HasFP) MinSize += SlotSize;
Hans Wennborg4ae51192016-03-25 01:10:56 +0000977 X86FI->setUsesRedZone(MinSize > 0 || StackSize > 0);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000978 StackSize = std::max(MinSize, StackSize > 128 ? StackSize - 128 : 0);
Matthias Braun941a7052016-07-28 18:40:00 +0000979 MFI.setStackSize(StackSize);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000980 }
981
982 // Insert stack pointer adjustment for later moving of return addr. Only
983 // applies to tail call optimized functions where the callee argument stack
984 // size is bigger than the callers.
985 if (TailCallReturnAddrDelta < 0) {
Reid Kleckner98d78032015-06-18 20:22:12 +0000986 BuildStackAdjustment(MBB, MBBI, DL, TailCallReturnAddrDelta,
987 /*InEpilogue=*/false)
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000988 .setMIFlag(MachineInstr::FrameSetup);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000989 }
990
991 // Mapping for machine moves:
992 //
993 // DST: VirtualFP AND
994 // SRC: VirtualFP => DW_CFA_def_cfa_offset
995 // ELSE => DW_CFA_def_cfa
996 //
997 // SRC: VirtualFP AND
998 // DST: Register => DW_CFA_def_cfa_register
999 //
1000 // ELSE
1001 // OFFSET < 0 => DW_CFA_offset_extended_sf
1002 // REG < 64 => DW_CFA_offset + Reg
1003 // ELSE => DW_CFA_offset_extended
1004
1005 uint64_t NumBytes = 0;
1006 int stackGrowth = -SlotSize;
1007
Joseph Tremoulet6afccf62015-11-05 02:20:07 +00001008 // Find the funclet establisher parameter
1009 unsigned Establisher = X86::NoRegister;
1010 if (IsClrFunclet)
1011 Establisher = Uses64BitFramePtr ? X86::RCX : X86::ECX;
1012 else if (IsFunclet)
1013 Establisher = Uses64BitFramePtr ? X86::RDX : X86::EDX;
1014
Craig Topper8e44b9a2015-12-10 06:09:41 +00001015 if (IsWin64Prologue && IsFunclet && !IsClrFunclet) {
Joseph Tremoulet6afccf62015-11-05 02:20:07 +00001016 // Immediately spill establisher into the home slot.
1017 // The runtime cares about this.
Reid Klecknera13dfd52015-09-29 23:32:01 +00001018 // MOV64mr %rdx, 16(%rsp)
1019 unsigned MOVmr = Uses64BitFramePtr ? X86::MOV64mr : X86::MOV32mr;
1020 addRegOffset(BuildMI(MBB, MBBI, DL, TII.get(MOVmr)), StackPtr, true, 16)
Joseph Tremoulet6afccf62015-11-05 02:20:07 +00001021 .addReg(Establisher)
Reid Klecknerdf129512015-09-08 22:44:41 +00001022 .setMIFlag(MachineInstr::FrameSetup);
Reid Kleckner64b003f2015-11-09 21:04:00 +00001023 MBB.addLiveIn(Establisher);
Reid Klecknera13dfd52015-09-29 23:32:01 +00001024 }
Reid Klecknerdf129512015-09-08 22:44:41 +00001025
Reid Klecknera13dfd52015-09-29 23:32:01 +00001026 if (HasFP) {
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001027 // Calculate required stack adjustment.
1028 uint64_t FrameSize = StackSize - SlotSize;
1029 // If required, include space for extra hidden slot for stashing base pointer.
1030 if (X86FI->getRestoreBasePointer())
1031 FrameSize += SlotSize;
David Majnemer89d05642015-02-21 01:04:47 +00001032
1033 NumBytes = FrameSize - X86FI->getCalleeSavedFrameSize();
1034
1035 // Callee-saved registers are pushed on stack before the stack is realigned.
Reid Kleckner034ea962015-06-18 20:32:02 +00001036 if (TRI->needsStackRealignment(MF) && !IsWin64Prologue)
Rui Ueyamada00f2f2016-01-14 21:06:47 +00001037 NumBytes = alignTo(NumBytes, MaxAlign);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001038
1039 // Get the offset of the stack slot for the EBP register, which is
1040 // guaranteed to be the last slot by processFunctionBeforeFrameFinalized.
1041 // Update the frame offset adjustment.
Reid Klecknera13dfd52015-09-29 23:32:01 +00001042 if (!IsFunclet)
Matthias Braun941a7052016-07-28 18:40:00 +00001043 MFI.setOffsetAdjustment(-NumBytes);
Reid Klecknera13dfd52015-09-29 23:32:01 +00001044 else
Matthias Braun941a7052016-07-28 18:40:00 +00001045 assert(MFI.getOffsetAdjustment() == -(int)NumBytes &&
Reid Klecknera13dfd52015-09-29 23:32:01 +00001046 "should calculate same local variable offset for funclets");
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001047
1048 // Save EBP/RBP into the appropriate stack slot.
1049 BuildMI(MBB, MBBI, DL, TII.get(Is64Bit ? X86::PUSH64r : X86::PUSH32r))
1050 .addReg(MachineFramePtr, RegState::Kill)
1051 .setMIFlag(MachineInstr::FrameSetup);
1052
1053 if (NeedsDwarfCFI) {
1054 // Mark the place where EBP/RBP was saved.
1055 // Define the current CFA rule to use the provided offset.
1056 assert(StackSize);
Reid Kleckner3854f7b2015-06-18 18:03:25 +00001057 BuildCFI(MBB, MBBI, DL,
Reid Kleckner7f189f82015-06-15 23:45:08 +00001058 MCCFIInstruction::createDefCfaOffset(nullptr, 2 * stackGrowth));
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001059
1060 // Change the rule for the FramePtr to be an "offset" rule.
Reid Kleckner034ea962015-06-18 20:32:02 +00001061 unsigned DwarfFramePtr = TRI->getDwarfRegNum(MachineFramePtr, true);
Reid Kleckner3854f7b2015-06-18 18:03:25 +00001062 BuildCFI(MBB, MBBI, DL, MCCFIInstruction::createOffset(
1063 nullptr, DwarfFramePtr, 2 * stackGrowth));
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001064 }
1065
Reid Kleckner1c140bd2015-06-16 18:08:57 +00001066 if (NeedsWinCFI) {
Hans Wennborgc4b1d202016-09-22 19:50:05 +00001067 HasWinCFI = true;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001068 BuildMI(MBB, MBBI, DL, TII.get(X86::SEH_PushReg))
1069 .addImm(FramePtr)
1070 .setMIFlag(MachineInstr::FrameSetup);
1071 }
1072
Reid Klecknera13dfd52015-09-29 23:32:01 +00001073 if (!IsWin64Prologue && !IsFunclet) {
David Majnemer93c22a42015-02-10 00:57:42 +00001074 // Update EBP with the new base value.
1075 BuildMI(MBB, MBBI, DL,
Charles Davise9c32c72016-08-08 21:20:15 +00001076 TII.get(Uses64BitFramePtr ? X86::MOV64rr : X86::MOV32rr),
David Majnemer93c22a42015-02-10 00:57:42 +00001077 FramePtr)
1078 .addReg(StackPtr)
1079 .setMIFlag(MachineInstr::FrameSetup);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001080
Reid Klecknera13dfd52015-09-29 23:32:01 +00001081 if (NeedsDwarfCFI) {
1082 // Mark effective beginning of when frame pointer becomes valid.
1083 // Define the current CFA to use the EBP/RBP register.
1084 unsigned DwarfFramePtr = TRI->getDwarfRegNum(MachineFramePtr, true);
1085 BuildCFI(MBB, MBBI, DL, MCCFIInstruction::createDefCfaRegister(
1086 nullptr, DwarfFramePtr));
1087 }
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001088 }
1089
Reid Kleckner64b003f2015-11-09 21:04:00 +00001090 // Mark the FramePtr as live-in in every block. Don't do this again for
1091 // funclet prologues.
1092 if (!IsFunclet) {
1093 for (MachineBasicBlock &EveryMBB : MF)
1094 EveryMBB.addLiveIn(MachineFramePtr);
1095 }
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001096 } else {
Reid Klecknera13dfd52015-09-29 23:32:01 +00001097 assert(!IsFunclet && "funclets without FPs not yet implemented");
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001098 NumBytes = StackSize - X86FI->getCalleeSavedFrameSize();
1099 }
1100
Reid Klecknera13dfd52015-09-29 23:32:01 +00001101 // For EH funclets, only allocate enough space for outgoing calls. Save the
1102 // NumBytes value that we would've used for the parent frame.
1103 unsigned ParentFrameNumBytes = NumBytes;
1104 if (IsFunclet)
Reid Kleckner28e49032015-10-16 23:43:27 +00001105 NumBytes = getWinEHFuncletFrameSize(MF);
Reid Klecknera13dfd52015-09-29 23:32:01 +00001106
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001107 // Skip the callee-saved push instructions.
1108 bool PushedRegs = false;
1109 int StackOffset = 2 * stackGrowth;
1110
1111 while (MBBI != MBB.end() &&
Michael Kupersteine1ea4e7d2015-07-16 12:27:59 +00001112 MBBI->getFlag(MachineInstr::FrameSetup) &&
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001113 (MBBI->getOpcode() == X86::PUSH32r ||
1114 MBBI->getOpcode() == X86::PUSH64r)) {
1115 PushedRegs = true;
1116 unsigned Reg = MBBI->getOperand(0).getReg();
1117 ++MBBI;
1118
1119 if (!HasFP && NeedsDwarfCFI) {
1120 // Mark callee-saved push instruction.
1121 // Define the current CFA rule to use the provided offset.
1122 assert(StackSize);
Reid Kleckner3854f7b2015-06-18 18:03:25 +00001123 BuildCFI(MBB, MBBI, DL,
Reid Kleckner7f189f82015-06-15 23:45:08 +00001124 MCCFIInstruction::createDefCfaOffset(nullptr, StackOffset));
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001125 StackOffset += stackGrowth;
1126 }
1127
Reid Kleckner1c140bd2015-06-16 18:08:57 +00001128 if (NeedsWinCFI) {
Hans Wennborgc4b1d202016-09-22 19:50:05 +00001129 HasWinCFI = true;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001130 BuildMI(MBB, MBBI, DL, TII.get(X86::SEH_PushReg)).addImm(Reg).setMIFlag(
1131 MachineInstr::FrameSetup);
1132 }
1133 }
1134
1135 // Realign stack after we pushed callee-saved registers (so that we'll be
1136 // able to calculate their offsets from the frame pointer).
David Majnemer93c22a42015-02-10 00:57:42 +00001137 // Don't do this for Win64, it needs to realign the stack after the prologue.
Reid Klecknera13dfd52015-09-29 23:32:01 +00001138 if (!IsWin64Prologue && !IsFunclet && TRI->needsStackRealignment(MF)) {
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001139 assert(HasFP && "There should be a frame pointer if stack is realigned.");
Reid Kleckner6ddae312015-11-05 21:09:49 +00001140 BuildStackAlignAND(MBB, MBBI, DL, StackPtr, MaxAlign);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001141 }
1142
1143 // If there is an SUB32ri of ESP immediately before this instruction, merge
1144 // the two. This can be the case when tail call elimination is enabled and
1145 // the callee has more arguments then the caller.
Reid Kleckner3854f7b2015-06-18 18:03:25 +00001146 NumBytes -= mergeSPUpdates(MBB, MBBI, true);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001147
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001148 // Adjust stack pointer: ESP -= numbytes.
1149
1150 // Windows and cygwin/mingw require a prologue helper routine when allocating
1151 // more than 4K bytes on the stack. Windows uses __chkstk and cygwin/mingw
1152 // uses __alloca. __alloca and the 32-bit version of __chkstk will probe the
1153 // stack and adjust the stack pointer in one go. The 64-bit version of
1154 // __chkstk is only responsible for probing the stack. The 64-bit prologue is
1155 // responsible for adjusting the stack pointer. Touching the stack at 4K
1156 // increments is necessary to ensure that the guard pages used by the OS
1157 // virtual memory manager are allocated in correct sequence.
David Majnemer89d05642015-02-21 01:04:47 +00001158 uint64_t AlignedNumBytes = NumBytes;
Reid Klecknera13dfd52015-09-29 23:32:01 +00001159 if (IsWin64Prologue && !IsFunclet && TRI->needsStackRealignment(MF))
Rui Ueyamada00f2f2016-01-14 21:06:47 +00001160 AlignedNumBytes = alignTo(AlignedNumBytes, MaxAlign);
David Majnemer89d05642015-02-21 01:04:47 +00001161 if (AlignedNumBytes >= StackProbeSize && UseStackProbe) {
Reid Kleckner8de35fe2016-02-17 00:17:33 +00001162 // Check whether EAX is livein for this block.
1163 bool isEAXAlive = isEAXLiveIn(MBB);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001164
1165 if (isEAXAlive) {
1166 // Sanity check that EAX is not livein for this function.
1167 // It should not be, so throw an assert.
1168 assert(!Is64Bit && "EAX is livein in x64 case!");
1169
1170 // Save EAX
1171 BuildMI(MBB, MBBI, DL, TII.get(X86::PUSH32r))
1172 .addReg(X86::EAX, RegState::Kill)
1173 .setMIFlag(MachineInstr::FrameSetup);
1174 }
1175
1176 if (Is64Bit) {
1177 // Handle the 64-bit Windows ABI case where we need to call __chkstk.
1178 // Function prologue is responsible for adjusting the stack pointer.
David Majnemer006c4902015-02-23 21:50:30 +00001179 if (isUInt<32>(NumBytes)) {
1180 BuildMI(MBB, MBBI, DL, TII.get(X86::MOV32ri), X86::EAX)
1181 .addImm(NumBytes)
1182 .setMIFlag(MachineInstr::FrameSetup);
1183 } else if (isInt<32>(NumBytes)) {
1184 BuildMI(MBB, MBBI, DL, TII.get(X86::MOV64ri32), X86::RAX)
1185 .addImm(NumBytes)
1186 .setMIFlag(MachineInstr::FrameSetup);
1187 } else {
1188 BuildMI(MBB, MBBI, DL, TII.get(X86::MOV64ri), X86::RAX)
1189 .addImm(NumBytes)
1190 .setMIFlag(MachineInstr::FrameSetup);
1191 }
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001192 } else {
1193 // Allocate NumBytes-4 bytes on stack in case of isEAXAlive.
1194 // We'll also use 4 already allocated bytes for EAX.
1195 BuildMI(MBB, MBBI, DL, TII.get(X86::MOV32ri), X86::EAX)
Andy Ayers809cbe92015-11-10 01:50:49 +00001196 .addImm(isEAXAlive ? NumBytes - 4 : NumBytes)
1197 .setMIFlag(MachineInstr::FrameSetup);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001198 }
1199
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001200 // Call __chkstk, __chkstk_ms, or __alloca.
Andy Ayers809cbe92015-11-10 01:50:49 +00001201 emitStackProbe(MF, MBB, MBBI, DL, true);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001202
1203 if (isEAXAlive) {
1204 // Restore EAX
Andy Ayers809cbe92015-11-10 01:50:49 +00001205 MachineInstr *MI =
1206 addRegOffset(BuildMI(MF, DL, TII.get(X86::MOV32rm), X86::EAX),
1207 StackPtr, false, NumBytes - 4);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001208 MI->setFlag(MachineInstr::FrameSetup);
1209 MBB.insert(MBBI, MI);
1210 }
1211 } else if (NumBytes) {
Reid Kleckner98d78032015-06-18 20:22:12 +00001212 emitSPUpdate(MBB, MBBI, -(int64_t)NumBytes, /*InEpilogue=*/false);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001213 }
1214
Hans Wennborgc4b1d202016-09-22 19:50:05 +00001215 if (NeedsWinCFI && NumBytes) {
1216 HasWinCFI = true;
David Majnemer93c22a42015-02-10 00:57:42 +00001217 BuildMI(MBB, MBBI, DL, TII.get(X86::SEH_StackAlloc))
1218 .addImm(NumBytes)
1219 .setMIFlag(MachineInstr::FrameSetup);
Hans Wennborgc4b1d202016-09-22 19:50:05 +00001220 }
David Majnemer93c22a42015-02-10 00:57:42 +00001221
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001222 int SEHFrameOffset = 0;
Joseph Tremoulet149c4332015-11-13 00:39:23 +00001223 unsigned SPOrEstablisher;
1224 if (IsFunclet) {
1225 if (IsClrFunclet) {
1226 // The establisher parameter passed to a CLR funclet is actually a pointer
1227 // to the (mostly empty) frame of its nearest enclosing funclet; we have
1228 // to find the root function establisher frame by loading the PSPSym from
1229 // the intermediate frame.
1230 unsigned PSPSlotOffset = getPSPSlotOffsetFromSP(MF);
1231 MachinePointerInfo NoInfo;
1232 MBB.addLiveIn(Establisher);
1233 addRegOffset(BuildMI(MBB, MBBI, DL, TII.get(X86::MOV64rm), Establisher),
1234 Establisher, false, PSPSlotOffset)
1235 .addMemOperand(MF.getMachineMemOperand(
1236 NoInfo, MachineMemOperand::MOLoad, SlotSize, SlotSize));
1237 ;
1238 // Save the root establisher back into the current funclet's (mostly
1239 // empty) frame, in case a sub-funclet or the GC needs it.
1240 addRegOffset(BuildMI(MBB, MBBI, DL, TII.get(X86::MOV64mr)), StackPtr,
1241 false, PSPSlotOffset)
1242 .addReg(Establisher)
1243 .addMemOperand(
1244 MF.getMachineMemOperand(NoInfo, MachineMemOperand::MOStore |
1245 MachineMemOperand::MOVolatile,
1246 SlotSize, SlotSize));
1247 }
1248 SPOrEstablisher = Establisher;
1249 } else {
1250 SPOrEstablisher = StackPtr;
1251 }
1252
Reid Kleckner1c140bd2015-06-16 18:08:57 +00001253 if (IsWin64Prologue && HasFP) {
Reid Klecknera13dfd52015-09-29 23:32:01 +00001254 // Set RBP to a small fixed offset from RSP. In the funclet case, we base
Joseph Tremoulet6afccf62015-11-05 02:20:07 +00001255 // this calculation on the incoming establisher, which holds the value of
1256 // RSP from the parent frame at the end of the prologue.
Reid Klecknera13dfd52015-09-29 23:32:01 +00001257 SEHFrameOffset = calculateSetFPREG(ParentFrameNumBytes);
David Majnemer31d868b2015-02-23 21:50:27 +00001258 if (SEHFrameOffset)
1259 addRegOffset(BuildMI(MBB, MBBI, DL, TII.get(X86::LEA64r), FramePtr),
Joseph Tremoulet6afccf62015-11-05 02:20:07 +00001260 SPOrEstablisher, false, SEHFrameOffset);
David Majnemer31d868b2015-02-23 21:50:27 +00001261 else
Reid Klecknera13dfd52015-09-29 23:32:01 +00001262 BuildMI(MBB, MBBI, DL, TII.get(X86::MOV64rr), FramePtr)
Joseph Tremoulet6afccf62015-11-05 02:20:07 +00001263 .addReg(SPOrEstablisher);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001264
Reid Klecknera13dfd52015-09-29 23:32:01 +00001265 // If this is not a funclet, emit the CFI describing our frame pointer.
Reid Kleckner7850c9f2015-12-15 23:40:58 +00001266 if (NeedsWinCFI && !IsFunclet) {
Hans Wennborgc4b1d202016-09-22 19:50:05 +00001267 HasWinCFI = true;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001268 BuildMI(MBB, MBBI, DL, TII.get(X86::SEH_SetFrame))
1269 .addImm(FramePtr)
1270 .addImm(SEHFrameOffset)
1271 .setMIFlag(MachineInstr::FrameSetup);
Reid Kleckner7850c9f2015-12-15 23:40:58 +00001272 if (isAsynchronousEHPersonality(Personality))
1273 MF.getWinEHFuncInfo()->SEHSetFrameOffset = SEHFrameOffset;
1274 }
Reid Klecknera13dfd52015-09-29 23:32:01 +00001275 } else if (IsFunclet && STI.is32Bit()) {
1276 // Reset EBP / ESI to something good for funclets.
1277 MBBI = restoreWin32EHStackPointers(MBB, MBBI, DL);
Reid Kleckner75b4be92015-11-13 21:27:00 +00001278 // If we're a catch funclet, we can be returned to via catchret. Save ESP
1279 // into the registration node so that the runtime will restore it for us.
1280 if (!MBB.isCleanupFuncletEntry()) {
Reid Kleckner7850c9f2015-12-15 23:40:58 +00001281 assert(Personality == EHPersonality::MSVC_CXX);
Reid Kleckner75b4be92015-11-13 21:27:00 +00001282 unsigned FrameReg;
Reid Klecknerc20276d2015-11-17 21:10:25 +00001283 int FI = MF.getWinEHFuncInfo()->EHRegNodeFrameIndex;
Reid Kleckner75b4be92015-11-13 21:27:00 +00001284 int64_t EHRegOffset = getFrameIndexReference(MF, FI, FrameReg);
1285 // ESP is the first field, so no extra displacement is needed.
1286 addRegOffset(BuildMI(MBB, MBBI, DL, TII.get(X86::MOV32mr)), FrameReg,
1287 false, EHRegOffset)
1288 .addReg(X86::ESP);
1289 }
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001290 }
1291
David Majnemera7d908e2015-02-10 19:01:47 +00001292 while (MBBI != MBB.end() && MBBI->getFlag(MachineInstr::FrameSetup)) {
Duncan P. N. Exon Smith9cfc75c2016-06-30 00:01:54 +00001293 const MachineInstr &FrameInstr = *MBBI;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001294 ++MBBI;
1295
Reid Kleckner1c140bd2015-06-16 18:08:57 +00001296 if (NeedsWinCFI) {
David Majnemera7d908e2015-02-10 19:01:47 +00001297 int FI;
1298 if (unsigned Reg = TII.isStoreToStackSlot(FrameInstr, FI)) {
1299 if (X86::FR64RegClass.contains(Reg)) {
James Y Knight5567baf2015-08-15 02:32:35 +00001300 unsigned IgnoredFrameReg;
1301 int Offset = getFrameIndexReference(MF, FI, IgnoredFrameReg);
David Majnemera7d908e2015-02-10 19:01:47 +00001302 Offset += SEHFrameOffset;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001303
Hans Wennborgc4b1d202016-09-22 19:50:05 +00001304 HasWinCFI = true;
David Majnemera7d908e2015-02-10 19:01:47 +00001305 BuildMI(MBB, MBBI, DL, TII.get(X86::SEH_SaveXMM))
1306 .addImm(Reg)
1307 .addImm(Offset)
1308 .setMIFlag(MachineInstr::FrameSetup);
1309 }
1310 }
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001311 }
David Majnemera7d908e2015-02-10 19:01:47 +00001312 }
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001313
Hans Wennborgc4b1d202016-09-22 19:50:05 +00001314 if (NeedsWinCFI && HasWinCFI)
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001315 BuildMI(MBB, MBBI, DL, TII.get(X86::SEH_EndPrologue))
1316 .setMIFlag(MachineInstr::FrameSetup);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001317
Joseph Tremoulet149c4332015-11-13 00:39:23 +00001318 if (FnHasClrFunclet && !IsFunclet) {
1319 // Save the so-called Initial-SP (i.e. the value of the stack pointer
1320 // immediately after the prolog) into the PSPSlot so that funclets
1321 // and the GC can recover it.
1322 unsigned PSPSlotOffset = getPSPSlotOffsetFromSP(MF);
1323 auto PSPInfo = MachinePointerInfo::getFixedStack(
Reid Klecknerc20276d2015-11-17 21:10:25 +00001324 MF, MF.getWinEHFuncInfo()->PSPSymFrameIdx);
Joseph Tremoulet149c4332015-11-13 00:39:23 +00001325 addRegOffset(BuildMI(MBB, MBBI, DL, TII.get(X86::MOV64mr)), StackPtr, false,
1326 PSPSlotOffset)
1327 .addReg(StackPtr)
1328 .addMemOperand(MF.getMachineMemOperand(
1329 PSPInfo, MachineMemOperand::MOStore | MachineMemOperand::MOVolatile,
1330 SlotSize, SlotSize));
1331 }
1332
David Majnemer93c22a42015-02-10 00:57:42 +00001333 // Realign stack after we spilled callee-saved registers (so that we'll be
1334 // able to calculate their offsets from the frame pointer).
1335 // Win64 requires aligning the stack after the prologue.
Reid Kleckner034ea962015-06-18 20:32:02 +00001336 if (IsWin64Prologue && TRI->needsStackRealignment(MF)) {
David Majnemer93c22a42015-02-10 00:57:42 +00001337 assert(HasFP && "There should be a frame pointer if stack is realigned.");
Reid Kleckner6ddae312015-11-05 21:09:49 +00001338 BuildStackAlignAND(MBB, MBBI, DL, SPOrEstablisher, MaxAlign);
David Majnemer93c22a42015-02-10 00:57:42 +00001339 }
1340
Reid Kleckner6ddae312015-11-05 21:09:49 +00001341 // We already dealt with stack realignment and funclets above.
1342 if (IsFunclet && STI.is32Bit())
1343 return;
1344
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001345 // If we need a base pointer, set it up here. It's whatever the value
1346 // of the stack pointer is at this point. Any variable size objects
1347 // will be allocated after this, so we can still use the base pointer
1348 // to reference locals.
Reid Kleckner034ea962015-06-18 20:32:02 +00001349 if (TRI->hasBasePointer(MF)) {
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001350 // Update the base pointer with the current stack pointer.
1351 unsigned Opc = Uses64BitFramePtr ? X86::MOV64rr : X86::MOV32rr;
1352 BuildMI(MBB, MBBI, DL, TII.get(Opc), BasePtr)
Reid Kleckner6ddae312015-11-05 21:09:49 +00001353 .addReg(SPOrEstablisher)
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001354 .setMIFlag(MachineInstr::FrameSetup);
1355 if (X86FI->getRestoreBasePointer()) {
Reid Klecknere69bdb82015-07-07 23:45:58 +00001356 // Stash value of base pointer. Saving RSP instead of EBP shortens
1357 // dependence chain. Used by SjLj EH.
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001358 unsigned Opm = Uses64BitFramePtr ? X86::MOV64mr : X86::MOV32mr;
1359 addRegOffset(BuildMI(MBB, MBBI, DL, TII.get(Opm)),
1360 FramePtr, true, X86FI->getRestoreBasePointerOffset())
Reid Kleckner6ddae312015-11-05 21:09:49 +00001361 .addReg(SPOrEstablisher)
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001362 .setMIFlag(MachineInstr::FrameSetup);
1363 }
Reid Klecknere69bdb82015-07-07 23:45:58 +00001364
Reid Kleckner6ddae312015-11-05 21:09:49 +00001365 if (X86FI->getHasSEHFramePtrSave() && !IsFunclet) {
Reid Klecknere69bdb82015-07-07 23:45:58 +00001366 // Stash the value of the frame pointer relative to the base pointer for
1367 // Win32 EH. This supports Win32 EH, which does the inverse of the above:
1368 // it recovers the frame pointer from the base pointer rather than the
1369 // other way around.
1370 unsigned Opm = Uses64BitFramePtr ? X86::MOV64mr : X86::MOV32mr;
Reid Klecknerdf129512015-09-08 22:44:41 +00001371 unsigned UsedReg;
1372 int Offset =
1373 getFrameIndexReference(MF, X86FI->getSEHFramePtrSaveIndex(), UsedReg);
1374 assert(UsedReg == BasePtr);
1375 addRegOffset(BuildMI(MBB, MBBI, DL, TII.get(Opm)), UsedReg, true, Offset)
Reid Klecknere69bdb82015-07-07 23:45:58 +00001376 .addReg(FramePtr)
1377 .setMIFlag(MachineInstr::FrameSetup);
1378 }
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001379 }
1380
1381 if (((!HasFP && NumBytes) || PushedRegs) && NeedsDwarfCFI) {
1382 // Mark end of stack pointer adjustment.
1383 if (!HasFP && NumBytes) {
1384 // Define the current CFA rule to use the provided offset.
1385 assert(StackSize);
Reid Kleckner3854f7b2015-06-18 18:03:25 +00001386 BuildCFI(MBB, MBBI, DL, MCCFIInstruction::createDefCfaOffset(
1387 nullptr, -StackSize + stackGrowth));
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001388 }
1389
1390 // Emit DWARF info specifying the offsets of the callee-saved registers.
1391 if (PushedRegs)
1392 emitCalleeSavedFrameMoves(MBB, MBBI, DL);
1393 }
Amjad Aboud78b1fb02016-05-13 12:46:57 +00001394
1395 // X86 Interrupt handling function cannot assume anything about the direction
1396 // flag (DF in EFLAGS register). Clear this flag by creating "cld" instruction
1397 // in each prologue of interrupt handler function.
1398 //
1399 // FIXME: Create "cld" instruction only in these cases:
1400 // 1. The interrupt handling function uses any of the "rep" instructions.
1401 // 2. Interrupt handling function calls another function.
1402 //
1403 if (Fn->getCallingConv() == CallingConv::X86_INTR)
1404 BuildMI(MBB, MBBI, DL, TII.get(X86::CLD))
1405 .setMIFlag(MachineInstr::FrameSetup);
Hans Wennborgc4b1d202016-09-22 19:50:05 +00001406
1407 // At this point we know if the function has WinCFI or not.
1408 MF.setHasWinCFI(HasWinCFI);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001409}
1410
Quentin Colombetaa8020752015-05-27 06:28:41 +00001411bool X86FrameLowering::canUseLEAForSPInEpilogue(
1412 const MachineFunction &MF) const {
David Majnemer2c3ea552016-09-09 01:07:01 +00001413 // We can't use LEA instructions for adjusting the stack pointer if we don't
1414 // have a frame pointer in the Win64 ABI. Only ADD instructions may be used
1415 // to deallocate the stack.
Quentin Colombet494eb602015-05-22 18:10:47 +00001416 // This means that we can use LEA for SP in two situations:
1417 // 1. We *aren't* using the Win64 ABI which means we are free to use LEA.
1418 // 2. We *have* a frame pointer which means we are permitted to use LEA.
Quentin Colombetaa8020752015-05-27 06:28:41 +00001419 return !MF.getTarget().getMCAsmInfo()->usesWindowsCFI() || hasFP(MF);
1420}
1421
Duncan P. N. Exon Smith7b4c18e2016-07-12 03:18:50 +00001422static bool isFuncletReturnInstr(MachineInstr &MI) {
1423 switch (MI.getOpcode()) {
Reid Klecknerdf129512015-09-08 22:44:41 +00001424 case X86::CATCHRET:
Reid Kleckner78783912015-09-10 00:25:23 +00001425 case X86::CLEANUPRET:
Reid Klecknerdf129512015-09-08 22:44:41 +00001426 return true;
1427 default:
1428 return false;
1429 }
1430 llvm_unreachable("impossible");
1431}
1432
Joseph Tremoulet149c4332015-11-13 00:39:23 +00001433// CLR funclets use a special "Previous Stack Pointer Symbol" slot on the
1434// stack. It holds a pointer to the bottom of the root function frame. The
1435// establisher frame pointer passed to a nested funclet may point to the
1436// (mostly empty) frame of its parent funclet, but it will need to find
1437// the frame of the root function to access locals. To facilitate this,
1438// every funclet copies the pointer to the bottom of the root function
1439// frame into a PSPSym slot in its own (mostly empty) stack frame. Using the
1440// same offset for the PSPSym in the root function frame that's used in the
1441// funclets' frames allows each funclet to dynamically accept any ancestor
1442// frame as its establisher argument (the runtime doesn't guarantee the
1443// immediate parent for some reason lost to history), and also allows the GC,
1444// which uses the PSPSym for some bookkeeping, to find it in any funclet's
1445// frame with only a single offset reported for the entire method.
1446unsigned
1447X86FrameLowering::getPSPSlotOffsetFromSP(const MachineFunction &MF) const {
Reid Klecknerc20276d2015-11-17 21:10:25 +00001448 const WinEHFuncInfo &Info = *MF.getWinEHFuncInfo();
Joseph Tremoulet149c4332015-11-13 00:39:23 +00001449 unsigned SPReg;
Sanjoy Das0ebc9612016-06-16 18:54:06 +00001450 int Offset = getFrameIndexReferencePreferSP(MF, Info.PSPSymFrameIdx, SPReg,
1451 /*IgnoreSPUpdates*/ true);
1452 assert(Offset >= 0 && SPReg == TRI->getStackRegister());
Joseph Tremoulet149c4332015-11-13 00:39:23 +00001453 return static_cast<unsigned>(Offset);
1454}
1455
1456unsigned
1457X86FrameLowering::getWinEHFuncletFrameSize(const MachineFunction &MF) const {
Reid Kleckner28e49032015-10-16 23:43:27 +00001458 // This is the size of the pushed CSRs.
1459 unsigned CSSize =
1460 MF.getInfo<X86MachineFunctionInfo>()->getCalleeSavedFrameSize();
1461 // This is the amount of stack a funclet needs to allocate.
Joseph Tremoulet149c4332015-11-13 00:39:23 +00001462 unsigned UsedSize;
1463 EHPersonality Personality =
1464 classifyEHPersonality(MF.getFunction()->getPersonalityFn());
1465 if (Personality == EHPersonality::CoreCLR) {
1466 // CLR funclets need to hold enough space to include the PSPSym, at the
1467 // same offset from the stack pointer (immediately after the prolog) as it
1468 // resides at in the main function.
1469 UsedSize = getPSPSlotOffsetFromSP(MF) + SlotSize;
1470 } else {
1471 // Other funclets just need enough stack for outgoing call arguments.
Matthias Braun941a7052016-07-28 18:40:00 +00001472 UsedSize = MF.getFrameInfo().getMaxCallFrameSize();
Joseph Tremoulet149c4332015-11-13 00:39:23 +00001473 }
Reid Kleckner28e49032015-10-16 23:43:27 +00001474 // RBP is not included in the callee saved register block. After pushing RBP,
1475 // everything is 16 byte aligned. Everything we allocate before an outgoing
1476 // call must also be 16 byte aligned.
Rui Ueyamada00f2f2016-01-14 21:06:47 +00001477 unsigned FrameSizeMinusRBP = alignTo(CSSize + UsedSize, getStackAlignment());
Reid Kleckner28e49032015-10-16 23:43:27 +00001478 // Subtract out the size of the callee saved registers. This is how much stack
1479 // each funclet will allocate.
1480 return FrameSizeMinusRBP - CSSize;
1481}
1482
Quentin Colombetfb82c7b2016-07-11 21:03:03 +00001483static bool isTailCallOpcode(unsigned Opc) {
1484 return Opc == X86::TCRETURNri || Opc == X86::TCRETURNdi ||
1485 Opc == X86::TCRETURNmi ||
1486 Opc == X86::TCRETURNri64 || Opc == X86::TCRETURNdi64 ||
1487 Opc == X86::TCRETURNmi64;
1488}
1489
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001490void X86FrameLowering::emitEpilogue(MachineFunction &MF,
1491 MachineBasicBlock &MBB) const {
Matthias Braun941a7052016-07-28 18:40:00 +00001492 const MachineFrameInfo &MFI = MF.getFrameInfo();
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001493 X86MachineFunctionInfo *X86FI = MF.getInfo<X86MachineFunctionInfo>();
Quentin Colombetaa8020752015-05-27 06:28:41 +00001494 MachineBasicBlock::iterator MBBI = MBB.getFirstTerminator();
Duncan P. N. Exon Smith69b06502016-08-12 22:43:33 +00001495 Optional<unsigned> RetOpcode;
1496 if (MBBI != MBB.end())
1497 RetOpcode = MBBI->getOpcode();
Quentin Colombetaa8020752015-05-27 06:28:41 +00001498 DebugLoc DL;
1499 if (MBBI != MBB.end())
1500 DL = MBBI->getDebugLoc();
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001501 // standard x86_64 and NaCl use 64-bit frame/stack pointers, x32 - 32-bit.
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001502 const bool Is64BitILP32 = STI.isTarget64BitILP32();
Reid Kleckner034ea962015-06-18 20:32:02 +00001503 unsigned FramePtr = TRI->getFrameRegister(MF);
Eric Christopher05b81972015-02-02 17:38:43 +00001504 unsigned MachineFramePtr =
Craig Topper91dab7b2015-12-25 22:09:45 +00001505 Is64BitILP32 ? getX86SubSuperRegister(FramePtr, 64) : FramePtr;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001506
Reid Kleckner1c140bd2015-06-16 18:08:57 +00001507 bool IsWin64Prologue = MF.getTarget().getMCAsmInfo()->usesWindowsCFI();
1508 bool NeedsWinCFI =
1509 IsWin64Prologue && MF.getFunction()->needsUnwindTableEntry();
Duncan P. N. Exon Smith69b06502016-08-12 22:43:33 +00001510 bool IsFunclet = MBBI == MBB.end() ? false : isFuncletReturnInstr(*MBBI);
Reid Kleckner51460c12015-11-06 01:49:05 +00001511 MachineBasicBlock *TargetMBB = nullptr;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001512
1513 // Get the number of bytes to allocate from the FrameInfo.
Matthias Braun941a7052016-07-28 18:40:00 +00001514 uint64_t StackSize = MFI.getStackSize();
David Majnemer93c22a42015-02-10 00:57:42 +00001515 uint64_t MaxAlign = calculateMaxStackAlign(MF);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001516 unsigned CSSize = X86FI->getCalleeSavedFrameSize();
1517 uint64_t NumBytes = 0;
1518
Duncan P. N. Exon Smith69b06502016-08-12 22:43:33 +00001519 if (RetOpcode && *RetOpcode == X86::CATCHRET) {
Reid Kleckner51460c12015-11-06 01:49:05 +00001520 // SEH shouldn't use catchret.
1521 assert(!isAsynchronousEHPersonality(
1522 classifyEHPersonality(MF.getFunction()->getPersonalityFn())) &&
1523 "SEH should not use CATCHRET");
1524
Reid Kleckner28e49032015-10-16 23:43:27 +00001525 NumBytes = getWinEHFuncletFrameSize(MF);
Reid Kleckner5b8a46e2015-09-17 20:43:47 +00001526 assert(hasFP(MF) && "EH funclets without FP not yet implemented");
Reid Kleckner51460c12015-11-06 01:49:05 +00001527 TargetMBB = MBBI->getOperand(0).getMBB();
David Majnemer91b0ab92015-09-29 22:33:36 +00001528
Reid Klecknerda6dcc52015-09-10 22:00:02 +00001529 // Pop EBP.
1530 BuildMI(MBB, MBBI, DL, TII.get(Is64Bit ? X86::POP64r : X86::POP32r),
Reid Kleckner5b8a46e2015-09-17 20:43:47 +00001531 MachineFramePtr)
1532 .setMIFlag(MachineInstr::FrameDestroy);
Duncan P. N. Exon Smith69b06502016-08-12 22:43:33 +00001533 } else if (RetOpcode && *RetOpcode == X86::CLEANUPRET) {
Reid Kleckner28e49032015-10-16 23:43:27 +00001534 NumBytes = getWinEHFuncletFrameSize(MF);
Reid Kleckner5b8a46e2015-09-17 20:43:47 +00001535 assert(hasFP(MF) && "EH funclets without FP not yet implemented");
1536 BuildMI(MBB, MBBI, DL, TII.get(Is64Bit ? X86::POP64r : X86::POP32r),
1537 MachineFramePtr)
1538 .setMIFlag(MachineInstr::FrameDestroy);
Reid Klecknerdf129512015-09-08 22:44:41 +00001539 } else if (hasFP(MF)) {
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001540 // Calculate required stack adjustment.
1541 uint64_t FrameSize = StackSize - SlotSize;
David Majnemer89d05642015-02-21 01:04:47 +00001542 NumBytes = FrameSize - CSSize;
1543
1544 // Callee-saved registers were pushed on stack before the stack was
1545 // realigned.
Reid Kleckner034ea962015-06-18 20:32:02 +00001546 if (TRI->needsStackRealignment(MF) && !IsWin64Prologue)
Rui Ueyamada00f2f2016-01-14 21:06:47 +00001547 NumBytes = alignTo(FrameSize, MaxAlign);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001548
1549 // Pop EBP.
1550 BuildMI(MBB, MBBI, DL,
Michael Kuperstein098cd9f2015-09-16 11:18:25 +00001551 TII.get(Is64Bit ? X86::POP64r : X86::POP32r), MachineFramePtr)
1552 .setMIFlag(MachineInstr::FrameDestroy);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001553 } else {
1554 NumBytes = StackSize - CSSize;
1555 }
David Majnemer93c22a42015-02-10 00:57:42 +00001556 uint64_t SEHStackAllocAmt = NumBytes;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001557
1558 // Skip the callee-saved pop instructions.
1559 while (MBBI != MBB.begin()) {
1560 MachineBasicBlock::iterator PI = std::prev(MBBI);
1561 unsigned Opc = PI->getOpcode();
1562
Michael Kuperstein098cd9f2015-09-16 11:18:25 +00001563 if ((Opc != X86::POP32r || !PI->getFlag(MachineInstr::FrameDestroy)) &&
1564 (Opc != X86::POP64r || !PI->getFlag(MachineInstr::FrameDestroy)) &&
1565 Opc != X86::DBG_VALUE && !PI->isTerminator())
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001566 break;
1567
1568 --MBBI;
1569 }
1570 MachineBasicBlock::iterator FirstCSPop = MBBI;
1571
Reid Kleckner51460c12015-11-06 01:49:05 +00001572 if (TargetMBB) {
David Majnemer35d27b22015-10-09 22:18:45 +00001573 // Fill EAX/RAX with the address of the target block.
1574 unsigned ReturnReg = STI.is64Bit() ? X86::RAX : X86::EAX;
1575 if (STI.is64Bit()) {
Reid Kleckner51460c12015-11-06 01:49:05 +00001576 // LEA64r TargetMBB(%rip), %rax
David Majnemer35d27b22015-10-09 22:18:45 +00001577 BuildMI(MBB, FirstCSPop, DL, TII.get(X86::LEA64r), ReturnReg)
1578 .addReg(X86::RIP)
1579 .addImm(0)
1580 .addReg(0)
Reid Kleckner51460c12015-11-06 01:49:05 +00001581 .addMBB(TargetMBB)
David Majnemer35d27b22015-10-09 22:18:45 +00001582 .addReg(0);
1583 } else {
Reid Kleckner51460c12015-11-06 01:49:05 +00001584 // MOV32ri $TargetMBB, %eax
Reid Kleckner64b003f2015-11-09 21:04:00 +00001585 BuildMI(MBB, FirstCSPop, DL, TII.get(X86::MOV32ri), ReturnReg)
Reid Kleckner51460c12015-11-06 01:49:05 +00001586 .addMBB(TargetMBB);
David Majnemer35d27b22015-10-09 22:18:45 +00001587 }
Reid Kleckner51460c12015-11-06 01:49:05 +00001588 // Record that we've taken the address of TargetMBB and no longer just
Joseph Tremoulet3d0fbf12015-10-23 15:06:05 +00001589 // reference it in a terminator.
Reid Kleckner51460c12015-11-06 01:49:05 +00001590 TargetMBB->setHasAddressTaken();
David Majnemer35d27b22015-10-09 22:18:45 +00001591 }
1592
Quentin Colombetaa8020752015-05-27 06:28:41 +00001593 if (MBBI != MBB.end())
1594 DL = MBBI->getDebugLoc();
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001595
1596 // If there is an ADD32ri or SUB32ri of ESP immediately before this
1597 // instruction, merge the two instructions.
Matthias Braun941a7052016-07-28 18:40:00 +00001598 if (NumBytes || MFI.hasVarSizedObjects())
Michael Kupersteincba308c2015-07-28 08:56:13 +00001599 NumBytes += mergeSPUpdates(MBB, MBBI, true);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001600
1601 // If dynamic alloca is used, then reset esp to point to the last callee-saved
1602 // slot before popping them off! Same applies for the case, when stack was
Reid Kleckner97797412015-10-07 23:55:01 +00001603 // realigned. Don't do this if this was a funclet epilogue, since the funclets
1604 // will not do realignment or dynamic stack allocation.
Matthias Braun941a7052016-07-28 18:40:00 +00001605 if ((TRI->needsStackRealignment(MF) || MFI.hasVarSizedObjects()) &&
Reid Kleckner97797412015-10-07 23:55:01 +00001606 !IsFunclet) {
Reid Kleckner034ea962015-06-18 20:32:02 +00001607 if (TRI->needsStackRealignment(MF))
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001608 MBBI = FirstCSPop;
David Majnemere1bbad92015-02-25 21:13:37 +00001609 unsigned SEHFrameOffset = calculateSetFPREG(SEHStackAllocAmt);
Reid Kleckner1c140bd2015-06-16 18:08:57 +00001610 uint64_t LEAAmount =
1611 IsWin64Prologue ? SEHStackAllocAmt - SEHFrameOffset : -CSSize;
David Majnemere1bbad92015-02-25 21:13:37 +00001612
1613 // There are only two legal forms of epilogue:
1614 // - add SEHAllocationSize, %rsp
1615 // - lea SEHAllocationSize(%FramePtr), %rsp
1616 //
1617 // 'mov %FramePtr, %rsp' will not be recognized as an epilogue sequence.
1618 // However, we may use this sequence if we have a frame pointer because the
1619 // effects of the prologue can safely be undone.
1620 if (LEAAmount != 0) {
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001621 unsigned Opc = getLEArOpcode(Uses64BitFramePtr);
1622 addRegOffset(BuildMI(MBB, MBBI, DL, TII.get(Opc), StackPtr),
David Majnemere1bbad92015-02-25 21:13:37 +00001623 FramePtr, false, LEAAmount);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001624 --MBBI;
1625 } else {
1626 unsigned Opc = (Uses64BitFramePtr ? X86::MOV64rr : X86::MOV32rr);
1627 BuildMI(MBB, MBBI, DL, TII.get(Opc), StackPtr)
1628 .addReg(FramePtr);
1629 --MBBI;
1630 }
1631 } else if (NumBytes) {
1632 // Adjust stack pointer back: ESP += numbytes.
Reid Kleckner98d78032015-06-18 20:22:12 +00001633 emitSPUpdate(MBB, MBBI, NumBytes, /*InEpilogue=*/true);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001634 --MBBI;
1635 }
1636
1637 // Windows unwinder will not invoke function's exception handler if IP is
1638 // either in prologue or in epilogue. This behavior causes a problem when a
1639 // call immediately precedes an epilogue, because the return address points
1640 // into the epilogue. To cope with that, we insert an epilogue marker here,
1641 // then replace it with a 'nop' if it ends up immediately after a CALL in the
1642 // final emitted code.
Hans Wennborgc4b1d202016-09-22 19:50:05 +00001643 if (NeedsWinCFI && MF.hasWinCFI())
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001644 BuildMI(MBB, MBBI, DL, TII.get(X86::SEH_Epilogue));
1645
Duncan P. N. Exon Smith69b06502016-08-12 22:43:33 +00001646 if (!RetOpcode || !isTailCallOpcode(*RetOpcode)) {
Quentin Colombetfb82c7b2016-07-11 21:03:03 +00001647 // Add the return addr area delta back since we are not tail calling.
1648 int Offset = -1 * X86FI->getTCReturnAddrDelta();
1649 assert(Offset >= 0 && "TCDelta should never be positive");
1650 if (Offset) {
1651 MBBI = MBB.getFirstTerminator();
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001652
Quentin Colombetfb82c7b2016-07-11 21:03:03 +00001653 // Check for possible merge with preceding ADD instruction.
1654 Offset += mergeSPUpdates(MBB, MBBI, true);
1655 emitSPUpdate(MBB, MBBI, Offset, /*InEpilogue=*/true);
1656 }
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001657 }
1658}
1659
James Y Knight5567baf2015-08-15 02:32:35 +00001660// NOTE: this only has a subset of the full frame index logic. In
1661// particular, the FI < 0 and AfterFPPop logic is handled in
1662// X86RegisterInfo::eliminateFrameIndex, but not here. Possibly
1663// (probably?) it should be moved into here.
1664int X86FrameLowering::getFrameIndexReference(const MachineFunction &MF, int FI,
1665 unsigned &FrameReg) const {
Matthias Braun941a7052016-07-28 18:40:00 +00001666 const MachineFrameInfo &MFI = MF.getFrameInfo();
James Y Knight5567baf2015-08-15 02:32:35 +00001667
1668 // We can't calculate offset from frame pointer if the stack is realigned,
1669 // so enforce usage of stack/base pointer. The base pointer is used when we
1670 // have dynamic allocas in addition to dynamic realignment.
1671 if (TRI->hasBasePointer(MF))
1672 FrameReg = TRI->getBaseRegister();
1673 else if (TRI->needsStackRealignment(MF))
1674 FrameReg = TRI->getStackRegister();
1675 else
1676 FrameReg = TRI->getFrameRegister(MF);
1677
David Majnemer93c22a42015-02-10 00:57:42 +00001678 // Offset will hold the offset from the stack pointer at function entry to the
1679 // object.
1680 // We need to factor in additional offsets applied during the prologue to the
1681 // frame, base, and stack pointer depending on which is used.
Matthias Braun941a7052016-07-28 18:40:00 +00001682 int Offset = MFI.getObjectOffset(FI) - getOffsetOfLocalArea();
David Majnemer93c22a42015-02-10 00:57:42 +00001683 const X86MachineFunctionInfo *X86FI = MF.getInfo<X86MachineFunctionInfo>();
1684 unsigned CSSize = X86FI->getCalleeSavedFrameSize();
Matthias Braun941a7052016-07-28 18:40:00 +00001685 uint64_t StackSize = MFI.getStackSize();
David Majnemer93c22a42015-02-10 00:57:42 +00001686 bool HasFP = hasFP(MF);
Reid Kleckner1c140bd2015-06-16 18:08:57 +00001687 bool IsWin64Prologue = MF.getTarget().getMCAsmInfo()->usesWindowsCFI();
David Majnemer93c22a42015-02-10 00:57:42 +00001688 int64_t FPDelta = 0;
1689
Reid Kleckner1c140bd2015-06-16 18:08:57 +00001690 if (IsWin64Prologue) {
Matthias Braun941a7052016-07-28 18:40:00 +00001691 assert(!MFI.hasCalls() || (StackSize % 16) == 8);
David Majnemer89d05642015-02-21 01:04:47 +00001692
David Majnemer93c22a42015-02-10 00:57:42 +00001693 // Calculate required stack adjustment.
1694 uint64_t FrameSize = StackSize - SlotSize;
1695 // If required, include space for extra hidden slot for stashing base pointer.
1696 if (X86FI->getRestoreBasePointer())
1697 FrameSize += SlotSize;
David Majnemer89d05642015-02-21 01:04:47 +00001698 uint64_t NumBytes = FrameSize - CSSize;
David Majnemer93c22a42015-02-10 00:57:42 +00001699
David Majnemer93c22a42015-02-10 00:57:42 +00001700 uint64_t SEHFrameOffset = calculateSetFPREG(NumBytes);
David Majnemer13d0b112015-02-10 21:22:05 +00001701 if (FI && FI == X86FI->getFAIndex())
1702 return -SEHFrameOffset;
1703
David Majnemer93c22a42015-02-10 00:57:42 +00001704 // FPDelta is the offset from the "traditional" FP location of the old base
1705 // pointer followed by return address and the location required by the
1706 // restricted Win64 prologue.
1707 // Add FPDelta to all offsets below that go through the frame pointer.
David Majnemer89d05642015-02-21 01:04:47 +00001708 FPDelta = FrameSize - SEHFrameOffset;
Matthias Braun941a7052016-07-28 18:40:00 +00001709 assert((!MFI.hasCalls() || (FPDelta % 16) == 0) &&
David Majnemer89d05642015-02-21 01:04:47 +00001710 "FPDelta isn't aligned per the Win64 ABI!");
David Majnemer93c22a42015-02-10 00:57:42 +00001711 }
1712
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001713
Reid Kleckner034ea962015-06-18 20:32:02 +00001714 if (TRI->hasBasePointer(MF)) {
David Majnemer93c22a42015-02-10 00:57:42 +00001715 assert(HasFP && "VLAs and dynamic stack realign, but no FP?!");
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001716 if (FI < 0) {
1717 // Skip the saved EBP.
David Majnemer93c22a42015-02-10 00:57:42 +00001718 return Offset + SlotSize + FPDelta;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001719 } else {
Matthias Braun941a7052016-07-28 18:40:00 +00001720 assert((-(Offset + StackSize)) % MFI.getObjectAlignment(FI) == 0);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001721 return Offset + StackSize;
1722 }
Reid Kleckner034ea962015-06-18 20:32:02 +00001723 } else if (TRI->needsStackRealignment(MF)) {
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001724 if (FI < 0) {
1725 // Skip the saved EBP.
David Majnemer93c22a42015-02-10 00:57:42 +00001726 return Offset + SlotSize + FPDelta;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001727 } else {
Matthias Braun941a7052016-07-28 18:40:00 +00001728 assert((-(Offset + StackSize)) % MFI.getObjectAlignment(FI) == 0);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001729 return Offset + StackSize;
1730 }
1731 // FIXME: Support tail calls
1732 } else {
David Majnemer93c22a42015-02-10 00:57:42 +00001733 if (!HasFP)
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001734 return Offset + StackSize;
1735
1736 // Skip the saved EBP.
David Majnemer93c22a42015-02-10 00:57:42 +00001737 Offset += SlotSize;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001738
1739 // Skip the RETADDR move area
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001740 int TailCallReturnAddrDelta = X86FI->getTCReturnAddrDelta();
1741 if (TailCallReturnAddrDelta < 0)
1742 Offset -= TailCallReturnAddrDelta;
1743 }
1744
David Majnemer89d05642015-02-21 01:04:47 +00001745 return Offset + FPDelta;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001746}
1747
Sanjoy Das0ebc9612016-06-16 18:54:06 +00001748int
1749X86FrameLowering::getFrameIndexReferencePreferSP(const MachineFunction &MF,
1750 int FI, unsigned &FrameReg,
1751 bool IgnoreSPUpdates) const {
1752
Matthias Braun941a7052016-07-28 18:40:00 +00001753 const MachineFrameInfo &MFI = MF.getFrameInfo();
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001754 // Does not include any dynamic realign.
Matthias Braun941a7052016-07-28 18:40:00 +00001755 const uint64_t StackSize = MFI.getStackSize();
Sanjoy Das0272be22016-06-15 05:35:14 +00001756 // LLVM arranges the stack as follows:
1757 // ...
1758 // ARG2
1759 // ARG1
1760 // RETADDR
1761 // PUSH RBP <-- RBP points here
1762 // PUSH CSRs
1763 // ~~~~~~~ <-- possible stack realignment (non-win64)
1764 // ...
1765 // STACK OBJECTS
1766 // ... <-- RSP after prologue points here
1767 // ~~~~~~~ <-- possible stack realignment (win64)
1768 //
1769 // if (hasVarSizedObjects()):
1770 // ... <-- "base pointer" (ESI/RBX) points here
1771 // DYNAMIC ALLOCAS
1772 // ... <-- RSP points here
1773 //
1774 // Case 1: In the simple case of no stack realignment and no dynamic
1775 // allocas, both "fixed" stack objects (arguments and CSRs) are addressable
1776 // with fixed offsets from RSP.
1777 //
1778 // Case 2: In the case of stack realignment with no dynamic allocas, fixed
1779 // stack objects are addressed with RBP and regular stack objects with RSP.
1780 //
1781 // Case 3: In the case of dynamic allocas and stack realignment, RSP is used
1782 // to address stack arguments for outgoing calls and nothing else. The "base
1783 // pointer" points to local variables, and RBP points to fixed objects.
1784 //
1785 // In cases 2 and 3, we can only answer for non-fixed stack objects, and the
1786 // answer we give is relative to the SP after the prologue, and not the
1787 // SP in the middle of the function.
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001788
Matthias Braun941a7052016-07-28 18:40:00 +00001789 if (MFI.isFixedObjectIndex(FI) && TRI->needsStackRealignment(MF) &&
Sanjoy Das0272be22016-06-15 05:35:14 +00001790 !STI.isTargetWin64())
Sanjoy Das0ebc9612016-06-16 18:54:06 +00001791 return getFrameIndexReference(MF, FI, FrameReg);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001792
Sanjoy Das0272be22016-06-15 05:35:14 +00001793 // If !hasReservedCallFrame the function might have SP adjustement in the
1794 // body. So, even though the offset is statically known, it depends on where
1795 // we are in the function.
1796 const TargetFrameLowering *TFI = MF.getSubtarget().getFrameLowering();
Sanjoy Das0ebc9612016-06-16 18:54:06 +00001797 if (!IgnoreSPUpdates && !TFI->hasReservedCallFrame(MF))
1798 return getFrameIndexReference(MF, FI, FrameReg);
Sanjoy Das4f7a86c2016-06-15 07:27:04 +00001799
Sanjoy Das0272be22016-06-15 05:35:14 +00001800 // We don't handle tail calls, and shouldn't be seeing them either.
Sanjoy Das4f7a86c2016-06-15 07:27:04 +00001801 assert(MF.getInfo<X86MachineFunctionInfo>()->getTCReturnAddrDelta() >= 0 &&
1802 "we don't handle this case!");
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001803
James Y Knight5567baf2015-08-15 02:32:35 +00001804 // Fill in FrameReg output argument.
1805 FrameReg = TRI->getStackRegister();
1806
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001807 // This is how the math works out:
1808 //
1809 // %rsp grows (i.e. gets lower) left to right. Each box below is
1810 // one word (eight bytes). Obj0 is the stack slot we're trying to
1811 // get to.
1812 //
1813 // ----------------------------------
1814 // | BP | Obj0 | Obj1 | ... | ObjN |
1815 // ----------------------------------
1816 // ^ ^ ^ ^
1817 // A B C E
1818 //
1819 // A is the incoming stack pointer.
1820 // (B - A) is the local area offset (-8 for x86-64) [1]
Matthias Braun941a7052016-07-28 18:40:00 +00001821 // (C - A) is the Offset returned by MFI.getObjectOffset for Obj0 [2]
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001822 //
1823 // |(E - B)| is the StackSize (absolute value, positive). For a
1824 // stack that grown down, this works out to be (B - E). [3]
1825 //
1826 // E is also the value of %rsp after stack has been set up, and we
1827 // want (C - E) -- the value we can add to %rsp to get to Obj0. Now
1828 // (C - E) == (C - A) - (B - A) + (B - E)
1829 // { Using [1], [2] and [3] above }
1830 // == getObjectOffset - LocalAreaOffset + StackSize
1831 //
1832
1833 // Get the Offset from the StackPointer
Matthias Braun941a7052016-07-28 18:40:00 +00001834 int Offset = MFI.getObjectOffset(FI) - getOffsetOfLocalArea();
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001835
1836 return Offset + StackSize;
1837}
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001838
1839bool X86FrameLowering::assignCalleeSavedSpillSlots(
1840 MachineFunction &MF, const TargetRegisterInfo *TRI,
1841 std::vector<CalleeSavedInfo> &CSI) const {
Matthias Braun941a7052016-07-28 18:40:00 +00001842 MachineFrameInfo &MFI = MF.getFrameInfo();
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001843 X86MachineFunctionInfo *X86FI = MF.getInfo<X86MachineFunctionInfo>();
1844
1845 unsigned CalleeSavedFrameSize = 0;
1846 int SpillSlotOffset = getOffsetOfLocalArea() + X86FI->getTCReturnAddrDelta();
1847
1848 if (hasFP(MF)) {
1849 // emitPrologue always spills frame register the first thing.
1850 SpillSlotOffset -= SlotSize;
Matthias Braun941a7052016-07-28 18:40:00 +00001851 MFI.CreateFixedSpillStackObject(SlotSize, SpillSlotOffset);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001852
1853 // Since emitPrologue and emitEpilogue will handle spilling and restoring of
1854 // the frame register, we can delete it from CSI list and not have to worry
1855 // about avoiding it later.
Reid Kleckner034ea962015-06-18 20:32:02 +00001856 unsigned FPReg = TRI->getFrameRegister(MF);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001857 for (unsigned i = 0; i < CSI.size(); ++i) {
1858 if (TRI->regsOverlap(CSI[i].getReg(),FPReg)) {
1859 CSI.erase(CSI.begin() + i);
1860 break;
1861 }
1862 }
1863 }
1864
1865 // Assign slots for GPRs. It increases frame size.
1866 for (unsigned i = CSI.size(); i != 0; --i) {
1867 unsigned Reg = CSI[i - 1].getReg();
1868
1869 if (!X86::GR64RegClass.contains(Reg) && !X86::GR32RegClass.contains(Reg))
1870 continue;
1871
1872 SpillSlotOffset -= SlotSize;
1873 CalleeSavedFrameSize += SlotSize;
1874
Matthias Braun941a7052016-07-28 18:40:00 +00001875 int SlotIndex = MFI.CreateFixedSpillStackObject(SlotSize, SpillSlotOffset);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001876 CSI[i - 1].setFrameIdx(SlotIndex);
1877 }
1878
1879 X86FI->setCalleeSavedFrameSize(CalleeSavedFrameSize);
1880
1881 // Assign slots for XMMs.
1882 for (unsigned i = CSI.size(); i != 0; --i) {
1883 unsigned Reg = CSI[i - 1].getReg();
1884 if (X86::GR64RegClass.contains(Reg) || X86::GR32RegClass.contains(Reg))
1885 continue;
1886
Reid Kleckner034ea962015-06-18 20:32:02 +00001887 const TargetRegisterClass *RC = TRI->getMinimalPhysRegClass(Reg);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001888 // ensure alignment
1889 SpillSlotOffset -= std::abs(SpillSlotOffset) % RC->getAlignment();
1890 // spill into slot
1891 SpillSlotOffset -= RC->getSize();
1892 int SlotIndex =
Matthias Braun941a7052016-07-28 18:40:00 +00001893 MFI.CreateFixedSpillStackObject(RC->getSize(), SpillSlotOffset);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001894 CSI[i - 1].setFrameIdx(SlotIndex);
Matthias Braun941a7052016-07-28 18:40:00 +00001895 MFI.ensureMaxAlignment(RC->getAlignment());
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001896 }
1897
1898 return true;
1899}
1900
1901bool X86FrameLowering::spillCalleeSavedRegisters(
1902 MachineBasicBlock &MBB, MachineBasicBlock::iterator MI,
1903 const std::vector<CalleeSavedInfo> &CSI,
1904 const TargetRegisterInfo *TRI) const {
1905 DebugLoc DL = MBB.findDebugLoc(MI);
1906
Reid Klecknerdf129512015-09-08 22:44:41 +00001907 // Don't save CSRs in 32-bit EH funclets. The caller saves EBX, EBP, ESI, EDI
1908 // for us, and there are no XMM CSRs on Win32.
1909 if (MBB.isEHFuncletEntry() && STI.is32Bit() && STI.isOSWindows())
1910 return true;
1911
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001912 // Push GPRs. It increases frame size.
Matthias Braun588d1cd2016-04-13 21:43:21 +00001913 const MachineFunction &MF = *MBB.getParent();
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001914 unsigned Opc = STI.is64Bit() ? X86::PUSH64r : X86::PUSH32r;
1915 for (unsigned i = CSI.size(); i != 0; --i) {
1916 unsigned Reg = CSI[i - 1].getReg();
1917
1918 if (!X86::GR64RegClass.contains(Reg) && !X86::GR32RegClass.contains(Reg))
1919 continue;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001920
Matthias Braun0b9a0782016-06-28 20:31:56 +00001921 const MachineRegisterInfo &MRI = MF.getRegInfo();
1922 bool isLiveIn = MRI.isLiveIn(Reg);
Matthias Braun588d1cd2016-04-13 21:43:21 +00001923 if (!isLiveIn)
1924 MBB.addLiveIn(Reg);
1925
Matthias Braun0b9a0782016-06-28 20:31:56 +00001926 // Decide whether we can add a kill flag to the use.
1927 bool CanKill = !isLiveIn;
1928 // Check if any subregister is live-in
1929 if (CanKill) {
1930 for (MCRegAliasIterator AReg(Reg, TRI, false); AReg.isValid(); ++AReg) {
1931 if (MRI.isLiveIn(*AReg)) {
1932 CanKill = false;
1933 break;
1934 }
1935 }
1936 }
1937
Matthias Braun588d1cd2016-04-13 21:43:21 +00001938 // Do not set a kill flag on values that are also marked as live-in. This
1939 // happens with the @llvm-returnaddress intrinsic and with arguments
1940 // passed in callee saved registers.
1941 // Omitting the kill flags is conservatively correct even if the live-in
1942 // is not used after all.
Matthias Braun0b9a0782016-06-28 20:31:56 +00001943 BuildMI(MBB, MI, DL, TII.get(Opc)).addReg(Reg, getKillRegState(CanKill))
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001944 .setMIFlag(MachineInstr::FrameSetup);
1945 }
1946
1947 // Make XMM regs spilled. X86 does not have ability of push/pop XMM.
1948 // It can be done by spilling XMMs to stack frame.
1949 for (unsigned i = CSI.size(); i != 0; --i) {
1950 unsigned Reg = CSI[i-1].getReg();
David Majnemera7d908e2015-02-10 19:01:47 +00001951 if (X86::GR64RegClass.contains(Reg) || X86::GR32RegClass.contains(Reg))
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001952 continue;
1953 // Add the callee-saved register as live-in. It's killed at the spill.
1954 MBB.addLiveIn(Reg);
1955 const TargetRegisterClass *RC = TRI->getMinimalPhysRegClass(Reg);
1956
1957 TII.storeRegToStackSlot(MBB, MI, Reg, true, CSI[i - 1].getFrameIdx(), RC,
1958 TRI);
1959 --MI;
1960 MI->setFlag(MachineInstr::FrameSetup);
1961 ++MI;
1962 }
1963
1964 return true;
1965}
1966
1967bool X86FrameLowering::restoreCalleeSavedRegisters(MachineBasicBlock &MBB,
1968 MachineBasicBlock::iterator MI,
1969 const std::vector<CalleeSavedInfo> &CSI,
1970 const TargetRegisterInfo *TRI) const {
1971 if (CSI.empty())
1972 return false;
1973
Hans Wennborg2d87ccf2016-08-12 23:35:59 +00001974 if (MI != MBB.end() && isFuncletReturnInstr(*MI) && STI.isOSWindows()) {
Reid Klecknerfc64fae2015-10-01 21:38:24 +00001975 // Don't restore CSRs in 32-bit EH funclets. Matches
1976 // spillCalleeSavedRegisters.
1977 if (STI.is32Bit())
1978 return true;
1979 // Don't restore CSRs before an SEH catchret. SEH except blocks do not form
1980 // funclets. emitEpilogue transforms these to normal jumps.
1981 if (MI->getOpcode() == X86::CATCHRET) {
1982 const Function *Func = MBB.getParent()->getFunction();
1983 bool IsSEH = isAsynchronousEHPersonality(
1984 classifyEHPersonality(Func->getPersonalityFn()));
1985 if (IsSEH)
1986 return true;
1987 }
1988 }
Reid Klecknerdf129512015-09-08 22:44:41 +00001989
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001990 DebugLoc DL = MBB.findDebugLoc(MI);
1991
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001992 // Reload XMMs from stack frame.
1993 for (unsigned i = 0, e = CSI.size(); i != e; ++i) {
1994 unsigned Reg = CSI[i].getReg();
1995 if (X86::GR64RegClass.contains(Reg) ||
1996 X86::GR32RegClass.contains(Reg))
1997 continue;
1998
1999 const TargetRegisterClass *RC = TRI->getMinimalPhysRegClass(Reg);
2000 TII.loadRegFromStackSlot(MBB, MI, Reg, CSI[i].getFrameIdx(), RC, TRI);
2001 }
2002
2003 // POP GPRs.
2004 unsigned Opc = STI.is64Bit() ? X86::POP64r : X86::POP32r;
2005 for (unsigned i = 0, e = CSI.size(); i != e; ++i) {
2006 unsigned Reg = CSI[i].getReg();
2007 if (!X86::GR64RegClass.contains(Reg) &&
2008 !X86::GR32RegClass.contains(Reg))
2009 continue;
2010
Michael Kuperstein098cd9f2015-09-16 11:18:25 +00002011 BuildMI(MBB, MI, DL, TII.get(Opc), Reg)
2012 .setMIFlag(MachineInstr::FrameDestroy);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002013 }
2014 return true;
2015}
2016
Matthias Braun02564862015-07-14 17:17:13 +00002017void X86FrameLowering::determineCalleeSaves(MachineFunction &MF,
2018 BitVector &SavedRegs,
2019 RegScavenger *RS) const {
2020 TargetFrameLowering::determineCalleeSaves(MF, SavedRegs, RS);
2021
Matthias Braun941a7052016-07-28 18:40:00 +00002022 MachineFrameInfo &MFI = MF.getFrameInfo();
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002023
2024 X86MachineFunctionInfo *X86FI = MF.getInfo<X86MachineFunctionInfo>();
2025 int64_t TailCallReturnAddrDelta = X86FI->getTCReturnAddrDelta();
2026
2027 if (TailCallReturnAddrDelta < 0) {
2028 // create RETURNADDR area
2029 // arg
2030 // arg
2031 // RETADDR
2032 // { ...
2033 // RETADDR area
2034 // ...
2035 // }
2036 // [EBP]
Matthias Braun941a7052016-07-28 18:40:00 +00002037 MFI.CreateFixedObject(-TailCallReturnAddrDelta,
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002038 TailCallReturnAddrDelta - SlotSize, true);
2039 }
2040
2041 // Spill the BasePtr if it's used.
Reid Klecknerdf129512015-09-08 22:44:41 +00002042 if (TRI->hasBasePointer(MF)) {
Matthias Braun02564862015-07-14 17:17:13 +00002043 SavedRegs.set(TRI->getBaseRegister());
Reid Klecknerdf129512015-09-08 22:44:41 +00002044
2045 // Allocate a spill slot for EBP if we have a base pointer and EH funclets.
2046 if (MF.getMMI().hasEHFunclets()) {
Matthias Braun941a7052016-07-28 18:40:00 +00002047 int FI = MFI.CreateSpillStackObject(SlotSize, SlotSize);
Reid Klecknerdf129512015-09-08 22:44:41 +00002048 X86FI->setHasSEHFramePtrSave(true);
2049 X86FI->setSEHFramePtrSaveIndex(FI);
2050 }
2051 }
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002052}
2053
2054static bool
2055HasNestArgument(const MachineFunction *MF) {
2056 const Function *F = MF->getFunction();
2057 for (Function::const_arg_iterator I = F->arg_begin(), E = F->arg_end();
2058 I != E; I++) {
2059 if (I->hasNestAttr())
2060 return true;
2061 }
2062 return false;
2063}
2064
2065/// GetScratchRegister - Get a temp register for performing work in the
2066/// segmented stack and the Erlang/HiPE stack prologue. Depending on platform
2067/// and the properties of the function either one or two registers will be
2068/// needed. Set primary to true for the first register, false for the second.
2069static unsigned
2070GetScratchRegister(bool Is64Bit, bool IsLP64, const MachineFunction &MF, bool Primary) {
2071 CallingConv::ID CallingConvention = MF.getFunction()->getCallingConv();
2072
2073 // Erlang stuff.
2074 if (CallingConvention == CallingConv::HiPE) {
2075 if (Is64Bit)
2076 return Primary ? X86::R14 : X86::R13;
2077 else
2078 return Primary ? X86::EBX : X86::EDI;
2079 }
2080
2081 if (Is64Bit) {
2082 if (IsLP64)
2083 return Primary ? X86::R11 : X86::R12;
2084 else
2085 return Primary ? X86::R11D : X86::R12D;
2086 }
2087
2088 bool IsNested = HasNestArgument(&MF);
2089
2090 if (CallingConvention == CallingConv::X86_FastCall ||
2091 CallingConvention == CallingConv::Fast) {
2092 if (IsNested)
2093 report_fatal_error("Segmented stacks does not support fastcall with "
2094 "nested function.");
2095 return Primary ? X86::EAX : X86::ECX;
2096 }
2097 if (IsNested)
2098 return Primary ? X86::EDX : X86::EAX;
2099 return Primary ? X86::ECX : X86::EAX;
2100}
2101
2102// The stack limit in the TCB is set to this many bytes above the actual stack
2103// limit.
2104static const uint64_t kSplitStackAvailable = 256;
2105
Quentin Colombet61b305e2015-05-05 17:38:16 +00002106void X86FrameLowering::adjustForSegmentedStacks(
2107 MachineFunction &MF, MachineBasicBlock &PrologueMBB) const {
Matthias Braun941a7052016-07-28 18:40:00 +00002108 MachineFrameInfo &MFI = MF.getFrameInfo();
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002109 uint64_t StackSize;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002110 unsigned TlsReg, TlsOffset;
2111 DebugLoc DL;
2112
Quentin Colombet4cf56912016-01-19 23:29:03 +00002113 // To support shrink-wrapping we would need to insert the new blocks
2114 // at the right place and update the branches to PrologueMBB.
2115 assert(&(*MF.begin()) == &PrologueMBB && "Shrink-wrapping not supported yet");
2116
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002117 unsigned ScratchReg = GetScratchRegister(Is64Bit, IsLP64, MF, true);
2118 assert(!MF.getRegInfo().isLiveIn(ScratchReg) &&
2119 "Scratch register is live-in");
2120
2121 if (MF.getFunction()->isVarArg())
2122 report_fatal_error("Segmented stacks do not support vararg functions.");
2123 if (!STI.isTargetLinux() && !STI.isTargetDarwin() && !STI.isTargetWin32() &&
2124 !STI.isTargetWin64() && !STI.isTargetFreeBSD() &&
2125 !STI.isTargetDragonFly())
2126 report_fatal_error("Segmented stacks not supported on this platform.");
2127
2128 // Eventually StackSize will be calculated by a link-time pass; which will
2129 // also decide whether checking code needs to be injected into this particular
2130 // prologue.
Matthias Braun941a7052016-07-28 18:40:00 +00002131 StackSize = MFI.getStackSize();
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002132
2133 // Do not generate a prologue for functions with a stack of size zero
2134 if (StackSize == 0)
2135 return;
2136
2137 MachineBasicBlock *allocMBB = MF.CreateMachineBasicBlock();
2138 MachineBasicBlock *checkMBB = MF.CreateMachineBasicBlock();
2139 X86MachineFunctionInfo *X86FI = MF.getInfo<X86MachineFunctionInfo>();
2140 bool IsNested = false;
2141
2142 // We need to know if the function has a nest argument only in 64 bit mode.
2143 if (Is64Bit)
2144 IsNested = HasNestArgument(&MF);
2145
2146 // The MOV R10, RAX needs to be in a different block, since the RET we emit in
2147 // allocMBB needs to be last (terminating) instruction.
2148
Matthias Braund9da1622015-09-09 18:08:03 +00002149 for (const auto &LI : PrologueMBB.liveins()) {
Matthias Braunb2b7ef12015-08-24 22:59:52 +00002150 allocMBB->addLiveIn(LI);
2151 checkMBB->addLiveIn(LI);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002152 }
2153
2154 if (IsNested)
2155 allocMBB->addLiveIn(IsLP64 ? X86::R10 : X86::R10D);
2156
2157 MF.push_front(allocMBB);
2158 MF.push_front(checkMBB);
2159
2160 // When the frame size is less than 256 we just compare the stack
2161 // boundary directly to the value of the stack pointer, per gcc.
2162 bool CompareStackPointer = StackSize < kSplitStackAvailable;
2163
2164 // Read the limit off the current stacklet off the stack_guard location.
2165 if (Is64Bit) {
2166 if (STI.isTargetLinux()) {
2167 TlsReg = X86::FS;
2168 TlsOffset = IsLP64 ? 0x70 : 0x40;
2169 } else if (STI.isTargetDarwin()) {
2170 TlsReg = X86::GS;
2171 TlsOffset = 0x60 + 90*8; // See pthread_machdep.h. Steal TLS slot 90.
2172 } else if (STI.isTargetWin64()) {
2173 TlsReg = X86::GS;
2174 TlsOffset = 0x28; // pvArbitrary, reserved for application use
2175 } else if (STI.isTargetFreeBSD()) {
2176 TlsReg = X86::FS;
2177 TlsOffset = 0x18;
2178 } else if (STI.isTargetDragonFly()) {
2179 TlsReg = X86::FS;
2180 TlsOffset = 0x20; // use tls_tcb.tcb_segstack
2181 } else {
2182 report_fatal_error("Segmented stacks not supported on this platform.");
2183 }
2184
2185 if (CompareStackPointer)
2186 ScratchReg = IsLP64 ? X86::RSP : X86::ESP;
2187 else
2188 BuildMI(checkMBB, DL, TII.get(IsLP64 ? X86::LEA64r : X86::LEA64_32r), ScratchReg).addReg(X86::RSP)
2189 .addImm(1).addReg(0).addImm(-StackSize).addReg(0);
2190
2191 BuildMI(checkMBB, DL, TII.get(IsLP64 ? X86::CMP64rm : X86::CMP32rm)).addReg(ScratchReg)
2192 .addReg(0).addImm(1).addReg(0).addImm(TlsOffset).addReg(TlsReg);
2193 } else {
2194 if (STI.isTargetLinux()) {
2195 TlsReg = X86::GS;
2196 TlsOffset = 0x30;
2197 } else if (STI.isTargetDarwin()) {
2198 TlsReg = X86::GS;
2199 TlsOffset = 0x48 + 90*4;
2200 } else if (STI.isTargetWin32()) {
2201 TlsReg = X86::FS;
2202 TlsOffset = 0x14; // pvArbitrary, reserved for application use
2203 } else if (STI.isTargetDragonFly()) {
2204 TlsReg = X86::FS;
2205 TlsOffset = 0x10; // use tls_tcb.tcb_segstack
2206 } else if (STI.isTargetFreeBSD()) {
2207 report_fatal_error("Segmented stacks not supported on FreeBSD i386.");
2208 } else {
2209 report_fatal_error("Segmented stacks not supported on this platform.");
2210 }
2211
2212 if (CompareStackPointer)
2213 ScratchReg = X86::ESP;
2214 else
2215 BuildMI(checkMBB, DL, TII.get(X86::LEA32r), ScratchReg).addReg(X86::ESP)
2216 .addImm(1).addReg(0).addImm(-StackSize).addReg(0);
2217
2218 if (STI.isTargetLinux() || STI.isTargetWin32() || STI.isTargetWin64() ||
2219 STI.isTargetDragonFly()) {
2220 BuildMI(checkMBB, DL, TII.get(X86::CMP32rm)).addReg(ScratchReg)
2221 .addReg(0).addImm(0).addReg(0).addImm(TlsOffset).addReg(TlsReg);
2222 } else if (STI.isTargetDarwin()) {
2223
2224 // TlsOffset doesn't fit into a mod r/m byte so we need an extra register.
2225 unsigned ScratchReg2;
2226 bool SaveScratch2;
2227 if (CompareStackPointer) {
2228 // The primary scratch register is available for holding the TLS offset.
2229 ScratchReg2 = GetScratchRegister(Is64Bit, IsLP64, MF, true);
2230 SaveScratch2 = false;
2231 } else {
2232 // Need to use a second register to hold the TLS offset
2233 ScratchReg2 = GetScratchRegister(Is64Bit, IsLP64, MF, false);
2234
2235 // Unfortunately, with fastcc the second scratch register may hold an
2236 // argument.
2237 SaveScratch2 = MF.getRegInfo().isLiveIn(ScratchReg2);
2238 }
2239
2240 // If Scratch2 is live-in then it needs to be saved.
2241 assert((!MF.getRegInfo().isLiveIn(ScratchReg2) || SaveScratch2) &&
2242 "Scratch register is live-in and not saved");
2243
2244 if (SaveScratch2)
2245 BuildMI(checkMBB, DL, TII.get(X86::PUSH32r))
2246 .addReg(ScratchReg2, RegState::Kill);
2247
2248 BuildMI(checkMBB, DL, TII.get(X86::MOV32ri), ScratchReg2)
2249 .addImm(TlsOffset);
2250 BuildMI(checkMBB, DL, TII.get(X86::CMP32rm))
2251 .addReg(ScratchReg)
2252 .addReg(ScratchReg2).addImm(1).addReg(0)
2253 .addImm(0)
2254 .addReg(TlsReg);
2255
2256 if (SaveScratch2)
2257 BuildMI(checkMBB, DL, TII.get(X86::POP32r), ScratchReg2);
2258 }
2259 }
2260
2261 // This jump is taken if SP >= (Stacklet Limit + Stack Space required).
2262 // It jumps to normal execution of the function body.
Quentin Colombet61b305e2015-05-05 17:38:16 +00002263 BuildMI(checkMBB, DL, TII.get(X86::JA_1)).addMBB(&PrologueMBB);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002264
2265 // On 32 bit we first push the arguments size and then the frame size. On 64
2266 // bit, we pass the stack frame size in r10 and the argument size in r11.
2267 if (Is64Bit) {
2268 // Functions with nested arguments use R10, so it needs to be saved across
2269 // the call to _morestack
2270
2271 const unsigned RegAX = IsLP64 ? X86::RAX : X86::EAX;
2272 const unsigned Reg10 = IsLP64 ? X86::R10 : X86::R10D;
2273 const unsigned Reg11 = IsLP64 ? X86::R11 : X86::R11D;
2274 const unsigned MOVrr = IsLP64 ? X86::MOV64rr : X86::MOV32rr;
2275 const unsigned MOVri = IsLP64 ? X86::MOV64ri : X86::MOV32ri;
2276
2277 if (IsNested)
2278 BuildMI(allocMBB, DL, TII.get(MOVrr), RegAX).addReg(Reg10);
2279
2280 BuildMI(allocMBB, DL, TII.get(MOVri), Reg10)
2281 .addImm(StackSize);
2282 BuildMI(allocMBB, DL, TII.get(MOVri), Reg11)
2283 .addImm(X86FI->getArgumentStackSize());
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002284 } else {
2285 BuildMI(allocMBB, DL, TII.get(X86::PUSHi32))
2286 .addImm(X86FI->getArgumentStackSize());
2287 BuildMI(allocMBB, DL, TII.get(X86::PUSHi32))
2288 .addImm(StackSize);
2289 }
2290
2291 // __morestack is in libgcc
2292 if (Is64Bit && MF.getTarget().getCodeModel() == CodeModel::Large) {
2293 // Under the large code model, we cannot assume that __morestack lives
2294 // within 2^31 bytes of the call site, so we cannot use pc-relative
2295 // addressing. We cannot perform the call via a temporary register,
2296 // as the rax register may be used to store the static chain, and all
2297 // other suitable registers may be either callee-save or used for
2298 // parameter passing. We cannot use the stack at this point either
2299 // because __morestack manipulates the stack directly.
2300 //
2301 // To avoid these issues, perform an indirect call via a read-only memory
2302 // location containing the address.
2303 //
2304 // This solution is not perfect, as it assumes that the .rodata section
2305 // is laid out within 2^31 bytes of each function body, but this seems
2306 // to be sufficient for JIT.
2307 BuildMI(allocMBB, DL, TII.get(X86::CALL64m))
2308 .addReg(X86::RIP)
2309 .addImm(0)
2310 .addReg(0)
2311 .addExternalSymbol("__morestack_addr")
2312 .addReg(0);
2313 MF.getMMI().setUsesMorestackAddr(true);
2314 } else {
2315 if (Is64Bit)
2316 BuildMI(allocMBB, DL, TII.get(X86::CALL64pcrel32))
2317 .addExternalSymbol("__morestack");
2318 else
2319 BuildMI(allocMBB, DL, TII.get(X86::CALLpcrel32))
2320 .addExternalSymbol("__morestack");
2321 }
2322
2323 if (IsNested)
2324 BuildMI(allocMBB, DL, TII.get(X86::MORESTACK_RET_RESTORE_R10));
2325 else
2326 BuildMI(allocMBB, DL, TII.get(X86::MORESTACK_RET));
2327
Quentin Colombet61b305e2015-05-05 17:38:16 +00002328 allocMBB->addSuccessor(&PrologueMBB);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002329
2330 checkMBB->addSuccessor(allocMBB);
Quentin Colombet61b305e2015-05-05 17:38:16 +00002331 checkMBB->addSuccessor(&PrologueMBB);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002332
Filipe Cabecinhas0da99372016-04-29 15:22:48 +00002333#ifdef EXPENSIVE_CHECKS
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002334 MF.verify();
2335#endif
2336}
2337
Michael Kuperstein0194d302016-06-23 18:17:25 +00002338/// Lookup an ERTS parameter in the !hipe.literals named metadata node.
2339/// HiPE provides Erlang Runtime System-internal parameters, such as PCB offsets
2340/// to fields it needs, through a named metadata node "hipe.literals" containing
2341/// name-value pairs.
2342static unsigned getHiPELiteral(
2343 NamedMDNode *HiPELiteralsMD, const StringRef LiteralName) {
2344 for (int i = 0, e = HiPELiteralsMD->getNumOperands(); i != e; ++i) {
2345 MDNode *Node = HiPELiteralsMD->getOperand(i);
2346 if (Node->getNumOperands() != 2) continue;
2347 MDString *NodeName = dyn_cast<MDString>(Node->getOperand(0));
2348 ValueAsMetadata *NodeVal = dyn_cast<ValueAsMetadata>(Node->getOperand(1));
2349 if (!NodeName || !NodeVal) continue;
2350 ConstantInt *ValConst = dyn_cast_or_null<ConstantInt>(NodeVal->getValue());
2351 if (ValConst && NodeName->getString() == LiteralName) {
2352 return ValConst->getZExtValue();
2353 }
2354 }
2355
2356 report_fatal_error("HiPE literal " + LiteralName
2357 + " required but not provided");
2358}
2359
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002360/// Erlang programs may need a special prologue to handle the stack size they
2361/// might need at runtime. That is because Erlang/OTP does not implement a C
2362/// stack but uses a custom implementation of hybrid stack/heap architecture.
2363/// (for more information see Eric Stenman's Ph.D. thesis:
2364/// http://publications.uu.se/uu/fulltext/nbn_se_uu_diva-2688.pdf)
2365///
2366/// CheckStack:
2367/// temp0 = sp - MaxStack
2368/// if( temp0 < SP_LIMIT(P) ) goto IncStack else goto OldStart
2369/// OldStart:
2370/// ...
2371/// IncStack:
2372/// call inc_stack # doubles the stack space
2373/// temp0 = sp - MaxStack
2374/// if( temp0 < SP_LIMIT(P) ) goto IncStack else goto OldStart
Quentin Colombet61b305e2015-05-05 17:38:16 +00002375void X86FrameLowering::adjustForHiPEPrologue(
2376 MachineFunction &MF, MachineBasicBlock &PrologueMBB) const {
Matthias Braun941a7052016-07-28 18:40:00 +00002377 MachineFrameInfo &MFI = MF.getFrameInfo();
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002378 DebugLoc DL;
Quentin Colombet4cf56912016-01-19 23:29:03 +00002379
2380 // To support shrink-wrapping we would need to insert the new blocks
2381 // at the right place and update the branches to PrologueMBB.
2382 assert(&(*MF.begin()) == &PrologueMBB && "Shrink-wrapping not supported yet");
2383
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002384 // HiPE-specific values
Michael Kuperstein0194d302016-06-23 18:17:25 +00002385 NamedMDNode *HiPELiteralsMD = MF.getMMI().getModule()
2386 ->getNamedMetadata("hipe.literals");
2387 if (!HiPELiteralsMD)
2388 report_fatal_error(
2389 "Can't generate HiPE prologue without runtime parameters");
2390 const unsigned HipeLeafWords
2391 = getHiPELiteral(HiPELiteralsMD,
2392 Is64Bit ? "AMD64_LEAF_WORDS" : "X86_LEAF_WORDS");
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002393 const unsigned CCRegisteredArgs = Is64Bit ? 6 : 5;
2394 const unsigned Guaranteed = HipeLeafWords * SlotSize;
2395 unsigned CallerStkArity = MF.getFunction()->arg_size() > CCRegisteredArgs ?
2396 MF.getFunction()->arg_size() - CCRegisteredArgs : 0;
Matthias Braun941a7052016-07-28 18:40:00 +00002397 unsigned MaxStack = MFI.getStackSize() + CallerStkArity*SlotSize + SlotSize;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002398
2399 assert(STI.isTargetLinux() &&
2400 "HiPE prologue is only supported on Linux operating systems.");
2401
2402 // Compute the largest caller's frame that is needed to fit the callees'
2403 // frames. This 'MaxStack' is computed from:
2404 //
2405 // a) the fixed frame size, which is the space needed for all spilled temps,
2406 // b) outgoing on-stack parameter areas, and
2407 // c) the minimum stack space this function needs to make available for the
2408 // functions it calls (a tunable ABI property).
Matthias Braun941a7052016-07-28 18:40:00 +00002409 if (MFI.hasCalls()) {
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002410 unsigned MoreStackForCalls = 0;
2411
Michael Kuperstein7bab7132016-04-01 03:45:08 +00002412 for (auto &MBB : MF) {
2413 for (auto &MI : MBB) {
2414 if (!MI.isCall())
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002415 continue;
2416
2417 // Get callee operand.
Michael Kuperstein7bab7132016-04-01 03:45:08 +00002418 const MachineOperand &MO = MI.getOperand(0);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002419
2420 // Only take account of global function calls (no closures etc.).
2421 if (!MO.isGlobal())
2422 continue;
2423
2424 const Function *F = dyn_cast<Function>(MO.getGlobal());
2425 if (!F)
2426 continue;
2427
2428 // Do not update 'MaxStack' for primitive and built-in functions
2429 // (encoded with names either starting with "erlang."/"bif_" or not
2430 // having a ".", such as a simple <Module>.<Function>.<Arity>, or an
2431 // "_", such as the BIF "suspend_0") as they are executed on another
2432 // stack.
2433 if (F->getName().find("erlang.") != StringRef::npos ||
2434 F->getName().find("bif_") != StringRef::npos ||
2435 F->getName().find_first_of("._") == StringRef::npos)
2436 continue;
2437
2438 unsigned CalleeStkArity =
2439 F->arg_size() > CCRegisteredArgs ? F->arg_size()-CCRegisteredArgs : 0;
2440 if (HipeLeafWords - 1 > CalleeStkArity)
2441 MoreStackForCalls = std::max(MoreStackForCalls,
2442 (HipeLeafWords - 1 - CalleeStkArity) * SlotSize);
2443 }
Michael Kuperstein7bab7132016-04-01 03:45:08 +00002444 }
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002445 MaxStack += MoreStackForCalls;
2446 }
2447
2448 // If the stack frame needed is larger than the guaranteed then runtime checks
2449 // and calls to "inc_stack_0" BIF should be inserted in the assembly prologue.
2450 if (MaxStack > Guaranteed) {
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002451 MachineBasicBlock *stackCheckMBB = MF.CreateMachineBasicBlock();
2452 MachineBasicBlock *incStackMBB = MF.CreateMachineBasicBlock();
2453
Matthias Braund9da1622015-09-09 18:08:03 +00002454 for (const auto &LI : PrologueMBB.liveins()) {
Matthias Braunb2b7ef12015-08-24 22:59:52 +00002455 stackCheckMBB->addLiveIn(LI);
2456 incStackMBB->addLiveIn(LI);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002457 }
2458
2459 MF.push_front(incStackMBB);
2460 MF.push_front(stackCheckMBB);
2461
2462 unsigned ScratchReg, SPReg, PReg, SPLimitOffset;
2463 unsigned LEAop, CMPop, CALLop;
Michael Kuperstein0194d302016-06-23 18:17:25 +00002464 SPLimitOffset = getHiPELiteral(HiPELiteralsMD, "P_NSP_LIMIT");
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002465 if (Is64Bit) {
2466 SPReg = X86::RSP;
2467 PReg = X86::RBP;
2468 LEAop = X86::LEA64r;
2469 CMPop = X86::CMP64rm;
2470 CALLop = X86::CALL64pcrel32;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002471 } else {
2472 SPReg = X86::ESP;
2473 PReg = X86::EBP;
2474 LEAop = X86::LEA32r;
2475 CMPop = X86::CMP32rm;
2476 CALLop = X86::CALLpcrel32;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002477 }
2478
2479 ScratchReg = GetScratchRegister(Is64Bit, IsLP64, MF, true);
2480 assert(!MF.getRegInfo().isLiveIn(ScratchReg) &&
2481 "HiPE prologue scratch register is live-in");
2482
2483 // Create new MBB for StackCheck:
2484 addRegOffset(BuildMI(stackCheckMBB, DL, TII.get(LEAop), ScratchReg),
2485 SPReg, false, -MaxStack);
2486 // SPLimitOffset is in a fixed heap location (pointed by BP).
2487 addRegOffset(BuildMI(stackCheckMBB, DL, TII.get(CMPop))
2488 .addReg(ScratchReg), PReg, false, SPLimitOffset);
Quentin Colombet61b305e2015-05-05 17:38:16 +00002489 BuildMI(stackCheckMBB, DL, TII.get(X86::JAE_1)).addMBB(&PrologueMBB);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002490
2491 // Create new MBB for IncStack:
2492 BuildMI(incStackMBB, DL, TII.get(CALLop)).
2493 addExternalSymbol("inc_stack_0");
2494 addRegOffset(BuildMI(incStackMBB, DL, TII.get(LEAop), ScratchReg),
2495 SPReg, false, -MaxStack);
2496 addRegOffset(BuildMI(incStackMBB, DL, TII.get(CMPop))
2497 .addReg(ScratchReg), PReg, false, SPLimitOffset);
2498 BuildMI(incStackMBB, DL, TII.get(X86::JLE_1)).addMBB(incStackMBB);
2499
Cong Hou1938f2e2015-11-24 08:51:23 +00002500 stackCheckMBB->addSuccessor(&PrologueMBB, {99, 100});
2501 stackCheckMBB->addSuccessor(incStackMBB, {1, 100});
2502 incStackMBB->addSuccessor(&PrologueMBB, {99, 100});
2503 incStackMBB->addSuccessor(incStackMBB, {1, 100});
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002504 }
Filipe Cabecinhas0da99372016-04-29 15:22:48 +00002505#ifdef EXPENSIVE_CHECKS
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002506 MF.verify();
2507#endif
2508}
2509
Michael Kuperstein7337ee22015-08-11 08:48:48 +00002510bool X86FrameLowering::adjustStackWithPops(MachineBasicBlock &MBB,
Benjamin Kramerbdc49562016-06-12 15:39:02 +00002511 MachineBasicBlock::iterator MBBI,
2512 const DebugLoc &DL,
2513 int Offset) const {
Michael Kuperstein7337ee22015-08-11 08:48:48 +00002514
Michael Kupersteind9264652015-09-16 11:27:20 +00002515 if (Offset <= 0)
2516 return false;
2517
Michael Kuperstein7337ee22015-08-11 08:48:48 +00002518 if (Offset % SlotSize)
2519 return false;
2520
2521 int NumPops = Offset / SlotSize;
2522 // This is only worth it if we have at most 2 pops.
2523 if (NumPops != 1 && NumPops != 2)
2524 return false;
2525
2526 // Handle only the trivial case where the adjustment directly follows
2527 // a call. This is the most common one, anyway.
2528 if (MBBI == MBB.begin())
2529 return false;
2530 MachineBasicBlock::iterator Prev = std::prev(MBBI);
2531 if (!Prev->isCall() || !Prev->getOperand(1).isRegMask())
2532 return false;
2533
2534 unsigned Regs[2];
2535 unsigned FoundRegs = 0;
2536
2537 auto RegMask = Prev->getOperand(1);
Michael Kupersteind9264652015-09-16 11:27:20 +00002538
2539 auto &RegClass =
2540 Is64Bit ? X86::GR64_NOREX_NOSPRegClass : X86::GR32_NOREX_NOSPRegClass;
2541 // Try to find up to NumPops free registers.
2542 for (auto Candidate : RegClass) {
Michael Kuperstein7337ee22015-08-11 08:48:48 +00002543
2544 // Poor man's liveness:
2545 // Since we're immediately after a call, any register that is clobbered
2546 // by the call and not defined by it can be considered dead.
2547 if (!RegMask.clobbersPhysReg(Candidate))
2548 continue;
2549
2550 bool IsDef = false;
2551 for (const MachineOperand &MO : Prev->implicit_operands()) {
Michael Kuperstein8be8de62016-03-10 18:43:21 +00002552 if (MO.isReg() && MO.isDef() &&
2553 TRI->isSuperOrSubRegisterEq(MO.getReg(), Candidate)) {
Michael Kuperstein7337ee22015-08-11 08:48:48 +00002554 IsDef = true;
2555 break;
2556 }
2557 }
2558
2559 if (IsDef)
2560 continue;
2561
2562 Regs[FoundRegs++] = Candidate;
2563 if (FoundRegs == (unsigned)NumPops)
2564 break;
2565 }
2566
2567 if (FoundRegs == 0)
2568 return false;
2569
2570 // If we found only one free register, but need two, reuse the same one twice.
2571 while (FoundRegs < (unsigned)NumPops)
2572 Regs[FoundRegs++] = Regs[0];
2573
2574 for (int i = 0; i < NumPops; ++i)
2575 BuildMI(MBB, MBBI, DL,
2576 TII.get(STI.is64Bit() ? X86::POP64r : X86::POP32r), Regs[i]);
2577
2578 return true;
2579}
2580
Hans Wennborge1a2e902016-03-31 18:33:38 +00002581MachineBasicBlock::iterator X86FrameLowering::
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002582eliminateCallFramePseudoInstr(MachineFunction &MF, MachineBasicBlock &MBB,
2583 MachineBasicBlock::iterator I) const {
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002584 bool reserveCallFrame = hasReservedCallFrame(MF);
Matthias Braunfa3872e2015-05-18 20:27:55 +00002585 unsigned Opcode = I->getOpcode();
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002586 bool isDestroy = Opcode == TII.getCallFrameDestroyOpcode();
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002587 DebugLoc DL = I->getDebugLoc();
2588 uint64_t Amount = !reserveCallFrame ? I->getOperand(0).getImm() : 0;
Michael Kuperstein13fbd452015-02-01 16:56:04 +00002589 uint64_t InternalAmt = (isDestroy || Amount) ? I->getOperand(1).getImm() : 0;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002590 I = MBB.erase(I);
2591
2592 if (!reserveCallFrame) {
2593 // If the stack pointer can be changed after prologue, turn the
2594 // adjcallstackup instruction into a 'sub ESP, <amt>' and the
2595 // adjcallstackdown instruction into 'add ESP, <amt>'
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002596
2597 // We need to keep the stack aligned properly. To do this, we round the
2598 // amount of space needed for the outgoing arguments up to the next
2599 // alignment boundary.
David Majnemer93c22a42015-02-10 00:57:42 +00002600 unsigned StackAlign = getStackAlignment();
Rui Ueyamada00f2f2016-01-14 21:06:47 +00002601 Amount = alignTo(Amount, StackAlign);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002602
Michael Kuperstein73dc8522015-11-03 08:17:25 +00002603 MachineModuleInfo &MMI = MF.getMMI();
2604 const Function *Fn = MF.getFunction();
2605 bool WindowsCFI = MF.getTarget().getMCAsmInfo()->usesWindowsCFI();
2606 bool DwarfCFI = !WindowsCFI &&
2607 (MMI.hasDebugInfo() || Fn->needsUnwindTableEntry());
2608
Michael Kuperstein259f1502015-10-07 07:01:31 +00002609 // If we have any exception handlers in this function, and we adjust
Michael Kuperstein73dc8522015-11-03 08:17:25 +00002610 // the SP before calls, we may need to indicate this to the unwinder
2611 // using GNU_ARGS_SIZE. Note that this may be necessary even when
2612 // Amount == 0, because the preceding function may have set a non-0
2613 // GNU_ARGS_SIZE.
Michael Kuperstein259f1502015-10-07 07:01:31 +00002614 // TODO: We don't need to reset this between subsequent functions,
2615 // if it didn't change.
Michael Kuperstein73dc8522015-11-03 08:17:25 +00002616 bool HasDwarfEHHandlers = !WindowsCFI &&
2617 !MF.getMMI().getLandingPads().empty();
Michael Kuperstein259f1502015-10-07 07:01:31 +00002618
Michael Kuperstein73dc8522015-11-03 08:17:25 +00002619 if (HasDwarfEHHandlers && !isDestroy &&
Michael Kuperstein259f1502015-10-07 07:01:31 +00002620 MF.getInfo<X86MachineFunctionInfo>()->getHasPushSequences())
Michael Kupersteinaf22daf2015-10-13 06:22:30 +00002621 BuildCFI(MBB, I, DL,
2622 MCCFIInstruction::createGnuArgsSize(nullptr, Amount));
Michael Kuperstein259f1502015-10-07 07:01:31 +00002623
2624 if (Amount == 0)
Hans Wennborge1a2e902016-03-31 18:33:38 +00002625 return I;
Michael Kuperstein259f1502015-10-07 07:01:31 +00002626
Michael Kuperstein13fbd452015-02-01 16:56:04 +00002627 // Factor out the amount that gets handled inside the sequence
2628 // (Pushes of argument for frame setup, callee pops for frame destroy)
2629 Amount -= InternalAmt;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002630
Michael Kuperstein77ce9d32015-12-06 13:06:20 +00002631 // TODO: This is needed only if we require precise CFA.
2632 // If this is a callee-pop calling convention, emit a CFA adjust for
2633 // the amount the callee popped.
2634 if (isDestroy && InternalAmt && DwarfCFI && !hasFP(MF))
Michael Kuperstein73dc8522015-11-03 08:17:25 +00002635 BuildCFI(MBB, I, DL,
2636 MCCFIInstruction::createAdjustCfaOffset(nullptr, -InternalAmt));
2637
Hans Wennborgab16be72016-04-07 00:05:49 +00002638 // Add Amount to SP to destroy a frame, or subtract to setup.
2639 int64_t StackAdjustment = isDestroy ? Amount : -Amount;
2640 int64_t CfaAdjustment = -StackAdjustment;
Michael Kuperstein7337ee22015-08-11 08:48:48 +00002641
Hans Wennborgab16be72016-04-07 00:05:49 +00002642 if (StackAdjustment) {
2643 // Merge with any previous or following adjustment instruction. Note: the
2644 // instructions merged with here do not have CFI, so their stack
2645 // adjustments do not feed into CfaAdjustment.
2646 StackAdjustment += mergeSPUpdates(MBB, I, true);
2647 StackAdjustment += mergeSPUpdates(MBB, I, false);
2648
2649 if (StackAdjustment) {
2650 if (!(Fn->optForMinSize() &&
2651 adjustStackWithPops(MBB, I, DL, StackAdjustment)))
2652 BuildStackAdjustment(MBB, I, DL, StackAdjustment,
2653 /*InEpilogue=*/false);
2654 }
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002655 }
Michael Kuperstein7337ee22015-08-11 08:48:48 +00002656
Michael Kuperstein73dc8522015-11-03 08:17:25 +00002657 if (DwarfCFI && !hasFP(MF)) {
2658 // If we don't have FP, but need to generate unwind information,
2659 // we need to set the correct CFA offset after the stack adjustment.
2660 // How much we adjust the CFA offset depends on whether we're emitting
2661 // CFI only for EH purposes or for debugging. EH only requires the CFA
2662 // offset to be correct at each call site, while for debugging we want
2663 // it to be more precise.
Hans Wennborgab16be72016-04-07 00:05:49 +00002664
Michael Kuperstein77ce9d32015-12-06 13:06:20 +00002665 // TODO: When not using precise CFA, we also need to adjust for the
2666 // InternalAmt here.
Hans Wennborgab16be72016-04-07 00:05:49 +00002667 if (CfaAdjustment) {
2668 BuildCFI(MBB, I, DL, MCCFIInstruction::createAdjustCfaOffset(
2669 nullptr, CfaAdjustment));
Michael Kuperstein77ce9d32015-12-06 13:06:20 +00002670 }
Michael Kuperstein73dc8522015-11-03 08:17:25 +00002671 }
2672
Hans Wennborge1a2e902016-03-31 18:33:38 +00002673 return I;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002674 }
2675
Reid Kleckner98d78032015-06-18 20:22:12 +00002676 if (isDestroy && InternalAmt) {
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002677 // If we are performing frame pointer elimination and if the callee pops
2678 // something off the stack pointer, add it back. We do this until we have
2679 // more advanced stack pointer tracking ability.
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002680 // We are not tracking the stack pointer adjustment by the callee, so make
2681 // sure we restore the stack pointer immediately after the call, there may
2682 // be spill code inserted between the CALL and ADJCALLSTACKUP instructions.
Hans Wennborge1a2e902016-03-31 18:33:38 +00002683 MachineBasicBlock::iterator CI = I;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002684 MachineBasicBlock::iterator B = MBB.begin();
Hans Wennborg649159d2016-03-31 23:55:16 +00002685 while (CI != B && !std::prev(CI)->isCall())
2686 --CI;
Hans Wennborge1a2e902016-03-31 18:33:38 +00002687 BuildStackAdjustment(MBB, CI, DL, -InternalAmt, /*InEpilogue=*/false);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002688 }
Hans Wennborge1a2e902016-03-31 18:33:38 +00002689
2690 return I;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002691}
2692
Quentin Colombet4ff3cfb2016-04-26 23:44:14 +00002693bool X86FrameLowering::canUseAsPrologue(const MachineBasicBlock &MBB) const {
2694 assert(MBB.getParent() && "Block is not attached to a function!");
2695 const MachineFunction &MF = *MBB.getParent();
2696 return !TRI->needsStackRealignment(MF) || !MBB.isLiveIn(X86::EFLAGS);
2697}
2698
Quentin Colombetaa8020752015-05-27 06:28:41 +00002699bool X86FrameLowering::canUseAsEpilogue(const MachineBasicBlock &MBB) const {
2700 assert(MBB.getParent() && "Block is not attached to a function!");
2701
Quentin Colombet421723c2015-11-04 22:37:28 +00002702 // Win64 has strict requirements in terms of epilogue and we are
2703 // not taking a chance at messing with them.
2704 // I.e., unless this block is already an exit block, we can't use
2705 // it as an epilogue.
Reid Kleckner4255b04e2015-11-16 18:47:12 +00002706 if (STI.isTargetWin64() && !MBB.succ_empty() && !MBB.isReturnBlock())
Quentin Colombet421723c2015-11-04 22:37:28 +00002707 return false;
2708
Quentin Colombetaa8020752015-05-27 06:28:41 +00002709 if (canUseLEAForSPInEpilogue(*MBB.getParent()))
2710 return true;
2711
2712 // If we cannot use LEA to adjust SP, we may need to use ADD, which
Quentin Colombetf1e91c82015-12-02 01:22:54 +00002713 // clobbers the EFLAGS. Check that we do not need to preserve it,
2714 // otherwise, conservatively assume this is not
Quentin Colombetaa8020752015-05-27 06:28:41 +00002715 // safe to insert the epilogue here.
Quentin Colombetf1e91c82015-12-02 01:22:54 +00002716 return !flagsNeedToBePreservedBeforeTheTerminators(MBB);
Quentin Colombetaa8020752015-05-27 06:28:41 +00002717}
Reid Klecknerdf129512015-09-08 22:44:41 +00002718
Quentin Colombet5d2f7cf2015-12-09 23:08:18 +00002719bool X86FrameLowering::enableShrinkWrapping(const MachineFunction &MF) const {
2720 // If we may need to emit frameless compact unwind information, give
2721 // up as this is currently broken: PR25614.
Quentin Colombet4cf56912016-01-19 23:29:03 +00002722 return (MF.getFunction()->hasFnAttribute(Attribute::NoUnwind) || hasFP(MF)) &&
2723 // The lowering of segmented stack and HiPE only support entry blocks
2724 // as prologue blocks: PR26107.
2725 // This limitation may be lifted if we fix:
2726 // - adjustForSegmentedStacks
2727 // - adjustForHiPEPrologue
2728 MF.getFunction()->getCallingConv() != CallingConv::HiPE &&
2729 !MF.shouldSplitStack();
Quentin Colombet5d2f7cf2015-12-09 23:08:18 +00002730}
2731
Reid Kleckner5b8a46e2015-09-17 20:43:47 +00002732MachineBasicBlock::iterator X86FrameLowering::restoreWin32EHStackPointers(
Reid Klecknerdf129512015-09-08 22:44:41 +00002733 MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI,
Benjamin Kramerbdc49562016-06-12 15:39:02 +00002734 const DebugLoc &DL, bool RestoreSP) const {
Reid Klecknerdf129512015-09-08 22:44:41 +00002735 assert(STI.isTargetWindowsMSVC() && "funclets only supported in MSVC env");
2736 assert(STI.isTargetWin32() && "EBP/ESI restoration only required on win32");
2737 assert(STI.is32Bit() && !Uses64BitFramePtr &&
2738 "restoring EBP/ESI on non-32-bit target");
2739
2740 MachineFunction &MF = *MBB.getParent();
2741 unsigned FramePtr = TRI->getFrameRegister(MF);
2742 unsigned BasePtr = TRI->getBaseRegister();
Reid Klecknerc20276d2015-11-17 21:10:25 +00002743 WinEHFuncInfo &FuncInfo = *MF.getWinEHFuncInfo();
Reid Klecknerdf129512015-09-08 22:44:41 +00002744 X86MachineFunctionInfo *X86FI = MF.getInfo<X86MachineFunctionInfo>();
Matthias Braun941a7052016-07-28 18:40:00 +00002745 MachineFrameInfo &MFI = MF.getFrameInfo();
Reid Klecknerdf129512015-09-08 22:44:41 +00002746
2747 // FIXME: Don't set FrameSetup flag in catchret case.
2748
2749 int FI = FuncInfo.EHRegNodeFrameIndex;
Matthias Braun941a7052016-07-28 18:40:00 +00002750 int EHRegSize = MFI.getObjectSize(FI);
Reid Kleckner5b8a46e2015-09-17 20:43:47 +00002751
2752 if (RestoreSP) {
2753 // MOV32rm -EHRegSize(%ebp), %esp
2754 addRegOffset(BuildMI(MBB, MBBI, DL, TII.get(X86::MOV32rm), X86::ESP),
2755 X86::EBP, true, -EHRegSize)
2756 .setMIFlag(MachineInstr::FrameSetup);
2757 }
2758
Reid Klecknerdf129512015-09-08 22:44:41 +00002759 unsigned UsedReg;
2760 int EHRegOffset = getFrameIndexReference(MF, FI, UsedReg);
Reid Klecknerdf129512015-09-08 22:44:41 +00002761 int EndOffset = -EHRegOffset - EHRegSize;
Reid Klecknerb005d282015-09-16 20:16:27 +00002762 FuncInfo.EHRegNodeEndOffset = EndOffset;
Reid Kleckner5b8a46e2015-09-17 20:43:47 +00002763
Reid Klecknerdf129512015-09-08 22:44:41 +00002764 if (UsedReg == FramePtr) {
2765 // ADD $offset, %ebp
Reid Klecknerdf129512015-09-08 22:44:41 +00002766 unsigned ADDri = getADDriOpcode(false, EndOffset);
2767 BuildMI(MBB, MBBI, DL, TII.get(ADDri), FramePtr)
2768 .addReg(FramePtr)
2769 .addImm(EndOffset)
2770 .setMIFlag(MachineInstr::FrameSetup)
2771 ->getOperand(3)
2772 .setIsDead();
Reid Klecknerb2244cb2015-10-08 18:41:52 +00002773 assert(EndOffset >= 0 &&
2774 "end of registration object above normal EBP position!");
2775 } else if (UsedReg == BasePtr) {
Reid Klecknerdf129512015-09-08 22:44:41 +00002776 // LEA offset(%ebp), %esi
2777 addRegOffset(BuildMI(MBB, MBBI, DL, TII.get(X86::LEA32r), BasePtr),
2778 FramePtr, false, EndOffset)
2779 .setMIFlag(MachineInstr::FrameSetup);
Reid Kleckner5b8a46e2015-09-17 20:43:47 +00002780 // MOV32rm SavedEBPOffset(%esi), %ebp
Reid Klecknerdf129512015-09-08 22:44:41 +00002781 assert(X86FI->getHasSEHFramePtrSave());
2782 int Offset =
2783 getFrameIndexReference(MF, X86FI->getSEHFramePtrSaveIndex(), UsedReg);
2784 assert(UsedReg == BasePtr);
Reid Kleckner5b8a46e2015-09-17 20:43:47 +00002785 addRegOffset(BuildMI(MBB, MBBI, DL, TII.get(X86::MOV32rm), FramePtr),
2786 UsedReg, true, Offset)
Reid Klecknerdf129512015-09-08 22:44:41 +00002787 .setMIFlag(MachineInstr::FrameSetup);
Reid Klecknerb2244cb2015-10-08 18:41:52 +00002788 } else {
2789 llvm_unreachable("32-bit frames with WinEH must use FramePtr or BasePtr");
Reid Klecknerdf129512015-09-08 22:44:41 +00002790 }
2791 return MBBI;
2792}
Reid Kleckner28e49032015-10-16 23:43:27 +00002793
Zia Ansari30a02382016-02-15 23:44:13 +00002794namespace {
2795// Struct used by orderFrameObjects to help sort the stack objects.
2796struct X86FrameSortingObject {
2797 bool IsValid = false; // true if we care about this Object.
2798 unsigned ObjectIndex = 0; // Index of Object into MFI list.
2799 unsigned ObjectSize = 0; // Size of Object in bytes.
2800 unsigned ObjectAlignment = 1; // Alignment of Object in bytes.
2801 unsigned ObjectNumUses = 0; // Object static number of uses.
2802};
2803
2804// The comparison function we use for std::sort to order our local
2805// stack symbols. The current algorithm is to use an estimated
2806// "density". This takes into consideration the size and number of
2807// uses each object has in order to roughly minimize code size.
2808// So, for example, an object of size 16B that is referenced 5 times
2809// will get higher priority than 4 4B objects referenced 1 time each.
2810// It's not perfect and we may be able to squeeze a few more bytes out of
2811// it (for example : 0(esp) requires fewer bytes, symbols allocated at the
2812// fringe end can have special consideration, given their size is less
2813// important, etc.), but the algorithmic complexity grows too much to be
2814// worth the extra gains we get. This gets us pretty close.
2815// The final order leaves us with objects with highest priority going
2816// at the end of our list.
2817struct X86FrameSortingComparator {
2818 inline bool operator()(const X86FrameSortingObject &A,
2819 const X86FrameSortingObject &B) {
2820 uint64_t DensityAScaled, DensityBScaled;
2821
2822 // For consistency in our comparison, all invalid objects are placed
2823 // at the end. This also allows us to stop walking when we hit the
2824 // first invalid item after it's all sorted.
2825 if (!A.IsValid)
2826 return false;
2827 if (!B.IsValid)
2828 return true;
2829
2830 // The density is calculated by doing :
2831 // (double)DensityA = A.ObjectNumUses / A.ObjectSize
2832 // (double)DensityB = B.ObjectNumUses / B.ObjectSize
2833 // Since this approach may cause inconsistencies in
2834 // the floating point <, >, == comparisons, depending on the floating
2835 // point model with which the compiler was built, we're going
2836 // to scale both sides by multiplying with
2837 // A.ObjectSize * B.ObjectSize. This ends up factoring away
2838 // the division and, with it, the need for any floating point
2839 // arithmetic.
2840 DensityAScaled = static_cast<uint64_t>(A.ObjectNumUses) *
2841 static_cast<uint64_t>(B.ObjectSize);
2842 DensityBScaled = static_cast<uint64_t>(B.ObjectNumUses) *
2843 static_cast<uint64_t>(A.ObjectSize);
2844
2845 // If the two densities are equal, prioritize highest alignment
2846 // objects. This allows for similar alignment objects
2847 // to be packed together (given the same density).
2848 // There's room for improvement here, also, since we can pack
2849 // similar alignment (different density) objects next to each
2850 // other to save padding. This will also require further
2851 // complexity/iterations, and the overall gain isn't worth it,
2852 // in general. Something to keep in mind, though.
2853 if (DensityAScaled == DensityBScaled)
2854 return A.ObjectAlignment < B.ObjectAlignment;
2855
2856 return DensityAScaled < DensityBScaled;
2857 }
2858};
2859} // namespace
2860
2861// Order the symbols in the local stack.
2862// We want to place the local stack objects in some sort of sensible order.
2863// The heuristic we use is to try and pack them according to static number
2864// of uses and size of object in order to minimize code size.
2865void X86FrameLowering::orderFrameObjects(
2866 const MachineFunction &MF, SmallVectorImpl<int> &ObjectsToAllocate) const {
Matthias Braun941a7052016-07-28 18:40:00 +00002867 const MachineFrameInfo &MFI = MF.getFrameInfo();
Zia Ansari30a02382016-02-15 23:44:13 +00002868
2869 // Don't waste time if there's nothing to do.
2870 if (ObjectsToAllocate.empty())
2871 return;
2872
2873 // Create an array of all MFI objects. We won't need all of these
2874 // objects, but we're going to create a full array of them to make
2875 // it easier to index into when we're counting "uses" down below.
2876 // We want to be able to easily/cheaply access an object by simply
2877 // indexing into it, instead of having to search for it every time.
Matthias Braun941a7052016-07-28 18:40:00 +00002878 std::vector<X86FrameSortingObject> SortingObjects(MFI.getObjectIndexEnd());
Zia Ansari30a02382016-02-15 23:44:13 +00002879
2880 // Walk the objects we care about and mark them as such in our working
2881 // struct.
2882 for (auto &Obj : ObjectsToAllocate) {
2883 SortingObjects[Obj].IsValid = true;
2884 SortingObjects[Obj].ObjectIndex = Obj;
Matthias Braun941a7052016-07-28 18:40:00 +00002885 SortingObjects[Obj].ObjectAlignment = MFI.getObjectAlignment(Obj);
Zia Ansari30a02382016-02-15 23:44:13 +00002886 // Set the size.
Matthias Braun941a7052016-07-28 18:40:00 +00002887 int ObjectSize = MFI.getObjectSize(Obj);
Zia Ansari30a02382016-02-15 23:44:13 +00002888 if (ObjectSize == 0)
2889 // Variable size. Just use 4.
2890 SortingObjects[Obj].ObjectSize = 4;
2891 else
2892 SortingObjects[Obj].ObjectSize = ObjectSize;
2893 }
2894
2895 // Count the number of uses for each object.
2896 for (auto &MBB : MF) {
2897 for (auto &MI : MBB) {
Dehao Chenad2b4e12016-07-01 15:40:25 +00002898 if (MI.isDebugValue())
2899 continue;
Zia Ansari30a02382016-02-15 23:44:13 +00002900 for (const MachineOperand &MO : MI.operands()) {
2901 // Check to see if it's a local stack symbol.
2902 if (!MO.isFI())
2903 continue;
2904 int Index = MO.getIndex();
2905 // Check to see if it falls within our range, and is tagged
2906 // to require ordering.
Matthias Braun941a7052016-07-28 18:40:00 +00002907 if (Index >= 0 && Index < MFI.getObjectIndexEnd() &&
Zia Ansari30a02382016-02-15 23:44:13 +00002908 SortingObjects[Index].IsValid)
2909 SortingObjects[Index].ObjectNumUses++;
2910 }
2911 }
2912 }
2913
2914 // Sort the objects using X86FrameSortingAlgorithm (see its comment for
2915 // info).
2916 std::stable_sort(SortingObjects.begin(), SortingObjects.end(),
2917 X86FrameSortingComparator());
2918
2919 // Now modify the original list to represent the final order that
2920 // we want. The order will depend on whether we're going to access them
2921 // from the stack pointer or the frame pointer. For SP, the list should
2922 // end up with the END containing objects that we want with smaller offsets.
2923 // For FP, it should be flipped.
2924 int i = 0;
2925 for (auto &Obj : SortingObjects) {
2926 // All invalid items are sorted at the end, so it's safe to stop.
2927 if (!Obj.IsValid)
2928 break;
2929 ObjectsToAllocate[i++] = Obj.ObjectIndex;
2930 }
2931
2932 // Flip it if we're accessing off of the FP.
2933 if (!TRI->needsStackRealignment(MF) && hasFP(MF))
2934 std::reverse(ObjectsToAllocate.begin(), ObjectsToAllocate.end());
2935}
2936
2937
Reid Kleckner28e49032015-10-16 23:43:27 +00002938unsigned X86FrameLowering::getWinEHParentFrameOffset(const MachineFunction &MF) const {
2939 // RDX, the parent frame pointer, is homed into 16(%rsp) in the prologue.
2940 unsigned Offset = 16;
2941 // RBP is immediately pushed.
2942 Offset += SlotSize;
2943 // All callee-saved registers are then pushed.
2944 Offset += MF.getInfo<X86MachineFunctionInfo>()->getCalleeSavedFrameSize();
2945 // Every funclet allocates enough stack space for the largest outgoing call.
2946 Offset += getWinEHFuncletFrameSize(MF);
2947 return Offset;
2948}
Reid Kleckner94b57062015-11-13 19:06:01 +00002949
2950void X86FrameLowering::processFunctionBeforeFrameFinalized(
2951 MachineFunction &MF, RegScavenger *RS) const {
2952 // If this function isn't doing Win64-style C++ EH, we don't need to do
2953 // anything.
2954 const Function *Fn = MF.getFunction();
Reid Klecknerc397b262015-11-16 18:47:25 +00002955 if (!STI.is64Bit() || !MF.getMMI().hasEHFunclets() ||
2956 classifyEHPersonality(Fn->getPersonalityFn()) != EHPersonality::MSVC_CXX)
Reid Kleckner94b57062015-11-13 19:06:01 +00002957 return;
2958
2959 // Win64 C++ EH needs to allocate the UnwindHelp object at some fixed offset
2960 // relative to RSP after the prologue. Find the offset of the last fixed
Reid Klecknerc397b262015-11-16 18:47:25 +00002961 // object, so that we can allocate a slot immediately following it. If there
2962 // were no fixed objects, use offset -SlotSize, which is immediately after the
2963 // return address. Fixed objects have negative frame indices.
Matthias Braun941a7052016-07-28 18:40:00 +00002964 MachineFrameInfo &MFI = MF.getFrameInfo();
David Majnemer1ef65402016-03-03 00:01:25 +00002965 WinEHFuncInfo &EHInfo = *MF.getWinEHFuncInfo();
Reid Klecknerc397b262015-11-16 18:47:25 +00002966 int64_t MinFixedObjOffset = -SlotSize;
Matthias Braun941a7052016-07-28 18:40:00 +00002967 for (int I = MFI.getObjectIndexBegin(); I < 0; ++I)
2968 MinFixedObjOffset = std::min(MinFixedObjOffset, MFI.getObjectOffset(I));
Reid Kleckner94b57062015-11-13 19:06:01 +00002969
David Majnemer1ef65402016-03-03 00:01:25 +00002970 for (WinEHTryBlockMapEntry &TBME : EHInfo.TryBlockMap) {
2971 for (WinEHHandlerType &H : TBME.HandlerArray) {
2972 int FrameIndex = H.CatchObj.FrameIndex;
2973 if (FrameIndex != INT_MAX) {
2974 // Ensure alignment.
Matthias Braun941a7052016-07-28 18:40:00 +00002975 unsigned Align = MFI.getObjectAlignment(FrameIndex);
David Majnemer1ef65402016-03-03 00:01:25 +00002976 MinFixedObjOffset -= std::abs(MinFixedObjOffset) % Align;
Matthias Braun941a7052016-07-28 18:40:00 +00002977 MinFixedObjOffset -= MFI.getObjectSize(FrameIndex);
2978 MFI.setObjectOffset(FrameIndex, MinFixedObjOffset);
David Majnemer1ef65402016-03-03 00:01:25 +00002979 }
2980 }
2981 }
2982
2983 // Ensure alignment.
2984 MinFixedObjOffset -= std::abs(MinFixedObjOffset) % 8;
Reid Kleckner94b57062015-11-13 19:06:01 +00002985 int64_t UnwindHelpOffset = MinFixedObjOffset - SlotSize;
2986 int UnwindHelpFI =
Matthias Braun941a7052016-07-28 18:40:00 +00002987 MFI.CreateFixedObject(SlotSize, UnwindHelpOffset, /*Immutable=*/false);
David Majnemer1ef65402016-03-03 00:01:25 +00002988 EHInfo.UnwindHelpFrameIdx = UnwindHelpFI;
Reid Kleckner94b57062015-11-13 19:06:01 +00002989
2990 // Store -2 into UnwindHelp on function entry. We have to scan forwards past
2991 // other frame setup instructions.
2992 MachineBasicBlock &MBB = MF.front();
2993 auto MBBI = MBB.begin();
2994 while (MBBI != MBB.end() && MBBI->getFlag(MachineInstr::FrameSetup))
2995 ++MBBI;
2996
2997 DebugLoc DL = MBB.findDebugLoc(MBBI);
2998 addFrameReference(BuildMI(MBB, MBBI, DL, TII.get(X86::MOV64mi32)),
2999 UnwindHelpFI)
3000 .addImm(-2);
3001}