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" |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 17 | #include "llvm/PassManager.h" |
| 18 | #include "llvm/CodeGen/MachineFunction.h" |
| 19 | #include "llvm/CodeGen/Passes.h" |
David Greene | 302008d | 2009-07-14 20:18:05 +0000 | [diff] [blame] | 20 | #include "llvm/Support/FormattedStream.h" |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 21 | #include "llvm/Target/TargetOptions.h" |
Daniel Dunbar | c680b01 | 2009-07-25 06:49:55 +0000 | [diff] [blame] | 22 | #include "llvm/Target/TargetRegistry.h" |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 23 | using namespace llvm; |
| 24 | |
Daniel Dunbar | fe5939f | 2009-07-15 20:24:03 +0000 | [diff] [blame] | 25 | extern "C" void LLVMInitializeX86Target() { |
Daniel Dunbar | c680b01 | 2009-07-25 06:49:55 +0000 | [diff] [blame] | 26 | // Register the target. |
| 27 | RegisterTargetMachine<X86_32TargetMachine> X(TheX86_32Target); |
| 28 | RegisterTargetMachine<X86_64TargetMachine> Y(TheX86_64Target); |
Daniel Dunbar | fe5939f | 2009-07-15 20:24:03 +0000 | [diff] [blame] | 29 | } |
Douglas Gregor | 1dc5ff4 | 2009-06-16 20:12:29 +0000 | [diff] [blame] | 30 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 31 | const TargetAsmInfo *X86TargetMachine::createTargetAsmInfo() const { |
Chris Lattner | c4c40a9 | 2009-07-28 03:13:23 +0000 | [diff] [blame] | 32 | switch (Subtarget.TargetType) { |
| 33 | default: llvm_unreachable("unknown subtarget type"); |
| 34 | case X86Subtarget::isDarwin: |
| 35 | return new X86DarwinTargetAsmInfo(*this); |
| 36 | case X86Subtarget::isELF: |
| 37 | return new X86ELFTargetAsmInfo(*this); |
| 38 | case X86Subtarget::isMingw: |
| 39 | case X86Subtarget::isCygwin: |
| 40 | return new X86COFFTargetAsmInfo(*this); |
| 41 | case X86Subtarget::isWindows: |
| 42 | return new X86WinTargetAsmInfo(*this); |
| 43 | } |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 44 | } |
| 45 | |
Daniel Dunbar | f5c2b85 | 2009-08-02 23:37:13 +0000 | [diff] [blame] | 46 | X86_32TargetMachine::X86_32TargetMachine(const Target &T, const std::string &TT, |
Daniel Dunbar | fe5939f | 2009-07-15 20:24:03 +0000 | [diff] [blame] | 47 | const std::string &FS) |
Daniel Dunbar | f5c2b85 | 2009-08-02 23:37:13 +0000 | [diff] [blame] | 48 | : X86TargetMachine(T, TT, FS, false) { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 49 | } |
| 50 | |
| 51 | |
Daniel Dunbar | f5c2b85 | 2009-08-02 23:37:13 +0000 | [diff] [blame] | 52 | X86_64TargetMachine::X86_64TargetMachine(const Target &T, const std::string &TT, |
Daniel Dunbar | fe5939f | 2009-07-15 20:24:03 +0000 | [diff] [blame] | 53 | const std::string &FS) |
Daniel Dunbar | f5c2b85 | 2009-08-02 23:37:13 +0000 | [diff] [blame] | 54 | : X86TargetMachine(T, TT, FS, true) { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 55 | } |
| 56 | |
Chris Lattner | 5b5e32d | 2009-07-09 03:32:31 +0000 | [diff] [blame] | 57 | /// X86TargetMachine ctor - Create an X86 target. |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 58 | /// |
Daniel Dunbar | f5c2b85 | 2009-08-02 23:37:13 +0000 | [diff] [blame] | 59 | X86TargetMachine::X86TargetMachine(const Target &T, const std::string &TT, |
Daniel Dunbar | fe5939f | 2009-07-15 20:24:03 +0000 | [diff] [blame] | 60 | const std::string &FS, bool is64Bit) |
| 61 | : LLVMTargetMachine(T), |
Daniel Dunbar | f5c2b85 | 2009-08-02 23:37:13 +0000 | [diff] [blame] | 62 | Subtarget(TT, FS, is64Bit), |
Dale Johannesen | d4c671c | 2007-08-06 21:48:35 +0000 | [diff] [blame] | 63 | DataLayout(Subtarget.getDataLayout()), |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 64 | FrameInfo(TargetFrameInfo::StackGrowsDown, |
Anton Korobeynikov | 2cbcdb7 | 2009-08-03 08:12:53 +0000 | [diff] [blame] | 65 | Subtarget.getStackAlignment(), |
| 66 | (Subtarget.isTargetWin64() ? -40 : |
| 67 | (Subtarget.is64Bit() ? -8 : -4))), |
Bruno Cardoso Lopes | 8c25df1 | 2009-06-11 19:16:03 +0000 | [diff] [blame] | 68 | InstrInfo(*this), JITInfo(*this), TLInfo(*this), ELFWriterInfo(*this) { |
Evan Cheng | 8ee6bab | 2007-12-22 09:40:20 +0000 | [diff] [blame] | 69 | DefRelocModel = getRelocationModel(); |
Chris Lattner | 5b5e32d | 2009-07-09 03:32:31 +0000 | [diff] [blame] | 70 | |
| 71 | // If no relocation model was picked, default as appropriate for the target. |
Anton Korobeynikov | 8c90d2a | 2008-02-20 11:22:39 +0000 | [diff] [blame] | 72 | if (getRelocationModel() == Reloc::Default) { |
Chris Lattner | 5b5e32d | 2009-07-09 03:32:31 +0000 | [diff] [blame] | 73 | if (!Subtarget.isTargetDarwin()) |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 74 | setRelocationModel(Reloc::Static); |
Chris Lattner | 5b5e32d | 2009-07-09 03:32:31 +0000 | [diff] [blame] | 75 | else if (Subtarget.is64Bit()) |
| 76 | setRelocationModel(Reloc::PIC_); |
| 77 | else |
| 78 | setRelocationModel(Reloc::DynamicNoPIC); |
Anton Korobeynikov | 8c90d2a | 2008-02-20 11:22:39 +0000 | [diff] [blame] | 79 | } |
Dan Gohman | 36322c7 | 2008-10-18 02:06:02 +0000 | [diff] [blame] | 80 | |
Chris Lattner | aa7c6d2 | 2009-07-09 03:15:51 +0000 | [diff] [blame] | 81 | assert(getRelocationModel() != Reloc::Default && |
| 82 | "Relocation mode not picked"); |
| 83 | |
Chris Lattner | 5b5e32d | 2009-07-09 03:32:31 +0000 | [diff] [blame] | 84 | // If no code model is picked, default to small. |
| 85 | if (getCodeModel() == CodeModel::Default) |
| 86 | setCodeModel(CodeModel::Small); |
| 87 | |
Chris Lattner | 4c8b686 | 2009-07-09 03:37:30 +0000 | [diff] [blame] | 88 | // ELF and X86-64 don't have a distinct DynamicNoPIC model. DynamicNoPIC |
Chris Lattner | 5b5e32d | 2009-07-09 03:32:31 +0000 | [diff] [blame] | 89 | // is defined as a model for code which may be used in static or dynamic |
Chris Lattner | f165d34 | 2009-07-09 04:24:46 +0000 | [diff] [blame] | 90 | // executables but not necessarily a shared library. On X86-32 we just |
| 91 | // compile in -static mode, in x86-64 we use PIC. |
| 92 | if (getRelocationModel() == Reloc::DynamicNoPIC) { |
| 93 | if (is64Bit) |
| 94 | setRelocationModel(Reloc::PIC_); |
| 95 | else if (!Subtarget.isTargetDarwin()) |
| 96 | setRelocationModel(Reloc::Static); |
| 97 | } |
Dan Gohman | 36322c7 | 2008-10-18 02:06:02 +0000 | [diff] [blame] | 98 | |
Chris Lattner | 4c8b686 | 2009-07-09 03:37:30 +0000 | [diff] [blame] | 99 | // If we are on Darwin, disallow static relocation model in X86-64 mode, since |
| 100 | // the Mach-O file format doesn't support it. |
| 101 | if (getRelocationModel() == Reloc::Static && |
| 102 | Subtarget.isTargetDarwin() && |
| 103 | is64Bit) |
| 104 | setRelocationModel(Reloc::PIC_); |
| 105 | |
Chris Lattner | 5b5e32d | 2009-07-09 03:32:31 +0000 | [diff] [blame] | 106 | // Determine the PICStyle based on the target selected. |
| 107 | if (getRelocationModel() == Reloc::Static) { |
| 108 | // Unless we're in PIC or DynamicNoPIC mode, set the PIC style to None. |
| 109 | Subtarget.setPICStyle(PICStyles::None); |
| 110 | } else if (Subtarget.isTargetCygMing()) { |
Chris Lattner | aa7c6d2 | 2009-07-09 03:15:51 +0000 | [diff] [blame] | 111 | Subtarget.setPICStyle(PICStyles::None); |
| 112 | } else if (Subtarget.isTargetDarwin()) { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 113 | if (Subtarget.is64Bit()) |
Duncan Sands | de5f95f | 2008-11-28 09:29:37 +0000 | [diff] [blame] | 114 | Subtarget.setPICStyle(PICStyles::RIPRel); |
Chris Lattner | fb50272 | 2009-07-10 20:58:47 +0000 | [diff] [blame] | 115 | else if (getRelocationModel() == Reloc::PIC_) |
| 116 | Subtarget.setPICStyle(PICStyles::StubPIC); |
| 117 | else { |
| 118 | assert(getRelocationModel() == Reloc::DynamicNoPIC); |
| 119 | Subtarget.setPICStyle(PICStyles::StubDynamicNoPIC); |
| 120 | } |
Anton Korobeynikov | 8c90d2a | 2008-02-20 11:22:39 +0000 | [diff] [blame] | 121 | } else if (Subtarget.isTargetELF()) { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 122 | if (Subtarget.is64Bit()) |
Duncan Sands | de5f95f | 2008-11-28 09:29:37 +0000 | [diff] [blame] | 123 | Subtarget.setPICStyle(PICStyles::RIPRel); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 124 | else |
Duncan Sands | de5f95f | 2008-11-28 09:29:37 +0000 | [diff] [blame] | 125 | Subtarget.setPICStyle(PICStyles::GOT); |
Anton Korobeynikov | 8c90d2a | 2008-02-20 11:22:39 +0000 | [diff] [blame] | 126 | } |
Chris Lattner | aa7c6d2 | 2009-07-09 03:15:51 +0000 | [diff] [blame] | 127 | |
Chris Lattner | 5b5e32d | 2009-07-09 03:32:31 +0000 | [diff] [blame] | 128 | // Finally, if we have "none" as our PIC style, force to static mode. |
| 129 | if (Subtarget.getPICStyle() == PICStyles::None) |
| 130 | setRelocationModel(Reloc::Static); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 131 | } |
| 132 | |
| 133 | //===----------------------------------------------------------------------===// |
| 134 | // Pass Pipeline Configuration |
| 135 | //===----------------------------------------------------------------------===// |
| 136 | |
Bill Wendling | 5ed22ac | 2009-04-29 23:29:43 +0000 | [diff] [blame] | 137 | bool X86TargetMachine::addInstSelector(PassManagerBase &PM, |
| 138 | CodeGenOpt::Level OptLevel) { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 139 | // Install an instruction selector. |
Bill Wendling | 58ed5d2 | 2009-04-29 00:15:41 +0000 | [diff] [blame] | 140 | PM.add(createX86ISelDag(*this, OptLevel)); |
Dan Gohman | 0e66ce8 | 2008-10-25 17:46:52 +0000 | [diff] [blame] | 141 | |
| 142 | // If we're using Fast-ISel, clean up the mess. |
| 143 | if (EnableFastISel) |
| 144 | PM.add(createDeadMachineInstructionElimPass()); |
| 145 | |
Dan Gohman | fd6722c | 2008-11-12 22:55:05 +0000 | [diff] [blame] | 146 | // Install a pass to insert x87 FP_REG_KILL instructions, as needed. |
| 147 | PM.add(createX87FPRegKillInserterPass()); |
| 148 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 149 | return false; |
| 150 | } |
| 151 | |
Bill Wendling | 5ed22ac | 2009-04-29 23:29:43 +0000 | [diff] [blame] | 152 | bool X86TargetMachine::addPreRegAlloc(PassManagerBase &PM, |
| 153 | CodeGenOpt::Level OptLevel) { |
Anton Korobeynikov | 8c91289 | 2008-04-23 18:23:30 +0000 | [diff] [blame] | 154 | // Calculate and set max stack object alignment early, so we can decide |
| 155 | // whether we will need stack realignment (and thus FP). |
Anton Korobeynikov | 194ae6c | 2008-04-23 18:23:05 +0000 | [diff] [blame] | 156 | PM.add(createX86MaxStackAlignmentCalculatorPass()); |
| 157 | return false; // -print-machineinstr shouldn't print after this. |
| 158 | } |
| 159 | |
Bill Wendling | 5ed22ac | 2009-04-29 23:29:43 +0000 | [diff] [blame] | 160 | bool X86TargetMachine::addPostRegAlloc(PassManagerBase &PM, |
| 161 | CodeGenOpt::Level OptLevel) { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 162 | PM.add(createX86FloatingPointStackifierPass()); |
| 163 | return true; // -print-machineinstr should print after this. |
| 164 | } |
| 165 | |
Bill Wendling | 5ed22ac | 2009-04-29 23:29:43 +0000 | [diff] [blame] | 166 | bool X86TargetMachine::addCodeEmitter(PassManagerBase &PM, |
| 167 | CodeGenOpt::Level OptLevel, |
Bruno Cardoso Lopes | 8e2537b | 2009-06-01 19:57:37 +0000 | [diff] [blame] | 168 | MachineCodeEmitter &MCE) { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 169 | // FIXME: Move this to TargetJITInfo! |
Dale Johannesen | 58c6d51 | 2008-08-12 21:02:08 +0000 | [diff] [blame] | 170 | // On Darwin, do not override 64-bit setting made in X86TargetMachine(). |
| 171 | if (DefRelocModel == Reloc::Default && |
Chris Lattner | 4c8b686 | 2009-07-09 03:37:30 +0000 | [diff] [blame] | 172 | (!Subtarget.isTargetDarwin() || !Subtarget.is64Bit())) { |
Evan Cheng | 8ee6bab | 2007-12-22 09:40:20 +0000 | [diff] [blame] | 173 | setRelocationModel(Reloc::Static); |
Chris Lattner | 4c8b686 | 2009-07-09 03:37:30 +0000 | [diff] [blame] | 174 | Subtarget.setPICStyle(PICStyles::None); |
| 175 | } |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 176 | |
Dale Johannesen | c501c08 | 2008-08-11 23:46:25 +0000 | [diff] [blame] | 177 | // 64-bit JIT places everything in the same buffer except external functions. |
Dale Johannesen | 58c6d51 | 2008-08-12 21:02:08 +0000 | [diff] [blame] | 178 | // On Darwin, use small code model but hack the call instruction for |
| 179 | // externals. Elsewhere, do not assume globals are in the lower 4G. |
| 180 | if (Subtarget.is64Bit()) { |
| 181 | if (Subtarget.isTargetDarwin()) |
| 182 | setCodeModel(CodeModel::Small); |
| 183 | else |
| 184 | setCodeModel(CodeModel::Large); |
| 185 | } |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 186 | |
| 187 | PM.add(createX86CodeEmitterPass(*this, MCE)); |
Evan Cheng | 7754721 | 2007-07-20 21:56:13 +0000 | [diff] [blame] | 188 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 189 | return false; |
| 190 | } |
| 191 | |
Bruno Cardoso Lopes | 1ea31ff | 2009-05-30 20:51:52 +0000 | [diff] [blame] | 192 | bool X86TargetMachine::addCodeEmitter(PassManagerBase &PM, |
| 193 | CodeGenOpt::Level OptLevel, |
Bruno Cardoso Lopes | 8e2537b | 2009-06-01 19:57:37 +0000 | [diff] [blame] | 194 | JITCodeEmitter &JCE) { |
Bruno Cardoso Lopes | 1ea31ff | 2009-05-30 20:51:52 +0000 | [diff] [blame] | 195 | // FIXME: Move this to TargetJITInfo! |
| 196 | // On Darwin, do not override 64-bit setting made in X86TargetMachine(). |
| 197 | if (DefRelocModel == Reloc::Default && |
Chris Lattner | 4c8b686 | 2009-07-09 03:37:30 +0000 | [diff] [blame] | 198 | (!Subtarget.isTargetDarwin() || !Subtarget.is64Bit())) { |
Bruno Cardoso Lopes | 1ea31ff | 2009-05-30 20:51:52 +0000 | [diff] [blame] | 199 | setRelocationModel(Reloc::Static); |
Chris Lattner | 4c8b686 | 2009-07-09 03:37:30 +0000 | [diff] [blame] | 200 | Subtarget.setPICStyle(PICStyles::None); |
| 201 | } |
Bruno Cardoso Lopes | 1ea31ff | 2009-05-30 20:51:52 +0000 | [diff] [blame] | 202 | |
| 203 | // 64-bit JIT places everything in the same buffer except external functions. |
| 204 | // On Darwin, use small code model but hack the call instruction for |
| 205 | // externals. Elsewhere, do not assume globals are in the lower 4G. |
| 206 | if (Subtarget.is64Bit()) { |
| 207 | if (Subtarget.isTargetDarwin()) |
| 208 | setCodeModel(CodeModel::Small); |
| 209 | else |
| 210 | setCodeModel(CodeModel::Large); |
| 211 | } |
| 212 | |
| 213 | PM.add(createX86JITCodeEmitterPass(*this, JCE)); |
Bruno Cardoso Lopes | 1ea31ff | 2009-05-30 20:51:52 +0000 | [diff] [blame] | 214 | |
| 215 | return false; |
| 216 | } |
| 217 | |
Bruno Cardoso Lopes | aabb9a5 | 2009-07-06 05:09:34 +0000 | [diff] [blame] | 218 | bool X86TargetMachine::addCodeEmitter(PassManagerBase &PM, |
| 219 | CodeGenOpt::Level OptLevel, |
Bruno Cardoso Lopes | aabb9a5 | 2009-07-06 05:09:34 +0000 | [diff] [blame] | 220 | ObjectCodeEmitter &OCE) { |
Bruno Cardoso Lopes | aabb9a5 | 2009-07-06 05:09:34 +0000 | [diff] [blame] | 221 | PM.add(createX86ObjectCodeEmitterPass(*this, OCE)); |
Bruno Cardoso Lopes | aabb9a5 | 2009-07-06 05:09:34 +0000 | [diff] [blame] | 222 | return false; |
| 223 | } |
| 224 | |
Bill Wendling | 58ed5d2 | 2009-04-29 00:15:41 +0000 | [diff] [blame] | 225 | bool X86TargetMachine::addSimpleCodeEmitter(PassManagerBase &PM, |
Bill Wendling | 5ed22ac | 2009-04-29 23:29:43 +0000 | [diff] [blame] | 226 | CodeGenOpt::Level OptLevel, |
Bill Wendling | 58ed5d2 | 2009-04-29 00:15:41 +0000 | [diff] [blame] | 227 | MachineCodeEmitter &MCE) { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 228 | PM.add(createX86CodeEmitterPass(*this, MCE)); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 229 | return false; |
| 230 | } |
Dan Gohman | c641336 | 2008-09-26 19:15:30 +0000 | [diff] [blame] | 231 | |
Bruno Cardoso Lopes | 1ea31ff | 2009-05-30 20:51:52 +0000 | [diff] [blame] | 232 | bool X86TargetMachine::addSimpleCodeEmitter(PassManagerBase &PM, |
| 233 | CodeGenOpt::Level OptLevel, |
Bruno Cardoso Lopes | 1ea31ff | 2009-05-30 20:51:52 +0000 | [diff] [blame] | 234 | JITCodeEmitter &JCE) { |
| 235 | PM.add(createX86JITCodeEmitterPass(*this, JCE)); |
Bruno Cardoso Lopes | 1ea31ff | 2009-05-30 20:51:52 +0000 | [diff] [blame] | 236 | return false; |
| 237 | } |
| 238 | |
Bruno Cardoso Lopes | aabb9a5 | 2009-07-06 05:09:34 +0000 | [diff] [blame] | 239 | bool X86TargetMachine::addSimpleCodeEmitter(PassManagerBase &PM, |
| 240 | CodeGenOpt::Level OptLevel, |
Bruno Cardoso Lopes | aabb9a5 | 2009-07-06 05:09:34 +0000 | [diff] [blame] | 241 | ObjectCodeEmitter &OCE) { |
| 242 | PM.add(createX86ObjectCodeEmitterPass(*this, OCE)); |
Bruno Cardoso Lopes | aabb9a5 | 2009-07-06 05:09:34 +0000 | [diff] [blame] | 243 | return false; |
| 244 | } |