Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1 | //===-- X86TargetMachine.cpp - Define TargetMachine for the X86 -----------===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 081ce94 | 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. |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file defines the X86 specific subclass of TargetMachine. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
| 14 | #include "X86TargetAsmInfo.h" |
| 15 | #include "X86TargetMachine.h" |
| 16 | #include "X86.h" |
| 17 | #include "llvm/Module.h" |
| 18 | #include "llvm/PassManager.h" |
| 19 | #include "llvm/CodeGen/MachineFunction.h" |
| 20 | #include "llvm/CodeGen/Passes.h" |
Owen Anderson | 847b99b | 2008-08-21 00:14:44 +0000 | [diff] [blame] | 21 | #include "llvm/Support/raw_ostream.h" |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 22 | #include "llvm/Target/TargetOptions.h" |
| 23 | #include "llvm/Target/TargetMachineRegistry.h" |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 24 | using namespace llvm; |
| 25 | |
| 26 | /// X86TargetMachineModule - Note that this is used on hosts that cannot link |
| 27 | /// in a library unless there are references into the library. In particular, |
| 28 | /// it seems that it is not possible to get things to work on Win32 without |
| 29 | /// this. Though it is unused, do not remove it. |
| 30 | extern "C" int X86TargetMachineModule; |
| 31 | int X86TargetMachineModule = 0; |
| 32 | |
Dan Gohman | 089efff | 2008-05-13 00:00:25 +0000 | [diff] [blame] | 33 | // Register the target. |
| 34 | static RegisterTarget<X86_32TargetMachine> |
Dan Gohman | 669b9bf | 2008-10-14 20:25:08 +0000 | [diff] [blame] | 35 | X("x86", "32-bit X86: Pentium-Pro and above"); |
Dan Gohman | 089efff | 2008-05-13 00:00:25 +0000 | [diff] [blame] | 36 | static RegisterTarget<X86_64TargetMachine> |
Dan Gohman | 669b9bf | 2008-10-14 20:25:08 +0000 | [diff] [blame] | 37 | Y("x86-64", "64-bit X86: EM64T and AMD64"); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 38 | |
Anton Korobeynikov | 9ff5bee | 2008-08-17 13:53:59 +0000 | [diff] [blame] | 39 | // No assembler printer by default |
| 40 | X86TargetMachine::AsmPrinterCtorFn X86TargetMachine::AsmPrinterCtor = 0; |
| 41 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 42 | const TargetAsmInfo *X86TargetMachine::createTargetAsmInfo() const { |
Anton Korobeynikov | f700e68 | 2008-07-09 13:20:48 +0000 | [diff] [blame] | 43 | if (Subtarget.isFlavorIntel()) |
| 44 | return new X86WinTargetAsmInfo(*this); |
| 45 | else |
| 46 | switch (Subtarget.TargetType) { |
| 47 | case X86Subtarget::isDarwin: |
| 48 | return new X86DarwinTargetAsmInfo(*this); |
| 49 | case X86Subtarget::isELF: |
| 50 | return new X86ELFTargetAsmInfo(*this); |
| 51 | case X86Subtarget::isMingw: |
| 52 | case X86Subtarget::isCygwin: |
| 53 | return new X86COFFTargetAsmInfo(*this); |
| 54 | case X86Subtarget::isWindows: |
| 55 | return new X86WinTargetAsmInfo(*this); |
| 56 | default: |
Anton Korobeynikov | 3829e8a | 2008-09-25 21:00:33 +0000 | [diff] [blame] | 57 | return new X86GenericTargetAsmInfo(*this); |
Anton Korobeynikov | f700e68 | 2008-07-09 13:20:48 +0000 | [diff] [blame] | 58 | } |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 59 | } |
| 60 | |
| 61 | unsigned X86_32TargetMachine::getJITMatchQuality() { |
| 62 | #if defined(i386) || defined(__i386__) || defined(__x86__) || defined(_M_IX86) |
| 63 | return 10; |
| 64 | #endif |
| 65 | return 0; |
| 66 | } |
| 67 | |
| 68 | unsigned X86_64TargetMachine::getJITMatchQuality() { |
Anton Korobeynikov | 5734866 | 2008-03-23 13:43:47 +0000 | [diff] [blame] | 69 | #if defined(__x86_64__) || defined(_M_AMD64) |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 70 | return 10; |
| 71 | #endif |
| 72 | return 0; |
| 73 | } |
| 74 | |
| 75 | unsigned X86_32TargetMachine::getModuleMatchQuality(const Module &M) { |
| 76 | // We strongly match "i[3-9]86-*". |
| 77 | std::string TT = M.getTargetTriple(); |
| 78 | if (TT.size() >= 5 && TT[0] == 'i' && TT[2] == '8' && TT[3] == '6' && |
| 79 | TT[4] == '-' && TT[1] - '3' < 6) |
| 80 | return 20; |
| 81 | // If the target triple is something non-X86, we don't match. |
| 82 | if (!TT.empty()) return 0; |
| 83 | |
| 84 | if (M.getEndianness() == Module::LittleEndian && |
| 85 | M.getPointerSize() == Module::Pointer32) |
| 86 | return 10; // Weak match |
| 87 | else if (M.getEndianness() != Module::AnyEndianness || |
| 88 | M.getPointerSize() != Module::AnyPointerSize) |
| 89 | return 0; // Match for some other target |
| 90 | |
| 91 | return getJITMatchQuality()/2; |
| 92 | } |
| 93 | |
| 94 | unsigned X86_64TargetMachine::getModuleMatchQuality(const Module &M) { |
| 95 | // We strongly match "x86_64-*". |
| 96 | std::string TT = M.getTargetTriple(); |
| 97 | if (TT.size() >= 7 && TT[0] == 'x' && TT[1] == '8' && TT[2] == '6' && |
| 98 | TT[3] == '_' && TT[4] == '6' && TT[5] == '4' && TT[6] == '-') |
| 99 | return 20; |
| 100 | |
| 101 | // We strongly match "amd64-*". |
| 102 | if (TT.size() >= 6 && TT[0] == 'a' && TT[1] == 'm' && TT[2] == 'd' && |
| 103 | TT[3] == '6' && TT[4] == '4' && TT[5] == '-') |
| 104 | return 20; |
| 105 | |
| 106 | // If the target triple is something non-X86-64, we don't match. |
| 107 | if (!TT.empty()) return 0; |
| 108 | |
| 109 | if (M.getEndianness() == Module::LittleEndian && |
| 110 | M.getPointerSize() == Module::Pointer64) |
| 111 | return 10; // Weak match |
| 112 | else if (M.getEndianness() != Module::AnyEndianness || |
| 113 | M.getPointerSize() != Module::AnyPointerSize) |
| 114 | return 0; // Match for some other target |
| 115 | |
| 116 | return getJITMatchQuality()/2; |
| 117 | } |
| 118 | |
| 119 | X86_32TargetMachine::X86_32TargetMachine(const Module &M, const std::string &FS) |
| 120 | : X86TargetMachine(M, FS, false) { |
| 121 | } |
| 122 | |
| 123 | |
| 124 | X86_64TargetMachine::X86_64TargetMachine(const Module &M, const std::string &FS) |
| 125 | : X86TargetMachine(M, FS, true) { |
| 126 | } |
| 127 | |
| 128 | /// X86TargetMachine ctor - Create an ILP32 architecture model |
| 129 | /// |
| 130 | X86TargetMachine::X86TargetMachine(const Module &M, const std::string &FS, |
| 131 | bool is64Bit) |
| 132 | : Subtarget(M, FS, is64Bit), |
Dale Johannesen | d4c671c | 2007-08-06 21:48:35 +0000 | [diff] [blame] | 133 | DataLayout(Subtarget.getDataLayout()), |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 134 | FrameInfo(TargetFrameInfo::StackGrowsDown, |
| 135 | Subtarget.getStackAlignment(), Subtarget.is64Bit() ? -8 : -4), |
| 136 | InstrInfo(*this), JITInfo(*this), TLInfo(*this) { |
Evan Cheng | 8ee6bab | 2007-12-22 09:40:20 +0000 | [diff] [blame] | 137 | DefRelocModel = getRelocationModel(); |
Anton Korobeynikov | 0ab9fa8 | 2008-03-23 13:41:18 +0000 | [diff] [blame] | 138 | // FIXME: Correctly select PIC model for Win64 stuff |
Anton Korobeynikov | 8c90d2a | 2008-02-20 11:22:39 +0000 | [diff] [blame] | 139 | if (getRelocationModel() == Reloc::Default) { |
Anton Korobeynikov | 0ab9fa8 | 2008-03-23 13:41:18 +0000 | [diff] [blame] | 140 | if (Subtarget.isTargetDarwin() || |
| 141 | (Subtarget.isTargetCygMing() && !Subtarget.isTargetWin64())) |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 142 | setRelocationModel(Reloc::DynamicNoPIC); |
| 143 | else |
| 144 | setRelocationModel(Reloc::Static); |
Anton Korobeynikov | 8c90d2a | 2008-02-20 11:22:39 +0000 | [diff] [blame] | 145 | } |
Dan Gohman | 36322c7 | 2008-10-18 02:06:02 +0000 | [diff] [blame] | 146 | |
| 147 | // ELF doesn't have a distinct dynamic-no-PIC model. Dynamic-no-PIC |
| 148 | // is defined as a model for code which may be used in static or |
| 149 | // dynamic executables but not necessarily a shared library. On ELF |
| 150 | // implement this by using the Static model. |
| 151 | if (Subtarget.isTargetELF() && |
| 152 | getRelocationModel() == Reloc::DynamicNoPIC) |
| 153 | setRelocationModel(Reloc::Static); |
| 154 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 155 | if (Subtarget.is64Bit()) { |
| 156 | // No DynamicNoPIC support under X86-64. |
| 157 | if (getRelocationModel() == Reloc::DynamicNoPIC) |
| 158 | setRelocationModel(Reloc::PIC_); |
| 159 | // Default X86-64 code model is small. |
| 160 | if (getCodeModel() == CodeModel::Default) |
| 161 | setCodeModel(CodeModel::Small); |
| 162 | } |
| 163 | |
| 164 | if (Subtarget.isTargetCygMing()) |
| 165 | Subtarget.setPICStyle(PICStyle::WinPIC); |
Anton Korobeynikov | 8c90d2a | 2008-02-20 11:22:39 +0000 | [diff] [blame] | 166 | else if (Subtarget.isTargetDarwin()) { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 167 | if (Subtarget.is64Bit()) |
| 168 | Subtarget.setPICStyle(PICStyle::RIPRel); |
| 169 | else |
| 170 | Subtarget.setPICStyle(PICStyle::Stub); |
Anton Korobeynikov | 8c90d2a | 2008-02-20 11:22:39 +0000 | [diff] [blame] | 171 | } else if (Subtarget.isTargetELF()) { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 172 | if (Subtarget.is64Bit()) |
| 173 | Subtarget.setPICStyle(PICStyle::RIPRel); |
| 174 | else |
| 175 | Subtarget.setPICStyle(PICStyle::GOT); |
Anton Korobeynikov | 8c90d2a | 2008-02-20 11:22:39 +0000 | [diff] [blame] | 176 | } |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 177 | } |
| 178 | |
| 179 | //===----------------------------------------------------------------------===// |
| 180 | // Pass Pipeline Configuration |
| 181 | //===----------------------------------------------------------------------===// |
| 182 | |
Dan Gohman | e34aa77 | 2008-03-11 22:29:46 +0000 | [diff] [blame] | 183 | bool X86TargetMachine::addInstSelector(PassManagerBase &PM, bool Fast) { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 184 | // Install an instruction selector. |
| 185 | PM.add(createX86ISelDag(*this, Fast)); |
Dan Gohman | 0e66ce8 | 2008-10-25 17:46:52 +0000 | [diff] [blame] | 186 | |
| 187 | // If we're using Fast-ISel, clean up the mess. |
| 188 | if (EnableFastISel) |
| 189 | PM.add(createDeadMachineInstructionElimPass()); |
| 190 | |
Dan Gohman | fd6722c | 2008-11-12 22:55:05 +0000 | [diff] [blame] | 191 | // Install a pass to insert x87 FP_REG_KILL instructions, as needed. |
| 192 | PM.add(createX87FPRegKillInserterPass()); |
| 193 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 194 | return false; |
| 195 | } |
| 196 | |
Anton Korobeynikov | 194ae6c | 2008-04-23 18:23:05 +0000 | [diff] [blame] | 197 | bool X86TargetMachine::addPreRegAlloc(PassManagerBase &PM, bool Fast) { |
Anton Korobeynikov | 8c91289 | 2008-04-23 18:23:30 +0000 | [diff] [blame] | 198 | // Calculate and set max stack object alignment early, so we can decide |
| 199 | // whether we will need stack realignment (and thus FP). |
Anton Korobeynikov | 194ae6c | 2008-04-23 18:23:05 +0000 | [diff] [blame] | 200 | PM.add(createX86MaxStackAlignmentCalculatorPass()); |
| 201 | return false; // -print-machineinstr shouldn't print after this. |
| 202 | } |
| 203 | |
Dan Gohman | e34aa77 | 2008-03-11 22:29:46 +0000 | [diff] [blame] | 204 | bool X86TargetMachine::addPostRegAlloc(PassManagerBase &PM, bool Fast) { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 205 | PM.add(createX86FloatingPointStackifierPass()); |
| 206 | return true; // -print-machineinstr should print after this. |
| 207 | } |
| 208 | |
Dan Gohman | e34aa77 | 2008-03-11 22:29:46 +0000 | [diff] [blame] | 209 | bool X86TargetMachine::addAssemblyEmitter(PassManagerBase &PM, bool Fast, |
Owen Anderson | 847b99b | 2008-08-21 00:14:44 +0000 | [diff] [blame] | 210 | raw_ostream &Out) { |
Anton Korobeynikov | 9ff5bee | 2008-08-17 13:53:59 +0000 | [diff] [blame] | 211 | assert(AsmPrinterCtor && "AsmPrinter was not linked in"); |
| 212 | if (AsmPrinterCtor) |
| 213 | PM.add(AsmPrinterCtor(Out, *this)); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 214 | return false; |
| 215 | } |
| 216 | |
Dan Gohman | e34aa77 | 2008-03-11 22:29:46 +0000 | [diff] [blame] | 217 | bool X86TargetMachine::addCodeEmitter(PassManagerBase &PM, bool Fast, |
Evan Cheng | 7754721 | 2007-07-20 21:56:13 +0000 | [diff] [blame] | 218 | bool DumpAsm, MachineCodeEmitter &MCE) { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 219 | // FIXME: Move this to TargetJITInfo! |
Dale Johannesen | 58c6d51 | 2008-08-12 21:02:08 +0000 | [diff] [blame] | 220 | // On Darwin, do not override 64-bit setting made in X86TargetMachine(). |
| 221 | if (DefRelocModel == Reloc::Default && |
| 222 | (!Subtarget.isTargetDarwin() || !Subtarget.is64Bit())) |
Evan Cheng | 8ee6bab | 2007-12-22 09:40:20 +0000 | [diff] [blame] | 223 | setRelocationModel(Reloc::Static); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 224 | |
Dale Johannesen | c501c08 | 2008-08-11 23:46:25 +0000 | [diff] [blame] | 225 | // 64-bit JIT places everything in the same buffer except external functions. |
Dale Johannesen | 58c6d51 | 2008-08-12 21:02:08 +0000 | [diff] [blame] | 226 | // On Darwin, use small code model but hack the call instruction for |
| 227 | // externals. Elsewhere, do not assume globals are in the lower 4G. |
| 228 | if (Subtarget.is64Bit()) { |
| 229 | if (Subtarget.isTargetDarwin()) |
| 230 | setCodeModel(CodeModel::Small); |
| 231 | else |
| 232 | setCodeModel(CodeModel::Large); |
| 233 | } |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 234 | |
| 235 | PM.add(createX86CodeEmitterPass(*this, MCE)); |
Anton Korobeynikov | 9ff5bee | 2008-08-17 13:53:59 +0000 | [diff] [blame] | 236 | if (DumpAsm) { |
| 237 | assert(AsmPrinterCtor && "AsmPrinter was not linked in"); |
| 238 | if (AsmPrinterCtor) |
Owen Anderson | 847b99b | 2008-08-21 00:14:44 +0000 | [diff] [blame] | 239 | PM.add(AsmPrinterCtor(errs(), *this)); |
Anton Korobeynikov | 9ff5bee | 2008-08-17 13:53:59 +0000 | [diff] [blame] | 240 | } |
Evan Cheng | 7754721 | 2007-07-20 21:56:13 +0000 | [diff] [blame] | 241 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 242 | return false; |
| 243 | } |
| 244 | |
Dan Gohman | e34aa77 | 2008-03-11 22:29:46 +0000 | [diff] [blame] | 245 | bool X86TargetMachine::addSimpleCodeEmitter(PassManagerBase &PM, bool Fast, |
Evan Cheng | 7754721 | 2007-07-20 21:56:13 +0000 | [diff] [blame] | 246 | bool DumpAsm, MachineCodeEmitter &MCE) { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 247 | PM.add(createX86CodeEmitterPass(*this, MCE)); |
Anton Korobeynikov | 9ff5bee | 2008-08-17 13:53:59 +0000 | [diff] [blame] | 248 | if (DumpAsm) { |
| 249 | assert(AsmPrinterCtor && "AsmPrinter was not linked in"); |
| 250 | if (AsmPrinterCtor) |
Owen Anderson | 847b99b | 2008-08-21 00:14:44 +0000 | [diff] [blame] | 251 | PM.add(AsmPrinterCtor(errs(), *this)); |
Anton Korobeynikov | 9ff5bee | 2008-08-17 13:53:59 +0000 | [diff] [blame] | 252 | } |
| 253 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 254 | return false; |
| 255 | } |
Dan Gohman | c641336 | 2008-09-26 19:15:30 +0000 | [diff] [blame] | 256 | |
| 257 | // symbolicAddressesAreRIPRel - Return true if symbolic addresses are |
| 258 | // RIP-relative on this machine, taking into consideration the relocation |
| 259 | // model and subtarget. RIP-relative addresses cannot have a separate |
| 260 | // base or index register. |
| 261 | bool X86TargetMachine::symbolicAddressesAreRIPRel() const { |
| 262 | return getRelocationModel() != Reloc::Static && |
| 263 | Subtarget.isPICStyleRIPRel(); |
| 264 | } |