blob: c63da0f95918e95ea015f52cf3c40b4151c26917 [file] [log] [blame]
Chris Lattnerb4f68ed2002-10-29 22:37:54 +00001//===-- X86TargetMachine.cpp - Define TargetMachine for the X86 -----------===//
Misha Brukman0e0a7a452005-04-21 23:38:14 +00002//
John Criswellb576c942003-10-20 19:43:21 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-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 Brukman0e0a7a452005-04-21 23:38:14 +00007//
John Criswellb576c942003-10-20 19:43:21 +00008//===----------------------------------------------------------------------===//
Misha Brukman0e0a7a452005-04-21 23:38:14 +00009//
Chris Lattnerb4f68ed2002-10-29 22:37:54 +000010// This file defines the X86 specific subclass of TargetMachine.
11//
12//===----------------------------------------------------------------------===//
13
Chris Lattneraf76e592009-08-22 20:48:53 +000014#include "X86MCAsmInfo.h"
Chris Lattnerb4f68ed2002-10-29 22:37:54 +000015#include "X86TargetMachine.h"
Chris Lattner5bcd95c2002-12-24 00:04:01 +000016#include "X86.h"
Chris Lattner155e68f2003-04-23 16:24:55 +000017#include "llvm/PassManager.h"
Chris Lattner3dffa792002-10-30 00:47:49 +000018#include "llvm/CodeGen/MachineFunction.h"
Chris Lattnerd91d86f2003-01-13 00:51:23 +000019#include "llvm/CodeGen/Passes.h"
Matt Flemingd8a33dd2010-05-21 12:54:43 +000020#include "llvm/MC/MCCodeEmitter.h"
21#include "llvm/MC/MCStreamer.h"
David Greene71847812009-07-14 20:18:05 +000022#include "llvm/Support/FormattedStream.h"
Chris Lattner0cf0c372004-07-11 04:17:10 +000023#include "llvm/Target/TargetOptions.h"
Daniel Dunbar0c795d62009-07-25 06:49:55 +000024#include "llvm/Target/TargetRegistry.h"
Chris Lattner1e60a912003-12-20 01:22:19 +000025using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000026
Daniel Dunbar5d067fe2010-03-20 22:36:22 +000027static MCAsmInfo *createMCAsmInfo(const Target &T, StringRef TT) {
Chris Lattnera7ac47c2009-08-12 07:22:17 +000028 Triple TheTriple(TT);
Daniel Dunbar912225e2011-04-19 21:14:45 +000029
30 if (TheTriple.isOSDarwin() || TheTriple.getEnvironment() == Triple::MachO)
Chris Lattner2807afa2009-08-22 21:03:30 +000031 return new X86MCAsmInfoDarwin(TheTriple);
Daniel Dunbar912225e2011-04-19 21:14:45 +000032
33 if (TheTriple.isOSWindows())
34 return new X86MCAsmInfoCOFF(TheTriple);
35
36 return new X86ELFMCAsmInfo(TheTriple);
Chris Lattnera7ac47c2009-08-12 07:22:17 +000037}
38
Matt Flemingd8a33dd2010-05-21 12:54:43 +000039static MCStreamer *createMCStreamer(const Target &T, const std::string &TT,
40 MCContext &Ctx, TargetAsmBackend &TAB,
41 raw_ostream &_OS,
42 MCCodeEmitter *_Emitter,
Rafael Espindola96aa78c2011-01-23 17:55:27 +000043 bool RelaxAll,
44 bool NoExecStack) {
Matt Flemingd8a33dd2010-05-21 12:54:43 +000045 Triple TheTriple(TT);
Daniel Dunbar912225e2011-04-19 21:14:45 +000046
47 if (TheTriple.isOSDarwin() || TheTriple.getEnvironment() == Triple::MachO)
Benjamin Kramerc5752832010-08-04 13:16:30 +000048 return createMachOStreamer(Ctx, TAB, _OS, _Emitter, RelaxAll);
Daniel Dunbar912225e2011-04-19 21:14:45 +000049
50 if (TheTriple.isOSWindows())
51 return createWinCOFFStreamer(Ctx, TAB, *_Emitter, _OS, RelaxAll);
52
53 return createELFStreamer(Ctx, TAB, _OS, _Emitter, RelaxAll, NoExecStack);
Matt Flemingd8a33dd2010-05-21 12:54:43 +000054}
55
NAKAMURA Takumie310b3a2011-02-17 12:23:50 +000056extern "C" void LLVMInitializeX86Target() {
Daniel Dunbar0c795d62009-07-25 06:49:55 +000057 // Register the target.
58 RegisterTargetMachine<X86_32TargetMachine> X(TheX86_32Target);
59 RegisterTargetMachine<X86_64TargetMachine> Y(TheX86_64Target);
Chris Lattnera7ac47c2009-08-12 07:22:17 +000060
61 // Register the target asm info.
Chris Lattneraf76e592009-08-22 20:48:53 +000062 RegisterAsmInfoFn A(TheX86_32Target, createMCAsmInfo);
63 RegisterAsmInfoFn B(TheX86_64Target, createMCAsmInfo);
Daniel Dunbar7168a7d2009-08-27 08:12:55 +000064
65 // Register the code emitter.
Chris Lattnerce79a252010-02-03 21:14:33 +000066 TargetRegistry::RegisterCodeEmitter(TheX86_32Target,
Chris Lattnerf0683042010-02-13 00:49:29 +000067 createX86_32MCCodeEmitter);
Chris Lattnerce79a252010-02-03 21:14:33 +000068 TargetRegistry::RegisterCodeEmitter(TheX86_64Target,
Chris Lattnerf0683042010-02-13 00:49:29 +000069 createX86_64MCCodeEmitter);
Daniel Dunbar12783d12010-02-21 21:54:14 +000070
71 // Register the asm backend.
72 TargetRegistry::RegisterAsmBackend(TheX86_32Target,
73 createX86_32AsmBackend);
74 TargetRegistry::RegisterAsmBackend(TheX86_64Target,
75 createX86_64AsmBackend);
Matt Flemingd8a33dd2010-05-21 12:54:43 +000076
77 // Register the object streamer.
78 TargetRegistry::RegisterObjectStreamer(TheX86_32Target,
79 createMCStreamer);
80 TargetRegistry::RegisterObjectStreamer(TheX86_64Target,
81 createMCStreamer);
Daniel Dunbar51b198a2009-07-15 20:24:03 +000082}
Douglas Gregor1555a232009-06-16 20:12:29 +000083
Jim Laskeyfde1b3b2006-09-07 23:39:26 +000084
Daniel Dunbare28039c2009-08-02 23:37:13 +000085X86_32TargetMachine::X86_32TargetMachine(const Target &T, const std::string &TT,
Daniel Dunbar51b198a2009-07-15 20:24:03 +000086 const std::string &FS)
Rafael Espindola0febc462010-10-03 18:59:45 +000087 : X86TargetMachine(T, TT, FS, false),
88 DataLayout(getSubtargetImpl()->isTargetDarwin() ?
Duncan Sandsc92cb642011-03-01 20:56:50 +000089 "e-p:32:32-f64:32:64-i64:32:64-f80:128:128-f128:128:128-n8:16:32" :
Rafael Espindola0febc462010-10-03 18:59:45 +000090 (getSubtargetImpl()->isTargetCygMing() ||
91 getSubtargetImpl()->isTargetWindows()) ?
Duncan Sandsc92cb642011-03-01 20:56:50 +000092 "e-p:32:32-f64:64:64-i64:64:64-f80:32:32-f128:128:128-n8:16:32" :
93 "e-p:32:32-f64:32:64-i64:32:64-f80:32:32-f128:128:128-n8:16:32"),
Rafael Espindola0febc462010-10-03 18:59:45 +000094 InstrInfo(*this),
95 TSInfo(*this),
96 TLInfo(*this),
97 JITInfo(*this) {
Evan Cheng25ab6902006-09-08 06:48:29 +000098}
99
100
Daniel Dunbare28039c2009-08-02 23:37:13 +0000101X86_64TargetMachine::X86_64TargetMachine(const Target &T, const std::string &TT,
Daniel Dunbar51b198a2009-07-15 20:24:03 +0000102 const std::string &FS)
Rafael Espindola0febc462010-10-03 18:59:45 +0000103 : X86TargetMachine(T, TT, FS, true),
Duncan Sandsc92cb642011-03-01 20:56:50 +0000104 DataLayout("e-p:64:64-s:64-f64:64:64-i64:64:64-f80:128:128-f128:128:128-n8:16:32:64"),
Rafael Espindola0febc462010-10-03 18:59:45 +0000105 InstrInfo(*this),
106 TSInfo(*this),
107 TLInfo(*this),
108 JITInfo(*this) {
Evan Cheng25ab6902006-09-08 06:48:29 +0000109}
110
Chris Lattner11348ee2009-07-09 03:32:31 +0000111/// X86TargetMachine ctor - Create an X86 target.
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000112///
NAKAMURA Takumie310b3a2011-02-17 12:23:50 +0000113X86TargetMachine::X86TargetMachine(const Target &T, const std::string &TT,
Daniel Dunbar51b198a2009-07-15 20:24:03 +0000114 const std::string &FS, bool is64Bit)
Anton Korobeynikovd9e33852010-11-18 23:25:52 +0000115 : LLVMTargetMachine(T, TT),
Daniel Dunbare28039c2009-08-02 23:37:13 +0000116 Subtarget(TT, FS, is64Bit),
Anton Korobeynikov16c29b52011-01-10 12:39:04 +0000117 FrameLowering(*this, Subtarget),
Rafael Espindola0febc462010-10-03 18:59:45 +0000118 ELFWriterInfo(is64Bit, true) {
Evan Chengaabe38b2007-12-22 09:40:20 +0000119 DefRelocModel = getRelocationModel();
Anton Korobeynikov699647c2010-08-21 17:21:11 +0000120
Chris Lattner11348ee2009-07-09 03:32:31 +0000121 // If no relocation model was picked, default as appropriate for the target.
Anton Korobeynikov7c1c2612008-02-20 11:22:39 +0000122 if (getRelocationModel() == Reloc::Default) {
Anton Korobeynikov699647c2010-08-21 17:21:11 +0000123 // Darwin defaults to PIC in 64 bit mode and dynamic-no-pic in 32 bit mode.
124 // Win64 requires rip-rel addressing, thus we force it to PIC. Otherwise we
125 // use static relocation model by default.
126 if (Subtarget.isTargetDarwin()) {
127 if (Subtarget.is64Bit())
128 setRelocationModel(Reloc::PIC_);
129 else
130 setRelocationModel(Reloc::DynamicNoPIC);
131 } else if (Subtarget.isTargetWin64())
Chris Lattner11348ee2009-07-09 03:32:31 +0000132 setRelocationModel(Reloc::PIC_);
133 else
Anton Korobeynikov699647c2010-08-21 17:21:11 +0000134 setRelocationModel(Reloc::Static);
Anton Korobeynikov7c1c2612008-02-20 11:22:39 +0000135 }
Dan Gohman6520e202008-10-18 02:06:02 +0000136
Chris Lattnere4df7562009-07-09 03:15:51 +0000137 assert(getRelocationModel() != Reloc::Default &&
138 "Relocation mode not picked");
139
Chris Lattnerb2fc55b2009-07-09 03:37:30 +0000140 // ELF and X86-64 don't have a distinct DynamicNoPIC model. DynamicNoPIC
Chris Lattner11348ee2009-07-09 03:32:31 +0000141 // is defined as a model for code which may be used in static or dynamic
Chris Lattner88e1fd52009-07-09 04:24:46 +0000142 // executables but not necessarily a shared library. On X86-32 we just
143 // compile in -static mode, in x86-64 we use PIC.
144 if (getRelocationModel() == Reloc::DynamicNoPIC) {
145 if (is64Bit)
146 setRelocationModel(Reloc::PIC_);
147 else if (!Subtarget.isTargetDarwin())
148 setRelocationModel(Reloc::Static);
149 }
Dan Gohman6520e202008-10-18 02:06:02 +0000150
Chris Lattnerb2fc55b2009-07-09 03:37:30 +0000151 // If we are on Darwin, disallow static relocation model in X86-64 mode, since
152 // the Mach-O file format doesn't support it.
153 if (getRelocationModel() == Reloc::Static &&
154 Subtarget.isTargetDarwin() &&
155 is64Bit)
156 setRelocationModel(Reloc::PIC_);
Anton Korobeynikov699647c2010-08-21 17:21:11 +0000157
Chris Lattner11348ee2009-07-09 03:32:31 +0000158 // Determine the PICStyle based on the target selected.
159 if (getRelocationModel() == Reloc::Static) {
160 // Unless we're in PIC or DynamicNoPIC mode, set the PIC style to None.
161 Subtarget.setPICStyle(PICStyles::None);
Anton Korobeynikov699647c2010-08-21 17:21:11 +0000162 } else if (Subtarget.is64Bit()) {
163 // PIC in 64 bit mode is always rip-rel.
164 Subtarget.setPICStyle(PICStyles::RIPRel);
Chris Lattner11348ee2009-07-09 03:32:31 +0000165 } else if (Subtarget.isTargetCygMing()) {
Chris Lattnere4df7562009-07-09 03:15:51 +0000166 Subtarget.setPICStyle(PICStyles::None);
167 } else if (Subtarget.isTargetDarwin()) {
Anton Korobeynikov699647c2010-08-21 17:21:11 +0000168 if (getRelocationModel() == Reloc::PIC_)
Chris Lattner8097b652009-07-10 20:58:47 +0000169 Subtarget.setPICStyle(PICStyles::StubPIC);
170 else {
171 assert(getRelocationModel() == Reloc::DynamicNoPIC);
172 Subtarget.setPICStyle(PICStyles::StubDynamicNoPIC);
173 }
Anton Korobeynikov7c1c2612008-02-20 11:22:39 +0000174 } else if (Subtarget.isTargetELF()) {
Anton Korobeynikov699647c2010-08-21 17:21:11 +0000175 Subtarget.setPICStyle(PICStyles::GOT);
Anton Korobeynikov7c1c2612008-02-20 11:22:39 +0000176 }
Anton Korobeynikov699647c2010-08-21 17:21:11 +0000177
Chris Lattner11348ee2009-07-09 03:32:31 +0000178 // Finally, if we have "none" as our PIC style, force to static mode.
179 if (Subtarget.getPICStyle() == PICStyles::None)
180 setRelocationModel(Reloc::Static);
Chris Lattner4efab052006-02-03 18:59:39 +0000181}
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000182
Chris Lattner1911fd42006-09-04 04:14:57 +0000183//===----------------------------------------------------------------------===//
184// Pass Pipeline Configuration
185//===----------------------------------------------------------------------===//
Chris Lattnerc9bbfbc2003-08-05 16:34:44 +0000186
Bill Wendling98a366d2009-04-29 23:29:43 +0000187bool X86TargetMachine::addInstSelector(PassManagerBase &PM,
188 CodeGenOpt::Level OptLevel) {
Nate Begeman73bfa712005-08-18 23:53:15 +0000189 // Install an instruction selector.
Bill Wendlingbe8cc2a2009-04-29 00:15:41 +0000190 PM.add(createX86ISelDag(*this, OptLevel));
Dan Gohman71b7f642008-10-25 17:46:52 +0000191
Dan Gohman84023e02010-07-10 09:00:22 +0000192 // For 32-bit, prepend instructions to set the "global base reg" for PIC.
193 if (!Subtarget.is64Bit())
194 PM.add(createGlobalBaseRegPass());
195
Chris Lattner1911fd42006-09-04 04:14:57 +0000196 return false;
Brian Gaekede3aa4f2003-06-18 21:43:21 +0000197}
198
Bill Wendling98a366d2009-04-29 23:29:43 +0000199bool X86TargetMachine::addPreRegAlloc(PassManagerBase &PM,
200 CodeGenOpt::Level OptLevel) {
Jim Grosbachfa85eb62010-04-06 20:26:37 +0000201 PM.add(createX86MaxStackAlignmentHeuristicPass());
Anton Korobeynikov856914f2008-04-23 18:23:05 +0000202 return false; // -print-machineinstr shouldn't print after this.
203}
204
Bill Wendling98a366d2009-04-29 23:29:43 +0000205bool X86TargetMachine::addPostRegAlloc(PassManagerBase &PM,
206 CodeGenOpt::Level OptLevel) {
Chris Lattnerd91d86f2003-01-13 00:51:23 +0000207 PM.add(createX86FloatingPointStackifierPass());
Chris Lattner1911fd42006-09-04 04:14:57 +0000208 return true; // -print-machineinstr should print after this.
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000209}
210
Jakob Stoklund Olesen352aa502010-03-25 17:25:00 +0000211bool X86TargetMachine::addPreEmitPass(PassManagerBase &PM,
212 CodeGenOpt::Level OptLevel) {
Eric Christopherf4f06902010-05-05 07:35:59 +0000213 if (OptLevel != CodeGenOpt::None && Subtarget.hasSSE2()) {
Jakob Stoklund Olesen352aa502010-03-25 17:25:00 +0000214 PM.add(createSSEDomainFixPass());
215 return true;
216 }
217 return false;
218}
219
Bill Wendling98a366d2009-04-29 23:29:43 +0000220bool X86TargetMachine::addCodeEmitter(PassManagerBase &PM,
221 CodeGenOpt::Level OptLevel,
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000222 JITCodeEmitter &JCE) {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000223 // FIXME: Move this to TargetJITInfo!
224 // On Darwin, do not override 64-bit setting made in X86TargetMachine().
NAKAMURA Takumie310b3a2011-02-17 12:23:50 +0000225 if (DefRelocModel == Reloc::Default &&
Chris Lattnerb2fc55b2009-07-09 03:37:30 +0000226 (!Subtarget.isTargetDarwin() || !Subtarget.is64Bit())) {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000227 setRelocationModel(Reloc::Static);
Chris Lattnerb2fc55b2009-07-09 03:37:30 +0000228 Subtarget.setPICStyle(PICStyles::None);
229 }
NAKAMURA Takumie310b3a2011-02-17 12:23:50 +0000230
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000231
232 PM.add(createX86JITCodeEmitterPass(*this, JCE));
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000233
234 return false;
235}
236
Eric Christopherf4f43cb2009-12-21 08:15:29 +0000237void X86TargetMachine::setCodeModelForStatic() {
238
239 if (getCodeModel() != CodeModel::Default) return;
240
241 // For static codegen, if we're not already set, use Small codegen.
242 setCodeModel(CodeModel::Small);
243}
244
245
246void X86TargetMachine::setCodeModelForJIT() {
247
248 if (getCodeModel() != CodeModel::Default) return;
249
250 // 64-bit JIT places everything in the same buffer except external functions.
251 if (Subtarget.is64Bit())
252 setCodeModel(CodeModel::Large);
253 else
254 setCodeModel(CodeModel::Small);
255}