Chris Lattner | b4f68ed | 2002-10-29 22:37:54 +0000 | [diff] [blame] | 1 | //===-- X86TargetMachine.cpp - Define TargetMachine for the X86 -----------===// |
Misha Brukman | 0e0a7a45 | 2005-04-21 23:38:14 +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. |
Misha Brukman | 0e0a7a45 | 2005-04-21 23:38:14 +0000 | [diff] [blame] | 7 | // |
John Criswell | b576c94 | 2003-10-20 19:43:21 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
Misha Brukman | 0e0a7a45 | 2005-04-21 23:38:14 +0000 | [diff] [blame] | 9 | // |
Chris Lattner | b4f68ed | 2002-10-29 22:37:54 +0000 | [diff] [blame] | 10 | // This file defines the X86 specific subclass of TargetMachine. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
Chris Lattner | af76e59 | 2009-08-22 20:48:53 +0000 | [diff] [blame] | 14 | #include "X86MCAsmInfo.h" |
Chris Lattner | b4f68ed | 2002-10-29 22:37:54 +0000 | [diff] [blame] | 15 | #include "X86TargetMachine.h" |
Chris Lattner | 5bcd95c | 2002-12-24 00:04:01 +0000 | [diff] [blame] | 16 | #include "X86.h" |
Chris Lattner | 155e68f | 2003-04-23 16:24:55 +0000 | [diff] [blame] | 17 | #include "llvm/PassManager.h" |
Chris Lattner | 3dffa79 | 2002-10-30 00:47:49 +0000 | [diff] [blame] | 18 | #include "llvm/CodeGen/MachineFunction.h" |
Chris Lattner | d91d86f | 2003-01-13 00:51:23 +0000 | [diff] [blame] | 19 | #include "llvm/CodeGen/Passes.h" |
David Greene | 7184781 | 2009-07-14 20:18:05 +0000 | [diff] [blame] | 20 | #include "llvm/Support/FormattedStream.h" |
Chris Lattner | 0cf0c37 | 2004-07-11 04:17:10 +0000 | [diff] [blame] | 21 | #include "llvm/Target/TargetOptions.h" |
Daniel Dunbar | 0c795d6 | 2009-07-25 06:49:55 +0000 | [diff] [blame] | 22 | #include "llvm/Target/TargetRegistry.h" |
Chris Lattner | 1e60a91 | 2003-12-20 01:22:19 +0000 | [diff] [blame] | 23 | using namespace llvm; |
Brian Gaeke | d0fde30 | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 24 | |
Daniel Dunbar | 5d067fe | 2010-03-20 22:36:22 +0000 | [diff] [blame] | 25 | static MCAsmInfo *createMCAsmInfo(const Target &T, StringRef TT) { |
Chris Lattner | a7ac47c | 2009-08-12 07:22:17 +0000 | [diff] [blame] | 26 | Triple TheTriple(TT); |
| 27 | switch (TheTriple.getOS()) { |
| 28 | case Triple::Darwin: |
Chris Lattner | 2807afa | 2009-08-22 21:03:30 +0000 | [diff] [blame] | 29 | return new X86MCAsmInfoDarwin(TheTriple); |
Chris Lattner | a7ac47c | 2009-08-12 07:22:17 +0000 | [diff] [blame] | 30 | case Triple::MinGW32: |
| 31 | case Triple::MinGW64: |
| 32 | case Triple::Cygwin: |
Chris Lattner | a7ac47c | 2009-08-12 07:22:17 +0000 | [diff] [blame] | 33 | case Triple::Win32: |
Anton Korobeynikov | 245ba96 | 2010-02-14 15:19:54 +0000 | [diff] [blame] | 34 | return new X86MCAsmInfoCOFF(TheTriple); |
Chris Lattner | a7ac47c | 2009-08-12 07:22:17 +0000 | [diff] [blame] | 35 | default: |
Chris Lattner | af76e59 | 2009-08-22 20:48:53 +0000 | [diff] [blame] | 36 | return new X86ELFMCAsmInfo(TheTriple); |
Chris Lattner | a7ac47c | 2009-08-12 07:22:17 +0000 | [diff] [blame] | 37 | } |
| 38 | } |
| 39 | |
Daniel Dunbar | 51b198a | 2009-07-15 20:24:03 +0000 | [diff] [blame] | 40 | extern "C" void LLVMInitializeX86Target() { |
Daniel Dunbar | 0c795d6 | 2009-07-25 06:49:55 +0000 | [diff] [blame] | 41 | // Register the target. |
| 42 | RegisterTargetMachine<X86_32TargetMachine> X(TheX86_32Target); |
| 43 | RegisterTargetMachine<X86_64TargetMachine> Y(TheX86_64Target); |
Chris Lattner | a7ac47c | 2009-08-12 07:22:17 +0000 | [diff] [blame] | 44 | |
| 45 | // Register the target asm info. |
Chris Lattner | af76e59 | 2009-08-22 20:48:53 +0000 | [diff] [blame] | 46 | RegisterAsmInfoFn A(TheX86_32Target, createMCAsmInfo); |
| 47 | RegisterAsmInfoFn B(TheX86_64Target, createMCAsmInfo); |
Daniel Dunbar | 7168a7d | 2009-08-27 08:12:55 +0000 | [diff] [blame] | 48 | |
| 49 | // Register the code emitter. |
Chris Lattner | ce79a25 | 2010-02-03 21:14:33 +0000 | [diff] [blame] | 50 | TargetRegistry::RegisterCodeEmitter(TheX86_32Target, |
Chris Lattner | f068304 | 2010-02-13 00:49:29 +0000 | [diff] [blame] | 51 | createX86_32MCCodeEmitter); |
Chris Lattner | ce79a25 | 2010-02-03 21:14:33 +0000 | [diff] [blame] | 52 | TargetRegistry::RegisterCodeEmitter(TheX86_64Target, |
Chris Lattner | f068304 | 2010-02-13 00:49:29 +0000 | [diff] [blame] | 53 | createX86_64MCCodeEmitter); |
Daniel Dunbar | 12783d1 | 2010-02-21 21:54:14 +0000 | [diff] [blame] | 54 | |
| 55 | // Register the asm backend. |
| 56 | TargetRegistry::RegisterAsmBackend(TheX86_32Target, |
| 57 | createX86_32AsmBackend); |
| 58 | TargetRegistry::RegisterAsmBackend(TheX86_64Target, |
| 59 | createX86_64AsmBackend); |
Daniel Dunbar | 51b198a | 2009-07-15 20:24:03 +0000 | [diff] [blame] | 60 | } |
Douglas Gregor | 1555a23 | 2009-06-16 20:12:29 +0000 | [diff] [blame] | 61 | |
Jim Laskey | fde1b3b | 2006-09-07 23:39:26 +0000 | [diff] [blame] | 62 | |
Daniel Dunbar | e28039c | 2009-08-02 23:37:13 +0000 | [diff] [blame] | 63 | X86_32TargetMachine::X86_32TargetMachine(const Target &T, const std::string &TT, |
Daniel Dunbar | 51b198a | 2009-07-15 20:24:03 +0000 | [diff] [blame] | 64 | const std::string &FS) |
Daniel Dunbar | e28039c | 2009-08-02 23:37:13 +0000 | [diff] [blame] | 65 | : X86TargetMachine(T, TT, FS, false) { |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 66 | } |
| 67 | |
| 68 | |
Daniel Dunbar | e28039c | 2009-08-02 23:37:13 +0000 | [diff] [blame] | 69 | X86_64TargetMachine::X86_64TargetMachine(const Target &T, const std::string &TT, |
Daniel Dunbar | 51b198a | 2009-07-15 20:24:03 +0000 | [diff] [blame] | 70 | const std::string &FS) |
Daniel Dunbar | e28039c | 2009-08-02 23:37:13 +0000 | [diff] [blame] | 71 | : X86TargetMachine(T, TT, FS, true) { |
Evan Cheng | 25ab690 | 2006-09-08 06:48:29 +0000 | [diff] [blame] | 72 | } |
| 73 | |
Chris Lattner | 11348ee | 2009-07-09 03:32:31 +0000 | [diff] [blame] | 74 | /// X86TargetMachine ctor - Create an X86 target. |
Chris Lattner | b4f68ed | 2002-10-29 22:37:54 +0000 | [diff] [blame] | 75 | /// |
Daniel Dunbar | e28039c | 2009-08-02 23:37:13 +0000 | [diff] [blame] | 76 | X86TargetMachine::X86TargetMachine(const Target &T, const std::string &TT, |
Daniel Dunbar | 51b198a | 2009-07-15 20:24:03 +0000 | [diff] [blame] | 77 | const std::string &FS, bool is64Bit) |
Chris Lattner | 0a31d2f | 2009-08-11 20:42:37 +0000 | [diff] [blame] | 78 | : LLVMTargetMachine(T, TT), |
Daniel Dunbar | e28039c | 2009-08-02 23:37:13 +0000 | [diff] [blame] | 79 | Subtarget(TT, FS, is64Bit), |
Dale Johannesen | 27f92be | 2007-08-06 21:48:35 +0000 | [diff] [blame] | 80 | DataLayout(Subtarget.getDataLayout()), |
Nate Begeman | fb5792f | 2005-07-12 01:41:54 +0000 | [diff] [blame] | 81 | FrameInfo(TargetFrameInfo::StackGrowsDown, |
Anton Korobeynikov | cf6b739 | 2009-08-03 08:12:53 +0000 | [diff] [blame] | 82 | Subtarget.getStackAlignment(), |
| 83 | (Subtarget.isTargetWin64() ? -40 : |
| 84 | (Subtarget.is64Bit() ? -8 : -4))), |
Bruno Cardoso Lopes | c997d45 | 2009-06-11 19:16:03 +0000 | [diff] [blame] | 85 | InstrInfo(*this), JITInfo(*this), TLInfo(*this), ELFWriterInfo(*this) { |
Evan Cheng | aabe38b | 2007-12-22 09:40:20 +0000 | [diff] [blame] | 86 | DefRelocModel = getRelocationModel(); |
Chris Lattner | 11348ee | 2009-07-09 03:32:31 +0000 | [diff] [blame] | 87 | |
| 88 | // If no relocation model was picked, default as appropriate for the target. |
Anton Korobeynikov | 7c1c261 | 2008-02-20 11:22:39 +0000 | [diff] [blame] | 89 | if (getRelocationModel() == Reloc::Default) { |
Chris Lattner | 11348ee | 2009-07-09 03:32:31 +0000 | [diff] [blame] | 90 | if (!Subtarget.isTargetDarwin()) |
Evan Cheng | 2c312ad | 2006-12-04 18:07:10 +0000 | [diff] [blame] | 91 | setRelocationModel(Reloc::Static); |
Chris Lattner | 11348ee | 2009-07-09 03:32:31 +0000 | [diff] [blame] | 92 | else if (Subtarget.is64Bit()) |
| 93 | setRelocationModel(Reloc::PIC_); |
| 94 | else |
| 95 | setRelocationModel(Reloc::DynamicNoPIC); |
Anton Korobeynikov | 7c1c261 | 2008-02-20 11:22:39 +0000 | [diff] [blame] | 96 | } |
Dan Gohman | 6520e20 | 2008-10-18 02:06:02 +0000 | [diff] [blame] | 97 | |
Chris Lattner | e4df756 | 2009-07-09 03:15:51 +0000 | [diff] [blame] | 98 | assert(getRelocationModel() != Reloc::Default && |
| 99 | "Relocation mode not picked"); |
| 100 | |
Chris Lattner | b2fc55b | 2009-07-09 03:37:30 +0000 | [diff] [blame] | 101 | // ELF and X86-64 don't have a distinct DynamicNoPIC model. DynamicNoPIC |
Chris Lattner | 11348ee | 2009-07-09 03:32:31 +0000 | [diff] [blame] | 102 | // is defined as a model for code which may be used in static or dynamic |
Chris Lattner | 88e1fd5 | 2009-07-09 04:24:46 +0000 | [diff] [blame] | 103 | // executables but not necessarily a shared library. On X86-32 we just |
| 104 | // compile in -static mode, in x86-64 we use PIC. |
| 105 | if (getRelocationModel() == Reloc::DynamicNoPIC) { |
| 106 | if (is64Bit) |
| 107 | setRelocationModel(Reloc::PIC_); |
| 108 | else if (!Subtarget.isTargetDarwin()) |
| 109 | setRelocationModel(Reloc::Static); |
| 110 | } |
Dan Gohman | 6520e20 | 2008-10-18 02:06:02 +0000 | [diff] [blame] | 111 | |
Chris Lattner | b2fc55b | 2009-07-09 03:37:30 +0000 | [diff] [blame] | 112 | // If we are on Darwin, disallow static relocation model in X86-64 mode, since |
| 113 | // the Mach-O file format doesn't support it. |
| 114 | if (getRelocationModel() == Reloc::Static && |
| 115 | Subtarget.isTargetDarwin() && |
| 116 | is64Bit) |
| 117 | setRelocationModel(Reloc::PIC_); |
| 118 | |
Chris Lattner | 11348ee | 2009-07-09 03:32:31 +0000 | [diff] [blame] | 119 | // Determine the PICStyle based on the target selected. |
| 120 | if (getRelocationModel() == Reloc::Static) { |
| 121 | // Unless we're in PIC or DynamicNoPIC mode, set the PIC style to None. |
| 122 | Subtarget.setPICStyle(PICStyles::None); |
| 123 | } else if (Subtarget.isTargetCygMing()) { |
Chris Lattner | e4df756 | 2009-07-09 03:15:51 +0000 | [diff] [blame] | 124 | Subtarget.setPICStyle(PICStyles::None); |
| 125 | } else if (Subtarget.isTargetDarwin()) { |
Evan Cheng | ae19abc | 2007-01-18 22:27:12 +0000 | [diff] [blame] | 126 | if (Subtarget.is64Bit()) |
Duncan Sands | f9a67a8 | 2008-11-28 09:29:37 +0000 | [diff] [blame] | 127 | Subtarget.setPICStyle(PICStyles::RIPRel); |
Chris Lattner | 8097b65 | 2009-07-10 20:58:47 +0000 | [diff] [blame] | 128 | else if (getRelocationModel() == Reloc::PIC_) |
| 129 | Subtarget.setPICStyle(PICStyles::StubPIC); |
| 130 | else { |
| 131 | assert(getRelocationModel() == Reloc::DynamicNoPIC); |
| 132 | Subtarget.setPICStyle(PICStyles::StubDynamicNoPIC); |
| 133 | } |
Anton Korobeynikov | 7c1c261 | 2008-02-20 11:22:39 +0000 | [diff] [blame] | 134 | } else if (Subtarget.isTargetELF()) { |
Evan Cheng | ae19abc | 2007-01-18 22:27:12 +0000 | [diff] [blame] | 135 | if (Subtarget.is64Bit()) |
Duncan Sands | f9a67a8 | 2008-11-28 09:29:37 +0000 | [diff] [blame] | 136 | Subtarget.setPICStyle(PICStyles::RIPRel); |
Anton Korobeynikov | 7f70559 | 2007-01-12 19:20:47 +0000 | [diff] [blame] | 137 | else |
Duncan Sands | f9a67a8 | 2008-11-28 09:29:37 +0000 | [diff] [blame] | 138 | Subtarget.setPICStyle(PICStyles::GOT); |
Anton Korobeynikov | 7c1c261 | 2008-02-20 11:22:39 +0000 | [diff] [blame] | 139 | } |
Chris Lattner | e4df756 | 2009-07-09 03:15:51 +0000 | [diff] [blame] | 140 | |
Chris Lattner | 11348ee | 2009-07-09 03:32:31 +0000 | [diff] [blame] | 141 | // Finally, if we have "none" as our PIC style, force to static mode. |
| 142 | if (Subtarget.getPICStyle() == PICStyles::None) |
| 143 | setRelocationModel(Reloc::Static); |
Chris Lattner | 4efab05 | 2006-02-03 18:59:39 +0000 | [diff] [blame] | 144 | } |
Chris Lattner | b4f68ed | 2002-10-29 22:37:54 +0000 | [diff] [blame] | 145 | |
Chris Lattner | 1911fd4 | 2006-09-04 04:14:57 +0000 | [diff] [blame] | 146 | //===----------------------------------------------------------------------===// |
| 147 | // Pass Pipeline Configuration |
| 148 | //===----------------------------------------------------------------------===// |
Chris Lattner | c9bbfbc | 2003-08-05 16:34:44 +0000 | [diff] [blame] | 149 | |
Bill Wendling | 98a366d | 2009-04-29 23:29:43 +0000 | [diff] [blame] | 150 | bool X86TargetMachine::addInstSelector(PassManagerBase &PM, |
| 151 | CodeGenOpt::Level OptLevel) { |
Nate Begeman | 73bfa71 | 2005-08-18 23:53:15 +0000 | [diff] [blame] | 152 | // Install an instruction selector. |
Bill Wendling | be8cc2a | 2009-04-29 00:15:41 +0000 | [diff] [blame] | 153 | PM.add(createX86ISelDag(*this, OptLevel)); |
Dan Gohman | 71b7f64 | 2008-10-25 17:46:52 +0000 | [diff] [blame] | 154 | |
Dan Gohman | bc5cbb8 | 2008-11-12 22:55:05 +0000 | [diff] [blame] | 155 | // Install a pass to insert x87 FP_REG_KILL instructions, as needed. |
| 156 | PM.add(createX87FPRegKillInserterPass()); |
| 157 | |
Chris Lattner | 1911fd4 | 2006-09-04 04:14:57 +0000 | [diff] [blame] | 158 | return false; |
Brian Gaeke | de3aa4f | 2003-06-18 21:43:21 +0000 | [diff] [blame] | 159 | } |
| 160 | |
Bill Wendling | 98a366d | 2009-04-29 23:29:43 +0000 | [diff] [blame] | 161 | bool X86TargetMachine::addPreRegAlloc(PassManagerBase &PM, |
| 162 | CodeGenOpt::Level OptLevel) { |
Jim Grosbach | fa85eb6 | 2010-04-06 20:26:37 +0000 | [diff] [blame] | 163 | PM.add(createX86MaxStackAlignmentHeuristicPass()); |
Anton Korobeynikov | 856914f | 2008-04-23 18:23:05 +0000 | [diff] [blame] | 164 | return false; // -print-machineinstr shouldn't print after this. |
| 165 | } |
| 166 | |
Bill Wendling | 98a366d | 2009-04-29 23:29:43 +0000 | [diff] [blame] | 167 | bool X86TargetMachine::addPostRegAlloc(PassManagerBase &PM, |
| 168 | CodeGenOpt::Level OptLevel) { |
Chris Lattner | d91d86f | 2003-01-13 00:51:23 +0000 | [diff] [blame] | 169 | PM.add(createX86FloatingPointStackifierPass()); |
Chris Lattner | 1911fd4 | 2006-09-04 04:14:57 +0000 | [diff] [blame] | 170 | return true; // -print-machineinstr should print after this. |
Chris Lattner | b4f68ed | 2002-10-29 22:37:54 +0000 | [diff] [blame] | 171 | } |
| 172 | |
Jakob Stoklund Olesen | 352aa50 | 2010-03-25 17:25:00 +0000 | [diff] [blame] | 173 | bool X86TargetMachine::addPreEmitPass(PassManagerBase &PM, |
| 174 | CodeGenOpt::Level OptLevel) { |
Eric Christopher | f4f0690 | 2010-05-05 07:35:59 +0000 | [diff] [blame^] | 175 | if (OptLevel != CodeGenOpt::None && Subtarget.hasSSE2()) { |
Jakob Stoklund Olesen | 352aa50 | 2010-03-25 17:25:00 +0000 | [diff] [blame] | 176 | PM.add(createSSEDomainFixPass()); |
| 177 | return true; |
| 178 | } |
| 179 | return false; |
| 180 | } |
| 181 | |
Bill Wendling | 98a366d | 2009-04-29 23:29:43 +0000 | [diff] [blame] | 182 | bool X86TargetMachine::addCodeEmitter(PassManagerBase &PM, |
| 183 | CodeGenOpt::Level OptLevel, |
Bruno Cardoso Lopes | 434dd4f | 2009-06-01 19:57:37 +0000 | [diff] [blame] | 184 | JITCodeEmitter &JCE) { |
Bruno Cardoso Lopes | a3f99f9 | 2009-05-30 20:51:52 +0000 | [diff] [blame] | 185 | // FIXME: Move this to TargetJITInfo! |
| 186 | // On Darwin, do not override 64-bit setting made in X86TargetMachine(). |
| 187 | if (DefRelocModel == Reloc::Default && |
Chris Lattner | b2fc55b | 2009-07-09 03:37:30 +0000 | [diff] [blame] | 188 | (!Subtarget.isTargetDarwin() || !Subtarget.is64Bit())) { |
Bruno Cardoso Lopes | a3f99f9 | 2009-05-30 20:51:52 +0000 | [diff] [blame] | 189 | setRelocationModel(Reloc::Static); |
Chris Lattner | b2fc55b | 2009-07-09 03:37:30 +0000 | [diff] [blame] | 190 | Subtarget.setPICStyle(PICStyles::None); |
| 191 | } |
Bruno Cardoso Lopes | a3f99f9 | 2009-05-30 20:51:52 +0000 | [diff] [blame] | 192 | |
Bruno Cardoso Lopes | a3f99f9 | 2009-05-30 20:51:52 +0000 | [diff] [blame] | 193 | |
| 194 | PM.add(createX86JITCodeEmitterPass(*this, JCE)); |
Bruno Cardoso Lopes | a3f99f9 | 2009-05-30 20:51:52 +0000 | [diff] [blame] | 195 | |
| 196 | return false; |
| 197 | } |
| 198 | |
Eric Christopher | f4f43cb | 2009-12-21 08:15:29 +0000 | [diff] [blame] | 199 | void X86TargetMachine::setCodeModelForStatic() { |
| 200 | |
| 201 | if (getCodeModel() != CodeModel::Default) return; |
| 202 | |
| 203 | // For static codegen, if we're not already set, use Small codegen. |
| 204 | setCodeModel(CodeModel::Small); |
| 205 | } |
| 206 | |
| 207 | |
| 208 | void X86TargetMachine::setCodeModelForJIT() { |
| 209 | |
| 210 | if (getCodeModel() != CodeModel::Default) return; |
| 211 | |
| 212 | // 64-bit JIT places everything in the same buffer except external functions. |
| 213 | if (Subtarget.is64Bit()) |
| 214 | setCodeModel(CodeModel::Large); |
| 215 | else |
| 216 | setCodeModel(CodeModel::Small); |
| 217 | } |