blob: 8fb94703daaf74eda092682e65084a9b9c8755db [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);
29 switch (TheTriple.getOS()) {
30 case Triple::Darwin:
Chris Lattner2807afa2009-08-22 21:03:30 +000031 return new X86MCAsmInfoDarwin(TheTriple);
Chris Lattnera7ac47c2009-08-12 07:22:17 +000032 case Triple::MinGW32:
Chris Lattnera7ac47c2009-08-12 07:22:17 +000033 case Triple::Cygwin:
Chris Lattnera7ac47c2009-08-12 07:22:17 +000034 case Triple::Win32:
Evan Cheng2bffee22011-02-01 01:14:13 +000035 if (TheTriple.getEnvironment() == Triple::MachO)
36 return new X86MCAsmInfoDarwin(TheTriple);
37 else
38 return new X86MCAsmInfoCOFF(TheTriple);
Chris Lattnera7ac47c2009-08-12 07:22:17 +000039 default:
Chris Lattneraf76e592009-08-22 20:48:53 +000040 return new X86ELFMCAsmInfo(TheTriple);
Chris Lattnera7ac47c2009-08-12 07:22:17 +000041 }
42}
43
Matt Flemingd8a33dd2010-05-21 12:54:43 +000044static MCStreamer *createMCStreamer(const Target &T, const std::string &TT,
45 MCContext &Ctx, TargetAsmBackend &TAB,
46 raw_ostream &_OS,
47 MCCodeEmitter *_Emitter,
Rafael Espindola96aa78c2011-01-23 17:55:27 +000048 bool RelaxAll,
49 bool NoExecStack) {
Matt Flemingd8a33dd2010-05-21 12:54:43 +000050 Triple TheTriple(TT);
51 switch (TheTriple.getOS()) {
Benjamin Kramerc5752832010-08-04 13:16:30 +000052 case Triple::Darwin:
53 return createMachOStreamer(Ctx, TAB, _OS, _Emitter, RelaxAll);
54 case Triple::MinGW32:
Benjamin Kramerc5752832010-08-04 13:16:30 +000055 case Triple::Cygwin:
Michael J. Spencerdfd30182010-07-27 06:46:15 +000056 case Triple::Win32:
Evan Cheng2bffee22011-02-01 01:14:13 +000057 if (TheTriple.getEnvironment() == Triple::MachO)
58 return createMachOStreamer(Ctx, TAB, _OS, _Emitter, RelaxAll);
59 else
60 return createWinCOFFStreamer(Ctx, TAB, *_Emitter, _OS, RelaxAll);
Matt Flemingd8a33dd2010-05-21 12:54:43 +000061 default:
Rafael Espindola96aa78c2011-01-23 17:55:27 +000062 return createELFStreamer(Ctx, TAB, _OS, _Emitter, RelaxAll, NoExecStack);
Matt Flemingd8a33dd2010-05-21 12:54:43 +000063 }
64}
65
NAKAMURA Takumie310b3a2011-02-17 12:23:50 +000066extern "C" void LLVMInitializeX86Target() {
Daniel Dunbar0c795d62009-07-25 06:49:55 +000067 // Register the target.
68 RegisterTargetMachine<X86_32TargetMachine> X(TheX86_32Target);
69 RegisterTargetMachine<X86_64TargetMachine> Y(TheX86_64Target);
Chris Lattnera7ac47c2009-08-12 07:22:17 +000070
71 // Register the target asm info.
Chris Lattneraf76e592009-08-22 20:48:53 +000072 RegisterAsmInfoFn A(TheX86_32Target, createMCAsmInfo);
73 RegisterAsmInfoFn B(TheX86_64Target, createMCAsmInfo);
Daniel Dunbar7168a7d2009-08-27 08:12:55 +000074
75 // Register the code emitter.
Chris Lattnerce79a252010-02-03 21:14:33 +000076 TargetRegistry::RegisterCodeEmitter(TheX86_32Target,
Chris Lattnerf0683042010-02-13 00:49:29 +000077 createX86_32MCCodeEmitter);
Chris Lattnerce79a252010-02-03 21:14:33 +000078 TargetRegistry::RegisterCodeEmitter(TheX86_64Target,
Chris Lattnerf0683042010-02-13 00:49:29 +000079 createX86_64MCCodeEmitter);
Daniel Dunbar12783d12010-02-21 21:54:14 +000080
81 // Register the asm backend.
82 TargetRegistry::RegisterAsmBackend(TheX86_32Target,
83 createX86_32AsmBackend);
84 TargetRegistry::RegisterAsmBackend(TheX86_64Target,
85 createX86_64AsmBackend);
Matt Flemingd8a33dd2010-05-21 12:54:43 +000086
87 // Register the object streamer.
88 TargetRegistry::RegisterObjectStreamer(TheX86_32Target,
89 createMCStreamer);
90 TargetRegistry::RegisterObjectStreamer(TheX86_64Target,
91 createMCStreamer);
Daniel Dunbar51b198a2009-07-15 20:24:03 +000092}
Douglas Gregor1555a232009-06-16 20:12:29 +000093
Jim Laskeyfde1b3b2006-09-07 23:39:26 +000094
Daniel Dunbare28039c2009-08-02 23:37:13 +000095X86_32TargetMachine::X86_32TargetMachine(const Target &T, const std::string &TT,
Daniel Dunbar51b198a2009-07-15 20:24:03 +000096 const std::string &FS)
Rafael Espindola0febc462010-10-03 18:59:45 +000097 : X86TargetMachine(T, TT, FS, false),
98 DataLayout(getSubtargetImpl()->isTargetDarwin() ?
Duncan Sandsc92cb642011-03-01 20:56:50 +000099 "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 +0000100 (getSubtargetImpl()->isTargetCygMing() ||
101 getSubtargetImpl()->isTargetWindows()) ?
Duncan Sandsc92cb642011-03-01 20:56:50 +0000102 "e-p:32:32-f64:64:64-i64:64:64-f80:32:32-f128:128:128-n8:16:32" :
103 "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 +0000104 InstrInfo(*this),
105 TSInfo(*this),
106 TLInfo(*this),
107 JITInfo(*this) {
Evan Cheng25ab6902006-09-08 06:48:29 +0000108}
109
110
Daniel Dunbare28039c2009-08-02 23:37:13 +0000111X86_64TargetMachine::X86_64TargetMachine(const Target &T, const std::string &TT,
Daniel Dunbar51b198a2009-07-15 20:24:03 +0000112 const std::string &FS)
Rafael Espindola0febc462010-10-03 18:59:45 +0000113 : X86TargetMachine(T, TT, FS, true),
Duncan Sandsc92cb642011-03-01 20:56:50 +0000114 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 +0000115 InstrInfo(*this),
116 TSInfo(*this),
117 TLInfo(*this),
118 JITInfo(*this) {
Evan Cheng25ab6902006-09-08 06:48:29 +0000119}
120
Chris Lattner11348ee2009-07-09 03:32:31 +0000121/// X86TargetMachine ctor - Create an X86 target.
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000122///
NAKAMURA Takumie310b3a2011-02-17 12:23:50 +0000123X86TargetMachine::X86TargetMachine(const Target &T, const std::string &TT,
Daniel Dunbar51b198a2009-07-15 20:24:03 +0000124 const std::string &FS, bool is64Bit)
Anton Korobeynikovd9e33852010-11-18 23:25:52 +0000125 : LLVMTargetMachine(T, TT),
Daniel Dunbare28039c2009-08-02 23:37:13 +0000126 Subtarget(TT, FS, is64Bit),
Anton Korobeynikov16c29b52011-01-10 12:39:04 +0000127 FrameLowering(*this, Subtarget),
Rafael Espindola0febc462010-10-03 18:59:45 +0000128 ELFWriterInfo(is64Bit, true) {
Evan Chengaabe38b2007-12-22 09:40:20 +0000129 DefRelocModel = getRelocationModel();
Anton Korobeynikov699647c2010-08-21 17:21:11 +0000130
Chris Lattner11348ee2009-07-09 03:32:31 +0000131 // If no relocation model was picked, default as appropriate for the target.
Anton Korobeynikov7c1c2612008-02-20 11:22:39 +0000132 if (getRelocationModel() == Reloc::Default) {
Anton Korobeynikov699647c2010-08-21 17:21:11 +0000133 // Darwin defaults to PIC in 64 bit mode and dynamic-no-pic in 32 bit mode.
134 // Win64 requires rip-rel addressing, thus we force it to PIC. Otherwise we
135 // use static relocation model by default.
136 if (Subtarget.isTargetDarwin()) {
137 if (Subtarget.is64Bit())
138 setRelocationModel(Reloc::PIC_);
139 else
140 setRelocationModel(Reloc::DynamicNoPIC);
141 } else if (Subtarget.isTargetWin64())
Chris Lattner11348ee2009-07-09 03:32:31 +0000142 setRelocationModel(Reloc::PIC_);
143 else
Anton Korobeynikov699647c2010-08-21 17:21:11 +0000144 setRelocationModel(Reloc::Static);
Anton Korobeynikov7c1c2612008-02-20 11:22:39 +0000145 }
Dan Gohman6520e202008-10-18 02:06:02 +0000146
Chris Lattnere4df7562009-07-09 03:15:51 +0000147 assert(getRelocationModel() != Reloc::Default &&
148 "Relocation mode not picked");
149
Chris Lattnerb2fc55b2009-07-09 03:37:30 +0000150 // ELF and X86-64 don't have a distinct DynamicNoPIC model. DynamicNoPIC
Chris Lattner11348ee2009-07-09 03:32:31 +0000151 // is defined as a model for code which may be used in static or dynamic
Chris Lattner88e1fd52009-07-09 04:24:46 +0000152 // executables but not necessarily a shared library. On X86-32 we just
153 // compile in -static mode, in x86-64 we use PIC.
154 if (getRelocationModel() == Reloc::DynamicNoPIC) {
155 if (is64Bit)
156 setRelocationModel(Reloc::PIC_);
157 else if (!Subtarget.isTargetDarwin())
158 setRelocationModel(Reloc::Static);
159 }
Dan Gohman6520e202008-10-18 02:06:02 +0000160
Chris Lattnerb2fc55b2009-07-09 03:37:30 +0000161 // If we are on Darwin, disallow static relocation model in X86-64 mode, since
162 // the Mach-O file format doesn't support it.
163 if (getRelocationModel() == Reloc::Static &&
164 Subtarget.isTargetDarwin() &&
165 is64Bit)
166 setRelocationModel(Reloc::PIC_);
Anton Korobeynikov699647c2010-08-21 17:21:11 +0000167
Chris Lattner11348ee2009-07-09 03:32:31 +0000168 // Determine the PICStyle based on the target selected.
169 if (getRelocationModel() == Reloc::Static) {
170 // Unless we're in PIC or DynamicNoPIC mode, set the PIC style to None.
171 Subtarget.setPICStyle(PICStyles::None);
Anton Korobeynikov699647c2010-08-21 17:21:11 +0000172 } else if (Subtarget.is64Bit()) {
173 // PIC in 64 bit mode is always rip-rel.
174 Subtarget.setPICStyle(PICStyles::RIPRel);
Chris Lattner11348ee2009-07-09 03:32:31 +0000175 } else if (Subtarget.isTargetCygMing()) {
Chris Lattnere4df7562009-07-09 03:15:51 +0000176 Subtarget.setPICStyle(PICStyles::None);
177 } else if (Subtarget.isTargetDarwin()) {
Anton Korobeynikov699647c2010-08-21 17:21:11 +0000178 if (getRelocationModel() == Reloc::PIC_)
Chris Lattner8097b652009-07-10 20:58:47 +0000179 Subtarget.setPICStyle(PICStyles::StubPIC);
180 else {
181 assert(getRelocationModel() == Reloc::DynamicNoPIC);
182 Subtarget.setPICStyle(PICStyles::StubDynamicNoPIC);
183 }
Anton Korobeynikov7c1c2612008-02-20 11:22:39 +0000184 } else if (Subtarget.isTargetELF()) {
Anton Korobeynikov699647c2010-08-21 17:21:11 +0000185 Subtarget.setPICStyle(PICStyles::GOT);
Anton Korobeynikov7c1c2612008-02-20 11:22:39 +0000186 }
Anton Korobeynikov699647c2010-08-21 17:21:11 +0000187
Chris Lattner11348ee2009-07-09 03:32:31 +0000188 // Finally, if we have "none" as our PIC style, force to static mode.
189 if (Subtarget.getPICStyle() == PICStyles::None)
190 setRelocationModel(Reloc::Static);
Chris Lattner4efab052006-02-03 18:59:39 +0000191}
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000192
Chris Lattner1911fd42006-09-04 04:14:57 +0000193//===----------------------------------------------------------------------===//
194// Pass Pipeline Configuration
195//===----------------------------------------------------------------------===//
Chris Lattnerc9bbfbc2003-08-05 16:34:44 +0000196
Bill Wendling98a366d2009-04-29 23:29:43 +0000197bool X86TargetMachine::addInstSelector(PassManagerBase &PM,
198 CodeGenOpt::Level OptLevel) {
Nate Begeman73bfa712005-08-18 23:53:15 +0000199 // Install an instruction selector.
Bill Wendlingbe8cc2a2009-04-29 00:15:41 +0000200 PM.add(createX86ISelDag(*this, OptLevel));
Dan Gohman71b7f642008-10-25 17:46:52 +0000201
Dan Gohman84023e02010-07-10 09:00:22 +0000202 // For 32-bit, prepend instructions to set the "global base reg" for PIC.
203 if (!Subtarget.is64Bit())
204 PM.add(createGlobalBaseRegPass());
205
Chris Lattner1911fd42006-09-04 04:14:57 +0000206 return false;
Brian Gaekede3aa4f2003-06-18 21:43:21 +0000207}
208
Bill Wendling98a366d2009-04-29 23:29:43 +0000209bool X86TargetMachine::addPreRegAlloc(PassManagerBase &PM,
210 CodeGenOpt::Level OptLevel) {
Jim Grosbachfa85eb62010-04-06 20:26:37 +0000211 PM.add(createX86MaxStackAlignmentHeuristicPass());
Anton Korobeynikov856914f2008-04-23 18:23:05 +0000212 return false; // -print-machineinstr shouldn't print after this.
213}
214
Bill Wendling98a366d2009-04-29 23:29:43 +0000215bool X86TargetMachine::addPostRegAlloc(PassManagerBase &PM,
216 CodeGenOpt::Level OptLevel) {
Chris Lattnerd91d86f2003-01-13 00:51:23 +0000217 PM.add(createX86FloatingPointStackifierPass());
Chris Lattner1911fd42006-09-04 04:14:57 +0000218 return true; // -print-machineinstr should print after this.
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000219}
220
Jakob Stoklund Olesen352aa502010-03-25 17:25:00 +0000221bool X86TargetMachine::addPreEmitPass(PassManagerBase &PM,
222 CodeGenOpt::Level OptLevel) {
Eric Christopherf4f06902010-05-05 07:35:59 +0000223 if (OptLevel != CodeGenOpt::None && Subtarget.hasSSE2()) {
Jakob Stoklund Olesen352aa502010-03-25 17:25:00 +0000224 PM.add(createSSEDomainFixPass());
225 return true;
226 }
227 return false;
228}
229
Bill Wendling98a366d2009-04-29 23:29:43 +0000230bool X86TargetMachine::addCodeEmitter(PassManagerBase &PM,
231 CodeGenOpt::Level OptLevel,
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000232 JITCodeEmitter &JCE) {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000233 // FIXME: Move this to TargetJITInfo!
234 // On Darwin, do not override 64-bit setting made in X86TargetMachine().
NAKAMURA Takumie310b3a2011-02-17 12:23:50 +0000235 if (DefRelocModel == Reloc::Default &&
Chris Lattnerb2fc55b2009-07-09 03:37:30 +0000236 (!Subtarget.isTargetDarwin() || !Subtarget.is64Bit())) {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000237 setRelocationModel(Reloc::Static);
Chris Lattnerb2fc55b2009-07-09 03:37:30 +0000238 Subtarget.setPICStyle(PICStyles::None);
239 }
NAKAMURA Takumie310b3a2011-02-17 12:23:50 +0000240
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000241
242 PM.add(createX86JITCodeEmitterPass(*this, JCE));
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000243
244 return false;
245}
246
Eric Christopherf4f43cb2009-12-21 08:15:29 +0000247void X86TargetMachine::setCodeModelForStatic() {
248
249 if (getCodeModel() != CodeModel::Default) return;
250
251 // For static codegen, if we're not already set, use Small codegen.
252 setCodeModel(CodeModel::Small);
253}
254
255
256void X86TargetMachine::setCodeModelForJIT() {
257
258 if (getCodeModel() != CodeModel::Default) return;
259
260 // 64-bit JIT places everything in the same buffer except external functions.
261 if (Subtarget.is64Bit())
262 setCodeModel(CodeModel::Large);
263 else
264 setCodeModel(CodeModel::Small);
265}