Misha Brukman | cf2b9ac | 2002-11-22 22:43:47 +0000 | [diff] [blame] | 1 | //===- X86RegisterInfo.cpp - X86 Register Information -----------*- C++ -*-===// |
Alkis Evlogimenos | 39354c9 | 2004-03-14 07:19:51 +0000 | [diff] [blame] | 2 | // |
John Criswell | b576c94 | 2003-10-20 19:43:21 +0000 | [diff] [blame] | 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 4ee451d | 2007-12-29 20:36:04 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Alkis Evlogimenos | 39354c9 | 2004-03-14 07:19:51 +0000 | [diff] [blame] | 7 | // |
John Criswell | b576c94 | 2003-10-20 19:43:21 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
Chris Lattner | 7261408 | 2002-10-25 22:55:53 +0000 | [diff] [blame] | 9 | // |
Dan Gohman | 6f0d024 | 2008-02-10 18:45:23 +0000 | [diff] [blame] | 10 | // 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 Lattner | 7261408 | 2002-10-25 22:55:53 +0000 | [diff] [blame] | 13 | // |
| 14 | //===----------------------------------------------------------------------===// |
| 15 | |
Misha Brukman | b83b286 | 2002-11-20 18:59:43 +0000 | [diff] [blame] | 16 | #include "X86.h" |
Chris Lattner | 7261408 | 2002-10-25 22:55:53 +0000 | [diff] [blame] | 17 | #include "X86RegisterInfo.h" |
Misha Brukman | cf2b9ac | 2002-11-22 22:43:47 +0000 | [diff] [blame] | 18 | #include "X86InstrBuilder.h" |
Evan Cheng | e8bd0a3 | 2006-06-06 23:30:24 +0000 | [diff] [blame] | 19 | #include "X86MachineFunctionInfo.h" |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 20 | #include "X86Subtarget.h" |
Evan Cheng | e8bd0a3 | 2006-06-06 23:30:24 +0000 | [diff] [blame] | 21 | #include "X86TargetMachine.h" |
Misha Brukman | b83b286 | 2002-11-20 18:59:43 +0000 | [diff] [blame] | 22 | #include "llvm/Constants.h" |
Evan Cheng | 3649b0e | 2006-06-02 22:38:37 +0000 | [diff] [blame] | 23 | #include "llvm/Function.h" |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 24 | #include "llvm/Type.h" |
Chris Lattner | c8c377d | 2003-07-29 05:14:16 +0000 | [diff] [blame] | 25 | #include "llvm/CodeGen/ValueTypes.h" |
Misha Brukman | b83b286 | 2002-11-20 18:59:43 +0000 | [diff] [blame] | 26 | #include "llvm/CodeGen/MachineInstrBuilder.h" |
Chris Lattner | 198ab64 | 2002-12-15 20:06:35 +0000 | [diff] [blame] | 27 | #include "llvm/CodeGen/MachineFunction.h" |
Dan Gohman | 2dad025 | 2008-07-01 18:15:35 +0000 | [diff] [blame] | 28 | #include "llvm/CodeGen/MachineFunctionPass.h" |
Chris Lattner | aa09b75 | 2002-12-28 21:08:28 +0000 | [diff] [blame] | 29 | #include "llvm/CodeGen/MachineFrameInfo.h" |
Jim Laskey | f1d78e8 | 2006-03-23 18:12:57 +0000 | [diff] [blame] | 30 | #include "llvm/CodeGen/MachineLocation.h" |
Chris Lattner | 84bc542 | 2007-12-31 04:13:23 +0000 | [diff] [blame] | 31 | #include "llvm/CodeGen/MachineModuleInfo.h" |
| 32 | #include "llvm/CodeGen/MachineRegisterInfo.h" |
Chris Lattner | af76e59 | 2009-08-22 20:48:53 +0000 | [diff] [blame] | 33 | #include "llvm/MC/MCAsmInfo.h" |
Anton Korobeynikov | 16c29b5 | 2011-01-10 12:39:04 +0000 | [diff] [blame] | 34 | #include "llvm/Target/TargetFrameLowering.h" |
Evan Cheng | 51cdcd1 | 2006-12-07 01:21:59 +0000 | [diff] [blame] | 35 | #include "llvm/Target/TargetInstrInfo.h" |
Misha Brukman | 83eaa0b | 2004-06-21 21:10:24 +0000 | [diff] [blame] | 36 | #include "llvm/Target/TargetMachine.h" |
Chris Lattner | 0cf0c37 | 2004-07-11 04:17:10 +0000 | [diff] [blame] | 37 | #include "llvm/Target/TargetOptions.h" |
Evan Cheng | b371f45 | 2007-02-19 21:49:54 +0000 | [diff] [blame] | 38 | #include "llvm/ADT/BitVector.h" |
Reid Spencer | 551ccae | 2004-09-01 22:55:40 +0000 | [diff] [blame] | 39 | #include "llvm/ADT/STLExtras.h" |
Torok Edwin | c25e758 | 2009-07-11 20:10:48 +0000 | [diff] [blame] | 40 | #include "llvm/Support/ErrorHandling.h" |
Eric Christopher | e74a088 | 2010-08-05 23:57:43 +0000 | [diff] [blame] | 41 | #include "llvm/Support/CommandLine.h" |
Evan Cheng | 73f50d9 | 2011-06-27 18:32:37 +0000 | [diff] [blame] | 42 | |
| 43 | #define GET_REGINFO_MC_DESC |
| 44 | #define GET_REGINFO_TARGET_DESC |
Evan Cheng | a347f85 | 2011-06-24 01:44:41 +0000 | [diff] [blame] | 45 | #include "X86GenRegisterInfo.inc" |
Evan Cheng | 73f50d9 | 2011-06-27 18:32:37 +0000 | [diff] [blame] | 46 | |
Chris Lattner | 300d0ed | 2004-02-14 06:00:36 +0000 | [diff] [blame] | 47 | using namespace llvm; |
Brian Gaeke | d0fde30 | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 48 | |
Anton Korobeynikov | 3346491 | 2010-11-15 00:06:54 +0000 | [diff] [blame] | 49 | cl::opt<bool> |
Eric Christopher | e74a088 | 2010-08-05 23:57:43 +0000 | [diff] [blame] | 50 | ForceStackAlign("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 Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 55 | X86RegisterInfo::X86RegisterInfo(X86TargetMachine &tm, |
| 56 | const TargetInstrInfo &tii) |
Evan Cheng | d5b03f2 | 2011-06-28 21:14:33 +0000 | [diff] [blame] | 57 | : X86GenRegisterInfo(), TM(tm), TII(tii) { |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 58 | // Cache some information. |
| 59 | const X86Subtarget *Subtarget = &TM.getSubtarget<X86Subtarget>(); |
| 60 | Is64Bit = Subtarget->is64Bit(); |
Anton Korobeynikov | 1dcce21 | 2008-03-22 21:04:01 +0000 | [diff] [blame] | 61 | IsWin64 = Subtarget->isTargetWin64(); |
Bill Wendling | 80c7643 | 2009-08-16 11:00:26 +0000 | [diff] [blame] | 62 | |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 63 | 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 Lattner | 7ad3e06 | 2003-08-03 15:48:14 +0000 | [diff] [blame] | 73 | |
Rafael Espindola | 6e03294 | 2011-05-30 20:20:15 +0000 | [diff] [blame] | 74 | static 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 Wendling | 80c7643 | 2009-08-16 11:00:26 +0000 | [diff] [blame] | 91 | /// getDwarfRegNum - This function maps LLVM register identifiers to the DWARF |
| 92 | /// specific numbering, used in debug info and exception tables. |
Dale Johannesen | b97aec6 | 2007-11-13 19:13:01 +0000 | [diff] [blame] | 93 | int X86RegisterInfo::getDwarfRegNum(unsigned RegNo, bool isEH) const { |
Dale Johannesen | 483ec21 | 2007-11-07 00:25:05 +0000 | [diff] [blame] | 94 | const X86Subtarget *Subtarget = &TM.getSubtarget<X86Subtarget>(); |
Rafael Espindola | 6e03294 | 2011-05-30 20:20:15 +0000 | [diff] [blame] | 95 | unsigned Flavour = getFlavour(Subtarget, isEH); |
Anton Korobeynikov | f191c80 | 2007-11-11 19:50:10 +0000 | [diff] [blame] | 96 | |
| 97 | return X86GenRegisterInfo::getDwarfRegNumFull(RegNo, Flavour); |
Dale Johannesen | 483ec21 | 2007-11-07 00:25:05 +0000 | [diff] [blame] | 98 | } |
| 99 | |
Rafael Espindola | 6e03294 | 2011-05-30 20:20:15 +0000 | [diff] [blame] | 100 | /// getLLVMRegNum - This function maps DWARF register numbers to LLVM register. |
| 101 | int 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 | |
Bill Wendling | 5cd2791 | 2011-06-30 23:20:32 +0000 | [diff] [blame^] | 108 | /// getCompactUnwindRegNum - This function maps the register to the number for |
| 109 | /// compact unwind encoding. Return -1 if the register isn't valid. |
| 110 | int X86RegisterInfo::getCompactUnwindRegNum(unsigned RegNum) const { |
| 111 | switch (RegNum) { |
| 112 | case X86::EBX: case X86::RBX: return 1; |
| 113 | case X86::ECX: case X86::RCX: return 2; |
| 114 | case X86::EDX: case X86::RDX: return 3; |
| 115 | case X86::EDI: case X86::RDI: return 4; |
| 116 | case X86::ESI: case X86::RSI: return 5; |
| 117 | case X86::EBP: case X86::RBP: return 6; |
| 118 | } |
| 119 | |
| 120 | return -1; |
| 121 | } |
| 122 | |
Charles Davis | 6b918b8 | 2011-05-24 16:57:53 +0000 | [diff] [blame] | 123 | int |
| 124 | X86RegisterInfo::getSEHRegNum(unsigned i) const { |
| 125 | int reg = getX86RegNum(i); |
| 126 | switch (i) { |
| 127 | case X86::R8: case X86::R8D: case X86::R8W: case X86::R8B: |
| 128 | case X86::R9: case X86::R9D: case X86::R9W: case X86::R9B: |
| 129 | case X86::R10: case X86::R10D: case X86::R10W: case X86::R10B: |
| 130 | case X86::R11: case X86::R11D: case X86::R11W: case X86::R11B: |
| 131 | case X86::R12: case X86::R12D: case X86::R12W: case X86::R12B: |
| 132 | case X86::R13: case X86::R13D: case X86::R13W: case X86::R13B: |
| 133 | case X86::R14: case X86::R14D: case X86::R14W: case X86::R14B: |
| 134 | case X86::R15: case X86::R15D: case X86::R15W: case X86::R15B: |
| 135 | case X86::XMM8: case X86::XMM9: case X86::XMM10: case X86::XMM11: |
| 136 | case X86::XMM12: case X86::XMM13: case X86::XMM14: case X86::XMM15: |
| 137 | case X86::YMM8: case X86::YMM9: case X86::YMM10: case X86::YMM11: |
| 138 | case X86::YMM12: case X86::YMM13: case X86::YMM14: case X86::YMM15: |
| 139 | reg += 8; |
| 140 | } |
| 141 | return reg; |
| 142 | } |
| 143 | |
Bill Wendling | 80c7643 | 2009-08-16 11:00:26 +0000 | [diff] [blame] | 144 | /// getX86RegNum - This function maps LLVM register identifiers to their X86 |
| 145 | /// specific numbering, which is used in various places encoding instructions. |
Nicolas Geoffray | 52e724a | 2008-04-16 20:10:13 +0000 | [diff] [blame] | 146 | unsigned X86RegisterInfo::getX86RegNum(unsigned RegNo) { |
Duncan Sands | ee46574 | 2007-08-29 19:01:20 +0000 | [diff] [blame] | 147 | switch(RegNo) { |
| 148 | case X86::RAX: case X86::EAX: case X86::AX: case X86::AL: return N86::EAX; |
| 149 | case X86::RCX: case X86::ECX: case X86::CX: case X86::CL: return N86::ECX; |
| 150 | case X86::RDX: case X86::EDX: case X86::DX: case X86::DL: return N86::EDX; |
| 151 | case X86::RBX: case X86::EBX: case X86::BX: case X86::BL: return N86::EBX; |
| 152 | case X86::RSP: case X86::ESP: case X86::SP: case X86::SPL: case X86::AH: |
| 153 | return N86::ESP; |
| 154 | case X86::RBP: case X86::EBP: case X86::BP: case X86::BPL: case X86::CH: |
| 155 | return N86::EBP; |
| 156 | case X86::RSI: case X86::ESI: case X86::SI: case X86::SIL: case X86::DH: |
| 157 | return N86::ESI; |
| 158 | case X86::RDI: case X86::EDI: case X86::DI: case X86::DIL: case X86::BH: |
| 159 | return N86::EDI; |
| 160 | |
| 161 | case X86::R8: case X86::R8D: case X86::R8W: case X86::R8B: |
| 162 | return N86::EAX; |
| 163 | case X86::R9: case X86::R9D: case X86::R9W: case X86::R9B: |
| 164 | return N86::ECX; |
| 165 | case X86::R10: case X86::R10D: case X86::R10W: case X86::R10B: |
| 166 | return N86::EDX; |
| 167 | case X86::R11: case X86::R11D: case X86::R11W: case X86::R11B: |
| 168 | return N86::EBX; |
| 169 | case X86::R12: case X86::R12D: case X86::R12W: case X86::R12B: |
| 170 | return N86::ESP; |
| 171 | case X86::R13: case X86::R13D: case X86::R13W: case X86::R13B: |
| 172 | return N86::EBP; |
| 173 | case X86::R14: case X86::R14D: case X86::R14W: case X86::R14B: |
| 174 | return N86::ESI; |
| 175 | case X86::R15: case X86::R15D: case X86::R15W: case X86::R15B: |
| 176 | return N86::EDI; |
| 177 | |
| 178 | case X86::ST0: case X86::ST1: case X86::ST2: case X86::ST3: |
| 179 | case X86::ST4: case X86::ST5: case X86::ST6: case X86::ST7: |
| 180 | return RegNo-X86::ST0; |
| 181 | |
Bruno Cardoso Lopes | e86b01c | 2010-07-09 18:27:43 +0000 | [diff] [blame] | 182 | case X86::XMM0: case X86::XMM8: |
| 183 | case X86::YMM0: case X86::YMM8: case X86::MM0: |
Evan Cheng | e7c8754 | 2007-11-13 17:54:34 +0000 | [diff] [blame] | 184 | return 0; |
Bruno Cardoso Lopes | e86b01c | 2010-07-09 18:27:43 +0000 | [diff] [blame] | 185 | case X86::XMM1: case X86::XMM9: |
| 186 | case X86::YMM1: case X86::YMM9: case X86::MM1: |
Evan Cheng | e7c8754 | 2007-11-13 17:54:34 +0000 | [diff] [blame] | 187 | return 1; |
Bruno Cardoso Lopes | e86b01c | 2010-07-09 18:27:43 +0000 | [diff] [blame] | 188 | case X86::XMM2: case X86::XMM10: |
| 189 | case X86::YMM2: case X86::YMM10: case X86::MM2: |
Evan Cheng | e7c8754 | 2007-11-13 17:54:34 +0000 | [diff] [blame] | 190 | return 2; |
Bruno Cardoso Lopes | e86b01c | 2010-07-09 18:27:43 +0000 | [diff] [blame] | 191 | case X86::XMM3: case X86::XMM11: |
| 192 | case X86::YMM3: case X86::YMM11: case X86::MM3: |
Evan Cheng | e7c8754 | 2007-11-13 17:54:34 +0000 | [diff] [blame] | 193 | return 3; |
Bruno Cardoso Lopes | e86b01c | 2010-07-09 18:27:43 +0000 | [diff] [blame] | 194 | case X86::XMM4: case X86::XMM12: |
| 195 | case X86::YMM4: case X86::YMM12: case X86::MM4: |
Evan Cheng | e7c8754 | 2007-11-13 17:54:34 +0000 | [diff] [blame] | 196 | return 4; |
Bruno Cardoso Lopes | e86b01c | 2010-07-09 18:27:43 +0000 | [diff] [blame] | 197 | case X86::XMM5: case X86::XMM13: |
| 198 | case X86::YMM5: case X86::YMM13: case X86::MM5: |
Evan Cheng | e7c8754 | 2007-11-13 17:54:34 +0000 | [diff] [blame] | 199 | return 5; |
Bruno Cardoso Lopes | e86b01c | 2010-07-09 18:27:43 +0000 | [diff] [blame] | 200 | case X86::XMM6: case X86::XMM14: |
| 201 | case X86::YMM6: case X86::YMM14: case X86::MM6: |
Evan Cheng | e7c8754 | 2007-11-13 17:54:34 +0000 | [diff] [blame] | 202 | return 6; |
Bruno Cardoso Lopes | e86b01c | 2010-07-09 18:27:43 +0000 | [diff] [blame] | 203 | case X86::XMM7: case X86::XMM15: |
| 204 | case X86::YMM7: case X86::YMM15: case X86::MM7: |
Evan Cheng | e7c8754 | 2007-11-13 17:54:34 +0000 | [diff] [blame] | 205 | return 7; |
Duncan Sands | ee46574 | 2007-08-29 19:01:20 +0000 | [diff] [blame] | 206 | |
Chris Lattner | bc57c6d | 2010-09-22 05:29:50 +0000 | [diff] [blame] | 207 | case X86::ES: return 0; |
| 208 | case X86::CS: return 1; |
| 209 | case X86::SS: return 2; |
| 210 | case X86::DS: return 3; |
| 211 | case X86::FS: return 4; |
| 212 | case X86::GS: return 5; |
Kevin Enderby | b106543 | 2010-05-26 20:10:45 +0000 | [diff] [blame] | 213 | |
Chris Lattner | bc57c6d | 2010-09-22 05:29:50 +0000 | [diff] [blame] | 214 | case X86::CR0: case X86::CR8 : case X86::DR0: return 0; |
| 215 | case X86::CR1: case X86::CR9 : case X86::DR1: return 1; |
| 216 | case X86::CR2: case X86::CR10: case X86::DR2: return 2; |
| 217 | case X86::CR3: case X86::CR11: case X86::DR3: return 3; |
| 218 | case X86::CR4: case X86::CR12: case X86::DR4: return 4; |
| 219 | case X86::CR5: case X86::CR13: case X86::DR5: return 5; |
| 220 | case X86::CR6: case X86::CR14: case X86::DR6: return 6; |
| 221 | case X86::CR7: case X86::CR15: case X86::DR7: return 7; |
Kevin Enderby | 31b6c5b | 2010-05-28 19:01:27 +0000 | [diff] [blame] | 222 | |
Bruno Cardoso Lopes | 3c8e1be | 2010-07-24 00:06:39 +0000 | [diff] [blame] | 223 | // Pseudo index registers are equivalent to a "none" |
| 224 | // scaled index (See Intel Manual 2A, table 2-3) |
| 225 | case X86::EIZ: |
| 226 | case X86::RIZ: |
| 227 | return 4; |
| 228 | |
Duncan Sands | ee46574 | 2007-08-29 19:01:20 +0000 | [diff] [blame] | 229 | default: |
| 230 | assert(isVirtualRegister(RegNo) && "Unknown physical register!"); |
Torok Edwin | c23197a | 2009-07-14 16:55:14 +0000 | [diff] [blame] | 231 | llvm_unreachable("Register allocator hasn't allocated reg correctly yet!"); |
Duncan Sands | ee46574 | 2007-08-29 19:01:20 +0000 | [diff] [blame] | 232 | return 0; |
| 233 | } |
| 234 | } |
| 235 | |
Evan Cheng | 5248468 | 2009-07-18 02:10:10 +0000 | [diff] [blame] | 236 | const TargetRegisterClass * |
| 237 | X86RegisterInfo::getMatchingSuperRegClass(const TargetRegisterClass *A, |
| 238 | const TargetRegisterClass *B, |
| 239 | unsigned SubIdx) const { |
| 240 | switch (SubIdx) { |
| 241 | default: return 0; |
Jakob Stoklund Olesen | 22c0e97 | 2010-05-25 17:04:16 +0000 | [diff] [blame] | 242 | case X86::sub_8bit: |
Evan Cheng | 5248468 | 2009-07-18 02:10:10 +0000 | [diff] [blame] | 243 | if (B == &X86::GR8RegClass) { |
Evan Cheng | 753480a | 2009-07-20 19:47:55 +0000 | [diff] [blame] | 244 | if (A->getSize() == 2 || A->getSize() == 4 || A->getSize() == 8) |
| 245 | return A; |
Evan Cheng | 5248468 | 2009-07-18 02:10:10 +0000 | [diff] [blame] | 246 | } else if (B == &X86::GR8_ABCD_LRegClass || B == &X86::GR8_ABCD_HRegClass) { |
Evan Cheng | 753480a | 2009-07-20 19:47:55 +0000 | [diff] [blame] | 247 | if (A == &X86::GR64RegClass || A == &X86::GR64_ABCDRegClass || |
Dan Gohman | a4714e0 | 2009-07-30 01:56:29 +0000 | [diff] [blame] | 248 | A == &X86::GR64_NOREXRegClass || |
| 249 | A == &X86::GR64_NOSPRegClass || |
| 250 | A == &X86::GR64_NOREX_NOSPRegClass) |
Evan Cheng | 5248468 | 2009-07-18 02:10:10 +0000 | [diff] [blame] | 251 | return &X86::GR64_ABCDRegClass; |
Evan Cheng | 753480a | 2009-07-20 19:47:55 +0000 | [diff] [blame] | 252 | else if (A == &X86::GR32RegClass || A == &X86::GR32_ABCDRegClass || |
Dan Gohman | a4714e0 | 2009-07-30 01:56:29 +0000 | [diff] [blame] | 253 | A == &X86::GR32_NOREXRegClass || |
| 254 | A == &X86::GR32_NOSPRegClass) |
Evan Cheng | 5248468 | 2009-07-18 02:10:10 +0000 | [diff] [blame] | 255 | return &X86::GR32_ABCDRegClass; |
Evan Cheng | 753480a | 2009-07-20 19:47:55 +0000 | [diff] [blame] | 256 | else if (A == &X86::GR16RegClass || A == &X86::GR16_ABCDRegClass || |
| 257 | A == &X86::GR16_NOREXRegClass) |
Evan Cheng | 5248468 | 2009-07-18 02:10:10 +0000 | [diff] [blame] | 258 | return &X86::GR16_ABCDRegClass; |
| 259 | } else if (B == &X86::GR8_NOREXRegClass) { |
Dan Gohman | a4714e0 | 2009-07-30 01:56:29 +0000 | [diff] [blame] | 260 | if (A == &X86::GR64RegClass || A == &X86::GR64_NOREXRegClass || |
| 261 | A == &X86::GR64_NOSPRegClass || A == &X86::GR64_NOREX_NOSPRegClass) |
Evan Cheng | 5248468 | 2009-07-18 02:10:10 +0000 | [diff] [blame] | 262 | return &X86::GR64_NOREXRegClass; |
Evan Cheng | 753480a | 2009-07-20 19:47:55 +0000 | [diff] [blame] | 263 | else if (A == &X86::GR64_ABCDRegClass) |
| 264 | return &X86::GR64_ABCDRegClass; |
Dan Gohman | a4714e0 | 2009-07-30 01:56:29 +0000 | [diff] [blame] | 265 | else if (A == &X86::GR32RegClass || A == &X86::GR32_NOREXRegClass || |
| 266 | A == &X86::GR32_NOSPRegClass) |
Evan Cheng | 5248468 | 2009-07-18 02:10:10 +0000 | [diff] [blame] | 267 | return &X86::GR32_NOREXRegClass; |
Evan Cheng | 753480a | 2009-07-20 19:47:55 +0000 | [diff] [blame] | 268 | else if (A == &X86::GR32_ABCDRegClass) |
| 269 | return &X86::GR32_ABCDRegClass; |
Evan Cheng | 5248468 | 2009-07-18 02:10:10 +0000 | [diff] [blame] | 270 | else if (A == &X86::GR16RegClass || A == &X86::GR16_NOREXRegClass) |
| 271 | return &X86::GR16_NOREXRegClass; |
Evan Cheng | 753480a | 2009-07-20 19:47:55 +0000 | [diff] [blame] | 272 | else if (A == &X86::GR16_ABCDRegClass) |
| 273 | return &X86::GR16_ABCDRegClass; |
Evan Cheng | 5248468 | 2009-07-18 02:10:10 +0000 | [diff] [blame] | 274 | } |
| 275 | break; |
Jakob Stoklund Olesen | 22c0e97 | 2010-05-25 17:04:16 +0000 | [diff] [blame] | 276 | case X86::sub_8bit_hi: |
Jakob Stoklund Olesen | fa226bc | 2011-06-02 05:43:46 +0000 | [diff] [blame] | 277 | if (B->hasSubClassEq(&X86::GR8_ABCD_HRegClass)) |
Jakob Stoklund Olesen | 4f5de9b | 2011-05-04 23:54:54 +0000 | [diff] [blame] | 278 | switch (A->getSize()) { |
| 279 | case 2: return getCommonSubClass(A, &X86::GR16_ABCDRegClass); |
| 280 | case 4: return getCommonSubClass(A, &X86::GR32_ABCDRegClass); |
| 281 | case 8: return getCommonSubClass(A, &X86::GR64_ABCDRegClass); |
| 282 | default: return 0; |
| 283 | } |
Evan Cheng | 5248468 | 2009-07-18 02:10:10 +0000 | [diff] [blame] | 284 | break; |
Jakob Stoklund Olesen | 22c0e97 | 2010-05-25 17:04:16 +0000 | [diff] [blame] | 285 | case X86::sub_16bit: |
Evan Cheng | 5248468 | 2009-07-18 02:10:10 +0000 | [diff] [blame] | 286 | if (B == &X86::GR16RegClass) { |
Evan Cheng | 753480a | 2009-07-20 19:47:55 +0000 | [diff] [blame] | 287 | if (A->getSize() == 4 || A->getSize() == 8) |
| 288 | return A; |
Evan Cheng | 5248468 | 2009-07-18 02:10:10 +0000 | [diff] [blame] | 289 | } else if (B == &X86::GR16_ABCDRegClass) { |
Evan Cheng | 753480a | 2009-07-20 19:47:55 +0000 | [diff] [blame] | 290 | if (A == &X86::GR64RegClass || A == &X86::GR64_ABCDRegClass || |
Dan Gohman | a4714e0 | 2009-07-30 01:56:29 +0000 | [diff] [blame] | 291 | A == &X86::GR64_NOREXRegClass || |
| 292 | A == &X86::GR64_NOSPRegClass || |
| 293 | A == &X86::GR64_NOREX_NOSPRegClass) |
Evan Cheng | 5248468 | 2009-07-18 02:10:10 +0000 | [diff] [blame] | 294 | return &X86::GR64_ABCDRegClass; |
Evan Cheng | 753480a | 2009-07-20 19:47:55 +0000 | [diff] [blame] | 295 | else if (A == &X86::GR32RegClass || A == &X86::GR32_ABCDRegClass || |
Dan Gohman | a4714e0 | 2009-07-30 01:56:29 +0000 | [diff] [blame] | 296 | A == &X86::GR32_NOREXRegClass || A == &X86::GR32_NOSPRegClass) |
Evan Cheng | 5248468 | 2009-07-18 02:10:10 +0000 | [diff] [blame] | 297 | return &X86::GR32_ABCDRegClass; |
| 298 | } else if (B == &X86::GR16_NOREXRegClass) { |
Dan Gohman | a4714e0 | 2009-07-30 01:56:29 +0000 | [diff] [blame] | 299 | if (A == &X86::GR64RegClass || A == &X86::GR64_NOREXRegClass || |
| 300 | A == &X86::GR64_NOSPRegClass || A == &X86::GR64_NOREX_NOSPRegClass) |
Evan Cheng | 5248468 | 2009-07-18 02:10:10 +0000 | [diff] [blame] | 301 | return &X86::GR64_NOREXRegClass; |
Evan Cheng | 753480a | 2009-07-20 19:47:55 +0000 | [diff] [blame] | 302 | else if (A == &X86::GR64_ABCDRegClass) |
| 303 | return &X86::GR64_ABCDRegClass; |
Dan Gohman | a4714e0 | 2009-07-30 01:56:29 +0000 | [diff] [blame] | 304 | else if (A == &X86::GR32RegClass || A == &X86::GR32_NOREXRegClass || |
| 305 | A == &X86::GR32_NOSPRegClass) |
Evan Cheng | 753480a | 2009-07-20 19:47:55 +0000 | [diff] [blame] | 306 | return &X86::GR32_NOREXRegClass; |
| 307 | else if (A == &X86::GR32_ABCDRegClass) |
Evan Cheng | 5248468 | 2009-07-18 02:10:10 +0000 | [diff] [blame] | 308 | return &X86::GR64_ABCDRegClass; |
| 309 | } |
| 310 | break; |
Jakob Stoklund Olesen | 22c0e97 | 2010-05-25 17:04:16 +0000 | [diff] [blame] | 311 | case X86::sub_32bit: |
Jakob Stoklund Olesen | 8f42a19 | 2010-10-06 23:56:46 +0000 | [diff] [blame] | 312 | if (B == &X86::GR32RegClass) { |
Evan Cheng | 753480a | 2009-07-20 19:47:55 +0000 | [diff] [blame] | 313 | if (A->getSize() == 8) |
| 314 | return A; |
Jakob Stoklund Olesen | 8f42a19 | 2010-10-06 23:56:46 +0000 | [diff] [blame] | 315 | } else if (B == &X86::GR32_NOSPRegClass) { |
Jakob Stoklund Olesen | 8456c4f | 2010-10-07 18:47:10 +0000 | [diff] [blame] | 316 | if (A == &X86::GR64RegClass || A == &X86::GR64_NOSPRegClass) |
Jakob Stoklund Olesen | 8f42a19 | 2010-10-06 23:56:46 +0000 | [diff] [blame] | 317 | return &X86::GR64_NOSPRegClass; |
| 318 | if (A->getSize() == 8) |
| 319 | return getCommonSubClass(A, &X86::GR64_NOSPRegClass); |
Evan Cheng | 5248468 | 2009-07-18 02:10:10 +0000 | [diff] [blame] | 320 | } else if (B == &X86::GR32_ABCDRegClass) { |
Evan Cheng | 753480a | 2009-07-20 19:47:55 +0000 | [diff] [blame] | 321 | if (A == &X86::GR64RegClass || A == &X86::GR64_ABCDRegClass || |
Dan Gohman | a4714e0 | 2009-07-30 01:56:29 +0000 | [diff] [blame] | 322 | A == &X86::GR64_NOREXRegClass || |
| 323 | A == &X86::GR64_NOSPRegClass || |
| 324 | A == &X86::GR64_NOREX_NOSPRegClass) |
Evan Cheng | 5248468 | 2009-07-18 02:10:10 +0000 | [diff] [blame] | 325 | return &X86::GR64_ABCDRegClass; |
| 326 | } else if (B == &X86::GR32_NOREXRegClass) { |
Cameron Zwarich | f5e771d | 2011-05-27 22:26:04 +0000 | [diff] [blame] | 327 | if (A == &X86::GR64RegClass || A == &X86::GR64_NOREXRegClass) |
| 328 | return &X86::GR64_NOREXRegClass; |
| 329 | else if (A == &X86::GR64_NOSPRegClass || A == &X86::GR64_NOREX_NOSPRegClass) |
| 330 | return &X86::GR64_NOREX_NOSPRegClass; |
| 331 | else if (A == &X86::GR64_ABCDRegClass) |
| 332 | return &X86::GR64_ABCDRegClass; |
| 333 | } else if (B == &X86::GR32_NOREX_NOSPRegClass) { |
Dan Gohman | a4714e0 | 2009-07-30 01:56:29 +0000 | [diff] [blame] | 334 | if (A == &X86::GR64RegClass || A == &X86::GR64_NOREXRegClass || |
| 335 | A == &X86::GR64_NOSPRegClass || A == &X86::GR64_NOREX_NOSPRegClass) |
Cameron Zwarich | f5e771d | 2011-05-27 22:26:04 +0000 | [diff] [blame] | 336 | return &X86::GR64_NOREX_NOSPRegClass; |
Evan Cheng | 753480a | 2009-07-20 19:47:55 +0000 | [diff] [blame] | 337 | else if (A == &X86::GR64_ABCDRegClass) |
| 338 | return &X86::GR64_ABCDRegClass; |
Evan Cheng | 5248468 | 2009-07-18 02:10:10 +0000 | [diff] [blame] | 339 | } |
| 340 | break; |
Jakob Stoklund Olesen | b539852 | 2010-05-25 19:49:40 +0000 | [diff] [blame] | 341 | case X86::sub_ss: |
| 342 | if (B == &X86::FR32RegClass) |
| 343 | return A; |
| 344 | break; |
| 345 | case X86::sub_sd: |
| 346 | if (B == &X86::FR64RegClass) |
| 347 | return A; |
| 348 | break; |
| 349 | case X86::sub_xmm: |
| 350 | if (B == &X86::VR128RegClass) |
| 351 | return A; |
| 352 | break; |
Evan Cheng | 5248468 | 2009-07-18 02:10:10 +0000 | [diff] [blame] | 353 | } |
| 354 | return 0; |
| 355 | } |
| 356 | |
Jakob Stoklund Olesen | c9e5015 | 2011-04-26 18:52:33 +0000 | [diff] [blame] | 357 | const TargetRegisterClass* |
| 358 | X86RegisterInfo::getLargestLegalSuperClass(const TargetRegisterClass *RC) const{ |
| 359 | const TargetRegisterClass *Super = RC; |
| 360 | TargetRegisterClass::sc_iterator I = RC->superclasses_begin(); |
| 361 | do { |
| 362 | switch (Super->getID()) { |
| 363 | case X86::GR8RegClassID: |
| 364 | case X86::GR16RegClassID: |
| 365 | case X86::GR32RegClassID: |
| 366 | case X86::GR64RegClassID: |
| 367 | case X86::FR32RegClassID: |
| 368 | case X86::FR64RegClassID: |
| 369 | case X86::RFP32RegClassID: |
| 370 | case X86::RFP64RegClassID: |
| 371 | case X86::RFP80RegClassID: |
| 372 | case X86::VR128RegClassID: |
| 373 | case X86::VR256RegClassID: |
| 374 | // Don't return a super-class that would shrink the spill size. |
| 375 | // That can happen with the vector and float classes. |
| 376 | if (Super->getSize() == RC->getSize()) |
| 377 | return Super; |
| 378 | } |
| 379 | Super = *I++; |
| 380 | } while (Super); |
| 381 | return RC; |
| 382 | } |
| 383 | |
Bill Wendling | 80c7643 | 2009-08-16 11:00:26 +0000 | [diff] [blame] | 384 | const TargetRegisterClass * |
| 385 | X86RegisterInfo::getPointerRegClass(unsigned Kind) const { |
Dan Gohman | a4714e0 | 2009-07-30 01:56:29 +0000 | [diff] [blame] | 386 | switch (Kind) { |
| 387 | default: llvm_unreachable("Unexpected Kind in getPointerRegClass!"); |
| 388 | case 0: // Normal GPRs. |
| 389 | if (TM.getSubtarget<X86Subtarget>().is64Bit()) |
| 390 | return &X86::GR64RegClass; |
| 391 | return &X86::GR32RegClass; |
NAKAMURA Takumi | b901076 | 2011-01-26 01:27:58 +0000 | [diff] [blame] | 392 | case 1: // Normal GPRs except the stack pointer (for encoding reasons). |
Dan Gohman | 74f6f9a | 2009-08-05 17:40:24 +0000 | [diff] [blame] | 393 | if (TM.getSubtarget<X86Subtarget>().is64Bit()) |
| 394 | return &X86::GR64_NOSPRegClass; |
| 395 | return &X86::GR32_NOSPRegClass; |
NAKAMURA Takumi | 7754f85 | 2011-01-26 02:04:09 +0000 | [diff] [blame] | 396 | case 2: // Available for tailcall (not callee-saved GPRs). |
| 397 | if (TM.getSubtarget<X86Subtarget>().isTargetWin64()) |
| 398 | return &X86::GR64_TCW64RegClass; |
| 399 | if (TM.getSubtarget<X86Subtarget>().is64Bit()) |
| 400 | return &X86::GR64_TCRegClass; |
| 401 | return &X86::GR32_TCRegClass; |
Dan Gohman | a4714e0 | 2009-07-30 01:56:29 +0000 | [diff] [blame] | 402 | } |
Evan Cheng | 770bcc7 | 2009-02-06 17:43:24 +0000 | [diff] [blame] | 403 | } |
| 404 | |
Evan Cheng | ff11026 | 2007-09-26 21:31:07 +0000 | [diff] [blame] | 405 | const TargetRegisterClass * |
| 406 | X86RegisterInfo::getCrossCopyRegClass(const TargetRegisterClass *RC) const { |
Anton Korobeynikov | 4aefd6b | 2008-02-20 12:07:57 +0000 | [diff] [blame] | 407 | if (RC == &X86::CCRRegClass) { |
Evan Cheng | 3f2d9ec | 2007-09-27 21:50:05 +0000 | [diff] [blame] | 408 | if (Is64Bit) |
| 409 | return &X86::GR64RegClass; |
| 410 | else |
| 411 | return &X86::GR32RegClass; |
Anton Korobeynikov | 4aefd6b | 2008-02-20 12:07:57 +0000 | [diff] [blame] | 412 | } |
Evan Cheng | b0519e1 | 2011-03-10 00:16:32 +0000 | [diff] [blame] | 413 | return RC; |
Evan Cheng | ff11026 | 2007-09-26 21:31:07 +0000 | [diff] [blame] | 414 | } |
Evan Cheng | bf2c8b3 | 2007-03-20 08:09:38 +0000 | [diff] [blame] | 415 | |
Cameron Zwarich | be2119e | 2011-03-07 21:56:36 +0000 | [diff] [blame] | 416 | unsigned |
| 417 | X86RegisterInfo::getRegPressureLimit(const TargetRegisterClass *RC, |
| 418 | MachineFunction &MF) const { |
| 419 | const TargetFrameLowering *TFI = MF.getTarget().getFrameLowering(); |
| 420 | |
| 421 | unsigned FPDiff = TFI->hasFP(MF) ? 1 : 0; |
| 422 | switch (RC->getID()) { |
| 423 | default: |
| 424 | return 0; |
| 425 | case X86::GR32RegClassID: |
| 426 | return 4 - FPDiff; |
| 427 | case X86::GR64RegClassID: |
| 428 | return 12 - FPDiff; |
| 429 | case X86::VR128RegClassID: |
| 430 | return TM.getSubtarget<X86Subtarget>().is64Bit() ? 10 : 4; |
| 431 | case X86::VR64RegClassID: |
| 432 | return 4; |
| 433 | } |
| 434 | } |
| 435 | |
Evan Cheng | 64d80e3 | 2007-07-19 01:14:50 +0000 | [diff] [blame] | 436 | const unsigned * |
| 437 | X86RegisterInfo::getCalleeSavedRegs(const MachineFunction *MF) const { |
Anton Korobeynikov | b84c167 | 2008-09-08 21:12:47 +0000 | [diff] [blame] | 438 | bool callsEHReturn = false; |
Chris Lattner | 2968943 | 2010-03-11 00:22:57 +0000 | [diff] [blame] | 439 | bool ghcCall = false; |
Anton Korobeynikov | b84c167 | 2008-09-08 21:12:47 +0000 | [diff] [blame] | 440 | |
| 441 | if (MF) { |
Chris Lattner | a267b00 | 2010-04-05 05:57:52 +0000 | [diff] [blame] | 442 | callsEHReturn = MF->getMMI().callsEHReturn(); |
Chris Lattner | 2968943 | 2010-03-11 00:22:57 +0000 | [diff] [blame] | 443 | const Function *F = MF->getFunction(); |
| 444 | ghcCall = (F ? F->getCallingConv() == CallingConv::GHC : false); |
Anton Korobeynikov | b84c167 | 2008-09-08 21:12:47 +0000 | [diff] [blame] | 445 | } |
| 446 | |
Chris Lattner | 2968943 | 2010-03-11 00:22:57 +0000 | [diff] [blame] | 447 | static const unsigned GhcCalleeSavedRegs[] = { |
| 448 | 0 |
| 449 | }; |
| 450 | |
Evan Cheng | c2b861d | 2007-01-02 21:33:40 +0000 | [diff] [blame] | 451 | static const unsigned CalleeSavedRegs32Bit[] = { |
Evan Cheng | 0f3ac8d | 2006-05-18 00:12:58 +0000 | [diff] [blame] | 452 | X86::ESI, X86::EDI, X86::EBX, X86::EBP, 0 |
| 453 | }; |
Anton Korobeynikov | 2365f51 | 2007-07-14 14:06:15 +0000 | [diff] [blame] | 454 | |
| 455 | static const unsigned CalleeSavedRegs32EHRet[] = { |
| 456 | X86::EAX, X86::EDX, X86::ESI, X86::EDI, X86::EBX, X86::EBP, 0 |
| 457 | }; |
| 458 | |
Evan Cheng | c2b861d | 2007-01-02 21:33:40 +0000 | [diff] [blame] | 459 | static const unsigned CalleeSavedRegs64Bit[] = { |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 460 | X86::RBX, X86::R12, X86::R13, X86::R14, X86::R15, X86::RBP, 0 |
| 461 | }; |
| 462 | |
Anton Korobeynikov | b84c167 | 2008-09-08 21:12:47 +0000 | [diff] [blame] | 463 | static const unsigned CalleeSavedRegs64EHRet[] = { |
| 464 | X86::RAX, X86::RDX, X86::RBX, X86::R12, |
| 465 | X86::R13, X86::R14, X86::R15, X86::RBP, 0 |
| 466 | }; |
| 467 | |
Anton Korobeynikov | 1dcce21 | 2008-03-22 21:04:01 +0000 | [diff] [blame] | 468 | static const unsigned CalleeSavedRegsWin64[] = { |
Anton Korobeynikov | 5979d71 | 2008-09-24 22:03:04 +0000 | [diff] [blame] | 469 | X86::RBX, X86::RBP, X86::RDI, X86::RSI, |
| 470 | X86::R12, X86::R13, X86::R14, X86::R15, |
| 471 | X86::XMM6, X86::XMM7, X86::XMM8, X86::XMM9, |
| 472 | X86::XMM10, X86::XMM11, X86::XMM12, X86::XMM13, |
| 473 | X86::XMM14, X86::XMM15, 0 |
Anton Korobeynikov | 1dcce21 | 2008-03-22 21:04:01 +0000 | [diff] [blame] | 474 | }; |
| 475 | |
Chris Lattner | 2968943 | 2010-03-11 00:22:57 +0000 | [diff] [blame] | 476 | if (ghcCall) { |
| 477 | return GhcCalleeSavedRegs; |
| 478 | } else if (Is64Bit) { |
Anton Korobeynikov | 1dcce21 | 2008-03-22 21:04:01 +0000 | [diff] [blame] | 479 | if (IsWin64) |
| 480 | return CalleeSavedRegsWin64; |
| 481 | else |
Anton Korobeynikov | b84c167 | 2008-09-08 21:12:47 +0000 | [diff] [blame] | 482 | return (callsEHReturn ? CalleeSavedRegs64EHRet : CalleeSavedRegs64Bit); |
Anton Korobeynikov | 1dcce21 | 2008-03-22 21:04:01 +0000 | [diff] [blame] | 483 | } else { |
Anton Korobeynikov | b84c167 | 2008-09-08 21:12:47 +0000 | [diff] [blame] | 484 | return (callsEHReturn ? CalleeSavedRegs32EHRet : CalleeSavedRegs32Bit); |
Anton Korobeynikov | 2365f51 | 2007-07-14 14:06:15 +0000 | [diff] [blame] | 485 | } |
Evan Cheng | 0f3ac8d | 2006-05-18 00:12:58 +0000 | [diff] [blame] | 486 | } |
| 487 | |
Evan Cheng | b371f45 | 2007-02-19 21:49:54 +0000 | [diff] [blame] | 488 | BitVector X86RegisterInfo::getReservedRegs(const MachineFunction &MF) const { |
| 489 | BitVector Reserved(getNumRegs()); |
Anton Korobeynikov | 16c29b5 | 2011-01-10 12:39:04 +0000 | [diff] [blame] | 490 | const TargetFrameLowering *TFI = MF.getTarget().getFrameLowering(); |
Anton Korobeynikov | d0c3817 | 2010-11-18 21:19:35 +0000 | [diff] [blame] | 491 | |
Dan Gohman | a32b7ac | 2008-12-18 01:05:09 +0000 | [diff] [blame] | 492 | // Set the stack-pointer register and its aliases as reserved. |
Evan Cheng | b371f45 | 2007-02-19 21:49:54 +0000 | [diff] [blame] | 493 | Reserved.set(X86::RSP); |
| 494 | Reserved.set(X86::ESP); |
| 495 | Reserved.set(X86::SP); |
| 496 | Reserved.set(X86::SPL); |
Bill Wendling | 80c7643 | 2009-08-16 11:00:26 +0000 | [diff] [blame] | 497 | |
Jakob Stoklund Olesen | 52cd548 | 2009-11-13 21:56:01 +0000 | [diff] [blame] | 498 | // Set the instruction pointer register and its aliases as reserved. |
| 499 | Reserved.set(X86::RIP); |
| 500 | Reserved.set(X86::EIP); |
| 501 | Reserved.set(X86::IP); |
| 502 | |
Dan Gohman | a32b7ac | 2008-12-18 01:05:09 +0000 | [diff] [blame] | 503 | // Set the frame-pointer register and its aliases as reserved if needed. |
Anton Korobeynikov | d0c3817 | 2010-11-18 21:19:35 +0000 | [diff] [blame] | 504 | if (TFI->hasFP(MF)) { |
Evan Cheng | b371f45 | 2007-02-19 21:49:54 +0000 | [diff] [blame] | 505 | Reserved.set(X86::RBP); |
| 506 | Reserved.set(X86::EBP); |
| 507 | Reserved.set(X86::BP); |
| 508 | Reserved.set(X86::BPL); |
| 509 | } |
Bill Wendling | 80c7643 | 2009-08-16 11:00:26 +0000 | [diff] [blame] | 510 | |
Cameron Zwarich | e4c6445 | 2011-05-18 22:24:48 +0000 | [diff] [blame] | 511 | // Mark the segment registers as reserved. |
| 512 | Reserved.set(X86::CS); |
| 513 | Reserved.set(X86::SS); |
| 514 | Reserved.set(X86::DS); |
| 515 | Reserved.set(X86::ES); |
| 516 | Reserved.set(X86::FS); |
| 517 | Reserved.set(X86::GS); |
| 518 | |
Jakob Stoklund Olesen | 2a9d1ca | 2011-06-09 16:56:59 +0000 | [diff] [blame] | 519 | // Reserve the registers that only exist in 64-bit mode. |
| 520 | if (!Is64Bit) { |
Jakob Stoklund Olesen | aad458d | 2011-06-17 23:15:00 +0000 | [diff] [blame] | 521 | // These 8-bit registers are part of the x86-64 extension even though their |
| 522 | // super-registers are old 32-bits. |
| 523 | Reserved.set(X86::SIL); |
| 524 | Reserved.set(X86::DIL); |
| 525 | Reserved.set(X86::BPL); |
| 526 | Reserved.set(X86::SPL); |
| 527 | |
Jakob Stoklund Olesen | 2a9d1ca | 2011-06-09 16:56:59 +0000 | [diff] [blame] | 528 | for (unsigned n = 0; n != 8; ++n) { |
Jakob Stoklund Olesen | aad458d | 2011-06-17 23:15:00 +0000 | [diff] [blame] | 529 | // R8, R9, ... |
Jakob Stoklund Olesen | 2a9d1ca | 2011-06-09 16:56:59 +0000 | [diff] [blame] | 530 | const unsigned GPR64[] = { |
| 531 | X86::R8, X86::R9, X86::R10, X86::R11, |
| 532 | X86::R12, X86::R13, X86::R14, X86::R15 |
| 533 | }; |
Jakob Stoklund Olesen | aad458d | 2011-06-17 23:15:00 +0000 | [diff] [blame] | 534 | for (const unsigned *AI = getOverlaps(GPR64[n]); unsigned Reg = *AI; ++AI) |
Jakob Stoklund Olesen | 2a9d1ca | 2011-06-09 16:56:59 +0000 | [diff] [blame] | 535 | Reserved.set(Reg); |
| 536 | |
| 537 | // XMM8, XMM9, ... |
| 538 | assert(X86::XMM15 == X86::XMM8+7); |
| 539 | for (const unsigned *AI = getOverlaps(X86::XMM8 + n); unsigned Reg = *AI; |
| 540 | ++AI) |
| 541 | Reserved.set(Reg); |
| 542 | } |
| 543 | } |
| 544 | |
Evan Cheng | b371f45 | 2007-02-19 21:49:54 +0000 | [diff] [blame] | 545 | return Reserved; |
| 546 | } |
| 547 | |
Chris Lattner | 3c1c03d | 2002-12-28 20:32:28 +0000 | [diff] [blame] | 548 | //===----------------------------------------------------------------------===// |
| 549 | // Stack Frame Processing methods |
| 550 | //===----------------------------------------------------------------------===// |
| 551 | |
Jim Grosbach | e45ab8a | 2010-01-19 18:31:11 +0000 | [diff] [blame] | 552 | bool X86RegisterInfo::canRealignStack(const MachineFunction &MF) const { |
| 553 | const MachineFrameInfo *MFI = MF.getFrameInfo(); |
| 554 | return (RealignStack && |
| 555 | !MFI->hasVarSizedObjects()); |
| 556 | } |
| 557 | |
Anton Korobeynikov | 9bbbea5 | 2008-04-23 18:15:48 +0000 | [diff] [blame] | 558 | bool X86RegisterInfo::needsStackRealignment(const MachineFunction &MF) const { |
Nick Lewycky | 9c0f146 | 2009-03-19 05:51:39 +0000 | [diff] [blame] | 559 | const MachineFrameInfo *MFI = MF.getFrameInfo(); |
Charles Davis | 5dfa267 | 2010-02-19 18:17:13 +0000 | [diff] [blame] | 560 | const Function *F = MF.getFunction(); |
Evan Cheng | 2fa82bc | 2011-06-23 01:53:43 +0000 | [diff] [blame] | 561 | unsigned StackAlign = TM.getFrameLowering()->getStackAlignment(); |
Eric Christopher | 697cba8 | 2010-07-17 00:33:04 +0000 | [diff] [blame] | 562 | bool requiresRealignment = ((MFI->getMaxAlignment() > StackAlign) || |
| 563 | F->hasFnAttr(Attribute::StackAlignment)); |
Anton Korobeynikov | 9bbbea5 | 2008-04-23 18:15:48 +0000 | [diff] [blame] | 564 | |
Anton Korobeynikov | 35410a4 | 2008-04-23 18:16:43 +0000 | [diff] [blame] | 565 | // FIXME: Currently we don't support stack realignment for functions with |
Anton Korobeynikov | b23f3aa | 2009-11-14 18:01:41 +0000 | [diff] [blame] | 566 | // variable-sized allocas. |
Eric Christopher | acdb4b9 | 2010-07-17 00:25:41 +0000 | [diff] [blame] | 567 | // FIXME: It's more complicated than this... |
Anton Korobeynikov | b23f3aa | 2009-11-14 18:01:41 +0000 | [diff] [blame] | 568 | if (0 && requiresRealignment && MFI->hasVarSizedObjects()) |
Chris Lattner | 75361b6 | 2010-04-07 22:58:41 +0000 | [diff] [blame] | 569 | report_fatal_error( |
Chris Lattner | 7a2bdde | 2011-04-15 05:18:47 +0000 | [diff] [blame] | 570 | "Stack realignment in presence of dynamic allocas is not supported"); |
NAKAMURA Takumi | c5b7a42 | 2011-01-26 01:28:06 +0000 | [diff] [blame] | 571 | |
Eric Christopher | e74a088 | 2010-08-05 23:57:43 +0000 | [diff] [blame] | 572 | // If we've requested that we force align the stack do so now. |
| 573 | if (ForceStackAlign) |
| 574 | return canRealignStack(MF); |
NAKAMURA Takumi | c5b7a42 | 2011-01-26 01:28:06 +0000 | [diff] [blame] | 575 | |
Eric Christopher | acdb4b9 | 2010-07-17 00:25:41 +0000 | [diff] [blame] | 576 | return requiresRealignment && canRealignStack(MF); |
Anton Korobeynikov | 9bbbea5 | 2008-04-23 18:15:48 +0000 | [diff] [blame] | 577 | } |
| 578 | |
Eric Christopher | 72852a8 | 2010-07-20 06:52:21 +0000 | [diff] [blame] | 579 | bool X86RegisterInfo::hasReservedSpillSlot(const MachineFunction &MF, |
| 580 | unsigned Reg, int &FrameIdx) const { |
Anton Korobeynikov | 16c29b5 | 2011-01-10 12:39:04 +0000 | [diff] [blame] | 581 | const TargetFrameLowering *TFI = MF.getTarget().getFrameLowering(); |
Anton Korobeynikov | d0c3817 | 2010-11-18 21:19:35 +0000 | [diff] [blame] | 582 | |
| 583 | if (Reg == FramePtr && TFI->hasFP(MF)) { |
Evan Cheng | 910139f | 2009-07-09 06:53:48 +0000 | [diff] [blame] | 584 | FrameIdx = MF.getFrameInfo()->getObjectIndexBegin(); |
| 585 | return true; |
| 586 | } |
| 587 | return false; |
| 588 | } |
| 589 | |
Dan Gohman | 7c2e039 | 2010-05-19 00:53:19 +0000 | [diff] [blame] | 590 | static unsigned getSUBriOpcode(unsigned is64Bit, int64_t Imm) { |
| 591 | if (is64Bit) { |
| 592 | if (isInt<8>(Imm)) |
| 593 | return X86::SUB64ri8; |
| 594 | return X86::SUB64ri32; |
| 595 | } else { |
| 596 | if (isInt<8>(Imm)) |
| 597 | return X86::SUB32ri8; |
| 598 | return X86::SUB32ri; |
| 599 | } |
| 600 | } |
| 601 | |
| 602 | static unsigned getADDriOpcode(unsigned is64Bit, int64_t Imm) { |
| 603 | if (is64Bit) { |
| 604 | if (isInt<8>(Imm)) |
| 605 | return X86::ADD64ri8; |
| 606 | return X86::ADD64ri32; |
| 607 | } else { |
| 608 | if (isInt<8>(Imm)) |
| 609 | return X86::ADD32ri8; |
| 610 | return X86::ADD32ri; |
| 611 | } |
| 612 | } |
| 613 | |
Chris Lattner | bb07ef9 | 2004-02-14 19:49:54 +0000 | [diff] [blame] | 614 | void X86RegisterInfo:: |
| 615 | eliminateCallFramePseudoInstr(MachineFunction &MF, MachineBasicBlock &MBB, |
| 616 | MachineBasicBlock::iterator I) const { |
Anton Korobeynikov | 16c29b5 | 2011-01-10 12:39:04 +0000 | [diff] [blame] | 617 | const TargetFrameLowering *TFI = MF.getTarget().getFrameLowering(); |
Evan Cheng | e4a2dd2 | 2010-12-23 23:54:17 +0000 | [diff] [blame] | 618 | bool reseveCallFrame = TFI->hasReservedCallFrame(MF); |
| 619 | int Opcode = I->getOpcode(); |
Evan Cheng | d5b03f2 | 2011-06-28 21:14:33 +0000 | [diff] [blame] | 620 | bool isDestroy = Opcode == TII.getCallFrameDestroyOpcode(); |
Evan Cheng | e4a2dd2 | 2010-12-23 23:54:17 +0000 | [diff] [blame] | 621 | DebugLoc DL = I->getDebugLoc(); |
| 622 | uint64_t Amount = !reseveCallFrame ? I->getOperand(0).getImm() : 0; |
| 623 | uint64_t CalleeAmt = isDestroy ? I->getOperand(1).getImm() : 0; |
| 624 | I = MBB.erase(I); |
Anton Korobeynikov | d0c3817 | 2010-11-18 21:19:35 +0000 | [diff] [blame] | 625 | |
Evan Cheng | e4a2dd2 | 2010-12-23 23:54:17 +0000 | [diff] [blame] | 626 | if (!reseveCallFrame) { |
Evan Cheng | 7e7bbf8 | 2007-07-19 00:42:05 +0000 | [diff] [blame] | 627 | // If the stack pointer can be changed after prologue, turn the |
| 628 | // adjcallstackup instruction into a 'sub ESP, <amt>' and the |
| 629 | // adjcallstackdown instruction into 'add ESP, <amt>' |
| 630 | // TODO: consider using push / pop instead of sub + store / add |
Evan Cheng | e4a2dd2 | 2010-12-23 23:54:17 +0000 | [diff] [blame] | 631 | if (Amount == 0) |
| 632 | return; |
Chris Lattner | f158da2 | 2003-01-16 02:20:12 +0000 | [diff] [blame] | 633 | |
Evan Cheng | e4a2dd2 | 2010-12-23 23:54:17 +0000 | [diff] [blame] | 634 | // We need to keep the stack aligned properly. To do this, we round the |
| 635 | // amount of space needed for the outgoing arguments up to the next |
| 636 | // alignment boundary. |
Evan Cheng | 2fa82bc | 2011-06-23 01:53:43 +0000 | [diff] [blame] | 637 | unsigned StackAlign = TM.getFrameLowering()->getStackAlignment(); |
Evan Cheng | e4a2dd2 | 2010-12-23 23:54:17 +0000 | [diff] [blame] | 638 | Amount = (Amount + StackAlign - 1) / StackAlign * StackAlign; |
Bill Wendling | 80c7643 | 2009-08-16 11:00:26 +0000 | [diff] [blame] | 639 | |
Evan Cheng | e4a2dd2 | 2010-12-23 23:54:17 +0000 | [diff] [blame] | 640 | MachineInstr *New = 0; |
Evan Cheng | d5b03f2 | 2011-06-28 21:14:33 +0000 | [diff] [blame] | 641 | if (Opcode == TII.getCallFrameSetupOpcode()) { |
Evan Cheng | e4a2dd2 | 2010-12-23 23:54:17 +0000 | [diff] [blame] | 642 | New = BuildMI(MF, DL, TII.get(getSUBriOpcode(Is64Bit, Amount)), |
| 643 | StackPtr) |
| 644 | .addReg(StackPtr) |
| 645 | .addImm(Amount); |
| 646 | } else { |
Evan Cheng | d5b03f2 | 2011-06-28 21:14:33 +0000 | [diff] [blame] | 647 | assert(Opcode == TII.getCallFrameDestroyOpcode()); |
Evan Cheng | e4a2dd2 | 2010-12-23 23:54:17 +0000 | [diff] [blame] | 648 | |
| 649 | // Factor out the amount the callee already popped. |
| 650 | Amount -= CalleeAmt; |
NAKAMURA Takumi | c5b7a42 | 2011-01-26 01:28:06 +0000 | [diff] [blame] | 651 | |
Bill Wendling | 80c7643 | 2009-08-16 11:00:26 +0000 | [diff] [blame] | 652 | if (Amount) { |
Evan Cheng | e4a2dd2 | 2010-12-23 23:54:17 +0000 | [diff] [blame] | 653 | unsigned Opc = getADDriOpcode(Is64Bit, Amount); |
| 654 | New = BuildMI(MF, DL, TII.get(Opc), StackPtr) |
| 655 | .addReg(StackPtr).addImm(Amount); |
Dan Gohman | d293e0d | 2009-02-11 19:50:24 +0000 | [diff] [blame] | 656 | } |
Chris Lattner | 3648c67 | 2005-05-13 21:44:04 +0000 | [diff] [blame] | 657 | } |
Evan Cheng | e4a2dd2 | 2010-12-23 23:54:17 +0000 | [diff] [blame] | 658 | |
| 659 | if (New) { |
| 660 | // The EFLAGS implicit def is dead. |
| 661 | New->getOperand(3).setIsDead(); |
| 662 | |
| 663 | // Replace the pseudo instruction with a new instruction. |
| 664 | MBB.insert(I, New); |
| 665 | } |
| 666 | |
| 667 | return; |
| 668 | } |
| 669 | |
Evan Cheng | d5b03f2 | 2011-06-28 21:14:33 +0000 | [diff] [blame] | 670 | if (Opcode == TII.getCallFrameDestroyOpcode() && CalleeAmt) { |
Chris Lattner | 3648c67 | 2005-05-13 21:44:04 +0000 | [diff] [blame] | 671 | // If we are performing frame pointer elimination and if the callee pops |
| 672 | // something off the stack pointer, add it back. We do this until we have |
| 673 | // more advanced stack pointer tracking ability. |
Evan Cheng | e4a2dd2 | 2010-12-23 23:54:17 +0000 | [diff] [blame] | 674 | unsigned Opc = getSUBriOpcode(Is64Bit, CalleeAmt); |
| 675 | MachineInstr *New = BuildMI(MF, DL, TII.get(Opc), StackPtr) |
| 676 | .addReg(StackPtr).addImm(CalleeAmt); |
Bill Wendling | 80c7643 | 2009-08-16 11:00:26 +0000 | [diff] [blame] | 677 | |
Evan Cheng | e4a2dd2 | 2010-12-23 23:54:17 +0000 | [diff] [blame] | 678 | // The EFLAGS implicit def is dead. |
| 679 | New->getOperand(3).setIsDead(); |
Jakob Stoklund Olesen | 6531bdd | 2011-06-29 23:11:39 +0000 | [diff] [blame] | 680 | |
| 681 | // We are not tracking the stack pointer adjustment by the callee, so make |
| 682 | // sure we restore the stack pointer immediately after the call, there may |
| 683 | // be spill code inserted between the CALL and ADJCALLSTACKUP instructions. |
| 684 | MachineBasicBlock::iterator B = MBB.begin(); |
| 685 | while (I != B && !llvm::prior(I)->getDesc().isCall()) |
| 686 | --I; |
Evan Cheng | e4a2dd2 | 2010-12-23 23:54:17 +0000 | [diff] [blame] | 687 | MBB.insert(I, New); |
Chris Lattner | 3c1c03d | 2002-12-28 20:32:28 +0000 | [diff] [blame] | 688 | } |
Chris Lattner | 3c1c03d | 2002-12-28 20:32:28 +0000 | [diff] [blame] | 689 | } |
| 690 | |
Jim Grosbach | fcb4a8e | 2010-08-26 23:32:16 +0000 | [diff] [blame] | 691 | void |
Jim Grosbach | b58f498 | 2009-10-07 17:12:56 +0000 | [diff] [blame] | 692 | X86RegisterInfo::eliminateFrameIndex(MachineBasicBlock::iterator II, |
Jim Grosbach | fcb4a8e | 2010-08-26 23:32:16 +0000 | [diff] [blame] | 693 | int SPAdj, RegScavenger *RS) const{ |
Evan Cheng | 97de913 | 2007-05-01 09:13:03 +0000 | [diff] [blame] | 694 | assert(SPAdj == 0 && "Unexpected"); |
| 695 | |
Chris Lattner | d264bec | 2003-01-13 00:50:33 +0000 | [diff] [blame] | 696 | unsigned i = 0; |
Alkis Evlogimenos | c0b9dc5 | 2004-02-12 02:27:10 +0000 | [diff] [blame] | 697 | MachineInstr &MI = *II; |
Nate Begeman | f8be5e9 | 2004-08-14 22:05:10 +0000 | [diff] [blame] | 698 | MachineFunction &MF = *MI.getParent()->getParent(); |
Anton Korobeynikov | 16c29b5 | 2011-01-10 12:39:04 +0000 | [diff] [blame] | 699 | const TargetFrameLowering *TFI = MF.getTarget().getFrameLowering(); |
Bill Wendling | 80c7643 | 2009-08-16 11:00:26 +0000 | [diff] [blame] | 700 | |
Dan Gohman | d735b80 | 2008-10-03 15:45:36 +0000 | [diff] [blame] | 701 | while (!MI.getOperand(i).isFI()) { |
Chris Lattner | 3c1c03d | 2002-12-28 20:32:28 +0000 | [diff] [blame] | 702 | ++i; |
| 703 | assert(i < MI.getNumOperands() && "Instr doesn't have FrameIndex operand!"); |
| 704 | } |
| 705 | |
Chris Lattner | 8aa797a | 2007-12-30 23:10:15 +0000 | [diff] [blame] | 706 | int FrameIndex = MI.getOperand(i).getIndex(); |
Anton Korobeynikov | 8e91ec5 | 2008-04-23 18:21:02 +0000 | [diff] [blame] | 707 | unsigned BasePtr; |
Bill Wendling | 80c7643 | 2009-08-16 11:00:26 +0000 | [diff] [blame] | 708 | |
Evan Cheng | 3f54c64 | 2010-04-29 05:08:22 +0000 | [diff] [blame] | 709 | unsigned Opc = MI.getOpcode(); |
| 710 | bool AfterFPPop = Opc == X86::TAILJMPm64 || Opc == X86::TAILJMPm; |
Anton Korobeynikov | 8e91ec5 | 2008-04-23 18:21:02 +0000 | [diff] [blame] | 711 | if (needsStackRealignment(MF)) |
| 712 | BasePtr = (FrameIndex < 0 ? FramePtr : StackPtr); |
Evan Cheng | 3f54c64 | 2010-04-29 05:08:22 +0000 | [diff] [blame] | 713 | else if (AfterFPPop) |
| 714 | BasePtr = StackPtr; |
Anton Korobeynikov | 8e91ec5 | 2008-04-23 18:21:02 +0000 | [diff] [blame] | 715 | else |
Anton Korobeynikov | d0c3817 | 2010-11-18 21:19:35 +0000 | [diff] [blame] | 716 | BasePtr = (TFI->hasFP(MF) ? FramePtr : StackPtr); |
Anton Korobeynikov | 8e91ec5 | 2008-04-23 18:21:02 +0000 | [diff] [blame] | 717 | |
Chris Lattner | d264bec | 2003-01-13 00:50:33 +0000 | [diff] [blame] | 718 | // This must be part of a four operand memory reference. Replace the |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 719 | // FrameIndex with base register with EBP. Add an offset to the offset. |
Anton Korobeynikov | 8e91ec5 | 2008-04-23 18:21:02 +0000 | [diff] [blame] | 720 | MI.getOperand(i).ChangeToRegister(BasePtr, false); |
Chris Lattner | d264bec | 2003-01-13 00:50:33 +0000 | [diff] [blame] | 721 | |
Dan Gohman | 8277970 | 2008-12-24 00:27:51 +0000 | [diff] [blame] | 722 | // Now add the frame object offset to the offset from EBP. |
Evan Cheng | 3f54c64 | 2010-04-29 05:08:22 +0000 | [diff] [blame] | 723 | int FIOffset; |
| 724 | if (AfterFPPop) { |
| 725 | // Tail call jmp happens after FP is popped. |
Evan Cheng | 3f54c64 | 2010-04-29 05:08:22 +0000 | [diff] [blame] | 726 | const MachineFrameInfo *MFI = MF.getFrameInfo(); |
Anton Korobeynikov | d0c3817 | 2010-11-18 21:19:35 +0000 | [diff] [blame] | 727 | FIOffset = MFI->getObjectOffset(FrameIndex) - TFI->getOffsetOfLocalArea(); |
Evan Cheng | 3f54c64 | 2010-04-29 05:08:22 +0000 | [diff] [blame] | 728 | } else |
Anton Korobeynikov | 82f5874 | 2010-11-20 15:59:32 +0000 | [diff] [blame] | 729 | FIOffset = TFI->getFrameIndexOffset(MF, FrameIndex); |
Evan Cheng | 3f54c64 | 2010-04-29 05:08:22 +0000 | [diff] [blame] | 730 | |
Dan Gohman | 8277970 | 2008-12-24 00:27:51 +0000 | [diff] [blame] | 731 | if (MI.getOperand(i+3).isImm()) { |
| 732 | // Offset is a 32-bit integer. |
Evan Cheng | 3f54c64 | 2010-04-29 05:08:22 +0000 | [diff] [blame] | 733 | int Offset = FIOffset + (int)(MI.getOperand(i + 3).getImm()); |
David Greene | 3f2bf85 | 2009-11-12 20:49:22 +0000 | [diff] [blame] | 734 | MI.getOperand(i + 3).ChangeToImmediate(Offset); |
Dan Gohman | 8277970 | 2008-12-24 00:27:51 +0000 | [diff] [blame] | 735 | } else { |
| 736 | // Offset is symbolic. This is extremely rare. |
Evan Cheng | 3f54c64 | 2010-04-29 05:08:22 +0000 | [diff] [blame] | 737 | uint64_t Offset = FIOffset + (uint64_t)MI.getOperand(i+3).getOffset(); |
Dan Gohman | 8277970 | 2008-12-24 00:27:51 +0000 | [diff] [blame] | 738 | MI.getOperand(i+3).setOffset(Offset); |
| 739 | } |
Chris Lattner | 3c1c03d | 2002-12-28 20:32:28 +0000 | [diff] [blame] | 740 | } |
| 741 | |
Jim Laskey | 4188699 | 2006-04-07 16:34:46 +0000 | [diff] [blame] | 742 | unsigned X86RegisterInfo::getRARegister() const { |
Bill Wendling | 80c7643 | 2009-08-16 11:00:26 +0000 | [diff] [blame] | 743 | return Is64Bit ? X86::RIP // Should have dwarf #16. |
| 744 | : X86::EIP; // Should have dwarf #8. |
Jim Laskey | 4188699 | 2006-04-07 16:34:46 +0000 | [diff] [blame] | 745 | } |
| 746 | |
David Greene | 3f2bf85 | 2009-11-12 20:49:22 +0000 | [diff] [blame] | 747 | unsigned X86RegisterInfo::getFrameRegister(const MachineFunction &MF) const { |
Anton Korobeynikov | 16c29b5 | 2011-01-10 12:39:04 +0000 | [diff] [blame] | 748 | const TargetFrameLowering *TFI = MF.getTarget().getFrameLowering(); |
Anton Korobeynikov | d0c3817 | 2010-11-18 21:19:35 +0000 | [diff] [blame] | 749 | return TFI->hasFP(MF) ? FramePtr : StackPtr; |
Jim Laskey | f1d78e8 | 2006-03-23 18:12:57 +0000 | [diff] [blame] | 750 | } |
| 751 | |
Jim Laskey | 62819f3 | 2007-02-21 22:54:50 +0000 | [diff] [blame] | 752 | unsigned X86RegisterInfo::getEHExceptionRegister() const { |
Torok Edwin | c23197a | 2009-07-14 16:55:14 +0000 | [diff] [blame] | 753 | llvm_unreachable("What is the exception register"); |
Jim Laskey | 62819f3 | 2007-02-21 22:54:50 +0000 | [diff] [blame] | 754 | return 0; |
| 755 | } |
| 756 | |
| 757 | unsigned X86RegisterInfo::getEHHandlerRegister() const { |
Torok Edwin | c23197a | 2009-07-14 16:55:14 +0000 | [diff] [blame] | 758 | llvm_unreachable("What is the exception handler register"); |
Jim Laskey | 62819f3 | 2007-02-21 22:54:50 +0000 | [diff] [blame] | 759 | return 0; |
| 760 | } |
| 761 | |
Evan Cheng | 8f7f712 | 2006-05-05 05:40:20 +0000 | [diff] [blame] | 762 | namespace llvm { |
Owen Anderson | e50ed30 | 2009-08-10 22:56:29 +0000 | [diff] [blame] | 763 | unsigned getX86SubSuperRegister(unsigned Reg, EVT VT, bool High) { |
Owen Anderson | 825b72b | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 764 | switch (VT.getSimpleVT().SimpleTy) { |
Evan Cheng | 8f7f712 | 2006-05-05 05:40:20 +0000 | [diff] [blame] | 765 | default: return Reg; |
Owen Anderson | 825b72b | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 766 | case MVT::i8: |
Evan Cheng | 8f7f712 | 2006-05-05 05:40:20 +0000 | [diff] [blame] | 767 | if (High) { |
| 768 | switch (Reg) { |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 769 | default: return 0; |
| 770 | case X86::AH: case X86::AL: case X86::AX: case X86::EAX: case X86::RAX: |
Evan Cheng | 8f7f712 | 2006-05-05 05:40:20 +0000 | [diff] [blame] | 771 | return X86::AH; |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 772 | case X86::DH: case X86::DL: case X86::DX: case X86::EDX: case X86::RDX: |
Evan Cheng | 8f7f712 | 2006-05-05 05:40:20 +0000 | [diff] [blame] | 773 | return X86::DH; |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 774 | case X86::CH: case X86::CL: case X86::CX: case X86::ECX: case X86::RCX: |
Evan Cheng | 8f7f712 | 2006-05-05 05:40:20 +0000 | [diff] [blame] | 775 | return X86::CH; |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 776 | case X86::BH: case X86::BL: case X86::BX: case X86::EBX: case X86::RBX: |
Evan Cheng | 8f7f712 | 2006-05-05 05:40:20 +0000 | [diff] [blame] | 777 | return X86::BH; |
| 778 | } |
| 779 | } else { |
| 780 | switch (Reg) { |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 781 | default: return 0; |
| 782 | case X86::AH: case X86::AL: case X86::AX: case X86::EAX: case X86::RAX: |
Evan Cheng | 8f7f712 | 2006-05-05 05:40:20 +0000 | [diff] [blame] | 783 | return X86::AL; |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 784 | case X86::DH: case X86::DL: case X86::DX: case X86::EDX: case X86::RDX: |
Evan Cheng | 8f7f712 | 2006-05-05 05:40:20 +0000 | [diff] [blame] | 785 | return X86::DL; |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 786 | case X86::CH: case X86::CL: case X86::CX: case X86::ECX: case X86::RCX: |
Evan Cheng | 8f7f712 | 2006-05-05 05:40:20 +0000 | [diff] [blame] | 787 | return X86::CL; |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 788 | case X86::BH: case X86::BL: case X86::BX: case X86::EBX: case X86::RBX: |
Evan Cheng | 8f7f712 | 2006-05-05 05:40:20 +0000 | [diff] [blame] | 789 | return X86::BL; |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 790 | case X86::SIL: case X86::SI: case X86::ESI: case X86::RSI: |
| 791 | return X86::SIL; |
| 792 | case X86::DIL: case X86::DI: case X86::EDI: case X86::RDI: |
| 793 | return X86::DIL; |
| 794 | case X86::BPL: case X86::BP: case X86::EBP: case X86::RBP: |
| 795 | return X86::BPL; |
| 796 | case X86::SPL: case X86::SP: case X86::ESP: case X86::RSP: |
| 797 | return X86::SPL; |
| 798 | case X86::R8B: case X86::R8W: case X86::R8D: case X86::R8: |
| 799 | return X86::R8B; |
| 800 | case X86::R9B: case X86::R9W: case X86::R9D: case X86::R9: |
| 801 | return X86::R9B; |
| 802 | case X86::R10B: case X86::R10W: case X86::R10D: case X86::R10: |
| 803 | return X86::R10B; |
| 804 | case X86::R11B: case X86::R11W: case X86::R11D: case X86::R11: |
| 805 | return X86::R11B; |
| 806 | case X86::R12B: case X86::R12W: case X86::R12D: case X86::R12: |
| 807 | return X86::R12B; |
| 808 | case X86::R13B: case X86::R13W: case X86::R13D: case X86::R13: |
| 809 | return X86::R13B; |
| 810 | case X86::R14B: case X86::R14W: case X86::R14D: case X86::R14: |
| 811 | return X86::R14B; |
| 812 | case X86::R15B: case X86::R15W: case X86::R15D: case X86::R15: |
| 813 | return X86::R15B; |
Evan Cheng | 8f7f712 | 2006-05-05 05:40:20 +0000 | [diff] [blame] | 814 | } |
| 815 | } |
Owen Anderson | 825b72b | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 816 | case MVT::i16: |
Evan Cheng | 8f7f712 | 2006-05-05 05:40:20 +0000 | [diff] [blame] | 817 | switch (Reg) { |
| 818 | default: return Reg; |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 819 | case X86::AH: case X86::AL: case X86::AX: case X86::EAX: case X86::RAX: |
Evan Cheng | 8f7f712 | 2006-05-05 05:40:20 +0000 | [diff] [blame] | 820 | return X86::AX; |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 821 | case X86::DH: case X86::DL: case X86::DX: case X86::EDX: case X86::RDX: |
Evan Cheng | 8f7f712 | 2006-05-05 05:40:20 +0000 | [diff] [blame] | 822 | return X86::DX; |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 823 | case X86::CH: case X86::CL: case X86::CX: case X86::ECX: case X86::RCX: |
Evan Cheng | 8f7f712 | 2006-05-05 05:40:20 +0000 | [diff] [blame] | 824 | return X86::CX; |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 825 | case X86::BH: case X86::BL: case X86::BX: case X86::EBX: case X86::RBX: |
Evan Cheng | 8f7f712 | 2006-05-05 05:40:20 +0000 | [diff] [blame] | 826 | return X86::BX; |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 827 | case X86::SIL: case X86::SI: case X86::ESI: case X86::RSI: |
Evan Cheng | 8f7f712 | 2006-05-05 05:40:20 +0000 | [diff] [blame] | 828 | return X86::SI; |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 829 | case X86::DIL: case X86::DI: case X86::EDI: case X86::RDI: |
Evan Cheng | 8f7f712 | 2006-05-05 05:40:20 +0000 | [diff] [blame] | 830 | return X86::DI; |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 831 | case X86::BPL: case X86::BP: case X86::EBP: case X86::RBP: |
Evan Cheng | 8f7f712 | 2006-05-05 05:40:20 +0000 | [diff] [blame] | 832 | return X86::BP; |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 833 | case X86::SPL: case X86::SP: case X86::ESP: case X86::RSP: |
Evan Cheng | 8f7f712 | 2006-05-05 05:40:20 +0000 | [diff] [blame] | 834 | return X86::SP; |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 835 | case X86::R8B: case X86::R8W: case X86::R8D: case X86::R8: |
| 836 | return X86::R8W; |
| 837 | case X86::R9B: case X86::R9W: case X86::R9D: case X86::R9: |
| 838 | return X86::R9W; |
| 839 | case X86::R10B: case X86::R10W: case X86::R10D: case X86::R10: |
| 840 | return X86::R10W; |
| 841 | case X86::R11B: case X86::R11W: case X86::R11D: case X86::R11: |
| 842 | return X86::R11W; |
| 843 | case X86::R12B: case X86::R12W: case X86::R12D: case X86::R12: |
| 844 | return X86::R12W; |
| 845 | case X86::R13B: case X86::R13W: case X86::R13D: case X86::R13: |
| 846 | return X86::R13W; |
| 847 | case X86::R14B: case X86::R14W: case X86::R14D: case X86::R14: |
| 848 | return X86::R14W; |
| 849 | case X86::R15B: case X86::R15W: case X86::R15D: case X86::R15: |
| 850 | return X86::R15W; |
Evan Cheng | 8f7f712 | 2006-05-05 05:40:20 +0000 | [diff] [blame] | 851 | } |
Owen Anderson | 825b72b | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 852 | case MVT::i32: |
Evan Cheng | 8f7f712 | 2006-05-05 05:40:20 +0000 | [diff] [blame] | 853 | switch (Reg) { |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 854 | default: return Reg; |
| 855 | case X86::AH: case X86::AL: case X86::AX: case X86::EAX: case X86::RAX: |
Evan Cheng | 8f7f712 | 2006-05-05 05:40:20 +0000 | [diff] [blame] | 856 | return X86::EAX; |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 857 | case X86::DH: case X86::DL: case X86::DX: case X86::EDX: case X86::RDX: |
Evan Cheng | 8f7f712 | 2006-05-05 05:40:20 +0000 | [diff] [blame] | 858 | return X86::EDX; |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 859 | case X86::CH: case X86::CL: case X86::CX: case X86::ECX: case X86::RCX: |
Evan Cheng | 8f7f712 | 2006-05-05 05:40:20 +0000 | [diff] [blame] | 860 | return X86::ECX; |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 861 | case X86::BH: case X86::BL: case X86::BX: case X86::EBX: case X86::RBX: |
Evan Cheng | 8f7f712 | 2006-05-05 05:40:20 +0000 | [diff] [blame] | 862 | return X86::EBX; |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 863 | case X86::SIL: case X86::SI: case X86::ESI: case X86::RSI: |
Evan Cheng | 8f7f712 | 2006-05-05 05:40:20 +0000 | [diff] [blame] | 864 | return X86::ESI; |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 865 | case X86::DIL: case X86::DI: case X86::EDI: case X86::RDI: |
Evan Cheng | 8f7f712 | 2006-05-05 05:40:20 +0000 | [diff] [blame] | 866 | return X86::EDI; |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 867 | case X86::BPL: case X86::BP: case X86::EBP: case X86::RBP: |
Evan Cheng | 8f7f712 | 2006-05-05 05:40:20 +0000 | [diff] [blame] | 868 | return X86::EBP; |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 869 | case X86::SPL: case X86::SP: case X86::ESP: case X86::RSP: |
Evan Cheng | 8f7f712 | 2006-05-05 05:40:20 +0000 | [diff] [blame] | 870 | return X86::ESP; |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 871 | case X86::R8B: case X86::R8W: case X86::R8D: case X86::R8: |
| 872 | return X86::R8D; |
| 873 | case X86::R9B: case X86::R9W: case X86::R9D: case X86::R9: |
| 874 | return X86::R9D; |
| 875 | case X86::R10B: case X86::R10W: case X86::R10D: case X86::R10: |
| 876 | return X86::R10D; |
| 877 | case X86::R11B: case X86::R11W: case X86::R11D: case X86::R11: |
| 878 | return X86::R11D; |
| 879 | case X86::R12B: case X86::R12W: case X86::R12D: case X86::R12: |
| 880 | return X86::R12D; |
| 881 | case X86::R13B: case X86::R13W: case X86::R13D: case X86::R13: |
| 882 | return X86::R13D; |
| 883 | case X86::R14B: case X86::R14W: case X86::R14D: case X86::R14: |
| 884 | return X86::R14D; |
| 885 | case X86::R15B: case X86::R15W: case X86::R15D: case X86::R15: |
| 886 | return X86::R15D; |
| 887 | } |
Owen Anderson | 825b72b | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 888 | case MVT::i64: |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 889 | switch (Reg) { |
| 890 | default: return Reg; |
| 891 | case X86::AH: case X86::AL: case X86::AX: case X86::EAX: case X86::RAX: |
| 892 | return X86::RAX; |
| 893 | case X86::DH: case X86::DL: case X86::DX: case X86::EDX: case X86::RDX: |
| 894 | return X86::RDX; |
| 895 | case X86::CH: case X86::CL: case X86::CX: case X86::ECX: case X86::RCX: |
| 896 | return X86::RCX; |
| 897 | case X86::BH: case X86::BL: case X86::BX: case X86::EBX: case X86::RBX: |
| 898 | return X86::RBX; |
| 899 | case X86::SIL: case X86::SI: case X86::ESI: case X86::RSI: |
| 900 | return X86::RSI; |
| 901 | case X86::DIL: case X86::DI: case X86::EDI: case X86::RDI: |
| 902 | return X86::RDI; |
| 903 | case X86::BPL: case X86::BP: case X86::EBP: case X86::RBP: |
| 904 | return X86::RBP; |
| 905 | case X86::SPL: case X86::SP: case X86::ESP: case X86::RSP: |
| 906 | return X86::RSP; |
| 907 | case X86::R8B: case X86::R8W: case X86::R8D: case X86::R8: |
| 908 | return X86::R8; |
| 909 | case X86::R9B: case X86::R9W: case X86::R9D: case X86::R9: |
| 910 | return X86::R9; |
| 911 | case X86::R10B: case X86::R10W: case X86::R10D: case X86::R10: |
| 912 | return X86::R10; |
| 913 | case X86::R11B: case X86::R11W: case X86::R11D: case X86::R11: |
| 914 | return X86::R11; |
| 915 | case X86::R12B: case X86::R12W: case X86::R12D: case X86::R12: |
| 916 | return X86::R12; |
| 917 | case X86::R13B: case X86::R13W: case X86::R13D: case X86::R13: |
| 918 | return X86::R13; |
| 919 | case X86::R14B: case X86::R14W: case X86::R14D: case X86::R14: |
| 920 | return X86::R14; |
| 921 | case X86::R15B: case X86::R15W: case X86::R15D: case X86::R15: |
| 922 | return X86::R15; |
Evan Cheng | 8f7f712 | 2006-05-05 05:40:20 +0000 | [diff] [blame] | 923 | } |
| 924 | } |
| 925 | |
| 926 | return Reg; |
| 927 | } |
| 928 | } |
| 929 | |
Jim Grosbach | fa85eb6 | 2010-04-06 20:26:37 +0000 | [diff] [blame] | 930 | namespace { |
| 931 | struct MSAH : public MachineFunctionPass { |
| 932 | static char ID; |
Owen Anderson | 90c579d | 2010-08-06 18:33:48 +0000 | [diff] [blame] | 933 | MSAH() : MachineFunctionPass(ID) {} |
Jim Grosbach | fa85eb6 | 2010-04-06 20:26:37 +0000 | [diff] [blame] | 934 | |
| 935 | virtual bool runOnMachineFunction(MachineFunction &MF) { |
| 936 | const X86TargetMachine *TM = |
| 937 | static_cast<const X86TargetMachine *>(&MF.getTarget()); |
Evan Cheng | 2fa82bc | 2011-06-23 01:53:43 +0000 | [diff] [blame] | 938 | const TargetFrameLowering *TFI = TM->getFrameLowering(); |
Jim Grosbach | fa85eb6 | 2010-04-06 20:26:37 +0000 | [diff] [blame] | 939 | MachineRegisterInfo &RI = MF.getRegInfo(); |
| 940 | X86MachineFunctionInfo *FuncInfo = MF.getInfo<X86MachineFunctionInfo>(); |
Evan Cheng | 2fa82bc | 2011-06-23 01:53:43 +0000 | [diff] [blame] | 941 | unsigned StackAlignment = TFI->getStackAlignment(); |
Jim Grosbach | fa85eb6 | 2010-04-06 20:26:37 +0000 | [diff] [blame] | 942 | |
| 943 | // Be over-conservative: scan over all vreg defs and find whether vector |
| 944 | // registers are used. If yes, there is a possibility that vector register |
| 945 | // will be spilled and thus require dynamic stack realignment. |
Jakob Stoklund Olesen | b258135 | 2011-01-08 23:11:11 +0000 | [diff] [blame] | 946 | for (unsigned i = 0, e = RI.getNumVirtRegs(); i != e; ++i) { |
| 947 | unsigned Reg = TargetRegisterInfo::index2VirtReg(i); |
| 948 | if (RI.getRegClass(Reg)->getAlignment() > StackAlignment) { |
Jim Grosbach | fa85eb6 | 2010-04-06 20:26:37 +0000 | [diff] [blame] | 949 | FuncInfo->setReserveFP(true); |
| 950 | return true; |
| 951 | } |
Jakob Stoklund Olesen | b258135 | 2011-01-08 23:11:11 +0000 | [diff] [blame] | 952 | } |
Jim Grosbach | fa85eb6 | 2010-04-06 20:26:37 +0000 | [diff] [blame] | 953 | // Nothing to do |
| 954 | return false; |
| 955 | } |
| 956 | |
| 957 | virtual const char *getPassName() const { |
| 958 | return "X86 Maximal Stack Alignment Check"; |
| 959 | } |
| 960 | |
| 961 | virtual void getAnalysisUsage(AnalysisUsage &AU) const { |
| 962 | AU.setPreservesCFG(); |
| 963 | MachineFunctionPass::getAnalysisUsage(AU); |
| 964 | } |
| 965 | }; |
| 966 | |
| 967 | char MSAH::ID = 0; |
| 968 | } |
| 969 | |
| 970 | FunctionPass* |
| 971 | llvm::createX86MaxStackAlignmentHeuristicPass() { return new MSAH(); } |