blob: 6b0df225fb76230ce13b187f7a9cd480f2547960 [file] [log] [blame]
Misha Brukmancf2b9ac2002-11-22 22:43:47 +00001//===- X86RegisterInfo.cpp - X86 Register Information -----------*- C++ -*-===//
Alkis Evlogimenos39354c92004-03-14 07:19:51 +00002//
John Criswellb576c942003-10-20 19:43:21 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Alkis Evlogimenos39354c92004-03-14 07:19:51 +00007//
John Criswellb576c942003-10-20 19:43:21 +00008//===----------------------------------------------------------------------===//
Chris Lattner72614082002-10-25 22:55:53 +00009//
Dan Gohman6f0d0242008-02-10 18:45:23 +000010// This file contains the X86 implementation of the TargetRegisterInfo class.
11// This file is responsible for the frame pointer elimination optimization
12// on X86.
Chris Lattner72614082002-10-25 22:55:53 +000013//
14//===----------------------------------------------------------------------===//
15
Misha Brukmanb83b2862002-11-20 18:59:43 +000016#include "X86.h"
Chris Lattner72614082002-10-25 22:55:53 +000017#include "X86RegisterInfo.h"
Misha Brukmancf2b9ac2002-11-22 22:43:47 +000018#include "X86InstrBuilder.h"
Evan Chenge8bd0a32006-06-06 23:30:24 +000019#include "X86MachineFunctionInfo.h"
Evan Cheng25ab6902006-09-08 06:48:29 +000020#include "X86Subtarget.h"
Evan Chenge8bd0a32006-06-06 23:30:24 +000021#include "X86TargetMachine.h"
Misha Brukmanb83b2862002-11-20 18:59:43 +000022#include "llvm/Constants.h"
Evan Cheng3649b0e2006-06-02 22:38:37 +000023#include "llvm/Function.h"
Evan Cheng25ab6902006-09-08 06:48:29 +000024#include "llvm/Type.h"
Chris Lattnerc8c377d2003-07-29 05:14:16 +000025#include "llvm/CodeGen/ValueTypes.h"
Misha Brukmanb83b2862002-11-20 18:59:43 +000026#include "llvm/CodeGen/MachineInstrBuilder.h"
Chris Lattner198ab642002-12-15 20:06:35 +000027#include "llvm/CodeGen/MachineFunction.h"
Dan Gohman2dad0252008-07-01 18:15:35 +000028#include "llvm/CodeGen/MachineFunctionPass.h"
Chris Lattneraa09b752002-12-28 21:08:28 +000029#include "llvm/CodeGen/MachineFrameInfo.h"
Jim Laskeyf1d78e82006-03-23 18:12:57 +000030#include "llvm/CodeGen/MachineLocation.h"
Chris Lattner84bc5422007-12-31 04:13:23 +000031#include "llvm/CodeGen/MachineModuleInfo.h"
32#include "llvm/CodeGen/MachineRegisterInfo.h"
Anton Korobeynikovce3b4652007-05-02 19:53:33 +000033#include "llvm/Target/TargetAsmInfo.h"
Chris Lattnerf158da22003-01-16 02:20:12 +000034#include "llvm/Target/TargetFrameInfo.h"
Evan Cheng51cdcd12006-12-07 01:21:59 +000035#include "llvm/Target/TargetInstrInfo.h"
Misha Brukman83eaa0b2004-06-21 21:10:24 +000036#include "llvm/Target/TargetMachine.h"
Chris Lattner0cf0c372004-07-11 04:17:10 +000037#include "llvm/Target/TargetOptions.h"
Evan Chengb371f452007-02-19 21:49:54 +000038#include "llvm/ADT/BitVector.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000039#include "llvm/ADT/STLExtras.h"
Anton Korobeynikov856914f2008-04-23 18:23:05 +000040#include "llvm/Support/Compiler.h"
Chris Lattner300d0ed2004-02-14 06:00:36 +000041using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000042
Evan Cheng25ab6902006-09-08 06:48:29 +000043X86RegisterInfo::X86RegisterInfo(X86TargetMachine &tm,
44 const TargetInstrInfo &tii)
Dan Gohman6d4b0522008-10-01 18:28:06 +000045 : X86GenRegisterInfo(tm.getSubtarget<X86Subtarget>().is64Bit() ?
46 X86::ADJCALLSTACKDOWN64 :
47 X86::ADJCALLSTACKDOWN32,
48 tm.getSubtarget<X86Subtarget>().is64Bit() ?
49 X86::ADJCALLSTACKUP64 :
50 X86::ADJCALLSTACKUP32),
Evan Cheng25ab6902006-09-08 06:48:29 +000051 TM(tm), TII(tii) {
52 // Cache some information.
53 const X86Subtarget *Subtarget = &TM.getSubtarget<X86Subtarget>();
54 Is64Bit = Subtarget->is64Bit();
Anton Korobeynikov1dcce212008-03-22 21:04:01 +000055 IsWin64 = Subtarget->isTargetWin64();
Evan Chengdb807ed2007-11-05 07:30:01 +000056 StackAlign = TM.getFrameInfo()->getStackAlignment();
Evan Cheng25ab6902006-09-08 06:48:29 +000057 if (Is64Bit) {
58 SlotSize = 8;
59 StackPtr = X86::RSP;
60 FramePtr = X86::RBP;
61 } else {
62 SlotSize = 4;
63 StackPtr = X86::ESP;
64 FramePtr = X86::EBP;
65 }
66}
Chris Lattner7ad3e062003-08-03 15:48:14 +000067
Dale Johannesen483ec212007-11-07 00:25:05 +000068// getDwarfRegNum - This function maps LLVM register identifiers to the
69// Dwarf specific numbering, used in debug info and exception tables.
Dale Johannesen4542edc2007-11-07 21:48:35 +000070
Dale Johannesenb97aec62007-11-13 19:13:01 +000071int X86RegisterInfo::getDwarfRegNum(unsigned RegNo, bool isEH) const {
Dale Johannesen483ec212007-11-07 00:25:05 +000072 const X86Subtarget *Subtarget = &TM.getSubtarget<X86Subtarget>();
Anton Korobeynikovf191c802007-11-11 19:50:10 +000073 unsigned Flavour = DWARFFlavour::X86_64;
Dale Johannesen7a42f242007-11-09 18:07:11 +000074 if (!Subtarget->is64Bit()) {
Anton Korobeynikovf191c802007-11-11 19:50:10 +000075 if (Subtarget->isTargetDarwin()) {
Anton Korobeynikov8eea3392008-01-25 00:34:13 +000076 if (isEH)
77 Flavour = DWARFFlavour::X86_32_DarwinEH;
78 else
79 Flavour = DWARFFlavour::X86_32_Generic;
Anton Korobeynikovf191c802007-11-11 19:50:10 +000080 } else if (Subtarget->isTargetCygMing()) {
81 // Unsupported by now, just quick fallback
Anton Korobeynikov8eea3392008-01-25 00:34:13 +000082 Flavour = DWARFFlavour::X86_32_Generic;
Anton Korobeynikovf191c802007-11-11 19:50:10 +000083 } else {
Anton Korobeynikov8eea3392008-01-25 00:34:13 +000084 Flavour = DWARFFlavour::X86_32_Generic;
Dale Johannesen7a42f242007-11-09 18:07:11 +000085 }
Dale Johannesen483ec212007-11-07 00:25:05 +000086 }
Anton Korobeynikovf191c802007-11-11 19:50:10 +000087
88 return X86GenRegisterInfo::getDwarfRegNumFull(RegNo, Flavour);
Dale Johannesen483ec212007-11-07 00:25:05 +000089}
90
Duncan Sandsee465742007-08-29 19:01:20 +000091// getX86RegNum - This function maps LLVM register identifiers to their X86
92// specific numbering, which is used in various places encoding instructions.
93//
Nicolas Geoffray52e724a2008-04-16 20:10:13 +000094unsigned X86RegisterInfo::getX86RegNum(unsigned RegNo) {
Duncan Sandsee465742007-08-29 19:01:20 +000095 switch(RegNo) {
96 case X86::RAX: case X86::EAX: case X86::AX: case X86::AL: return N86::EAX;
97 case X86::RCX: case X86::ECX: case X86::CX: case X86::CL: return N86::ECX;
98 case X86::RDX: case X86::EDX: case X86::DX: case X86::DL: return N86::EDX;
99 case X86::RBX: case X86::EBX: case X86::BX: case X86::BL: return N86::EBX;
100 case X86::RSP: case X86::ESP: case X86::SP: case X86::SPL: case X86::AH:
101 return N86::ESP;
102 case X86::RBP: case X86::EBP: case X86::BP: case X86::BPL: case X86::CH:
103 return N86::EBP;
104 case X86::RSI: case X86::ESI: case X86::SI: case X86::SIL: case X86::DH:
105 return N86::ESI;
106 case X86::RDI: case X86::EDI: case X86::DI: case X86::DIL: case X86::BH:
107 return N86::EDI;
108
109 case X86::R8: case X86::R8D: case X86::R8W: case X86::R8B:
110 return N86::EAX;
111 case X86::R9: case X86::R9D: case X86::R9W: case X86::R9B:
112 return N86::ECX;
113 case X86::R10: case X86::R10D: case X86::R10W: case X86::R10B:
114 return N86::EDX;
115 case X86::R11: case X86::R11D: case X86::R11W: case X86::R11B:
116 return N86::EBX;
117 case X86::R12: case X86::R12D: case X86::R12W: case X86::R12B:
118 return N86::ESP;
119 case X86::R13: case X86::R13D: case X86::R13W: case X86::R13B:
120 return N86::EBP;
121 case X86::R14: case X86::R14D: case X86::R14W: case X86::R14B:
122 return N86::ESI;
123 case X86::R15: case X86::R15D: case X86::R15W: case X86::R15B:
124 return N86::EDI;
125
126 case X86::ST0: case X86::ST1: case X86::ST2: case X86::ST3:
127 case X86::ST4: case X86::ST5: case X86::ST6: case X86::ST7:
128 return RegNo-X86::ST0;
129
Nate Begeman6e041c22007-12-11 18:06:14 +0000130 case X86::XMM0: case X86::XMM8: case X86::MM0:
Evan Chenge7c87542007-11-13 17:54:34 +0000131 return 0;
Nate Begeman6e041c22007-12-11 18:06:14 +0000132 case X86::XMM1: case X86::XMM9: case X86::MM1:
Evan Chenge7c87542007-11-13 17:54:34 +0000133 return 1;
Nate Begeman6e041c22007-12-11 18:06:14 +0000134 case X86::XMM2: case X86::XMM10: case X86::MM2:
Evan Chenge7c87542007-11-13 17:54:34 +0000135 return 2;
Nate Begeman6e041c22007-12-11 18:06:14 +0000136 case X86::XMM3: case X86::XMM11: case X86::MM3:
Evan Chenge7c87542007-11-13 17:54:34 +0000137 return 3;
Nate Begeman6e041c22007-12-11 18:06:14 +0000138 case X86::XMM4: case X86::XMM12: case X86::MM4:
Evan Chenge7c87542007-11-13 17:54:34 +0000139 return 4;
Nate Begeman6e041c22007-12-11 18:06:14 +0000140 case X86::XMM5: case X86::XMM13: case X86::MM5:
Evan Chenge7c87542007-11-13 17:54:34 +0000141 return 5;
Nate Begeman6e041c22007-12-11 18:06:14 +0000142 case X86::XMM6: case X86::XMM14: case X86::MM6:
Evan Chenge7c87542007-11-13 17:54:34 +0000143 return 6;
Nate Begeman6e041c22007-12-11 18:06:14 +0000144 case X86::XMM7: case X86::XMM15: case X86::MM7:
Evan Chenge7c87542007-11-13 17:54:34 +0000145 return 7;
Duncan Sandsee465742007-08-29 19:01:20 +0000146
147 default:
148 assert(isVirtualRegister(RegNo) && "Unknown physical register!");
149 assert(0 && "Register allocator hasn't allocated reg correctly yet!");
150 return 0;
151 }
152}
153
Evan Cheng770bcc72009-02-06 17:43:24 +0000154const TargetRegisterClass *X86RegisterInfo::getPointerRegClass() const {
155 const X86Subtarget *Subtarget = &TM.getSubtarget<X86Subtarget>();
156 if (Subtarget->is64Bit())
157 return &X86::GR64RegClass;
158 else
159 return &X86::GR32RegClass;
160}
161
Evan Chengff110262007-09-26 21:31:07 +0000162const TargetRegisterClass *
163X86RegisterInfo::getCrossCopyRegClass(const TargetRegisterClass *RC) const {
Anton Korobeynikov4aefd6b2008-02-20 12:07:57 +0000164 if (RC == &X86::CCRRegClass) {
Evan Cheng3f2d9ec2007-09-27 21:50:05 +0000165 if (Is64Bit)
166 return &X86::GR64RegClass;
167 else
168 return &X86::GR32RegClass;
Anton Korobeynikov4aefd6b2008-02-20 12:07:57 +0000169 }
Evan Chengff110262007-09-26 21:31:07 +0000170 return NULL;
171}
Evan Chengbf2c8b32007-03-20 08:09:38 +0000172
Evan Cheng64d80e32007-07-19 01:14:50 +0000173const unsigned *
174X86RegisterInfo::getCalleeSavedRegs(const MachineFunction *MF) const {
Anton Korobeynikovb84c1672008-09-08 21:12:47 +0000175 bool callsEHReturn = false;
176
177 if (MF) {
178 const MachineFrameInfo *MFI = MF->getFrameInfo();
179 const MachineModuleInfo *MMI = MFI->getMachineModuleInfo();
180 callsEHReturn = (MMI ? MMI->callsEHReturn() : false);
181 }
182
Evan Chengc2b861d2007-01-02 21:33:40 +0000183 static const unsigned CalleeSavedRegs32Bit[] = {
Evan Cheng0f3ac8d2006-05-18 00:12:58 +0000184 X86::ESI, X86::EDI, X86::EBX, X86::EBP, 0
185 };
Anton Korobeynikov2365f512007-07-14 14:06:15 +0000186
187 static const unsigned CalleeSavedRegs32EHRet[] = {
188 X86::EAX, X86::EDX, X86::ESI, X86::EDI, X86::EBX, X86::EBP, 0
189 };
190
Evan Chengc2b861d2007-01-02 21:33:40 +0000191 static const unsigned CalleeSavedRegs64Bit[] = {
Evan Cheng25ab6902006-09-08 06:48:29 +0000192 X86::RBX, X86::R12, X86::R13, X86::R14, X86::R15, X86::RBP, 0
193 };
194
Anton Korobeynikovb84c1672008-09-08 21:12:47 +0000195 static const unsigned CalleeSavedRegs64EHRet[] = {
196 X86::RAX, X86::RDX, X86::RBX, X86::R12,
197 X86::R13, X86::R14, X86::R15, X86::RBP, 0
198 };
199
Anton Korobeynikov1dcce212008-03-22 21:04:01 +0000200 static const unsigned CalleeSavedRegsWin64[] = {
Anton Korobeynikov5979d712008-09-24 22:03:04 +0000201 X86::RBX, X86::RBP, X86::RDI, X86::RSI,
202 X86::R12, X86::R13, X86::R14, X86::R15,
203 X86::XMM6, X86::XMM7, X86::XMM8, X86::XMM9,
204 X86::XMM10, X86::XMM11, X86::XMM12, X86::XMM13,
205 X86::XMM14, X86::XMM15, 0
Anton Korobeynikov1dcce212008-03-22 21:04:01 +0000206 };
207
208 if (Is64Bit) {
209 if (IsWin64)
210 return CalleeSavedRegsWin64;
211 else
Anton Korobeynikovb84c1672008-09-08 21:12:47 +0000212 return (callsEHReturn ? CalleeSavedRegs64EHRet : CalleeSavedRegs64Bit);
Anton Korobeynikov1dcce212008-03-22 21:04:01 +0000213 } else {
Anton Korobeynikovb84c1672008-09-08 21:12:47 +0000214 return (callsEHReturn ? CalleeSavedRegs32EHRet : CalleeSavedRegs32Bit);
Anton Korobeynikov2365f512007-07-14 14:06:15 +0000215 }
Evan Cheng0f3ac8d2006-05-18 00:12:58 +0000216}
217
218const TargetRegisterClass* const*
Anton Korobeynikov2365f512007-07-14 14:06:15 +0000219X86RegisterInfo::getCalleeSavedRegClasses(const MachineFunction *MF) const {
Anton Korobeynikovb84c1672008-09-08 21:12:47 +0000220 bool callsEHReturn = false;
221
222 if (MF) {
223 const MachineFrameInfo *MFI = MF->getFrameInfo();
224 const MachineModuleInfo *MMI = MFI->getMachineModuleInfo();
225 callsEHReturn = (MMI ? MMI->callsEHReturn() : false);
226 }
227
Evan Chengc2b861d2007-01-02 21:33:40 +0000228 static const TargetRegisterClass * const CalleeSavedRegClasses32Bit[] = {
Evan Cheng0f3ac8d2006-05-18 00:12:58 +0000229 &X86::GR32RegClass, &X86::GR32RegClass,
230 &X86::GR32RegClass, &X86::GR32RegClass, 0
231 };
Anton Korobeynikov2365f512007-07-14 14:06:15 +0000232 static const TargetRegisterClass * const CalleeSavedRegClasses32EHRet[] = {
233 &X86::GR32RegClass, &X86::GR32RegClass,
234 &X86::GR32RegClass, &X86::GR32RegClass,
235 &X86::GR32RegClass, &X86::GR32RegClass, 0
236 };
Evan Chengc2b861d2007-01-02 21:33:40 +0000237 static const TargetRegisterClass * const CalleeSavedRegClasses64Bit[] = {
Evan Cheng25ab6902006-09-08 06:48:29 +0000238 &X86::GR64RegClass, &X86::GR64RegClass,
239 &X86::GR64RegClass, &X86::GR64RegClass,
240 &X86::GR64RegClass, &X86::GR64RegClass, 0
241 };
Anton Korobeynikovb84c1672008-09-08 21:12:47 +0000242 static const TargetRegisterClass * const CalleeSavedRegClasses64EHRet[] = {
243 &X86::GR64RegClass, &X86::GR64RegClass,
244 &X86::GR64RegClass, &X86::GR64RegClass,
245 &X86::GR64RegClass, &X86::GR64RegClass,
246 &X86::GR64RegClass, &X86::GR64RegClass, 0
247 };
Anton Korobeynikov1dcce212008-03-22 21:04:01 +0000248 static const TargetRegisterClass * const CalleeSavedRegClassesWin64[] = {
Anton Korobeynikov5979d712008-09-24 22:03:04 +0000249 &X86::GR64RegClass, &X86::GR64RegClass,
250 &X86::GR64RegClass, &X86::GR64RegClass,
251 &X86::GR64RegClass, &X86::GR64RegClass,
252 &X86::GR64RegClass, &X86::GR64RegClass,
253 &X86::VR128RegClass, &X86::VR128RegClass,
254 &X86::VR128RegClass, &X86::VR128RegClass,
255 &X86::VR128RegClass, &X86::VR128RegClass,
256 &X86::VR128RegClass, &X86::VR128RegClass,
257 &X86::VR128RegClass, &X86::VR128RegClass, 0
Anton Korobeynikov1dcce212008-03-22 21:04:01 +0000258 };
Evan Cheng25ab6902006-09-08 06:48:29 +0000259
Anton Korobeynikov1dcce212008-03-22 21:04:01 +0000260 if (Is64Bit) {
261 if (IsWin64)
262 return CalleeSavedRegClassesWin64;
263 else
Anton Korobeynikovb84c1672008-09-08 21:12:47 +0000264 return (callsEHReturn ?
265 CalleeSavedRegClasses64EHRet : CalleeSavedRegClasses64Bit);
Anton Korobeynikov1dcce212008-03-22 21:04:01 +0000266 } else {
Anton Korobeynikovb84c1672008-09-08 21:12:47 +0000267 return (callsEHReturn ?
268 CalleeSavedRegClasses32EHRet : CalleeSavedRegClasses32Bit);
Anton Korobeynikov2365f512007-07-14 14:06:15 +0000269 }
Evan Cheng0f3ac8d2006-05-18 00:12:58 +0000270}
271
Evan Chengb371f452007-02-19 21:49:54 +0000272BitVector X86RegisterInfo::getReservedRegs(const MachineFunction &MF) const {
273 BitVector Reserved(getNumRegs());
Dan Gohmana32b7ac2008-12-18 01:05:09 +0000274 // Set the stack-pointer register and its aliases as reserved.
Evan Chengb371f452007-02-19 21:49:54 +0000275 Reserved.set(X86::RSP);
276 Reserved.set(X86::ESP);
277 Reserved.set(X86::SP);
278 Reserved.set(X86::SPL);
Dan Gohmana32b7ac2008-12-18 01:05:09 +0000279 // Set the frame-pointer register and its aliases as reserved if needed.
Evan Chengb371f452007-02-19 21:49:54 +0000280 if (hasFP(MF)) {
281 Reserved.set(X86::RBP);
282 Reserved.set(X86::EBP);
283 Reserved.set(X86::BP);
284 Reserved.set(X86::BPL);
285 }
Dan Gohmana32b7ac2008-12-18 01:05:09 +0000286 // Mark the x87 stack registers as reserved, since they don't
287 // behave normally with respect to liveness. We don't fully
288 // model the effects of x87 stack pushes and pops after
289 // stackification.
290 Reserved.set(X86::ST0);
291 Reserved.set(X86::ST1);
292 Reserved.set(X86::ST2);
293 Reserved.set(X86::ST3);
294 Reserved.set(X86::ST4);
295 Reserved.set(X86::ST5);
296 Reserved.set(X86::ST6);
297 Reserved.set(X86::ST7);
Evan Chengb371f452007-02-19 21:49:54 +0000298 return Reserved;
299}
300
Chris Lattner3c1c03d2002-12-28 20:32:28 +0000301//===----------------------------------------------------------------------===//
302// Stack Frame Processing methods
303//===----------------------------------------------------------------------===//
304
Anton Korobeynikov2c430cb2008-04-23 18:21:27 +0000305static unsigned calculateMaxStackAlignment(const MachineFrameInfo *FFI) {
306 unsigned MaxAlign = 0;
307 for (int i = FFI->getObjectIndexBegin(),
308 e = FFI->getObjectIndexEnd(); i != e; ++i) {
309 if (FFI->isDeadObjectIndex(i))
310 continue;
311 unsigned Align = FFI->getObjectAlignment(i);
312 MaxAlign = std::max(MaxAlign, Align);
313 }
314
315 return MaxAlign;
316}
317
Chris Lattner3c1c03d2002-12-28 20:32:28 +0000318// hasFP - Return true if the specified function should have a dedicated frame
319// pointer register. This is true if the function has variable sized allocas or
320// if frame pointer elimination is disabled.
321//
Evan Chengdc775402007-01-23 00:57:47 +0000322bool X86RegisterInfo::hasFP(const MachineFunction &MF) const {
Dan Gohman8e5f2c62008-07-07 23:14:23 +0000323 const MachineFrameInfo *MFI = MF.getFrameInfo();
324 const MachineModuleInfo *MMI = MFI->getMachineModuleInfo();
Anton Korobeynikov2365f512007-07-14 14:06:15 +0000325
Anton Korobeynikove2011902008-04-23 18:15:11 +0000326 return (NoFramePointerElim ||
Anton Korobeynikov9bbbea52008-04-23 18:15:48 +0000327 needsStackRealignment(MF) ||
Evan Cheng7e7bbf82007-07-19 00:42:05 +0000328 MFI->hasVarSizedObjects() ||
Evan Cheng184793f2008-09-27 01:56:22 +0000329 MFI->isFrameAddressTaken() ||
Anton Korobeynikov2365f512007-07-14 14:06:15 +0000330 MF.getInfo<X86MachineFunctionInfo>()->getForceFramePointer() ||
331 (MMI && MMI->callsUnwindInit()));
Misha Brukman03c6faf2002-12-03 23:11:21 +0000332}
Misha Brukman2adb3952002-12-04 23:57:03 +0000333
Anton Korobeynikov9bbbea52008-04-23 18:15:48 +0000334bool X86RegisterInfo::needsStackRealignment(const MachineFunction &MF) const {
Nick Lewycky9c0f1462009-03-19 05:51:39 +0000335 const MachineFrameInfo *MFI = MF.getFrameInfo();
Anton Korobeynikov9bbbea52008-04-23 18:15:48 +0000336
Anton Korobeynikov35410a42008-04-23 18:16:43 +0000337 // FIXME: Currently we don't support stack realignment for functions with
338 // variable-sized allocas
Anton Korobeynikov941ff582008-04-23 18:24:25 +0000339 return (RealignStack &&
Anton Korobeynikov856914f2008-04-23 18:23:05 +0000340 (MFI->getMaxAlignment() > StackAlign &&
Anton Korobeynikovcfcd20e2008-04-23 18:17:11 +0000341 !MFI->hasVarSizedObjects()));
Anton Korobeynikov9bbbea52008-04-23 18:15:48 +0000342}
343
Evan Cheng7e7bbf82007-07-19 00:42:05 +0000344bool X86RegisterInfo::hasReservedCallFrame(MachineFunction &MF) const {
345 return !MF.getFrameInfo()->hasVarSizedObjects();
346}
347
Anton Korobeynikov82751e32008-04-23 18:18:36 +0000348int
349X86RegisterInfo::getFrameIndexOffset(MachineFunction &MF, int FI) const {
350 int Offset = MF.getFrameInfo()->getObjectOffset(FI) + SlotSize;
Anton Korobeynikov2c430cb2008-04-23 18:21:27 +0000351 uint64_t StackSize = MF.getFrameInfo()->getStackSize();
Anton Korobeynikov82751e32008-04-23 18:18:36 +0000352
Anton Korobeynikov8e91ec52008-04-23 18:21:02 +0000353 if (needsStackRealignment(MF)) {
354 if (FI < 0)
355 // Skip the saved EBP
356 Offset += SlotSize;
Anton Korobeynikov2c430cb2008-04-23 18:21:27 +0000357 else {
Dale Johannesenb5dae002008-06-26 01:51:13 +0000358 unsigned Align = MF.getFrameInfo()->getObjectAlignment(FI);
359 assert( (-(Offset + StackSize)) % Align == 0);
Devang Patelfd1c6c32008-12-23 21:56:28 +0000360 Align = 0;
Dale Johannesenb5dae002008-06-26 01:51:13 +0000361 return Offset + StackSize;
Anton Korobeynikov2c430cb2008-04-23 18:21:27 +0000362 }
Anton Korobeynikovd1c133a2008-04-23 18:19:23 +0000363
Anton Korobeynikov8e91ec52008-04-23 18:21:02 +0000364 // FIXME: Support tail calls
365 } else {
366 if (!hasFP(MF))
Anton Korobeynikov2c430cb2008-04-23 18:21:27 +0000367 return Offset + StackSize;
Anton Korobeynikov8e91ec52008-04-23 18:21:02 +0000368
369 // Skip the saved EBP
370 Offset += SlotSize;
371
372 // Skip the RETADDR move area
373 X86MachineFunctionInfo *X86FI = MF.getInfo<X86MachineFunctionInfo>();
374 int TailCallReturnAddrDelta = X86FI->getTCReturnAddrDelta();
375 if (TailCallReturnAddrDelta < 0) Offset -= TailCallReturnAddrDelta;
376 }
377
Anton Korobeynikov82751e32008-04-23 18:18:36 +0000378 return Offset;
379}
380
Chris Lattnerbb07ef92004-02-14 19:49:54 +0000381void X86RegisterInfo::
382eliminateCallFramePseudoInstr(MachineFunction &MF, MachineBasicBlock &MBB,
383 MachineBasicBlock::iterator I) const {
Evan Cheng7e7bbf82007-07-19 00:42:05 +0000384 if (!hasReservedCallFrame(MF)) {
385 // If the stack pointer can be changed after prologue, turn the
386 // adjcallstackup instruction into a 'sub ESP, <amt>' and the
387 // adjcallstackdown instruction into 'add ESP, <amt>'
388 // TODO: consider using push / pop instead of sub + store / add
Chris Lattnerbb07ef92004-02-14 19:49:54 +0000389 MachineInstr *Old = I;
Chris Lattner61807802007-04-25 04:25:10 +0000390 uint64_t Amount = Old->getOperand(0).getImm();
Chris Lattner3c1c03d2002-12-28 20:32:28 +0000391 if (Amount != 0) {
Chris Lattnerf158da22003-01-16 02:20:12 +0000392 // We need to keep the stack aligned properly. To do this, we round the
393 // amount of space needed for the outgoing arguments up to the next
394 // alignment boundary.
Evan Chengdb807ed2007-11-05 07:30:01 +0000395 Amount = (Amount+StackAlign-1)/StackAlign*StackAlign;
Chris Lattnerf158da22003-01-16 02:20:12 +0000396
Chris Lattner3648c672005-05-13 21:44:04 +0000397 MachineInstr *New = 0;
Dan Gohman6d4b0522008-10-01 18:28:06 +0000398 if (Old->getOpcode() == getCallFrameSetupOpcode()) {
Dale Johannesen21b55412009-02-12 23:08:38 +0000399 New = BuildMI(MF, Old->getDebugLoc(),
400 TII.get(Is64Bit ? X86::SUB64ri32 : X86::SUB32ri),
Evan Chengbdf7b5d2008-08-25 21:58:43 +0000401 StackPtr).addReg(StackPtr).addImm(Amount);
Chris Lattner3c1c03d2002-12-28 20:32:28 +0000402 } else {
Dan Gohman6d4b0522008-10-01 18:28:06 +0000403 assert(Old->getOpcode() == getCallFrameDestroyOpcode());
Chris Lattner3648c672005-05-13 21:44:04 +0000404 // factor out the amount the callee already popped.
Chris Lattner61807802007-04-25 04:25:10 +0000405 uint64_t CalleeAmt = Old->getOperand(1).getImm();
Chris Lattner3648c672005-05-13 21:44:04 +0000406 Amount -= CalleeAmt;
Chris Lattnerd77525d2006-02-03 18:20:04 +0000407 if (Amount) {
Evan Cheng25ab6902006-09-08 06:48:29 +0000408 unsigned Opc = (Amount < 128) ?
409 (Is64Bit ? X86::ADD64ri8 : X86::ADD32ri8) :
410 (Is64Bit ? X86::ADD64ri32 : X86::ADD32ri);
Dale Johannesen21b55412009-02-12 23:08:38 +0000411 New = BuildMI(MF, Old->getDebugLoc(), TII.get(Opc), StackPtr)
Evan Chengbdf7b5d2008-08-25 21:58:43 +0000412 .addReg(StackPtr).addImm(Amount);
Chris Lattnerd77525d2006-02-03 18:20:04 +0000413 }
Chris Lattner3c1c03d2002-12-28 20:32:28 +0000414 }
Chris Lattnerbb07ef92004-02-14 19:49:54 +0000415
Dan Gohmand293e0d2009-02-11 19:50:24 +0000416 if (New) {
417 // The EFLAGS implicit def is dead.
418 New->getOperand(3).setIsDead();
Dan Gohmanbfd23c92008-12-18 22:03:42 +0000419
Dan Gohmand293e0d2009-02-11 19:50:24 +0000420 // Replace the pseudo instruction with a new instruction...
421 MBB.insert(I, New);
422 }
Chris Lattner3648c672005-05-13 21:44:04 +0000423 }
Dan Gohman6d4b0522008-10-01 18:28:06 +0000424 } else if (I->getOpcode() == getCallFrameDestroyOpcode()) {
Chris Lattner3648c672005-05-13 21:44:04 +0000425 // If we are performing frame pointer elimination and if the callee pops
426 // something off the stack pointer, add it back. We do this until we have
427 // more advanced stack pointer tracking ability.
Chris Lattner61807802007-04-25 04:25:10 +0000428 if (uint64_t CalleeAmt = I->getOperand(1).getImm()) {
Evan Cheng25ab6902006-09-08 06:48:29 +0000429 unsigned Opc = (CalleeAmt < 128) ?
430 (Is64Bit ? X86::SUB64ri8 : X86::SUB32ri8) :
431 (Is64Bit ? X86::SUB64ri32 : X86::SUB32ri);
Dale Johannesen21b55412009-02-12 23:08:38 +0000432 MachineInstr *Old = I;
Jeff Cohen00b168892005-07-27 06:12:32 +0000433 MachineInstr *New =
Dale Johannesen21b55412009-02-12 23:08:38 +0000434 BuildMI(MF, Old->getDebugLoc(), TII.get(Opc),
435 StackPtr).addReg(StackPtr).addImm(CalleeAmt);
Dan Gohmanbfd23c92008-12-18 22:03:42 +0000436 // The EFLAGS implicit def is dead.
437 New->getOperand(3).setIsDead();
438
Chris Lattnerbb07ef92004-02-14 19:49:54 +0000439 MBB.insert(I, New);
Chris Lattner3c1c03d2002-12-28 20:32:28 +0000440 }
441 }
442
Chris Lattnerbb07ef92004-02-14 19:49:54 +0000443 MBB.erase(I);
Chris Lattner3c1c03d2002-12-28 20:32:28 +0000444}
445
Evan Cheng5e6df462007-02-28 00:21:17 +0000446void X86RegisterInfo::eliminateFrameIndex(MachineBasicBlock::iterator II,
Evan Cheng97de9132007-05-01 09:13:03 +0000447 int SPAdj, RegScavenger *RS) const{
448 assert(SPAdj == 0 && "Unexpected");
449
Chris Lattnerd264bec2003-01-13 00:50:33 +0000450 unsigned i = 0;
Alkis Evlogimenosc0b9dc52004-02-12 02:27:10 +0000451 MachineInstr &MI = *II;
Nate Begemanf8be5e92004-08-14 22:05:10 +0000452 MachineFunction &MF = *MI.getParent()->getParent();
Dan Gohmand735b802008-10-03 15:45:36 +0000453 while (!MI.getOperand(i).isFI()) {
Chris Lattner3c1c03d2002-12-28 20:32:28 +0000454 ++i;
455 assert(i < MI.getNumOperands() && "Instr doesn't have FrameIndex operand!");
456 }
457
Chris Lattner8aa797a2007-12-30 23:10:15 +0000458 int FrameIndex = MI.getOperand(i).getIndex();
Anton Korobeynikov8e91ec52008-04-23 18:21:02 +0000459
460 unsigned BasePtr;
461 if (needsStackRealignment(MF))
462 BasePtr = (FrameIndex < 0 ? FramePtr : StackPtr);
463 else
464 BasePtr = (hasFP(MF) ? FramePtr : StackPtr);
465
Chris Lattnerd264bec2003-01-13 00:50:33 +0000466 // This must be part of a four operand memory reference. Replace the
Evan Cheng25ab6902006-09-08 06:48:29 +0000467 // FrameIndex with base register with EBP. Add an offset to the offset.
Anton Korobeynikov8e91ec52008-04-23 18:21:02 +0000468 MI.getOperand(i).ChangeToRegister(BasePtr, false);
Chris Lattnerd264bec2003-01-13 00:50:33 +0000469
Dan Gohman82779702008-12-24 00:27:51 +0000470 // Now add the frame object offset to the offset from EBP.
471 if (MI.getOperand(i+3).isImm()) {
472 // Offset is a 32-bit integer.
473 int Offset = getFrameIndexOffset(MF, FrameIndex) +
474 (int)(MI.getOperand(i+3).getImm());
475
476 MI.getOperand(i+3).ChangeToImmediate(Offset);
477 } else {
478 // Offset is symbolic. This is extremely rare.
479 uint64_t Offset = getFrameIndexOffset(MF, FrameIndex) +
480 (uint64_t)MI.getOperand(i+3).getOffset();
481 MI.getOperand(i+3).setOffset(Offset);
482 }
Chris Lattner3c1c03d2002-12-28 20:32:28 +0000483}
484
Chris Lattnerbb07ef92004-02-14 19:49:54 +0000485void
Anton Korobeynikovb51dce32008-04-23 18:20:17 +0000486X86RegisterInfo::processFunctionBeforeCalleeSavedScan(MachineFunction &MF,
487 RegScavenger *RS) const {
488 MachineFrameInfo *FFI = MF.getFrameInfo();
489
490 // Calculate and set max stack object alignment early, so we can decide
491 // whether we will need stack realignment (and thus FP).
Anton Korobeynikovdc28bd42008-04-23 18:23:50 +0000492 unsigned MaxAlign = std::max(FFI->getMaxAlignment(),
493 calculateMaxStackAlignment(FFI));
Anton Korobeynikovb51dce32008-04-23 18:20:17 +0000494
495 FFI->setMaxAlignment(MaxAlign);
496}
497
498void
Chris Lattnerbb07ef92004-02-14 19:49:54 +0000499X86RegisterInfo::processFunctionBeforeFrameFinalized(MachineFunction &MF) const{
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000500 X86MachineFunctionInfo *X86FI = MF.getInfo<X86MachineFunctionInfo>();
501 int32_t TailCallReturnAddrDelta = X86FI->getTCReturnAddrDelta();
502 if (TailCallReturnAddrDelta < 0) {
503 // create RETURNADDR area
504 // arg
505 // arg
506 // RETADDR
507 // { ...
508 // RETADDR area
509 // ...
510 // }
511 // [EBP]
512 MF.getFrameInfo()->
513 CreateFixedObject(-TailCallReturnAddrDelta,
514 (-1*SlotSize)+TailCallReturnAddrDelta);
515 }
Chris Lattner3c1c03d2002-12-28 20:32:28 +0000516 if (hasFP(MF)) {
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000517 assert((TailCallReturnAddrDelta <= 0) &&
518 "The Delta should always be zero or negative");
Chris Lattner3c1c03d2002-12-28 20:32:28 +0000519 // Create a frame entry for the EBP register that must be saved.
Chris Lattner7c6eefa2007-04-25 17:23:53 +0000520 int FrameIdx = MF.getFrameInfo()->CreateFixedObject(SlotSize,
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000521 (int)SlotSize * -2+
522 TailCallReturnAddrDelta);
Chris Lattner96c3d2e2004-02-15 00:15:37 +0000523 assert(FrameIdx == MF.getFrameInfo()->getObjectIndexBegin() &&
524 "Slot for EBP register must be last in order to be found!");
Devang Patelfd1c6c32008-12-23 21:56:28 +0000525 FrameIdx = 0;
Chris Lattner3c1c03d2002-12-28 20:32:28 +0000526 }
527}
528
Evan Chenga24dddd2007-04-26 01:09:28 +0000529/// emitSPUpdate - Emit a series of instructions to increment / decrement the
530/// stack pointer by a constant value.
531static
532void emitSPUpdate(MachineBasicBlock &MBB, MachineBasicBlock::iterator &MBBI,
533 unsigned StackPtr, int64_t NumBytes, bool Is64Bit,
534 const TargetInstrInfo &TII) {
535 bool isSub = NumBytes < 0;
536 uint64_t Offset = isSub ? -NumBytes : NumBytes;
537 unsigned Opc = isSub
538 ? ((Offset < 128) ?
539 (Is64Bit ? X86::SUB64ri8 : X86::SUB32ri8) :
540 (Is64Bit ? X86::SUB64ri32 : X86::SUB32ri))
541 : ((Offset < 128) ?
542 (Is64Bit ? X86::ADD64ri8 : X86::ADD32ri8) :
543 (Is64Bit ? X86::ADD64ri32 : X86::ADD32ri));
544 uint64_t Chunk = (1LL << 31) - 1;
Bill Wendling5a45d762009-02-21 01:11:36 +0000545 DebugLoc DL = (MBBI != MBB.end() ? MBBI->getDebugLoc() :
546 DebugLoc::getUnknownLoc());
Evan Chenga24dddd2007-04-26 01:09:28 +0000547
548 while (Offset) {
549 uint64_t ThisVal = (Offset > Chunk) ? Chunk : Offset;
Dan Gohmanbfd23c92008-12-18 22:03:42 +0000550 MachineInstr *MI =
Dale Johannesen8d13f8f2009-02-13 02:33:27 +0000551 BuildMI(MBB, MBBI, DL, TII.get(Opc), StackPtr)
552 .addReg(StackPtr).addImm(ThisVal);
Dan Gohmanbfd23c92008-12-18 22:03:42 +0000553 // The EFLAGS implicit def is dead.
554 MI->getOperand(3).setIsDead();
Evan Chenga24dddd2007-04-26 01:09:28 +0000555 Offset -= ThisVal;
556 }
557}
558
Anton Korobeynikov4f1c33f2007-10-06 16:17:49 +0000559// mergeSPUpdatesUp - Merge two stack-manipulating instructions upper iterator.
560static
561void mergeSPUpdatesUp(MachineBasicBlock &MBB, MachineBasicBlock::iterator &MBBI,
562 unsigned StackPtr, uint64_t *NumBytes = NULL) {
Chris Lattnereac93852007-10-07 21:53:12 +0000563 if (MBBI == MBB.begin()) return;
Anton Korobeynikove2011902008-04-23 18:15:11 +0000564
Chris Lattnereac93852007-10-07 21:53:12 +0000565 MachineBasicBlock::iterator PI = prior(MBBI);
566 unsigned Opc = PI->getOpcode();
567 if ((Opc == X86::ADD64ri32 || Opc == X86::ADD64ri8 ||
568 Opc == X86::ADD32ri || Opc == X86::ADD32ri8) &&
569 PI->getOperand(0).getReg() == StackPtr) {
570 if (NumBytes)
571 *NumBytes += PI->getOperand(2).getImm();
572 MBB.erase(PI);
573 } else if ((Opc == X86::SUB64ri32 || Opc == X86::SUB64ri8 ||
574 Opc == X86::SUB32ri || Opc == X86::SUB32ri8) &&
575 PI->getOperand(0).getReg() == StackPtr) {
576 if (NumBytes)
577 *NumBytes -= PI->getOperand(2).getImm();
578 MBB.erase(PI);
Anton Korobeynikov4f1c33f2007-10-06 16:17:49 +0000579 }
580}
581
Anton Korobeynikov25083722007-10-06 16:39:43 +0000582// mergeSPUpdatesUp - Merge two stack-manipulating instructions lower iterator.
583static
Chris Lattnereac93852007-10-07 21:53:12 +0000584void mergeSPUpdatesDown(MachineBasicBlock &MBB,
585 MachineBasicBlock::iterator &MBBI,
Anton Korobeynikov25083722007-10-06 16:39:43 +0000586 unsigned StackPtr, uint64_t *NumBytes = NULL) {
Chris Lattnerf443ba72007-10-07 22:00:31 +0000587 return;
Anton Korobeynikove2011902008-04-23 18:15:11 +0000588
Chris Lattnereac93852007-10-07 21:53:12 +0000589 if (MBBI == MBB.end()) return;
Anton Korobeynikove2011902008-04-23 18:15:11 +0000590
Chris Lattnereac93852007-10-07 21:53:12 +0000591 MachineBasicBlock::iterator NI = next(MBBI);
592 if (NI == MBB.end()) return;
Anton Korobeynikove2011902008-04-23 18:15:11 +0000593
Chris Lattnereac93852007-10-07 21:53:12 +0000594 unsigned Opc = NI->getOpcode();
595 if ((Opc == X86::ADD64ri32 || Opc == X86::ADD64ri8 ||
596 Opc == X86::ADD32ri || Opc == X86::ADD32ri8) &&
597 NI->getOperand(0).getReg() == StackPtr) {
598 if (NumBytes)
599 *NumBytes -= NI->getOperand(2).getImm();
600 MBB.erase(NI);
601 MBBI = NI;
602 } else if ((Opc == X86::SUB64ri32 || Opc == X86::SUB64ri8 ||
603 Opc == X86::SUB32ri || Opc == X86::SUB32ri8) &&
604 NI->getOperand(0).getReg() == StackPtr) {
605 if (NumBytes)
606 *NumBytes += NI->getOperand(2).getImm();
607 MBB.erase(NI);
608 MBBI = NI;
Anton Korobeynikov25083722007-10-06 16:39:43 +0000609 }
610}
611
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000612/// mergeSPUpdates - Checks the instruction before/after the passed
Anton Korobeynikove2011902008-04-23 18:15:11 +0000613/// instruction. If it is an ADD/SUB instruction it is deleted
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000614/// argument and the stack adjustment is returned as a positive value for ADD
Anton Korobeynikove2011902008-04-23 18:15:11 +0000615/// and a negative for SUB.
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000616static int mergeSPUpdates(MachineBasicBlock &MBB,
617 MachineBasicBlock::iterator &MBBI,
Anton Korobeynikove2011902008-04-23 18:15:11 +0000618 unsigned StackPtr,
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000619 bool doMergeWithPrevious) {
620
621 if ((doMergeWithPrevious && MBBI == MBB.begin()) ||
622 (!doMergeWithPrevious && MBBI == MBB.end()))
623 return 0;
624
625 int Offset = 0;
626
627 MachineBasicBlock::iterator PI = doMergeWithPrevious ? prior(MBBI) : MBBI;
628 MachineBasicBlock::iterator NI = doMergeWithPrevious ? 0 : next(MBBI);
629 unsigned Opc = PI->getOpcode();
630 if ((Opc == X86::ADD64ri32 || Opc == X86::ADD64ri8 ||
631 Opc == X86::ADD32ri || Opc == X86::ADD32ri8) &&
632 PI->getOperand(0).getReg() == StackPtr){
633 Offset += PI->getOperand(2).getImm();
634 MBB.erase(PI);
635 if (!doMergeWithPrevious) MBBI = NI;
636 } else if ((Opc == X86::SUB64ri32 || Opc == X86::SUB64ri8 ||
637 Opc == X86::SUB32ri || Opc == X86::SUB32ri8) &&
638 PI->getOperand(0).getReg() == StackPtr) {
639 Offset -= PI->getOperand(2).getImm();
640 MBB.erase(PI);
641 if (!doMergeWithPrevious) MBBI = NI;
Anton Korobeynikove2011902008-04-23 18:15:11 +0000642 }
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000643
644 return Offset;
645}
646
Anton Korobeynikov9bbbea52008-04-23 18:15:48 +0000647void X86RegisterInfo::emitFrameMoves(MachineFunction &MF,
648 unsigned FrameLabelId,
649 unsigned ReadyLabelId) const {
650 MachineFrameInfo *MFI = MF.getFrameInfo();
651 MachineModuleInfo *MMI = MFI->getMachineModuleInfo();
652 if (!MMI)
653 return;
654
655 uint64_t StackSize = MFI->getStackSize();
656 std::vector<MachineMove> &Moves = MMI->getFrameMoves();
657 const TargetData *TD = MF.getTarget().getTargetData();
658
659 // Calculate amount of bytes used for return address storing
660 int stackGrowth =
661 (MF.getTarget().getFrameInfo()->getStackGrowthDirection() ==
662 TargetFrameInfo::StackGrowsUp ?
663 TD->getPointerSize() : -TD->getPointerSize());
664
665 if (StackSize) {
666 // Show update of SP.
667 if (hasFP(MF)) {
668 // Adjust SP
669 MachineLocation SPDst(MachineLocation::VirtualFP);
670 MachineLocation SPSrc(MachineLocation::VirtualFP, 2*stackGrowth);
671 Moves.push_back(MachineMove(FrameLabelId, SPDst, SPSrc));
672 } else {
673 MachineLocation SPDst(MachineLocation::VirtualFP);
674 MachineLocation SPSrc(MachineLocation::VirtualFP,
675 -StackSize+stackGrowth);
676 Moves.push_back(MachineMove(FrameLabelId, SPDst, SPSrc));
677 }
678 } else {
679 //FIXME: Verify & implement for FP
680 MachineLocation SPDst(StackPtr);
681 MachineLocation SPSrc(StackPtr, stackGrowth);
682 Moves.push_back(MachineMove(FrameLabelId, SPDst, SPSrc));
683 }
684
685 // Add callee saved registers to move list.
686 const std::vector<CalleeSavedInfo> &CSI = MFI->getCalleeSavedInfo();
687
688 // FIXME: This is dirty hack. The code itself is pretty mess right now.
689 // It should be rewritten from scratch and generalized sometimes.
690
691 // Determine maximum offset (minumum due to stack growth)
692 int64_t MaxOffset = 0;
693 for (unsigned I = 0, E = CSI.size(); I!=E; ++I)
694 MaxOffset = std::min(MaxOffset,
695 MFI->getObjectOffset(CSI[I].getFrameIdx()));
696
697 // Calculate offsets
698 int64_t saveAreaOffset = (hasFP(MF) ? 3 : 2)*stackGrowth;
699 for (unsigned I = 0, E = CSI.size(); I!=E; ++I) {
700 int64_t Offset = MFI->getObjectOffset(CSI[I].getFrameIdx());
701 unsigned Reg = CSI[I].getReg();
702 Offset = (MaxOffset-Offset+saveAreaOffset);
703 MachineLocation CSDst(MachineLocation::VirtualFP, Offset);
704 MachineLocation CSSrc(Reg);
705 Moves.push_back(MachineMove(FrameLabelId, CSDst, CSSrc));
706 }
707
708 if (hasFP(MF)) {
709 // Save FP
710 MachineLocation FPDst(MachineLocation::VirtualFP, 2*stackGrowth);
711 MachineLocation FPSrc(FramePtr);
712 Moves.push_back(MachineMove(ReadyLabelId, FPDst, FPSrc));
713 }
714
715 MachineLocation FPDst(hasFP(MF) ? FramePtr : StackPtr);
716 MachineLocation FPSrc(MachineLocation::VirtualFP);
717 Moves.push_back(MachineMove(ReadyLabelId, FPDst, FPSrc));
718}
719
720
Chris Lattnerbb07ef92004-02-14 19:49:54 +0000721void X86RegisterInfo::emitPrologue(MachineFunction &MF) const {
Chris Lattner198ab642002-12-15 20:06:35 +0000722 MachineBasicBlock &MBB = MF.front(); // Prolog goes in entry BB
Chris Lattnereafa4232003-01-15 22:57:35 +0000723 MachineFrameInfo *MFI = MF.getFrameInfo();
Evan Cheng3649b0e2006-06-02 22:38:37 +0000724 const Function* Fn = MF.getFunction();
725 const X86Subtarget* Subtarget = &MF.getTarget().getSubtarget<X86Subtarget>();
Jim Laskey44c3b9f2007-01-26 21:22:28 +0000726 MachineModuleInfo *MMI = MFI->getMachineModuleInfo();
Evan Cheng89d16592007-07-17 07:59:08 +0000727 X86MachineFunctionInfo *X86FI = MF.getInfo<X86MachineFunctionInfo>();
728 MachineBasicBlock::iterator MBBI = MBB.begin();
Anton Korobeynikove2011902008-04-23 18:15:11 +0000729 bool needsFrameMoves = (MMI && MMI->hasDebugInfo()) ||
Dale Johannesen4e1b7942008-04-08 00:10:24 +0000730 !Fn->doesNotThrow() ||
Dale Johannesen3541af72008-04-14 17:54:17 +0000731 UnwindTablesMandatory;
Bill Wendling5a45d762009-02-21 01:11:36 +0000732 DebugLoc DL = (MBBI != MBB.end() ? MBBI->getDebugLoc() :
733 DebugLoc::getUnknownLoc());
Bill Wendling3d2445f2009-02-21 00:43:56 +0000734
Jim Laskey072200c2007-01-29 18:51:14 +0000735 // Prepare for frame info.
Dan Gohman5e6e93e2007-09-24 16:44:26 +0000736 unsigned FrameLabelId = 0;
Anton Korobeynikove2011902008-04-23 18:15:11 +0000737
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000738 // Get the number of bytes to allocate from the FrameInfo.
Evan Cheng89d16592007-07-17 07:59:08 +0000739 uint64_t StackSize = MFI->getStackSize();
Bill Wendling3d2445f2009-02-21 00:43:56 +0000740
Anton Korobeynikov2c430cb2008-04-23 18:21:27 +0000741 // Get desired stack alignment
742 uint64_t MaxAlign = MFI->getMaxAlignment();
743
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000744 // Add RETADDR move area to callee saved frame size.
745 int TailCallReturnAddrDelta = X86FI->getTCReturnAddrDelta();
Anton Korobeynikove2011902008-04-23 18:15:11 +0000746 if (TailCallReturnAddrDelta < 0)
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000747 X86FI->setCalleeSavedFrameSize(
748 X86FI->getCalleeSavedFrameSize() +(-TailCallReturnAddrDelta));
Evan Chengd9245ca2006-04-14 07:26:43 +0000749
Dan Gohman336b6362009-01-27 00:40:06 +0000750 // If this is x86-64 and the Red Zone is not disabled, if we are a leaf
751 // function, and use up to 128 bytes of stack space, don't have a frame
752 // pointer, calls, or dynamic alloca then we do not need to adjust the
753 // stack pointer (we fit in the Red Zone).
754 if (Is64Bit && !DisableRedZone &&
755 !needsStackRealignment(MF) &&
756 !MFI->hasVarSizedObjects() && // No dynamic alloca.
757 !MFI->hasCalls()) { // No calls.
758 uint64_t MinSize = X86FI->getCalleeSavedFrameSize();
759 if (hasFP(MF)) MinSize += SlotSize;
760 StackSize = std::max(MinSize,
761 StackSize > 128 ? StackSize - 128 : 0);
762 MFI->setStackSize(StackSize);
763 }
764
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000765 // Insert stack pointer adjustment for later moving of return addr. Only
766 // applies to tail call optimized functions where the callee argument stack
767 // size is bigger than the callers.
768 if (TailCallReturnAddrDelta < 0) {
Dan Gohmanbfd23c92008-12-18 22:03:42 +0000769 MachineInstr *MI =
Dale Johannesen21b55412009-02-12 23:08:38 +0000770 BuildMI(MBB, MBBI, DL, TII.get(Is64Bit? X86::SUB64ri32 : X86::SUB32ri),
Dan Gohmanbfd23c92008-12-18 22:03:42 +0000771 StackPtr).addReg(StackPtr).addImm(-TailCallReturnAddrDelta);
772 // The EFLAGS implicit def is dead.
773 MI->getOperand(3).setIsDead();
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000774 }
775
Anton Korobeynikov2c430cb2008-04-23 18:21:27 +0000776 uint64_t NumBytes = 0;
Evan Cheng89d16592007-07-17 07:59:08 +0000777 if (hasFP(MF)) {
Anton Korobeynikov2c430cb2008-04-23 18:21:27 +0000778 // Calculate required stack adjustment
779 uint64_t FrameSize = StackSize - SlotSize;
780 if (needsStackRealignment(MF))
781 FrameSize = (FrameSize + MaxAlign - 1)/MaxAlign*MaxAlign;
782
783 NumBytes = FrameSize - X86FI->getCalleeSavedFrameSize();
784
Evan Cheng89d16592007-07-17 07:59:08 +0000785 // Get the offset of the stack slot for the EBP register... which is
786 // guaranteed to be the last slot by processFunctionBeforeFrameFinalized.
787 // Update the frame offset adjustment.
Anton Korobeynikov2c430cb2008-04-23 18:21:27 +0000788 MFI->setOffsetAdjustment(-NumBytes);
Evan Cheng89d16592007-07-17 07:59:08 +0000789
790 // Save EBP into the appropriate stack slot...
Dale Johannesen21b55412009-02-12 23:08:38 +0000791 BuildMI(MBB, MBBI, DL, TII.get(Is64Bit ? X86::PUSH64r : X86::PUSH32r))
Dan Gohman25a1b472008-11-26 06:39:12 +0000792 .addReg(FramePtr, /*isDef=*/false, /*isImp=*/false, /*isKill=*/true);
Evan Cheng89d16592007-07-17 07:59:08 +0000793
Bill Wendling92c1e122009-02-13 02:16:35 +0000794 if (needsFrameMoves) {
795 // Mark effective beginning of when frame pointer becomes valid.
796 FrameLabelId = MMI->NextLabelID();
797 BuildMI(MBB, MBBI, DL, TII.get(X86::DBG_LABEL)).addImm(FrameLabelId);
798 }
799
Evan Cheng89d16592007-07-17 07:59:08 +0000800 // Update EBP with the new base value...
Dale Johannesen21b55412009-02-12 23:08:38 +0000801 BuildMI(MBB, MBBI, DL,
802 TII.get(Is64Bit ? X86::MOV64rr : X86::MOV32rr), FramePtr)
803 .addReg(StackPtr);
Anton Korobeynikov2c430cb2008-04-23 18:21:27 +0000804
Dan Gohman34d6ad72008-12-18 22:01:52 +0000805 // Mark the FramePtr as live-in in every block except the entry.
806 for (MachineFunction::iterator I = next(MF.begin()), E = MF.end();
807 I != E; ++I)
808 I->addLiveIn(FramePtr);
809
Anton Korobeynikov2c430cb2008-04-23 18:21:27 +0000810 // Realign stack
Dan Gohmanbfd23c92008-12-18 22:03:42 +0000811 if (needsStackRealignment(MF)) {
812 MachineInstr *MI =
Dale Johannesen21b55412009-02-12 23:08:38 +0000813 BuildMI(MBB, MBBI, DL,
Dan Gohmanbfd23c92008-12-18 22:03:42 +0000814 TII.get(Is64Bit ? X86::AND64ri32 : X86::AND32ri),
815 StackPtr).addReg(StackPtr).addImm(-MaxAlign);
816 // The EFLAGS implicit def is dead.
817 MI->getOperand(3).setIsDead();
818 }
Bill Wendling3d2445f2009-02-21 00:43:56 +0000819 } else {
Anton Korobeynikov2c430cb2008-04-23 18:21:27 +0000820 NumBytes = StackSize - X86FI->getCalleeSavedFrameSize();
Bill Wendling3d2445f2009-02-21 00:43:56 +0000821 }
Anton Korobeynikove2011902008-04-23 18:15:11 +0000822
Evan Cheng89d16592007-07-17 07:59:08 +0000823 unsigned ReadyLabelId = 0;
Bill Wendling92c1e122009-02-13 02:16:35 +0000824 if (needsFrameMoves) {
Evan Cheng89d16592007-07-17 07:59:08 +0000825 // Mark effective beginning of when frame pointer is ready.
826 ReadyLabelId = MMI->NextLabelID();
Bill Wendling92c1e122009-02-13 02:16:35 +0000827 BuildMI(MBB, MBBI, DL, TII.get(X86::DBG_LABEL)).addImm(ReadyLabelId);
828 }
Evan Cheng89d16592007-07-17 07:59:08 +0000829
830 // Skip the callee-saved push instructions.
831 while (MBBI != MBB.end() &&
832 (MBBI->getOpcode() == X86::PUSH32r ||
833 MBBI->getOpcode() == X86::PUSH64r))
834 ++MBBI;
835
Bill Wendling3d2445f2009-02-21 00:43:56 +0000836 if (MBBI != MBB.end())
837 DL = MBBI->getDebugLoc();
838
Evan Chengd9245ca2006-04-14 07:26:43 +0000839 if (NumBytes) { // adjust stack pointer: ESP -= numbytes
Anton Korobeynikov317848f2007-01-03 11:43:14 +0000840 if (NumBytes >= 4096 && Subtarget->isTargetCygMing()) {
Anton Korobeynikov57fc00d2007-04-17 09:20:00 +0000841 // Check, whether EAX is livein for this function
842 bool isEAXAlive = false;
Chris Lattner84bc5422007-12-31 04:13:23 +0000843 for (MachineRegisterInfo::livein_iterator
844 II = MF.getRegInfo().livein_begin(),
845 EE = MF.getRegInfo().livein_end(); (II != EE) && !isEAXAlive; ++II) {
Anton Korobeynikov57fc00d2007-04-17 09:20:00 +0000846 unsigned Reg = II->first;
847 isEAXAlive = (Reg == X86::EAX || Reg == X86::AX ||
848 Reg == X86::AH || Reg == X86::AL);
849 }
850
Anton Korobeynikove2011902008-04-23 18:15:11 +0000851 // Function prologue calls _alloca to probe the stack when allocating
852 // more than 4k bytes in one go. Touching the stack at 4K increments is
Evan Cheng004fb922006-06-13 05:14:44 +0000853 // necessary to ensure that the guard pages used by the OS virtual memory
854 // manager are allocated in correct sequence.
Anton Korobeynikov57fc00d2007-04-17 09:20:00 +0000855 if (!isEAXAlive) {
Bill Wendling3d2445f2009-02-21 00:43:56 +0000856 BuildMI(MBB, MBBI, DL, TII.get(X86::MOV32ri), X86::EAX)
857 .addImm(NumBytes);
Dale Johannesen21b55412009-02-12 23:08:38 +0000858 BuildMI(MBB, MBBI, DL, TII.get(X86::CALLpcrel32))
Evan Cheng89d16592007-07-17 07:59:08 +0000859 .addExternalSymbol("_alloca");
Anton Korobeynikov57fc00d2007-04-17 09:20:00 +0000860 } else {
861 // Save EAX
Dale Johannesen21b55412009-02-12 23:08:38 +0000862 BuildMI(MBB, MBBI, DL, TII.get(X86::PUSH32r))
Dan Gohman25a1b472008-11-26 06:39:12 +0000863 .addReg(X86::EAX, /*isDef=*/false, /*isImp=*/false, /*isKill=*/true);
Anton Korobeynikov57fc00d2007-04-17 09:20:00 +0000864 // Allocate NumBytes-4 bytes on stack. We'll also use 4 already
865 // allocated bytes for EAX.
Dale Johannesen21b55412009-02-12 23:08:38 +0000866 BuildMI(MBB, MBBI, DL,
867 TII.get(X86::MOV32ri), X86::EAX).addImm(NumBytes-4);
868 BuildMI(MBB, MBBI, DL, TII.get(X86::CALLpcrel32))
Evan Cheng89d16592007-07-17 07:59:08 +0000869 .addExternalSymbol("_alloca");
Anton Korobeynikov57fc00d2007-04-17 09:20:00 +0000870 // Restore EAX
Dale Johannesen21b55412009-02-12 23:08:38 +0000871 MachineInstr *MI = addRegOffset(BuildMI(MF, DL, TII.get(X86::MOV32rm),
872 X86::EAX),
Evan Cheng9f1c8312008-07-03 09:09:37 +0000873 StackPtr, false, NumBytes-4);
Anton Korobeynikov57fc00d2007-04-17 09:20:00 +0000874 MBB.insert(MBBI, MI);
875 }
Evan Cheng004fb922006-06-13 05:14:44 +0000876 } else {
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000877 // If there is an SUB32ri of ESP immediately before this instruction,
878 // merge the two. This can be the case when tail call elimination is
879 // enabled and the callee has more arguments then the caller.
880 NumBytes -= mergeSPUpdates(MBB, MBBI, StackPtr, true);
Anton Korobeynikov25083722007-10-06 16:39:43 +0000881 // If there is an ADD32ri or SUB32ri of ESP immediately after this
Evan Cheng9b8c6742007-07-17 21:26:42 +0000882 // instruction, merge the two instructions.
Anton Korobeynikov25083722007-10-06 16:39:43 +0000883 mergeSPUpdatesDown(MBB, MBBI, StackPtr, &NumBytes);
Anton Korobeynikove2011902008-04-23 18:15:11 +0000884
Evan Cheng9b8c6742007-07-17 21:26:42 +0000885 if (NumBytes)
886 emitSPUpdate(MBB, MBBI, StackPtr, -(int64_t)NumBytes, Is64Bit, TII);
Evan Cheng004fb922006-06-13 05:14:44 +0000887 }
Evan Chengd9245ca2006-04-14 07:26:43 +0000888 }
889
Anton Korobeynikov9bbbea52008-04-23 18:15:48 +0000890 if (needsFrameMoves)
891 emitFrameMoves(MF, FrameLabelId, ReadyLabelId);
Misha Brukman2adb3952002-12-04 23:57:03 +0000892}
893
Chris Lattnerbb07ef92004-02-14 19:49:54 +0000894void X86RegisterInfo::emitEpilogue(MachineFunction &MF,
895 MachineBasicBlock &MBB) const {
Chris Lattneraa09b752002-12-28 21:08:28 +0000896 const MachineFrameInfo *MFI = MF.getFrameInfo();
Evan Cheng89d16592007-07-17 07:59:08 +0000897 X86MachineFunctionInfo *X86FI = MF.getInfo<X86MachineFunctionInfo>();
Alkis Evlogimenosf81af212004-02-14 01:18:34 +0000898 MachineBasicBlock::iterator MBBI = prior(MBB.end());
Anton Korobeynikov2365f512007-07-14 14:06:15 +0000899 unsigned RetOpcode = MBBI->getOpcode();
Bill Wendling2625f9b2009-02-21 00:32:08 +0000900 DebugLoc DL = MBBI->getDebugLoc();
Chris Lattner2b3d56e2005-05-14 23:35:21 +0000901
Anton Korobeynikov2365f512007-07-14 14:06:15 +0000902 switch (RetOpcode) {
Chris Lattner2b3d56e2005-05-14 23:35:21 +0000903 case X86::RET:
904 case X86::RETI:
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000905 case X86::TCRETURNdi:
906 case X86::TCRETURNri:
907 case X86::TCRETURNri64:
908 case X86::TCRETURNdi64:
Anton Korobeynikov2365f512007-07-14 14:06:15 +0000909 case X86::EH_RETURN:
Anton Korobeynikovb84c1672008-09-08 21:12:47 +0000910 case X86::EH_RETURN64:
Chris Lattner2b3d56e2005-05-14 23:35:21 +0000911 case X86::TAILJMPd:
912 case X86::TAILJMPr:
913 case X86::TAILJMPm: break; // These are ok
914 default:
915 assert(0 && "Can only insert epilog into returning blocks");
916 }
Misha Brukman2adb3952002-12-04 23:57:03 +0000917
Evan Cheng89d16592007-07-17 07:59:08 +0000918 // Get the number of bytes to allocate from the FrameInfo
919 uint64_t StackSize = MFI->getStackSize();
Anton Korobeynikov2c430cb2008-04-23 18:21:27 +0000920 uint64_t MaxAlign = MFI->getMaxAlignment();
Evan Cheng89d16592007-07-17 07:59:08 +0000921 unsigned CSSize = X86FI->getCalleeSavedFrameSize();
Anton Korobeynikov2c430cb2008-04-23 18:21:27 +0000922 uint64_t NumBytes = 0;
Evan Cheng89d16592007-07-17 07:59:08 +0000923
Chris Lattner3c1c03d2002-12-28 20:32:28 +0000924 if (hasFP(MF)) {
Anton Korobeynikov2c430cb2008-04-23 18:21:27 +0000925 // Calculate required stack adjustment
926 uint64_t FrameSize = StackSize - SlotSize;
927 if (needsStackRealignment(MF))
928 FrameSize = (FrameSize + MaxAlign - 1)/MaxAlign*MaxAlign;
929
930 NumBytes = FrameSize - CSSize;
931
Evan Cheng89d16592007-07-17 07:59:08 +0000932 // pop EBP.
Bill Wendling3d2445f2009-02-21 00:43:56 +0000933 BuildMI(MBB, MBBI, DL,
Dale Johannesen21b55412009-02-12 23:08:38 +0000934 TII.get(Is64Bit ? X86::POP64r : X86::POP32r), FramePtr);
Bill Wendling2625f9b2009-02-21 00:32:08 +0000935 } else {
Anton Korobeynikov2c430cb2008-04-23 18:21:27 +0000936 NumBytes = StackSize - CSSize;
Bill Wendling2625f9b2009-02-21 00:32:08 +0000937 }
Anton Korobeynikov2365f512007-07-14 14:06:15 +0000938
Evan Chengf27795d2007-07-17 18:03:34 +0000939 // Skip the callee-saved pop instructions.
Anton Korobeynikov2c430cb2008-04-23 18:21:27 +0000940 MachineBasicBlock::iterator LastCSPop = MBBI;
Evan Chengf27795d2007-07-17 18:03:34 +0000941 while (MBBI != MBB.begin()) {
Evan Chengfcc87932007-07-26 17:45:41 +0000942 MachineBasicBlock::iterator PI = prior(MBBI);
943 unsigned Opc = PI->getOpcode();
Bill Wendlingf7c09402008-10-31 18:30:19 +0000944 if (Opc != X86::POP32r && Opc != X86::POP64r &&
945 !PI->getDesc().isTerminator())
Evan Chengf27795d2007-07-17 18:03:34 +0000946 break;
947 --MBBI;
948 }
949
Bill Wendling3d2445f2009-02-21 00:43:56 +0000950 DL = MBBI->getDebugLoc();
951
Anton Korobeynikov4f1c33f2007-10-06 16:17:49 +0000952 // If there is an ADD32ri or SUB32ri of ESP immediately before this
953 // instruction, merge the two instructions.
954 if (NumBytes || MFI->hasVarSizedObjects())
955 mergeSPUpdatesUp(MBB, MBBI, StackPtr, &NumBytes);
Evan Cheng5b3332c2007-07-17 18:40:47 +0000956
Anton Korobeynikov4f1c33f2007-10-06 16:17:49 +0000957 // If dynamic alloca is used, then reset esp to point to the last callee-saved
Anton Korobeynikov2c430cb2008-04-23 18:21:27 +0000958 // slot before popping them off! Same applies for the case, when stack was
959 // realigned
960 if (needsStackRealignment(MF)) {
961 // We cannot use LEA here, because stack pointer was realigned. We need to
962 // deallocate local frame back
Evan Cheng3c46eef2007-07-18 21:26:06 +0000963 if (CSSize) {
Anton Korobeynikov2c430cb2008-04-23 18:21:27 +0000964 emitSPUpdate(MBB, MBBI, StackPtr, NumBytes, Is64Bit, TII);
965 MBBI = prior(LastCSPop);
966 }
967
Dale Johannesen21b55412009-02-12 23:08:38 +0000968 BuildMI(MBB, MBBI, DL,
Anton Korobeynikov2c430cb2008-04-23 18:21:27 +0000969 TII.get(Is64Bit ? X86::MOV64rr : X86::MOV32rr),
970 StackPtr).addReg(FramePtr);
971 } else if (MFI->hasVarSizedObjects()) {
972 if (CSSize) {
973 unsigned Opc = Is64Bit ? X86::LEA64r : X86::LEA32r;
Rafael Espindola2a6411b2009-04-07 21:37:46 +0000974 MachineInstr *MI = addLeaRegOffset(BuildMI(MF, DL, TII.get(Opc), StackPtr),
975 FramePtr, false, -CSSize);
Evan Cheng3c46eef2007-07-18 21:26:06 +0000976 MBB.insert(MBBI, MI);
977 } else
Dale Johannesen21b55412009-02-12 23:08:38 +0000978 BuildMI(MBB, MBBI, DL, TII.get(Is64Bit ? X86::MOV64rr : X86::MOV32rr),
Nate Begemanbeb572b2008-07-25 17:34:41 +0000979 StackPtr).addReg(FramePtr);
Evan Cheng3c46eef2007-07-18 21:26:06 +0000980
Anton Korobeynikov2c430cb2008-04-23 18:21:27 +0000981 } else {
982 // adjust stack pointer back: ESP += numbytes
983 if (NumBytes)
984 emitSPUpdate(MBB, MBBI, StackPtr, NumBytes, Is64Bit, TII);
Evan Cheng3c46eef2007-07-18 21:26:06 +0000985 }
986
Evan Cheng5b3332c2007-07-17 18:40:47 +0000987 // We're returning from function via eh_return.
Anton Korobeynikovb84c1672008-09-08 21:12:47 +0000988 if (RetOpcode == X86::EH_RETURN || RetOpcode == X86::EH_RETURN64) {
Evan Cheng5b3332c2007-07-17 18:40:47 +0000989 MBBI = prior(MBB.end());
990 MachineOperand &DestAddr = MBBI->getOperand(0);
Dan Gohmand735b802008-10-03 15:45:36 +0000991 assert(DestAddr.isReg() && "Offset should be in register!");
Dale Johannesen21b55412009-02-12 23:08:38 +0000992 BuildMI(MBB, MBBI, DL,
Anton Korobeynikovb84c1672008-09-08 21:12:47 +0000993 TII.get(Is64Bit ? X86::MOV64rr : X86::MOV32rr),
994 StackPtr).addReg(DestAddr.getReg());
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000995 // Tail call return: adjust the stack pointer and jump to callee
996 } else if (RetOpcode == X86::TCRETURNri || RetOpcode == X86::TCRETURNdi ||
997 RetOpcode== X86::TCRETURNri64 || RetOpcode == X86::TCRETURNdi64) {
998 MBBI = prior(MBB.end());
999 MachineOperand &JumpTarget = MBBI->getOperand(0);
1000 MachineOperand &StackAdjust = MBBI->getOperand(1);
Dan Gohmand735b802008-10-03 15:45:36 +00001001 assert(StackAdjust.isImm() && "Expecting immediate value.");
Anton Korobeynikove2011902008-04-23 18:15:11 +00001002
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +00001003 // Adjust stack pointer.
1004 int StackAdj = StackAdjust.getImm();
1005 int MaxTCDelta = X86FI->getTCReturnAddrDelta();
1006 int Offset = 0;
1007 assert(MaxTCDelta <= 0 && "MaxTCDelta should never be positive");
1008 // Incoporate the retaddr area.
1009 Offset = StackAdj-MaxTCDelta;
1010 assert(Offset >= 0 && "Offset should never be negative");
Bill Wendling3d2445f2009-02-21 00:43:56 +00001011
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +00001012 if (Offset) {
1013 // Check for possible merge with preceeding ADD instruction.
1014 Offset += mergeSPUpdates(MBB, MBBI, StackPtr, true);
1015 emitSPUpdate(MBB, MBBI, StackPtr, Offset, Is64Bit, TII);
Anton Korobeynikove2011902008-04-23 18:15:11 +00001016 }
Bill Wendling3d2445f2009-02-21 00:43:56 +00001017
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +00001018 // Jump to label or value in register.
1019 if (RetOpcode == X86::TCRETURNdi|| RetOpcode == X86::TCRETURNdi64)
Dale Johannesen21b55412009-02-12 23:08:38 +00001020 BuildMI(MBB, MBBI, DL, TII.get(X86::TAILJMPd)).
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +00001021 addGlobalAddress(JumpTarget.getGlobal(), JumpTarget.getOffset());
Bill Wendling3d2445f2009-02-21 00:43:56 +00001022 else if (RetOpcode== X86::TCRETURNri64)
Dale Johannesen21b55412009-02-12 23:08:38 +00001023 BuildMI(MBB, MBBI, DL, TII.get(X86::TAILJMPr64), JumpTarget.getReg());
Bill Wendling3d2445f2009-02-21 00:43:56 +00001024 else
Dale Johannesen21b55412009-02-12 23:08:38 +00001025 BuildMI(MBB, MBBI, DL, TII.get(X86::TAILJMPr), JumpTarget.getReg());
Bill Wendling3d2445f2009-02-21 00:43:56 +00001026
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +00001027 // Delete the pseudo instruction TCRETURN.
1028 MBB.erase(MBBI);
Anton Korobeynikove2011902008-04-23 18:15:11 +00001029 } else if ((RetOpcode == X86::RET || RetOpcode == X86::RETI) &&
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +00001030 (X86FI->getTCReturnAddrDelta() < 0)) {
1031 // Add the return addr area delta back since we are not tail calling.
1032 int delta = -1*X86FI->getTCReturnAddrDelta();
1033 MBBI = prior(MBB.end());
1034 // Check for possible merge with preceeding ADD instruction.
1035 delta += mergeSPUpdates(MBB, MBBI, StackPtr, true);
1036 emitSPUpdate(MBB, MBBI, StackPtr, delta, Is64Bit, TII);
Evan Cheng5b3332c2007-07-17 18:40:47 +00001037 }
Chris Lattner3c1c03d2002-12-28 20:32:28 +00001038}
1039
Jim Laskey41886992006-04-07 16:34:46 +00001040unsigned X86RegisterInfo::getRARegister() const {
Anton Korobeynikov038082d2007-05-02 08:46:03 +00001041 if (Is64Bit)
1042 return X86::RIP; // Should have dwarf #16
1043 else
1044 return X86::EIP; // Should have dwarf #8
Jim Laskey41886992006-04-07 16:34:46 +00001045}
1046
Jim Laskeya9979182006-03-28 13:48:33 +00001047unsigned X86RegisterInfo::getFrameRegister(MachineFunction &MF) const {
Evan Cheng25ab6902006-09-08 06:48:29 +00001048 return hasFP(MF) ? FramePtr : StackPtr;
Jim Laskeyf1d78e82006-03-23 18:12:57 +00001049}
1050
Jim Laskey0e410942007-01-24 19:15:24 +00001051void X86RegisterInfo::getInitialFrameState(std::vector<MachineMove> &Moves)
1052 const {
Anton Korobeynikov0ff3ca42007-05-12 22:36:25 +00001053 // Calculate amount of bytes used for return address storing
1054 int stackGrowth = (Is64Bit ? -8 : -4);
1055
1056 // Initial state of the frame pointer is esp+4.
Jim Laskey0e410942007-01-24 19:15:24 +00001057 MachineLocation Dst(MachineLocation::VirtualFP);
Anton Korobeynikov0ff3ca42007-05-12 22:36:25 +00001058 MachineLocation Src(StackPtr, stackGrowth);
Jim Laskey0e410942007-01-24 19:15:24 +00001059 Moves.push_back(MachineMove(0, Dst, Src));
Anton Korobeynikov0ff3ca42007-05-12 22:36:25 +00001060
1061 // Add return address to move list
1062 MachineLocation CSDst(StackPtr, stackGrowth);
1063 MachineLocation CSSrc(getRARegister());
1064 Moves.push_back(MachineMove(0, CSDst, CSSrc));
Jim Laskey0e410942007-01-24 19:15:24 +00001065}
1066
Jim Laskey62819f32007-02-21 22:54:50 +00001067unsigned X86RegisterInfo::getEHExceptionRegister() const {
1068 assert(0 && "What is the exception register");
1069 return 0;
1070}
1071
1072unsigned X86RegisterInfo::getEHHandlerRegister() const {
1073 assert(0 && "What is the exception handler register");
1074 return 0;
1075}
1076
Evan Cheng8f7f7122006-05-05 05:40:20 +00001077namespace llvm {
Duncan Sands83ec4b62008-06-06 12:08:01 +00001078unsigned getX86SubSuperRegister(unsigned Reg, MVT VT, bool High) {
1079 switch (VT.getSimpleVT()) {
Evan Cheng8f7f7122006-05-05 05:40:20 +00001080 default: return Reg;
1081 case MVT::i8:
1082 if (High) {
1083 switch (Reg) {
Evan Cheng25ab6902006-09-08 06:48:29 +00001084 default: return 0;
1085 case X86::AH: case X86::AL: case X86::AX: case X86::EAX: case X86::RAX:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001086 return X86::AH;
Evan Cheng25ab6902006-09-08 06:48:29 +00001087 case X86::DH: case X86::DL: case X86::DX: case X86::EDX: case X86::RDX:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001088 return X86::DH;
Evan Cheng25ab6902006-09-08 06:48:29 +00001089 case X86::CH: case X86::CL: case X86::CX: case X86::ECX: case X86::RCX:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001090 return X86::CH;
Evan Cheng25ab6902006-09-08 06:48:29 +00001091 case X86::BH: case X86::BL: case X86::BX: case X86::EBX: case X86::RBX:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001092 return X86::BH;
1093 }
1094 } else {
1095 switch (Reg) {
Evan Cheng25ab6902006-09-08 06:48:29 +00001096 default: return 0;
1097 case X86::AH: case X86::AL: case X86::AX: case X86::EAX: case X86::RAX:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001098 return X86::AL;
Evan Cheng25ab6902006-09-08 06:48:29 +00001099 case X86::DH: case X86::DL: case X86::DX: case X86::EDX: case X86::RDX:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001100 return X86::DL;
Evan Cheng25ab6902006-09-08 06:48:29 +00001101 case X86::CH: case X86::CL: case X86::CX: case X86::ECX: case X86::RCX:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001102 return X86::CL;
Evan Cheng25ab6902006-09-08 06:48:29 +00001103 case X86::BH: case X86::BL: case X86::BX: case X86::EBX: case X86::RBX:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001104 return X86::BL;
Evan Cheng25ab6902006-09-08 06:48:29 +00001105 case X86::SIL: case X86::SI: case X86::ESI: case X86::RSI:
1106 return X86::SIL;
1107 case X86::DIL: case X86::DI: case X86::EDI: case X86::RDI:
1108 return X86::DIL;
1109 case X86::BPL: case X86::BP: case X86::EBP: case X86::RBP:
1110 return X86::BPL;
1111 case X86::SPL: case X86::SP: case X86::ESP: case X86::RSP:
1112 return X86::SPL;
1113 case X86::R8B: case X86::R8W: case X86::R8D: case X86::R8:
1114 return X86::R8B;
1115 case X86::R9B: case X86::R9W: case X86::R9D: case X86::R9:
1116 return X86::R9B;
1117 case X86::R10B: case X86::R10W: case X86::R10D: case X86::R10:
1118 return X86::R10B;
1119 case X86::R11B: case X86::R11W: case X86::R11D: case X86::R11:
1120 return X86::R11B;
1121 case X86::R12B: case X86::R12W: case X86::R12D: case X86::R12:
1122 return X86::R12B;
1123 case X86::R13B: case X86::R13W: case X86::R13D: case X86::R13:
1124 return X86::R13B;
1125 case X86::R14B: case X86::R14W: case X86::R14D: case X86::R14:
1126 return X86::R14B;
1127 case X86::R15B: case X86::R15W: case X86::R15D: case X86::R15:
1128 return X86::R15B;
Evan Cheng8f7f7122006-05-05 05:40:20 +00001129 }
1130 }
1131 case MVT::i16:
1132 switch (Reg) {
1133 default: return Reg;
Evan Cheng25ab6902006-09-08 06:48:29 +00001134 case X86::AH: case X86::AL: case X86::AX: case X86::EAX: case X86::RAX:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001135 return X86::AX;
Evan Cheng25ab6902006-09-08 06:48:29 +00001136 case X86::DH: case X86::DL: case X86::DX: case X86::EDX: case X86::RDX:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001137 return X86::DX;
Evan Cheng25ab6902006-09-08 06:48:29 +00001138 case X86::CH: case X86::CL: case X86::CX: case X86::ECX: case X86::RCX:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001139 return X86::CX;
Evan Cheng25ab6902006-09-08 06:48:29 +00001140 case X86::BH: case X86::BL: case X86::BX: case X86::EBX: case X86::RBX:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001141 return X86::BX;
Evan Cheng25ab6902006-09-08 06:48:29 +00001142 case X86::SIL: case X86::SI: case X86::ESI: case X86::RSI:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001143 return X86::SI;
Evan Cheng25ab6902006-09-08 06:48:29 +00001144 case X86::DIL: case X86::DI: case X86::EDI: case X86::RDI:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001145 return X86::DI;
Evan Cheng25ab6902006-09-08 06:48:29 +00001146 case X86::BPL: case X86::BP: case X86::EBP: case X86::RBP:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001147 return X86::BP;
Evan Cheng25ab6902006-09-08 06:48:29 +00001148 case X86::SPL: case X86::SP: case X86::ESP: case X86::RSP:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001149 return X86::SP;
Evan Cheng25ab6902006-09-08 06:48:29 +00001150 case X86::R8B: case X86::R8W: case X86::R8D: case X86::R8:
1151 return X86::R8W;
1152 case X86::R9B: case X86::R9W: case X86::R9D: case X86::R9:
1153 return X86::R9W;
1154 case X86::R10B: case X86::R10W: case X86::R10D: case X86::R10:
1155 return X86::R10W;
1156 case X86::R11B: case X86::R11W: case X86::R11D: case X86::R11:
1157 return X86::R11W;
1158 case X86::R12B: case X86::R12W: case X86::R12D: case X86::R12:
1159 return X86::R12W;
1160 case X86::R13B: case X86::R13W: case X86::R13D: case X86::R13:
1161 return X86::R13W;
1162 case X86::R14B: case X86::R14W: case X86::R14D: case X86::R14:
1163 return X86::R14W;
1164 case X86::R15B: case X86::R15W: case X86::R15D: case X86::R15:
1165 return X86::R15W;
Evan Cheng8f7f7122006-05-05 05:40:20 +00001166 }
1167 case MVT::i32:
1168 switch (Reg) {
Evan Cheng25ab6902006-09-08 06:48:29 +00001169 default: return Reg;
1170 case X86::AH: case X86::AL: case X86::AX: case X86::EAX: case X86::RAX:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001171 return X86::EAX;
Evan Cheng25ab6902006-09-08 06:48:29 +00001172 case X86::DH: case X86::DL: case X86::DX: case X86::EDX: case X86::RDX:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001173 return X86::EDX;
Evan Cheng25ab6902006-09-08 06:48:29 +00001174 case X86::CH: case X86::CL: case X86::CX: case X86::ECX: case X86::RCX:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001175 return X86::ECX;
Evan Cheng25ab6902006-09-08 06:48:29 +00001176 case X86::BH: case X86::BL: case X86::BX: case X86::EBX: case X86::RBX:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001177 return X86::EBX;
Evan Cheng25ab6902006-09-08 06:48:29 +00001178 case X86::SIL: case X86::SI: case X86::ESI: case X86::RSI:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001179 return X86::ESI;
Evan Cheng25ab6902006-09-08 06:48:29 +00001180 case X86::DIL: case X86::DI: case X86::EDI: case X86::RDI:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001181 return X86::EDI;
Evan Cheng25ab6902006-09-08 06:48:29 +00001182 case X86::BPL: case X86::BP: case X86::EBP: case X86::RBP:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001183 return X86::EBP;
Evan Cheng25ab6902006-09-08 06:48:29 +00001184 case X86::SPL: case X86::SP: case X86::ESP: case X86::RSP:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001185 return X86::ESP;
Evan Cheng25ab6902006-09-08 06:48:29 +00001186 case X86::R8B: case X86::R8W: case X86::R8D: case X86::R8:
1187 return X86::R8D;
1188 case X86::R9B: case X86::R9W: case X86::R9D: case X86::R9:
1189 return X86::R9D;
1190 case X86::R10B: case X86::R10W: case X86::R10D: case X86::R10:
1191 return X86::R10D;
1192 case X86::R11B: case X86::R11W: case X86::R11D: case X86::R11:
1193 return X86::R11D;
1194 case X86::R12B: case X86::R12W: case X86::R12D: case X86::R12:
1195 return X86::R12D;
1196 case X86::R13B: case X86::R13W: case X86::R13D: case X86::R13:
1197 return X86::R13D;
1198 case X86::R14B: case X86::R14W: case X86::R14D: case X86::R14:
1199 return X86::R14D;
1200 case X86::R15B: case X86::R15W: case X86::R15D: case X86::R15:
1201 return X86::R15D;
1202 }
1203 case MVT::i64:
1204 switch (Reg) {
1205 default: return Reg;
1206 case X86::AH: case X86::AL: case X86::AX: case X86::EAX: case X86::RAX:
1207 return X86::RAX;
1208 case X86::DH: case X86::DL: case X86::DX: case X86::EDX: case X86::RDX:
1209 return X86::RDX;
1210 case X86::CH: case X86::CL: case X86::CX: case X86::ECX: case X86::RCX:
1211 return X86::RCX;
1212 case X86::BH: case X86::BL: case X86::BX: case X86::EBX: case X86::RBX:
1213 return X86::RBX;
1214 case X86::SIL: case X86::SI: case X86::ESI: case X86::RSI:
1215 return X86::RSI;
1216 case X86::DIL: case X86::DI: case X86::EDI: case X86::RDI:
1217 return X86::RDI;
1218 case X86::BPL: case X86::BP: case X86::EBP: case X86::RBP:
1219 return X86::RBP;
1220 case X86::SPL: case X86::SP: case X86::ESP: case X86::RSP:
1221 return X86::RSP;
1222 case X86::R8B: case X86::R8W: case X86::R8D: case X86::R8:
1223 return X86::R8;
1224 case X86::R9B: case X86::R9W: case X86::R9D: case X86::R9:
1225 return X86::R9;
1226 case X86::R10B: case X86::R10W: case X86::R10D: case X86::R10:
1227 return X86::R10;
1228 case X86::R11B: case X86::R11W: case X86::R11D: case X86::R11:
1229 return X86::R11;
1230 case X86::R12B: case X86::R12W: case X86::R12D: case X86::R12:
1231 return X86::R12;
1232 case X86::R13B: case X86::R13W: case X86::R13D: case X86::R13:
1233 return X86::R13;
1234 case X86::R14B: case X86::R14W: case X86::R14D: case X86::R14:
1235 return X86::R14;
1236 case X86::R15B: case X86::R15W: case X86::R15D: case X86::R15:
1237 return X86::R15;
Evan Cheng8f7f7122006-05-05 05:40:20 +00001238 }
1239 }
1240
1241 return Reg;
1242}
1243}
1244
Chris Lattner7ad3e062003-08-03 15:48:14 +00001245#include "X86GenRegisterInfo.inc"
Anton Korobeynikov856914f2008-04-23 18:23:05 +00001246
1247namespace {
1248 struct VISIBILITY_HIDDEN MSAC : public MachineFunctionPass {
1249 static char ID;
Dan Gohmanae73dc12008-09-04 17:05:41 +00001250 MSAC() : MachineFunctionPass(&ID) {}
Anton Korobeynikov856914f2008-04-23 18:23:05 +00001251
1252 virtual bool runOnMachineFunction(MachineFunction &MF) {
1253 MachineFrameInfo *FFI = MF.getFrameInfo();
Anton Korobeynikovd52bdaf2008-04-23 18:23:30 +00001254 MachineRegisterInfo &RI = MF.getRegInfo();
Anton Korobeynikov856914f2008-04-23 18:23:05 +00001255
Anton Korobeynikovd52bdaf2008-04-23 18:23:30 +00001256 // Calculate max stack alignment of all already allocated stack objects.
Anton Korobeynikov856914f2008-04-23 18:23:05 +00001257 unsigned MaxAlign = calculateMaxStackAlignment(FFI);
1258
Anton Korobeynikovd52bdaf2008-04-23 18:23:30 +00001259 // Be over-conservative: scan over all vreg defs and find, whether vector
1260 // registers are used. If yes - there is probability, that vector register
1261 // will be spilled and thus stack needs to be aligned properly.
1262 for (unsigned RegNum = TargetRegisterInfo::FirstVirtualRegister;
1263 RegNum < RI.getLastVirtReg(); ++RegNum)
1264 MaxAlign = std::max(MaxAlign, RI.getRegClass(RegNum)->getAlignment());
1265
Anton Korobeynikov856914f2008-04-23 18:23:05 +00001266 FFI->setMaxAlignment(MaxAlign);
1267
1268 return false;
1269 }
1270
1271 virtual const char *getPassName() const {
1272 return "X86 Maximal Stack Alignment Calculator";
1273 }
1274 };
1275
1276 char MSAC::ID = 0;
1277}
1278
1279FunctionPass*
1280llvm::createX86MaxStackAlignmentCalculatorPass() { return new MSAC(); }