blob: 9b0d23aa8f52484a42c67f1f004fed46a93114ec [file] [log] [blame]
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001//===-- X86TargetMachine.cpp - Define TargetMachine for the X86 -----------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner081ce942007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Dan Gohmanf17a25c2007-07-18 16:29:46 +00007//
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"
David Greene302008d2009-07-14 20:18:05 +000021#include "llvm/Support/FormattedStream.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000022#include "llvm/Target/TargetOptions.h"
23#include "llvm/Target/TargetMachineRegistry.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000024using 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.
30extern "C" int X86TargetMachineModule;
31int X86TargetMachineModule = 0;
32
Dan Gohman089efff2008-05-13 00:00:25 +000033// Register the target.
Daniel Dunbar6fa4f572009-07-15 09:22:31 +000034extern Target TheX86_32Target;
Dan Gohman089efff2008-05-13 00:00:25 +000035static RegisterTarget<X86_32TargetMachine>
Daniel Dunbar6fa4f572009-07-15 09:22:31 +000036X(TheX86_32Target, "x86", "32-bit X86: Pentium-Pro and above");
37
38extern Target TheX86_64Target;
Dan Gohman089efff2008-05-13 00:00:25 +000039static RegisterTarget<X86_64TargetMachine>
Daniel Dunbar6fa4f572009-07-15 09:22:31 +000040Y(TheX86_64Target, "x86-64", "64-bit X86: EM64T and AMD64");
Dan Gohmanf17a25c2007-07-18 16:29:46 +000041
Bob Wilsonebbc1c42009-06-23 23:59:40 +000042// Force static initialization.
Daniel Dunbar6fa4f572009-07-15 09:22:31 +000043extern "C" void LLVMInitializeX86Target() {
44
45}
Douglas Gregor1dc5ff42009-06-16 20:12:29 +000046
Anton Korobeynikov9ff5bee2008-08-17 13:53:59 +000047// No assembler printer by default
48X86TargetMachine::AsmPrinterCtorFn X86TargetMachine::AsmPrinterCtor = 0;
49
Dan Gohmanf17a25c2007-07-18 16:29:46 +000050const TargetAsmInfo *X86TargetMachine::createTargetAsmInfo() const {
Anton Korobeynikovf700e682008-07-09 13:20:48 +000051 if (Subtarget.isFlavorIntel())
52 return new X86WinTargetAsmInfo(*this);
53 else
54 switch (Subtarget.TargetType) {
55 case X86Subtarget::isDarwin:
56 return new X86DarwinTargetAsmInfo(*this);
57 case X86Subtarget::isELF:
58 return new X86ELFTargetAsmInfo(*this);
59 case X86Subtarget::isMingw:
60 case X86Subtarget::isCygwin:
61 return new X86COFFTargetAsmInfo(*this);
62 case X86Subtarget::isWindows:
63 return new X86WinTargetAsmInfo(*this);
64 default:
Anton Korobeynikov3829e8a2008-09-25 21:00:33 +000065 return new X86GenericTargetAsmInfo(*this);
Anton Korobeynikovf700e682008-07-09 13:20:48 +000066 }
Dan Gohmanf17a25c2007-07-18 16:29:46 +000067}
68
69unsigned X86_32TargetMachine::getJITMatchQuality() {
70#if defined(i386) || defined(__i386__) || defined(__x86__) || defined(_M_IX86)
71 return 10;
72#endif
73 return 0;
74}
75
76unsigned X86_64TargetMachine::getJITMatchQuality() {
Anton Korobeynikov57348662008-03-23 13:43:47 +000077#if defined(__x86_64__) || defined(_M_AMD64)
Dan Gohmanf17a25c2007-07-18 16:29:46 +000078 return 10;
79#endif
80 return 0;
81}
82
83unsigned X86_32TargetMachine::getModuleMatchQuality(const Module &M) {
84 // We strongly match "i[3-9]86-*".
85 std::string TT = M.getTargetTriple();
86 if (TT.size() >= 5 && TT[0] == 'i' && TT[2] == '8' && TT[3] == '6' &&
87 TT[4] == '-' && TT[1] - '3' < 6)
88 return 20;
89 // If the target triple is something non-X86, we don't match.
90 if (!TT.empty()) return 0;
91
92 if (M.getEndianness() == Module::LittleEndian &&
93 M.getPointerSize() == Module::Pointer32)
94 return 10; // Weak match
95 else if (M.getEndianness() != Module::AnyEndianness ||
96 M.getPointerSize() != Module::AnyPointerSize)
97 return 0; // Match for some other target
98
99 return getJITMatchQuality()/2;
100}
101
102unsigned X86_64TargetMachine::getModuleMatchQuality(const Module &M) {
103 // We strongly match "x86_64-*".
104 std::string TT = M.getTargetTriple();
105 if (TT.size() >= 7 && TT[0] == 'x' && TT[1] == '8' && TT[2] == '6' &&
106 TT[3] == '_' && TT[4] == '6' && TT[5] == '4' && TT[6] == '-')
107 return 20;
108
109 // We strongly match "amd64-*".
110 if (TT.size() >= 6 && TT[0] == 'a' && TT[1] == 'm' && TT[2] == 'd' &&
111 TT[3] == '6' && TT[4] == '4' && TT[5] == '-')
112 return 20;
113
114 // If the target triple is something non-X86-64, we don't match.
115 if (!TT.empty()) return 0;
116
117 if (M.getEndianness() == Module::LittleEndian &&
118 M.getPointerSize() == Module::Pointer64)
119 return 10; // Weak match
120 else if (M.getEndianness() != Module::AnyEndianness ||
121 M.getPointerSize() != Module::AnyPointerSize)
122 return 0; // Match for some other target
123
124 return getJITMatchQuality()/2;
125}
126
Daniel Dunbar8ea70212009-07-15 12:11:05 +0000127X86_32TargetMachine::X86_32TargetMachine(const Target &T, const Module &M,
128 const std::string &FS)
129 : X86TargetMachine(T, M, FS, false) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000130}
131
132
Daniel Dunbar8ea70212009-07-15 12:11:05 +0000133X86_64TargetMachine::X86_64TargetMachine(const Target &T, const Module &M,
134 const std::string &FS)
135 : X86TargetMachine(T, M, FS, true) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000136}
137
Chris Lattner5b5e32d2009-07-09 03:32:31 +0000138/// X86TargetMachine ctor - Create an X86 target.
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000139///
Daniel Dunbar8ea70212009-07-15 12:11:05 +0000140X86TargetMachine::X86TargetMachine(const Target &T, const Module &M,
141 const std::string &FS, bool is64Bit)
142 : LLVMTargetMachine(T),
143 Subtarget(M, FS, is64Bit),
Dale Johannesend4c671c2007-08-06 21:48:35 +0000144 DataLayout(Subtarget.getDataLayout()),
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000145 FrameInfo(TargetFrameInfo::StackGrowsDown,
146 Subtarget.getStackAlignment(), Subtarget.is64Bit() ? -8 : -4),
Bruno Cardoso Lopes8c25df12009-06-11 19:16:03 +0000147 InstrInfo(*this), JITInfo(*this), TLInfo(*this), ELFWriterInfo(*this) {
Evan Cheng8ee6bab2007-12-22 09:40:20 +0000148 DefRelocModel = getRelocationModel();
Chris Lattner5b5e32d2009-07-09 03:32:31 +0000149
150 // If no relocation model was picked, default as appropriate for the target.
Anton Korobeynikov8c90d2a2008-02-20 11:22:39 +0000151 if (getRelocationModel() == Reloc::Default) {
Chris Lattner5b5e32d2009-07-09 03:32:31 +0000152 if (!Subtarget.isTargetDarwin())
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000153 setRelocationModel(Reloc::Static);
Chris Lattner5b5e32d2009-07-09 03:32:31 +0000154 else if (Subtarget.is64Bit())
155 setRelocationModel(Reloc::PIC_);
156 else
157 setRelocationModel(Reloc::DynamicNoPIC);
Anton Korobeynikov8c90d2a2008-02-20 11:22:39 +0000158 }
Dan Gohman36322c72008-10-18 02:06:02 +0000159
Chris Lattneraa7c6d22009-07-09 03:15:51 +0000160 assert(getRelocationModel() != Reloc::Default &&
161 "Relocation mode not picked");
162
Chris Lattner5b5e32d2009-07-09 03:32:31 +0000163 // If no code model is picked, default to small.
164 if (getCodeModel() == CodeModel::Default)
165 setCodeModel(CodeModel::Small);
166
Chris Lattner4c8b6862009-07-09 03:37:30 +0000167 // ELF and X86-64 don't have a distinct DynamicNoPIC model. DynamicNoPIC
Chris Lattner5b5e32d2009-07-09 03:32:31 +0000168 // is defined as a model for code which may be used in static or dynamic
Chris Lattnerf165d342009-07-09 04:24:46 +0000169 // executables but not necessarily a shared library. On X86-32 we just
170 // compile in -static mode, in x86-64 we use PIC.
171 if (getRelocationModel() == Reloc::DynamicNoPIC) {
172 if (is64Bit)
173 setRelocationModel(Reloc::PIC_);
174 else if (!Subtarget.isTargetDarwin())
175 setRelocationModel(Reloc::Static);
176 }
Dan Gohman36322c72008-10-18 02:06:02 +0000177
Chris Lattner4c8b6862009-07-09 03:37:30 +0000178 // If we are on Darwin, disallow static relocation model in X86-64 mode, since
179 // the Mach-O file format doesn't support it.
180 if (getRelocationModel() == Reloc::Static &&
181 Subtarget.isTargetDarwin() &&
182 is64Bit)
183 setRelocationModel(Reloc::PIC_);
184
Chris Lattner5b5e32d2009-07-09 03:32:31 +0000185 // Determine the PICStyle based on the target selected.
186 if (getRelocationModel() == Reloc::Static) {
187 // Unless we're in PIC or DynamicNoPIC mode, set the PIC style to None.
188 Subtarget.setPICStyle(PICStyles::None);
189 } else if (Subtarget.isTargetCygMing()) {
Chris Lattneraa7c6d22009-07-09 03:15:51 +0000190 Subtarget.setPICStyle(PICStyles::None);
191 } else if (Subtarget.isTargetDarwin()) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000192 if (Subtarget.is64Bit())
Duncan Sandsde5f95f2008-11-28 09:29:37 +0000193 Subtarget.setPICStyle(PICStyles::RIPRel);
Chris Lattnerfb502722009-07-10 20:58:47 +0000194 else if (getRelocationModel() == Reloc::PIC_)
195 Subtarget.setPICStyle(PICStyles::StubPIC);
196 else {
197 assert(getRelocationModel() == Reloc::DynamicNoPIC);
198 Subtarget.setPICStyle(PICStyles::StubDynamicNoPIC);
199 }
Anton Korobeynikov8c90d2a2008-02-20 11:22:39 +0000200 } else if (Subtarget.isTargetELF()) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000201 if (Subtarget.is64Bit())
Duncan Sandsde5f95f2008-11-28 09:29:37 +0000202 Subtarget.setPICStyle(PICStyles::RIPRel);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000203 else
Duncan Sandsde5f95f2008-11-28 09:29:37 +0000204 Subtarget.setPICStyle(PICStyles::GOT);
Anton Korobeynikov8c90d2a2008-02-20 11:22:39 +0000205 }
Chris Lattneraa7c6d22009-07-09 03:15:51 +0000206
Chris Lattner5b5e32d2009-07-09 03:32:31 +0000207 // Finally, if we have "none" as our PIC style, force to static mode.
208 if (Subtarget.getPICStyle() == PICStyles::None)
209 setRelocationModel(Reloc::Static);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000210}
211
212//===----------------------------------------------------------------------===//
213// Pass Pipeline Configuration
214//===----------------------------------------------------------------------===//
215
Bill Wendling5ed22ac2009-04-29 23:29:43 +0000216bool X86TargetMachine::addInstSelector(PassManagerBase &PM,
217 CodeGenOpt::Level OptLevel) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000218 // Install an instruction selector.
Bill Wendling58ed5d22009-04-29 00:15:41 +0000219 PM.add(createX86ISelDag(*this, OptLevel));
Dan Gohman0e66ce82008-10-25 17:46:52 +0000220
221 // If we're using Fast-ISel, clean up the mess.
222 if (EnableFastISel)
223 PM.add(createDeadMachineInstructionElimPass());
224
Dan Gohmanfd6722c2008-11-12 22:55:05 +0000225 // Install a pass to insert x87 FP_REG_KILL instructions, as needed.
226 PM.add(createX87FPRegKillInserterPass());
227
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000228 return false;
229}
230
Bill Wendling5ed22ac2009-04-29 23:29:43 +0000231bool X86TargetMachine::addPreRegAlloc(PassManagerBase &PM,
232 CodeGenOpt::Level OptLevel) {
Anton Korobeynikov8c912892008-04-23 18:23:30 +0000233 // Calculate and set max stack object alignment early, so we can decide
234 // whether we will need stack realignment (and thus FP).
Anton Korobeynikov194ae6c2008-04-23 18:23:05 +0000235 PM.add(createX86MaxStackAlignmentCalculatorPass());
236 return false; // -print-machineinstr shouldn't print after this.
237}
238
Bill Wendling5ed22ac2009-04-29 23:29:43 +0000239bool X86TargetMachine::addPostRegAlloc(PassManagerBase &PM,
240 CodeGenOpt::Level OptLevel) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000241 PM.add(createX86FloatingPointStackifierPass());
242 return true; // -print-machineinstr should print after this.
243}
244
Bill Wendling58ed5d22009-04-29 00:15:41 +0000245bool X86TargetMachine::addAssemblyEmitter(PassManagerBase &PM,
Bill Wendling5ed22ac2009-04-29 23:29:43 +0000246 CodeGenOpt::Level OptLevel,
Bill Wendling58ed5d22009-04-29 00:15:41 +0000247 bool Verbose,
David Greene302008d2009-07-14 20:18:05 +0000248 formatted_raw_ostream &Out) {
Anton Korobeynikov9ff5bee2008-08-17 13:53:59 +0000249 assert(AsmPrinterCtor && "AsmPrinter was not linked in");
250 if (AsmPrinterCtor)
Daniel Dunbarb10d2222009-07-01 01:48:54 +0000251 PM.add(AsmPrinterCtor(Out, *this, Verbose));
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000252 return false;
253}
254
Bill Wendling5ed22ac2009-04-29 23:29:43 +0000255bool X86TargetMachine::addCodeEmitter(PassManagerBase &PM,
256 CodeGenOpt::Level OptLevel,
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +0000257 bool DumpAsm,
258 MachineCodeEmitter &MCE) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000259 // FIXME: Move this to TargetJITInfo!
Dale Johannesen58c6d512008-08-12 21:02:08 +0000260 // On Darwin, do not override 64-bit setting made in X86TargetMachine().
261 if (DefRelocModel == Reloc::Default &&
Chris Lattner4c8b6862009-07-09 03:37:30 +0000262 (!Subtarget.isTargetDarwin() || !Subtarget.is64Bit())) {
Evan Cheng8ee6bab2007-12-22 09:40:20 +0000263 setRelocationModel(Reloc::Static);
Chris Lattner4c8b6862009-07-09 03:37:30 +0000264 Subtarget.setPICStyle(PICStyles::None);
265 }
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000266
Dale Johannesenc501c082008-08-11 23:46:25 +0000267 // 64-bit JIT places everything in the same buffer except external functions.
Dale Johannesen58c6d512008-08-12 21:02:08 +0000268 // On Darwin, use small code model but hack the call instruction for
269 // externals. Elsewhere, do not assume globals are in the lower 4G.
270 if (Subtarget.is64Bit()) {
271 if (Subtarget.isTargetDarwin())
272 setCodeModel(CodeModel::Small);
273 else
274 setCodeModel(CodeModel::Large);
275 }
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000276
277 PM.add(createX86CodeEmitterPass(*this, MCE));
Anton Korobeynikov9ff5bee2008-08-17 13:53:59 +0000278 if (DumpAsm) {
279 assert(AsmPrinterCtor && "AsmPrinter was not linked in");
280 if (AsmPrinterCtor)
David Greene302008d2009-07-14 20:18:05 +0000281 PM.add(AsmPrinterCtor(ferrs(), *this, true));
Anton Korobeynikov9ff5bee2008-08-17 13:53:59 +0000282 }
Evan Cheng77547212007-07-20 21:56:13 +0000283
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000284 return false;
285}
286
Bruno Cardoso Lopes1ea31ff2009-05-30 20:51:52 +0000287bool X86TargetMachine::addCodeEmitter(PassManagerBase &PM,
288 CodeGenOpt::Level OptLevel,
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +0000289 bool DumpAsm,
290 JITCodeEmitter &JCE) {
Bruno Cardoso Lopes1ea31ff2009-05-30 20:51:52 +0000291 // FIXME: Move this to TargetJITInfo!
292 // On Darwin, do not override 64-bit setting made in X86TargetMachine().
293 if (DefRelocModel == Reloc::Default &&
Chris Lattner4c8b6862009-07-09 03:37:30 +0000294 (!Subtarget.isTargetDarwin() || !Subtarget.is64Bit())) {
Bruno Cardoso Lopes1ea31ff2009-05-30 20:51:52 +0000295 setRelocationModel(Reloc::Static);
Chris Lattner4c8b6862009-07-09 03:37:30 +0000296 Subtarget.setPICStyle(PICStyles::None);
297 }
Bruno Cardoso Lopes1ea31ff2009-05-30 20:51:52 +0000298
299 // 64-bit JIT places everything in the same buffer except external functions.
300 // On Darwin, use small code model but hack the call instruction for
301 // externals. Elsewhere, do not assume globals are in the lower 4G.
302 if (Subtarget.is64Bit()) {
303 if (Subtarget.isTargetDarwin())
304 setCodeModel(CodeModel::Small);
305 else
306 setCodeModel(CodeModel::Large);
307 }
308
309 PM.add(createX86JITCodeEmitterPass(*this, JCE));
310 if (DumpAsm) {
311 assert(AsmPrinterCtor && "AsmPrinter was not linked in");
312 if (AsmPrinterCtor)
David Greene302008d2009-07-14 20:18:05 +0000313 PM.add(AsmPrinterCtor(ferrs(), *this, true));
Bruno Cardoso Lopes1ea31ff2009-05-30 20:51:52 +0000314 }
315
316 return false;
317}
318
Bruno Cardoso Lopesaabb9a52009-07-06 05:09:34 +0000319bool X86TargetMachine::addCodeEmitter(PassManagerBase &PM,
320 CodeGenOpt::Level OptLevel,
321 bool DumpAsm,
322 ObjectCodeEmitter &OCE) {
Bruno Cardoso Lopesaabb9a52009-07-06 05:09:34 +0000323 PM.add(createX86ObjectCodeEmitterPass(*this, OCE));
324 if (DumpAsm) {
325 assert(AsmPrinterCtor && "AsmPrinter was not linked in");
326 if (AsmPrinterCtor)
David Greene302008d2009-07-14 20:18:05 +0000327 PM.add(AsmPrinterCtor(ferrs(), *this, true));
Bruno Cardoso Lopesaabb9a52009-07-06 05:09:34 +0000328 }
329
330 return false;
331}
332
Bill Wendling58ed5d22009-04-29 00:15:41 +0000333bool X86TargetMachine::addSimpleCodeEmitter(PassManagerBase &PM,
Bill Wendling5ed22ac2009-04-29 23:29:43 +0000334 CodeGenOpt::Level OptLevel,
335 bool DumpAsm,
Bill Wendling58ed5d22009-04-29 00:15:41 +0000336 MachineCodeEmitter &MCE) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000337 PM.add(createX86CodeEmitterPass(*this, MCE));
Anton Korobeynikov9ff5bee2008-08-17 13:53:59 +0000338 if (DumpAsm) {
339 assert(AsmPrinterCtor && "AsmPrinter was not linked in");
340 if (AsmPrinterCtor)
David Greene302008d2009-07-14 20:18:05 +0000341 PM.add(AsmPrinterCtor(ferrs(), *this, true));
Anton Korobeynikov9ff5bee2008-08-17 13:53:59 +0000342 }
343
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000344 return false;
345}
Dan Gohmanc6413362008-09-26 19:15:30 +0000346
Bruno Cardoso Lopes1ea31ff2009-05-30 20:51:52 +0000347bool X86TargetMachine::addSimpleCodeEmitter(PassManagerBase &PM,
348 CodeGenOpt::Level OptLevel,
349 bool DumpAsm,
350 JITCodeEmitter &JCE) {
351 PM.add(createX86JITCodeEmitterPass(*this, JCE));
352 if (DumpAsm) {
353 assert(AsmPrinterCtor && "AsmPrinter was not linked in");
354 if (AsmPrinterCtor)
David Greene302008d2009-07-14 20:18:05 +0000355 PM.add(AsmPrinterCtor(ferrs(), *this, true));
Bruno Cardoso Lopes1ea31ff2009-05-30 20:51:52 +0000356 }
357
358 return false;
359}
360
Bruno Cardoso Lopesaabb9a52009-07-06 05:09:34 +0000361bool X86TargetMachine::addSimpleCodeEmitter(PassManagerBase &PM,
362 CodeGenOpt::Level OptLevel,
363 bool DumpAsm,
364 ObjectCodeEmitter &OCE) {
365 PM.add(createX86ObjectCodeEmitterPass(*this, OCE));
366 if (DumpAsm) {
367 assert(AsmPrinterCtor && "AsmPrinter was not linked in");
368 if (AsmPrinterCtor)
David Greene302008d2009-07-14 20:18:05 +0000369 PM.add(AsmPrinterCtor(ferrs(), *this, true));
Bruno Cardoso Lopesaabb9a52009-07-06 05:09:34 +0000370 }
371
372 return false;
373}