blob: 3e501fffe8897c2743ef2576443308ce926d3863 [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//
5// This file was developed by the LLVM research group and is distributed under
6// the University of Illinois Open Source 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
14#include "X86TargetMachine.h"
Chris Lattner5bcd95c2002-12-24 00:04:01 +000015#include "X86.h"
Chris Lattnerbb144a82003-08-24 19:49:48 +000016#include "llvm/Module.h"
Chris Lattner155e68f2003-04-23 16:24:55 +000017#include "llvm/PassManager.h"
Chris Lattner30483732004-06-20 07:49:54 +000018#include "llvm/CodeGen/IntrinsicLowering.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"
Chris Lattner0cf0c372004-07-11 04:17:10 +000021#include "llvm/Target/TargetOptions.h"
Chris Lattnerd36c9702004-07-11 02:48:49 +000022#include "llvm/Target/TargetMachineRegistry.h"
Chris Lattner155e68f2003-04-23 16:24:55 +000023#include "llvm/Transforms/Scalar.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000024#include "llvm/Support/CommandLine.h"
25#include "llvm/ADT/Statistic.h"
Chris Lattner2c2c6c62006-01-22 23:41:00 +000026#include <iostream>
Chris Lattner1e60a912003-12-20 01:22:19 +000027using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000028
Evan Cheng97c7fc32006-01-26 09:53:06 +000029X86VectorEnum llvm::X86Vector = AutoDetect;
Nate Begemanf63be7d2005-07-06 18:59:04 +000030bool llvm::X86ScalarSSE = false;
Evan Cheng56323c72005-12-17 01:22:13 +000031bool llvm::X86DAGIsel = false;
Chris Lattner6f0161a2004-08-24 08:18:44 +000032
Jeff Cohen1c32f792005-01-03 16:34:19 +000033/// X86TargetMachineModule - Note that this is used on hosts that cannot link
34/// in a library unless there are references into the library. In particular,
35/// it seems that it is not possible to get things to work on Win32 without
36/// this. Though it is unused, do not remove it.
37extern "C" int X86TargetMachineModule;
38int X86TargetMachineModule = 0;
39
Chris Lattner439a27a2002-12-16 16:15:51 +000040namespace {
Chris Lattnerf6f263c2004-02-09 01:47:10 +000041 cl::opt<bool> DisableOutput("disable-x86-llc-output", cl::Hidden,
42 cl::desc("Disable the X86 asm printer, for use "
43 "when profiling the code generator."));
Nate Begemanf63be7d2005-07-06 18:59:04 +000044 cl::opt<bool, true> EnableSSEFP("enable-sse-scalar-fp",
45 cl::desc("Perform FP math in SSE regs instead of the FP stack"),
46 cl::location(X86ScalarSSE),
47 cl::init(false));
Chris Lattnerd36c9702004-07-11 02:48:49 +000048
Evan Cheng56323c72005-12-17 01:22:13 +000049 cl::opt<bool, true> EnableX86DAGDAG("enable-x86-dag-isel", cl::Hidden,
50 cl::desc("Enable DAG-to-DAG isel for X86"),
51 cl::location(X86DAGIsel),
Evan Cheng98f5dab2006-01-20 01:14:05 +000052 cl::init(false));
Chris Lattnerc961eea2005-11-16 01:54:32 +000053
Chris Lattner6f0161a2004-08-24 08:18:44 +000054 // FIXME: This should eventually be handled with target triples and
55 // subtarget support!
56 cl::opt<X86VectorEnum, true>
57 SSEArg(
58 cl::desc("Enable SSE support in the X86 target:"),
59 cl::values(
60 clEnumValN(SSE, "sse", " Enable SSE support"),
61 clEnumValN(SSE2, "sse2", " Enable SSE and SSE2 support"),
62 clEnumValN(SSE3, "sse3", " Enable SSE, SSE2, and SSE3 support"),
63 clEnumValEnd),
Evan Cheng97c7fc32006-01-26 09:53:06 +000064 cl::location(X86Vector), cl::init(AutoDetect));
Chris Lattner6f0161a2004-08-24 08:18:44 +000065
Chris Lattnerd36c9702004-07-11 02:48:49 +000066 // Register the target.
Chris Lattner71d24aa2004-07-11 03:27:42 +000067 RegisterTarget<X86TargetMachine> X("x86", " IA-32 (Pentium and above)");
Chris Lattner439a27a2002-12-16 16:15:51 +000068}
69
Chris Lattnerd36c9702004-07-11 02:48:49 +000070unsigned X86TargetMachine::getJITMatchQuality() {
Chris Lattner7d0974b2004-10-18 15:54:17 +000071#if defined(i386) || defined(__i386__) || defined(__x86__) || defined(_M_IX86)
Chris Lattnerd36c9702004-07-11 02:48:49 +000072 return 10;
73#else
74 return 0;
75#endif
76}
77
78unsigned X86TargetMachine::getModuleMatchQuality(const Module &M) {
Chris Lattner3ea78c42004-12-12 17:40:28 +000079 // We strongly match "i[3-9]86-*".
80 std::string TT = M.getTargetTriple();
81 if (TT.size() >= 5 && TT[0] == 'i' && TT[2] == '8' && TT[3] == '6' &&
82 TT[4] == '-' && TT[1] - '3' < 6)
83 return 20;
84
Chris Lattnerd36c9702004-07-11 02:48:49 +000085 if (M.getEndianness() == Module::LittleEndian &&
86 M.getPointerSize() == Module::Pointer32)
Chris Lattner3ea78c42004-12-12 17:40:28 +000087 return 10; // Weak match
Chris Lattnerd36c9702004-07-11 02:48:49 +000088 else if (M.getEndianness() != Module::AnyEndianness ||
89 M.getPointerSize() != Module::AnyPointerSize)
90 return 0; // Match for some other target
91
92 return getJITMatchQuality()/2;
93}
Chris Lattnerb4f68ed2002-10-29 22:37:54 +000094
95/// X86TargetMachine ctor - Create an ILP32 architecture model
96///
Jim Laskeyb1e11802005-09-01 21:38:21 +000097X86TargetMachine::X86TargetMachine(const Module &M,
98 IntrinsicLowering *IL,
99 const std::string &FS)
Chris Lattnerf70e0c22003-12-28 21:23:38 +0000100 : TargetMachine("X86", IL, true, 4, 4, 4, 4, 4),
Jim Laskeyb1e11802005-09-01 21:38:21 +0000101 Subtarget(M, FS),
Nate Begemanfb5792f2005-07-12 01:41:54 +0000102 FrameInfo(TargetFrameInfo::StackGrowsDown,
103 Subtarget.getStackAlignment(), -4),
Chris Lattnerf70e0c22003-12-28 21:23:38 +0000104 JITInfo(*this) {
Evan Cheng97c7fc32006-01-26 09:53:06 +0000105 if (X86Vector == AutoDetect) {
106 X86Vector = NoSSE;
107 if (Subtarget.hasSSE())
108 X86Vector = SSE;
109 if (Subtarget.hasSSE2())
110 X86Vector = SSE2;
111 if (Subtarget.hasSSE3())
112 X86Vector = SSE3;
113 }
114
Nate Begemanf63be7d2005-07-06 18:59:04 +0000115 // Scalar SSE FP requires at least SSE2
116 X86ScalarSSE &= X86Vector >= SSE2;
Evan Chengbbc8ddb2005-12-20 22:59:51 +0000117
118 // Ignore -enable-sse-scalar-fp if -enable-x86-dag-isel.
119 X86ScalarSSE |= (X86DAGIsel && X86Vector >= SSE2);
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000120}
121
Chris Lattnerc9bbfbc2003-08-05 16:34:44 +0000122
Chris Lattner0431c962005-06-25 02:48:37 +0000123// addPassesToEmitFile - We currently use all of the same passes as the JIT
Chris Lattnerc9bbfbc2003-08-05 16:34:44 +0000124// does to emit statically compiled machine code.
Chris Lattner0431c962005-06-25 02:48:37 +0000125bool X86TargetMachine::addPassesToEmitFile(PassManager &PM, std::ostream &Out,
Chris Lattnerce8eb0c2005-11-08 02:11:51 +0000126 CodeGenFileType FileType,
127 bool Fast) {
Jeff Cohen00b168892005-07-27 06:12:32 +0000128 if (FileType != TargetMachine::AssemblyFile &&
Chris Lattner07a91442005-06-27 06:30:12 +0000129 FileType != TargetMachine::ObjectFile) return true;
Chris Lattner0431c962005-06-25 02:48:37 +0000130
Chris Lattner99c59e82004-05-23 21:23:35 +0000131 // FIXME: Implement efficient support for garbage collection intrinsics.
132 PM.add(createLowerGCPass());
133
Chris Lattnerc58c1692003-10-05 19:15:47 +0000134 // FIXME: Implement the invoke/unwind instructions!
135 PM.add(createLowerInvokePass());
136
Chris Lattner87124422004-02-25 19:30:19 +0000137 // FIXME: Implement the switch instruction in the instruction selector!
138 PM.add(createLowerSwitchPass());
139
Chris Lattner9a9ca0f2004-07-02 05:46:41 +0000140 // Make sure that no unreachable blocks are instruction selected.
141 PM.add(createUnreachableBlockEliminationPass());
142
Nate Begeman73bfa712005-08-18 23:53:15 +0000143 // Install an instruction selector.
Evan Cheng56323c72005-12-17 01:22:13 +0000144 if (X86DAGIsel)
Chris Lattnerc961eea2005-11-16 01:54:32 +0000145 PM.add(createX86ISelDag(*this));
146 else
147 PM.add(createX86ISelPattern(*this));
Brian Gaekeb4286542003-08-13 18:15:52 +0000148
Brian Gaekeb4286542003-08-13 18:15:52 +0000149 // Print the instruction selected machine code...
Brian Gaeke323819e2004-03-04 19:16:23 +0000150 if (PrintMachineCode)
Brian Gaeke74ceb292004-02-04 21:41:01 +0000151 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Brian Gaekeb4286542003-08-13 18:15:52 +0000152
153 // Perform register allocation to convert to a concrete x86 representation
Alkis Evlogimenos7237ece2003-10-02 16:57:49 +0000154 PM.add(createRegisterAllocator());
Brian Gaekeb4286542003-08-13 18:15:52 +0000155
Brian Gaeke323819e2004-03-04 19:16:23 +0000156 if (PrintMachineCode)
Brian Gaeke74ceb292004-02-04 21:41:01 +0000157 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Brian Gaekeb4286542003-08-13 18:15:52 +0000158
159 PM.add(createX86FloatingPointStackifierPass());
160
Brian Gaeke323819e2004-03-04 19:16:23 +0000161 if (PrintMachineCode)
Brian Gaeke74ceb292004-02-04 21:41:01 +0000162 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Brian Gaekeb4286542003-08-13 18:15:52 +0000163
164 // Insert prolog/epilog code. Eliminate abstract frame index references...
165 PM.add(createPrologEpilogCodeInserter());
166
167 PM.add(createX86PeepholeOptimizerPass());
168
Brian Gaeke323819e2004-03-04 19:16:23 +0000169 if (PrintMachineCode) // Print the register-allocated code
Brian Gaekeb4286542003-08-13 18:15:52 +0000170 PM.add(createX86CodePrinterPass(std::cerr, *this));
171
Chris Lattnerf6f263c2004-02-09 01:47:10 +0000172 if (!DisableOutput)
Chris Lattner07a91442005-06-27 06:30:12 +0000173 switch (FileType) {
174 default:
175 assert(0 && "Unexpected filetype here!");
176 case TargetMachine::AssemblyFile:
177 PM.add(createX86CodePrinterPass(Out, *this));
178 break;
179 case TargetMachine::ObjectFile:
180 // FIXME: We only support emission of ELF files for now, this should check
181 // the target triple and decide on the format to write (e.g. COFF on
182 // win32).
Chris Lattner81b6ed72005-07-11 05:17:48 +0000183 addX86ELFObjectWriterPass(PM, Out, *this);
Chris Lattner07a91442005-06-27 06:30:12 +0000184 break;
185 }
Chris Lattner655239c2003-12-20 10:20:19 +0000186
Alkis Evlogimenosc81efdc2004-02-15 00:03:15 +0000187 // Delete machine code for this function
188 PM.add(createMachineCodeDeleter());
189
Brian Gaekede3aa4f2003-06-18 21:43:21 +0000190 return false; // success!
191}
192
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000193/// addPassesToJITCompile - Add passes to the specified pass manager to
194/// implement a fast dynamic compiler for this target. Return true if this is
195/// not supported for this target.
196///
Chris Lattner1e60a912003-12-20 01:22:19 +0000197void X86JITInfo::addPassesToJITCompile(FunctionPassManager &PM) {
Chris Lattner99c59e82004-05-23 21:23:35 +0000198 // FIXME: Implement efficient support for garbage collection intrinsics.
199 PM.add(createLowerGCPass());
Chris Lattner155e68f2003-04-23 16:24:55 +0000200
Chris Lattnerc58c1692003-10-05 19:15:47 +0000201 // FIXME: Implement the invoke/unwind instructions!
202 PM.add(createLowerInvokePass());
203
Chris Lattner87124422004-02-25 19:30:19 +0000204 // FIXME: Implement the switch instruction in the instruction selector!
205 PM.add(createLowerSwitchPass());
206
Chris Lattner9a9ca0f2004-07-02 05:46:41 +0000207 // Make sure that no unreachable blocks are instruction selected.
208 PM.add(createUnreachableBlockEliminationPass());
209
Nate Begeman73bfa712005-08-18 23:53:15 +0000210 // Install an instruction selector.
Evan Cheng56323c72005-12-17 01:22:13 +0000211 if (X86DAGIsel)
Chris Lattnerc961eea2005-11-16 01:54:32 +0000212 PM.add(createX86ISelDag(TM));
213 else
214 PM.add(createX86ISelPattern(TM));
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000215
Chris Lattnerd91d86f2003-01-13 00:51:23 +0000216 // FIXME: Add SSA based peephole optimizer here.
217
Chris Lattner3dffa792002-10-30 00:47:49 +0000218 // Print the instruction selected machine code...
Brian Gaeke323819e2004-03-04 19:16:23 +0000219 if (PrintMachineCode)
Brian Gaeke74ceb292004-02-04 21:41:01 +0000220 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Chris Lattner3dffa792002-10-30 00:47:49 +0000221
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000222 // Perform register allocation to convert to a concrete x86 representation
Alkis Evlogimenos7237ece2003-10-02 16:57:49 +0000223 PM.add(createRegisterAllocator());
Chris Lattnerd282cfe2002-12-28 20:33:32 +0000224
Brian Gaeke323819e2004-03-04 19:16:23 +0000225 if (PrintMachineCode)
Brian Gaeke74ceb292004-02-04 21:41:01 +0000226 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Chris Lattnerd282cfe2002-12-28 20:33:32 +0000227
Chris Lattnerd91d86f2003-01-13 00:51:23 +0000228 PM.add(createX86FloatingPointStackifierPass());
229
Brian Gaeke323819e2004-03-04 19:16:23 +0000230 if (PrintMachineCode)
Brian Gaeke74ceb292004-02-04 21:41:01 +0000231 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Chris Lattnerd91d86f2003-01-13 00:51:23 +0000232
Chris Lattnerd282cfe2002-12-28 20:33:32 +0000233 // Insert prolog/epilog code. Eliminate abstract frame index references...
234 PM.add(createPrologEpilogCodeInserter());
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000235
Chris Lattnerd91d86f2003-01-13 00:51:23 +0000236 PM.add(createX86PeepholeOptimizerPass());
237
Brian Gaeke323819e2004-03-04 19:16:23 +0000238 if (PrintMachineCode) // Print the register-allocated code
Chris Lattner1e60a912003-12-20 01:22:19 +0000239 PM.add(createX86CodePrinterPass(std::cerr, TM));
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000240}
241
Chris Lattner81b6ed72005-07-11 05:17:48 +0000242bool X86TargetMachine::addPassesToEmitMachineCode(FunctionPassManager &PM,
243 MachineCodeEmitter &MCE) {
244 PM.add(createX86CodeEmitterPass(MCE));
245 // Delete machine code for this function
246 PM.add(createMachineCodeDeleter());
247 return false;
248}