blob: 6bd9bbefc8dda38b8b57616a7f3bdfb117380864 [file] [log] [blame]
Chris Lattner02a3d832002-10-29 22:37:54 +00001//===-- X86TargetMachine.cpp - Define TargetMachine for the X86 -----------===//
Misha Brukmanc88330a2005-04-21 23:38:14 +00002//
John Criswell482202a2003-10-20 19:43:21 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattnerf3ebc3f2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Misha Brukmanc88330a2005-04-21 23:38:14 +00007//
John Criswell482202a2003-10-20 19:43:21 +00008//===----------------------------------------------------------------------===//
Misha Brukmanc88330a2005-04-21 23:38:14 +00009//
Chris Lattner02a3d832002-10-29 22:37:54 +000010// This file defines the X86 specific subclass of TargetMachine.
11//
12//===----------------------------------------------------------------------===//
13
Jim Laskeyae92ce82006-09-07 23:39:26 +000014#include "X86TargetAsmInfo.h"
Chris Lattner02a3d832002-10-29 22:37:54 +000015#include "X86TargetMachine.h"
Chris Lattnera32b4052002-12-24 00:04:01 +000016#include "X86.h"
Chris Lattner4fd144a2003-08-24 19:49:48 +000017#include "llvm/Module.h"
Chris Lattner524608a2003-04-23 16:24:55 +000018#include "llvm/PassManager.h"
Chris Lattnerd7a85562002-10-30 00:47:49 +000019#include "llvm/CodeGen/MachineFunction.h"
Chris Lattner962d5be2003-01-13 00:51:23 +000020#include "llvm/CodeGen/Passes.h"
Owen Anderson93719642008-08-21 00:14:44 +000021#include "llvm/Support/raw_ostream.h"
Chris Lattnerc2726e62004-07-11 04:17:10 +000022#include "llvm/Target/TargetOptions.h"
Chris Lattner4266f802004-07-11 02:48:49 +000023#include "llvm/Target/TargetMachineRegistry.h"
Chris Lattner833c3c22003-12-20 01:22:19 +000024using namespace llvm;
Brian Gaeke960707c2003-11-11 22:41:34 +000025
Jeff Cohen68f28732005-01-03 16:34:19 +000026/// 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 Gohmand78c4002008-05-13 00:00:25 +000033// Register the target.
34static RegisterTarget<X86_32TargetMachine>
Dan Gohman9c4b7d52008-10-14 20:25:08 +000035X("x86", "32-bit X86: Pentium-Pro and above");
Dan Gohmand78c4002008-05-13 00:00:25 +000036static RegisterTarget<X86_64TargetMachine>
Dan Gohman9c4b7d52008-10-14 20:25:08 +000037Y("x86-64", "64-bit X86: EM64T and AMD64");
Chris Lattnere0c25aa2002-12-16 16:15:51 +000038
Bob Wilson5a495fe2009-06-23 23:59:40 +000039// Force static initialization.
40extern "C" void LLVMInitializeX86Target() { }
Douglas Gregor1b731d52009-06-16 20:12:29 +000041
Anton Korobeynikovc5faeb82008-08-17 13:53:59 +000042// No assembler printer by default
43X86TargetMachine::AsmPrinterCtorFn X86TargetMachine::AsmPrinterCtor = 0;
44
Jim Laskeyae92ce82006-09-07 23:39:26 +000045const TargetAsmInfo *X86TargetMachine::createTargetAsmInfo() const {
Anton Korobeynikov9a6ed372008-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 Korobeynikov87001fd2008-09-25 21:00:33 +000060 return new X86GenericTargetAsmInfo(*this);
Anton Korobeynikov9a6ed372008-07-09 13:20:48 +000061 }
Jim Laskeyae92ce82006-09-07 23:39:26 +000062}
63
Evan Cheng11b0a5d2006-09-08 06:48:29 +000064unsigned X86_32TargetMachine::getJITMatchQuality() {
Chris Lattnerfbc070b2004-10-18 15:54:17 +000065#if defined(i386) || defined(__i386__) || defined(__x86__) || defined(_M_IX86)
Chris Lattner4266f802004-07-11 02:48:49 +000066 return 10;
Chris Lattner4266f802004-07-11 02:48:49 +000067#endif
Evan Cheng11b0a5d2006-09-08 06:48:29 +000068 return 0;
Chris Lattner4266f802004-07-11 02:48:49 +000069}
70
Evan Cheng11b0a5d2006-09-08 06:48:29 +000071unsigned X86_64TargetMachine::getJITMatchQuality() {
Anton Korobeynikova3476632008-03-23 13:43:47 +000072#if defined(__x86_64__) || defined(_M_AMD64)
Evan Cheng11b0a5d2006-09-08 06:48:29 +000073 return 10;
74#endif
75 return 0;
76}
77
78unsigned X86_32TargetMachine::getModuleMatchQuality(const Module &M) {
Chris Lattner17550c42004-12-12 17:40:28 +000079 // 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;
Chris Lattner517290a2007-07-09 17:25:29 +000084 // If the target triple is something non-X86, we don't match.
85 if (!TT.empty()) return 0;
Chris Lattner17550c42004-12-12 17:40:28 +000086
Chris Lattner4266f802004-07-11 02:48:49 +000087 if (M.getEndianness() == Module::LittleEndian &&
88 M.getPointerSize() == Module::Pointer32)
Chris Lattner17550c42004-12-12 17:40:28 +000089 return 10; // Weak match
Chris Lattner4266f802004-07-11 02:48:49 +000090 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}
Chris Lattner02a3d832002-10-29 22:37:54 +000096
Evan Cheng11b0a5d2006-09-08 06:48:29 +000097unsigned 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
Chris Lattner68f62b52006-12-19 19:40:09 +0000104 // 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
Chris Lattner517290a2007-07-09 17:25:29 +0000109 // If the target triple is something non-X86-64, we don't match.
110 if (!TT.empty()) return 0;
111
Evan Cheng11b0a5d2006-09-08 06:48:29 +0000112 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 Lopes9fd794b2009-06-01 19:57:37 +0000122X86_32TargetMachine::X86_32TargetMachine(const Module &M, const std::string &FS)
Evan Cheng11b0a5d2006-09-08 06:48:29 +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 Lattner02a3d832002-10-29 22:37:54 +0000131/// X86TargetMachine ctor - Create an ILP32 architecture model
132///
Evan Chengd00d3442007-02-23 03:03:16 +0000133X86TargetMachine::X86TargetMachine(const Module &M, const std::string &FS,
134 bool is64Bit)
Evan Cheng11b0a5d2006-09-08 06:48:29 +0000135 : Subtarget(M, FS, is64Bit),
Dale Johannesend1822ea2007-08-06 21:48:35 +0000136 DataLayout(Subtarget.getDataLayout()),
Nate Begemanf26625e2005-07-12 01:41:54 +0000137 FrameInfo(TargetFrameInfo::StackGrowsDown,
Evan Cheng11b0a5d2006-09-08 06:48:29 +0000138 Subtarget.getStackAlignment(), Subtarget.is64Bit() ? -8 : -4),
Bruno Cardoso Lopes16563662009-06-11 19:16:03 +0000139 InstrInfo(*this), JITInfo(*this), TLInfo(*this), ELFWriterInfo(*this) {
Evan Cheng345a00b2007-12-22 09:40:20 +0000140 DefRelocModel = getRelocationModel();
Anton Korobeynikov7574ead2008-03-23 13:41:18 +0000141 // FIXME: Correctly select PIC model for Win64 stuff
Anton Korobeynikov40d67c52008-02-20 11:22:39 +0000142 if (getRelocationModel() == Reloc::Default) {
Anton Korobeynikov7574ead2008-03-23 13:41:18 +0000143 if (Subtarget.isTargetDarwin() ||
144 (Subtarget.isTargetCygMing() && !Subtarget.isTargetWin64()))
Evan Cheng73136df2006-02-22 20:19:42 +0000145 setRelocationModel(Reloc::DynamicNoPIC);
146 else
Evan Cheng0c2a74a2006-12-04 18:07:10 +0000147 setRelocationModel(Reloc::Static);
Anton Korobeynikov40d67c52008-02-20 11:22:39 +0000148 }
Dan Gohman2fe6bee2008-10-18 02:06:02 +0000149
150 // ELF doesn't have a distinct dynamic-no-PIC model. Dynamic-no-PIC
151 // is defined as a model for code which may be used in static or
152 // dynamic executables but not necessarily a shared library. On ELF
153 // implement this by using the Static model.
154 if (Subtarget.isTargetELF() &&
155 getRelocationModel() == Reloc::DynamicNoPIC)
156 setRelocationModel(Reloc::Static);
157
Evan Cheng11b0a5d2006-09-08 06:48:29 +0000158 if (Subtarget.is64Bit()) {
159 // No DynamicNoPIC support under X86-64.
160 if (getRelocationModel() == Reloc::DynamicNoPIC)
161 setRelocationModel(Reloc::PIC_);
162 // Default X86-64 code model is small.
163 if (getCodeModel() == CodeModel::Default)
164 setCodeModel(CodeModel::Small);
165 }
Anton Korobeynikova0554d92007-01-12 19:20:47 +0000166
Evan Cheng97057f32007-01-18 22:27:12 +0000167 if (Subtarget.isTargetCygMing())
Duncan Sands595a4422008-11-28 09:29:37 +0000168 Subtarget.setPICStyle(PICStyles::WinPIC);
Anton Korobeynikov40d67c52008-02-20 11:22:39 +0000169 else if (Subtarget.isTargetDarwin()) {
Evan Cheng97057f32007-01-18 22:27:12 +0000170 if (Subtarget.is64Bit())
Duncan Sands595a4422008-11-28 09:29:37 +0000171 Subtarget.setPICStyle(PICStyles::RIPRel);
Anton Korobeynikova0554d92007-01-12 19:20:47 +0000172 else
Duncan Sands595a4422008-11-28 09:29:37 +0000173 Subtarget.setPICStyle(PICStyles::Stub);
Anton Korobeynikov40d67c52008-02-20 11:22:39 +0000174 } else if (Subtarget.isTargetELF()) {
Evan Cheng97057f32007-01-18 22:27:12 +0000175 if (Subtarget.is64Bit())
Duncan Sands595a4422008-11-28 09:29:37 +0000176 Subtarget.setPICStyle(PICStyles::RIPRel);
Anton Korobeynikova0554d92007-01-12 19:20:47 +0000177 else
Duncan Sands595a4422008-11-28 09:29:37 +0000178 Subtarget.setPICStyle(PICStyles::GOT);
Anton Korobeynikov40d67c52008-02-20 11:22:39 +0000179 }
Chris Lattnera1d312c2006-02-03 18:59:39 +0000180}
Chris Lattner02a3d832002-10-29 22:37:54 +0000181
Chris Lattner12e97302006-09-04 04:14:57 +0000182//===----------------------------------------------------------------------===//
183// Pass Pipeline Configuration
184//===----------------------------------------------------------------------===//
Chris Lattner1d6ba3e2003-08-05 16:34:44 +0000185
Bill Wendling026e5d72009-04-29 23:29:43 +0000186bool X86TargetMachine::addInstSelector(PassManagerBase &PM,
187 CodeGenOpt::Level OptLevel) {
Nate Begemanbe1f3142005-08-18 23:53:15 +0000188 // Install an instruction selector.
Bill Wendling084669a2009-04-29 00:15:41 +0000189 PM.add(createX86ISelDag(*this, OptLevel));
Dan Gohman19145312008-10-25 17:46:52 +0000190
191 // If we're using Fast-ISel, clean up the mess.
192 if (EnableFastISel)
193 PM.add(createDeadMachineInstructionElimPass());
194
Dan Gohman88ba5f02008-11-12 22:55:05 +0000195 // Install a pass to insert x87 FP_REG_KILL instructions, as needed.
196 PM.add(createX87FPRegKillInserterPass());
197
Chris Lattner12e97302006-09-04 04:14:57 +0000198 return false;
Brian Gaekeac94bab2003-06-18 21:43:21 +0000199}
200
Bill Wendling026e5d72009-04-29 23:29:43 +0000201bool X86TargetMachine::addPreRegAlloc(PassManagerBase &PM,
202 CodeGenOpt::Level OptLevel) {
Anton Korobeynikovc1534dc2008-04-23 18:23:30 +0000203 // Calculate and set max stack object alignment early, so we can decide
204 // whether we will need stack realignment (and thus FP).
Anton Korobeynikov26590112008-04-23 18:23:05 +0000205 PM.add(createX86MaxStackAlignmentCalculatorPass());
206 return false; // -print-machineinstr shouldn't print after this.
207}
208
Bill Wendling026e5d72009-04-29 23:29:43 +0000209bool X86TargetMachine::addPostRegAlloc(PassManagerBase &PM,
210 CodeGenOpt::Level OptLevel) {
Chris Lattner962d5be2003-01-13 00:51:23 +0000211 PM.add(createX86FloatingPointStackifierPass());
Chris Lattner12e97302006-09-04 04:14:57 +0000212 return true; // -print-machineinstr should print after this.
Chris Lattner02a3d832002-10-29 22:37:54 +0000213}
214
Bill Wendling084669a2009-04-29 00:15:41 +0000215bool X86TargetMachine::addAssemblyEmitter(PassManagerBase &PM,
Bill Wendling026e5d72009-04-29 23:29:43 +0000216 CodeGenOpt::Level OptLevel,
Bill Wendling084669a2009-04-29 00:15:41 +0000217 bool Verbose,
218 raw_ostream &Out) {
Evan Chengad6f3ff2009-06-03 21:13:54 +0000219 // FIXME: Move this somewhere else!
220 // On Darwin, override 64-bit static relocation to pic_ since the
221 // assembler doesn't support it.
222 if (DefRelocModel == Reloc::Static &&
223 Subtarget.isTargetDarwin() && Subtarget.is64Bit())
224 setRelocationModel(Reloc::PIC_);
225
Anton Korobeynikovc5faeb82008-08-17 13:53:59 +0000226 assert(AsmPrinterCtor && "AsmPrinter was not linked in");
227 if (AsmPrinterCtor)
Bill Wendling084669a2009-04-29 00:15:41 +0000228 PM.add(AsmPrinterCtor(Out, *this, OptLevel, Verbose));
Chris Lattner12e97302006-09-04 04:14:57 +0000229 return false;
230}
231
Bill Wendling026e5d72009-04-29 23:29:43 +0000232bool X86TargetMachine::addCodeEmitter(PassManagerBase &PM,
233 CodeGenOpt::Level OptLevel,
Bruno Cardoso Lopes9fd794b2009-06-01 19:57:37 +0000234 bool DumpAsm,
235 MachineCodeEmitter &MCE) {
Chris Lattner49c45d32006-09-04 18:48:41 +0000236 // FIXME: Move this to TargetJITInfo!
Dale Johannesen30e5dbb2008-08-12 21:02:08 +0000237 // On Darwin, do not override 64-bit setting made in X86TargetMachine().
238 if (DefRelocModel == Reloc::Default &&
239 (!Subtarget.isTargetDarwin() || !Subtarget.is64Bit()))
Evan Cheng345a00b2007-12-22 09:40:20 +0000240 setRelocationModel(Reloc::Static);
Anton Korobeynikova0554d92007-01-12 19:20:47 +0000241
Dale Johannesendafdbf72008-08-11 23:46:25 +0000242 // 64-bit JIT places everything in the same buffer except external functions.
Dale Johannesen30e5dbb2008-08-12 21:02:08 +0000243 // On Darwin, use small code model but hack the call instruction for
244 // externals. Elsewhere, do not assume globals are in the lower 4G.
245 if (Subtarget.is64Bit()) {
246 if (Subtarget.isTargetDarwin())
247 setCodeModel(CodeModel::Small);
248 else
249 setCodeModel(CodeModel::Large);
250 }
Anton Korobeynikov93acb492006-12-20 01:03:20 +0000251
Evan Chengf6acb342006-07-25 20:40:54 +0000252 PM.add(createX86CodeEmitterPass(*this, MCE));
Anton Korobeynikovc5faeb82008-08-17 13:53:59 +0000253 if (DumpAsm) {
254 assert(AsmPrinterCtor && "AsmPrinter was not linked in");
255 if (AsmPrinterCtor)
Bill Wendling084669a2009-04-29 00:15:41 +0000256 PM.add(AsmPrinterCtor(errs(), *this, OptLevel, true));
Anton Korobeynikovc5faeb82008-08-17 13:53:59 +0000257 }
Evan Cheng9d5df0a2007-07-20 21:56:13 +0000258
Chris Lattnerd8312092005-07-11 05:17:48 +0000259 return false;
260}
Bill Wendling2aa9a422007-02-08 01:39:44 +0000261
Bruno Cardoso Lopesa194c3a2009-05-30 20:51:52 +0000262bool X86TargetMachine::addCodeEmitter(PassManagerBase &PM,
263 CodeGenOpt::Level OptLevel,
Bruno Cardoso Lopes9fd794b2009-06-01 19:57:37 +0000264 bool DumpAsm,
265 JITCodeEmitter &JCE) {
Bruno Cardoso Lopesa194c3a2009-05-30 20:51:52 +0000266 // FIXME: Move this to TargetJITInfo!
267 // On Darwin, do not override 64-bit setting made in X86TargetMachine().
268 if (DefRelocModel == Reloc::Default &&
269 (!Subtarget.isTargetDarwin() || !Subtarget.is64Bit()))
270 setRelocationModel(Reloc::Static);
271
272 // 64-bit JIT places everything in the same buffer except external functions.
273 // On Darwin, use small code model but hack the call instruction for
274 // externals. Elsewhere, do not assume globals are in the lower 4G.
275 if (Subtarget.is64Bit()) {
276 if (Subtarget.isTargetDarwin())
277 setCodeModel(CodeModel::Small);
278 else
279 setCodeModel(CodeModel::Large);
280 }
281
282 PM.add(createX86JITCodeEmitterPass(*this, JCE));
283 if (DumpAsm) {
284 assert(AsmPrinterCtor && "AsmPrinter was not linked in");
285 if (AsmPrinterCtor)
286 PM.add(AsmPrinterCtor(errs(), *this, OptLevel, true));
287 }
288
289 return false;
290}
291
Bill Wendling084669a2009-04-29 00:15:41 +0000292bool X86TargetMachine::addSimpleCodeEmitter(PassManagerBase &PM,
Bill Wendling026e5d72009-04-29 23:29:43 +0000293 CodeGenOpt::Level OptLevel,
294 bool DumpAsm,
Bill Wendling084669a2009-04-29 00:15:41 +0000295 MachineCodeEmitter &MCE) {
Bill Wendling2aa9a422007-02-08 01:39:44 +0000296 PM.add(createX86CodeEmitterPass(*this, MCE));
Anton Korobeynikovc5faeb82008-08-17 13:53:59 +0000297 if (DumpAsm) {
298 assert(AsmPrinterCtor && "AsmPrinter was not linked in");
299 if (AsmPrinterCtor)
Bill Wendling084669a2009-04-29 00:15:41 +0000300 PM.add(AsmPrinterCtor(errs(), *this, OptLevel, true));
Anton Korobeynikovc5faeb82008-08-17 13:53:59 +0000301 }
302
Bill Wendling2aa9a422007-02-08 01:39:44 +0000303 return false;
304}
Dan Gohman007a6bb2008-09-26 19:15:30 +0000305
Bruno Cardoso Lopesa194c3a2009-05-30 20:51:52 +0000306bool X86TargetMachine::addSimpleCodeEmitter(PassManagerBase &PM,
307 CodeGenOpt::Level OptLevel,
308 bool DumpAsm,
309 JITCodeEmitter &JCE) {
310 PM.add(createX86JITCodeEmitterPass(*this, JCE));
311 if (DumpAsm) {
312 assert(AsmPrinterCtor && "AsmPrinter was not linked in");
313 if (AsmPrinterCtor)
314 PM.add(AsmPrinterCtor(errs(), *this, OptLevel, true));
315 }
316
317 return false;
318}
319
Dan Gohman78fe44e2009-02-07 00:42:54 +0000320/// symbolicAddressesAreRIPRel - Return true if symbolic addresses are
321/// RIP-relative on this machine, taking into consideration the relocation
322/// model and subtarget. RIP-relative addresses cannot have a separate
323/// base or index register.
Dan Gohman007a6bb2008-09-26 19:15:30 +0000324bool X86TargetMachine::symbolicAddressesAreRIPRel() const {
325 return getRelocationModel() != Reloc::Static &&
326 Subtarget.isPICStyleRIPRel();
327}