blob: c0ce81a5cb0603efec1113a098528748f0a037aa [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"
Chris Lattneraf76e592009-08-22 20:48:53 +000033#include "llvm/MC/MCAsmInfo.h"
Anton Korobeynikov16c29b52011-01-10 12:39:04 +000034#include "llvm/Target/TargetFrameLowering.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"
Torok Edwinc25e7582009-07-11 20:10:48 +000040#include "llvm/Support/ErrorHandling.h"
Eric Christophere74a0882010-08-05 23:57:43 +000041#include "llvm/Support/CommandLine.h"
Evan Cheng73f50d92011-06-27 18:32:37 +000042
43#define GET_REGINFO_MC_DESC
44#define GET_REGINFO_TARGET_DESC
Evan Chenga347f852011-06-24 01:44:41 +000045#include "X86GenRegisterInfo.inc"
Evan Cheng73f50d92011-06-27 18:32:37 +000046
Chris Lattner300d0ed2004-02-14 06:00:36 +000047using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000048
Anton Korobeynikov33464912010-11-15 00:06:54 +000049cl::opt<bool>
Eric Christophere74a0882010-08-05 23:57:43 +000050ForceStackAlign("force-align-stack",
51 cl::desc("Force align the stack to the minimum alignment"
52 " needed for the function."),
53 cl::init(false), cl::Hidden);
54
Evan Cheng25ab6902006-09-08 06:48:29 +000055X86RegisterInfo::X86RegisterInfo(X86TargetMachine &tm,
56 const TargetInstrInfo &tii)
Evan Chengd5b03f22011-06-28 21:14:33 +000057 : X86GenRegisterInfo(), TM(tm), TII(tii) {
Evan Cheng25ab6902006-09-08 06:48:29 +000058 // Cache some information.
59 const X86Subtarget *Subtarget = &TM.getSubtarget<X86Subtarget>();
60 Is64Bit = Subtarget->is64Bit();
Anton Korobeynikov1dcce212008-03-22 21:04:01 +000061 IsWin64 = Subtarget->isTargetWin64();
Bill Wendling80c76432009-08-16 11:00:26 +000062
Evan Cheng25ab6902006-09-08 06:48:29 +000063 if (Is64Bit) {
64 SlotSize = 8;
65 StackPtr = X86::RSP;
66 FramePtr = X86::RBP;
67 } else {
68 SlotSize = 4;
69 StackPtr = X86::ESP;
70 FramePtr = X86::EBP;
71 }
72}
Chris Lattner7ad3e062003-08-03 15:48:14 +000073
Rafael Espindola6e032942011-05-30 20:20:15 +000074static unsigned getFlavour(const X86Subtarget *Subtarget, bool isEH) {
75 if (!Subtarget->is64Bit()) {
76 if (Subtarget->isTargetDarwin()) {
77 if (isEH)
78 return DWARFFlavour::X86_32_DarwinEH;
79 else
80 return DWARFFlavour::X86_32_Generic;
81 } else if (Subtarget->isTargetCygMing()) {
82 // Unsupported by now, just quick fallback
83 return DWARFFlavour::X86_32_Generic;
84 } else {
85 return DWARFFlavour::X86_32_Generic;
86 }
87 }
88 return DWARFFlavour::X86_64;
89}
90
Bill Wendling80c76432009-08-16 11:00:26 +000091/// getDwarfRegNum - This function maps LLVM register identifiers to the DWARF
92/// specific numbering, used in debug info and exception tables.
Dale Johannesenb97aec62007-11-13 19:13:01 +000093int X86RegisterInfo::getDwarfRegNum(unsigned RegNo, bool isEH) const {
Dale Johannesen483ec212007-11-07 00:25:05 +000094 const X86Subtarget *Subtarget = &TM.getSubtarget<X86Subtarget>();
Rafael Espindola6e032942011-05-30 20:20:15 +000095 unsigned Flavour = getFlavour(Subtarget, isEH);
Anton Korobeynikovf191c802007-11-11 19:50:10 +000096
97 return X86GenRegisterInfo::getDwarfRegNumFull(RegNo, Flavour);
Dale Johannesen483ec212007-11-07 00:25:05 +000098}
99
Rafael Espindola6e032942011-05-30 20:20:15 +0000100/// getLLVMRegNum - This function maps DWARF register numbers to LLVM register.
101int X86RegisterInfo::getLLVMRegNum(unsigned DwarfRegNo, bool isEH) const {
102 const X86Subtarget *Subtarget = &TM.getSubtarget<X86Subtarget>();
103 unsigned Flavour = getFlavour(Subtarget, isEH);
104
105 return X86GenRegisterInfo::getLLVMRegNumFull(DwarfRegNo, Flavour);
106}
107
Charles Davis6b918b82011-05-24 16:57:53 +0000108int
109X86RegisterInfo::getSEHRegNum(unsigned i) const {
110 int reg = getX86RegNum(i);
111 switch (i) {
112 case X86::R8: case X86::R8D: case X86::R8W: case X86::R8B:
113 case X86::R9: case X86::R9D: case X86::R9W: case X86::R9B:
114 case X86::R10: case X86::R10D: case X86::R10W: case X86::R10B:
115 case X86::R11: case X86::R11D: case X86::R11W: case X86::R11B:
116 case X86::R12: case X86::R12D: case X86::R12W: case X86::R12B:
117 case X86::R13: case X86::R13D: case X86::R13W: case X86::R13B:
118 case X86::R14: case X86::R14D: case X86::R14W: case X86::R14B:
119 case X86::R15: case X86::R15D: case X86::R15W: case X86::R15B:
120 case X86::XMM8: case X86::XMM9: case X86::XMM10: case X86::XMM11:
121 case X86::XMM12: case X86::XMM13: case X86::XMM14: case X86::XMM15:
122 case X86::YMM8: case X86::YMM9: case X86::YMM10: case X86::YMM11:
123 case X86::YMM12: case X86::YMM13: case X86::YMM14: case X86::YMM15:
124 reg += 8;
125 }
126 return reg;
127}
128
Bill Wendling80c76432009-08-16 11:00:26 +0000129/// getX86RegNum - This function maps LLVM register identifiers to their X86
130/// specific numbering, which is used in various places encoding instructions.
Nicolas Geoffray52e724a2008-04-16 20:10:13 +0000131unsigned X86RegisterInfo::getX86RegNum(unsigned RegNo) {
Duncan Sandsee465742007-08-29 19:01:20 +0000132 switch(RegNo) {
133 case X86::RAX: case X86::EAX: case X86::AX: case X86::AL: return N86::EAX;
134 case X86::RCX: case X86::ECX: case X86::CX: case X86::CL: return N86::ECX;
135 case X86::RDX: case X86::EDX: case X86::DX: case X86::DL: return N86::EDX;
136 case X86::RBX: case X86::EBX: case X86::BX: case X86::BL: return N86::EBX;
137 case X86::RSP: case X86::ESP: case X86::SP: case X86::SPL: case X86::AH:
138 return N86::ESP;
139 case X86::RBP: case X86::EBP: case X86::BP: case X86::BPL: case X86::CH:
140 return N86::EBP;
141 case X86::RSI: case X86::ESI: case X86::SI: case X86::SIL: case X86::DH:
142 return N86::ESI;
143 case X86::RDI: case X86::EDI: case X86::DI: case X86::DIL: case X86::BH:
144 return N86::EDI;
145
146 case X86::R8: case X86::R8D: case X86::R8W: case X86::R8B:
147 return N86::EAX;
148 case X86::R9: case X86::R9D: case X86::R9W: case X86::R9B:
149 return N86::ECX;
150 case X86::R10: case X86::R10D: case X86::R10W: case X86::R10B:
151 return N86::EDX;
152 case X86::R11: case X86::R11D: case X86::R11W: case X86::R11B:
153 return N86::EBX;
154 case X86::R12: case X86::R12D: case X86::R12W: case X86::R12B:
155 return N86::ESP;
156 case X86::R13: case X86::R13D: case X86::R13W: case X86::R13B:
157 return N86::EBP;
158 case X86::R14: case X86::R14D: case X86::R14W: case X86::R14B:
159 return N86::ESI;
160 case X86::R15: case X86::R15D: case X86::R15W: case X86::R15B:
161 return N86::EDI;
162
163 case X86::ST0: case X86::ST1: case X86::ST2: case X86::ST3:
164 case X86::ST4: case X86::ST5: case X86::ST6: case X86::ST7:
165 return RegNo-X86::ST0;
166
Bruno Cardoso Lopese86b01c2010-07-09 18:27:43 +0000167 case X86::XMM0: case X86::XMM8:
168 case X86::YMM0: case X86::YMM8: case X86::MM0:
Evan Chenge7c87542007-11-13 17:54:34 +0000169 return 0;
Bruno Cardoso Lopese86b01c2010-07-09 18:27:43 +0000170 case X86::XMM1: case X86::XMM9:
171 case X86::YMM1: case X86::YMM9: case X86::MM1:
Evan Chenge7c87542007-11-13 17:54:34 +0000172 return 1;
Bruno Cardoso Lopese86b01c2010-07-09 18:27:43 +0000173 case X86::XMM2: case X86::XMM10:
174 case X86::YMM2: case X86::YMM10: case X86::MM2:
Evan Chenge7c87542007-11-13 17:54:34 +0000175 return 2;
Bruno Cardoso Lopese86b01c2010-07-09 18:27:43 +0000176 case X86::XMM3: case X86::XMM11:
177 case X86::YMM3: case X86::YMM11: case X86::MM3:
Evan Chenge7c87542007-11-13 17:54:34 +0000178 return 3;
Bruno Cardoso Lopese86b01c2010-07-09 18:27:43 +0000179 case X86::XMM4: case X86::XMM12:
180 case X86::YMM4: case X86::YMM12: case X86::MM4:
Evan Chenge7c87542007-11-13 17:54:34 +0000181 return 4;
Bruno Cardoso Lopese86b01c2010-07-09 18:27:43 +0000182 case X86::XMM5: case X86::XMM13:
183 case X86::YMM5: case X86::YMM13: case X86::MM5:
Evan Chenge7c87542007-11-13 17:54:34 +0000184 return 5;
Bruno Cardoso Lopese86b01c2010-07-09 18:27:43 +0000185 case X86::XMM6: case X86::XMM14:
186 case X86::YMM6: case X86::YMM14: case X86::MM6:
Evan Chenge7c87542007-11-13 17:54:34 +0000187 return 6;
Bruno Cardoso Lopese86b01c2010-07-09 18:27:43 +0000188 case X86::XMM7: case X86::XMM15:
189 case X86::YMM7: case X86::YMM15: case X86::MM7:
Evan Chenge7c87542007-11-13 17:54:34 +0000190 return 7;
Duncan Sandsee465742007-08-29 19:01:20 +0000191
Chris Lattnerbc57c6d2010-09-22 05:29:50 +0000192 case X86::ES: return 0;
193 case X86::CS: return 1;
194 case X86::SS: return 2;
195 case X86::DS: return 3;
196 case X86::FS: return 4;
197 case X86::GS: return 5;
Kevin Enderbyb1065432010-05-26 20:10:45 +0000198
Chris Lattnerbc57c6d2010-09-22 05:29:50 +0000199 case X86::CR0: case X86::CR8 : case X86::DR0: return 0;
200 case X86::CR1: case X86::CR9 : case X86::DR1: return 1;
201 case X86::CR2: case X86::CR10: case X86::DR2: return 2;
202 case X86::CR3: case X86::CR11: case X86::DR3: return 3;
203 case X86::CR4: case X86::CR12: case X86::DR4: return 4;
204 case X86::CR5: case X86::CR13: case X86::DR5: return 5;
205 case X86::CR6: case X86::CR14: case X86::DR6: return 6;
206 case X86::CR7: case X86::CR15: case X86::DR7: return 7;
Kevin Enderby31b6c5b2010-05-28 19:01:27 +0000207
Bruno Cardoso Lopes3c8e1be2010-07-24 00:06:39 +0000208 // Pseudo index registers are equivalent to a "none"
209 // scaled index (See Intel Manual 2A, table 2-3)
210 case X86::EIZ:
211 case X86::RIZ:
212 return 4;
213
Duncan Sandsee465742007-08-29 19:01:20 +0000214 default:
215 assert(isVirtualRegister(RegNo) && "Unknown physical register!");
Torok Edwinc23197a2009-07-14 16:55:14 +0000216 llvm_unreachable("Register allocator hasn't allocated reg correctly yet!");
Duncan Sandsee465742007-08-29 19:01:20 +0000217 return 0;
218 }
219}
220
Evan Cheng52484682009-07-18 02:10:10 +0000221const TargetRegisterClass *
222X86RegisterInfo::getMatchingSuperRegClass(const TargetRegisterClass *A,
223 const TargetRegisterClass *B,
224 unsigned SubIdx) const {
225 switch (SubIdx) {
226 default: return 0;
Jakob Stoklund Olesen22c0e972010-05-25 17:04:16 +0000227 case X86::sub_8bit:
Evan Cheng52484682009-07-18 02:10:10 +0000228 if (B == &X86::GR8RegClass) {
Evan Cheng753480a2009-07-20 19:47:55 +0000229 if (A->getSize() == 2 || A->getSize() == 4 || A->getSize() == 8)
230 return A;
Evan Cheng52484682009-07-18 02:10:10 +0000231 } else if (B == &X86::GR8_ABCD_LRegClass || B == &X86::GR8_ABCD_HRegClass) {
Evan Cheng753480a2009-07-20 19:47:55 +0000232 if (A == &X86::GR64RegClass || A == &X86::GR64_ABCDRegClass ||
Dan Gohmana4714e02009-07-30 01:56:29 +0000233 A == &X86::GR64_NOREXRegClass ||
234 A == &X86::GR64_NOSPRegClass ||
235 A == &X86::GR64_NOREX_NOSPRegClass)
Evan Cheng52484682009-07-18 02:10:10 +0000236 return &X86::GR64_ABCDRegClass;
Evan Cheng753480a2009-07-20 19:47:55 +0000237 else if (A == &X86::GR32RegClass || A == &X86::GR32_ABCDRegClass ||
Dan Gohmana4714e02009-07-30 01:56:29 +0000238 A == &X86::GR32_NOREXRegClass ||
239 A == &X86::GR32_NOSPRegClass)
Evan Cheng52484682009-07-18 02:10:10 +0000240 return &X86::GR32_ABCDRegClass;
Evan Cheng753480a2009-07-20 19:47:55 +0000241 else if (A == &X86::GR16RegClass || A == &X86::GR16_ABCDRegClass ||
242 A == &X86::GR16_NOREXRegClass)
Evan Cheng52484682009-07-18 02:10:10 +0000243 return &X86::GR16_ABCDRegClass;
244 } else if (B == &X86::GR8_NOREXRegClass) {
Dan Gohmana4714e02009-07-30 01:56:29 +0000245 if (A == &X86::GR64RegClass || A == &X86::GR64_NOREXRegClass ||
246 A == &X86::GR64_NOSPRegClass || A == &X86::GR64_NOREX_NOSPRegClass)
Evan Cheng52484682009-07-18 02:10:10 +0000247 return &X86::GR64_NOREXRegClass;
Evan Cheng753480a2009-07-20 19:47:55 +0000248 else if (A == &X86::GR64_ABCDRegClass)
249 return &X86::GR64_ABCDRegClass;
Dan Gohmana4714e02009-07-30 01:56:29 +0000250 else if (A == &X86::GR32RegClass || A == &X86::GR32_NOREXRegClass ||
251 A == &X86::GR32_NOSPRegClass)
Evan Cheng52484682009-07-18 02:10:10 +0000252 return &X86::GR32_NOREXRegClass;
Evan Cheng753480a2009-07-20 19:47:55 +0000253 else if (A == &X86::GR32_ABCDRegClass)
254 return &X86::GR32_ABCDRegClass;
Evan Cheng52484682009-07-18 02:10:10 +0000255 else if (A == &X86::GR16RegClass || A == &X86::GR16_NOREXRegClass)
256 return &X86::GR16_NOREXRegClass;
Evan Cheng753480a2009-07-20 19:47:55 +0000257 else if (A == &X86::GR16_ABCDRegClass)
258 return &X86::GR16_ABCDRegClass;
Evan Cheng52484682009-07-18 02:10:10 +0000259 }
260 break;
Jakob Stoklund Olesen22c0e972010-05-25 17:04:16 +0000261 case X86::sub_8bit_hi:
Jakob Stoklund Olesenfa226bc2011-06-02 05:43:46 +0000262 if (B->hasSubClassEq(&X86::GR8_ABCD_HRegClass))
Jakob Stoklund Olesen4f5de9b2011-05-04 23:54:54 +0000263 switch (A->getSize()) {
264 case 2: return getCommonSubClass(A, &X86::GR16_ABCDRegClass);
265 case 4: return getCommonSubClass(A, &X86::GR32_ABCDRegClass);
266 case 8: return getCommonSubClass(A, &X86::GR64_ABCDRegClass);
267 default: return 0;
268 }
Evan Cheng52484682009-07-18 02:10:10 +0000269 break;
Jakob Stoklund Olesen22c0e972010-05-25 17:04:16 +0000270 case X86::sub_16bit:
Evan Cheng52484682009-07-18 02:10:10 +0000271 if (B == &X86::GR16RegClass) {
Evan Cheng753480a2009-07-20 19:47:55 +0000272 if (A->getSize() == 4 || A->getSize() == 8)
273 return A;
Evan Cheng52484682009-07-18 02:10:10 +0000274 } else if (B == &X86::GR16_ABCDRegClass) {
Evan Cheng753480a2009-07-20 19:47:55 +0000275 if (A == &X86::GR64RegClass || A == &X86::GR64_ABCDRegClass ||
Dan Gohmana4714e02009-07-30 01:56:29 +0000276 A == &X86::GR64_NOREXRegClass ||
277 A == &X86::GR64_NOSPRegClass ||
278 A == &X86::GR64_NOREX_NOSPRegClass)
Evan Cheng52484682009-07-18 02:10:10 +0000279 return &X86::GR64_ABCDRegClass;
Evan Cheng753480a2009-07-20 19:47:55 +0000280 else if (A == &X86::GR32RegClass || A == &X86::GR32_ABCDRegClass ||
Dan Gohmana4714e02009-07-30 01:56:29 +0000281 A == &X86::GR32_NOREXRegClass || A == &X86::GR32_NOSPRegClass)
Evan Cheng52484682009-07-18 02:10:10 +0000282 return &X86::GR32_ABCDRegClass;
283 } else if (B == &X86::GR16_NOREXRegClass) {
Dan Gohmana4714e02009-07-30 01:56:29 +0000284 if (A == &X86::GR64RegClass || A == &X86::GR64_NOREXRegClass ||
285 A == &X86::GR64_NOSPRegClass || A == &X86::GR64_NOREX_NOSPRegClass)
Evan Cheng52484682009-07-18 02:10:10 +0000286 return &X86::GR64_NOREXRegClass;
Evan Cheng753480a2009-07-20 19:47:55 +0000287 else if (A == &X86::GR64_ABCDRegClass)
288 return &X86::GR64_ABCDRegClass;
Dan Gohmana4714e02009-07-30 01:56:29 +0000289 else if (A == &X86::GR32RegClass || A == &X86::GR32_NOREXRegClass ||
290 A == &X86::GR32_NOSPRegClass)
Evan Cheng753480a2009-07-20 19:47:55 +0000291 return &X86::GR32_NOREXRegClass;
292 else if (A == &X86::GR32_ABCDRegClass)
Evan Cheng52484682009-07-18 02:10:10 +0000293 return &X86::GR64_ABCDRegClass;
294 }
295 break;
Jakob Stoklund Olesen22c0e972010-05-25 17:04:16 +0000296 case X86::sub_32bit:
Jakob Stoklund Olesen8f42a192010-10-06 23:56:46 +0000297 if (B == &X86::GR32RegClass) {
Evan Cheng753480a2009-07-20 19:47:55 +0000298 if (A->getSize() == 8)
299 return A;
Jakob Stoklund Olesen8f42a192010-10-06 23:56:46 +0000300 } else if (B == &X86::GR32_NOSPRegClass) {
Jakob Stoklund Olesen8456c4f2010-10-07 18:47:10 +0000301 if (A == &X86::GR64RegClass || A == &X86::GR64_NOSPRegClass)
Jakob Stoklund Olesen8f42a192010-10-06 23:56:46 +0000302 return &X86::GR64_NOSPRegClass;
303 if (A->getSize() == 8)
304 return getCommonSubClass(A, &X86::GR64_NOSPRegClass);
Evan Cheng52484682009-07-18 02:10:10 +0000305 } else if (B == &X86::GR32_ABCDRegClass) {
Evan Cheng753480a2009-07-20 19:47:55 +0000306 if (A == &X86::GR64RegClass || A == &X86::GR64_ABCDRegClass ||
Dan Gohmana4714e02009-07-30 01:56:29 +0000307 A == &X86::GR64_NOREXRegClass ||
308 A == &X86::GR64_NOSPRegClass ||
309 A == &X86::GR64_NOREX_NOSPRegClass)
Evan Cheng52484682009-07-18 02:10:10 +0000310 return &X86::GR64_ABCDRegClass;
311 } else if (B == &X86::GR32_NOREXRegClass) {
Cameron Zwarichf5e771d2011-05-27 22:26:04 +0000312 if (A == &X86::GR64RegClass || A == &X86::GR64_NOREXRegClass)
313 return &X86::GR64_NOREXRegClass;
314 else if (A == &X86::GR64_NOSPRegClass || A == &X86::GR64_NOREX_NOSPRegClass)
315 return &X86::GR64_NOREX_NOSPRegClass;
316 else if (A == &X86::GR64_ABCDRegClass)
317 return &X86::GR64_ABCDRegClass;
318 } else if (B == &X86::GR32_NOREX_NOSPRegClass) {
Dan Gohmana4714e02009-07-30 01:56:29 +0000319 if (A == &X86::GR64RegClass || A == &X86::GR64_NOREXRegClass ||
320 A == &X86::GR64_NOSPRegClass || A == &X86::GR64_NOREX_NOSPRegClass)
Cameron Zwarichf5e771d2011-05-27 22:26:04 +0000321 return &X86::GR64_NOREX_NOSPRegClass;
Evan Cheng753480a2009-07-20 19:47:55 +0000322 else if (A == &X86::GR64_ABCDRegClass)
323 return &X86::GR64_ABCDRegClass;
Evan Cheng52484682009-07-18 02:10:10 +0000324 }
325 break;
Jakob Stoklund Olesenb5398522010-05-25 19:49:40 +0000326 case X86::sub_ss:
327 if (B == &X86::FR32RegClass)
328 return A;
329 break;
330 case X86::sub_sd:
331 if (B == &X86::FR64RegClass)
332 return A;
333 break;
334 case X86::sub_xmm:
335 if (B == &X86::VR128RegClass)
336 return A;
337 break;
Evan Cheng52484682009-07-18 02:10:10 +0000338 }
339 return 0;
340}
341
Jakob Stoklund Olesenc9e50152011-04-26 18:52:33 +0000342const TargetRegisterClass*
343X86RegisterInfo::getLargestLegalSuperClass(const TargetRegisterClass *RC) const{
344 const TargetRegisterClass *Super = RC;
345 TargetRegisterClass::sc_iterator I = RC->superclasses_begin();
346 do {
347 switch (Super->getID()) {
348 case X86::GR8RegClassID:
349 case X86::GR16RegClassID:
350 case X86::GR32RegClassID:
351 case X86::GR64RegClassID:
352 case X86::FR32RegClassID:
353 case X86::FR64RegClassID:
354 case X86::RFP32RegClassID:
355 case X86::RFP64RegClassID:
356 case X86::RFP80RegClassID:
357 case X86::VR128RegClassID:
358 case X86::VR256RegClassID:
359 // Don't return a super-class that would shrink the spill size.
360 // That can happen with the vector and float classes.
361 if (Super->getSize() == RC->getSize())
362 return Super;
363 }
364 Super = *I++;
365 } while (Super);
366 return RC;
367}
368
Bill Wendling80c76432009-08-16 11:00:26 +0000369const TargetRegisterClass *
370X86RegisterInfo::getPointerRegClass(unsigned Kind) const {
Dan Gohmana4714e02009-07-30 01:56:29 +0000371 switch (Kind) {
372 default: llvm_unreachable("Unexpected Kind in getPointerRegClass!");
373 case 0: // Normal GPRs.
374 if (TM.getSubtarget<X86Subtarget>().is64Bit())
375 return &X86::GR64RegClass;
376 return &X86::GR32RegClass;
NAKAMURA Takumib9010762011-01-26 01:27:58 +0000377 case 1: // Normal GPRs except the stack pointer (for encoding reasons).
Dan Gohman74f6f9a2009-08-05 17:40:24 +0000378 if (TM.getSubtarget<X86Subtarget>().is64Bit())
379 return &X86::GR64_NOSPRegClass;
380 return &X86::GR32_NOSPRegClass;
NAKAMURA Takumi7754f852011-01-26 02:04:09 +0000381 case 2: // Available for tailcall (not callee-saved GPRs).
382 if (TM.getSubtarget<X86Subtarget>().isTargetWin64())
383 return &X86::GR64_TCW64RegClass;
384 if (TM.getSubtarget<X86Subtarget>().is64Bit())
385 return &X86::GR64_TCRegClass;
386 return &X86::GR32_TCRegClass;
Dan Gohmana4714e02009-07-30 01:56:29 +0000387 }
Evan Cheng770bcc72009-02-06 17:43:24 +0000388}
389
Evan Chengff110262007-09-26 21:31:07 +0000390const TargetRegisterClass *
391X86RegisterInfo::getCrossCopyRegClass(const TargetRegisterClass *RC) const {
Anton Korobeynikov4aefd6b2008-02-20 12:07:57 +0000392 if (RC == &X86::CCRRegClass) {
Evan Cheng3f2d9ec2007-09-27 21:50:05 +0000393 if (Is64Bit)
394 return &X86::GR64RegClass;
395 else
396 return &X86::GR32RegClass;
Anton Korobeynikov4aefd6b2008-02-20 12:07:57 +0000397 }
Evan Chengb0519e12011-03-10 00:16:32 +0000398 return RC;
Evan Chengff110262007-09-26 21:31:07 +0000399}
Evan Chengbf2c8b32007-03-20 08:09:38 +0000400
Cameron Zwarichbe2119e2011-03-07 21:56:36 +0000401unsigned
402X86RegisterInfo::getRegPressureLimit(const TargetRegisterClass *RC,
403 MachineFunction &MF) const {
404 const TargetFrameLowering *TFI = MF.getTarget().getFrameLowering();
405
406 unsigned FPDiff = TFI->hasFP(MF) ? 1 : 0;
407 switch (RC->getID()) {
408 default:
409 return 0;
410 case X86::GR32RegClassID:
411 return 4 - FPDiff;
412 case X86::GR64RegClassID:
413 return 12 - FPDiff;
414 case X86::VR128RegClassID:
415 return TM.getSubtarget<X86Subtarget>().is64Bit() ? 10 : 4;
416 case X86::VR64RegClassID:
417 return 4;
418 }
419}
420
Evan Cheng64d80e32007-07-19 01:14:50 +0000421const unsigned *
422X86RegisterInfo::getCalleeSavedRegs(const MachineFunction *MF) const {
Anton Korobeynikovb84c1672008-09-08 21:12:47 +0000423 bool callsEHReturn = false;
Chris Lattner29689432010-03-11 00:22:57 +0000424 bool ghcCall = false;
Anton Korobeynikovb84c1672008-09-08 21:12:47 +0000425
426 if (MF) {
Chris Lattnera267b002010-04-05 05:57:52 +0000427 callsEHReturn = MF->getMMI().callsEHReturn();
Chris Lattner29689432010-03-11 00:22:57 +0000428 const Function *F = MF->getFunction();
429 ghcCall = (F ? F->getCallingConv() == CallingConv::GHC : false);
Anton Korobeynikovb84c1672008-09-08 21:12:47 +0000430 }
431
Chris Lattner29689432010-03-11 00:22:57 +0000432 static const unsigned GhcCalleeSavedRegs[] = {
433 0
434 };
435
Evan Chengc2b861d2007-01-02 21:33:40 +0000436 static const unsigned CalleeSavedRegs32Bit[] = {
Evan Cheng0f3ac8d2006-05-18 00:12:58 +0000437 X86::ESI, X86::EDI, X86::EBX, X86::EBP, 0
438 };
Anton Korobeynikov2365f512007-07-14 14:06:15 +0000439
440 static const unsigned CalleeSavedRegs32EHRet[] = {
441 X86::EAX, X86::EDX, X86::ESI, X86::EDI, X86::EBX, X86::EBP, 0
442 };
443
Evan Chengc2b861d2007-01-02 21:33:40 +0000444 static const unsigned CalleeSavedRegs64Bit[] = {
Evan Cheng25ab6902006-09-08 06:48:29 +0000445 X86::RBX, X86::R12, X86::R13, X86::R14, X86::R15, X86::RBP, 0
446 };
447
Anton Korobeynikovb84c1672008-09-08 21:12:47 +0000448 static const unsigned CalleeSavedRegs64EHRet[] = {
449 X86::RAX, X86::RDX, X86::RBX, X86::R12,
450 X86::R13, X86::R14, X86::R15, X86::RBP, 0
451 };
452
Anton Korobeynikov1dcce212008-03-22 21:04:01 +0000453 static const unsigned CalleeSavedRegsWin64[] = {
Anton Korobeynikov5979d712008-09-24 22:03:04 +0000454 X86::RBX, X86::RBP, X86::RDI, X86::RSI,
455 X86::R12, X86::R13, X86::R14, X86::R15,
456 X86::XMM6, X86::XMM7, X86::XMM8, X86::XMM9,
457 X86::XMM10, X86::XMM11, X86::XMM12, X86::XMM13,
458 X86::XMM14, X86::XMM15, 0
Anton Korobeynikov1dcce212008-03-22 21:04:01 +0000459 };
460
Chris Lattner29689432010-03-11 00:22:57 +0000461 if (ghcCall) {
462 return GhcCalleeSavedRegs;
463 } else if (Is64Bit) {
Anton Korobeynikov1dcce212008-03-22 21:04:01 +0000464 if (IsWin64)
465 return CalleeSavedRegsWin64;
466 else
Anton Korobeynikovb84c1672008-09-08 21:12:47 +0000467 return (callsEHReturn ? CalleeSavedRegs64EHRet : CalleeSavedRegs64Bit);
Anton Korobeynikov1dcce212008-03-22 21:04:01 +0000468 } else {
Anton Korobeynikovb84c1672008-09-08 21:12:47 +0000469 return (callsEHReturn ? CalleeSavedRegs32EHRet : CalleeSavedRegs32Bit);
Anton Korobeynikov2365f512007-07-14 14:06:15 +0000470 }
Evan Cheng0f3ac8d2006-05-18 00:12:58 +0000471}
472
Evan Chengb371f452007-02-19 21:49:54 +0000473BitVector X86RegisterInfo::getReservedRegs(const MachineFunction &MF) const {
474 BitVector Reserved(getNumRegs());
Anton Korobeynikov16c29b52011-01-10 12:39:04 +0000475 const TargetFrameLowering *TFI = MF.getTarget().getFrameLowering();
Anton Korobeynikovd0c38172010-11-18 21:19:35 +0000476
Dan Gohmana32b7ac2008-12-18 01:05:09 +0000477 // Set the stack-pointer register and its aliases as reserved.
Evan Chengb371f452007-02-19 21:49:54 +0000478 Reserved.set(X86::RSP);
479 Reserved.set(X86::ESP);
480 Reserved.set(X86::SP);
481 Reserved.set(X86::SPL);
Bill Wendling80c76432009-08-16 11:00:26 +0000482
Jakob Stoklund Olesen52cd5482009-11-13 21:56:01 +0000483 // Set the instruction pointer register and its aliases as reserved.
484 Reserved.set(X86::RIP);
485 Reserved.set(X86::EIP);
486 Reserved.set(X86::IP);
487
Dan Gohmana32b7ac2008-12-18 01:05:09 +0000488 // Set the frame-pointer register and its aliases as reserved if needed.
Anton Korobeynikovd0c38172010-11-18 21:19:35 +0000489 if (TFI->hasFP(MF)) {
Evan Chengb371f452007-02-19 21:49:54 +0000490 Reserved.set(X86::RBP);
491 Reserved.set(X86::EBP);
492 Reserved.set(X86::BP);
493 Reserved.set(X86::BPL);
494 }
Bill Wendling80c76432009-08-16 11:00:26 +0000495
Cameron Zwariche4c64452011-05-18 22:24:48 +0000496 // Mark the segment registers as reserved.
497 Reserved.set(X86::CS);
498 Reserved.set(X86::SS);
499 Reserved.set(X86::DS);
500 Reserved.set(X86::ES);
501 Reserved.set(X86::FS);
502 Reserved.set(X86::GS);
503
Jakob Stoklund Olesen2a9d1ca2011-06-09 16:56:59 +0000504 // Reserve the registers that only exist in 64-bit mode.
505 if (!Is64Bit) {
Jakob Stoklund Olesenaad458d2011-06-17 23:15:00 +0000506 // These 8-bit registers are part of the x86-64 extension even though their
507 // super-registers are old 32-bits.
508 Reserved.set(X86::SIL);
509 Reserved.set(X86::DIL);
510 Reserved.set(X86::BPL);
511 Reserved.set(X86::SPL);
512
Jakob Stoklund Olesen2a9d1ca2011-06-09 16:56:59 +0000513 for (unsigned n = 0; n != 8; ++n) {
Jakob Stoklund Olesenaad458d2011-06-17 23:15:00 +0000514 // R8, R9, ...
Jakob Stoklund Olesen2a9d1ca2011-06-09 16:56:59 +0000515 const unsigned GPR64[] = {
516 X86::R8, X86::R9, X86::R10, X86::R11,
517 X86::R12, X86::R13, X86::R14, X86::R15
518 };
Jakob Stoklund Olesenaad458d2011-06-17 23:15:00 +0000519 for (const unsigned *AI = getOverlaps(GPR64[n]); unsigned Reg = *AI; ++AI)
Jakob Stoklund Olesen2a9d1ca2011-06-09 16:56:59 +0000520 Reserved.set(Reg);
521
522 // XMM8, XMM9, ...
523 assert(X86::XMM15 == X86::XMM8+7);
524 for (const unsigned *AI = getOverlaps(X86::XMM8 + n); unsigned Reg = *AI;
525 ++AI)
526 Reserved.set(Reg);
527 }
528 }
529
Evan Chengb371f452007-02-19 21:49:54 +0000530 return Reserved;
531}
532
Chris Lattner3c1c03d2002-12-28 20:32:28 +0000533//===----------------------------------------------------------------------===//
534// Stack Frame Processing methods
535//===----------------------------------------------------------------------===//
536
Jim Grosbache45ab8a2010-01-19 18:31:11 +0000537bool X86RegisterInfo::canRealignStack(const MachineFunction &MF) const {
538 const MachineFrameInfo *MFI = MF.getFrameInfo();
539 return (RealignStack &&
540 !MFI->hasVarSizedObjects());
541}
542
Anton Korobeynikov9bbbea52008-04-23 18:15:48 +0000543bool X86RegisterInfo::needsStackRealignment(const MachineFunction &MF) const {
Nick Lewycky9c0f1462009-03-19 05:51:39 +0000544 const MachineFrameInfo *MFI = MF.getFrameInfo();
Charles Davis5dfa2672010-02-19 18:17:13 +0000545 const Function *F = MF.getFunction();
Evan Cheng2fa82bc2011-06-23 01:53:43 +0000546 unsigned StackAlign = TM.getFrameLowering()->getStackAlignment();
Eric Christopher697cba82010-07-17 00:33:04 +0000547 bool requiresRealignment = ((MFI->getMaxAlignment() > StackAlign) ||
548 F->hasFnAttr(Attribute::StackAlignment));
Anton Korobeynikov9bbbea52008-04-23 18:15:48 +0000549
Anton Korobeynikov35410a42008-04-23 18:16:43 +0000550 // FIXME: Currently we don't support stack realignment for functions with
Anton Korobeynikovb23f3aa2009-11-14 18:01:41 +0000551 // variable-sized allocas.
Eric Christopheracdb4b92010-07-17 00:25:41 +0000552 // FIXME: It's more complicated than this...
Anton Korobeynikovb23f3aa2009-11-14 18:01:41 +0000553 if (0 && requiresRealignment && MFI->hasVarSizedObjects())
Chris Lattner75361b62010-04-07 22:58:41 +0000554 report_fatal_error(
Chris Lattner7a2bdde2011-04-15 05:18:47 +0000555 "Stack realignment in presence of dynamic allocas is not supported");
NAKAMURA Takumic5b7a422011-01-26 01:28:06 +0000556
Eric Christophere74a0882010-08-05 23:57:43 +0000557 // If we've requested that we force align the stack do so now.
558 if (ForceStackAlign)
559 return canRealignStack(MF);
NAKAMURA Takumic5b7a422011-01-26 01:28:06 +0000560
Eric Christopheracdb4b92010-07-17 00:25:41 +0000561 return requiresRealignment && canRealignStack(MF);
Anton Korobeynikov9bbbea52008-04-23 18:15:48 +0000562}
563
Eric Christopher72852a82010-07-20 06:52:21 +0000564bool X86RegisterInfo::hasReservedSpillSlot(const MachineFunction &MF,
565 unsigned Reg, int &FrameIdx) const {
Anton Korobeynikov16c29b52011-01-10 12:39:04 +0000566 const TargetFrameLowering *TFI = MF.getTarget().getFrameLowering();
Anton Korobeynikovd0c38172010-11-18 21:19:35 +0000567
568 if (Reg == FramePtr && TFI->hasFP(MF)) {
Evan Cheng910139f2009-07-09 06:53:48 +0000569 FrameIdx = MF.getFrameInfo()->getObjectIndexBegin();
570 return true;
571 }
572 return false;
573}
574
Dan Gohman7c2e0392010-05-19 00:53:19 +0000575static unsigned getSUBriOpcode(unsigned is64Bit, int64_t Imm) {
576 if (is64Bit) {
577 if (isInt<8>(Imm))
578 return X86::SUB64ri8;
579 return X86::SUB64ri32;
580 } else {
581 if (isInt<8>(Imm))
582 return X86::SUB32ri8;
583 return X86::SUB32ri;
584 }
585}
586
587static unsigned getADDriOpcode(unsigned is64Bit, int64_t Imm) {
588 if (is64Bit) {
589 if (isInt<8>(Imm))
590 return X86::ADD64ri8;
591 return X86::ADD64ri32;
592 } else {
593 if (isInt<8>(Imm))
594 return X86::ADD32ri8;
595 return X86::ADD32ri;
596 }
597}
598
Chris Lattnerbb07ef92004-02-14 19:49:54 +0000599void X86RegisterInfo::
600eliminateCallFramePseudoInstr(MachineFunction &MF, MachineBasicBlock &MBB,
601 MachineBasicBlock::iterator I) const {
Anton Korobeynikov16c29b52011-01-10 12:39:04 +0000602 const TargetFrameLowering *TFI = MF.getTarget().getFrameLowering();
Evan Chenge4a2dd22010-12-23 23:54:17 +0000603 bool reseveCallFrame = TFI->hasReservedCallFrame(MF);
604 int Opcode = I->getOpcode();
Evan Chengd5b03f22011-06-28 21:14:33 +0000605 bool isDestroy = Opcode == TII.getCallFrameDestroyOpcode();
Evan Chenge4a2dd22010-12-23 23:54:17 +0000606 DebugLoc DL = I->getDebugLoc();
607 uint64_t Amount = !reseveCallFrame ? I->getOperand(0).getImm() : 0;
608 uint64_t CalleeAmt = isDestroy ? I->getOperand(1).getImm() : 0;
609 I = MBB.erase(I);
Anton Korobeynikovd0c38172010-11-18 21:19:35 +0000610
Evan Chenge4a2dd22010-12-23 23:54:17 +0000611 if (!reseveCallFrame) {
Evan Cheng7e7bbf82007-07-19 00:42:05 +0000612 // If the stack pointer can be changed after prologue, turn the
613 // adjcallstackup instruction into a 'sub ESP, <amt>' and the
614 // adjcallstackdown instruction into 'add ESP, <amt>'
615 // TODO: consider using push / pop instead of sub + store / add
Evan Chenge4a2dd22010-12-23 23:54:17 +0000616 if (Amount == 0)
617 return;
Chris Lattnerf158da22003-01-16 02:20:12 +0000618
Evan Chenge4a2dd22010-12-23 23:54:17 +0000619 // We need to keep the stack aligned properly. To do this, we round the
620 // amount of space needed for the outgoing arguments up to the next
621 // alignment boundary.
Evan Cheng2fa82bc2011-06-23 01:53:43 +0000622 unsigned StackAlign = TM.getFrameLowering()->getStackAlignment();
Evan Chenge4a2dd22010-12-23 23:54:17 +0000623 Amount = (Amount + StackAlign - 1) / StackAlign * StackAlign;
Bill Wendling80c76432009-08-16 11:00:26 +0000624
Evan Chenge4a2dd22010-12-23 23:54:17 +0000625 MachineInstr *New = 0;
Evan Chengd5b03f22011-06-28 21:14:33 +0000626 if (Opcode == TII.getCallFrameSetupOpcode()) {
Evan Chenge4a2dd22010-12-23 23:54:17 +0000627 New = BuildMI(MF, DL, TII.get(getSUBriOpcode(Is64Bit, Amount)),
628 StackPtr)
629 .addReg(StackPtr)
630 .addImm(Amount);
631 } else {
Evan Chengd5b03f22011-06-28 21:14:33 +0000632 assert(Opcode == TII.getCallFrameDestroyOpcode());
Evan Chenge4a2dd22010-12-23 23:54:17 +0000633
634 // Factor out the amount the callee already popped.
635 Amount -= CalleeAmt;
NAKAMURA Takumic5b7a422011-01-26 01:28:06 +0000636
Bill Wendling80c76432009-08-16 11:00:26 +0000637 if (Amount) {
Evan Chenge4a2dd22010-12-23 23:54:17 +0000638 unsigned Opc = getADDriOpcode(Is64Bit, Amount);
639 New = BuildMI(MF, DL, TII.get(Opc), StackPtr)
640 .addReg(StackPtr).addImm(Amount);
Dan Gohmand293e0d2009-02-11 19:50:24 +0000641 }
Chris Lattner3648c672005-05-13 21:44:04 +0000642 }
Evan Chenge4a2dd22010-12-23 23:54:17 +0000643
644 if (New) {
645 // The EFLAGS implicit def is dead.
646 New->getOperand(3).setIsDead();
647
648 // Replace the pseudo instruction with a new instruction.
649 MBB.insert(I, New);
650 }
651
652 return;
653 }
654
Evan Chengd5b03f22011-06-28 21:14:33 +0000655 if (Opcode == TII.getCallFrameDestroyOpcode() && CalleeAmt) {
Chris Lattner3648c672005-05-13 21:44:04 +0000656 // If we are performing frame pointer elimination and if the callee pops
657 // something off the stack pointer, add it back. We do this until we have
658 // more advanced stack pointer tracking ability.
Evan Chenge4a2dd22010-12-23 23:54:17 +0000659 unsigned Opc = getSUBriOpcode(Is64Bit, CalleeAmt);
660 MachineInstr *New = BuildMI(MF, DL, TII.get(Opc), StackPtr)
661 .addReg(StackPtr).addImm(CalleeAmt);
Bill Wendling80c76432009-08-16 11:00:26 +0000662
Evan Chenge4a2dd22010-12-23 23:54:17 +0000663 // The EFLAGS implicit def is dead.
664 New->getOperand(3).setIsDead();
Jakob Stoklund Olesen6531bdd2011-06-29 23:11:39 +0000665
666 // We are not tracking the stack pointer adjustment by the callee, so make
667 // sure we restore the stack pointer immediately after the call, there may
668 // be spill code inserted between the CALL and ADJCALLSTACKUP instructions.
669 MachineBasicBlock::iterator B = MBB.begin();
670 while (I != B && !llvm::prior(I)->getDesc().isCall())
671 --I;
Evan Chenge4a2dd22010-12-23 23:54:17 +0000672 MBB.insert(I, New);
Chris Lattner3c1c03d2002-12-28 20:32:28 +0000673 }
Chris Lattner3c1c03d2002-12-28 20:32:28 +0000674}
675
Jim Grosbachfcb4a8e2010-08-26 23:32:16 +0000676void
Jim Grosbachb58f4982009-10-07 17:12:56 +0000677X86RegisterInfo::eliminateFrameIndex(MachineBasicBlock::iterator II,
Jim Grosbachfcb4a8e2010-08-26 23:32:16 +0000678 int SPAdj, RegScavenger *RS) const{
Evan Cheng97de9132007-05-01 09:13:03 +0000679 assert(SPAdj == 0 && "Unexpected");
680
Chris Lattnerd264bec2003-01-13 00:50:33 +0000681 unsigned i = 0;
Alkis Evlogimenosc0b9dc52004-02-12 02:27:10 +0000682 MachineInstr &MI = *II;
Nate Begemanf8be5e92004-08-14 22:05:10 +0000683 MachineFunction &MF = *MI.getParent()->getParent();
Anton Korobeynikov16c29b52011-01-10 12:39:04 +0000684 const TargetFrameLowering *TFI = MF.getTarget().getFrameLowering();
Bill Wendling80c76432009-08-16 11:00:26 +0000685
Dan Gohmand735b802008-10-03 15:45:36 +0000686 while (!MI.getOperand(i).isFI()) {
Chris Lattner3c1c03d2002-12-28 20:32:28 +0000687 ++i;
688 assert(i < MI.getNumOperands() && "Instr doesn't have FrameIndex operand!");
689 }
690
Chris Lattner8aa797a2007-12-30 23:10:15 +0000691 int FrameIndex = MI.getOperand(i).getIndex();
Anton Korobeynikov8e91ec52008-04-23 18:21:02 +0000692 unsigned BasePtr;
Bill Wendling80c76432009-08-16 11:00:26 +0000693
Evan Cheng3f54c642010-04-29 05:08:22 +0000694 unsigned Opc = MI.getOpcode();
695 bool AfterFPPop = Opc == X86::TAILJMPm64 || Opc == X86::TAILJMPm;
Anton Korobeynikov8e91ec52008-04-23 18:21:02 +0000696 if (needsStackRealignment(MF))
697 BasePtr = (FrameIndex < 0 ? FramePtr : StackPtr);
Evan Cheng3f54c642010-04-29 05:08:22 +0000698 else if (AfterFPPop)
699 BasePtr = StackPtr;
Anton Korobeynikov8e91ec52008-04-23 18:21:02 +0000700 else
Anton Korobeynikovd0c38172010-11-18 21:19:35 +0000701 BasePtr = (TFI->hasFP(MF) ? FramePtr : StackPtr);
Anton Korobeynikov8e91ec52008-04-23 18:21:02 +0000702
Chris Lattnerd264bec2003-01-13 00:50:33 +0000703 // This must be part of a four operand memory reference. Replace the
Evan Cheng25ab6902006-09-08 06:48:29 +0000704 // FrameIndex with base register with EBP. Add an offset to the offset.
Anton Korobeynikov8e91ec52008-04-23 18:21:02 +0000705 MI.getOperand(i).ChangeToRegister(BasePtr, false);
Chris Lattnerd264bec2003-01-13 00:50:33 +0000706
Dan Gohman82779702008-12-24 00:27:51 +0000707 // Now add the frame object offset to the offset from EBP.
Evan Cheng3f54c642010-04-29 05:08:22 +0000708 int FIOffset;
709 if (AfterFPPop) {
710 // Tail call jmp happens after FP is popped.
Evan Cheng3f54c642010-04-29 05:08:22 +0000711 const MachineFrameInfo *MFI = MF.getFrameInfo();
Anton Korobeynikovd0c38172010-11-18 21:19:35 +0000712 FIOffset = MFI->getObjectOffset(FrameIndex) - TFI->getOffsetOfLocalArea();
Evan Cheng3f54c642010-04-29 05:08:22 +0000713 } else
Anton Korobeynikov82f58742010-11-20 15:59:32 +0000714 FIOffset = TFI->getFrameIndexOffset(MF, FrameIndex);
Evan Cheng3f54c642010-04-29 05:08:22 +0000715
Dan Gohman82779702008-12-24 00:27:51 +0000716 if (MI.getOperand(i+3).isImm()) {
717 // Offset is a 32-bit integer.
Evan Cheng3f54c642010-04-29 05:08:22 +0000718 int Offset = FIOffset + (int)(MI.getOperand(i + 3).getImm());
David Greene3f2bf852009-11-12 20:49:22 +0000719 MI.getOperand(i + 3).ChangeToImmediate(Offset);
Dan Gohman82779702008-12-24 00:27:51 +0000720 } else {
721 // Offset is symbolic. This is extremely rare.
Evan Cheng3f54c642010-04-29 05:08:22 +0000722 uint64_t Offset = FIOffset + (uint64_t)MI.getOperand(i+3).getOffset();
Dan Gohman82779702008-12-24 00:27:51 +0000723 MI.getOperand(i+3).setOffset(Offset);
724 }
Chris Lattner3c1c03d2002-12-28 20:32:28 +0000725}
726
Jim Laskey41886992006-04-07 16:34:46 +0000727unsigned X86RegisterInfo::getRARegister() const {
Bill Wendling80c76432009-08-16 11:00:26 +0000728 return Is64Bit ? X86::RIP // Should have dwarf #16.
729 : X86::EIP; // Should have dwarf #8.
Jim Laskey41886992006-04-07 16:34:46 +0000730}
731
David Greene3f2bf852009-11-12 20:49:22 +0000732unsigned X86RegisterInfo::getFrameRegister(const MachineFunction &MF) const {
Anton Korobeynikov16c29b52011-01-10 12:39:04 +0000733 const TargetFrameLowering *TFI = MF.getTarget().getFrameLowering();
Anton Korobeynikovd0c38172010-11-18 21:19:35 +0000734 return TFI->hasFP(MF) ? FramePtr : StackPtr;
Jim Laskeyf1d78e82006-03-23 18:12:57 +0000735}
736
Jim Laskey62819f32007-02-21 22:54:50 +0000737unsigned X86RegisterInfo::getEHExceptionRegister() const {
Torok Edwinc23197a2009-07-14 16:55:14 +0000738 llvm_unreachable("What is the exception register");
Jim Laskey62819f32007-02-21 22:54:50 +0000739 return 0;
740}
741
742unsigned X86RegisterInfo::getEHHandlerRegister() const {
Torok Edwinc23197a2009-07-14 16:55:14 +0000743 llvm_unreachable("What is the exception handler register");
Jim Laskey62819f32007-02-21 22:54:50 +0000744 return 0;
745}
746
Evan Cheng8f7f7122006-05-05 05:40:20 +0000747namespace llvm {
Owen Andersone50ed302009-08-10 22:56:29 +0000748unsigned getX86SubSuperRegister(unsigned Reg, EVT VT, bool High) {
Owen Anderson825b72b2009-08-11 20:47:22 +0000749 switch (VT.getSimpleVT().SimpleTy) {
Evan Cheng8f7f7122006-05-05 05:40:20 +0000750 default: return Reg;
Owen Anderson825b72b2009-08-11 20:47:22 +0000751 case MVT::i8:
Evan Cheng8f7f7122006-05-05 05:40:20 +0000752 if (High) {
753 switch (Reg) {
Evan Cheng25ab6902006-09-08 06:48:29 +0000754 default: return 0;
755 case X86::AH: case X86::AL: case X86::AX: case X86::EAX: case X86::RAX:
Evan Cheng8f7f7122006-05-05 05:40:20 +0000756 return X86::AH;
Evan Cheng25ab6902006-09-08 06:48:29 +0000757 case X86::DH: case X86::DL: case X86::DX: case X86::EDX: case X86::RDX:
Evan Cheng8f7f7122006-05-05 05:40:20 +0000758 return X86::DH;
Evan Cheng25ab6902006-09-08 06:48:29 +0000759 case X86::CH: case X86::CL: case X86::CX: case X86::ECX: case X86::RCX:
Evan Cheng8f7f7122006-05-05 05:40:20 +0000760 return X86::CH;
Evan Cheng25ab6902006-09-08 06:48:29 +0000761 case X86::BH: case X86::BL: case X86::BX: case X86::EBX: case X86::RBX:
Evan Cheng8f7f7122006-05-05 05:40:20 +0000762 return X86::BH;
763 }
764 } else {
765 switch (Reg) {
Evan Cheng25ab6902006-09-08 06:48:29 +0000766 default: return 0;
767 case X86::AH: case X86::AL: case X86::AX: case X86::EAX: case X86::RAX:
Evan Cheng8f7f7122006-05-05 05:40:20 +0000768 return X86::AL;
Evan Cheng25ab6902006-09-08 06:48:29 +0000769 case X86::DH: case X86::DL: case X86::DX: case X86::EDX: case X86::RDX:
Evan Cheng8f7f7122006-05-05 05:40:20 +0000770 return X86::DL;
Evan Cheng25ab6902006-09-08 06:48:29 +0000771 case X86::CH: case X86::CL: case X86::CX: case X86::ECX: case X86::RCX:
Evan Cheng8f7f7122006-05-05 05:40:20 +0000772 return X86::CL;
Evan Cheng25ab6902006-09-08 06:48:29 +0000773 case X86::BH: case X86::BL: case X86::BX: case X86::EBX: case X86::RBX:
Evan Cheng8f7f7122006-05-05 05:40:20 +0000774 return X86::BL;
Evan Cheng25ab6902006-09-08 06:48:29 +0000775 case X86::SIL: case X86::SI: case X86::ESI: case X86::RSI:
776 return X86::SIL;
777 case X86::DIL: case X86::DI: case X86::EDI: case X86::RDI:
778 return X86::DIL;
779 case X86::BPL: case X86::BP: case X86::EBP: case X86::RBP:
780 return X86::BPL;
781 case X86::SPL: case X86::SP: case X86::ESP: case X86::RSP:
782 return X86::SPL;
783 case X86::R8B: case X86::R8W: case X86::R8D: case X86::R8:
784 return X86::R8B;
785 case X86::R9B: case X86::R9W: case X86::R9D: case X86::R9:
786 return X86::R9B;
787 case X86::R10B: case X86::R10W: case X86::R10D: case X86::R10:
788 return X86::R10B;
789 case X86::R11B: case X86::R11W: case X86::R11D: case X86::R11:
790 return X86::R11B;
791 case X86::R12B: case X86::R12W: case X86::R12D: case X86::R12:
792 return X86::R12B;
793 case X86::R13B: case X86::R13W: case X86::R13D: case X86::R13:
794 return X86::R13B;
795 case X86::R14B: case X86::R14W: case X86::R14D: case X86::R14:
796 return X86::R14B;
797 case X86::R15B: case X86::R15W: case X86::R15D: case X86::R15:
798 return X86::R15B;
Evan Cheng8f7f7122006-05-05 05:40:20 +0000799 }
800 }
Owen Anderson825b72b2009-08-11 20:47:22 +0000801 case MVT::i16:
Evan Cheng8f7f7122006-05-05 05:40:20 +0000802 switch (Reg) {
803 default: return Reg;
Evan Cheng25ab6902006-09-08 06:48:29 +0000804 case X86::AH: case X86::AL: case X86::AX: case X86::EAX: case X86::RAX:
Evan Cheng8f7f7122006-05-05 05:40:20 +0000805 return X86::AX;
Evan Cheng25ab6902006-09-08 06:48:29 +0000806 case X86::DH: case X86::DL: case X86::DX: case X86::EDX: case X86::RDX:
Evan Cheng8f7f7122006-05-05 05:40:20 +0000807 return X86::DX;
Evan Cheng25ab6902006-09-08 06:48:29 +0000808 case X86::CH: case X86::CL: case X86::CX: case X86::ECX: case X86::RCX:
Evan Cheng8f7f7122006-05-05 05:40:20 +0000809 return X86::CX;
Evan Cheng25ab6902006-09-08 06:48:29 +0000810 case X86::BH: case X86::BL: case X86::BX: case X86::EBX: case X86::RBX:
Evan Cheng8f7f7122006-05-05 05:40:20 +0000811 return X86::BX;
Evan Cheng25ab6902006-09-08 06:48:29 +0000812 case X86::SIL: case X86::SI: case X86::ESI: case X86::RSI:
Evan Cheng8f7f7122006-05-05 05:40:20 +0000813 return X86::SI;
Evan Cheng25ab6902006-09-08 06:48:29 +0000814 case X86::DIL: case X86::DI: case X86::EDI: case X86::RDI:
Evan Cheng8f7f7122006-05-05 05:40:20 +0000815 return X86::DI;
Evan Cheng25ab6902006-09-08 06:48:29 +0000816 case X86::BPL: case X86::BP: case X86::EBP: case X86::RBP:
Evan Cheng8f7f7122006-05-05 05:40:20 +0000817 return X86::BP;
Evan Cheng25ab6902006-09-08 06:48:29 +0000818 case X86::SPL: case X86::SP: case X86::ESP: case X86::RSP:
Evan Cheng8f7f7122006-05-05 05:40:20 +0000819 return X86::SP;
Evan Cheng25ab6902006-09-08 06:48:29 +0000820 case X86::R8B: case X86::R8W: case X86::R8D: case X86::R8:
821 return X86::R8W;
822 case X86::R9B: case X86::R9W: case X86::R9D: case X86::R9:
823 return X86::R9W;
824 case X86::R10B: case X86::R10W: case X86::R10D: case X86::R10:
825 return X86::R10W;
826 case X86::R11B: case X86::R11W: case X86::R11D: case X86::R11:
827 return X86::R11W;
828 case X86::R12B: case X86::R12W: case X86::R12D: case X86::R12:
829 return X86::R12W;
830 case X86::R13B: case X86::R13W: case X86::R13D: case X86::R13:
831 return X86::R13W;
832 case X86::R14B: case X86::R14W: case X86::R14D: case X86::R14:
833 return X86::R14W;
834 case X86::R15B: case X86::R15W: case X86::R15D: case X86::R15:
835 return X86::R15W;
Evan Cheng8f7f7122006-05-05 05:40:20 +0000836 }
Owen Anderson825b72b2009-08-11 20:47:22 +0000837 case MVT::i32:
Evan Cheng8f7f7122006-05-05 05:40:20 +0000838 switch (Reg) {
Evan Cheng25ab6902006-09-08 06:48:29 +0000839 default: return Reg;
840 case X86::AH: case X86::AL: case X86::AX: case X86::EAX: case X86::RAX:
Evan Cheng8f7f7122006-05-05 05:40:20 +0000841 return X86::EAX;
Evan Cheng25ab6902006-09-08 06:48:29 +0000842 case X86::DH: case X86::DL: case X86::DX: case X86::EDX: case X86::RDX:
Evan Cheng8f7f7122006-05-05 05:40:20 +0000843 return X86::EDX;
Evan Cheng25ab6902006-09-08 06:48:29 +0000844 case X86::CH: case X86::CL: case X86::CX: case X86::ECX: case X86::RCX:
Evan Cheng8f7f7122006-05-05 05:40:20 +0000845 return X86::ECX;
Evan Cheng25ab6902006-09-08 06:48:29 +0000846 case X86::BH: case X86::BL: case X86::BX: case X86::EBX: case X86::RBX:
Evan Cheng8f7f7122006-05-05 05:40:20 +0000847 return X86::EBX;
Evan Cheng25ab6902006-09-08 06:48:29 +0000848 case X86::SIL: case X86::SI: case X86::ESI: case X86::RSI:
Evan Cheng8f7f7122006-05-05 05:40:20 +0000849 return X86::ESI;
Evan Cheng25ab6902006-09-08 06:48:29 +0000850 case X86::DIL: case X86::DI: case X86::EDI: case X86::RDI:
Evan Cheng8f7f7122006-05-05 05:40:20 +0000851 return X86::EDI;
Evan Cheng25ab6902006-09-08 06:48:29 +0000852 case X86::BPL: case X86::BP: case X86::EBP: case X86::RBP:
Evan Cheng8f7f7122006-05-05 05:40:20 +0000853 return X86::EBP;
Evan Cheng25ab6902006-09-08 06:48:29 +0000854 case X86::SPL: case X86::SP: case X86::ESP: case X86::RSP:
Evan Cheng8f7f7122006-05-05 05:40:20 +0000855 return X86::ESP;
Evan Cheng25ab6902006-09-08 06:48:29 +0000856 case X86::R8B: case X86::R8W: case X86::R8D: case X86::R8:
857 return X86::R8D;
858 case X86::R9B: case X86::R9W: case X86::R9D: case X86::R9:
859 return X86::R9D;
860 case X86::R10B: case X86::R10W: case X86::R10D: case X86::R10:
861 return X86::R10D;
862 case X86::R11B: case X86::R11W: case X86::R11D: case X86::R11:
863 return X86::R11D;
864 case X86::R12B: case X86::R12W: case X86::R12D: case X86::R12:
865 return X86::R12D;
866 case X86::R13B: case X86::R13W: case X86::R13D: case X86::R13:
867 return X86::R13D;
868 case X86::R14B: case X86::R14W: case X86::R14D: case X86::R14:
869 return X86::R14D;
870 case X86::R15B: case X86::R15W: case X86::R15D: case X86::R15:
871 return X86::R15D;
872 }
Owen Anderson825b72b2009-08-11 20:47:22 +0000873 case MVT::i64:
Evan Cheng25ab6902006-09-08 06:48:29 +0000874 switch (Reg) {
875 default: return Reg;
876 case X86::AH: case X86::AL: case X86::AX: case X86::EAX: case X86::RAX:
877 return X86::RAX;
878 case X86::DH: case X86::DL: case X86::DX: case X86::EDX: case X86::RDX:
879 return X86::RDX;
880 case X86::CH: case X86::CL: case X86::CX: case X86::ECX: case X86::RCX:
881 return X86::RCX;
882 case X86::BH: case X86::BL: case X86::BX: case X86::EBX: case X86::RBX:
883 return X86::RBX;
884 case X86::SIL: case X86::SI: case X86::ESI: case X86::RSI:
885 return X86::RSI;
886 case X86::DIL: case X86::DI: case X86::EDI: case X86::RDI:
887 return X86::RDI;
888 case X86::BPL: case X86::BP: case X86::EBP: case X86::RBP:
889 return X86::RBP;
890 case X86::SPL: case X86::SP: case X86::ESP: case X86::RSP:
891 return X86::RSP;
892 case X86::R8B: case X86::R8W: case X86::R8D: case X86::R8:
893 return X86::R8;
894 case X86::R9B: case X86::R9W: case X86::R9D: case X86::R9:
895 return X86::R9;
896 case X86::R10B: case X86::R10W: case X86::R10D: case X86::R10:
897 return X86::R10;
898 case X86::R11B: case X86::R11W: case X86::R11D: case X86::R11:
899 return X86::R11;
900 case X86::R12B: case X86::R12W: case X86::R12D: case X86::R12:
901 return X86::R12;
902 case X86::R13B: case X86::R13W: case X86::R13D: case X86::R13:
903 return X86::R13;
904 case X86::R14B: case X86::R14W: case X86::R14D: case X86::R14:
905 return X86::R14;
906 case X86::R15B: case X86::R15W: case X86::R15D: case X86::R15:
907 return X86::R15;
Evan Cheng8f7f7122006-05-05 05:40:20 +0000908 }
909 }
910
911 return Reg;
912}
913}
914
Jim Grosbachfa85eb62010-04-06 20:26:37 +0000915namespace {
916 struct MSAH : public MachineFunctionPass {
917 static char ID;
Owen Anderson90c579d2010-08-06 18:33:48 +0000918 MSAH() : MachineFunctionPass(ID) {}
Jim Grosbachfa85eb62010-04-06 20:26:37 +0000919
920 virtual bool runOnMachineFunction(MachineFunction &MF) {
921 const X86TargetMachine *TM =
922 static_cast<const X86TargetMachine *>(&MF.getTarget());
Evan Cheng2fa82bc2011-06-23 01:53:43 +0000923 const TargetFrameLowering *TFI = TM->getFrameLowering();
Jim Grosbachfa85eb62010-04-06 20:26:37 +0000924 MachineRegisterInfo &RI = MF.getRegInfo();
925 X86MachineFunctionInfo *FuncInfo = MF.getInfo<X86MachineFunctionInfo>();
Evan Cheng2fa82bc2011-06-23 01:53:43 +0000926 unsigned StackAlignment = TFI->getStackAlignment();
Jim Grosbachfa85eb62010-04-06 20:26:37 +0000927
928 // Be over-conservative: scan over all vreg defs and find whether vector
929 // registers are used. If yes, there is a possibility that vector register
930 // will be spilled and thus require dynamic stack realignment.
Jakob Stoklund Olesenb2581352011-01-08 23:11:11 +0000931 for (unsigned i = 0, e = RI.getNumVirtRegs(); i != e; ++i) {
932 unsigned Reg = TargetRegisterInfo::index2VirtReg(i);
933 if (RI.getRegClass(Reg)->getAlignment() > StackAlignment) {
Jim Grosbachfa85eb62010-04-06 20:26:37 +0000934 FuncInfo->setReserveFP(true);
935 return true;
936 }
Jakob Stoklund Olesenb2581352011-01-08 23:11:11 +0000937 }
Jim Grosbachfa85eb62010-04-06 20:26:37 +0000938 // Nothing to do
939 return false;
940 }
941
942 virtual const char *getPassName() const {
943 return "X86 Maximal Stack Alignment Check";
944 }
945
946 virtual void getAnalysisUsage(AnalysisUsage &AU) const {
947 AU.setPreservesCFG();
948 MachineFunctionPass::getAnalysisUsage(AU);
949 }
950 };
951
952 char MSAH::ID = 0;
953}
954
955FunctionPass*
956llvm::createX86MaxStackAlignmentHeuristicPass() { return new MSAH(); }