blob: 99fbad67b86f7cae9bfe1713edc3721ce5274036 [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"
Owen Anderson847b99b2008-08-21 00:14:44 +000021#include "llvm/Support/raw_ostream.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.
34static RegisterTarget<X86_32TargetMachine>
Dan Gohman669b9bf2008-10-14 20:25:08 +000035X("x86", "32-bit X86: Pentium-Pro and above");
Dan Gohman089efff2008-05-13 00:00:25 +000036static RegisterTarget<X86_64TargetMachine>
Dan Gohman669b9bf2008-10-14 20:25:08 +000037Y("x86-64", "64-bit X86: EM64T and AMD64");
Dan Gohmanf17a25c2007-07-18 16:29:46 +000038
Bob Wilsonebbc1c42009-06-23 23:59:40 +000039// Force static initialization.
40extern "C" void LLVMInitializeX86Target() { }
Douglas Gregor1dc5ff42009-06-16 20:12:29 +000041
Anton Korobeynikov9ff5bee2008-08-17 13:53:59 +000042// No assembler printer by default
43X86TargetMachine::AsmPrinterCtorFn X86TargetMachine::AsmPrinterCtor = 0;
44
Dan Gohmanf17a25c2007-07-18 16:29:46 +000045const TargetAsmInfo *X86TargetMachine::createTargetAsmInfo() const {
Anton Korobeynikovf700e682008-07-09 13:20:48 +000046 if (Subtarget.isFlavorIntel())
47 return new X86WinTargetAsmInfo(*this);
48 else
49 switch (Subtarget.TargetType) {
50 case X86Subtarget::isDarwin:
51 return new X86DarwinTargetAsmInfo(*this);
52 case X86Subtarget::isELF:
53 return new X86ELFTargetAsmInfo(*this);
54 case X86Subtarget::isMingw:
55 case X86Subtarget::isCygwin:
56 return new X86COFFTargetAsmInfo(*this);
57 case X86Subtarget::isWindows:
58 return new X86WinTargetAsmInfo(*this);
59 default:
Anton Korobeynikov3829e8a2008-09-25 21:00:33 +000060 return new X86GenericTargetAsmInfo(*this);
Anton Korobeynikovf700e682008-07-09 13:20:48 +000061 }
Dan Gohmanf17a25c2007-07-18 16:29:46 +000062}
63
64unsigned X86_32TargetMachine::getJITMatchQuality() {
65#if defined(i386) || defined(__i386__) || defined(__x86__) || defined(_M_IX86)
66 return 10;
67#endif
68 return 0;
69}
70
71unsigned X86_64TargetMachine::getJITMatchQuality() {
Anton Korobeynikov57348662008-03-23 13:43:47 +000072#if defined(__x86_64__) || defined(_M_AMD64)
Dan Gohmanf17a25c2007-07-18 16:29:46 +000073 return 10;
74#endif
75 return 0;
76}
77
78unsigned X86_32TargetMachine::getModuleMatchQuality(const Module &M) {
79 // We strongly match "i[3-9]86-*".
80 std::string TT = M.getTargetTriple();
81 if (TT.size() >= 5 && TT[0] == 'i' && TT[2] == '8' && TT[3] == '6' &&
82 TT[4] == '-' && TT[1] - '3' < 6)
83 return 20;
84 // If the target triple is something non-X86, we don't match.
85 if (!TT.empty()) return 0;
86
87 if (M.getEndianness() == Module::LittleEndian &&
88 M.getPointerSize() == Module::Pointer32)
89 return 10; // Weak match
90 else if (M.getEndianness() != Module::AnyEndianness ||
91 M.getPointerSize() != Module::AnyPointerSize)
92 return 0; // Match for some other target
93
94 return getJITMatchQuality()/2;
95}
96
97unsigned X86_64TargetMachine::getModuleMatchQuality(const Module &M) {
98 // We strongly match "x86_64-*".
99 std::string TT = M.getTargetTriple();
100 if (TT.size() >= 7 && TT[0] == 'x' && TT[1] == '8' && TT[2] == '6' &&
101 TT[3] == '_' && TT[4] == '6' && TT[5] == '4' && TT[6] == '-')
102 return 20;
103
104 // We strongly match "amd64-*".
105 if (TT.size() >= 6 && TT[0] == 'a' && TT[1] == 'm' && TT[2] == 'd' &&
106 TT[3] == '6' && TT[4] == '4' && TT[5] == '-')
107 return 20;
108
109 // If the target triple is something non-X86-64, we don't match.
110 if (!TT.empty()) return 0;
111
112 if (M.getEndianness() == Module::LittleEndian &&
113 M.getPointerSize() == Module::Pointer64)
114 return 10; // Weak match
115 else if (M.getEndianness() != Module::AnyEndianness ||
116 M.getPointerSize() != Module::AnyPointerSize)
117 return 0; // Match for some other target
118
119 return getJITMatchQuality()/2;
120}
121
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +0000122X86_32TargetMachine::X86_32TargetMachine(const Module &M, const std::string &FS)
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000123 : X86TargetMachine(M, FS, false) {
124}
125
126
127X86_64TargetMachine::X86_64TargetMachine(const Module &M, const std::string &FS)
128 : X86TargetMachine(M, FS, true) {
129}
130
Chris Lattner5b5e32d2009-07-09 03:32:31 +0000131/// X86TargetMachine ctor - Create an X86 target.
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000132///
133X86TargetMachine::X86TargetMachine(const Module &M, const std::string &FS,
134 bool is64Bit)
135 : Subtarget(M, FS, is64Bit),
Dale Johannesend4c671c2007-08-06 21:48:35 +0000136 DataLayout(Subtarget.getDataLayout()),
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000137 FrameInfo(TargetFrameInfo::StackGrowsDown,
138 Subtarget.getStackAlignment(), Subtarget.is64Bit() ? -8 : -4),
Bruno Cardoso Lopes8c25df12009-06-11 19:16:03 +0000139 InstrInfo(*this), JITInfo(*this), TLInfo(*this), ELFWriterInfo(*this) {
Evan Cheng8ee6bab2007-12-22 09:40:20 +0000140 DefRelocModel = getRelocationModel();
Chris Lattner5b5e32d2009-07-09 03:32:31 +0000141
142 // If no relocation model was picked, default as appropriate for the target.
Anton Korobeynikov8c90d2a2008-02-20 11:22:39 +0000143 if (getRelocationModel() == Reloc::Default) {
Chris Lattner5b5e32d2009-07-09 03:32:31 +0000144 if (!Subtarget.isTargetDarwin())
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000145 setRelocationModel(Reloc::Static);
Chris Lattner5b5e32d2009-07-09 03:32:31 +0000146 else if (Subtarget.is64Bit())
147 setRelocationModel(Reloc::PIC_);
148 else
149 setRelocationModel(Reloc::DynamicNoPIC);
Anton Korobeynikov8c90d2a2008-02-20 11:22:39 +0000150 }
Dan Gohman36322c72008-10-18 02:06:02 +0000151
Chris Lattneraa7c6d22009-07-09 03:15:51 +0000152 assert(getRelocationModel() != Reloc::Default &&
153 "Relocation mode not picked");
154
Chris Lattner5b5e32d2009-07-09 03:32:31 +0000155 // If no code model is picked, default to small.
156 if (getCodeModel() == CodeModel::Default)
157 setCodeModel(CodeModel::Small);
158
159 // ELF and X86-64 don't have a distinct dynamic-no-PIC model. Dynamic-no-PIC
160 // is defined as a model for code which may be used in static or dynamic
161 // executables but not necessarily a shared library. On these systems we just
162 // compile in -static mode.
163 if (getRelocationModel() == Reloc::DynamicNoPIC &&
164 !Subtarget.isTargetDarwin())
Dan Gohman36322c72008-10-18 02:06:02 +0000165 setRelocationModel(Reloc::Static);
166
Chris Lattner5b5e32d2009-07-09 03:32:31 +0000167 // Determine the PICStyle based on the target selected.
168 if (getRelocationModel() == Reloc::Static) {
169 // Unless we're in PIC or DynamicNoPIC mode, set the PIC style to None.
170 Subtarget.setPICStyle(PICStyles::None);
171 } else if (Subtarget.isTargetCygMing()) {
Chris Lattneraa7c6d22009-07-09 03:15:51 +0000172 Subtarget.setPICStyle(PICStyles::None);
173 } else if (Subtarget.isTargetDarwin()) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000174 if (Subtarget.is64Bit())
Duncan Sandsde5f95f2008-11-28 09:29:37 +0000175 Subtarget.setPICStyle(PICStyles::RIPRel);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000176 else
Duncan Sandsde5f95f2008-11-28 09:29:37 +0000177 Subtarget.setPICStyle(PICStyles::Stub);
Anton Korobeynikov8c90d2a2008-02-20 11:22:39 +0000178 } else if (Subtarget.isTargetELF()) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000179 if (Subtarget.is64Bit())
Duncan Sandsde5f95f2008-11-28 09:29:37 +0000180 Subtarget.setPICStyle(PICStyles::RIPRel);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000181 else
Duncan Sandsde5f95f2008-11-28 09:29:37 +0000182 Subtarget.setPICStyle(PICStyles::GOT);
Anton Korobeynikov8c90d2a2008-02-20 11:22:39 +0000183 }
Chris Lattneraa7c6d22009-07-09 03:15:51 +0000184
Chris Lattner5b5e32d2009-07-09 03:32:31 +0000185 // Finally, if we have "none" as our PIC style, force to static mode.
186 if (Subtarget.getPICStyle() == PICStyles::None)
187 setRelocationModel(Reloc::Static);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000188}
189
190//===----------------------------------------------------------------------===//
191// Pass Pipeline Configuration
192//===----------------------------------------------------------------------===//
193
Bill Wendling5ed22ac2009-04-29 23:29:43 +0000194bool X86TargetMachine::addInstSelector(PassManagerBase &PM,
195 CodeGenOpt::Level OptLevel) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000196 // Install an instruction selector.
Bill Wendling58ed5d22009-04-29 00:15:41 +0000197 PM.add(createX86ISelDag(*this, OptLevel));
Dan Gohman0e66ce82008-10-25 17:46:52 +0000198
199 // If we're using Fast-ISel, clean up the mess.
200 if (EnableFastISel)
201 PM.add(createDeadMachineInstructionElimPass());
202
Dan Gohmanfd6722c2008-11-12 22:55:05 +0000203 // Install a pass to insert x87 FP_REG_KILL instructions, as needed.
204 PM.add(createX87FPRegKillInserterPass());
205
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000206 return false;
207}
208
Bill Wendling5ed22ac2009-04-29 23:29:43 +0000209bool X86TargetMachine::addPreRegAlloc(PassManagerBase &PM,
210 CodeGenOpt::Level OptLevel) {
Anton Korobeynikov8c912892008-04-23 18:23:30 +0000211 // Calculate and set max stack object alignment early, so we can decide
212 // whether we will need stack realignment (and thus FP).
Anton Korobeynikov194ae6c2008-04-23 18:23:05 +0000213 PM.add(createX86MaxStackAlignmentCalculatorPass());
214 return false; // -print-machineinstr shouldn't print after this.
215}
216
Bill Wendling5ed22ac2009-04-29 23:29:43 +0000217bool X86TargetMachine::addPostRegAlloc(PassManagerBase &PM,
218 CodeGenOpt::Level OptLevel) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000219 PM.add(createX86FloatingPointStackifierPass());
220 return true; // -print-machineinstr should print after this.
221}
222
Bill Wendling58ed5d22009-04-29 00:15:41 +0000223bool X86TargetMachine::addAssemblyEmitter(PassManagerBase &PM,
Bill Wendling5ed22ac2009-04-29 23:29:43 +0000224 CodeGenOpt::Level OptLevel,
Bill Wendling58ed5d22009-04-29 00:15:41 +0000225 bool Verbose,
226 raw_ostream &Out) {
Evan Chengabb785b2009-06-03 21:13:54 +0000227 // FIXME: Move this somewhere else!
228 // On Darwin, override 64-bit static relocation to pic_ since the
229 // assembler doesn't support it.
230 if (DefRelocModel == Reloc::Static &&
Chris Lattnerdc6fc472009-06-27 04:16:01 +0000231 Subtarget.isTargetDarwin() && Subtarget.is64Bit() &&
232 getCodeModel() == CodeModel::Small)
Evan Chengabb785b2009-06-03 21:13:54 +0000233 setRelocationModel(Reloc::PIC_);
234
Anton Korobeynikov9ff5bee2008-08-17 13:53:59 +0000235 assert(AsmPrinterCtor && "AsmPrinter was not linked in");
236 if (AsmPrinterCtor)
Daniel Dunbarb10d2222009-07-01 01:48:54 +0000237 PM.add(AsmPrinterCtor(Out, *this, Verbose));
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000238 return false;
239}
240
Bill Wendling5ed22ac2009-04-29 23:29:43 +0000241bool X86TargetMachine::addCodeEmitter(PassManagerBase &PM,
242 CodeGenOpt::Level OptLevel,
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +0000243 bool DumpAsm,
244 MachineCodeEmitter &MCE) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000245 // FIXME: Move this to TargetJITInfo!
Dale Johannesen58c6d512008-08-12 21:02:08 +0000246 // On Darwin, do not override 64-bit setting made in X86TargetMachine().
247 if (DefRelocModel == Reloc::Default &&
248 (!Subtarget.isTargetDarwin() || !Subtarget.is64Bit()))
Evan Cheng8ee6bab2007-12-22 09:40:20 +0000249 setRelocationModel(Reloc::Static);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000250
Dale Johannesenc501c082008-08-11 23:46:25 +0000251 // 64-bit JIT places everything in the same buffer except external functions.
Dale Johannesen58c6d512008-08-12 21:02:08 +0000252 // On Darwin, use small code model but hack the call instruction for
253 // externals. Elsewhere, do not assume globals are in the lower 4G.
254 if (Subtarget.is64Bit()) {
255 if (Subtarget.isTargetDarwin())
256 setCodeModel(CodeModel::Small);
257 else
258 setCodeModel(CodeModel::Large);
259 }
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000260
261 PM.add(createX86CodeEmitterPass(*this, MCE));
Anton Korobeynikov9ff5bee2008-08-17 13:53:59 +0000262 if (DumpAsm) {
263 assert(AsmPrinterCtor && "AsmPrinter was not linked in");
264 if (AsmPrinterCtor)
Daniel Dunbarb10d2222009-07-01 01:48:54 +0000265 PM.add(AsmPrinterCtor(errs(), *this, true));
Anton Korobeynikov9ff5bee2008-08-17 13:53:59 +0000266 }
Evan Cheng77547212007-07-20 21:56:13 +0000267
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000268 return false;
269}
270
Bruno Cardoso Lopes1ea31ff2009-05-30 20:51:52 +0000271bool X86TargetMachine::addCodeEmitter(PassManagerBase &PM,
272 CodeGenOpt::Level OptLevel,
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +0000273 bool DumpAsm,
274 JITCodeEmitter &JCE) {
Bruno Cardoso Lopes1ea31ff2009-05-30 20:51:52 +0000275 // FIXME: Move this to TargetJITInfo!
276 // On Darwin, do not override 64-bit setting made in X86TargetMachine().
277 if (DefRelocModel == Reloc::Default &&
278 (!Subtarget.isTargetDarwin() || !Subtarget.is64Bit()))
279 setRelocationModel(Reloc::Static);
280
281 // 64-bit JIT places everything in the same buffer except external functions.
282 // On Darwin, use small code model but hack the call instruction for
283 // externals. Elsewhere, do not assume globals are in the lower 4G.
284 if (Subtarget.is64Bit()) {
285 if (Subtarget.isTargetDarwin())
286 setCodeModel(CodeModel::Small);
287 else
288 setCodeModel(CodeModel::Large);
289 }
290
291 PM.add(createX86JITCodeEmitterPass(*this, JCE));
292 if (DumpAsm) {
293 assert(AsmPrinterCtor && "AsmPrinter was not linked in");
294 if (AsmPrinterCtor)
Daniel Dunbarb10d2222009-07-01 01:48:54 +0000295 PM.add(AsmPrinterCtor(errs(), *this, true));
Bruno Cardoso Lopes1ea31ff2009-05-30 20:51:52 +0000296 }
297
298 return false;
299}
300
Bruno Cardoso Lopesaabb9a52009-07-06 05:09:34 +0000301bool X86TargetMachine::addCodeEmitter(PassManagerBase &PM,
302 CodeGenOpt::Level OptLevel,
303 bool DumpAsm,
304 ObjectCodeEmitter &OCE) {
305 // FIXME: Move this to TargetJITInfo!
306 // On Darwin, do not override 64-bit setting made in X86TargetMachine().
307 if (DefRelocModel == Reloc::Default &&
308 (!Subtarget.isTargetDarwin() || !Subtarget.is64Bit()))
309 setRelocationModel(Reloc::Static);
310
311 // 64-bit JIT places everything in the same buffer except external functions.
312 // On Darwin, use small code model but hack the call instruction for
313 // externals. Elsewhere, do not assume globals are in the lower 4G.
314 if (Subtarget.is64Bit()) {
315 if (Subtarget.isTargetDarwin())
316 setCodeModel(CodeModel::Small);
317 else
318 setCodeModel(CodeModel::Large);
319 }
320
321 PM.add(createX86ObjectCodeEmitterPass(*this, OCE));
322 if (DumpAsm) {
323 assert(AsmPrinterCtor && "AsmPrinter was not linked in");
324 if (AsmPrinterCtor)
325 PM.add(AsmPrinterCtor(errs(), *this, true));
326 }
327
328 return false;
329}
330
Bill Wendling58ed5d22009-04-29 00:15:41 +0000331bool X86TargetMachine::addSimpleCodeEmitter(PassManagerBase &PM,
Bill Wendling5ed22ac2009-04-29 23:29:43 +0000332 CodeGenOpt::Level OptLevel,
333 bool DumpAsm,
Bill Wendling58ed5d22009-04-29 00:15:41 +0000334 MachineCodeEmitter &MCE) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000335 PM.add(createX86CodeEmitterPass(*this, MCE));
Anton Korobeynikov9ff5bee2008-08-17 13:53:59 +0000336 if (DumpAsm) {
337 assert(AsmPrinterCtor && "AsmPrinter was not linked in");
338 if (AsmPrinterCtor)
Daniel Dunbarb10d2222009-07-01 01:48:54 +0000339 PM.add(AsmPrinterCtor(errs(), *this, true));
Anton Korobeynikov9ff5bee2008-08-17 13:53:59 +0000340 }
341
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000342 return false;
343}
Dan Gohmanc6413362008-09-26 19:15:30 +0000344
Bruno Cardoso Lopes1ea31ff2009-05-30 20:51:52 +0000345bool X86TargetMachine::addSimpleCodeEmitter(PassManagerBase &PM,
346 CodeGenOpt::Level OptLevel,
347 bool DumpAsm,
348 JITCodeEmitter &JCE) {
349 PM.add(createX86JITCodeEmitterPass(*this, JCE));
350 if (DumpAsm) {
351 assert(AsmPrinterCtor && "AsmPrinter was not linked in");
352 if (AsmPrinterCtor)
Daniel Dunbarb10d2222009-07-01 01:48:54 +0000353 PM.add(AsmPrinterCtor(errs(), *this, true));
Bruno Cardoso Lopes1ea31ff2009-05-30 20:51:52 +0000354 }
355
356 return false;
357}
358
Bruno Cardoso Lopesaabb9a52009-07-06 05:09:34 +0000359bool X86TargetMachine::addSimpleCodeEmitter(PassManagerBase &PM,
360 CodeGenOpt::Level OptLevel,
361 bool DumpAsm,
362 ObjectCodeEmitter &OCE) {
363 PM.add(createX86ObjectCodeEmitterPass(*this, OCE));
364 if (DumpAsm) {
365 assert(AsmPrinterCtor && "AsmPrinter was not linked in");
366 if (AsmPrinterCtor)
367 PM.add(AsmPrinterCtor(errs(), *this, true));
368 }
369
370 return false;
371}