blob: 394199504121610009888cfb8279b4e44eacd071 [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();
938
939 // Debug location must be unknown since the first debug location is used
940 // to determine the end of the prologue.
941 DebugLoc DL;
942
943 // Add RETADDR move area to callee saved frame size.
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000944 int TailCallReturnAddrDelta = X86FI->getTCReturnAddrDelta();
Reid Kleckner1c140bd2015-06-16 18:08:57 +0000945 if (TailCallReturnAddrDelta && IsWin64Prologue)
David Majnemer93c22a42015-02-10 00:57:42 +0000946 report_fatal_error("Can't handle guaranteed tail call under win64 yet");
947
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000948 if (TailCallReturnAddrDelta < 0)
949 X86FI->setCalleeSavedFrameSize(
950 X86FI->getCalleeSavedFrameSize() - TailCallReturnAddrDelta);
951
952 bool UseStackProbe = (STI.isOSWindows() && !STI.isTargetMachO());
953
954 // The default stack probe size is 4096 if the function has no stackprobesize
955 // attribute.
956 unsigned StackProbeSize = 4096;
957 if (Fn->hasFnAttribute("stack-probe-size"))
958 Fn->getFnAttribute("stack-probe-size")
959 .getValueAsString()
960 .getAsInteger(0, StackProbeSize);
961
962 // If this is x86-64 and the Red Zone is not disabled, if we are a leaf
963 // function, and use up to 128 bytes of stack space, don't have a frame
964 // pointer, calls, or dynamic alloca then we do not need to adjust the
965 // stack pointer (we fit in the Red Zone). We also check that we don't
966 // push and pop from the stack.
Duncan P. N. Exon Smith5975a702015-02-14 01:59:52 +0000967 if (Is64Bit && !Fn->hasFnAttribute(Attribute::NoRedZone) &&
Reid Kleckner034ea962015-06-18 20:32:02 +0000968 !TRI->needsStackRealignment(MF) &&
Matthias Braun941a7052016-07-28 18:40:00 +0000969 !MFI.hasVarSizedObjects() && // No dynamic alloca.
970 !MFI.adjustsStack() && // No calls.
971 !IsWin64CC && // Win64 has no Red Zone
972 !MFI.hasCopyImplyingStackAdjustment() && // Don't push and pop.
973 !MF.shouldSplitStack()) { // Regular stack
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000974 uint64_t MinSize = X86FI->getCalleeSavedFrameSize();
975 if (HasFP) MinSize += SlotSize;
Hans Wennborg4ae51192016-03-25 01:10:56 +0000976 X86FI->setUsesRedZone(MinSize > 0 || StackSize > 0);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000977 StackSize = std::max(MinSize, StackSize > 128 ? StackSize - 128 : 0);
Matthias Braun941a7052016-07-28 18:40:00 +0000978 MFI.setStackSize(StackSize);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000979 }
980
981 // Insert stack pointer adjustment for later moving of return addr. Only
982 // applies to tail call optimized functions where the callee argument stack
983 // size is bigger than the callers.
984 if (TailCallReturnAddrDelta < 0) {
Reid Kleckner98d78032015-06-18 20:22:12 +0000985 BuildStackAdjustment(MBB, MBBI, DL, TailCallReturnAddrDelta,
986 /*InEpilogue=*/false)
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000987 .setMIFlag(MachineInstr::FrameSetup);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +0000988 }
989
990 // Mapping for machine moves:
991 //
992 // DST: VirtualFP AND
993 // SRC: VirtualFP => DW_CFA_def_cfa_offset
994 // ELSE => DW_CFA_def_cfa
995 //
996 // SRC: VirtualFP AND
997 // DST: Register => DW_CFA_def_cfa_register
998 //
999 // ELSE
1000 // OFFSET < 0 => DW_CFA_offset_extended_sf
1001 // REG < 64 => DW_CFA_offset + Reg
1002 // ELSE => DW_CFA_offset_extended
1003
1004 uint64_t NumBytes = 0;
1005 int stackGrowth = -SlotSize;
1006
Joseph Tremoulet6afccf62015-11-05 02:20:07 +00001007 // Find the funclet establisher parameter
1008 unsigned Establisher = X86::NoRegister;
1009 if (IsClrFunclet)
1010 Establisher = Uses64BitFramePtr ? X86::RCX : X86::ECX;
1011 else if (IsFunclet)
1012 Establisher = Uses64BitFramePtr ? X86::RDX : X86::EDX;
1013
Craig Topper8e44b9a2015-12-10 06:09:41 +00001014 if (IsWin64Prologue && IsFunclet && !IsClrFunclet) {
Joseph Tremoulet6afccf62015-11-05 02:20:07 +00001015 // Immediately spill establisher into the home slot.
1016 // The runtime cares about this.
Reid Klecknera13dfd52015-09-29 23:32:01 +00001017 // MOV64mr %rdx, 16(%rsp)
1018 unsigned MOVmr = Uses64BitFramePtr ? X86::MOV64mr : X86::MOV32mr;
1019 addRegOffset(BuildMI(MBB, MBBI, DL, TII.get(MOVmr)), StackPtr, true, 16)
Joseph Tremoulet6afccf62015-11-05 02:20:07 +00001020 .addReg(Establisher)
Reid Klecknerdf129512015-09-08 22:44:41 +00001021 .setMIFlag(MachineInstr::FrameSetup);
Reid Kleckner64b003f2015-11-09 21:04:00 +00001022 MBB.addLiveIn(Establisher);
Reid Klecknera13dfd52015-09-29 23:32:01 +00001023 }
Reid Klecknerdf129512015-09-08 22:44:41 +00001024
Reid Klecknera13dfd52015-09-29 23:32:01 +00001025 if (HasFP) {
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001026 // Calculate required stack adjustment.
1027 uint64_t FrameSize = StackSize - SlotSize;
1028 // If required, include space for extra hidden slot for stashing base pointer.
1029 if (X86FI->getRestoreBasePointer())
1030 FrameSize += SlotSize;
David Majnemer89d05642015-02-21 01:04:47 +00001031
1032 NumBytes = FrameSize - X86FI->getCalleeSavedFrameSize();
1033
1034 // Callee-saved registers are pushed on stack before the stack is realigned.
Reid Kleckner034ea962015-06-18 20:32:02 +00001035 if (TRI->needsStackRealignment(MF) && !IsWin64Prologue)
Rui Ueyamada00f2f2016-01-14 21:06:47 +00001036 NumBytes = alignTo(NumBytes, MaxAlign);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001037
1038 // Get the offset of the stack slot for the EBP register, which is
1039 // guaranteed to be the last slot by processFunctionBeforeFrameFinalized.
1040 // Update the frame offset adjustment.
Reid Klecknera13dfd52015-09-29 23:32:01 +00001041 if (!IsFunclet)
Matthias Braun941a7052016-07-28 18:40:00 +00001042 MFI.setOffsetAdjustment(-NumBytes);
Reid Klecknera13dfd52015-09-29 23:32:01 +00001043 else
Matthias Braun941a7052016-07-28 18:40:00 +00001044 assert(MFI.getOffsetAdjustment() == -(int)NumBytes &&
Reid Klecknera13dfd52015-09-29 23:32:01 +00001045 "should calculate same local variable offset for funclets");
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001046
1047 // Save EBP/RBP into the appropriate stack slot.
1048 BuildMI(MBB, MBBI, DL, TII.get(Is64Bit ? X86::PUSH64r : X86::PUSH32r))
1049 .addReg(MachineFramePtr, RegState::Kill)
1050 .setMIFlag(MachineInstr::FrameSetup);
1051
1052 if (NeedsDwarfCFI) {
1053 // Mark the place where EBP/RBP was saved.
1054 // Define the current CFA rule to use the provided offset.
1055 assert(StackSize);
Reid Kleckner3854f7b2015-06-18 18:03:25 +00001056 BuildCFI(MBB, MBBI, DL,
Reid Kleckner7f189f82015-06-15 23:45:08 +00001057 MCCFIInstruction::createDefCfaOffset(nullptr, 2 * stackGrowth));
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001058
1059 // Change the rule for the FramePtr to be an "offset" rule.
Reid Kleckner034ea962015-06-18 20:32:02 +00001060 unsigned DwarfFramePtr = TRI->getDwarfRegNum(MachineFramePtr, true);
Reid Kleckner3854f7b2015-06-18 18:03:25 +00001061 BuildCFI(MBB, MBBI, DL, MCCFIInstruction::createOffset(
1062 nullptr, DwarfFramePtr, 2 * stackGrowth));
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001063 }
1064
Reid Kleckner1c140bd2015-06-16 18:08:57 +00001065 if (NeedsWinCFI) {
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001066 BuildMI(MBB, MBBI, DL, TII.get(X86::SEH_PushReg))
1067 .addImm(FramePtr)
1068 .setMIFlag(MachineInstr::FrameSetup);
1069 }
1070
Reid Klecknera13dfd52015-09-29 23:32:01 +00001071 if (!IsWin64Prologue && !IsFunclet) {
David Majnemer93c22a42015-02-10 00:57:42 +00001072 // Update EBP with the new base value.
1073 BuildMI(MBB, MBBI, DL,
Charles Davise9c32c72016-08-08 21:20:15 +00001074 TII.get(Uses64BitFramePtr ? X86::MOV64rr : X86::MOV32rr),
David Majnemer93c22a42015-02-10 00:57:42 +00001075 FramePtr)
1076 .addReg(StackPtr)
1077 .setMIFlag(MachineInstr::FrameSetup);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001078
Reid Klecknera13dfd52015-09-29 23:32:01 +00001079 if (NeedsDwarfCFI) {
1080 // Mark effective beginning of when frame pointer becomes valid.
1081 // Define the current CFA to use the EBP/RBP register.
1082 unsigned DwarfFramePtr = TRI->getDwarfRegNum(MachineFramePtr, true);
1083 BuildCFI(MBB, MBBI, DL, MCCFIInstruction::createDefCfaRegister(
1084 nullptr, DwarfFramePtr));
1085 }
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001086 }
1087
Reid Kleckner64b003f2015-11-09 21:04:00 +00001088 // Mark the FramePtr as live-in in every block. Don't do this again for
1089 // funclet prologues.
1090 if (!IsFunclet) {
1091 for (MachineBasicBlock &EveryMBB : MF)
1092 EveryMBB.addLiveIn(MachineFramePtr);
1093 }
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001094 } else {
Reid Klecknera13dfd52015-09-29 23:32:01 +00001095 assert(!IsFunclet && "funclets without FPs not yet implemented");
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001096 NumBytes = StackSize - X86FI->getCalleeSavedFrameSize();
1097 }
1098
Reid Klecknera13dfd52015-09-29 23:32:01 +00001099 // For EH funclets, only allocate enough space for outgoing calls. Save the
1100 // NumBytes value that we would've used for the parent frame.
1101 unsigned ParentFrameNumBytes = NumBytes;
1102 if (IsFunclet)
Reid Kleckner28e49032015-10-16 23:43:27 +00001103 NumBytes = getWinEHFuncletFrameSize(MF);
Reid Klecknera13dfd52015-09-29 23:32:01 +00001104
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001105 // Skip the callee-saved push instructions.
1106 bool PushedRegs = false;
1107 int StackOffset = 2 * stackGrowth;
1108
1109 while (MBBI != MBB.end() &&
Michael Kupersteine1ea4e7d2015-07-16 12:27:59 +00001110 MBBI->getFlag(MachineInstr::FrameSetup) &&
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001111 (MBBI->getOpcode() == X86::PUSH32r ||
1112 MBBI->getOpcode() == X86::PUSH64r)) {
1113 PushedRegs = true;
1114 unsigned Reg = MBBI->getOperand(0).getReg();
1115 ++MBBI;
1116
1117 if (!HasFP && NeedsDwarfCFI) {
1118 // Mark callee-saved push instruction.
1119 // Define the current CFA rule to use the provided offset.
1120 assert(StackSize);
Reid Kleckner3854f7b2015-06-18 18:03:25 +00001121 BuildCFI(MBB, MBBI, DL,
Reid Kleckner7f189f82015-06-15 23:45:08 +00001122 MCCFIInstruction::createDefCfaOffset(nullptr, StackOffset));
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001123 StackOffset += stackGrowth;
1124 }
1125
Reid Kleckner1c140bd2015-06-16 18:08:57 +00001126 if (NeedsWinCFI) {
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001127 BuildMI(MBB, MBBI, DL, TII.get(X86::SEH_PushReg)).addImm(Reg).setMIFlag(
1128 MachineInstr::FrameSetup);
1129 }
1130 }
1131
1132 // Realign stack after we pushed callee-saved registers (so that we'll be
1133 // able to calculate their offsets from the frame pointer).
David Majnemer93c22a42015-02-10 00:57:42 +00001134 // Don't do this for Win64, it needs to realign the stack after the prologue.
Reid Klecknera13dfd52015-09-29 23:32:01 +00001135 if (!IsWin64Prologue && !IsFunclet && TRI->needsStackRealignment(MF)) {
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001136 assert(HasFP && "There should be a frame pointer if stack is realigned.");
Reid Kleckner6ddae312015-11-05 21:09:49 +00001137 BuildStackAlignAND(MBB, MBBI, DL, StackPtr, MaxAlign);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001138 }
1139
1140 // If there is an SUB32ri of ESP immediately before this instruction, merge
1141 // the two. This can be the case when tail call elimination is enabled and
1142 // the callee has more arguments then the caller.
Reid Kleckner3854f7b2015-06-18 18:03:25 +00001143 NumBytes -= mergeSPUpdates(MBB, MBBI, true);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001144
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001145 // Adjust stack pointer: ESP -= numbytes.
1146
1147 // Windows and cygwin/mingw require a prologue helper routine when allocating
1148 // more than 4K bytes on the stack. Windows uses __chkstk and cygwin/mingw
1149 // uses __alloca. __alloca and the 32-bit version of __chkstk will probe the
1150 // stack and adjust the stack pointer in one go. The 64-bit version of
1151 // __chkstk is only responsible for probing the stack. The 64-bit prologue is
1152 // responsible for adjusting the stack pointer. Touching the stack at 4K
1153 // increments is necessary to ensure that the guard pages used by the OS
1154 // virtual memory manager are allocated in correct sequence.
David Majnemer89d05642015-02-21 01:04:47 +00001155 uint64_t AlignedNumBytes = NumBytes;
Reid Klecknera13dfd52015-09-29 23:32:01 +00001156 if (IsWin64Prologue && !IsFunclet && TRI->needsStackRealignment(MF))
Rui Ueyamada00f2f2016-01-14 21:06:47 +00001157 AlignedNumBytes = alignTo(AlignedNumBytes, MaxAlign);
David Majnemer89d05642015-02-21 01:04:47 +00001158 if (AlignedNumBytes >= StackProbeSize && UseStackProbe) {
Reid Kleckner8de35fe2016-02-17 00:17:33 +00001159 // Check whether EAX is livein for this block.
1160 bool isEAXAlive = isEAXLiveIn(MBB);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001161
1162 if (isEAXAlive) {
1163 // Sanity check that EAX is not livein for this function.
1164 // It should not be, so throw an assert.
1165 assert(!Is64Bit && "EAX is livein in x64 case!");
1166
1167 // Save EAX
1168 BuildMI(MBB, MBBI, DL, TII.get(X86::PUSH32r))
1169 .addReg(X86::EAX, RegState::Kill)
1170 .setMIFlag(MachineInstr::FrameSetup);
1171 }
1172
1173 if (Is64Bit) {
1174 // Handle the 64-bit Windows ABI case where we need to call __chkstk.
1175 // Function prologue is responsible for adjusting the stack pointer.
David Majnemer006c4902015-02-23 21:50:30 +00001176 if (isUInt<32>(NumBytes)) {
1177 BuildMI(MBB, MBBI, DL, TII.get(X86::MOV32ri), X86::EAX)
1178 .addImm(NumBytes)
1179 .setMIFlag(MachineInstr::FrameSetup);
1180 } else if (isInt<32>(NumBytes)) {
1181 BuildMI(MBB, MBBI, DL, TII.get(X86::MOV64ri32), X86::RAX)
1182 .addImm(NumBytes)
1183 .setMIFlag(MachineInstr::FrameSetup);
1184 } else {
1185 BuildMI(MBB, MBBI, DL, TII.get(X86::MOV64ri), X86::RAX)
1186 .addImm(NumBytes)
1187 .setMIFlag(MachineInstr::FrameSetup);
1188 }
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001189 } else {
1190 // Allocate NumBytes-4 bytes on stack in case of isEAXAlive.
1191 // We'll also use 4 already allocated bytes for EAX.
1192 BuildMI(MBB, MBBI, DL, TII.get(X86::MOV32ri), X86::EAX)
Andy Ayers809cbe92015-11-10 01:50:49 +00001193 .addImm(isEAXAlive ? NumBytes - 4 : NumBytes)
1194 .setMIFlag(MachineInstr::FrameSetup);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001195 }
1196
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001197 // Call __chkstk, __chkstk_ms, or __alloca.
Andy Ayers809cbe92015-11-10 01:50:49 +00001198 emitStackProbe(MF, MBB, MBBI, DL, true);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001199
1200 if (isEAXAlive) {
1201 // Restore EAX
Andy Ayers809cbe92015-11-10 01:50:49 +00001202 MachineInstr *MI =
1203 addRegOffset(BuildMI(MF, DL, TII.get(X86::MOV32rm), X86::EAX),
1204 StackPtr, false, NumBytes - 4);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001205 MI->setFlag(MachineInstr::FrameSetup);
1206 MBB.insert(MBBI, MI);
1207 }
1208 } else if (NumBytes) {
Reid Kleckner98d78032015-06-18 20:22:12 +00001209 emitSPUpdate(MBB, MBBI, -(int64_t)NumBytes, /*InEpilogue=*/false);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001210 }
1211
Reid Kleckner1c140bd2015-06-16 18:08:57 +00001212 if (NeedsWinCFI && NumBytes)
David Majnemer93c22a42015-02-10 00:57:42 +00001213 BuildMI(MBB, MBBI, DL, TII.get(X86::SEH_StackAlloc))
1214 .addImm(NumBytes)
1215 .setMIFlag(MachineInstr::FrameSetup);
1216
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001217 int SEHFrameOffset = 0;
Joseph Tremoulet149c4332015-11-13 00:39:23 +00001218 unsigned SPOrEstablisher;
1219 if (IsFunclet) {
1220 if (IsClrFunclet) {
1221 // The establisher parameter passed to a CLR funclet is actually a pointer
1222 // to the (mostly empty) frame of its nearest enclosing funclet; we have
1223 // to find the root function establisher frame by loading the PSPSym from
1224 // the intermediate frame.
1225 unsigned PSPSlotOffset = getPSPSlotOffsetFromSP(MF);
1226 MachinePointerInfo NoInfo;
1227 MBB.addLiveIn(Establisher);
1228 addRegOffset(BuildMI(MBB, MBBI, DL, TII.get(X86::MOV64rm), Establisher),
1229 Establisher, false, PSPSlotOffset)
1230 .addMemOperand(MF.getMachineMemOperand(
1231 NoInfo, MachineMemOperand::MOLoad, SlotSize, SlotSize));
1232 ;
1233 // Save the root establisher back into the current funclet's (mostly
1234 // empty) frame, in case a sub-funclet or the GC needs it.
1235 addRegOffset(BuildMI(MBB, MBBI, DL, TII.get(X86::MOV64mr)), StackPtr,
1236 false, PSPSlotOffset)
1237 .addReg(Establisher)
1238 .addMemOperand(
1239 MF.getMachineMemOperand(NoInfo, MachineMemOperand::MOStore |
1240 MachineMemOperand::MOVolatile,
1241 SlotSize, SlotSize));
1242 }
1243 SPOrEstablisher = Establisher;
1244 } else {
1245 SPOrEstablisher = StackPtr;
1246 }
1247
Reid Kleckner1c140bd2015-06-16 18:08:57 +00001248 if (IsWin64Prologue && HasFP) {
Reid Klecknera13dfd52015-09-29 23:32:01 +00001249 // Set RBP to a small fixed offset from RSP. In the funclet case, we base
Joseph Tremoulet6afccf62015-11-05 02:20:07 +00001250 // this calculation on the incoming establisher, which holds the value of
1251 // RSP from the parent frame at the end of the prologue.
Reid Klecknera13dfd52015-09-29 23:32:01 +00001252 SEHFrameOffset = calculateSetFPREG(ParentFrameNumBytes);
David Majnemer31d868b2015-02-23 21:50:27 +00001253 if (SEHFrameOffset)
1254 addRegOffset(BuildMI(MBB, MBBI, DL, TII.get(X86::LEA64r), FramePtr),
Joseph Tremoulet6afccf62015-11-05 02:20:07 +00001255 SPOrEstablisher, false, SEHFrameOffset);
David Majnemer31d868b2015-02-23 21:50:27 +00001256 else
Reid Klecknera13dfd52015-09-29 23:32:01 +00001257 BuildMI(MBB, MBBI, DL, TII.get(X86::MOV64rr), FramePtr)
Joseph Tremoulet6afccf62015-11-05 02:20:07 +00001258 .addReg(SPOrEstablisher);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001259
Reid Klecknera13dfd52015-09-29 23:32:01 +00001260 // If this is not a funclet, emit the CFI describing our frame pointer.
Reid Kleckner7850c9f2015-12-15 23:40:58 +00001261 if (NeedsWinCFI && !IsFunclet) {
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001262 BuildMI(MBB, MBBI, DL, TII.get(X86::SEH_SetFrame))
1263 .addImm(FramePtr)
1264 .addImm(SEHFrameOffset)
1265 .setMIFlag(MachineInstr::FrameSetup);
Reid Kleckner7850c9f2015-12-15 23:40:58 +00001266 if (isAsynchronousEHPersonality(Personality))
1267 MF.getWinEHFuncInfo()->SEHSetFrameOffset = SEHFrameOffset;
1268 }
Reid Klecknera13dfd52015-09-29 23:32:01 +00001269 } else if (IsFunclet && STI.is32Bit()) {
1270 // Reset EBP / ESI to something good for funclets.
1271 MBBI = restoreWin32EHStackPointers(MBB, MBBI, DL);
Reid Kleckner75b4be92015-11-13 21:27:00 +00001272 // If we're a catch funclet, we can be returned to via catchret. Save ESP
1273 // into the registration node so that the runtime will restore it for us.
1274 if (!MBB.isCleanupFuncletEntry()) {
Reid Kleckner7850c9f2015-12-15 23:40:58 +00001275 assert(Personality == EHPersonality::MSVC_CXX);
Reid Kleckner75b4be92015-11-13 21:27:00 +00001276 unsigned FrameReg;
Reid Klecknerc20276d2015-11-17 21:10:25 +00001277 int FI = MF.getWinEHFuncInfo()->EHRegNodeFrameIndex;
Reid Kleckner75b4be92015-11-13 21:27:00 +00001278 int64_t EHRegOffset = getFrameIndexReference(MF, FI, FrameReg);
1279 // ESP is the first field, so no extra displacement is needed.
1280 addRegOffset(BuildMI(MBB, MBBI, DL, TII.get(X86::MOV32mr)), FrameReg,
1281 false, EHRegOffset)
1282 .addReg(X86::ESP);
1283 }
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001284 }
1285
David Majnemera7d908e2015-02-10 19:01:47 +00001286 while (MBBI != MBB.end() && MBBI->getFlag(MachineInstr::FrameSetup)) {
Duncan P. N. Exon Smith9cfc75c2016-06-30 00:01:54 +00001287 const MachineInstr &FrameInstr = *MBBI;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001288 ++MBBI;
1289
Reid Kleckner1c140bd2015-06-16 18:08:57 +00001290 if (NeedsWinCFI) {
David Majnemera7d908e2015-02-10 19:01:47 +00001291 int FI;
1292 if (unsigned Reg = TII.isStoreToStackSlot(FrameInstr, FI)) {
1293 if (X86::FR64RegClass.contains(Reg)) {
James Y Knight5567baf2015-08-15 02:32:35 +00001294 unsigned IgnoredFrameReg;
1295 int Offset = getFrameIndexReference(MF, FI, IgnoredFrameReg);
David Majnemera7d908e2015-02-10 19:01:47 +00001296 Offset += SEHFrameOffset;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001297
David Majnemera7d908e2015-02-10 19:01:47 +00001298 BuildMI(MBB, MBBI, DL, TII.get(X86::SEH_SaveXMM))
1299 .addImm(Reg)
1300 .addImm(Offset)
1301 .setMIFlag(MachineInstr::FrameSetup);
1302 }
1303 }
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001304 }
David Majnemera7d908e2015-02-10 19:01:47 +00001305 }
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001306
Reid Kleckner1c140bd2015-06-16 18:08:57 +00001307 if (NeedsWinCFI)
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001308 BuildMI(MBB, MBBI, DL, TII.get(X86::SEH_EndPrologue))
1309 .setMIFlag(MachineInstr::FrameSetup);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001310
Joseph Tremoulet149c4332015-11-13 00:39:23 +00001311 if (FnHasClrFunclet && !IsFunclet) {
1312 // Save the so-called Initial-SP (i.e. the value of the stack pointer
1313 // immediately after the prolog) into the PSPSlot so that funclets
1314 // and the GC can recover it.
1315 unsigned PSPSlotOffset = getPSPSlotOffsetFromSP(MF);
1316 auto PSPInfo = MachinePointerInfo::getFixedStack(
Reid Klecknerc20276d2015-11-17 21:10:25 +00001317 MF, MF.getWinEHFuncInfo()->PSPSymFrameIdx);
Joseph Tremoulet149c4332015-11-13 00:39:23 +00001318 addRegOffset(BuildMI(MBB, MBBI, DL, TII.get(X86::MOV64mr)), StackPtr, false,
1319 PSPSlotOffset)
1320 .addReg(StackPtr)
1321 .addMemOperand(MF.getMachineMemOperand(
1322 PSPInfo, MachineMemOperand::MOStore | MachineMemOperand::MOVolatile,
1323 SlotSize, SlotSize));
1324 }
1325
David Majnemer93c22a42015-02-10 00:57:42 +00001326 // Realign stack after we spilled callee-saved registers (so that we'll be
1327 // able to calculate their offsets from the frame pointer).
1328 // Win64 requires aligning the stack after the prologue.
Reid Kleckner034ea962015-06-18 20:32:02 +00001329 if (IsWin64Prologue && TRI->needsStackRealignment(MF)) {
David Majnemer93c22a42015-02-10 00:57:42 +00001330 assert(HasFP && "There should be a frame pointer if stack is realigned.");
Reid Kleckner6ddae312015-11-05 21:09:49 +00001331 BuildStackAlignAND(MBB, MBBI, DL, SPOrEstablisher, MaxAlign);
David Majnemer93c22a42015-02-10 00:57:42 +00001332 }
1333
Reid Kleckner6ddae312015-11-05 21:09:49 +00001334 // We already dealt with stack realignment and funclets above.
1335 if (IsFunclet && STI.is32Bit())
1336 return;
1337
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001338 // If we need a base pointer, set it up here. It's whatever the value
1339 // of the stack pointer is at this point. Any variable size objects
1340 // will be allocated after this, so we can still use the base pointer
1341 // to reference locals.
Reid Kleckner034ea962015-06-18 20:32:02 +00001342 if (TRI->hasBasePointer(MF)) {
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001343 // Update the base pointer with the current stack pointer.
1344 unsigned Opc = Uses64BitFramePtr ? X86::MOV64rr : X86::MOV32rr;
1345 BuildMI(MBB, MBBI, DL, TII.get(Opc), BasePtr)
Reid Kleckner6ddae312015-11-05 21:09:49 +00001346 .addReg(SPOrEstablisher)
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001347 .setMIFlag(MachineInstr::FrameSetup);
1348 if (X86FI->getRestoreBasePointer()) {
Reid Klecknere69bdb82015-07-07 23:45:58 +00001349 // Stash value of base pointer. Saving RSP instead of EBP shortens
1350 // dependence chain. Used by SjLj EH.
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001351 unsigned Opm = Uses64BitFramePtr ? X86::MOV64mr : X86::MOV32mr;
1352 addRegOffset(BuildMI(MBB, MBBI, DL, TII.get(Opm)),
1353 FramePtr, true, X86FI->getRestoreBasePointerOffset())
Reid Kleckner6ddae312015-11-05 21:09:49 +00001354 .addReg(SPOrEstablisher)
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001355 .setMIFlag(MachineInstr::FrameSetup);
1356 }
Reid Klecknere69bdb82015-07-07 23:45:58 +00001357
Reid Kleckner6ddae312015-11-05 21:09:49 +00001358 if (X86FI->getHasSEHFramePtrSave() && !IsFunclet) {
Reid Klecknere69bdb82015-07-07 23:45:58 +00001359 // Stash the value of the frame pointer relative to the base pointer for
1360 // Win32 EH. This supports Win32 EH, which does the inverse of the above:
1361 // it recovers the frame pointer from the base pointer rather than the
1362 // other way around.
1363 unsigned Opm = Uses64BitFramePtr ? X86::MOV64mr : X86::MOV32mr;
Reid Klecknerdf129512015-09-08 22:44:41 +00001364 unsigned UsedReg;
1365 int Offset =
1366 getFrameIndexReference(MF, X86FI->getSEHFramePtrSaveIndex(), UsedReg);
1367 assert(UsedReg == BasePtr);
1368 addRegOffset(BuildMI(MBB, MBBI, DL, TII.get(Opm)), UsedReg, true, Offset)
Reid Klecknere69bdb82015-07-07 23:45:58 +00001369 .addReg(FramePtr)
1370 .setMIFlag(MachineInstr::FrameSetup);
1371 }
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001372 }
1373
1374 if (((!HasFP && NumBytes) || PushedRegs) && NeedsDwarfCFI) {
1375 // Mark end of stack pointer adjustment.
1376 if (!HasFP && NumBytes) {
1377 // Define the current CFA rule to use the provided offset.
1378 assert(StackSize);
Reid Kleckner3854f7b2015-06-18 18:03:25 +00001379 BuildCFI(MBB, MBBI, DL, MCCFIInstruction::createDefCfaOffset(
1380 nullptr, -StackSize + stackGrowth));
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001381 }
1382
1383 // Emit DWARF info specifying the offsets of the callee-saved registers.
1384 if (PushedRegs)
1385 emitCalleeSavedFrameMoves(MBB, MBBI, DL);
1386 }
Amjad Aboud78b1fb02016-05-13 12:46:57 +00001387
1388 // X86 Interrupt handling function cannot assume anything about the direction
1389 // flag (DF in EFLAGS register). Clear this flag by creating "cld" instruction
1390 // in each prologue of interrupt handler function.
1391 //
1392 // FIXME: Create "cld" instruction only in these cases:
1393 // 1. The interrupt handling function uses any of the "rep" instructions.
1394 // 2. Interrupt handling function calls another function.
1395 //
1396 if (Fn->getCallingConv() == CallingConv::X86_INTR)
1397 BuildMI(MBB, MBBI, DL, TII.get(X86::CLD))
1398 .setMIFlag(MachineInstr::FrameSetup);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001399}
1400
Quentin Colombetaa8020752015-05-27 06:28:41 +00001401bool X86FrameLowering::canUseLEAForSPInEpilogue(
1402 const MachineFunction &MF) const {
David Majnemer2c3ea552016-09-09 01:07:01 +00001403 // We can't use LEA instructions for adjusting the stack pointer if we don't
1404 // have a frame pointer in the Win64 ABI. Only ADD instructions may be used
1405 // to deallocate the stack.
Quentin Colombet494eb602015-05-22 18:10:47 +00001406 // This means that we can use LEA for SP in two situations:
1407 // 1. We *aren't* using the Win64 ABI which means we are free to use LEA.
1408 // 2. We *have* a frame pointer which means we are permitted to use LEA.
Quentin Colombetaa8020752015-05-27 06:28:41 +00001409 return !MF.getTarget().getMCAsmInfo()->usesWindowsCFI() || hasFP(MF);
1410}
1411
Duncan P. N. Exon Smith7b4c18e2016-07-12 03:18:50 +00001412static bool isFuncletReturnInstr(MachineInstr &MI) {
1413 switch (MI.getOpcode()) {
Reid Klecknerdf129512015-09-08 22:44:41 +00001414 case X86::CATCHRET:
Reid Kleckner78783912015-09-10 00:25:23 +00001415 case X86::CLEANUPRET:
Reid Klecknerdf129512015-09-08 22:44:41 +00001416 return true;
1417 default:
1418 return false;
1419 }
1420 llvm_unreachable("impossible");
1421}
1422
Joseph Tremoulet149c4332015-11-13 00:39:23 +00001423// CLR funclets use a special "Previous Stack Pointer Symbol" slot on the
1424// stack. It holds a pointer to the bottom of the root function frame. The
1425// establisher frame pointer passed to a nested funclet may point to the
1426// (mostly empty) frame of its parent funclet, but it will need to find
1427// the frame of the root function to access locals. To facilitate this,
1428// every funclet copies the pointer to the bottom of the root function
1429// frame into a PSPSym slot in its own (mostly empty) stack frame. Using the
1430// same offset for the PSPSym in the root function frame that's used in the
1431// funclets' frames allows each funclet to dynamically accept any ancestor
1432// frame as its establisher argument (the runtime doesn't guarantee the
1433// immediate parent for some reason lost to history), and also allows the GC,
1434// which uses the PSPSym for some bookkeeping, to find it in any funclet's
1435// frame with only a single offset reported for the entire method.
1436unsigned
1437X86FrameLowering::getPSPSlotOffsetFromSP(const MachineFunction &MF) const {
Reid Klecknerc20276d2015-11-17 21:10:25 +00001438 const WinEHFuncInfo &Info = *MF.getWinEHFuncInfo();
Joseph Tremoulet149c4332015-11-13 00:39:23 +00001439 unsigned SPReg;
Sanjoy Das0ebc9612016-06-16 18:54:06 +00001440 int Offset = getFrameIndexReferencePreferSP(MF, Info.PSPSymFrameIdx, SPReg,
1441 /*IgnoreSPUpdates*/ true);
1442 assert(Offset >= 0 && SPReg == TRI->getStackRegister());
Joseph Tremoulet149c4332015-11-13 00:39:23 +00001443 return static_cast<unsigned>(Offset);
1444}
1445
1446unsigned
1447X86FrameLowering::getWinEHFuncletFrameSize(const MachineFunction &MF) const {
Reid Kleckner28e49032015-10-16 23:43:27 +00001448 // This is the size of the pushed CSRs.
1449 unsigned CSSize =
1450 MF.getInfo<X86MachineFunctionInfo>()->getCalleeSavedFrameSize();
1451 // This is the amount of stack a funclet needs to allocate.
Joseph Tremoulet149c4332015-11-13 00:39:23 +00001452 unsigned UsedSize;
1453 EHPersonality Personality =
1454 classifyEHPersonality(MF.getFunction()->getPersonalityFn());
1455 if (Personality == EHPersonality::CoreCLR) {
1456 // CLR funclets need to hold enough space to include the PSPSym, at the
1457 // same offset from the stack pointer (immediately after the prolog) as it
1458 // resides at in the main function.
1459 UsedSize = getPSPSlotOffsetFromSP(MF) + SlotSize;
1460 } else {
1461 // Other funclets just need enough stack for outgoing call arguments.
Matthias Braun941a7052016-07-28 18:40:00 +00001462 UsedSize = MF.getFrameInfo().getMaxCallFrameSize();
Joseph Tremoulet149c4332015-11-13 00:39:23 +00001463 }
Reid Kleckner28e49032015-10-16 23:43:27 +00001464 // RBP is not included in the callee saved register block. After pushing RBP,
1465 // everything is 16 byte aligned. Everything we allocate before an outgoing
1466 // call must also be 16 byte aligned.
Rui Ueyamada00f2f2016-01-14 21:06:47 +00001467 unsigned FrameSizeMinusRBP = alignTo(CSSize + UsedSize, getStackAlignment());
Reid Kleckner28e49032015-10-16 23:43:27 +00001468 // Subtract out the size of the callee saved registers. This is how much stack
1469 // each funclet will allocate.
1470 return FrameSizeMinusRBP - CSSize;
1471}
1472
Quentin Colombetfb82c7b2016-07-11 21:03:03 +00001473static bool isTailCallOpcode(unsigned Opc) {
1474 return Opc == X86::TCRETURNri || Opc == X86::TCRETURNdi ||
1475 Opc == X86::TCRETURNmi ||
1476 Opc == X86::TCRETURNri64 || Opc == X86::TCRETURNdi64 ||
1477 Opc == X86::TCRETURNmi64;
1478}
1479
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001480void X86FrameLowering::emitEpilogue(MachineFunction &MF,
1481 MachineBasicBlock &MBB) const {
Matthias Braun941a7052016-07-28 18:40:00 +00001482 const MachineFrameInfo &MFI = MF.getFrameInfo();
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001483 X86MachineFunctionInfo *X86FI = MF.getInfo<X86MachineFunctionInfo>();
Quentin Colombetaa8020752015-05-27 06:28:41 +00001484 MachineBasicBlock::iterator MBBI = MBB.getFirstTerminator();
Duncan P. N. Exon Smith69b06502016-08-12 22:43:33 +00001485 Optional<unsigned> RetOpcode;
1486 if (MBBI != MBB.end())
1487 RetOpcode = MBBI->getOpcode();
Quentin Colombetaa8020752015-05-27 06:28:41 +00001488 DebugLoc DL;
1489 if (MBBI != MBB.end())
1490 DL = MBBI->getDebugLoc();
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001491 // standard x86_64 and NaCl use 64-bit frame/stack pointers, x32 - 32-bit.
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001492 const bool Is64BitILP32 = STI.isTarget64BitILP32();
Reid Kleckner034ea962015-06-18 20:32:02 +00001493 unsigned FramePtr = TRI->getFrameRegister(MF);
Eric Christopher05b81972015-02-02 17:38:43 +00001494 unsigned MachineFramePtr =
Craig Topper91dab7b2015-12-25 22:09:45 +00001495 Is64BitILP32 ? getX86SubSuperRegister(FramePtr, 64) : FramePtr;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001496
Reid Kleckner1c140bd2015-06-16 18:08:57 +00001497 bool IsWin64Prologue = MF.getTarget().getMCAsmInfo()->usesWindowsCFI();
1498 bool NeedsWinCFI =
1499 IsWin64Prologue && MF.getFunction()->needsUnwindTableEntry();
Duncan P. N. Exon Smith69b06502016-08-12 22:43:33 +00001500 bool IsFunclet = MBBI == MBB.end() ? false : isFuncletReturnInstr(*MBBI);
Reid Kleckner51460c12015-11-06 01:49:05 +00001501 MachineBasicBlock *TargetMBB = nullptr;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001502
1503 // Get the number of bytes to allocate from the FrameInfo.
Matthias Braun941a7052016-07-28 18:40:00 +00001504 uint64_t StackSize = MFI.getStackSize();
David Majnemer93c22a42015-02-10 00:57:42 +00001505 uint64_t MaxAlign = calculateMaxStackAlign(MF);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001506 unsigned CSSize = X86FI->getCalleeSavedFrameSize();
1507 uint64_t NumBytes = 0;
1508
Duncan P. N. Exon Smith69b06502016-08-12 22:43:33 +00001509 if (RetOpcode && *RetOpcode == X86::CATCHRET) {
Reid Kleckner51460c12015-11-06 01:49:05 +00001510 // SEH shouldn't use catchret.
1511 assert(!isAsynchronousEHPersonality(
1512 classifyEHPersonality(MF.getFunction()->getPersonalityFn())) &&
1513 "SEH should not use CATCHRET");
1514
Reid Kleckner28e49032015-10-16 23:43:27 +00001515 NumBytes = getWinEHFuncletFrameSize(MF);
Reid Kleckner5b8a46e2015-09-17 20:43:47 +00001516 assert(hasFP(MF) && "EH funclets without FP not yet implemented");
Reid Kleckner51460c12015-11-06 01:49:05 +00001517 TargetMBB = MBBI->getOperand(0).getMBB();
David Majnemer91b0ab92015-09-29 22:33:36 +00001518
Reid Klecknerda6dcc52015-09-10 22:00:02 +00001519 // Pop EBP.
1520 BuildMI(MBB, MBBI, DL, TII.get(Is64Bit ? X86::POP64r : X86::POP32r),
Reid Kleckner5b8a46e2015-09-17 20:43:47 +00001521 MachineFramePtr)
1522 .setMIFlag(MachineInstr::FrameDestroy);
Duncan P. N. Exon Smith69b06502016-08-12 22:43:33 +00001523 } else if (RetOpcode && *RetOpcode == X86::CLEANUPRET) {
Reid Kleckner28e49032015-10-16 23:43:27 +00001524 NumBytes = getWinEHFuncletFrameSize(MF);
Reid Kleckner5b8a46e2015-09-17 20:43:47 +00001525 assert(hasFP(MF) && "EH funclets without FP not yet implemented");
1526 BuildMI(MBB, MBBI, DL, TII.get(Is64Bit ? X86::POP64r : X86::POP32r),
1527 MachineFramePtr)
1528 .setMIFlag(MachineInstr::FrameDestroy);
Reid Klecknerdf129512015-09-08 22:44:41 +00001529 } else if (hasFP(MF)) {
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001530 // Calculate required stack adjustment.
1531 uint64_t FrameSize = StackSize - SlotSize;
David Majnemer89d05642015-02-21 01:04:47 +00001532 NumBytes = FrameSize - CSSize;
1533
1534 // Callee-saved registers were pushed on stack before the stack was
1535 // realigned.
Reid Kleckner034ea962015-06-18 20:32:02 +00001536 if (TRI->needsStackRealignment(MF) && !IsWin64Prologue)
Rui Ueyamada00f2f2016-01-14 21:06:47 +00001537 NumBytes = alignTo(FrameSize, MaxAlign);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001538
1539 // Pop EBP.
1540 BuildMI(MBB, MBBI, DL,
Michael Kuperstein098cd9f2015-09-16 11:18:25 +00001541 TII.get(Is64Bit ? X86::POP64r : X86::POP32r), MachineFramePtr)
1542 .setMIFlag(MachineInstr::FrameDestroy);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001543 } else {
1544 NumBytes = StackSize - CSSize;
1545 }
David Majnemer93c22a42015-02-10 00:57:42 +00001546 uint64_t SEHStackAllocAmt = NumBytes;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001547
1548 // Skip the callee-saved pop instructions.
1549 while (MBBI != MBB.begin()) {
1550 MachineBasicBlock::iterator PI = std::prev(MBBI);
1551 unsigned Opc = PI->getOpcode();
1552
Michael Kuperstein098cd9f2015-09-16 11:18:25 +00001553 if ((Opc != X86::POP32r || !PI->getFlag(MachineInstr::FrameDestroy)) &&
1554 (Opc != X86::POP64r || !PI->getFlag(MachineInstr::FrameDestroy)) &&
1555 Opc != X86::DBG_VALUE && !PI->isTerminator())
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001556 break;
1557
1558 --MBBI;
1559 }
1560 MachineBasicBlock::iterator FirstCSPop = MBBI;
1561
Reid Kleckner51460c12015-11-06 01:49:05 +00001562 if (TargetMBB) {
David Majnemer35d27b22015-10-09 22:18:45 +00001563 // Fill EAX/RAX with the address of the target block.
1564 unsigned ReturnReg = STI.is64Bit() ? X86::RAX : X86::EAX;
1565 if (STI.is64Bit()) {
Reid Kleckner51460c12015-11-06 01:49:05 +00001566 // LEA64r TargetMBB(%rip), %rax
David Majnemer35d27b22015-10-09 22:18:45 +00001567 BuildMI(MBB, FirstCSPop, DL, TII.get(X86::LEA64r), ReturnReg)
1568 .addReg(X86::RIP)
1569 .addImm(0)
1570 .addReg(0)
Reid Kleckner51460c12015-11-06 01:49:05 +00001571 .addMBB(TargetMBB)
David Majnemer35d27b22015-10-09 22:18:45 +00001572 .addReg(0);
1573 } else {
Reid Kleckner51460c12015-11-06 01:49:05 +00001574 // MOV32ri $TargetMBB, %eax
Reid Kleckner64b003f2015-11-09 21:04:00 +00001575 BuildMI(MBB, FirstCSPop, DL, TII.get(X86::MOV32ri), ReturnReg)
Reid Kleckner51460c12015-11-06 01:49:05 +00001576 .addMBB(TargetMBB);
David Majnemer35d27b22015-10-09 22:18:45 +00001577 }
Reid Kleckner51460c12015-11-06 01:49:05 +00001578 // Record that we've taken the address of TargetMBB and no longer just
Joseph Tremoulet3d0fbf12015-10-23 15:06:05 +00001579 // reference it in a terminator.
Reid Kleckner51460c12015-11-06 01:49:05 +00001580 TargetMBB->setHasAddressTaken();
David Majnemer35d27b22015-10-09 22:18:45 +00001581 }
1582
Quentin Colombetaa8020752015-05-27 06:28:41 +00001583 if (MBBI != MBB.end())
1584 DL = MBBI->getDebugLoc();
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001585
1586 // If there is an ADD32ri or SUB32ri of ESP immediately before this
1587 // instruction, merge the two instructions.
Matthias Braun941a7052016-07-28 18:40:00 +00001588 if (NumBytes || MFI.hasVarSizedObjects())
Michael Kupersteincba308c2015-07-28 08:56:13 +00001589 NumBytes += mergeSPUpdates(MBB, MBBI, true);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001590
1591 // If dynamic alloca is used, then reset esp to point to the last callee-saved
1592 // slot before popping them off! Same applies for the case, when stack was
Reid Kleckner97797412015-10-07 23:55:01 +00001593 // realigned. Don't do this if this was a funclet epilogue, since the funclets
1594 // will not do realignment or dynamic stack allocation.
Matthias Braun941a7052016-07-28 18:40:00 +00001595 if ((TRI->needsStackRealignment(MF) || MFI.hasVarSizedObjects()) &&
Reid Kleckner97797412015-10-07 23:55:01 +00001596 !IsFunclet) {
Reid Kleckner034ea962015-06-18 20:32:02 +00001597 if (TRI->needsStackRealignment(MF))
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001598 MBBI = FirstCSPop;
David Majnemere1bbad92015-02-25 21:13:37 +00001599 unsigned SEHFrameOffset = calculateSetFPREG(SEHStackAllocAmt);
Reid Kleckner1c140bd2015-06-16 18:08:57 +00001600 uint64_t LEAAmount =
1601 IsWin64Prologue ? SEHStackAllocAmt - SEHFrameOffset : -CSSize;
David Majnemere1bbad92015-02-25 21:13:37 +00001602
1603 // There are only two legal forms of epilogue:
1604 // - add SEHAllocationSize, %rsp
1605 // - lea SEHAllocationSize(%FramePtr), %rsp
1606 //
1607 // 'mov %FramePtr, %rsp' will not be recognized as an epilogue sequence.
1608 // However, we may use this sequence if we have a frame pointer because the
1609 // effects of the prologue can safely be undone.
1610 if (LEAAmount != 0) {
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001611 unsigned Opc = getLEArOpcode(Uses64BitFramePtr);
1612 addRegOffset(BuildMI(MBB, MBBI, DL, TII.get(Opc), StackPtr),
David Majnemere1bbad92015-02-25 21:13:37 +00001613 FramePtr, false, LEAAmount);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001614 --MBBI;
1615 } else {
1616 unsigned Opc = (Uses64BitFramePtr ? X86::MOV64rr : X86::MOV32rr);
1617 BuildMI(MBB, MBBI, DL, TII.get(Opc), StackPtr)
1618 .addReg(FramePtr);
1619 --MBBI;
1620 }
1621 } else if (NumBytes) {
1622 // Adjust stack pointer back: ESP += numbytes.
Reid Kleckner98d78032015-06-18 20:22:12 +00001623 emitSPUpdate(MBB, MBBI, NumBytes, /*InEpilogue=*/true);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001624 --MBBI;
1625 }
1626
1627 // Windows unwinder will not invoke function's exception handler if IP is
1628 // either in prologue or in epilogue. This behavior causes a problem when a
1629 // call immediately precedes an epilogue, because the return address points
1630 // into the epilogue. To cope with that, we insert an epilogue marker here,
1631 // then replace it with a 'nop' if it ends up immediately after a CALL in the
1632 // final emitted code.
Reid Kleckner1c140bd2015-06-16 18:08:57 +00001633 if (NeedsWinCFI)
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001634 BuildMI(MBB, MBBI, DL, TII.get(X86::SEH_Epilogue));
1635
Duncan P. N. Exon Smith69b06502016-08-12 22:43:33 +00001636 if (!RetOpcode || !isTailCallOpcode(*RetOpcode)) {
Quentin Colombetfb82c7b2016-07-11 21:03:03 +00001637 // Add the return addr area delta back since we are not tail calling.
1638 int Offset = -1 * X86FI->getTCReturnAddrDelta();
1639 assert(Offset >= 0 && "TCDelta should never be positive");
1640 if (Offset) {
1641 MBBI = MBB.getFirstTerminator();
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001642
Quentin Colombetfb82c7b2016-07-11 21:03:03 +00001643 // Check for possible merge with preceding ADD instruction.
1644 Offset += mergeSPUpdates(MBB, MBBI, true);
1645 emitSPUpdate(MBB, MBBI, Offset, /*InEpilogue=*/true);
1646 }
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001647 }
1648}
1649
James Y Knight5567baf2015-08-15 02:32:35 +00001650// NOTE: this only has a subset of the full frame index logic. In
1651// particular, the FI < 0 and AfterFPPop logic is handled in
1652// X86RegisterInfo::eliminateFrameIndex, but not here. Possibly
1653// (probably?) it should be moved into here.
1654int X86FrameLowering::getFrameIndexReference(const MachineFunction &MF, int FI,
1655 unsigned &FrameReg) const {
Matthias Braun941a7052016-07-28 18:40:00 +00001656 const MachineFrameInfo &MFI = MF.getFrameInfo();
James Y Knight5567baf2015-08-15 02:32:35 +00001657
1658 // We can't calculate offset from frame pointer if the stack is realigned,
1659 // so enforce usage of stack/base pointer. The base pointer is used when we
1660 // have dynamic allocas in addition to dynamic realignment.
1661 if (TRI->hasBasePointer(MF))
1662 FrameReg = TRI->getBaseRegister();
1663 else if (TRI->needsStackRealignment(MF))
1664 FrameReg = TRI->getStackRegister();
1665 else
1666 FrameReg = TRI->getFrameRegister(MF);
1667
David Majnemer93c22a42015-02-10 00:57:42 +00001668 // Offset will hold the offset from the stack pointer at function entry to the
1669 // object.
1670 // We need to factor in additional offsets applied during the prologue to the
1671 // frame, base, and stack pointer depending on which is used.
Matthias Braun941a7052016-07-28 18:40:00 +00001672 int Offset = MFI.getObjectOffset(FI) - getOffsetOfLocalArea();
David Majnemer93c22a42015-02-10 00:57:42 +00001673 const X86MachineFunctionInfo *X86FI = MF.getInfo<X86MachineFunctionInfo>();
1674 unsigned CSSize = X86FI->getCalleeSavedFrameSize();
Matthias Braun941a7052016-07-28 18:40:00 +00001675 uint64_t StackSize = MFI.getStackSize();
David Majnemer93c22a42015-02-10 00:57:42 +00001676 bool HasFP = hasFP(MF);
Reid Kleckner1c140bd2015-06-16 18:08:57 +00001677 bool IsWin64Prologue = MF.getTarget().getMCAsmInfo()->usesWindowsCFI();
David Majnemer93c22a42015-02-10 00:57:42 +00001678 int64_t FPDelta = 0;
1679
Reid Kleckner1c140bd2015-06-16 18:08:57 +00001680 if (IsWin64Prologue) {
Matthias Braun941a7052016-07-28 18:40:00 +00001681 assert(!MFI.hasCalls() || (StackSize % 16) == 8);
David Majnemer89d05642015-02-21 01:04:47 +00001682
David Majnemer93c22a42015-02-10 00:57:42 +00001683 // Calculate required stack adjustment.
1684 uint64_t FrameSize = StackSize - SlotSize;
1685 // If required, include space for extra hidden slot for stashing base pointer.
1686 if (X86FI->getRestoreBasePointer())
1687 FrameSize += SlotSize;
David Majnemer89d05642015-02-21 01:04:47 +00001688 uint64_t NumBytes = FrameSize - CSSize;
David Majnemer93c22a42015-02-10 00:57:42 +00001689
David Majnemer93c22a42015-02-10 00:57:42 +00001690 uint64_t SEHFrameOffset = calculateSetFPREG(NumBytes);
David Majnemer13d0b112015-02-10 21:22:05 +00001691 if (FI && FI == X86FI->getFAIndex())
1692 return -SEHFrameOffset;
1693
David Majnemer93c22a42015-02-10 00:57:42 +00001694 // FPDelta is the offset from the "traditional" FP location of the old base
1695 // pointer followed by return address and the location required by the
1696 // restricted Win64 prologue.
1697 // Add FPDelta to all offsets below that go through the frame pointer.
David Majnemer89d05642015-02-21 01:04:47 +00001698 FPDelta = FrameSize - SEHFrameOffset;
Matthias Braun941a7052016-07-28 18:40:00 +00001699 assert((!MFI.hasCalls() || (FPDelta % 16) == 0) &&
David Majnemer89d05642015-02-21 01:04:47 +00001700 "FPDelta isn't aligned per the Win64 ABI!");
David Majnemer93c22a42015-02-10 00:57:42 +00001701 }
1702
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001703
Reid Kleckner034ea962015-06-18 20:32:02 +00001704 if (TRI->hasBasePointer(MF)) {
David Majnemer93c22a42015-02-10 00:57:42 +00001705 assert(HasFP && "VLAs and dynamic stack realign, but no FP?!");
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001706 if (FI < 0) {
1707 // Skip the saved EBP.
David Majnemer93c22a42015-02-10 00:57:42 +00001708 return Offset + SlotSize + FPDelta;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001709 } else {
Matthias Braun941a7052016-07-28 18:40:00 +00001710 assert((-(Offset + StackSize)) % MFI.getObjectAlignment(FI) == 0);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001711 return Offset + StackSize;
1712 }
Reid Kleckner034ea962015-06-18 20:32:02 +00001713 } else if (TRI->needsStackRealignment(MF)) {
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001714 if (FI < 0) {
1715 // Skip the saved EBP.
David Majnemer93c22a42015-02-10 00:57:42 +00001716 return Offset + SlotSize + FPDelta;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001717 } else {
Matthias Braun941a7052016-07-28 18:40:00 +00001718 assert((-(Offset + StackSize)) % MFI.getObjectAlignment(FI) == 0);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001719 return Offset + StackSize;
1720 }
1721 // FIXME: Support tail calls
1722 } else {
David Majnemer93c22a42015-02-10 00:57:42 +00001723 if (!HasFP)
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001724 return Offset + StackSize;
1725
1726 // Skip the saved EBP.
David Majnemer93c22a42015-02-10 00:57:42 +00001727 Offset += SlotSize;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001728
1729 // Skip the RETADDR move area
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001730 int TailCallReturnAddrDelta = X86FI->getTCReturnAddrDelta();
1731 if (TailCallReturnAddrDelta < 0)
1732 Offset -= TailCallReturnAddrDelta;
1733 }
1734
David Majnemer89d05642015-02-21 01:04:47 +00001735 return Offset + FPDelta;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001736}
1737
Sanjoy Das0ebc9612016-06-16 18:54:06 +00001738int
1739X86FrameLowering::getFrameIndexReferencePreferSP(const MachineFunction &MF,
1740 int FI, unsigned &FrameReg,
1741 bool IgnoreSPUpdates) const {
1742
Matthias Braun941a7052016-07-28 18:40:00 +00001743 const MachineFrameInfo &MFI = MF.getFrameInfo();
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001744 // Does not include any dynamic realign.
Matthias Braun941a7052016-07-28 18:40:00 +00001745 const uint64_t StackSize = MFI.getStackSize();
Sanjoy Das0272be22016-06-15 05:35:14 +00001746 // LLVM arranges the stack as follows:
1747 // ...
1748 // ARG2
1749 // ARG1
1750 // RETADDR
1751 // PUSH RBP <-- RBP points here
1752 // PUSH CSRs
1753 // ~~~~~~~ <-- possible stack realignment (non-win64)
1754 // ...
1755 // STACK OBJECTS
1756 // ... <-- RSP after prologue points here
1757 // ~~~~~~~ <-- possible stack realignment (win64)
1758 //
1759 // if (hasVarSizedObjects()):
1760 // ... <-- "base pointer" (ESI/RBX) points here
1761 // DYNAMIC ALLOCAS
1762 // ... <-- RSP points here
1763 //
1764 // Case 1: In the simple case of no stack realignment and no dynamic
1765 // allocas, both "fixed" stack objects (arguments and CSRs) are addressable
1766 // with fixed offsets from RSP.
1767 //
1768 // Case 2: In the case of stack realignment with no dynamic allocas, fixed
1769 // stack objects are addressed with RBP and regular stack objects with RSP.
1770 //
1771 // Case 3: In the case of dynamic allocas and stack realignment, RSP is used
1772 // to address stack arguments for outgoing calls and nothing else. The "base
1773 // pointer" points to local variables, and RBP points to fixed objects.
1774 //
1775 // In cases 2 and 3, we can only answer for non-fixed stack objects, and the
1776 // answer we give is relative to the SP after the prologue, and not the
1777 // SP in the middle of the function.
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001778
Matthias Braun941a7052016-07-28 18:40:00 +00001779 if (MFI.isFixedObjectIndex(FI) && TRI->needsStackRealignment(MF) &&
Sanjoy Das0272be22016-06-15 05:35:14 +00001780 !STI.isTargetWin64())
Sanjoy Das0ebc9612016-06-16 18:54:06 +00001781 return getFrameIndexReference(MF, FI, FrameReg);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001782
Sanjoy Das0272be22016-06-15 05:35:14 +00001783 // If !hasReservedCallFrame the function might have SP adjustement in the
1784 // body. So, even though the offset is statically known, it depends on where
1785 // we are in the function.
1786 const TargetFrameLowering *TFI = MF.getSubtarget().getFrameLowering();
Sanjoy Das0ebc9612016-06-16 18:54:06 +00001787 if (!IgnoreSPUpdates && !TFI->hasReservedCallFrame(MF))
1788 return getFrameIndexReference(MF, FI, FrameReg);
Sanjoy Das4f7a86c2016-06-15 07:27:04 +00001789
Sanjoy Das0272be22016-06-15 05:35:14 +00001790 // We don't handle tail calls, and shouldn't be seeing them either.
Sanjoy Das4f7a86c2016-06-15 07:27:04 +00001791 assert(MF.getInfo<X86MachineFunctionInfo>()->getTCReturnAddrDelta() >= 0 &&
1792 "we don't handle this case!");
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001793
James Y Knight5567baf2015-08-15 02:32:35 +00001794 // Fill in FrameReg output argument.
1795 FrameReg = TRI->getStackRegister();
1796
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001797 // This is how the math works out:
1798 //
1799 // %rsp grows (i.e. gets lower) left to right. Each box below is
1800 // one word (eight bytes). Obj0 is the stack slot we're trying to
1801 // get to.
1802 //
1803 // ----------------------------------
1804 // | BP | Obj0 | Obj1 | ... | ObjN |
1805 // ----------------------------------
1806 // ^ ^ ^ ^
1807 // A B C E
1808 //
1809 // A is the incoming stack pointer.
1810 // (B - A) is the local area offset (-8 for x86-64) [1]
Matthias Braun941a7052016-07-28 18:40:00 +00001811 // (C - A) is the Offset returned by MFI.getObjectOffset for Obj0 [2]
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001812 //
1813 // |(E - B)| is the StackSize (absolute value, positive). For a
1814 // stack that grown down, this works out to be (B - E). [3]
1815 //
1816 // E is also the value of %rsp after stack has been set up, and we
1817 // want (C - E) -- the value we can add to %rsp to get to Obj0. Now
1818 // (C - E) == (C - A) - (B - A) + (B - E)
1819 // { Using [1], [2] and [3] above }
1820 // == getObjectOffset - LocalAreaOffset + StackSize
1821 //
1822
1823 // Get the Offset from the StackPointer
Matthias Braun941a7052016-07-28 18:40:00 +00001824 int Offset = MFI.getObjectOffset(FI) - getOffsetOfLocalArea();
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001825
1826 return Offset + StackSize;
1827}
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001828
1829bool X86FrameLowering::assignCalleeSavedSpillSlots(
1830 MachineFunction &MF, const TargetRegisterInfo *TRI,
1831 std::vector<CalleeSavedInfo> &CSI) const {
Matthias Braun941a7052016-07-28 18:40:00 +00001832 MachineFrameInfo &MFI = MF.getFrameInfo();
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001833 X86MachineFunctionInfo *X86FI = MF.getInfo<X86MachineFunctionInfo>();
1834
1835 unsigned CalleeSavedFrameSize = 0;
1836 int SpillSlotOffset = getOffsetOfLocalArea() + X86FI->getTCReturnAddrDelta();
1837
1838 if (hasFP(MF)) {
1839 // emitPrologue always spills frame register the first thing.
1840 SpillSlotOffset -= SlotSize;
Matthias Braun941a7052016-07-28 18:40:00 +00001841 MFI.CreateFixedSpillStackObject(SlotSize, SpillSlotOffset);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001842
1843 // Since emitPrologue and emitEpilogue will handle spilling and restoring of
1844 // the frame register, we can delete it from CSI list and not have to worry
1845 // about avoiding it later.
Reid Kleckner034ea962015-06-18 20:32:02 +00001846 unsigned FPReg = TRI->getFrameRegister(MF);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001847 for (unsigned i = 0; i < CSI.size(); ++i) {
1848 if (TRI->regsOverlap(CSI[i].getReg(),FPReg)) {
1849 CSI.erase(CSI.begin() + i);
1850 break;
1851 }
1852 }
1853 }
1854
1855 // Assign slots for GPRs. It increases frame size.
1856 for (unsigned i = CSI.size(); i != 0; --i) {
1857 unsigned Reg = CSI[i - 1].getReg();
1858
1859 if (!X86::GR64RegClass.contains(Reg) && !X86::GR32RegClass.contains(Reg))
1860 continue;
1861
1862 SpillSlotOffset -= SlotSize;
1863 CalleeSavedFrameSize += SlotSize;
1864
Matthias Braun941a7052016-07-28 18:40:00 +00001865 int SlotIndex = MFI.CreateFixedSpillStackObject(SlotSize, SpillSlotOffset);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001866 CSI[i - 1].setFrameIdx(SlotIndex);
1867 }
1868
1869 X86FI->setCalleeSavedFrameSize(CalleeSavedFrameSize);
1870
1871 // Assign slots for XMMs.
1872 for (unsigned i = CSI.size(); i != 0; --i) {
1873 unsigned Reg = CSI[i - 1].getReg();
1874 if (X86::GR64RegClass.contains(Reg) || X86::GR32RegClass.contains(Reg))
1875 continue;
1876
Reid Kleckner034ea962015-06-18 20:32:02 +00001877 const TargetRegisterClass *RC = TRI->getMinimalPhysRegClass(Reg);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001878 // ensure alignment
1879 SpillSlotOffset -= std::abs(SpillSlotOffset) % RC->getAlignment();
1880 // spill into slot
1881 SpillSlotOffset -= RC->getSize();
1882 int SlotIndex =
Matthias Braun941a7052016-07-28 18:40:00 +00001883 MFI.CreateFixedSpillStackObject(RC->getSize(), SpillSlotOffset);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001884 CSI[i - 1].setFrameIdx(SlotIndex);
Matthias Braun941a7052016-07-28 18:40:00 +00001885 MFI.ensureMaxAlignment(RC->getAlignment());
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001886 }
1887
1888 return true;
1889}
1890
1891bool X86FrameLowering::spillCalleeSavedRegisters(
1892 MachineBasicBlock &MBB, MachineBasicBlock::iterator MI,
1893 const std::vector<CalleeSavedInfo> &CSI,
1894 const TargetRegisterInfo *TRI) const {
1895 DebugLoc DL = MBB.findDebugLoc(MI);
1896
Reid Klecknerdf129512015-09-08 22:44:41 +00001897 // Don't save CSRs in 32-bit EH funclets. The caller saves EBX, EBP, ESI, EDI
1898 // for us, and there are no XMM CSRs on Win32.
1899 if (MBB.isEHFuncletEntry() && STI.is32Bit() && STI.isOSWindows())
1900 return true;
1901
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001902 // Push GPRs. It increases frame size.
Matthias Braun588d1cd2016-04-13 21:43:21 +00001903 const MachineFunction &MF = *MBB.getParent();
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001904 unsigned Opc = STI.is64Bit() ? X86::PUSH64r : X86::PUSH32r;
1905 for (unsigned i = CSI.size(); i != 0; --i) {
1906 unsigned Reg = CSI[i - 1].getReg();
1907
1908 if (!X86::GR64RegClass.contains(Reg) && !X86::GR32RegClass.contains(Reg))
1909 continue;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001910
Matthias Braun0b9a0782016-06-28 20:31:56 +00001911 const MachineRegisterInfo &MRI = MF.getRegInfo();
1912 bool isLiveIn = MRI.isLiveIn(Reg);
Matthias Braun588d1cd2016-04-13 21:43:21 +00001913 if (!isLiveIn)
1914 MBB.addLiveIn(Reg);
1915
Matthias Braun0b9a0782016-06-28 20:31:56 +00001916 // Decide whether we can add a kill flag to the use.
1917 bool CanKill = !isLiveIn;
1918 // Check if any subregister is live-in
1919 if (CanKill) {
1920 for (MCRegAliasIterator AReg(Reg, TRI, false); AReg.isValid(); ++AReg) {
1921 if (MRI.isLiveIn(*AReg)) {
1922 CanKill = false;
1923 break;
1924 }
1925 }
1926 }
1927
Matthias Braun588d1cd2016-04-13 21:43:21 +00001928 // Do not set a kill flag on values that are also marked as live-in. This
1929 // happens with the @llvm-returnaddress intrinsic and with arguments
1930 // passed in callee saved registers.
1931 // Omitting the kill flags is conservatively correct even if the live-in
1932 // is not used after all.
Matthias Braun0b9a0782016-06-28 20:31:56 +00001933 BuildMI(MBB, MI, DL, TII.get(Opc)).addReg(Reg, getKillRegState(CanKill))
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001934 .setMIFlag(MachineInstr::FrameSetup);
1935 }
1936
1937 // Make XMM regs spilled. X86 does not have ability of push/pop XMM.
1938 // It can be done by spilling XMMs to stack frame.
1939 for (unsigned i = CSI.size(); i != 0; --i) {
1940 unsigned Reg = CSI[i-1].getReg();
David Majnemera7d908e2015-02-10 19:01:47 +00001941 if (X86::GR64RegClass.contains(Reg) || X86::GR32RegClass.contains(Reg))
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001942 continue;
1943 // Add the callee-saved register as live-in. It's killed at the spill.
1944 MBB.addLiveIn(Reg);
1945 const TargetRegisterClass *RC = TRI->getMinimalPhysRegClass(Reg);
1946
1947 TII.storeRegToStackSlot(MBB, MI, Reg, true, CSI[i - 1].getFrameIdx(), RC,
1948 TRI);
1949 --MI;
1950 MI->setFlag(MachineInstr::FrameSetup);
1951 ++MI;
1952 }
1953
1954 return true;
1955}
1956
1957bool X86FrameLowering::restoreCalleeSavedRegisters(MachineBasicBlock &MBB,
1958 MachineBasicBlock::iterator MI,
1959 const std::vector<CalleeSavedInfo> &CSI,
1960 const TargetRegisterInfo *TRI) const {
1961 if (CSI.empty())
1962 return false;
1963
Hans Wennborg2d87ccf2016-08-12 23:35:59 +00001964 if (MI != MBB.end() && isFuncletReturnInstr(*MI) && STI.isOSWindows()) {
Reid Klecknerfc64fae2015-10-01 21:38:24 +00001965 // Don't restore CSRs in 32-bit EH funclets. Matches
1966 // spillCalleeSavedRegisters.
1967 if (STI.is32Bit())
1968 return true;
1969 // Don't restore CSRs before an SEH catchret. SEH except blocks do not form
1970 // funclets. emitEpilogue transforms these to normal jumps.
1971 if (MI->getOpcode() == X86::CATCHRET) {
1972 const Function *Func = MBB.getParent()->getFunction();
1973 bool IsSEH = isAsynchronousEHPersonality(
1974 classifyEHPersonality(Func->getPersonalityFn()));
1975 if (IsSEH)
1976 return true;
1977 }
1978 }
Reid Klecknerdf129512015-09-08 22:44:41 +00001979
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001980 DebugLoc DL = MBB.findDebugLoc(MI);
1981
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00001982 // Reload XMMs from stack frame.
1983 for (unsigned i = 0, e = CSI.size(); i != e; ++i) {
1984 unsigned Reg = CSI[i].getReg();
1985 if (X86::GR64RegClass.contains(Reg) ||
1986 X86::GR32RegClass.contains(Reg))
1987 continue;
1988
1989 const TargetRegisterClass *RC = TRI->getMinimalPhysRegClass(Reg);
1990 TII.loadRegFromStackSlot(MBB, MI, Reg, CSI[i].getFrameIdx(), RC, TRI);
1991 }
1992
1993 // POP GPRs.
1994 unsigned Opc = STI.is64Bit() ? X86::POP64r : X86::POP32r;
1995 for (unsigned i = 0, e = CSI.size(); i != e; ++i) {
1996 unsigned Reg = CSI[i].getReg();
1997 if (!X86::GR64RegClass.contains(Reg) &&
1998 !X86::GR32RegClass.contains(Reg))
1999 continue;
2000
Michael Kuperstein098cd9f2015-09-16 11:18:25 +00002001 BuildMI(MBB, MI, DL, TII.get(Opc), Reg)
2002 .setMIFlag(MachineInstr::FrameDestroy);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002003 }
2004 return true;
2005}
2006
Matthias Braun02564862015-07-14 17:17:13 +00002007void X86FrameLowering::determineCalleeSaves(MachineFunction &MF,
2008 BitVector &SavedRegs,
2009 RegScavenger *RS) const {
2010 TargetFrameLowering::determineCalleeSaves(MF, SavedRegs, RS);
2011
Matthias Braun941a7052016-07-28 18:40:00 +00002012 MachineFrameInfo &MFI = MF.getFrameInfo();
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002013
2014 X86MachineFunctionInfo *X86FI = MF.getInfo<X86MachineFunctionInfo>();
2015 int64_t TailCallReturnAddrDelta = X86FI->getTCReturnAddrDelta();
2016
2017 if (TailCallReturnAddrDelta < 0) {
2018 // create RETURNADDR area
2019 // arg
2020 // arg
2021 // RETADDR
2022 // { ...
2023 // RETADDR area
2024 // ...
2025 // }
2026 // [EBP]
Matthias Braun941a7052016-07-28 18:40:00 +00002027 MFI.CreateFixedObject(-TailCallReturnAddrDelta,
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002028 TailCallReturnAddrDelta - SlotSize, true);
2029 }
2030
2031 // Spill the BasePtr if it's used.
Reid Klecknerdf129512015-09-08 22:44:41 +00002032 if (TRI->hasBasePointer(MF)) {
Matthias Braun02564862015-07-14 17:17:13 +00002033 SavedRegs.set(TRI->getBaseRegister());
Reid Klecknerdf129512015-09-08 22:44:41 +00002034
2035 // Allocate a spill slot for EBP if we have a base pointer and EH funclets.
2036 if (MF.getMMI().hasEHFunclets()) {
Matthias Braun941a7052016-07-28 18:40:00 +00002037 int FI = MFI.CreateSpillStackObject(SlotSize, SlotSize);
Reid Klecknerdf129512015-09-08 22:44:41 +00002038 X86FI->setHasSEHFramePtrSave(true);
2039 X86FI->setSEHFramePtrSaveIndex(FI);
2040 }
2041 }
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002042}
2043
2044static bool
2045HasNestArgument(const MachineFunction *MF) {
2046 const Function *F = MF->getFunction();
2047 for (Function::const_arg_iterator I = F->arg_begin(), E = F->arg_end();
2048 I != E; I++) {
2049 if (I->hasNestAttr())
2050 return true;
2051 }
2052 return false;
2053}
2054
2055/// GetScratchRegister - Get a temp register for performing work in the
2056/// segmented stack and the Erlang/HiPE stack prologue. Depending on platform
2057/// and the properties of the function either one or two registers will be
2058/// needed. Set primary to true for the first register, false for the second.
2059static unsigned
2060GetScratchRegister(bool Is64Bit, bool IsLP64, const MachineFunction &MF, bool Primary) {
2061 CallingConv::ID CallingConvention = MF.getFunction()->getCallingConv();
2062
2063 // Erlang stuff.
2064 if (CallingConvention == CallingConv::HiPE) {
2065 if (Is64Bit)
2066 return Primary ? X86::R14 : X86::R13;
2067 else
2068 return Primary ? X86::EBX : X86::EDI;
2069 }
2070
2071 if (Is64Bit) {
2072 if (IsLP64)
2073 return Primary ? X86::R11 : X86::R12;
2074 else
2075 return Primary ? X86::R11D : X86::R12D;
2076 }
2077
2078 bool IsNested = HasNestArgument(&MF);
2079
2080 if (CallingConvention == CallingConv::X86_FastCall ||
2081 CallingConvention == CallingConv::Fast) {
2082 if (IsNested)
2083 report_fatal_error("Segmented stacks does not support fastcall with "
2084 "nested function.");
2085 return Primary ? X86::EAX : X86::ECX;
2086 }
2087 if (IsNested)
2088 return Primary ? X86::EDX : X86::EAX;
2089 return Primary ? X86::ECX : X86::EAX;
2090}
2091
2092// The stack limit in the TCB is set to this many bytes above the actual stack
2093// limit.
2094static const uint64_t kSplitStackAvailable = 256;
2095
Quentin Colombet61b305e2015-05-05 17:38:16 +00002096void X86FrameLowering::adjustForSegmentedStacks(
2097 MachineFunction &MF, MachineBasicBlock &PrologueMBB) const {
Matthias Braun941a7052016-07-28 18:40:00 +00002098 MachineFrameInfo &MFI = MF.getFrameInfo();
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002099 uint64_t StackSize;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002100 unsigned TlsReg, TlsOffset;
2101 DebugLoc DL;
2102
Quentin Colombet4cf56912016-01-19 23:29:03 +00002103 // To support shrink-wrapping we would need to insert the new blocks
2104 // at the right place and update the branches to PrologueMBB.
2105 assert(&(*MF.begin()) == &PrologueMBB && "Shrink-wrapping not supported yet");
2106
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002107 unsigned ScratchReg = GetScratchRegister(Is64Bit, IsLP64, MF, true);
2108 assert(!MF.getRegInfo().isLiveIn(ScratchReg) &&
2109 "Scratch register is live-in");
2110
2111 if (MF.getFunction()->isVarArg())
2112 report_fatal_error("Segmented stacks do not support vararg functions.");
2113 if (!STI.isTargetLinux() && !STI.isTargetDarwin() && !STI.isTargetWin32() &&
2114 !STI.isTargetWin64() && !STI.isTargetFreeBSD() &&
2115 !STI.isTargetDragonFly())
2116 report_fatal_error("Segmented stacks not supported on this platform.");
2117
2118 // Eventually StackSize will be calculated by a link-time pass; which will
2119 // also decide whether checking code needs to be injected into this particular
2120 // prologue.
Matthias Braun941a7052016-07-28 18:40:00 +00002121 StackSize = MFI.getStackSize();
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002122
2123 // Do not generate a prologue for functions with a stack of size zero
2124 if (StackSize == 0)
2125 return;
2126
2127 MachineBasicBlock *allocMBB = MF.CreateMachineBasicBlock();
2128 MachineBasicBlock *checkMBB = MF.CreateMachineBasicBlock();
2129 X86MachineFunctionInfo *X86FI = MF.getInfo<X86MachineFunctionInfo>();
2130 bool IsNested = false;
2131
2132 // We need to know if the function has a nest argument only in 64 bit mode.
2133 if (Is64Bit)
2134 IsNested = HasNestArgument(&MF);
2135
2136 // The MOV R10, RAX needs to be in a different block, since the RET we emit in
2137 // allocMBB needs to be last (terminating) instruction.
2138
Matthias Braund9da1622015-09-09 18:08:03 +00002139 for (const auto &LI : PrologueMBB.liveins()) {
Matthias Braunb2b7ef12015-08-24 22:59:52 +00002140 allocMBB->addLiveIn(LI);
2141 checkMBB->addLiveIn(LI);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002142 }
2143
2144 if (IsNested)
2145 allocMBB->addLiveIn(IsLP64 ? X86::R10 : X86::R10D);
2146
2147 MF.push_front(allocMBB);
2148 MF.push_front(checkMBB);
2149
2150 // When the frame size is less than 256 we just compare the stack
2151 // boundary directly to the value of the stack pointer, per gcc.
2152 bool CompareStackPointer = StackSize < kSplitStackAvailable;
2153
2154 // Read the limit off the current stacklet off the stack_guard location.
2155 if (Is64Bit) {
2156 if (STI.isTargetLinux()) {
2157 TlsReg = X86::FS;
2158 TlsOffset = IsLP64 ? 0x70 : 0x40;
2159 } else if (STI.isTargetDarwin()) {
2160 TlsReg = X86::GS;
2161 TlsOffset = 0x60 + 90*8; // See pthread_machdep.h. Steal TLS slot 90.
2162 } else if (STI.isTargetWin64()) {
2163 TlsReg = X86::GS;
2164 TlsOffset = 0x28; // pvArbitrary, reserved for application use
2165 } else if (STI.isTargetFreeBSD()) {
2166 TlsReg = X86::FS;
2167 TlsOffset = 0x18;
2168 } else if (STI.isTargetDragonFly()) {
2169 TlsReg = X86::FS;
2170 TlsOffset = 0x20; // use tls_tcb.tcb_segstack
2171 } else {
2172 report_fatal_error("Segmented stacks not supported on this platform.");
2173 }
2174
2175 if (CompareStackPointer)
2176 ScratchReg = IsLP64 ? X86::RSP : X86::ESP;
2177 else
2178 BuildMI(checkMBB, DL, TII.get(IsLP64 ? X86::LEA64r : X86::LEA64_32r), ScratchReg).addReg(X86::RSP)
2179 .addImm(1).addReg(0).addImm(-StackSize).addReg(0);
2180
2181 BuildMI(checkMBB, DL, TII.get(IsLP64 ? X86::CMP64rm : X86::CMP32rm)).addReg(ScratchReg)
2182 .addReg(0).addImm(1).addReg(0).addImm(TlsOffset).addReg(TlsReg);
2183 } else {
2184 if (STI.isTargetLinux()) {
2185 TlsReg = X86::GS;
2186 TlsOffset = 0x30;
2187 } else if (STI.isTargetDarwin()) {
2188 TlsReg = X86::GS;
2189 TlsOffset = 0x48 + 90*4;
2190 } else if (STI.isTargetWin32()) {
2191 TlsReg = X86::FS;
2192 TlsOffset = 0x14; // pvArbitrary, reserved for application use
2193 } else if (STI.isTargetDragonFly()) {
2194 TlsReg = X86::FS;
2195 TlsOffset = 0x10; // use tls_tcb.tcb_segstack
2196 } else if (STI.isTargetFreeBSD()) {
2197 report_fatal_error("Segmented stacks not supported on FreeBSD i386.");
2198 } else {
2199 report_fatal_error("Segmented stacks not supported on this platform.");
2200 }
2201
2202 if (CompareStackPointer)
2203 ScratchReg = X86::ESP;
2204 else
2205 BuildMI(checkMBB, DL, TII.get(X86::LEA32r), ScratchReg).addReg(X86::ESP)
2206 .addImm(1).addReg(0).addImm(-StackSize).addReg(0);
2207
2208 if (STI.isTargetLinux() || STI.isTargetWin32() || STI.isTargetWin64() ||
2209 STI.isTargetDragonFly()) {
2210 BuildMI(checkMBB, DL, TII.get(X86::CMP32rm)).addReg(ScratchReg)
2211 .addReg(0).addImm(0).addReg(0).addImm(TlsOffset).addReg(TlsReg);
2212 } else if (STI.isTargetDarwin()) {
2213
2214 // TlsOffset doesn't fit into a mod r/m byte so we need an extra register.
2215 unsigned ScratchReg2;
2216 bool SaveScratch2;
2217 if (CompareStackPointer) {
2218 // The primary scratch register is available for holding the TLS offset.
2219 ScratchReg2 = GetScratchRegister(Is64Bit, IsLP64, MF, true);
2220 SaveScratch2 = false;
2221 } else {
2222 // Need to use a second register to hold the TLS offset
2223 ScratchReg2 = GetScratchRegister(Is64Bit, IsLP64, MF, false);
2224
2225 // Unfortunately, with fastcc the second scratch register may hold an
2226 // argument.
2227 SaveScratch2 = MF.getRegInfo().isLiveIn(ScratchReg2);
2228 }
2229
2230 // If Scratch2 is live-in then it needs to be saved.
2231 assert((!MF.getRegInfo().isLiveIn(ScratchReg2) || SaveScratch2) &&
2232 "Scratch register is live-in and not saved");
2233
2234 if (SaveScratch2)
2235 BuildMI(checkMBB, DL, TII.get(X86::PUSH32r))
2236 .addReg(ScratchReg2, RegState::Kill);
2237
2238 BuildMI(checkMBB, DL, TII.get(X86::MOV32ri), ScratchReg2)
2239 .addImm(TlsOffset);
2240 BuildMI(checkMBB, DL, TII.get(X86::CMP32rm))
2241 .addReg(ScratchReg)
2242 .addReg(ScratchReg2).addImm(1).addReg(0)
2243 .addImm(0)
2244 .addReg(TlsReg);
2245
2246 if (SaveScratch2)
2247 BuildMI(checkMBB, DL, TII.get(X86::POP32r), ScratchReg2);
2248 }
2249 }
2250
2251 // This jump is taken if SP >= (Stacklet Limit + Stack Space required).
2252 // It jumps to normal execution of the function body.
Quentin Colombet61b305e2015-05-05 17:38:16 +00002253 BuildMI(checkMBB, DL, TII.get(X86::JA_1)).addMBB(&PrologueMBB);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002254
2255 // On 32 bit we first push the arguments size and then the frame size. On 64
2256 // bit, we pass the stack frame size in r10 and the argument size in r11.
2257 if (Is64Bit) {
2258 // Functions with nested arguments use R10, so it needs to be saved across
2259 // the call to _morestack
2260
2261 const unsigned RegAX = IsLP64 ? X86::RAX : X86::EAX;
2262 const unsigned Reg10 = IsLP64 ? X86::R10 : X86::R10D;
2263 const unsigned Reg11 = IsLP64 ? X86::R11 : X86::R11D;
2264 const unsigned MOVrr = IsLP64 ? X86::MOV64rr : X86::MOV32rr;
2265 const unsigned MOVri = IsLP64 ? X86::MOV64ri : X86::MOV32ri;
2266
2267 if (IsNested)
2268 BuildMI(allocMBB, DL, TII.get(MOVrr), RegAX).addReg(Reg10);
2269
2270 BuildMI(allocMBB, DL, TII.get(MOVri), Reg10)
2271 .addImm(StackSize);
2272 BuildMI(allocMBB, DL, TII.get(MOVri), Reg11)
2273 .addImm(X86FI->getArgumentStackSize());
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002274 } else {
2275 BuildMI(allocMBB, DL, TII.get(X86::PUSHi32))
2276 .addImm(X86FI->getArgumentStackSize());
2277 BuildMI(allocMBB, DL, TII.get(X86::PUSHi32))
2278 .addImm(StackSize);
2279 }
2280
2281 // __morestack is in libgcc
2282 if (Is64Bit && MF.getTarget().getCodeModel() == CodeModel::Large) {
2283 // Under the large code model, we cannot assume that __morestack lives
2284 // within 2^31 bytes of the call site, so we cannot use pc-relative
2285 // addressing. We cannot perform the call via a temporary register,
2286 // as the rax register may be used to store the static chain, and all
2287 // other suitable registers may be either callee-save or used for
2288 // parameter passing. We cannot use the stack at this point either
2289 // because __morestack manipulates the stack directly.
2290 //
2291 // To avoid these issues, perform an indirect call via a read-only memory
2292 // location containing the address.
2293 //
2294 // This solution is not perfect, as it assumes that the .rodata section
2295 // is laid out within 2^31 bytes of each function body, but this seems
2296 // to be sufficient for JIT.
2297 BuildMI(allocMBB, DL, TII.get(X86::CALL64m))
2298 .addReg(X86::RIP)
2299 .addImm(0)
2300 .addReg(0)
2301 .addExternalSymbol("__morestack_addr")
2302 .addReg(0);
2303 MF.getMMI().setUsesMorestackAddr(true);
2304 } else {
2305 if (Is64Bit)
2306 BuildMI(allocMBB, DL, TII.get(X86::CALL64pcrel32))
2307 .addExternalSymbol("__morestack");
2308 else
2309 BuildMI(allocMBB, DL, TII.get(X86::CALLpcrel32))
2310 .addExternalSymbol("__morestack");
2311 }
2312
2313 if (IsNested)
2314 BuildMI(allocMBB, DL, TII.get(X86::MORESTACK_RET_RESTORE_R10));
2315 else
2316 BuildMI(allocMBB, DL, TII.get(X86::MORESTACK_RET));
2317
Quentin Colombet61b305e2015-05-05 17:38:16 +00002318 allocMBB->addSuccessor(&PrologueMBB);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002319
2320 checkMBB->addSuccessor(allocMBB);
Quentin Colombet61b305e2015-05-05 17:38:16 +00002321 checkMBB->addSuccessor(&PrologueMBB);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002322
Filipe Cabecinhas0da99372016-04-29 15:22:48 +00002323#ifdef EXPENSIVE_CHECKS
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002324 MF.verify();
2325#endif
2326}
2327
Michael Kuperstein0194d302016-06-23 18:17:25 +00002328/// Lookup an ERTS parameter in the !hipe.literals named metadata node.
2329/// HiPE provides Erlang Runtime System-internal parameters, such as PCB offsets
2330/// to fields it needs, through a named metadata node "hipe.literals" containing
2331/// name-value pairs.
2332static unsigned getHiPELiteral(
2333 NamedMDNode *HiPELiteralsMD, const StringRef LiteralName) {
2334 for (int i = 0, e = HiPELiteralsMD->getNumOperands(); i != e; ++i) {
2335 MDNode *Node = HiPELiteralsMD->getOperand(i);
2336 if (Node->getNumOperands() != 2) continue;
2337 MDString *NodeName = dyn_cast<MDString>(Node->getOperand(0));
2338 ValueAsMetadata *NodeVal = dyn_cast<ValueAsMetadata>(Node->getOperand(1));
2339 if (!NodeName || !NodeVal) continue;
2340 ConstantInt *ValConst = dyn_cast_or_null<ConstantInt>(NodeVal->getValue());
2341 if (ValConst && NodeName->getString() == LiteralName) {
2342 return ValConst->getZExtValue();
2343 }
2344 }
2345
2346 report_fatal_error("HiPE literal " + LiteralName
2347 + " required but not provided");
2348}
2349
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002350/// Erlang programs may need a special prologue to handle the stack size they
2351/// might need at runtime. That is because Erlang/OTP does not implement a C
2352/// stack but uses a custom implementation of hybrid stack/heap architecture.
2353/// (for more information see Eric Stenman's Ph.D. thesis:
2354/// http://publications.uu.se/uu/fulltext/nbn_se_uu_diva-2688.pdf)
2355///
2356/// CheckStack:
2357/// temp0 = sp - MaxStack
2358/// if( temp0 < SP_LIMIT(P) ) goto IncStack else goto OldStart
2359/// OldStart:
2360/// ...
2361/// IncStack:
2362/// call inc_stack # doubles the stack space
2363/// temp0 = sp - MaxStack
2364/// if( temp0 < SP_LIMIT(P) ) goto IncStack else goto OldStart
Quentin Colombet61b305e2015-05-05 17:38:16 +00002365void X86FrameLowering::adjustForHiPEPrologue(
2366 MachineFunction &MF, MachineBasicBlock &PrologueMBB) const {
Matthias Braun941a7052016-07-28 18:40:00 +00002367 MachineFrameInfo &MFI = MF.getFrameInfo();
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002368 DebugLoc DL;
Quentin Colombet4cf56912016-01-19 23:29:03 +00002369
2370 // To support shrink-wrapping we would need to insert the new blocks
2371 // at the right place and update the branches to PrologueMBB.
2372 assert(&(*MF.begin()) == &PrologueMBB && "Shrink-wrapping not supported yet");
2373
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002374 // HiPE-specific values
Michael Kuperstein0194d302016-06-23 18:17:25 +00002375 NamedMDNode *HiPELiteralsMD = MF.getMMI().getModule()
2376 ->getNamedMetadata("hipe.literals");
2377 if (!HiPELiteralsMD)
2378 report_fatal_error(
2379 "Can't generate HiPE prologue without runtime parameters");
2380 const unsigned HipeLeafWords
2381 = getHiPELiteral(HiPELiteralsMD,
2382 Is64Bit ? "AMD64_LEAF_WORDS" : "X86_LEAF_WORDS");
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002383 const unsigned CCRegisteredArgs = Is64Bit ? 6 : 5;
2384 const unsigned Guaranteed = HipeLeafWords * SlotSize;
2385 unsigned CallerStkArity = MF.getFunction()->arg_size() > CCRegisteredArgs ?
2386 MF.getFunction()->arg_size() - CCRegisteredArgs : 0;
Matthias Braun941a7052016-07-28 18:40:00 +00002387 unsigned MaxStack = MFI.getStackSize() + CallerStkArity*SlotSize + SlotSize;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002388
2389 assert(STI.isTargetLinux() &&
2390 "HiPE prologue is only supported on Linux operating systems.");
2391
2392 // Compute the largest caller's frame that is needed to fit the callees'
2393 // frames. This 'MaxStack' is computed from:
2394 //
2395 // a) the fixed frame size, which is the space needed for all spilled temps,
2396 // b) outgoing on-stack parameter areas, and
2397 // c) the minimum stack space this function needs to make available for the
2398 // functions it calls (a tunable ABI property).
Matthias Braun941a7052016-07-28 18:40:00 +00002399 if (MFI.hasCalls()) {
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002400 unsigned MoreStackForCalls = 0;
2401
Michael Kuperstein7bab7132016-04-01 03:45:08 +00002402 for (auto &MBB : MF) {
2403 for (auto &MI : MBB) {
2404 if (!MI.isCall())
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002405 continue;
2406
2407 // Get callee operand.
Michael Kuperstein7bab7132016-04-01 03:45:08 +00002408 const MachineOperand &MO = MI.getOperand(0);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002409
2410 // Only take account of global function calls (no closures etc.).
2411 if (!MO.isGlobal())
2412 continue;
2413
2414 const Function *F = dyn_cast<Function>(MO.getGlobal());
2415 if (!F)
2416 continue;
2417
2418 // Do not update 'MaxStack' for primitive and built-in functions
2419 // (encoded with names either starting with "erlang."/"bif_" or not
2420 // having a ".", such as a simple <Module>.<Function>.<Arity>, or an
2421 // "_", such as the BIF "suspend_0") as they are executed on another
2422 // stack.
2423 if (F->getName().find("erlang.") != StringRef::npos ||
2424 F->getName().find("bif_") != StringRef::npos ||
2425 F->getName().find_first_of("._") == StringRef::npos)
2426 continue;
2427
2428 unsigned CalleeStkArity =
2429 F->arg_size() > CCRegisteredArgs ? F->arg_size()-CCRegisteredArgs : 0;
2430 if (HipeLeafWords - 1 > CalleeStkArity)
2431 MoreStackForCalls = std::max(MoreStackForCalls,
2432 (HipeLeafWords - 1 - CalleeStkArity) * SlotSize);
2433 }
Michael Kuperstein7bab7132016-04-01 03:45:08 +00002434 }
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002435 MaxStack += MoreStackForCalls;
2436 }
2437
2438 // If the stack frame needed is larger than the guaranteed then runtime checks
2439 // and calls to "inc_stack_0" BIF should be inserted in the assembly prologue.
2440 if (MaxStack > Guaranteed) {
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002441 MachineBasicBlock *stackCheckMBB = MF.CreateMachineBasicBlock();
2442 MachineBasicBlock *incStackMBB = MF.CreateMachineBasicBlock();
2443
Matthias Braund9da1622015-09-09 18:08:03 +00002444 for (const auto &LI : PrologueMBB.liveins()) {
Matthias Braunb2b7ef12015-08-24 22:59:52 +00002445 stackCheckMBB->addLiveIn(LI);
2446 incStackMBB->addLiveIn(LI);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002447 }
2448
2449 MF.push_front(incStackMBB);
2450 MF.push_front(stackCheckMBB);
2451
2452 unsigned ScratchReg, SPReg, PReg, SPLimitOffset;
2453 unsigned LEAop, CMPop, CALLop;
Michael Kuperstein0194d302016-06-23 18:17:25 +00002454 SPLimitOffset = getHiPELiteral(HiPELiteralsMD, "P_NSP_LIMIT");
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002455 if (Is64Bit) {
2456 SPReg = X86::RSP;
2457 PReg = X86::RBP;
2458 LEAop = X86::LEA64r;
2459 CMPop = X86::CMP64rm;
2460 CALLop = X86::CALL64pcrel32;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002461 } else {
2462 SPReg = X86::ESP;
2463 PReg = X86::EBP;
2464 LEAop = X86::LEA32r;
2465 CMPop = X86::CMP32rm;
2466 CALLop = X86::CALLpcrel32;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002467 }
2468
2469 ScratchReg = GetScratchRegister(Is64Bit, IsLP64, MF, true);
2470 assert(!MF.getRegInfo().isLiveIn(ScratchReg) &&
2471 "HiPE prologue scratch register is live-in");
2472
2473 // Create new MBB for StackCheck:
2474 addRegOffset(BuildMI(stackCheckMBB, DL, TII.get(LEAop), ScratchReg),
2475 SPReg, false, -MaxStack);
2476 // SPLimitOffset is in a fixed heap location (pointed by BP).
2477 addRegOffset(BuildMI(stackCheckMBB, DL, TII.get(CMPop))
2478 .addReg(ScratchReg), PReg, false, SPLimitOffset);
Quentin Colombet61b305e2015-05-05 17:38:16 +00002479 BuildMI(stackCheckMBB, DL, TII.get(X86::JAE_1)).addMBB(&PrologueMBB);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002480
2481 // Create new MBB for IncStack:
2482 BuildMI(incStackMBB, DL, TII.get(CALLop)).
2483 addExternalSymbol("inc_stack_0");
2484 addRegOffset(BuildMI(incStackMBB, DL, TII.get(LEAop), ScratchReg),
2485 SPReg, false, -MaxStack);
2486 addRegOffset(BuildMI(incStackMBB, DL, TII.get(CMPop))
2487 .addReg(ScratchReg), PReg, false, SPLimitOffset);
2488 BuildMI(incStackMBB, DL, TII.get(X86::JLE_1)).addMBB(incStackMBB);
2489
Cong Hou1938f2e2015-11-24 08:51:23 +00002490 stackCheckMBB->addSuccessor(&PrologueMBB, {99, 100});
2491 stackCheckMBB->addSuccessor(incStackMBB, {1, 100});
2492 incStackMBB->addSuccessor(&PrologueMBB, {99, 100});
2493 incStackMBB->addSuccessor(incStackMBB, {1, 100});
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002494 }
Filipe Cabecinhas0da99372016-04-29 15:22:48 +00002495#ifdef EXPENSIVE_CHECKS
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002496 MF.verify();
2497#endif
2498}
2499
Michael Kuperstein7337ee22015-08-11 08:48:48 +00002500bool X86FrameLowering::adjustStackWithPops(MachineBasicBlock &MBB,
Benjamin Kramerbdc49562016-06-12 15:39:02 +00002501 MachineBasicBlock::iterator MBBI,
2502 const DebugLoc &DL,
2503 int Offset) const {
Michael Kuperstein7337ee22015-08-11 08:48:48 +00002504
Michael Kupersteind9264652015-09-16 11:27:20 +00002505 if (Offset <= 0)
2506 return false;
2507
Michael Kuperstein7337ee22015-08-11 08:48:48 +00002508 if (Offset % SlotSize)
2509 return false;
2510
2511 int NumPops = Offset / SlotSize;
2512 // This is only worth it if we have at most 2 pops.
2513 if (NumPops != 1 && NumPops != 2)
2514 return false;
2515
2516 // Handle only the trivial case where the adjustment directly follows
2517 // a call. This is the most common one, anyway.
2518 if (MBBI == MBB.begin())
2519 return false;
2520 MachineBasicBlock::iterator Prev = std::prev(MBBI);
2521 if (!Prev->isCall() || !Prev->getOperand(1).isRegMask())
2522 return false;
2523
2524 unsigned Regs[2];
2525 unsigned FoundRegs = 0;
2526
2527 auto RegMask = Prev->getOperand(1);
Michael Kupersteind9264652015-09-16 11:27:20 +00002528
2529 auto &RegClass =
2530 Is64Bit ? X86::GR64_NOREX_NOSPRegClass : X86::GR32_NOREX_NOSPRegClass;
2531 // Try to find up to NumPops free registers.
2532 for (auto Candidate : RegClass) {
Michael Kuperstein7337ee22015-08-11 08:48:48 +00002533
2534 // Poor man's liveness:
2535 // Since we're immediately after a call, any register that is clobbered
2536 // by the call and not defined by it can be considered dead.
2537 if (!RegMask.clobbersPhysReg(Candidate))
2538 continue;
2539
2540 bool IsDef = false;
2541 for (const MachineOperand &MO : Prev->implicit_operands()) {
Michael Kuperstein8be8de62016-03-10 18:43:21 +00002542 if (MO.isReg() && MO.isDef() &&
2543 TRI->isSuperOrSubRegisterEq(MO.getReg(), Candidate)) {
Michael Kuperstein7337ee22015-08-11 08:48:48 +00002544 IsDef = true;
2545 break;
2546 }
2547 }
2548
2549 if (IsDef)
2550 continue;
2551
2552 Regs[FoundRegs++] = Candidate;
2553 if (FoundRegs == (unsigned)NumPops)
2554 break;
2555 }
2556
2557 if (FoundRegs == 0)
2558 return false;
2559
2560 // If we found only one free register, but need two, reuse the same one twice.
2561 while (FoundRegs < (unsigned)NumPops)
2562 Regs[FoundRegs++] = Regs[0];
2563
2564 for (int i = 0; i < NumPops; ++i)
2565 BuildMI(MBB, MBBI, DL,
2566 TII.get(STI.is64Bit() ? X86::POP64r : X86::POP32r), Regs[i]);
2567
2568 return true;
2569}
2570
Hans Wennborge1a2e902016-03-31 18:33:38 +00002571MachineBasicBlock::iterator X86FrameLowering::
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002572eliminateCallFramePseudoInstr(MachineFunction &MF, MachineBasicBlock &MBB,
2573 MachineBasicBlock::iterator I) const {
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002574 bool reserveCallFrame = hasReservedCallFrame(MF);
Matthias Braunfa3872e2015-05-18 20:27:55 +00002575 unsigned Opcode = I->getOpcode();
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002576 bool isDestroy = Opcode == TII.getCallFrameDestroyOpcode();
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002577 DebugLoc DL = I->getDebugLoc();
2578 uint64_t Amount = !reserveCallFrame ? I->getOperand(0).getImm() : 0;
Michael Kuperstein13fbd452015-02-01 16:56:04 +00002579 uint64_t InternalAmt = (isDestroy || Amount) ? I->getOperand(1).getImm() : 0;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002580 I = MBB.erase(I);
2581
2582 if (!reserveCallFrame) {
2583 // If the stack pointer can be changed after prologue, turn the
2584 // adjcallstackup instruction into a 'sub ESP, <amt>' and the
2585 // adjcallstackdown instruction into 'add ESP, <amt>'
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002586
2587 // We need to keep the stack aligned properly. To do this, we round the
2588 // amount of space needed for the outgoing arguments up to the next
2589 // alignment boundary.
David Majnemer93c22a42015-02-10 00:57:42 +00002590 unsigned StackAlign = getStackAlignment();
Rui Ueyamada00f2f2016-01-14 21:06:47 +00002591 Amount = alignTo(Amount, StackAlign);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002592
Michael Kuperstein73dc8522015-11-03 08:17:25 +00002593 MachineModuleInfo &MMI = MF.getMMI();
2594 const Function *Fn = MF.getFunction();
2595 bool WindowsCFI = MF.getTarget().getMCAsmInfo()->usesWindowsCFI();
2596 bool DwarfCFI = !WindowsCFI &&
2597 (MMI.hasDebugInfo() || Fn->needsUnwindTableEntry());
2598
Michael Kuperstein259f1502015-10-07 07:01:31 +00002599 // If we have any exception handlers in this function, and we adjust
Michael Kuperstein73dc8522015-11-03 08:17:25 +00002600 // the SP before calls, we may need to indicate this to the unwinder
2601 // using GNU_ARGS_SIZE. Note that this may be necessary even when
2602 // Amount == 0, because the preceding function may have set a non-0
2603 // GNU_ARGS_SIZE.
Michael Kuperstein259f1502015-10-07 07:01:31 +00002604 // TODO: We don't need to reset this between subsequent functions,
2605 // if it didn't change.
Michael Kuperstein73dc8522015-11-03 08:17:25 +00002606 bool HasDwarfEHHandlers = !WindowsCFI &&
2607 !MF.getMMI().getLandingPads().empty();
Michael Kuperstein259f1502015-10-07 07:01:31 +00002608
Michael Kuperstein73dc8522015-11-03 08:17:25 +00002609 if (HasDwarfEHHandlers && !isDestroy &&
Michael Kuperstein259f1502015-10-07 07:01:31 +00002610 MF.getInfo<X86MachineFunctionInfo>()->getHasPushSequences())
Michael Kupersteinaf22daf2015-10-13 06:22:30 +00002611 BuildCFI(MBB, I, DL,
2612 MCCFIInstruction::createGnuArgsSize(nullptr, Amount));
Michael Kuperstein259f1502015-10-07 07:01:31 +00002613
2614 if (Amount == 0)
Hans Wennborge1a2e902016-03-31 18:33:38 +00002615 return I;
Michael Kuperstein259f1502015-10-07 07:01:31 +00002616
Michael Kuperstein13fbd452015-02-01 16:56:04 +00002617 // Factor out the amount that gets handled inside the sequence
2618 // (Pushes of argument for frame setup, callee pops for frame destroy)
2619 Amount -= InternalAmt;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002620
Michael Kuperstein77ce9d32015-12-06 13:06:20 +00002621 // TODO: This is needed only if we require precise CFA.
2622 // If this is a callee-pop calling convention, emit a CFA adjust for
2623 // the amount the callee popped.
2624 if (isDestroy && InternalAmt && DwarfCFI && !hasFP(MF))
Michael Kuperstein73dc8522015-11-03 08:17:25 +00002625 BuildCFI(MBB, I, DL,
2626 MCCFIInstruction::createAdjustCfaOffset(nullptr, -InternalAmt));
2627
Hans Wennborgab16be72016-04-07 00:05:49 +00002628 // Add Amount to SP to destroy a frame, or subtract to setup.
2629 int64_t StackAdjustment = isDestroy ? Amount : -Amount;
2630 int64_t CfaAdjustment = -StackAdjustment;
Michael Kuperstein7337ee22015-08-11 08:48:48 +00002631
Hans Wennborgab16be72016-04-07 00:05:49 +00002632 if (StackAdjustment) {
2633 // Merge with any previous or following adjustment instruction. Note: the
2634 // instructions merged with here do not have CFI, so their stack
2635 // adjustments do not feed into CfaAdjustment.
2636 StackAdjustment += mergeSPUpdates(MBB, I, true);
2637 StackAdjustment += mergeSPUpdates(MBB, I, false);
2638
2639 if (StackAdjustment) {
2640 if (!(Fn->optForMinSize() &&
2641 adjustStackWithPops(MBB, I, DL, StackAdjustment)))
2642 BuildStackAdjustment(MBB, I, DL, StackAdjustment,
2643 /*InEpilogue=*/false);
2644 }
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002645 }
Michael Kuperstein7337ee22015-08-11 08:48:48 +00002646
Michael Kuperstein73dc8522015-11-03 08:17:25 +00002647 if (DwarfCFI && !hasFP(MF)) {
2648 // If we don't have FP, but need to generate unwind information,
2649 // we need to set the correct CFA offset after the stack adjustment.
2650 // How much we adjust the CFA offset depends on whether we're emitting
2651 // CFI only for EH purposes or for debugging. EH only requires the CFA
2652 // offset to be correct at each call site, while for debugging we want
2653 // it to be more precise.
Hans Wennborgab16be72016-04-07 00:05:49 +00002654
Michael Kuperstein77ce9d32015-12-06 13:06:20 +00002655 // TODO: When not using precise CFA, we also need to adjust for the
2656 // InternalAmt here.
Hans Wennborgab16be72016-04-07 00:05:49 +00002657 if (CfaAdjustment) {
2658 BuildCFI(MBB, I, DL, MCCFIInstruction::createAdjustCfaOffset(
2659 nullptr, CfaAdjustment));
Michael Kuperstein77ce9d32015-12-06 13:06:20 +00002660 }
Michael Kuperstein73dc8522015-11-03 08:17:25 +00002661 }
2662
Hans Wennborge1a2e902016-03-31 18:33:38 +00002663 return I;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002664 }
2665
Reid Kleckner98d78032015-06-18 20:22:12 +00002666 if (isDestroy && InternalAmt) {
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002667 // If we are performing frame pointer elimination and if the callee pops
2668 // something off the stack pointer, add it back. We do this until we have
2669 // more advanced stack pointer tracking ability.
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002670 // We are not tracking the stack pointer adjustment by the callee, so make
2671 // sure we restore the stack pointer immediately after the call, there may
2672 // be spill code inserted between the CALL and ADJCALLSTACKUP instructions.
Hans Wennborge1a2e902016-03-31 18:33:38 +00002673 MachineBasicBlock::iterator CI = I;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002674 MachineBasicBlock::iterator B = MBB.begin();
Hans Wennborg649159d2016-03-31 23:55:16 +00002675 while (CI != B && !std::prev(CI)->isCall())
2676 --CI;
Hans Wennborge1a2e902016-03-31 18:33:38 +00002677 BuildStackAdjustment(MBB, CI, DL, -InternalAmt, /*InEpilogue=*/false);
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002678 }
Hans Wennborge1a2e902016-03-31 18:33:38 +00002679
2680 return I;
Michael Kupersteine86aa9a2015-02-01 16:15:07 +00002681}
2682
Quentin Colombet4ff3cfb2016-04-26 23:44:14 +00002683bool X86FrameLowering::canUseAsPrologue(const MachineBasicBlock &MBB) const {
2684 assert(MBB.getParent() && "Block is not attached to a function!");
2685 const MachineFunction &MF = *MBB.getParent();
2686 return !TRI->needsStackRealignment(MF) || !MBB.isLiveIn(X86::EFLAGS);
2687}
2688
Quentin Colombetaa8020752015-05-27 06:28:41 +00002689bool X86FrameLowering::canUseAsEpilogue(const MachineBasicBlock &MBB) const {
2690 assert(MBB.getParent() && "Block is not attached to a function!");
2691
Quentin Colombet421723c2015-11-04 22:37:28 +00002692 // Win64 has strict requirements in terms of epilogue and we are
2693 // not taking a chance at messing with them.
2694 // I.e., unless this block is already an exit block, we can't use
2695 // it as an epilogue.
Reid Kleckner4255b04e2015-11-16 18:47:12 +00002696 if (STI.isTargetWin64() && !MBB.succ_empty() && !MBB.isReturnBlock())
Quentin Colombet421723c2015-11-04 22:37:28 +00002697 return false;
2698
Quentin Colombetaa8020752015-05-27 06:28:41 +00002699 if (canUseLEAForSPInEpilogue(*MBB.getParent()))
2700 return true;
2701
2702 // If we cannot use LEA to adjust SP, we may need to use ADD, which
Quentin Colombetf1e91c82015-12-02 01:22:54 +00002703 // clobbers the EFLAGS. Check that we do not need to preserve it,
2704 // otherwise, conservatively assume this is not
Quentin Colombetaa8020752015-05-27 06:28:41 +00002705 // safe to insert the epilogue here.
Quentin Colombetf1e91c82015-12-02 01:22:54 +00002706 return !flagsNeedToBePreservedBeforeTheTerminators(MBB);
Quentin Colombetaa8020752015-05-27 06:28:41 +00002707}
Reid Klecknerdf129512015-09-08 22:44:41 +00002708
Quentin Colombet5d2f7cf2015-12-09 23:08:18 +00002709bool X86FrameLowering::enableShrinkWrapping(const MachineFunction &MF) const {
2710 // If we may need to emit frameless compact unwind information, give
2711 // up as this is currently broken: PR25614.
Quentin Colombet4cf56912016-01-19 23:29:03 +00002712 return (MF.getFunction()->hasFnAttribute(Attribute::NoUnwind) || hasFP(MF)) &&
2713 // The lowering of segmented stack and HiPE only support entry blocks
2714 // as prologue blocks: PR26107.
2715 // This limitation may be lifted if we fix:
2716 // - adjustForSegmentedStacks
2717 // - adjustForHiPEPrologue
2718 MF.getFunction()->getCallingConv() != CallingConv::HiPE &&
2719 !MF.shouldSplitStack();
Quentin Colombet5d2f7cf2015-12-09 23:08:18 +00002720}
2721
Reid Kleckner5b8a46e2015-09-17 20:43:47 +00002722MachineBasicBlock::iterator X86FrameLowering::restoreWin32EHStackPointers(
Reid Klecknerdf129512015-09-08 22:44:41 +00002723 MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI,
Benjamin Kramerbdc49562016-06-12 15:39:02 +00002724 const DebugLoc &DL, bool RestoreSP) const {
Reid Klecknerdf129512015-09-08 22:44:41 +00002725 assert(STI.isTargetWindowsMSVC() && "funclets only supported in MSVC env");
2726 assert(STI.isTargetWin32() && "EBP/ESI restoration only required on win32");
2727 assert(STI.is32Bit() && !Uses64BitFramePtr &&
2728 "restoring EBP/ESI on non-32-bit target");
2729
2730 MachineFunction &MF = *MBB.getParent();
2731 unsigned FramePtr = TRI->getFrameRegister(MF);
2732 unsigned BasePtr = TRI->getBaseRegister();
Reid Klecknerc20276d2015-11-17 21:10:25 +00002733 WinEHFuncInfo &FuncInfo = *MF.getWinEHFuncInfo();
Reid Klecknerdf129512015-09-08 22:44:41 +00002734 X86MachineFunctionInfo *X86FI = MF.getInfo<X86MachineFunctionInfo>();
Matthias Braun941a7052016-07-28 18:40:00 +00002735 MachineFrameInfo &MFI = MF.getFrameInfo();
Reid Klecknerdf129512015-09-08 22:44:41 +00002736
2737 // FIXME: Don't set FrameSetup flag in catchret case.
2738
2739 int FI = FuncInfo.EHRegNodeFrameIndex;
Matthias Braun941a7052016-07-28 18:40:00 +00002740 int EHRegSize = MFI.getObjectSize(FI);
Reid Kleckner5b8a46e2015-09-17 20:43:47 +00002741
2742 if (RestoreSP) {
2743 // MOV32rm -EHRegSize(%ebp), %esp
2744 addRegOffset(BuildMI(MBB, MBBI, DL, TII.get(X86::MOV32rm), X86::ESP),
2745 X86::EBP, true, -EHRegSize)
2746 .setMIFlag(MachineInstr::FrameSetup);
2747 }
2748
Reid Klecknerdf129512015-09-08 22:44:41 +00002749 unsigned UsedReg;
2750 int EHRegOffset = getFrameIndexReference(MF, FI, UsedReg);
Reid Klecknerdf129512015-09-08 22:44:41 +00002751 int EndOffset = -EHRegOffset - EHRegSize;
Reid Klecknerb005d282015-09-16 20:16:27 +00002752 FuncInfo.EHRegNodeEndOffset = EndOffset;
Reid Kleckner5b8a46e2015-09-17 20:43:47 +00002753
Reid Klecknerdf129512015-09-08 22:44:41 +00002754 if (UsedReg == FramePtr) {
2755 // ADD $offset, %ebp
Reid Klecknerdf129512015-09-08 22:44:41 +00002756 unsigned ADDri = getADDriOpcode(false, EndOffset);
2757 BuildMI(MBB, MBBI, DL, TII.get(ADDri), FramePtr)
2758 .addReg(FramePtr)
2759 .addImm(EndOffset)
2760 .setMIFlag(MachineInstr::FrameSetup)
2761 ->getOperand(3)
2762 .setIsDead();
Reid Klecknerb2244cb2015-10-08 18:41:52 +00002763 assert(EndOffset >= 0 &&
2764 "end of registration object above normal EBP position!");
2765 } else if (UsedReg == BasePtr) {
Reid Klecknerdf129512015-09-08 22:44:41 +00002766 // LEA offset(%ebp), %esi
2767 addRegOffset(BuildMI(MBB, MBBI, DL, TII.get(X86::LEA32r), BasePtr),
2768 FramePtr, false, EndOffset)
2769 .setMIFlag(MachineInstr::FrameSetup);
Reid Kleckner5b8a46e2015-09-17 20:43:47 +00002770 // MOV32rm SavedEBPOffset(%esi), %ebp
Reid Klecknerdf129512015-09-08 22:44:41 +00002771 assert(X86FI->getHasSEHFramePtrSave());
2772 int Offset =
2773 getFrameIndexReference(MF, X86FI->getSEHFramePtrSaveIndex(), UsedReg);
2774 assert(UsedReg == BasePtr);
Reid Kleckner5b8a46e2015-09-17 20:43:47 +00002775 addRegOffset(BuildMI(MBB, MBBI, DL, TII.get(X86::MOV32rm), FramePtr),
2776 UsedReg, true, Offset)
Reid Klecknerdf129512015-09-08 22:44:41 +00002777 .setMIFlag(MachineInstr::FrameSetup);
Reid Klecknerb2244cb2015-10-08 18:41:52 +00002778 } else {
2779 llvm_unreachable("32-bit frames with WinEH must use FramePtr or BasePtr");
Reid Klecknerdf129512015-09-08 22:44:41 +00002780 }
2781 return MBBI;
2782}
Reid Kleckner28e49032015-10-16 23:43:27 +00002783
Zia Ansari30a02382016-02-15 23:44:13 +00002784namespace {
2785// Struct used by orderFrameObjects to help sort the stack objects.
2786struct X86FrameSortingObject {
2787 bool IsValid = false; // true if we care about this Object.
2788 unsigned ObjectIndex = 0; // Index of Object into MFI list.
2789 unsigned ObjectSize = 0; // Size of Object in bytes.
2790 unsigned ObjectAlignment = 1; // Alignment of Object in bytes.
2791 unsigned ObjectNumUses = 0; // Object static number of uses.
2792};
2793
2794// The comparison function we use for std::sort to order our local
2795// stack symbols. The current algorithm is to use an estimated
2796// "density". This takes into consideration the size and number of
2797// uses each object has in order to roughly minimize code size.
2798// So, for example, an object of size 16B that is referenced 5 times
2799// will get higher priority than 4 4B objects referenced 1 time each.
2800// It's not perfect and we may be able to squeeze a few more bytes out of
2801// it (for example : 0(esp) requires fewer bytes, symbols allocated at the
2802// fringe end can have special consideration, given their size is less
2803// important, etc.), but the algorithmic complexity grows too much to be
2804// worth the extra gains we get. This gets us pretty close.
2805// The final order leaves us with objects with highest priority going
2806// at the end of our list.
2807struct X86FrameSortingComparator {
2808 inline bool operator()(const X86FrameSortingObject &A,
2809 const X86FrameSortingObject &B) {
2810 uint64_t DensityAScaled, DensityBScaled;
2811
2812 // For consistency in our comparison, all invalid objects are placed
2813 // at the end. This also allows us to stop walking when we hit the
2814 // first invalid item after it's all sorted.
2815 if (!A.IsValid)
2816 return false;
2817 if (!B.IsValid)
2818 return true;
2819
2820 // The density is calculated by doing :
2821 // (double)DensityA = A.ObjectNumUses / A.ObjectSize
2822 // (double)DensityB = B.ObjectNumUses / B.ObjectSize
2823 // Since this approach may cause inconsistencies in
2824 // the floating point <, >, == comparisons, depending on the floating
2825 // point model with which the compiler was built, we're going
2826 // to scale both sides by multiplying with
2827 // A.ObjectSize * B.ObjectSize. This ends up factoring away
2828 // the division and, with it, the need for any floating point
2829 // arithmetic.
2830 DensityAScaled = static_cast<uint64_t>(A.ObjectNumUses) *
2831 static_cast<uint64_t>(B.ObjectSize);
2832 DensityBScaled = static_cast<uint64_t>(B.ObjectNumUses) *
2833 static_cast<uint64_t>(A.ObjectSize);
2834
2835 // If the two densities are equal, prioritize highest alignment
2836 // objects. This allows for similar alignment objects
2837 // to be packed together (given the same density).
2838 // There's room for improvement here, also, since we can pack
2839 // similar alignment (different density) objects next to each
2840 // other to save padding. This will also require further
2841 // complexity/iterations, and the overall gain isn't worth it,
2842 // in general. Something to keep in mind, though.
2843 if (DensityAScaled == DensityBScaled)
2844 return A.ObjectAlignment < B.ObjectAlignment;
2845
2846 return DensityAScaled < DensityBScaled;
2847 }
2848};
2849} // namespace
2850
2851// Order the symbols in the local stack.
2852// We want to place the local stack objects in some sort of sensible order.
2853// The heuristic we use is to try and pack them according to static number
2854// of uses and size of object in order to minimize code size.
2855void X86FrameLowering::orderFrameObjects(
2856 const MachineFunction &MF, SmallVectorImpl<int> &ObjectsToAllocate) const {
Matthias Braun941a7052016-07-28 18:40:00 +00002857 const MachineFrameInfo &MFI = MF.getFrameInfo();
Zia Ansari30a02382016-02-15 23:44:13 +00002858
2859 // Don't waste time if there's nothing to do.
2860 if (ObjectsToAllocate.empty())
2861 return;
2862
2863 // Create an array of all MFI objects. We won't need all of these
2864 // objects, but we're going to create a full array of them to make
2865 // it easier to index into when we're counting "uses" down below.
2866 // We want to be able to easily/cheaply access an object by simply
2867 // indexing into it, instead of having to search for it every time.
Matthias Braun941a7052016-07-28 18:40:00 +00002868 std::vector<X86FrameSortingObject> SortingObjects(MFI.getObjectIndexEnd());
Zia Ansari30a02382016-02-15 23:44:13 +00002869
2870 // Walk the objects we care about and mark them as such in our working
2871 // struct.
2872 for (auto &Obj : ObjectsToAllocate) {
2873 SortingObjects[Obj].IsValid = true;
2874 SortingObjects[Obj].ObjectIndex = Obj;
Matthias Braun941a7052016-07-28 18:40:00 +00002875 SortingObjects[Obj].ObjectAlignment = MFI.getObjectAlignment(Obj);
Zia Ansari30a02382016-02-15 23:44:13 +00002876 // Set the size.
Matthias Braun941a7052016-07-28 18:40:00 +00002877 int ObjectSize = MFI.getObjectSize(Obj);
Zia Ansari30a02382016-02-15 23:44:13 +00002878 if (ObjectSize == 0)
2879 // Variable size. Just use 4.
2880 SortingObjects[Obj].ObjectSize = 4;
2881 else
2882 SortingObjects[Obj].ObjectSize = ObjectSize;
2883 }
2884
2885 // Count the number of uses for each object.
2886 for (auto &MBB : MF) {
2887 for (auto &MI : MBB) {
Dehao Chenad2b4e12016-07-01 15:40:25 +00002888 if (MI.isDebugValue())
2889 continue;
Zia Ansari30a02382016-02-15 23:44:13 +00002890 for (const MachineOperand &MO : MI.operands()) {
2891 // Check to see if it's a local stack symbol.
2892 if (!MO.isFI())
2893 continue;
2894 int Index = MO.getIndex();
2895 // Check to see if it falls within our range, and is tagged
2896 // to require ordering.
Matthias Braun941a7052016-07-28 18:40:00 +00002897 if (Index >= 0 && Index < MFI.getObjectIndexEnd() &&
Zia Ansari30a02382016-02-15 23:44:13 +00002898 SortingObjects[Index].IsValid)
2899 SortingObjects[Index].ObjectNumUses++;
2900 }
2901 }
2902 }
2903
2904 // Sort the objects using X86FrameSortingAlgorithm (see its comment for
2905 // info).
2906 std::stable_sort(SortingObjects.begin(), SortingObjects.end(),
2907 X86FrameSortingComparator());
2908
2909 // Now modify the original list to represent the final order that
2910 // we want. The order will depend on whether we're going to access them
2911 // from the stack pointer or the frame pointer. For SP, the list should
2912 // end up with the END containing objects that we want with smaller offsets.
2913 // For FP, it should be flipped.
2914 int i = 0;
2915 for (auto &Obj : SortingObjects) {
2916 // All invalid items are sorted at the end, so it's safe to stop.
2917 if (!Obj.IsValid)
2918 break;
2919 ObjectsToAllocate[i++] = Obj.ObjectIndex;
2920 }
2921
2922 // Flip it if we're accessing off of the FP.
2923 if (!TRI->needsStackRealignment(MF) && hasFP(MF))
2924 std::reverse(ObjectsToAllocate.begin(), ObjectsToAllocate.end());
2925}
2926
2927
Reid Kleckner28e49032015-10-16 23:43:27 +00002928unsigned X86FrameLowering::getWinEHParentFrameOffset(const MachineFunction &MF) const {
2929 // RDX, the parent frame pointer, is homed into 16(%rsp) in the prologue.
2930 unsigned Offset = 16;
2931 // RBP is immediately pushed.
2932 Offset += SlotSize;
2933 // All callee-saved registers are then pushed.
2934 Offset += MF.getInfo<X86MachineFunctionInfo>()->getCalleeSavedFrameSize();
2935 // Every funclet allocates enough stack space for the largest outgoing call.
2936 Offset += getWinEHFuncletFrameSize(MF);
2937 return Offset;
2938}
Reid Kleckner94b57062015-11-13 19:06:01 +00002939
2940void X86FrameLowering::processFunctionBeforeFrameFinalized(
2941 MachineFunction &MF, RegScavenger *RS) const {
2942 // If this function isn't doing Win64-style C++ EH, we don't need to do
2943 // anything.
2944 const Function *Fn = MF.getFunction();
Reid Klecknerc397b262015-11-16 18:47:25 +00002945 if (!STI.is64Bit() || !MF.getMMI().hasEHFunclets() ||
2946 classifyEHPersonality(Fn->getPersonalityFn()) != EHPersonality::MSVC_CXX)
Reid Kleckner94b57062015-11-13 19:06:01 +00002947 return;
2948
2949 // Win64 C++ EH needs to allocate the UnwindHelp object at some fixed offset
2950 // relative to RSP after the prologue. Find the offset of the last fixed
Reid Klecknerc397b262015-11-16 18:47:25 +00002951 // object, so that we can allocate a slot immediately following it. If there
2952 // were no fixed objects, use offset -SlotSize, which is immediately after the
2953 // return address. Fixed objects have negative frame indices.
Matthias Braun941a7052016-07-28 18:40:00 +00002954 MachineFrameInfo &MFI = MF.getFrameInfo();
David Majnemer1ef65402016-03-03 00:01:25 +00002955 WinEHFuncInfo &EHInfo = *MF.getWinEHFuncInfo();
Reid Klecknerc397b262015-11-16 18:47:25 +00002956 int64_t MinFixedObjOffset = -SlotSize;
Matthias Braun941a7052016-07-28 18:40:00 +00002957 for (int I = MFI.getObjectIndexBegin(); I < 0; ++I)
2958 MinFixedObjOffset = std::min(MinFixedObjOffset, MFI.getObjectOffset(I));
Reid Kleckner94b57062015-11-13 19:06:01 +00002959
David Majnemer1ef65402016-03-03 00:01:25 +00002960 for (WinEHTryBlockMapEntry &TBME : EHInfo.TryBlockMap) {
2961 for (WinEHHandlerType &H : TBME.HandlerArray) {
2962 int FrameIndex = H.CatchObj.FrameIndex;
2963 if (FrameIndex != INT_MAX) {
2964 // Ensure alignment.
Matthias Braun941a7052016-07-28 18:40:00 +00002965 unsigned Align = MFI.getObjectAlignment(FrameIndex);
David Majnemer1ef65402016-03-03 00:01:25 +00002966 MinFixedObjOffset -= std::abs(MinFixedObjOffset) % Align;
Matthias Braun941a7052016-07-28 18:40:00 +00002967 MinFixedObjOffset -= MFI.getObjectSize(FrameIndex);
2968 MFI.setObjectOffset(FrameIndex, MinFixedObjOffset);
David Majnemer1ef65402016-03-03 00:01:25 +00002969 }
2970 }
2971 }
2972
2973 // Ensure alignment.
2974 MinFixedObjOffset -= std::abs(MinFixedObjOffset) % 8;
Reid Kleckner94b57062015-11-13 19:06:01 +00002975 int64_t UnwindHelpOffset = MinFixedObjOffset - SlotSize;
2976 int UnwindHelpFI =
Matthias Braun941a7052016-07-28 18:40:00 +00002977 MFI.CreateFixedObject(SlotSize, UnwindHelpOffset, /*Immutable=*/false);
David Majnemer1ef65402016-03-03 00:01:25 +00002978 EHInfo.UnwindHelpFrameIdx = UnwindHelpFI;
Reid Kleckner94b57062015-11-13 19:06:01 +00002979
2980 // Store -2 into UnwindHelp on function entry. We have to scan forwards past
2981 // other frame setup instructions.
2982 MachineBasicBlock &MBB = MF.front();
2983 auto MBBI = MBB.begin();
2984 while (MBBI != MBB.end() && MBBI->getFlag(MachineInstr::FrameSetup))
2985 ++MBBI;
2986
2987 DebugLoc DL = MBB.findDebugLoc(MBBI);
2988 addFrameReference(BuildMI(MBB, MBBI, DL, TII.get(X86::MOV64mi32)),
2989 UnwindHelpFI)
2990 .addImm(-2);
2991}