blob: 923823b98cd51db44f23676a99709e5fd38b106a [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
Jim Laskeyfde1b3b2006-09-07 23:39:26 +000014#include "X86TargetAsmInfo.h"
Chris Lattnerb4f68ed2002-10-29 22:37:54 +000015#include "X86TargetMachine.h"
Chris Lattner5bcd95c2002-12-24 00:04:01 +000016#include "X86.h"
Chris Lattnerbb144a82003-08-24 19:49:48 +000017#include "llvm/Module.h"
Chris Lattner155e68f2003-04-23 16:24:55 +000018#include "llvm/PassManager.h"
Chris Lattner3dffa792002-10-30 00:47:49 +000019#include "llvm/CodeGen/MachineFunction.h"
Chris Lattnerd91d86f2003-01-13 00:51:23 +000020#include "llvm/CodeGen/Passes.h"
Owen Andersoncb371882008-08-21 00:14:44 +000021#include "llvm/Support/raw_ostream.h"
Chris Lattner0cf0c372004-07-11 04:17:10 +000022#include "llvm/Target/TargetOptions.h"
Chris Lattnerd36c9702004-07-11 02:48:49 +000023#include "llvm/Target/TargetMachineRegistry.h"
Chris Lattner1e60a912003-12-20 01:22:19 +000024using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000025
Jeff Cohen1c32f792005-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 Gohman844731a2008-05-13 00:00:25 +000033// Register the target.
34static RegisterTarget<X86_32TargetMachine>
Dan Gohmanb8cab922008-10-14 20:25:08 +000035X("x86", "32-bit X86: Pentium-Pro and above");
Dan Gohman844731a2008-05-13 00:00:25 +000036static RegisterTarget<X86_64TargetMachine>
Dan Gohmanb8cab922008-10-14 20:25:08 +000037Y("x86-64", "64-bit X86: EM64T and AMD64");
Chris Lattner439a27a2002-12-16 16:15:51 +000038
Anton Korobeynikov3c3bc482008-08-17 13:53:59 +000039// No assembler printer by default
40X86TargetMachine::AsmPrinterCtorFn X86TargetMachine::AsmPrinterCtor = 0;
41
Jim Laskeyfde1b3b2006-09-07 23:39:26 +000042const TargetAsmInfo *X86TargetMachine::createTargetAsmInfo() const {
Anton Korobeynikov4468b7a2008-07-09 13:20:48 +000043 if (Subtarget.isFlavorIntel())
44 return new X86WinTargetAsmInfo(*this);
45 else
46 switch (Subtarget.TargetType) {
47 case X86Subtarget::isDarwin:
48 return new X86DarwinTargetAsmInfo(*this);
49 case X86Subtarget::isELF:
50 return new X86ELFTargetAsmInfo(*this);
51 case X86Subtarget::isMingw:
52 case X86Subtarget::isCygwin:
53 return new X86COFFTargetAsmInfo(*this);
54 case X86Subtarget::isWindows:
55 return new X86WinTargetAsmInfo(*this);
56 default:
Anton Korobeynikov32b952a2008-09-25 21:00:33 +000057 return new X86GenericTargetAsmInfo(*this);
Anton Korobeynikov4468b7a2008-07-09 13:20:48 +000058 }
Jim Laskeyfde1b3b2006-09-07 23:39:26 +000059}
60
Evan Cheng25ab6902006-09-08 06:48:29 +000061unsigned X86_32TargetMachine::getJITMatchQuality() {
Chris Lattner7d0974b2004-10-18 15:54:17 +000062#if defined(i386) || defined(__i386__) || defined(__x86__) || defined(_M_IX86)
Chris Lattnerd36c9702004-07-11 02:48:49 +000063 return 10;
Chris Lattnerd36c9702004-07-11 02:48:49 +000064#endif
Evan Cheng25ab6902006-09-08 06:48:29 +000065 return 0;
Chris Lattnerd36c9702004-07-11 02:48:49 +000066}
67
Evan Cheng25ab6902006-09-08 06:48:29 +000068unsigned X86_64TargetMachine::getJITMatchQuality() {
Anton Korobeynikov8c278292008-03-23 13:43:47 +000069#if defined(__x86_64__) || defined(_M_AMD64)
Evan Cheng25ab6902006-09-08 06:48:29 +000070 return 10;
71#endif
72 return 0;
73}
74
75unsigned X86_32TargetMachine::getModuleMatchQuality(const Module &M) {
Chris Lattner3ea78c42004-12-12 17:40:28 +000076 // We strongly match "i[3-9]86-*".
77 std::string TT = M.getTargetTriple();
78 if (TT.size() >= 5 && TT[0] == 'i' && TT[2] == '8' && TT[3] == '6' &&
79 TT[4] == '-' && TT[1] - '3' < 6)
80 return 20;
Chris Lattner87bdba62007-07-09 17:25:29 +000081 // If the target triple is something non-X86, we don't match.
82 if (!TT.empty()) return 0;
Chris Lattner3ea78c42004-12-12 17:40:28 +000083
Chris Lattnerd36c9702004-07-11 02:48:49 +000084 if (M.getEndianness() == Module::LittleEndian &&
85 M.getPointerSize() == Module::Pointer32)
Chris Lattner3ea78c42004-12-12 17:40:28 +000086 return 10; // Weak match
Chris Lattnerd36c9702004-07-11 02:48:49 +000087 else if (M.getEndianness() != Module::AnyEndianness ||
88 M.getPointerSize() != Module::AnyPointerSize)
89 return 0; // Match for some other target
90
91 return getJITMatchQuality()/2;
92}
Chris Lattnerb4f68ed2002-10-29 22:37:54 +000093
Evan Cheng25ab6902006-09-08 06:48:29 +000094unsigned X86_64TargetMachine::getModuleMatchQuality(const Module &M) {
95 // We strongly match "x86_64-*".
96 std::string TT = M.getTargetTriple();
97 if (TT.size() >= 7 && TT[0] == 'x' && TT[1] == '8' && TT[2] == '6' &&
98 TT[3] == '_' && TT[4] == '6' && TT[5] == '4' && TT[6] == '-')
99 return 20;
100
Chris Lattner21847f42006-12-19 19:40:09 +0000101 // We strongly match "amd64-*".
102 if (TT.size() >= 6 && TT[0] == 'a' && TT[1] == 'm' && TT[2] == 'd' &&
103 TT[3] == '6' && TT[4] == '4' && TT[5] == '-')
104 return 20;
105
Chris Lattner87bdba62007-07-09 17:25:29 +0000106 // If the target triple is something non-X86-64, we don't match.
107 if (!TT.empty()) return 0;
108
Evan Cheng25ab6902006-09-08 06:48:29 +0000109 if (M.getEndianness() == Module::LittleEndian &&
110 M.getPointerSize() == Module::Pointer64)
111 return 10; // Weak match
112 else if (M.getEndianness() != Module::AnyEndianness ||
113 M.getPointerSize() != Module::AnyPointerSize)
114 return 0; // Match for some other target
115
116 return getJITMatchQuality()/2;
117}
118
119X86_32TargetMachine::X86_32TargetMachine(const Module &M, const std::string &FS)
120 : X86TargetMachine(M, FS, false) {
121}
122
123
124X86_64TargetMachine::X86_64TargetMachine(const Module &M, const std::string &FS)
125 : X86TargetMachine(M, FS, true) {
126}
127
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000128/// X86TargetMachine ctor - Create an ILP32 architecture model
129///
Evan Chengcdc69442007-02-23 03:03:16 +0000130X86TargetMachine::X86TargetMachine(const Module &M, const std::string &FS,
131 bool is64Bit)
Evan Cheng25ab6902006-09-08 06:48:29 +0000132 : Subtarget(M, FS, is64Bit),
Dale Johannesen27f92be2007-08-06 21:48:35 +0000133 DataLayout(Subtarget.getDataLayout()),
Nate Begemanfb5792f2005-07-12 01:41:54 +0000134 FrameInfo(TargetFrameInfo::StackGrowsDown,
Evan Cheng25ab6902006-09-08 06:48:29 +0000135 Subtarget.getStackAlignment(), Subtarget.is64Bit() ? -8 : -4),
Evan Chengaa3c1412006-05-30 21:45:53 +0000136 InstrInfo(*this), JITInfo(*this), TLInfo(*this) {
Evan Chengaabe38b2007-12-22 09:40:20 +0000137 DefRelocModel = getRelocationModel();
Anton Korobeynikovc15b81b2008-03-23 13:41:18 +0000138 // FIXME: Correctly select PIC model for Win64 stuff
Anton Korobeynikov7c1c2612008-02-20 11:22:39 +0000139 if (getRelocationModel() == Reloc::Default) {
Anton Korobeynikovc15b81b2008-03-23 13:41:18 +0000140 if (Subtarget.isTargetDarwin() ||
141 (Subtarget.isTargetCygMing() && !Subtarget.isTargetWin64()))
Evan Cheng4c1aa862006-02-22 20:19:42 +0000142 setRelocationModel(Reloc::DynamicNoPIC);
143 else
Evan Cheng2c312ad2006-12-04 18:07:10 +0000144 setRelocationModel(Reloc::Static);
Anton Korobeynikov7c1c2612008-02-20 11:22:39 +0000145 }
Evan Cheng25ab6902006-09-08 06:48:29 +0000146 if (Subtarget.is64Bit()) {
147 // No DynamicNoPIC support under X86-64.
148 if (getRelocationModel() == Reloc::DynamicNoPIC)
149 setRelocationModel(Reloc::PIC_);
150 // Default X86-64 code model is small.
151 if (getCodeModel() == CodeModel::Default)
152 setCodeModel(CodeModel::Small);
153 }
Anton Korobeynikov7f705592007-01-12 19:20:47 +0000154
Evan Chengae19abc2007-01-18 22:27:12 +0000155 if (Subtarget.isTargetCygMing())
156 Subtarget.setPICStyle(PICStyle::WinPIC);
Anton Korobeynikov7c1c2612008-02-20 11:22:39 +0000157 else if (Subtarget.isTargetDarwin()) {
Evan Chengae19abc2007-01-18 22:27:12 +0000158 if (Subtarget.is64Bit())
159 Subtarget.setPICStyle(PICStyle::RIPRel);
Anton Korobeynikov7f705592007-01-12 19:20:47 +0000160 else
Anton Korobeynikov7f705592007-01-12 19:20:47 +0000161 Subtarget.setPICStyle(PICStyle::Stub);
Anton Korobeynikov7c1c2612008-02-20 11:22:39 +0000162 } else if (Subtarget.isTargetELF()) {
Evan Chengae19abc2007-01-18 22:27:12 +0000163 if (Subtarget.is64Bit())
164 Subtarget.setPICStyle(PICStyle::RIPRel);
Anton Korobeynikov7f705592007-01-12 19:20:47 +0000165 else
Evan Chengae19abc2007-01-18 22:27:12 +0000166 Subtarget.setPICStyle(PICStyle::GOT);
Anton Korobeynikov7c1c2612008-02-20 11:22:39 +0000167 }
Chris Lattner4efab052006-02-03 18:59:39 +0000168}
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000169
Chris Lattner1911fd42006-09-04 04:14:57 +0000170//===----------------------------------------------------------------------===//
171// Pass Pipeline Configuration
172//===----------------------------------------------------------------------===//
Chris Lattnerc9bbfbc2003-08-05 16:34:44 +0000173
Dan Gohmanbfae8312008-03-11 22:29:46 +0000174bool X86TargetMachine::addInstSelector(PassManagerBase &PM, bool Fast) {
Nate Begeman73bfa712005-08-18 23:53:15 +0000175 // Install an instruction selector.
Evan Chenge50794a2006-08-29 18:28:33 +0000176 PM.add(createX86ISelDag(*this, Fast));
Chris Lattner1911fd42006-09-04 04:14:57 +0000177 return false;
Brian Gaekede3aa4f2003-06-18 21:43:21 +0000178}
179
Anton Korobeynikov856914f2008-04-23 18:23:05 +0000180bool X86TargetMachine::addPreRegAlloc(PassManagerBase &PM, bool Fast) {
Anton Korobeynikovd52bdaf2008-04-23 18:23:30 +0000181 // Calculate and set max stack object alignment early, so we can decide
182 // whether we will need stack realignment (and thus FP).
Anton Korobeynikov856914f2008-04-23 18:23:05 +0000183 PM.add(createX86MaxStackAlignmentCalculatorPass());
184 return false; // -print-machineinstr shouldn't print after this.
185}
186
Dan Gohmanbfae8312008-03-11 22:29:46 +0000187bool X86TargetMachine::addPostRegAlloc(PassManagerBase &PM, bool Fast) {
Chris Lattnerd91d86f2003-01-13 00:51:23 +0000188 PM.add(createX86FloatingPointStackifierPass());
Chris Lattner1911fd42006-09-04 04:14:57 +0000189 return true; // -print-machineinstr should print after this.
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000190}
191
Dan Gohmanbfae8312008-03-11 22:29:46 +0000192bool X86TargetMachine::addAssemblyEmitter(PassManagerBase &PM, bool Fast,
Owen Andersoncb371882008-08-21 00:14:44 +0000193 raw_ostream &Out) {
Anton Korobeynikov3c3bc482008-08-17 13:53:59 +0000194 assert(AsmPrinterCtor && "AsmPrinter was not linked in");
195 if (AsmPrinterCtor)
196 PM.add(AsmPrinterCtor(Out, *this));
Chris Lattner1911fd42006-09-04 04:14:57 +0000197 return false;
198}
199
Dan Gohmanbfae8312008-03-11 22:29:46 +0000200bool X86TargetMachine::addCodeEmitter(PassManagerBase &PM, bool Fast,
Evan Cheng8bd60352007-07-20 21:56:13 +0000201 bool DumpAsm, MachineCodeEmitter &MCE) {
Chris Lattner2130b992006-09-04 18:48:41 +0000202 // FIXME: Move this to TargetJITInfo!
Dale Johannesen5f777192008-08-12 21:02:08 +0000203 // On Darwin, do not override 64-bit setting made in X86TargetMachine().
204 if (DefRelocModel == Reloc::Default &&
205 (!Subtarget.isTargetDarwin() || !Subtarget.is64Bit()))
Evan Chengaabe38b2007-12-22 09:40:20 +0000206 setRelocationModel(Reloc::Static);
Anton Korobeynikov7f705592007-01-12 19:20:47 +0000207
Dale Johannesen50dd1d02008-08-11 23:46:25 +0000208 // 64-bit JIT places everything in the same buffer except external functions.
Dale Johannesen5f777192008-08-12 21:02:08 +0000209 // On Darwin, use small code model but hack the call instruction for
210 // externals. Elsewhere, do not assume globals are in the lower 4G.
211 if (Subtarget.is64Bit()) {
212 if (Subtarget.isTargetDarwin())
213 setCodeModel(CodeModel::Small);
214 else
215 setCodeModel(CodeModel::Large);
216 }
Anton Korobeynikov15fccf12006-12-20 01:03:20 +0000217
Evan Cheng55fc2802006-07-25 20:40:54 +0000218 PM.add(createX86CodeEmitterPass(*this, MCE));
Anton Korobeynikov3c3bc482008-08-17 13:53:59 +0000219 if (DumpAsm) {
220 assert(AsmPrinterCtor && "AsmPrinter was not linked in");
221 if (AsmPrinterCtor)
Owen Andersoncb371882008-08-21 00:14:44 +0000222 PM.add(AsmPrinterCtor(errs(), *this));
Anton Korobeynikov3c3bc482008-08-17 13:53:59 +0000223 }
Evan Cheng8bd60352007-07-20 21:56:13 +0000224
Chris Lattner81b6ed72005-07-11 05:17:48 +0000225 return false;
226}
Bill Wendlingeb1ac332007-02-08 01:39:44 +0000227
Dan Gohmanbfae8312008-03-11 22:29:46 +0000228bool X86TargetMachine::addSimpleCodeEmitter(PassManagerBase &PM, bool Fast,
Evan Cheng8bd60352007-07-20 21:56:13 +0000229 bool DumpAsm, MachineCodeEmitter &MCE) {
Bill Wendlingeb1ac332007-02-08 01:39:44 +0000230 PM.add(createX86CodeEmitterPass(*this, MCE));
Anton Korobeynikov3c3bc482008-08-17 13:53:59 +0000231 if (DumpAsm) {
232 assert(AsmPrinterCtor && "AsmPrinter was not linked in");
233 if (AsmPrinterCtor)
Owen Andersoncb371882008-08-21 00:14:44 +0000234 PM.add(AsmPrinterCtor(errs(), *this));
Anton Korobeynikov3c3bc482008-08-17 13:53:59 +0000235 }
236
Bill Wendlingeb1ac332007-02-08 01:39:44 +0000237 return false;
238}
Dan Gohman97135e12008-09-26 19:15:30 +0000239
240// symbolicAddressesAreRIPRel - Return true if symbolic addresses are
241// RIP-relative on this machine, taking into consideration the relocation
242// model and subtarget. RIP-relative addresses cannot have a separate
243// base or index register.
244bool X86TargetMachine::symbolicAddressesAreRIPRel() const {
245 return getRelocationModel() != Reloc::Static &&
246 Subtarget.isPICStyleRIPRel();
247}