blob: 2a93a2d5018fcc9aef5c51a1fcc02ba113599840 [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"
Jakob Stoklund Olesene928ec92010-07-16 16:38:12 +000022#include "llvm/Support/CommandLine.h"
David Greene71847812009-07-14 20:18:05 +000023#include "llvm/Support/FormattedStream.h"
Chris Lattner0cf0c372004-07-11 04:17:10 +000024#include "llvm/Target/TargetOptions.h"
Daniel Dunbar0c795d62009-07-25 06:49:55 +000025#include "llvm/Target/TargetRegistry.h"
Chris Lattner1e60a912003-12-20 01:22:19 +000026using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000027
Jakob Stoklund Olesene928ec92010-07-16 16:38:12 +000028static cl::opt<bool>
29LiveX87("live-x87", cl::desc("Allow live X87 registers across blocks"));
30
Daniel Dunbar5d067fe2010-03-20 22:36:22 +000031static MCAsmInfo *createMCAsmInfo(const Target &T, StringRef TT) {
Chris Lattnera7ac47c2009-08-12 07:22:17 +000032 Triple TheTriple(TT);
33 switch (TheTriple.getOS()) {
34 case Triple::Darwin:
Chris Lattner2807afa2009-08-22 21:03:30 +000035 return new X86MCAsmInfoDarwin(TheTriple);
Chris Lattnera7ac47c2009-08-12 07:22:17 +000036 case Triple::MinGW32:
37 case Triple::MinGW64:
38 case Triple::Cygwin:
Chris Lattnera7ac47c2009-08-12 07:22:17 +000039 case Triple::Win32:
Anton Korobeynikov245ba962010-02-14 15:19:54 +000040 return new X86MCAsmInfoCOFF(TheTriple);
Chris Lattnera7ac47c2009-08-12 07:22:17 +000041 default:
Chris Lattneraf76e592009-08-22 20:48:53 +000042 return new X86ELFMCAsmInfo(TheTriple);
Chris Lattnera7ac47c2009-08-12 07:22:17 +000043 }
44}
45
Matt Flemingd8a33dd2010-05-21 12:54:43 +000046static MCStreamer *createMCStreamer(const Target &T, const std::string &TT,
47 MCContext &Ctx, TargetAsmBackend &TAB,
48 raw_ostream &_OS,
49 MCCodeEmitter *_Emitter,
50 bool RelaxAll) {
51 Triple TheTriple(TT);
52 switch (TheTriple.getOS()) {
53 default:
54 return createMachOStreamer(Ctx, TAB, _OS, _Emitter, RelaxAll);
55 }
56}
57
Daniel Dunbar51b198a2009-07-15 20:24:03 +000058extern "C" void LLVMInitializeX86Target() {
Daniel Dunbar0c795d62009-07-25 06:49:55 +000059 // Register the target.
60 RegisterTargetMachine<X86_32TargetMachine> X(TheX86_32Target);
61 RegisterTargetMachine<X86_64TargetMachine> Y(TheX86_64Target);
Chris Lattnera7ac47c2009-08-12 07:22:17 +000062
63 // Register the target asm info.
Chris Lattneraf76e592009-08-22 20:48:53 +000064 RegisterAsmInfoFn A(TheX86_32Target, createMCAsmInfo);
65 RegisterAsmInfoFn B(TheX86_64Target, createMCAsmInfo);
Daniel Dunbar7168a7d2009-08-27 08:12:55 +000066
67 // Register the code emitter.
Chris Lattnerce79a252010-02-03 21:14:33 +000068 TargetRegistry::RegisterCodeEmitter(TheX86_32Target,
Chris Lattnerf0683042010-02-13 00:49:29 +000069 createX86_32MCCodeEmitter);
Chris Lattnerce79a252010-02-03 21:14:33 +000070 TargetRegistry::RegisterCodeEmitter(TheX86_64Target,
Chris Lattnerf0683042010-02-13 00:49:29 +000071 createX86_64MCCodeEmitter);
Daniel Dunbar12783d12010-02-21 21:54:14 +000072
73 // Register the asm backend.
74 TargetRegistry::RegisterAsmBackend(TheX86_32Target,
75 createX86_32AsmBackend);
76 TargetRegistry::RegisterAsmBackend(TheX86_64Target,
77 createX86_64AsmBackend);
Matt Flemingd8a33dd2010-05-21 12:54:43 +000078
79 // Register the object streamer.
80 TargetRegistry::RegisterObjectStreamer(TheX86_32Target,
81 createMCStreamer);
82 TargetRegistry::RegisterObjectStreamer(TheX86_64Target,
83 createMCStreamer);
Daniel Dunbar51b198a2009-07-15 20:24:03 +000084}
Douglas Gregor1555a232009-06-16 20:12:29 +000085
Jim Laskeyfde1b3b2006-09-07 23:39:26 +000086
Daniel Dunbare28039c2009-08-02 23:37:13 +000087X86_32TargetMachine::X86_32TargetMachine(const Target &T, const std::string &TT,
Daniel Dunbar51b198a2009-07-15 20:24:03 +000088 const std::string &FS)
Daniel Dunbare28039c2009-08-02 23:37:13 +000089 : X86TargetMachine(T, TT, FS, false) {
Evan Cheng25ab6902006-09-08 06:48:29 +000090}
91
92
Daniel Dunbare28039c2009-08-02 23:37:13 +000093X86_64TargetMachine::X86_64TargetMachine(const Target &T, const std::string &TT,
Daniel Dunbar51b198a2009-07-15 20:24:03 +000094 const std::string &FS)
Daniel Dunbare28039c2009-08-02 23:37:13 +000095 : X86TargetMachine(T, TT, FS, true) {
Evan Cheng25ab6902006-09-08 06:48:29 +000096}
97
Chris Lattner11348ee2009-07-09 03:32:31 +000098/// X86TargetMachine ctor - Create an X86 target.
Chris Lattnerb4f68ed2002-10-29 22:37:54 +000099///
Daniel Dunbare28039c2009-08-02 23:37:13 +0000100X86TargetMachine::X86TargetMachine(const Target &T, const std::string &TT,
Daniel Dunbar51b198a2009-07-15 20:24:03 +0000101 const std::string &FS, bool is64Bit)
Chris Lattner0a31d2f2009-08-11 20:42:37 +0000102 : LLVMTargetMachine(T, TT),
Daniel Dunbare28039c2009-08-02 23:37:13 +0000103 Subtarget(TT, FS, is64Bit),
Dale Johannesen27f92be2007-08-06 21:48:35 +0000104 DataLayout(Subtarget.getDataLayout()),
Nate Begemanfb5792f2005-07-12 01:41:54 +0000105 FrameInfo(TargetFrameInfo::StackGrowsDown,
Anton Korobeynikovcf6b7392009-08-03 08:12:53 +0000106 Subtarget.getStackAlignment(),
107 (Subtarget.isTargetWin64() ? -40 :
108 (Subtarget.is64Bit() ? -8 : -4))),
Dan Gohmanff7a5622010-05-11 17:31:57 +0000109 InstrInfo(*this), JITInfo(*this), TLInfo(*this), TSInfo(*this),
110 ELFWriterInfo(*this) {
Evan Chengaabe38b2007-12-22 09:40:20 +0000111 DefRelocModel = getRelocationModel();
Chris Lattner11348ee2009-07-09 03:32:31 +0000112
113 // If no relocation model was picked, default as appropriate for the target.
Anton Korobeynikov7c1c2612008-02-20 11:22:39 +0000114 if (getRelocationModel() == Reloc::Default) {
Chris Lattner11348ee2009-07-09 03:32:31 +0000115 if (!Subtarget.isTargetDarwin())
Evan Cheng2c312ad2006-12-04 18:07:10 +0000116 setRelocationModel(Reloc::Static);
Chris Lattner11348ee2009-07-09 03:32:31 +0000117 else if (Subtarget.is64Bit())
118 setRelocationModel(Reloc::PIC_);
119 else
120 setRelocationModel(Reloc::DynamicNoPIC);
Anton Korobeynikov7c1c2612008-02-20 11:22:39 +0000121 }
Dan Gohman6520e202008-10-18 02:06:02 +0000122
Chris Lattnere4df7562009-07-09 03:15:51 +0000123 assert(getRelocationModel() != Reloc::Default &&
124 "Relocation mode not picked");
125
Chris Lattnerb2fc55b2009-07-09 03:37:30 +0000126 // ELF and X86-64 don't have a distinct DynamicNoPIC model. DynamicNoPIC
Chris Lattner11348ee2009-07-09 03:32:31 +0000127 // is defined as a model for code which may be used in static or dynamic
Chris Lattner88e1fd52009-07-09 04:24:46 +0000128 // executables but not necessarily a shared library. On X86-32 we just
129 // compile in -static mode, in x86-64 we use PIC.
130 if (getRelocationModel() == Reloc::DynamicNoPIC) {
131 if (is64Bit)
132 setRelocationModel(Reloc::PIC_);
133 else if (!Subtarget.isTargetDarwin())
134 setRelocationModel(Reloc::Static);
135 }
Dan Gohman6520e202008-10-18 02:06:02 +0000136
Chris Lattnerb2fc55b2009-07-09 03:37:30 +0000137 // If we are on Darwin, disallow static relocation model in X86-64 mode, since
138 // the Mach-O file format doesn't support it.
139 if (getRelocationModel() == Reloc::Static &&
140 Subtarget.isTargetDarwin() &&
141 is64Bit)
142 setRelocationModel(Reloc::PIC_);
143
Chris Lattner11348ee2009-07-09 03:32:31 +0000144 // Determine the PICStyle based on the target selected.
145 if (getRelocationModel() == Reloc::Static) {
146 // Unless we're in PIC or DynamicNoPIC mode, set the PIC style to None.
147 Subtarget.setPICStyle(PICStyles::None);
148 } else if (Subtarget.isTargetCygMing()) {
Chris Lattnere4df7562009-07-09 03:15:51 +0000149 Subtarget.setPICStyle(PICStyles::None);
150 } else if (Subtarget.isTargetDarwin()) {
Evan Chengae19abc2007-01-18 22:27:12 +0000151 if (Subtarget.is64Bit())
Duncan Sandsf9a67a82008-11-28 09:29:37 +0000152 Subtarget.setPICStyle(PICStyles::RIPRel);
Chris Lattner8097b652009-07-10 20:58:47 +0000153 else if (getRelocationModel() == Reloc::PIC_)
154 Subtarget.setPICStyle(PICStyles::StubPIC);
155 else {
156 assert(getRelocationModel() == Reloc::DynamicNoPIC);
157 Subtarget.setPICStyle(PICStyles::StubDynamicNoPIC);
158 }
Anton Korobeynikov7c1c2612008-02-20 11:22:39 +0000159 } else if (Subtarget.isTargetELF()) {
Evan Chengae19abc2007-01-18 22:27:12 +0000160 if (Subtarget.is64Bit())
Duncan Sandsf9a67a82008-11-28 09:29:37 +0000161 Subtarget.setPICStyle(PICStyles::RIPRel);
Anton Korobeynikov7f705592007-01-12 19:20:47 +0000162 else
Duncan Sandsf9a67a82008-11-28 09:29:37 +0000163 Subtarget.setPICStyle(PICStyles::GOT);
Anton Korobeynikov7c1c2612008-02-20 11:22:39 +0000164 }
Chris Lattnere4df7562009-07-09 03:15:51 +0000165
Chris Lattner11348ee2009-07-09 03:32:31 +0000166 // Finally, if we have "none" as our PIC style, force to static mode.
167 if (Subtarget.getPICStyle() == PICStyles::None)
168 setRelocationModel(Reloc::Static);
Chris Lattner4efab052006-02-03 18:59:39 +0000169}
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000170
Chris Lattner1911fd42006-09-04 04:14:57 +0000171//===----------------------------------------------------------------------===//
172// Pass Pipeline Configuration
173//===----------------------------------------------------------------------===//
Chris Lattnerc9bbfbc2003-08-05 16:34:44 +0000174
Bill Wendling98a366d2009-04-29 23:29:43 +0000175bool X86TargetMachine::addInstSelector(PassManagerBase &PM,
176 CodeGenOpt::Level OptLevel) {
Nate Begeman73bfa712005-08-18 23:53:15 +0000177 // Install an instruction selector.
Bill Wendlingbe8cc2a2009-04-29 00:15:41 +0000178 PM.add(createX86ISelDag(*this, OptLevel));
Dan Gohman71b7f642008-10-25 17:46:52 +0000179
Dan Gohman84023e02010-07-10 09:00:22 +0000180 // For 32-bit, prepend instructions to set the "global base reg" for PIC.
181 if (!Subtarget.is64Bit())
182 PM.add(createGlobalBaseRegPass());
183
Chris Lattner1911fd42006-09-04 04:14:57 +0000184 return false;
Brian Gaekede3aa4f2003-06-18 21:43:21 +0000185}
186
Bill Wendling98a366d2009-04-29 23:29:43 +0000187bool X86TargetMachine::addPreRegAlloc(PassManagerBase &PM,
188 CodeGenOpt::Level OptLevel) {
Dan Gohman14152b42010-07-06 20:24:04 +0000189 // Install a pass to insert x87 FP_REG_KILL instructions, as needed.
Jakob Stoklund Olesene928ec92010-07-16 16:38:12 +0000190 if (!LiveX87)
191 PM.add(createX87FPRegKillInserterPass());
Dan Gohman14152b42010-07-06 20:24:04 +0000192
Jim Grosbachfa85eb62010-04-06 20:26:37 +0000193 PM.add(createX86MaxStackAlignmentHeuristicPass());
Anton Korobeynikov856914f2008-04-23 18:23:05 +0000194 return false; // -print-machineinstr shouldn't print after this.
195}
196
Bill Wendling98a366d2009-04-29 23:29:43 +0000197bool X86TargetMachine::addPostRegAlloc(PassManagerBase &PM,
198 CodeGenOpt::Level OptLevel) {
Chris Lattnerd91d86f2003-01-13 00:51:23 +0000199 PM.add(createX86FloatingPointStackifierPass());
Chris Lattner1911fd42006-09-04 04:14:57 +0000200 return true; // -print-machineinstr should print after this.
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000201}
202
Jakob Stoklund Olesen352aa502010-03-25 17:25:00 +0000203bool X86TargetMachine::addPreEmitPass(PassManagerBase &PM,
204 CodeGenOpt::Level OptLevel) {
Eric Christopherf4f06902010-05-05 07:35:59 +0000205 if (OptLevel != CodeGenOpt::None && Subtarget.hasSSE2()) {
Jakob Stoklund Olesen352aa502010-03-25 17:25:00 +0000206 PM.add(createSSEDomainFixPass());
207 return true;
208 }
209 return false;
210}
211
Bill Wendling98a366d2009-04-29 23:29:43 +0000212bool X86TargetMachine::addCodeEmitter(PassManagerBase &PM,
213 CodeGenOpt::Level OptLevel,
Bruno Cardoso Lopes434dd4f2009-06-01 19:57:37 +0000214 JITCodeEmitter &JCE) {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000215 // FIXME: Move this to TargetJITInfo!
216 // On Darwin, do not override 64-bit setting made in X86TargetMachine().
217 if (DefRelocModel == Reloc::Default &&
Chris Lattnerb2fc55b2009-07-09 03:37:30 +0000218 (!Subtarget.isTargetDarwin() || !Subtarget.is64Bit())) {
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000219 setRelocationModel(Reloc::Static);
Chris Lattnerb2fc55b2009-07-09 03:37:30 +0000220 Subtarget.setPICStyle(PICStyles::None);
221 }
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000222
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000223
224 PM.add(createX86JITCodeEmitterPass(*this, JCE));
Bruno Cardoso Lopesa3f99f92009-05-30 20:51:52 +0000225
226 return false;
227}
228
Eric Christopherf4f43cb2009-12-21 08:15:29 +0000229void X86TargetMachine::setCodeModelForStatic() {
230
231 if (getCodeModel() != CodeModel::Default) return;
232
233 // For static codegen, if we're not already set, use Small codegen.
234 setCodeModel(CodeModel::Small);
235}
236
237
238void X86TargetMachine::setCodeModelForJIT() {
239
240 if (getCodeModel() != CodeModel::Default) return;
241
242 // 64-bit JIT places everything in the same buffer except external functions.
243 if (Subtarget.is64Bit())
244 setCodeModel(CodeModel::Large);
245 else
246 setCodeModel(CodeModel::Small);
247}