blob: 445318e64fb44af5f725d8da3d97348e7f3c26d3 [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
Chris Lattner621c44d2009-08-22 20:48:53 +000014#include "X86MCAsmInfo.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000015#include "X86TargetMachine.h"
16#include "X86.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000017#include "llvm/PassManager.h"
18#include "llvm/CodeGen/MachineFunction.h"
19#include "llvm/CodeGen/Passes.h"
David Greene302008d2009-07-14 20:18:05 +000020#include "llvm/Support/FormattedStream.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000021#include "llvm/Target/TargetOptions.h"
Daniel Dunbarc680b012009-07-25 06:49:55 +000022#include "llvm/Target/TargetRegistry.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000023using namespace llvm;
24
Daniel Dunbarde46a5b2009-11-06 10:58:06 +000025static const MCAsmInfo *createMCAsmInfo(const Target &T, StringRef TT) {
Chris Lattnerd88f9fd2009-08-12 07:22:17 +000026 Triple TheTriple(TT);
27 switch (TheTriple.getOS()) {
28 case Triple::Darwin:
Chris Lattnercd4cab92009-08-22 21:03:30 +000029 return new X86MCAsmInfoDarwin(TheTriple);
Chris Lattnerd88f9fd2009-08-12 07:22:17 +000030 case Triple::MinGW32:
31 case Triple::MinGW64:
32 case Triple::Cygwin:
Chris Lattnercd4cab92009-08-22 21:03:30 +000033 return new X86MCAsmInfoCOFF(TheTriple);
Chris Lattnerd88f9fd2009-08-12 07:22:17 +000034 case Triple::Win32:
Chris Lattner621c44d2009-08-22 20:48:53 +000035 return new X86WinMCAsmInfo(TheTriple);
Chris Lattnerd88f9fd2009-08-12 07:22:17 +000036 default:
Chris Lattner621c44d2009-08-22 20:48:53 +000037 return new X86ELFMCAsmInfo(TheTriple);
Chris Lattnerd88f9fd2009-08-12 07:22:17 +000038 }
39}
40
Daniel Dunbarfe5939f2009-07-15 20:24:03 +000041extern "C" void LLVMInitializeX86Target() {
Daniel Dunbarc680b012009-07-25 06:49:55 +000042 // Register the target.
43 RegisterTargetMachine<X86_32TargetMachine> X(TheX86_32Target);
44 RegisterTargetMachine<X86_64TargetMachine> Y(TheX86_64Target);
Chris Lattnerd88f9fd2009-08-12 07:22:17 +000045
46 // Register the target asm info.
Chris Lattner621c44d2009-08-22 20:48:53 +000047 RegisterAsmInfoFn A(TheX86_32Target, createMCAsmInfo);
48 RegisterAsmInfoFn B(TheX86_64Target, createMCAsmInfo);
Daniel Dunbar2f379632009-08-27 08:12:55 +000049
50 // Register the code emitter.
51 TargetRegistry::RegisterCodeEmitter(TheX86_32Target, createX86MCCodeEmitter);
52 TargetRegistry::RegisterCodeEmitter(TheX86_64Target, createX86MCCodeEmitter);
Daniel Dunbarfe5939f2009-07-15 20:24:03 +000053}
Douglas Gregor1dc5ff42009-06-16 20:12:29 +000054
Dan Gohmanf17a25c2007-07-18 16:29:46 +000055
Daniel Dunbarf5c2b852009-08-02 23:37:13 +000056X86_32TargetMachine::X86_32TargetMachine(const Target &T, const std::string &TT,
Daniel Dunbarfe5939f2009-07-15 20:24:03 +000057 const std::string &FS)
Daniel Dunbarf5c2b852009-08-02 23:37:13 +000058 : X86TargetMachine(T, TT, FS, false) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +000059}
60
61
Daniel Dunbarf5c2b852009-08-02 23:37:13 +000062X86_64TargetMachine::X86_64TargetMachine(const Target &T, const std::string &TT,
Daniel Dunbarfe5939f2009-07-15 20:24:03 +000063 const std::string &FS)
Daniel Dunbarf5c2b852009-08-02 23:37:13 +000064 : X86TargetMachine(T, TT, FS, true) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +000065}
66
Chris Lattner5b5e32d2009-07-09 03:32:31 +000067/// X86TargetMachine ctor - Create an X86 target.
Dan Gohmanf17a25c2007-07-18 16:29:46 +000068///
Daniel Dunbarf5c2b852009-08-02 23:37:13 +000069X86TargetMachine::X86TargetMachine(const Target &T, const std::string &TT,
Daniel Dunbarfe5939f2009-07-15 20:24:03 +000070 const std::string &FS, bool is64Bit)
Chris Lattnerd9236ec2009-08-11 20:42:37 +000071 : LLVMTargetMachine(T, TT),
Daniel Dunbarf5c2b852009-08-02 23:37:13 +000072 Subtarget(TT, FS, is64Bit),
Dale Johannesend4c671c2007-08-06 21:48:35 +000073 DataLayout(Subtarget.getDataLayout()),
Dan Gohmanf17a25c2007-07-18 16:29:46 +000074 FrameInfo(TargetFrameInfo::StackGrowsDown,
Anton Korobeynikov2cbcdb72009-08-03 08:12:53 +000075 Subtarget.getStackAlignment(),
76 (Subtarget.isTargetWin64() ? -40 :
77 (Subtarget.is64Bit() ? -8 : -4))),
Bruno Cardoso Lopes8c25df12009-06-11 19:16:03 +000078 InstrInfo(*this), JITInfo(*this), TLInfo(*this), ELFWriterInfo(*this) {
Evan Cheng8ee6bab2007-12-22 09:40:20 +000079 DefRelocModel = getRelocationModel();
Chris Lattner5b5e32d2009-07-09 03:32:31 +000080
81 // If no relocation model was picked, default as appropriate for the target.
Anton Korobeynikov8c90d2a2008-02-20 11:22:39 +000082 if (getRelocationModel() == Reloc::Default) {
Chris Lattner5b5e32d2009-07-09 03:32:31 +000083 if (!Subtarget.isTargetDarwin())
Dan Gohmanf17a25c2007-07-18 16:29:46 +000084 setRelocationModel(Reloc::Static);
Chris Lattner5b5e32d2009-07-09 03:32:31 +000085 else if (Subtarget.is64Bit())
86 setRelocationModel(Reloc::PIC_);
87 else
88 setRelocationModel(Reloc::DynamicNoPIC);
Anton Korobeynikov8c90d2a2008-02-20 11:22:39 +000089 }
Dan Gohman36322c72008-10-18 02:06:02 +000090
Chris Lattneraa7c6d22009-07-09 03:15:51 +000091 assert(getRelocationModel() != Reloc::Default &&
92 "Relocation mode not picked");
93
Chris Lattner4c8b6862009-07-09 03:37:30 +000094 // ELF and X86-64 don't have a distinct DynamicNoPIC model. DynamicNoPIC
Chris Lattner5b5e32d2009-07-09 03:32:31 +000095 // is defined as a model for code which may be used in static or dynamic
Chris Lattnerf165d342009-07-09 04:24:46 +000096 // executables but not necessarily a shared library. On X86-32 we just
97 // compile in -static mode, in x86-64 we use PIC.
98 if (getRelocationModel() == Reloc::DynamicNoPIC) {
99 if (is64Bit)
100 setRelocationModel(Reloc::PIC_);
101 else if (!Subtarget.isTargetDarwin())
102 setRelocationModel(Reloc::Static);
103 }
Dan Gohman36322c72008-10-18 02:06:02 +0000104
Chris Lattner4c8b6862009-07-09 03:37:30 +0000105 // If we are on Darwin, disallow static relocation model in X86-64 mode, since
106 // the Mach-O file format doesn't support it.
107 if (getRelocationModel() == Reloc::Static &&
108 Subtarget.isTargetDarwin() &&
109 is64Bit)
110 setRelocationModel(Reloc::PIC_);
111
Chris Lattner5b5e32d2009-07-09 03:32:31 +0000112 // Determine the PICStyle based on the target selected.
113 if (getRelocationModel() == Reloc::Static) {
114 // Unless we're in PIC or DynamicNoPIC mode, set the PIC style to None.
115 Subtarget.setPICStyle(PICStyles::None);
116 } else if (Subtarget.isTargetCygMing()) {
Chris Lattneraa7c6d22009-07-09 03:15:51 +0000117 Subtarget.setPICStyle(PICStyles::None);
118 } else if (Subtarget.isTargetDarwin()) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000119 if (Subtarget.is64Bit())
Duncan Sandsde5f95f2008-11-28 09:29:37 +0000120 Subtarget.setPICStyle(PICStyles::RIPRel);
Chris Lattnerfb502722009-07-10 20:58:47 +0000121 else if (getRelocationModel() == Reloc::PIC_)
122 Subtarget.setPICStyle(PICStyles::StubPIC);
123 else {
124 assert(getRelocationModel() == Reloc::DynamicNoPIC);
125 Subtarget.setPICStyle(PICStyles::StubDynamicNoPIC);
126 }
Anton Korobeynikov8c90d2a2008-02-20 11:22:39 +0000127 } else if (Subtarget.isTargetELF()) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000128 if (Subtarget.is64Bit())
Duncan Sandsde5f95f2008-11-28 09:29:37 +0000129 Subtarget.setPICStyle(PICStyles::RIPRel);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000130 else
Duncan Sandsde5f95f2008-11-28 09:29:37 +0000131 Subtarget.setPICStyle(PICStyles::GOT);
Anton Korobeynikov8c90d2a2008-02-20 11:22:39 +0000132 }
Chris Lattneraa7c6d22009-07-09 03:15:51 +0000133
Chris Lattner5b5e32d2009-07-09 03:32:31 +0000134 // Finally, if we have "none" as our PIC style, force to static mode.
135 if (Subtarget.getPICStyle() == PICStyles::None)
136 setRelocationModel(Reloc::Static);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000137}
138
139//===----------------------------------------------------------------------===//
140// Pass Pipeline Configuration
141//===----------------------------------------------------------------------===//
142
Bill Wendling5ed22ac2009-04-29 23:29:43 +0000143bool X86TargetMachine::addInstSelector(PassManagerBase &PM,
144 CodeGenOpt::Level OptLevel) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000145 // Install an instruction selector.
Bill Wendling58ed5d22009-04-29 00:15:41 +0000146 PM.add(createX86ISelDag(*this, OptLevel));
Dan Gohman0e66ce82008-10-25 17:46:52 +0000147
148 // If we're using Fast-ISel, clean up the mess.
149 if (EnableFastISel)
150 PM.add(createDeadMachineInstructionElimPass());
151
Dan Gohmanfd6722c2008-11-12 22:55:05 +0000152 // Install a pass to insert x87 FP_REG_KILL instructions, as needed.
153 PM.add(createX87FPRegKillInserterPass());
154
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000155 return false;
156}
157
Bill Wendling5ed22ac2009-04-29 23:29:43 +0000158bool X86TargetMachine::addPreRegAlloc(PassManagerBase &PM,
159 CodeGenOpt::Level OptLevel) {
Anton Korobeynikov8c912892008-04-23 18:23:30 +0000160 // Calculate and set max stack object alignment early, so we can decide
161 // whether we will need stack realignment (and thus FP).
Jim Grosbach4d20ee62009-12-02 19:30:24 +0000162 PM.add(createMaxStackAlignmentCalculatorPass());
Anton Korobeynikov194ae6c2008-04-23 18:23:05 +0000163 return false; // -print-machineinstr shouldn't print after this.
164}
165
Bill Wendling5ed22ac2009-04-29 23:29:43 +0000166bool X86TargetMachine::addPostRegAlloc(PassManagerBase &PM,
167 CodeGenOpt::Level OptLevel) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000168 PM.add(createX86FloatingPointStackifierPass());
169 return true; // -print-machineinstr should print after this.
170}
171
Bill Wendling5ed22ac2009-04-29 23:29:43 +0000172bool X86TargetMachine::addCodeEmitter(PassManagerBase &PM,
173 CodeGenOpt::Level OptLevel,
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +0000174 MachineCodeEmitter &MCE) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000175 // FIXME: Move this to TargetJITInfo!
Dale Johannesen58c6d512008-08-12 21:02:08 +0000176 // On Darwin, do not override 64-bit setting made in X86TargetMachine().
177 if (DefRelocModel == Reloc::Default &&
Chris Lattner4c8b6862009-07-09 03:37:30 +0000178 (!Subtarget.isTargetDarwin() || !Subtarget.is64Bit())) {
Evan Cheng8ee6bab2007-12-22 09:40:20 +0000179 setRelocationModel(Reloc::Static);
Chris Lattner4c8b6862009-07-09 03:37:30 +0000180 Subtarget.setPICStyle(PICStyles::None);
181 }
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000182
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000183 PM.add(createX86CodeEmitterPass(*this, MCE));
Evan Cheng77547212007-07-20 21:56:13 +0000184
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000185 return false;
186}
187
Bruno Cardoso Lopes1ea31ff2009-05-30 20:51:52 +0000188bool X86TargetMachine::addCodeEmitter(PassManagerBase &PM,
189 CodeGenOpt::Level OptLevel,
Bruno Cardoso Lopes8e2537b2009-06-01 19:57:37 +0000190 JITCodeEmitter &JCE) {
Bruno Cardoso Lopes1ea31ff2009-05-30 20:51:52 +0000191 // FIXME: Move this to TargetJITInfo!
192 // On Darwin, do not override 64-bit setting made in X86TargetMachine().
193 if (DefRelocModel == Reloc::Default &&
Chris Lattner4c8b6862009-07-09 03:37:30 +0000194 (!Subtarget.isTargetDarwin() || !Subtarget.is64Bit())) {
Bruno Cardoso Lopes1ea31ff2009-05-30 20:51:52 +0000195 setRelocationModel(Reloc::Static);
Chris Lattner4c8b6862009-07-09 03:37:30 +0000196 Subtarget.setPICStyle(PICStyles::None);
197 }
Bruno Cardoso Lopes1ea31ff2009-05-30 20:51:52 +0000198
Bruno Cardoso Lopes1ea31ff2009-05-30 20:51:52 +0000199
200 PM.add(createX86JITCodeEmitterPass(*this, JCE));
Bruno Cardoso Lopes1ea31ff2009-05-30 20:51:52 +0000201
202 return false;
203}
204
Bruno Cardoso Lopesaabb9a52009-07-06 05:09:34 +0000205bool X86TargetMachine::addCodeEmitter(PassManagerBase &PM,
206 CodeGenOpt::Level OptLevel,
Bruno Cardoso Lopesaabb9a52009-07-06 05:09:34 +0000207 ObjectCodeEmitter &OCE) {
Bruno Cardoso Lopesaabb9a52009-07-06 05:09:34 +0000208 PM.add(createX86ObjectCodeEmitterPass(*this, OCE));
Bruno Cardoso Lopesaabb9a52009-07-06 05:09:34 +0000209 return false;
210}
211
Bill Wendling58ed5d22009-04-29 00:15:41 +0000212bool X86TargetMachine::addSimpleCodeEmitter(PassManagerBase &PM,
Bill Wendling5ed22ac2009-04-29 23:29:43 +0000213 CodeGenOpt::Level OptLevel,
Bill Wendling58ed5d22009-04-29 00:15:41 +0000214 MachineCodeEmitter &MCE) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000215 PM.add(createX86CodeEmitterPass(*this, MCE));
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000216 return false;
217}
Dan Gohmanc6413362008-09-26 19:15:30 +0000218
Bruno Cardoso Lopes1ea31ff2009-05-30 20:51:52 +0000219bool X86TargetMachine::addSimpleCodeEmitter(PassManagerBase &PM,
220 CodeGenOpt::Level OptLevel,
Bruno Cardoso Lopes1ea31ff2009-05-30 20:51:52 +0000221 JITCodeEmitter &JCE) {
222 PM.add(createX86JITCodeEmitterPass(*this, JCE));
Bruno Cardoso Lopes1ea31ff2009-05-30 20:51:52 +0000223 return false;
224}
225
Bruno Cardoso Lopesaabb9a52009-07-06 05:09:34 +0000226bool X86TargetMachine::addSimpleCodeEmitter(PassManagerBase &PM,
227 CodeGenOpt::Level OptLevel,
Bruno Cardoso Lopesaabb9a52009-07-06 05:09:34 +0000228 ObjectCodeEmitter &OCE) {
229 PM.add(createX86ObjectCodeEmitterPass(*this, OCE));
Bruno Cardoso Lopesaabb9a52009-07-06 05:09:34 +0000230 return false;
231}
Eric Christopher7669c972009-12-21 08:15:29 +0000232
233void X86TargetMachine::setCodeModelForStatic() {
234
235 if (getCodeModel() != CodeModel::Default) return;
236
237 // For static codegen, if we're not already set, use Small codegen.
238 setCodeModel(CodeModel::Small);
239}
240
241
242void X86TargetMachine::setCodeModelForJIT() {
243
244 if (getCodeModel() != CodeModel::Default) return;
245
246 // 64-bit JIT places everything in the same buffer except external functions.
247 if (Subtarget.is64Bit())
248 setCodeModel(CodeModel::Large);
249 else
250 setCodeModel(CodeModel::Small);
251}
Bill Wendlinge46f64b2010-01-16 01:40:55 +0000252
Bill Wendling63104742010-01-18 22:36:35 +0000253/// getLSDAEncoding - Returns the LSDA pointer encoding. The choices are 4-byte,
254/// 8-byte, and target default. The CIE is hard-coded to indicate that the LSDA
255/// pointer in the FDE section is an "sdata4", and should be encoded as a 4-byte
256/// pointer by default. However, some systems may require a different size due
257/// to bugs or other conditions. We will default to a 4-byte encoding unless the
258/// system tells us otherwise.
259///
Bill Wendlinge5138b62010-01-19 02:44:01 +0000260/// The issue is when the CIE says their is an LSDA. That mandates that every
261/// FDE have an LSDA slot. But if the function does not need an LSDA. There
262/// needs to be some way to signify there is none. The LSDA is encoded as
263/// pc-rel. But you don't look for some magic value after adding the pc. You
264/// have to look for a zero before adding the pc. The problem is that the size
265/// of the zero to look for depends on the encoding. The unwinder bug in SL is
266/// that it always checks for a pointer-size zero. So on x86_64 it looks for 8
267/// bytes of zero. If you have an LSDA, it works fine since the 8-bytes are
268/// non-zero so it goes ahead and then reads the value based on the encoding.
269/// But if you use sdata4 and there is no LSDA, then the test for zero gives a
270/// false negative and the unwinder thinks there is an LSDA.
271///
Bill Wendling43b36f72010-01-18 19:47:53 +0000272/// FIXME: This call-back isn't good! We should be using the correct encoding
273/// regardless of the system. However, there are some systems which have bugs
274/// that prevent this from occuring.
Bill Wendlinge46f64b2010-01-16 01:40:55 +0000275DwarfLSDAEncoding::Encoding X86TargetMachine::getLSDAEncoding() const {
Bill Wendling6442f652010-01-18 19:36:27 +0000276 if (Subtarget.isTargetDarwin() && Subtarget.getDarwinVers() != 10)
Bill Wendling63104742010-01-18 22:36:35 +0000277 return DwarfLSDAEncoding::Default;
Bill Wendlinge46f64b2010-01-16 01:40:55 +0000278
Bill Wendling6442f652010-01-18 19:36:27 +0000279 return DwarfLSDAEncoding::EightByte;
Bill Wendlinge46f64b2010-01-16 01:40:55 +0000280}