blob: 89d9f9b939c73c25551dd1b6380e82272cec27ca [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 {
Dan Gohman8e5f2c62008-07-07 23:14:23 +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()) {
Evan Chengbdf7b5d2008-08-25 21:58:43 +0000399 New = BuildMI(MF, TII.get(Is64Bit ? X86::SUB64ri32 : X86::SUB32ri),
400 StackPtr).addReg(StackPtr).addImm(Amount);
Chris Lattner3c1c03d2002-12-28 20:32:28 +0000401 } else {
Dan Gohman6d4b0522008-10-01 18:28:06 +0000402 assert(Old->getOpcode() == getCallFrameDestroyOpcode());
Chris Lattner3648c672005-05-13 21:44:04 +0000403 // factor out the amount the callee already popped.
Chris Lattner61807802007-04-25 04:25:10 +0000404 uint64_t CalleeAmt = Old->getOperand(1).getImm();
Chris Lattner3648c672005-05-13 21:44:04 +0000405 Amount -= CalleeAmt;
Chris Lattnerd77525d2006-02-03 18:20:04 +0000406 if (Amount) {
Evan Cheng25ab6902006-09-08 06:48:29 +0000407 unsigned Opc = (Amount < 128) ?
408 (Is64Bit ? X86::ADD64ri8 : X86::ADD32ri8) :
409 (Is64Bit ? X86::ADD64ri32 : X86::ADD32ri);
Evan Chengbdf7b5d2008-08-25 21:58:43 +0000410 New = BuildMI(MF, TII.get(Opc), StackPtr)
411 .addReg(StackPtr).addImm(Amount);
Chris Lattnerd77525d2006-02-03 18:20:04 +0000412 }
Chris Lattner3c1c03d2002-12-28 20:32:28 +0000413 }
Chris Lattnerbb07ef92004-02-14 19:49:54 +0000414
Dan Gohmanbfd23c92008-12-18 22:03:42 +0000415 // The EFLAGS implicit def is dead.
416 New->getOperand(3).setIsDead();
417
Chris Lattnerbb07ef92004-02-14 19:49:54 +0000418 // Replace the pseudo instruction with a new instruction...
Chris Lattner3648c672005-05-13 21:44:04 +0000419 if (New) MBB.insert(I, New);
420 }
Dan Gohman6d4b0522008-10-01 18:28:06 +0000421 } else if (I->getOpcode() == getCallFrameDestroyOpcode()) {
Chris Lattner3648c672005-05-13 21:44:04 +0000422 // If we are performing frame pointer elimination and if the callee pops
423 // something off the stack pointer, add it back. We do this until we have
424 // more advanced stack pointer tracking ability.
Chris Lattner61807802007-04-25 04:25:10 +0000425 if (uint64_t CalleeAmt = I->getOperand(1).getImm()) {
Evan Cheng25ab6902006-09-08 06:48:29 +0000426 unsigned Opc = (CalleeAmt < 128) ?
427 (Is64Bit ? X86::SUB64ri8 : X86::SUB32ri8) :
428 (Is64Bit ? X86::SUB64ri32 : X86::SUB32ri);
Jeff Cohen00b168892005-07-27 06:12:32 +0000429 MachineInstr *New =
Dan Gohman8e5f2c62008-07-07 23:14:23 +0000430 BuildMI(MF, TII.get(Opc), StackPtr).addReg(StackPtr).addImm(CalleeAmt);
Dan Gohmanbfd23c92008-12-18 22:03:42 +0000431 // The EFLAGS implicit def is dead.
432 New->getOperand(3).setIsDead();
433
Chris Lattnerbb07ef92004-02-14 19:49:54 +0000434 MBB.insert(I, New);
Chris Lattner3c1c03d2002-12-28 20:32:28 +0000435 }
436 }
437
Chris Lattnerbb07ef92004-02-14 19:49:54 +0000438 MBB.erase(I);
Chris Lattner3c1c03d2002-12-28 20:32:28 +0000439}
440
Evan Cheng5e6df462007-02-28 00:21:17 +0000441void X86RegisterInfo::eliminateFrameIndex(MachineBasicBlock::iterator II,
Evan Cheng97de9132007-05-01 09:13:03 +0000442 int SPAdj, RegScavenger *RS) const{
443 assert(SPAdj == 0 && "Unexpected");
444
Chris Lattnerd264bec2003-01-13 00:50:33 +0000445 unsigned i = 0;
Alkis Evlogimenosc0b9dc52004-02-12 02:27:10 +0000446 MachineInstr &MI = *II;
Nate Begemanf8be5e92004-08-14 22:05:10 +0000447 MachineFunction &MF = *MI.getParent()->getParent();
Dan Gohmand735b802008-10-03 15:45:36 +0000448 while (!MI.getOperand(i).isFI()) {
Chris Lattner3c1c03d2002-12-28 20:32:28 +0000449 ++i;
450 assert(i < MI.getNumOperands() && "Instr doesn't have FrameIndex operand!");
451 }
452
Chris Lattner8aa797a2007-12-30 23:10:15 +0000453 int FrameIndex = MI.getOperand(i).getIndex();
Anton Korobeynikov8e91ec52008-04-23 18:21:02 +0000454
455 unsigned BasePtr;
456 if (needsStackRealignment(MF))
457 BasePtr = (FrameIndex < 0 ? FramePtr : StackPtr);
458 else
459 BasePtr = (hasFP(MF) ? FramePtr : StackPtr);
460
Chris Lattnerd264bec2003-01-13 00:50:33 +0000461 // This must be part of a four operand memory reference. Replace the
Evan Cheng25ab6902006-09-08 06:48:29 +0000462 // FrameIndex with base register with EBP. Add an offset to the offset.
Anton Korobeynikov8e91ec52008-04-23 18:21:02 +0000463 MI.getOperand(i).ChangeToRegister(BasePtr, false);
Chris Lattnerd264bec2003-01-13 00:50:33 +0000464
Dan Gohman82779702008-12-24 00:27:51 +0000465 // Now add the frame object offset to the offset from EBP.
466 if (MI.getOperand(i+3).isImm()) {
467 // Offset is a 32-bit integer.
468 int Offset = getFrameIndexOffset(MF, FrameIndex) +
469 (int)(MI.getOperand(i+3).getImm());
470
471 MI.getOperand(i+3).ChangeToImmediate(Offset);
472 } else {
473 // Offset is symbolic. This is extremely rare.
474 uint64_t Offset = getFrameIndexOffset(MF, FrameIndex) +
475 (uint64_t)MI.getOperand(i+3).getOffset();
476 MI.getOperand(i+3).setOffset(Offset);
477 }
Chris Lattner3c1c03d2002-12-28 20:32:28 +0000478}
479
Chris Lattnerbb07ef92004-02-14 19:49:54 +0000480void
Anton Korobeynikovb51dce32008-04-23 18:20:17 +0000481X86RegisterInfo::processFunctionBeforeCalleeSavedScan(MachineFunction &MF,
482 RegScavenger *RS) const {
483 MachineFrameInfo *FFI = MF.getFrameInfo();
484
485 // Calculate and set max stack object alignment early, so we can decide
486 // whether we will need stack realignment (and thus FP).
Anton Korobeynikovdc28bd42008-04-23 18:23:50 +0000487 unsigned MaxAlign = std::max(FFI->getMaxAlignment(),
488 calculateMaxStackAlignment(FFI));
Anton Korobeynikovb51dce32008-04-23 18:20:17 +0000489
490 FFI->setMaxAlignment(MaxAlign);
491}
492
493void
Chris Lattnerbb07ef92004-02-14 19:49:54 +0000494X86RegisterInfo::processFunctionBeforeFrameFinalized(MachineFunction &MF) const{
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000495 X86MachineFunctionInfo *X86FI = MF.getInfo<X86MachineFunctionInfo>();
496 int32_t TailCallReturnAddrDelta = X86FI->getTCReturnAddrDelta();
497 if (TailCallReturnAddrDelta < 0) {
498 // create RETURNADDR area
499 // arg
500 // arg
501 // RETADDR
502 // { ...
503 // RETADDR area
504 // ...
505 // }
506 // [EBP]
507 MF.getFrameInfo()->
508 CreateFixedObject(-TailCallReturnAddrDelta,
509 (-1*SlotSize)+TailCallReturnAddrDelta);
510 }
Chris Lattner3c1c03d2002-12-28 20:32:28 +0000511 if (hasFP(MF)) {
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000512 assert((TailCallReturnAddrDelta <= 0) &&
513 "The Delta should always be zero or negative");
Chris Lattner3c1c03d2002-12-28 20:32:28 +0000514 // Create a frame entry for the EBP register that must be saved.
Chris Lattner7c6eefa2007-04-25 17:23:53 +0000515 int FrameIdx = MF.getFrameInfo()->CreateFixedObject(SlotSize,
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000516 (int)SlotSize * -2+
517 TailCallReturnAddrDelta);
Chris Lattner96c3d2e2004-02-15 00:15:37 +0000518 assert(FrameIdx == MF.getFrameInfo()->getObjectIndexBegin() &&
519 "Slot for EBP register must be last in order to be found!");
Devang Patelfd1c6c32008-12-23 21:56:28 +0000520 FrameIdx = 0;
Chris Lattner3c1c03d2002-12-28 20:32:28 +0000521 }
522}
523
Evan Chenga24dddd2007-04-26 01:09:28 +0000524/// emitSPUpdate - Emit a series of instructions to increment / decrement the
525/// stack pointer by a constant value.
526static
527void emitSPUpdate(MachineBasicBlock &MBB, MachineBasicBlock::iterator &MBBI,
528 unsigned StackPtr, int64_t NumBytes, bool Is64Bit,
529 const TargetInstrInfo &TII) {
530 bool isSub = NumBytes < 0;
531 uint64_t Offset = isSub ? -NumBytes : NumBytes;
532 unsigned Opc = isSub
533 ? ((Offset < 128) ?
534 (Is64Bit ? X86::SUB64ri8 : X86::SUB32ri8) :
535 (Is64Bit ? X86::SUB64ri32 : X86::SUB32ri))
536 : ((Offset < 128) ?
537 (Is64Bit ? X86::ADD64ri8 : X86::ADD32ri8) :
538 (Is64Bit ? X86::ADD64ri32 : X86::ADD32ri));
539 uint64_t Chunk = (1LL << 31) - 1;
540
541 while (Offset) {
542 uint64_t ThisVal = (Offset > Chunk) ? Chunk : Offset;
Dan Gohmanbfd23c92008-12-18 22:03:42 +0000543 MachineInstr *MI =
544 BuildMI(MBB, MBBI, TII.get(Opc), StackPtr).addReg(StackPtr).addImm(ThisVal);
545 // The EFLAGS implicit def is dead.
546 MI->getOperand(3).setIsDead();
Evan Chenga24dddd2007-04-26 01:09:28 +0000547 Offset -= ThisVal;
548 }
549}
550
Anton Korobeynikov4f1c33f2007-10-06 16:17:49 +0000551// mergeSPUpdatesUp - Merge two stack-manipulating instructions upper iterator.
552static
553void mergeSPUpdatesUp(MachineBasicBlock &MBB, MachineBasicBlock::iterator &MBBI,
554 unsigned StackPtr, uint64_t *NumBytes = NULL) {
Chris Lattnereac93852007-10-07 21:53:12 +0000555 if (MBBI == MBB.begin()) return;
Anton Korobeynikove2011902008-04-23 18:15:11 +0000556
Chris Lattnereac93852007-10-07 21:53:12 +0000557 MachineBasicBlock::iterator PI = prior(MBBI);
558 unsigned Opc = PI->getOpcode();
559 if ((Opc == X86::ADD64ri32 || Opc == X86::ADD64ri8 ||
560 Opc == X86::ADD32ri || Opc == X86::ADD32ri8) &&
561 PI->getOperand(0).getReg() == StackPtr) {
562 if (NumBytes)
563 *NumBytes += PI->getOperand(2).getImm();
564 MBB.erase(PI);
565 } else if ((Opc == X86::SUB64ri32 || Opc == X86::SUB64ri8 ||
566 Opc == X86::SUB32ri || Opc == X86::SUB32ri8) &&
567 PI->getOperand(0).getReg() == StackPtr) {
568 if (NumBytes)
569 *NumBytes -= PI->getOperand(2).getImm();
570 MBB.erase(PI);
Anton Korobeynikov4f1c33f2007-10-06 16:17:49 +0000571 }
572}
573
Anton Korobeynikov25083722007-10-06 16:39:43 +0000574// mergeSPUpdatesUp - Merge two stack-manipulating instructions lower iterator.
575static
Chris Lattnereac93852007-10-07 21:53:12 +0000576void mergeSPUpdatesDown(MachineBasicBlock &MBB,
577 MachineBasicBlock::iterator &MBBI,
Anton Korobeynikov25083722007-10-06 16:39:43 +0000578 unsigned StackPtr, uint64_t *NumBytes = NULL) {
Chris Lattnerf443ba72007-10-07 22:00:31 +0000579 return;
Anton Korobeynikove2011902008-04-23 18:15:11 +0000580
Chris Lattnereac93852007-10-07 21:53:12 +0000581 if (MBBI == MBB.end()) return;
Anton Korobeynikove2011902008-04-23 18:15:11 +0000582
Chris Lattnereac93852007-10-07 21:53:12 +0000583 MachineBasicBlock::iterator NI = next(MBBI);
584 if (NI == MBB.end()) return;
Anton Korobeynikove2011902008-04-23 18:15:11 +0000585
Chris Lattnereac93852007-10-07 21:53:12 +0000586 unsigned Opc = NI->getOpcode();
587 if ((Opc == X86::ADD64ri32 || Opc == X86::ADD64ri8 ||
588 Opc == X86::ADD32ri || Opc == X86::ADD32ri8) &&
589 NI->getOperand(0).getReg() == StackPtr) {
590 if (NumBytes)
591 *NumBytes -= NI->getOperand(2).getImm();
592 MBB.erase(NI);
593 MBBI = NI;
594 } else if ((Opc == X86::SUB64ri32 || Opc == X86::SUB64ri8 ||
595 Opc == X86::SUB32ri || Opc == X86::SUB32ri8) &&
596 NI->getOperand(0).getReg() == StackPtr) {
597 if (NumBytes)
598 *NumBytes += NI->getOperand(2).getImm();
599 MBB.erase(NI);
600 MBBI = NI;
Anton Korobeynikov25083722007-10-06 16:39:43 +0000601 }
602}
603
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000604/// mergeSPUpdates - Checks the instruction before/after the passed
Anton Korobeynikove2011902008-04-23 18:15:11 +0000605/// instruction. If it is an ADD/SUB instruction it is deleted
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000606/// argument and the stack adjustment is returned as a positive value for ADD
Anton Korobeynikove2011902008-04-23 18:15:11 +0000607/// and a negative for SUB.
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000608static int mergeSPUpdates(MachineBasicBlock &MBB,
609 MachineBasicBlock::iterator &MBBI,
Anton Korobeynikove2011902008-04-23 18:15:11 +0000610 unsigned StackPtr,
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000611 bool doMergeWithPrevious) {
612
613 if ((doMergeWithPrevious && MBBI == MBB.begin()) ||
614 (!doMergeWithPrevious && MBBI == MBB.end()))
615 return 0;
616
617 int Offset = 0;
618
619 MachineBasicBlock::iterator PI = doMergeWithPrevious ? prior(MBBI) : MBBI;
620 MachineBasicBlock::iterator NI = doMergeWithPrevious ? 0 : next(MBBI);
621 unsigned Opc = PI->getOpcode();
622 if ((Opc == X86::ADD64ri32 || Opc == X86::ADD64ri8 ||
623 Opc == X86::ADD32ri || Opc == X86::ADD32ri8) &&
624 PI->getOperand(0).getReg() == StackPtr){
625 Offset += PI->getOperand(2).getImm();
626 MBB.erase(PI);
627 if (!doMergeWithPrevious) MBBI = NI;
628 } else if ((Opc == X86::SUB64ri32 || Opc == X86::SUB64ri8 ||
629 Opc == X86::SUB32ri || Opc == X86::SUB32ri8) &&
630 PI->getOperand(0).getReg() == StackPtr) {
631 Offset -= PI->getOperand(2).getImm();
632 MBB.erase(PI);
633 if (!doMergeWithPrevious) MBBI = NI;
Anton Korobeynikove2011902008-04-23 18:15:11 +0000634 }
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000635
636 return Offset;
637}
638
Anton Korobeynikov9bbbea52008-04-23 18:15:48 +0000639void X86RegisterInfo::emitFrameMoves(MachineFunction &MF,
640 unsigned FrameLabelId,
641 unsigned ReadyLabelId) const {
642 MachineFrameInfo *MFI = MF.getFrameInfo();
643 MachineModuleInfo *MMI = MFI->getMachineModuleInfo();
644 if (!MMI)
645 return;
646
647 uint64_t StackSize = MFI->getStackSize();
648 std::vector<MachineMove> &Moves = MMI->getFrameMoves();
649 const TargetData *TD = MF.getTarget().getTargetData();
650
651 // Calculate amount of bytes used for return address storing
652 int stackGrowth =
653 (MF.getTarget().getFrameInfo()->getStackGrowthDirection() ==
654 TargetFrameInfo::StackGrowsUp ?
655 TD->getPointerSize() : -TD->getPointerSize());
656
657 if (StackSize) {
658 // Show update of SP.
659 if (hasFP(MF)) {
660 // Adjust SP
661 MachineLocation SPDst(MachineLocation::VirtualFP);
662 MachineLocation SPSrc(MachineLocation::VirtualFP, 2*stackGrowth);
663 Moves.push_back(MachineMove(FrameLabelId, SPDst, SPSrc));
664 } else {
665 MachineLocation SPDst(MachineLocation::VirtualFP);
666 MachineLocation SPSrc(MachineLocation::VirtualFP,
667 -StackSize+stackGrowth);
668 Moves.push_back(MachineMove(FrameLabelId, SPDst, SPSrc));
669 }
670 } else {
671 //FIXME: Verify & implement for FP
672 MachineLocation SPDst(StackPtr);
673 MachineLocation SPSrc(StackPtr, stackGrowth);
674 Moves.push_back(MachineMove(FrameLabelId, SPDst, SPSrc));
675 }
676
677 // Add callee saved registers to move list.
678 const std::vector<CalleeSavedInfo> &CSI = MFI->getCalleeSavedInfo();
679
680 // FIXME: This is dirty hack. The code itself is pretty mess right now.
681 // It should be rewritten from scratch and generalized sometimes.
682
683 // Determine maximum offset (minumum due to stack growth)
684 int64_t MaxOffset = 0;
685 for (unsigned I = 0, E = CSI.size(); I!=E; ++I)
686 MaxOffset = std::min(MaxOffset,
687 MFI->getObjectOffset(CSI[I].getFrameIdx()));
688
689 // Calculate offsets
690 int64_t saveAreaOffset = (hasFP(MF) ? 3 : 2)*stackGrowth;
691 for (unsigned I = 0, E = CSI.size(); I!=E; ++I) {
692 int64_t Offset = MFI->getObjectOffset(CSI[I].getFrameIdx());
693 unsigned Reg = CSI[I].getReg();
694 Offset = (MaxOffset-Offset+saveAreaOffset);
695 MachineLocation CSDst(MachineLocation::VirtualFP, Offset);
696 MachineLocation CSSrc(Reg);
697 Moves.push_back(MachineMove(FrameLabelId, CSDst, CSSrc));
698 }
699
700 if (hasFP(MF)) {
701 // Save FP
702 MachineLocation FPDst(MachineLocation::VirtualFP, 2*stackGrowth);
703 MachineLocation FPSrc(FramePtr);
704 Moves.push_back(MachineMove(ReadyLabelId, FPDst, FPSrc));
705 }
706
707 MachineLocation FPDst(hasFP(MF) ? FramePtr : StackPtr);
708 MachineLocation FPSrc(MachineLocation::VirtualFP);
709 Moves.push_back(MachineMove(ReadyLabelId, FPDst, FPSrc));
710}
711
712
Chris Lattnerbb07ef92004-02-14 19:49:54 +0000713void X86RegisterInfo::emitPrologue(MachineFunction &MF) const {
Chris Lattner198ab642002-12-15 20:06:35 +0000714 MachineBasicBlock &MBB = MF.front(); // Prolog goes in entry BB
Chris Lattnereafa4232003-01-15 22:57:35 +0000715 MachineFrameInfo *MFI = MF.getFrameInfo();
Evan Cheng3649b0e2006-06-02 22:38:37 +0000716 const Function* Fn = MF.getFunction();
717 const X86Subtarget* Subtarget = &MF.getTarget().getSubtarget<X86Subtarget>();
Jim Laskey44c3b9f2007-01-26 21:22:28 +0000718 MachineModuleInfo *MMI = MFI->getMachineModuleInfo();
Evan Cheng89d16592007-07-17 07:59:08 +0000719 X86MachineFunctionInfo *X86FI = MF.getInfo<X86MachineFunctionInfo>();
720 MachineBasicBlock::iterator MBBI = MBB.begin();
Anton Korobeynikove2011902008-04-23 18:15:11 +0000721 bool needsFrameMoves = (MMI && MMI->hasDebugInfo()) ||
Dale Johannesen4e1b7942008-04-08 00:10:24 +0000722 !Fn->doesNotThrow() ||
Dale Johannesen3541af72008-04-14 17:54:17 +0000723 UnwindTablesMandatory;
Jim Laskey072200c2007-01-29 18:51:14 +0000724 // Prepare for frame info.
Dan Gohman5e6e93e2007-09-24 16:44:26 +0000725 unsigned FrameLabelId = 0;
Anton Korobeynikove2011902008-04-23 18:15:11 +0000726
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000727 // Get the number of bytes to allocate from the FrameInfo.
Evan Cheng89d16592007-07-17 07:59:08 +0000728 uint64_t StackSize = MFI->getStackSize();
Anton Korobeynikov2c430cb2008-04-23 18:21:27 +0000729 // Get desired stack alignment
730 uint64_t MaxAlign = MFI->getMaxAlignment();
731
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000732 // Add RETADDR move area to callee saved frame size.
733 int TailCallReturnAddrDelta = X86FI->getTCReturnAddrDelta();
Anton Korobeynikove2011902008-04-23 18:15:11 +0000734 if (TailCallReturnAddrDelta < 0)
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000735 X86FI->setCalleeSavedFrameSize(
736 X86FI->getCalleeSavedFrameSize() +(-TailCallReturnAddrDelta));
Evan Chengd9245ca2006-04-14 07:26:43 +0000737
Dan Gohman336b6362009-01-27 00:40:06 +0000738 // If this is x86-64 and the Red Zone is not disabled, if we are a leaf
739 // function, and use up to 128 bytes of stack space, don't have a frame
740 // pointer, calls, or dynamic alloca then we do not need to adjust the
741 // stack pointer (we fit in the Red Zone).
742 if (Is64Bit && !DisableRedZone &&
743 !needsStackRealignment(MF) &&
744 !MFI->hasVarSizedObjects() && // No dynamic alloca.
745 !MFI->hasCalls()) { // No calls.
746 uint64_t MinSize = X86FI->getCalleeSavedFrameSize();
747 if (hasFP(MF)) MinSize += SlotSize;
748 StackSize = std::max(MinSize,
749 StackSize > 128 ? StackSize - 128 : 0);
750 MFI->setStackSize(StackSize);
751 }
752
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000753 // Insert stack pointer adjustment for later moving of return addr. Only
754 // applies to tail call optimized functions where the callee argument stack
755 // size is bigger than the callers.
756 if (TailCallReturnAddrDelta < 0) {
Dan Gohmanbfd23c92008-12-18 22:03:42 +0000757 MachineInstr *MI =
758 BuildMI(MBB, MBBI, TII.get(Is64Bit? X86::SUB64ri32 : X86::SUB32ri),
759 StackPtr).addReg(StackPtr).addImm(-TailCallReturnAddrDelta);
760 // The EFLAGS implicit def is dead.
761 MI->getOperand(3).setIsDead();
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000762 }
763
Anton Korobeynikov2c430cb2008-04-23 18:21:27 +0000764 uint64_t NumBytes = 0;
Evan Cheng89d16592007-07-17 07:59:08 +0000765 if (hasFP(MF)) {
Anton Korobeynikov2c430cb2008-04-23 18:21:27 +0000766 // Calculate required stack adjustment
767 uint64_t FrameSize = StackSize - SlotSize;
768 if (needsStackRealignment(MF))
769 FrameSize = (FrameSize + MaxAlign - 1)/MaxAlign*MaxAlign;
770
771 NumBytes = FrameSize - X86FI->getCalleeSavedFrameSize();
772
Evan Cheng89d16592007-07-17 07:59:08 +0000773 // Get the offset of the stack slot for the EBP register... which is
774 // guaranteed to be the last slot by processFunctionBeforeFrameFinalized.
775 // Update the frame offset adjustment.
Anton Korobeynikov2c430cb2008-04-23 18:21:27 +0000776 MFI->setOffsetAdjustment(-NumBytes);
Evan Cheng89d16592007-07-17 07:59:08 +0000777
778 // Save EBP into the appropriate stack slot...
779 BuildMI(MBB, MBBI, TII.get(Is64Bit ? X86::PUSH64r : X86::PUSH32r))
Dan Gohman25a1b472008-11-26 06:39:12 +0000780 .addReg(FramePtr, /*isDef=*/false, /*isImp=*/false, /*isKill=*/true);
Evan Cheng89d16592007-07-17 07:59:08 +0000781
Dale Johannesene0040622008-04-02 17:04:45 +0000782 if (needsFrameMoves) {
Evan Cheng89d16592007-07-17 07:59:08 +0000783 // Mark effective beginning of when frame pointer becomes valid.
784 FrameLabelId = MMI->NextLabelID();
Dan Gohman44066042008-07-01 00:05:16 +0000785 BuildMI(MBB, MBBI, TII.get(X86::DBG_LABEL)).addImm(FrameLabelId);
Evan Cheng89d16592007-07-17 07:59:08 +0000786 }
787
788 // Update EBP with the new base value...
789 BuildMI(MBB, MBBI, TII.get(Is64Bit ? X86::MOV64rr : X86::MOV32rr), FramePtr)
790 .addReg(StackPtr);
Anton Korobeynikov2c430cb2008-04-23 18:21:27 +0000791
Dan Gohman34d6ad72008-12-18 22:01:52 +0000792 // Mark the FramePtr as live-in in every block except the entry.
793 for (MachineFunction::iterator I = next(MF.begin()), E = MF.end();
794 I != E; ++I)
795 I->addLiveIn(FramePtr);
796
Anton Korobeynikov2c430cb2008-04-23 18:21:27 +0000797 // Realign stack
Dan Gohmanbfd23c92008-12-18 22:03:42 +0000798 if (needsStackRealignment(MF)) {
799 MachineInstr *MI =
800 BuildMI(MBB, MBBI,
801 TII.get(Is64Bit ? X86::AND64ri32 : X86::AND32ri),
802 StackPtr).addReg(StackPtr).addImm(-MaxAlign);
803 // The EFLAGS implicit def is dead.
804 MI->getOperand(3).setIsDead();
805 }
Anton Korobeynikov2c430cb2008-04-23 18:21:27 +0000806 } else
807 NumBytes = StackSize - X86FI->getCalleeSavedFrameSize();
Anton Korobeynikove2011902008-04-23 18:15:11 +0000808
Evan Cheng89d16592007-07-17 07:59:08 +0000809 unsigned ReadyLabelId = 0;
Dale Johannesene0040622008-04-02 17:04:45 +0000810 if (needsFrameMoves) {
Evan Cheng89d16592007-07-17 07:59:08 +0000811 // Mark effective beginning of when frame pointer is ready.
812 ReadyLabelId = MMI->NextLabelID();
Dan Gohman44066042008-07-01 00:05:16 +0000813 BuildMI(MBB, MBBI, TII.get(X86::DBG_LABEL)).addImm(ReadyLabelId);
Evan Cheng89d16592007-07-17 07:59:08 +0000814 }
815
816 // Skip the callee-saved push instructions.
817 while (MBBI != MBB.end() &&
818 (MBBI->getOpcode() == X86::PUSH32r ||
819 MBBI->getOpcode() == X86::PUSH64r))
820 ++MBBI;
821
Evan Chengd9245ca2006-04-14 07:26:43 +0000822 if (NumBytes) { // adjust stack pointer: ESP -= numbytes
Anton Korobeynikov317848f2007-01-03 11:43:14 +0000823 if (NumBytes >= 4096 && Subtarget->isTargetCygMing()) {
Anton Korobeynikov57fc00d2007-04-17 09:20:00 +0000824 // Check, whether EAX is livein for this function
825 bool isEAXAlive = false;
Chris Lattner84bc5422007-12-31 04:13:23 +0000826 for (MachineRegisterInfo::livein_iterator
827 II = MF.getRegInfo().livein_begin(),
828 EE = MF.getRegInfo().livein_end(); (II != EE) && !isEAXAlive; ++II) {
Anton Korobeynikov57fc00d2007-04-17 09:20:00 +0000829 unsigned Reg = II->first;
830 isEAXAlive = (Reg == X86::EAX || Reg == X86::AX ||
831 Reg == X86::AH || Reg == X86::AL);
832 }
833
Anton Korobeynikove2011902008-04-23 18:15:11 +0000834 // Function prologue calls _alloca to probe the stack when allocating
835 // more than 4k bytes in one go. Touching the stack at 4K increments is
Evan Cheng004fb922006-06-13 05:14:44 +0000836 // necessary to ensure that the guard pages used by the OS virtual memory
837 // manager are allocated in correct sequence.
Anton Korobeynikov57fc00d2007-04-17 09:20:00 +0000838 if (!isEAXAlive) {
Evan Cheng89d16592007-07-17 07:59:08 +0000839 BuildMI(MBB, MBBI, TII.get(X86::MOV32ri), X86::EAX).addImm(NumBytes);
840 BuildMI(MBB, MBBI, TII.get(X86::CALLpcrel32))
841 .addExternalSymbol("_alloca");
Anton Korobeynikov57fc00d2007-04-17 09:20:00 +0000842 } else {
843 // Save EAX
Dan Gohman25a1b472008-11-26 06:39:12 +0000844 BuildMI(MBB, MBBI, TII.get(X86::PUSH32r))
845 .addReg(X86::EAX, /*isDef=*/false, /*isImp=*/false, /*isKill=*/true);
Anton Korobeynikov57fc00d2007-04-17 09:20:00 +0000846 // Allocate NumBytes-4 bytes on stack. We'll also use 4 already
847 // allocated bytes for EAX.
Evan Cheng89d16592007-07-17 07:59:08 +0000848 BuildMI(MBB, MBBI, TII.get(X86::MOV32ri), X86::EAX).addImm(NumBytes-4);
849 BuildMI(MBB, MBBI, TII.get(X86::CALLpcrel32))
850 .addExternalSymbol("_alloca");
Anton Korobeynikov57fc00d2007-04-17 09:20:00 +0000851 // Restore EAX
Dan Gohman8e5f2c62008-07-07 23:14:23 +0000852 MachineInstr *MI = addRegOffset(BuildMI(MF, TII.get(X86::MOV32rm),X86::EAX),
Evan Cheng9f1c8312008-07-03 09:09:37 +0000853 StackPtr, false, NumBytes-4);
Anton Korobeynikov57fc00d2007-04-17 09:20:00 +0000854 MBB.insert(MBBI, MI);
855 }
Evan Cheng004fb922006-06-13 05:14:44 +0000856 } else {
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000857 // If there is an SUB32ri of ESP immediately before this instruction,
858 // merge the two. This can be the case when tail call elimination is
859 // enabled and the callee has more arguments then the caller.
860 NumBytes -= mergeSPUpdates(MBB, MBBI, StackPtr, true);
Anton Korobeynikov25083722007-10-06 16:39:43 +0000861 // If there is an ADD32ri or SUB32ri of ESP immediately after this
Evan Cheng9b8c6742007-07-17 21:26:42 +0000862 // instruction, merge the two instructions.
Anton Korobeynikov25083722007-10-06 16:39:43 +0000863 mergeSPUpdatesDown(MBB, MBBI, StackPtr, &NumBytes);
Anton Korobeynikove2011902008-04-23 18:15:11 +0000864
Evan Cheng9b8c6742007-07-17 21:26:42 +0000865 if (NumBytes)
866 emitSPUpdate(MBB, MBBI, StackPtr, -(int64_t)NumBytes, Is64Bit, TII);
Evan Cheng004fb922006-06-13 05:14:44 +0000867 }
Evan Chengd9245ca2006-04-14 07:26:43 +0000868 }
869
Anton Korobeynikov9bbbea52008-04-23 18:15:48 +0000870 if (needsFrameMoves)
871 emitFrameMoves(MF, FrameLabelId, ReadyLabelId);
Misha Brukman2adb3952002-12-04 23:57:03 +0000872}
873
Chris Lattnerbb07ef92004-02-14 19:49:54 +0000874void X86RegisterInfo::emitEpilogue(MachineFunction &MF,
875 MachineBasicBlock &MBB) const {
Chris Lattneraa09b752002-12-28 21:08:28 +0000876 const MachineFrameInfo *MFI = MF.getFrameInfo();
Evan Cheng89d16592007-07-17 07:59:08 +0000877 X86MachineFunctionInfo *X86FI = MF.getInfo<X86MachineFunctionInfo>();
Alkis Evlogimenosf81af212004-02-14 01:18:34 +0000878 MachineBasicBlock::iterator MBBI = prior(MBB.end());
Anton Korobeynikov2365f512007-07-14 14:06:15 +0000879 unsigned RetOpcode = MBBI->getOpcode();
Chris Lattner2b3d56e2005-05-14 23:35:21 +0000880
Anton Korobeynikov2365f512007-07-14 14:06:15 +0000881 switch (RetOpcode) {
Chris Lattner2b3d56e2005-05-14 23:35:21 +0000882 case X86::RET:
883 case X86::RETI:
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000884 case X86::TCRETURNdi:
885 case X86::TCRETURNri:
886 case X86::TCRETURNri64:
887 case X86::TCRETURNdi64:
Anton Korobeynikov2365f512007-07-14 14:06:15 +0000888 case X86::EH_RETURN:
Anton Korobeynikovb84c1672008-09-08 21:12:47 +0000889 case X86::EH_RETURN64:
Chris Lattner2b3d56e2005-05-14 23:35:21 +0000890 case X86::TAILJMPd:
891 case X86::TAILJMPr:
892 case X86::TAILJMPm: break; // These are ok
893 default:
894 assert(0 && "Can only insert epilog into returning blocks");
895 }
Misha Brukman2adb3952002-12-04 23:57:03 +0000896
Evan Cheng89d16592007-07-17 07:59:08 +0000897 // Get the number of bytes to allocate from the FrameInfo
898 uint64_t StackSize = MFI->getStackSize();
Anton Korobeynikov2c430cb2008-04-23 18:21:27 +0000899 uint64_t MaxAlign = MFI->getMaxAlignment();
Evan Cheng89d16592007-07-17 07:59:08 +0000900 unsigned CSSize = X86FI->getCalleeSavedFrameSize();
Anton Korobeynikov2c430cb2008-04-23 18:21:27 +0000901 uint64_t NumBytes = 0;
Evan Cheng89d16592007-07-17 07:59:08 +0000902
Chris Lattner3c1c03d2002-12-28 20:32:28 +0000903 if (hasFP(MF)) {
Anton Korobeynikov2c430cb2008-04-23 18:21:27 +0000904 // Calculate required stack adjustment
905 uint64_t FrameSize = StackSize - SlotSize;
906 if (needsStackRealignment(MF))
907 FrameSize = (FrameSize + MaxAlign - 1)/MaxAlign*MaxAlign;
908
909 NumBytes = FrameSize - CSSize;
910
Evan Cheng89d16592007-07-17 07:59:08 +0000911 // pop EBP.
Evan Chengc0f64ff2006-11-27 23:37:22 +0000912 BuildMI(MBB, MBBI, TII.get(Is64Bit ? X86::POP64r : X86::POP32r), FramePtr);
Anton Korobeynikov2c430cb2008-04-23 18:21:27 +0000913 } else
914 NumBytes = StackSize - CSSize;
Anton Korobeynikov2365f512007-07-14 14:06:15 +0000915
Evan Chengf27795d2007-07-17 18:03:34 +0000916 // Skip the callee-saved pop instructions.
Anton Korobeynikov2c430cb2008-04-23 18:21:27 +0000917 MachineBasicBlock::iterator LastCSPop = MBBI;
Evan Chengf27795d2007-07-17 18:03:34 +0000918 while (MBBI != MBB.begin()) {
Evan Chengfcc87932007-07-26 17:45:41 +0000919 MachineBasicBlock::iterator PI = prior(MBBI);
920 unsigned Opc = PI->getOpcode();
Bill Wendlingf7c09402008-10-31 18:30:19 +0000921 if (Opc != X86::POP32r && Opc != X86::POP64r &&
922 !PI->getDesc().isTerminator())
Evan Chengf27795d2007-07-17 18:03:34 +0000923 break;
924 --MBBI;
925 }
926
Anton Korobeynikov4f1c33f2007-10-06 16:17:49 +0000927 // If there is an ADD32ri or SUB32ri of ESP immediately before this
928 // instruction, merge the two instructions.
929 if (NumBytes || MFI->hasVarSizedObjects())
930 mergeSPUpdatesUp(MBB, MBBI, StackPtr, &NumBytes);
Evan Cheng5b3332c2007-07-17 18:40:47 +0000931
Anton Korobeynikov4f1c33f2007-10-06 16:17:49 +0000932 // If dynamic alloca is used, then reset esp to point to the last callee-saved
Anton Korobeynikov2c430cb2008-04-23 18:21:27 +0000933 // slot before popping them off! Same applies for the case, when stack was
934 // realigned
935 if (needsStackRealignment(MF)) {
936 // We cannot use LEA here, because stack pointer was realigned. We need to
937 // deallocate local frame back
Evan Cheng3c46eef2007-07-18 21:26:06 +0000938 if (CSSize) {
Anton Korobeynikov2c430cb2008-04-23 18:21:27 +0000939 emitSPUpdate(MBB, MBBI, StackPtr, NumBytes, Is64Bit, TII);
940 MBBI = prior(LastCSPop);
941 }
942
943 BuildMI(MBB, MBBI,
944 TII.get(Is64Bit ? X86::MOV64rr : X86::MOV32rr),
945 StackPtr).addReg(FramePtr);
946 } else if (MFI->hasVarSizedObjects()) {
947 if (CSSize) {
948 unsigned Opc = Is64Bit ? X86::LEA64r : X86::LEA32r;
Dan Gohman8e5f2c62008-07-07 23:14:23 +0000949 MachineInstr *MI = addRegOffset(BuildMI(MF, TII.get(Opc), StackPtr),
Evan Cheng9f1c8312008-07-03 09:09:37 +0000950 FramePtr, false, -CSSize);
Evan Cheng3c46eef2007-07-18 21:26:06 +0000951 MBB.insert(MBBI, MI);
952 } else
Nate Begemanbeb572b2008-07-25 17:34:41 +0000953 BuildMI(MBB, MBBI, TII.get(Is64Bit ? X86::MOV64rr : X86::MOV32rr),
954 StackPtr).addReg(FramePtr);
Evan Cheng3c46eef2007-07-18 21:26:06 +0000955
Anton Korobeynikov2c430cb2008-04-23 18:21:27 +0000956 } else {
957 // adjust stack pointer back: ESP += numbytes
958 if (NumBytes)
959 emitSPUpdate(MBB, MBBI, StackPtr, NumBytes, Is64Bit, TII);
Evan Cheng3c46eef2007-07-18 21:26:06 +0000960 }
961
Evan Cheng5b3332c2007-07-17 18:40:47 +0000962 // We're returning from function via eh_return.
Anton Korobeynikovb84c1672008-09-08 21:12:47 +0000963 if (RetOpcode == X86::EH_RETURN || RetOpcode == X86::EH_RETURN64) {
Evan Cheng5b3332c2007-07-17 18:40:47 +0000964 MBBI = prior(MBB.end());
965 MachineOperand &DestAddr = MBBI->getOperand(0);
Dan Gohmand735b802008-10-03 15:45:36 +0000966 assert(DestAddr.isReg() && "Offset should be in register!");
Anton Korobeynikovb84c1672008-09-08 21:12:47 +0000967 BuildMI(MBB, MBBI,
968 TII.get(Is64Bit ? X86::MOV64rr : X86::MOV32rr),
969 StackPtr).addReg(DestAddr.getReg());
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000970 // Tail call return: adjust the stack pointer and jump to callee
971 } else if (RetOpcode == X86::TCRETURNri || RetOpcode == X86::TCRETURNdi ||
972 RetOpcode== X86::TCRETURNri64 || RetOpcode == X86::TCRETURNdi64) {
973 MBBI = prior(MBB.end());
974 MachineOperand &JumpTarget = MBBI->getOperand(0);
975 MachineOperand &StackAdjust = MBBI->getOperand(1);
Dan Gohmand735b802008-10-03 15:45:36 +0000976 assert(StackAdjust.isImm() && "Expecting immediate value.");
Anton Korobeynikove2011902008-04-23 18:15:11 +0000977
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000978 // Adjust stack pointer.
979 int StackAdj = StackAdjust.getImm();
980 int MaxTCDelta = X86FI->getTCReturnAddrDelta();
981 int Offset = 0;
982 assert(MaxTCDelta <= 0 && "MaxTCDelta should never be positive");
983 // Incoporate the retaddr area.
984 Offset = StackAdj-MaxTCDelta;
985 assert(Offset >= 0 && "Offset should never be negative");
986 if (Offset) {
987 // Check for possible merge with preceeding ADD instruction.
988 Offset += mergeSPUpdates(MBB, MBBI, StackPtr, true);
989 emitSPUpdate(MBB, MBBI, StackPtr, Offset, Is64Bit, TII);
Anton Korobeynikove2011902008-04-23 18:15:11 +0000990 }
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000991 // Jump to label or value in register.
992 if (RetOpcode == X86::TCRETURNdi|| RetOpcode == X86::TCRETURNdi64)
993 BuildMI(MBB, MBBI, TII.get(X86::TAILJMPd)).
994 addGlobalAddress(JumpTarget.getGlobal(), JumpTarget.getOffset());
995 else if (RetOpcode== X86::TCRETURNri64) {
996 BuildMI(MBB, MBBI, TII.get(X86::TAILJMPr64), JumpTarget.getReg());
997 } else
998 BuildMI(MBB, MBBI, TII.get(X86::TAILJMPr), JumpTarget.getReg());
999 // Delete the pseudo instruction TCRETURN.
1000 MBB.erase(MBBI);
Anton Korobeynikove2011902008-04-23 18:15:11 +00001001 } else if ((RetOpcode == X86::RET || RetOpcode == X86::RETI) &&
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +00001002 (X86FI->getTCReturnAddrDelta() < 0)) {
1003 // Add the return addr area delta back since we are not tail calling.
1004 int delta = -1*X86FI->getTCReturnAddrDelta();
1005 MBBI = prior(MBB.end());
1006 // Check for possible merge with preceeding ADD instruction.
1007 delta += mergeSPUpdates(MBB, MBBI, StackPtr, true);
1008 emitSPUpdate(MBB, MBBI, StackPtr, delta, Is64Bit, TII);
Evan Cheng5b3332c2007-07-17 18:40:47 +00001009 }
Chris Lattner3c1c03d2002-12-28 20:32:28 +00001010}
1011
Jim Laskey41886992006-04-07 16:34:46 +00001012unsigned X86RegisterInfo::getRARegister() const {
Anton Korobeynikov038082d2007-05-02 08:46:03 +00001013 if (Is64Bit)
1014 return X86::RIP; // Should have dwarf #16
1015 else
1016 return X86::EIP; // Should have dwarf #8
Jim Laskey41886992006-04-07 16:34:46 +00001017}
1018
Jim Laskeya9979182006-03-28 13:48:33 +00001019unsigned X86RegisterInfo::getFrameRegister(MachineFunction &MF) const {
Evan Cheng25ab6902006-09-08 06:48:29 +00001020 return hasFP(MF) ? FramePtr : StackPtr;
Jim Laskeyf1d78e82006-03-23 18:12:57 +00001021}
1022
Jim Laskey0e410942007-01-24 19:15:24 +00001023void X86RegisterInfo::getInitialFrameState(std::vector<MachineMove> &Moves)
1024 const {
Anton Korobeynikov0ff3ca42007-05-12 22:36:25 +00001025 // Calculate amount of bytes used for return address storing
1026 int stackGrowth = (Is64Bit ? -8 : -4);
1027
1028 // Initial state of the frame pointer is esp+4.
Jim Laskey0e410942007-01-24 19:15:24 +00001029 MachineLocation Dst(MachineLocation::VirtualFP);
Anton Korobeynikov0ff3ca42007-05-12 22:36:25 +00001030 MachineLocation Src(StackPtr, stackGrowth);
Jim Laskey0e410942007-01-24 19:15:24 +00001031 Moves.push_back(MachineMove(0, Dst, Src));
Anton Korobeynikov0ff3ca42007-05-12 22:36:25 +00001032
1033 // Add return address to move list
1034 MachineLocation CSDst(StackPtr, stackGrowth);
1035 MachineLocation CSSrc(getRARegister());
1036 Moves.push_back(MachineMove(0, CSDst, CSSrc));
Jim Laskey0e410942007-01-24 19:15:24 +00001037}
1038
Jim Laskey62819f32007-02-21 22:54:50 +00001039unsigned X86RegisterInfo::getEHExceptionRegister() const {
1040 assert(0 && "What is the exception register");
1041 return 0;
1042}
1043
1044unsigned X86RegisterInfo::getEHHandlerRegister() const {
1045 assert(0 && "What is the exception handler register");
1046 return 0;
1047}
1048
Evan Cheng8f7f7122006-05-05 05:40:20 +00001049namespace llvm {
Duncan Sands83ec4b62008-06-06 12:08:01 +00001050unsigned getX86SubSuperRegister(unsigned Reg, MVT VT, bool High) {
1051 switch (VT.getSimpleVT()) {
Evan Cheng8f7f7122006-05-05 05:40:20 +00001052 default: return Reg;
1053 case MVT::i8:
1054 if (High) {
1055 switch (Reg) {
Evan Cheng25ab6902006-09-08 06:48:29 +00001056 default: return 0;
1057 case X86::AH: case X86::AL: case X86::AX: case X86::EAX: case X86::RAX:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001058 return X86::AH;
Evan Cheng25ab6902006-09-08 06:48:29 +00001059 case X86::DH: case X86::DL: case X86::DX: case X86::EDX: case X86::RDX:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001060 return X86::DH;
Evan Cheng25ab6902006-09-08 06:48:29 +00001061 case X86::CH: case X86::CL: case X86::CX: case X86::ECX: case X86::RCX:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001062 return X86::CH;
Evan Cheng25ab6902006-09-08 06:48:29 +00001063 case X86::BH: case X86::BL: case X86::BX: case X86::EBX: case X86::RBX:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001064 return X86::BH;
1065 }
1066 } else {
1067 switch (Reg) {
Evan Cheng25ab6902006-09-08 06:48:29 +00001068 default: return 0;
1069 case X86::AH: case X86::AL: case X86::AX: case X86::EAX: case X86::RAX:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001070 return X86::AL;
Evan Cheng25ab6902006-09-08 06:48:29 +00001071 case X86::DH: case X86::DL: case X86::DX: case X86::EDX: case X86::RDX:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001072 return X86::DL;
Evan Cheng25ab6902006-09-08 06:48:29 +00001073 case X86::CH: case X86::CL: case X86::CX: case X86::ECX: case X86::RCX:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001074 return X86::CL;
Evan Cheng25ab6902006-09-08 06:48:29 +00001075 case X86::BH: case X86::BL: case X86::BX: case X86::EBX: case X86::RBX:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001076 return X86::BL;
Evan Cheng25ab6902006-09-08 06:48:29 +00001077 case X86::SIL: case X86::SI: case X86::ESI: case X86::RSI:
1078 return X86::SIL;
1079 case X86::DIL: case X86::DI: case X86::EDI: case X86::RDI:
1080 return X86::DIL;
1081 case X86::BPL: case X86::BP: case X86::EBP: case X86::RBP:
1082 return X86::BPL;
1083 case X86::SPL: case X86::SP: case X86::ESP: case X86::RSP:
1084 return X86::SPL;
1085 case X86::R8B: case X86::R8W: case X86::R8D: case X86::R8:
1086 return X86::R8B;
1087 case X86::R9B: case X86::R9W: case X86::R9D: case X86::R9:
1088 return X86::R9B;
1089 case X86::R10B: case X86::R10W: case X86::R10D: case X86::R10:
1090 return X86::R10B;
1091 case X86::R11B: case X86::R11W: case X86::R11D: case X86::R11:
1092 return X86::R11B;
1093 case X86::R12B: case X86::R12W: case X86::R12D: case X86::R12:
1094 return X86::R12B;
1095 case X86::R13B: case X86::R13W: case X86::R13D: case X86::R13:
1096 return X86::R13B;
1097 case X86::R14B: case X86::R14W: case X86::R14D: case X86::R14:
1098 return X86::R14B;
1099 case X86::R15B: case X86::R15W: case X86::R15D: case X86::R15:
1100 return X86::R15B;
Evan Cheng8f7f7122006-05-05 05:40:20 +00001101 }
1102 }
1103 case MVT::i16:
1104 switch (Reg) {
1105 default: return Reg;
Evan Cheng25ab6902006-09-08 06:48:29 +00001106 case X86::AH: case X86::AL: case X86::AX: case X86::EAX: case X86::RAX:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001107 return X86::AX;
Evan Cheng25ab6902006-09-08 06:48:29 +00001108 case X86::DH: case X86::DL: case X86::DX: case X86::EDX: case X86::RDX:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001109 return X86::DX;
Evan Cheng25ab6902006-09-08 06:48:29 +00001110 case X86::CH: case X86::CL: case X86::CX: case X86::ECX: case X86::RCX:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001111 return X86::CX;
Evan Cheng25ab6902006-09-08 06:48:29 +00001112 case X86::BH: case X86::BL: case X86::BX: case X86::EBX: case X86::RBX:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001113 return X86::BX;
Evan Cheng25ab6902006-09-08 06:48:29 +00001114 case X86::SIL: case X86::SI: case X86::ESI: case X86::RSI:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001115 return X86::SI;
Evan Cheng25ab6902006-09-08 06:48:29 +00001116 case X86::DIL: case X86::DI: case X86::EDI: case X86::RDI:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001117 return X86::DI;
Evan Cheng25ab6902006-09-08 06:48:29 +00001118 case X86::BPL: case X86::BP: case X86::EBP: case X86::RBP:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001119 return X86::BP;
Evan Cheng25ab6902006-09-08 06:48:29 +00001120 case X86::SPL: case X86::SP: case X86::ESP: case X86::RSP:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001121 return X86::SP;
Evan Cheng25ab6902006-09-08 06:48:29 +00001122 case X86::R8B: case X86::R8W: case X86::R8D: case X86::R8:
1123 return X86::R8W;
1124 case X86::R9B: case X86::R9W: case X86::R9D: case X86::R9:
1125 return X86::R9W;
1126 case X86::R10B: case X86::R10W: case X86::R10D: case X86::R10:
1127 return X86::R10W;
1128 case X86::R11B: case X86::R11W: case X86::R11D: case X86::R11:
1129 return X86::R11W;
1130 case X86::R12B: case X86::R12W: case X86::R12D: case X86::R12:
1131 return X86::R12W;
1132 case X86::R13B: case X86::R13W: case X86::R13D: case X86::R13:
1133 return X86::R13W;
1134 case X86::R14B: case X86::R14W: case X86::R14D: case X86::R14:
1135 return X86::R14W;
1136 case X86::R15B: case X86::R15W: case X86::R15D: case X86::R15:
1137 return X86::R15W;
Evan Cheng8f7f7122006-05-05 05:40:20 +00001138 }
1139 case MVT::i32:
1140 switch (Reg) {
Evan Cheng25ab6902006-09-08 06:48:29 +00001141 default: return Reg;
1142 case X86::AH: case X86::AL: case X86::AX: case X86::EAX: case X86::RAX:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001143 return X86::EAX;
Evan Cheng25ab6902006-09-08 06:48:29 +00001144 case X86::DH: case X86::DL: case X86::DX: case X86::EDX: case X86::RDX:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001145 return X86::EDX;
Evan Cheng25ab6902006-09-08 06:48:29 +00001146 case X86::CH: case X86::CL: case X86::CX: case X86::ECX: case X86::RCX:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001147 return X86::ECX;
Evan Cheng25ab6902006-09-08 06:48:29 +00001148 case X86::BH: case X86::BL: case X86::BX: case X86::EBX: case X86::RBX:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001149 return X86::EBX;
Evan Cheng25ab6902006-09-08 06:48:29 +00001150 case X86::SIL: case X86::SI: case X86::ESI: case X86::RSI:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001151 return X86::ESI;
Evan Cheng25ab6902006-09-08 06:48:29 +00001152 case X86::DIL: case X86::DI: case X86::EDI: case X86::RDI:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001153 return X86::EDI;
Evan Cheng25ab6902006-09-08 06:48:29 +00001154 case X86::BPL: case X86::BP: case X86::EBP: case X86::RBP:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001155 return X86::EBP;
Evan Cheng25ab6902006-09-08 06:48:29 +00001156 case X86::SPL: case X86::SP: case X86::ESP: case X86::RSP:
Evan Cheng8f7f7122006-05-05 05:40:20 +00001157 return X86::ESP;
Evan Cheng25ab6902006-09-08 06:48:29 +00001158 case X86::R8B: case X86::R8W: case X86::R8D: case X86::R8:
1159 return X86::R8D;
1160 case X86::R9B: case X86::R9W: case X86::R9D: case X86::R9:
1161 return X86::R9D;
1162 case X86::R10B: case X86::R10W: case X86::R10D: case X86::R10:
1163 return X86::R10D;
1164 case X86::R11B: case X86::R11W: case X86::R11D: case X86::R11:
1165 return X86::R11D;
1166 case X86::R12B: case X86::R12W: case X86::R12D: case X86::R12:
1167 return X86::R12D;
1168 case X86::R13B: case X86::R13W: case X86::R13D: case X86::R13:
1169 return X86::R13D;
1170 case X86::R14B: case X86::R14W: case X86::R14D: case X86::R14:
1171 return X86::R14D;
1172 case X86::R15B: case X86::R15W: case X86::R15D: case X86::R15:
1173 return X86::R15D;
1174 }
1175 case MVT::i64:
1176 switch (Reg) {
1177 default: return Reg;
1178 case X86::AH: case X86::AL: case X86::AX: case X86::EAX: case X86::RAX:
1179 return X86::RAX;
1180 case X86::DH: case X86::DL: case X86::DX: case X86::EDX: case X86::RDX:
1181 return X86::RDX;
1182 case X86::CH: case X86::CL: case X86::CX: case X86::ECX: case X86::RCX:
1183 return X86::RCX;
1184 case X86::BH: case X86::BL: case X86::BX: case X86::EBX: case X86::RBX:
1185 return X86::RBX;
1186 case X86::SIL: case X86::SI: case X86::ESI: case X86::RSI:
1187 return X86::RSI;
1188 case X86::DIL: case X86::DI: case X86::EDI: case X86::RDI:
1189 return X86::RDI;
1190 case X86::BPL: case X86::BP: case X86::EBP: case X86::RBP:
1191 return X86::RBP;
1192 case X86::SPL: case X86::SP: case X86::ESP: case X86::RSP:
1193 return X86::RSP;
1194 case X86::R8B: case X86::R8W: case X86::R8D: case X86::R8:
1195 return X86::R8;
1196 case X86::R9B: case X86::R9W: case X86::R9D: case X86::R9:
1197 return X86::R9;
1198 case X86::R10B: case X86::R10W: case X86::R10D: case X86::R10:
1199 return X86::R10;
1200 case X86::R11B: case X86::R11W: case X86::R11D: case X86::R11:
1201 return X86::R11;
1202 case X86::R12B: case X86::R12W: case X86::R12D: case X86::R12:
1203 return X86::R12;
1204 case X86::R13B: case X86::R13W: case X86::R13D: case X86::R13:
1205 return X86::R13;
1206 case X86::R14B: case X86::R14W: case X86::R14D: case X86::R14:
1207 return X86::R14;
1208 case X86::R15B: case X86::R15W: case X86::R15D: case X86::R15:
1209 return X86::R15;
Evan Cheng8f7f7122006-05-05 05:40:20 +00001210 }
1211 }
1212
1213 return Reg;
1214}
1215}
1216
Chris Lattner7ad3e062003-08-03 15:48:14 +00001217#include "X86GenRegisterInfo.inc"
Anton Korobeynikov856914f2008-04-23 18:23:05 +00001218
1219namespace {
1220 struct VISIBILITY_HIDDEN MSAC : public MachineFunctionPass {
1221 static char ID;
Dan Gohmanae73dc12008-09-04 17:05:41 +00001222 MSAC() : MachineFunctionPass(&ID) {}
Anton Korobeynikov856914f2008-04-23 18:23:05 +00001223
1224 virtual bool runOnMachineFunction(MachineFunction &MF) {
1225 MachineFrameInfo *FFI = MF.getFrameInfo();
Anton Korobeynikovd52bdaf2008-04-23 18:23:30 +00001226 MachineRegisterInfo &RI = MF.getRegInfo();
Anton Korobeynikov856914f2008-04-23 18:23:05 +00001227
Anton Korobeynikovd52bdaf2008-04-23 18:23:30 +00001228 // Calculate max stack alignment of all already allocated stack objects.
Anton Korobeynikov856914f2008-04-23 18:23:05 +00001229 unsigned MaxAlign = calculateMaxStackAlignment(FFI);
1230
Anton Korobeynikovd52bdaf2008-04-23 18:23:30 +00001231 // Be over-conservative: scan over all vreg defs and find, whether vector
1232 // registers are used. If yes - there is probability, that vector register
1233 // will be spilled and thus stack needs to be aligned properly.
1234 for (unsigned RegNum = TargetRegisterInfo::FirstVirtualRegister;
1235 RegNum < RI.getLastVirtReg(); ++RegNum)
1236 MaxAlign = std::max(MaxAlign, RI.getRegClass(RegNum)->getAlignment());
1237
Anton Korobeynikov856914f2008-04-23 18:23:05 +00001238 FFI->setMaxAlignment(MaxAlign);
1239
1240 return false;
1241 }
1242
1243 virtual const char *getPassName() const {
1244 return "X86 Maximal Stack Alignment Calculator";
1245 }
1246 };
1247
1248 char MSAC::ID = 0;
1249}
1250
1251FunctionPass*
1252llvm::createX86MaxStackAlignmentCalculatorPass() { return new MSAC(); }