blob: aa6de9c7b26cc76e5810cc5dd9571d3513ab6fe0 [file] [log] [blame]
Chris Lattnerb4f68ed2002-10-29 22:37:54 +00001//===-- X86TargetMachine.cpp - Define TargetMachine for the X86 -----------===//
2//
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.
7//
8//===----------------------------------------------------------------------===//
9//
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 Lattner1e60a912003-12-20 01:22:19 +000026using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000027
Chris Lattner6f0161a2004-08-24 08:18:44 +000028X86VectorEnum llvm::X86Vector = NoSSE;
29
Jeff Cohen1c32f792005-01-03 16:34:19 +000030/// X86TargetMachineModule - Note that this is used on hosts that cannot link
31/// in a library unless there are references into the library. In particular,
32/// it seems that it is not possible to get things to work on Win32 without
33/// this. Though it is unused, do not remove it.
34extern "C" int X86TargetMachineModule;
35int X86TargetMachineModule = 0;
36
Chris Lattner439a27a2002-12-16 16:15:51 +000037namespace {
Chris Lattner9b527702003-12-01 05:18:30 +000038 cl::opt<bool> NoSSAPeephole("disable-ssa-peephole", cl::init(true),
Chris Lattner44827152003-12-28 09:47:19 +000039 cl::desc("Disable the ssa-based peephole optimizer "
40 "(defaults to disabled)"));
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."));
Chris Lattnerd36c9702004-07-11 02:48:49 +000044
Chris Lattner222b86f2004-10-08 22:41:46 +000045#if 0
Chris Lattner6f0161a2004-08-24 08:18:44 +000046 // FIXME: This should eventually be handled with target triples and
47 // subtarget support!
48 cl::opt<X86VectorEnum, true>
49 SSEArg(
50 cl::desc("Enable SSE support in the X86 target:"),
51 cl::values(
52 clEnumValN(SSE, "sse", " Enable SSE support"),
53 clEnumValN(SSE2, "sse2", " Enable SSE and SSE2 support"),
54 clEnumValN(SSE3, "sse3", " Enable SSE, SSE2, and SSE3 support"),
55 clEnumValEnd),
56 cl::location(X86Vector), cl::init(NoSSE));
Chris Lattner222b86f2004-10-08 22:41:46 +000057#endif
Chris Lattner6f0161a2004-08-24 08:18:44 +000058
Chris Lattnerd36c9702004-07-11 02:48:49 +000059 // Register the target.
Chris Lattner71d24aa2004-07-11 03:27:42 +000060 RegisterTarget<X86TargetMachine> X("x86", " IA-32 (Pentium and above)");
Chris Lattner439a27a2002-12-16 16:15:51 +000061}
62
Chris Lattnerd36c9702004-07-11 02:48:49 +000063unsigned X86TargetMachine::getJITMatchQuality() {
Chris Lattner7d0974b2004-10-18 15:54:17 +000064#if defined(i386) || defined(__i386__) || defined(__x86__) || defined(_M_IX86)
Chris Lattnerd36c9702004-07-11 02:48:49 +000065 return 10;
66#else
67 return 0;
68#endif
69}
70
71unsigned X86TargetMachine::getModuleMatchQuality(const Module &M) {
Chris Lattner3ea78c42004-12-12 17:40:28 +000072 // We strongly match "i[3-9]86-*".
73 std::string TT = M.getTargetTriple();
74 if (TT.size() >= 5 && TT[0] == 'i' && TT[2] == '8' && TT[3] == '6' &&
75 TT[4] == '-' && TT[1] - '3' < 6)
76 return 20;
77
Chris Lattnerd36c9702004-07-11 02:48:49 +000078 if (M.getEndianness() == Module::LittleEndian &&
79 M.getPointerSize() == Module::Pointer32)
Chris Lattner3ea78c42004-12-12 17:40:28 +000080 return 10; // Weak match
Chris Lattnerd36c9702004-07-11 02:48:49 +000081 else if (M.getEndianness() != Module::AnyEndianness ||
82 M.getPointerSize() != Module::AnyPointerSize)
83 return 0; // Match for some other target
84
85 return getJITMatchQuality()/2;
86}
Chris Lattnerb4f68ed2002-10-29 22:37:54 +000087
88/// X86TargetMachine ctor - Create an ILP32 architecture model
89///
Chris Lattnerf70e0c22003-12-28 21:23:38 +000090X86TargetMachine::X86TargetMachine(const Module &M, IntrinsicLowering *IL)
91 : TargetMachine("X86", IL, true, 4, 4, 4, 4, 4),
Chris Lattner222b86f2004-10-08 22:41:46 +000092 FrameInfo(TargetFrameInfo::StackGrowsDown, 8, -4),
Chris Lattnerf70e0c22003-12-28 21:23:38 +000093 JITInfo(*this) {
Chris Lattnerb4f68ed2002-10-29 22:37:54 +000094}
95
Chris Lattnerc9bbfbc2003-08-05 16:34:44 +000096
97// addPassesToEmitAssembly - We currently use all of the same passes as the JIT
98// does to emit statically compiled machine code.
Brian Gaekede3aa4f2003-06-18 21:43:21 +000099bool X86TargetMachine::addPassesToEmitAssembly(PassManager &PM,
100 std::ostream &Out) {
Chris Lattner99c59e82004-05-23 21:23:35 +0000101 // FIXME: Implement efficient support for garbage collection intrinsics.
102 PM.add(createLowerGCPass());
103
Chris Lattnerc58c1692003-10-05 19:15:47 +0000104 // FIXME: Implement the invoke/unwind instructions!
105 PM.add(createLowerInvokePass());
106
Chris Lattner87124422004-02-25 19:30:19 +0000107 // FIXME: Implement the switch instruction in the instruction selector!
108 PM.add(createLowerSwitchPass());
109
Chris Lattner9a9ca0f2004-07-02 05:46:41 +0000110 // Make sure that no unreachable blocks are instruction selected.
111 PM.add(createUnreachableBlockEliminationPass());
112
Nate Begemanf8b02942005-04-15 22:12:16 +0000113 // Default to simple ISel
114 if (PatternISelTriState != 1)
Chris Lattner18ad1942005-01-07 07:50:50 +0000115 PM.add(createX86SimpleInstructionSelector(*this));
116 else
117 PM.add(createX86PatternInstructionSelector(*this));
Brian Gaekeb4286542003-08-13 18:15:52 +0000118
Chris Lattner9b527702003-12-01 05:18:30 +0000119 // Run optional SSA-based machine code optimizations next...
120 if (!NoSSAPeephole)
121 PM.add(createX86SSAPeepholeOptimizerPass());
Brian Gaekeb4286542003-08-13 18:15:52 +0000122
123 // Print the instruction selected machine code...
Brian Gaeke323819e2004-03-04 19:16:23 +0000124 if (PrintMachineCode)
Brian Gaeke74ceb292004-02-04 21:41:01 +0000125 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Brian Gaekeb4286542003-08-13 18:15:52 +0000126
127 // Perform register allocation to convert to a concrete x86 representation
Alkis Evlogimenos7237ece2003-10-02 16:57:49 +0000128 PM.add(createRegisterAllocator());
Brian Gaekeb4286542003-08-13 18:15:52 +0000129
Brian Gaeke323819e2004-03-04 19:16:23 +0000130 if (PrintMachineCode)
Brian Gaeke74ceb292004-02-04 21:41:01 +0000131 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Brian Gaekeb4286542003-08-13 18:15:52 +0000132
133 PM.add(createX86FloatingPointStackifierPass());
134
Brian Gaeke323819e2004-03-04 19:16:23 +0000135 if (PrintMachineCode)
Brian Gaeke74ceb292004-02-04 21:41:01 +0000136 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Brian Gaekeb4286542003-08-13 18:15:52 +0000137
138 // Insert prolog/epilog code. Eliminate abstract frame index references...
139 PM.add(createPrologEpilogCodeInserter());
140
141 PM.add(createX86PeepholeOptimizerPass());
142
Brian Gaeke323819e2004-03-04 19:16:23 +0000143 if (PrintMachineCode) // Print the register-allocated code
Brian Gaekeb4286542003-08-13 18:15:52 +0000144 PM.add(createX86CodePrinterPass(std::cerr, *this));
145
Chris Lattnerf6f263c2004-02-09 01:47:10 +0000146 if (!DisableOutput)
147 PM.add(createX86CodePrinterPass(Out, *this));
Chris Lattner655239c2003-12-20 10:20:19 +0000148
Alkis Evlogimenosc81efdc2004-02-15 00:03:15 +0000149 // Delete machine code for this function
150 PM.add(createMachineCodeDeleter());
151
Brian Gaekede3aa4f2003-06-18 21:43:21 +0000152 return false; // success!
153}
154
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000155/// addPassesToJITCompile - Add passes to the specified pass manager to
156/// implement a fast dynamic compiler for this target. Return true if this is
157/// not supported for this target.
158///
Chris Lattner1e60a912003-12-20 01:22:19 +0000159void X86JITInfo::addPassesToJITCompile(FunctionPassManager &PM) {
Chris Lattner99c59e82004-05-23 21:23:35 +0000160 // FIXME: Implement efficient support for garbage collection intrinsics.
161 PM.add(createLowerGCPass());
Chris Lattner155e68f2003-04-23 16:24:55 +0000162
Chris Lattnerc58c1692003-10-05 19:15:47 +0000163 // FIXME: Implement the invoke/unwind instructions!
164 PM.add(createLowerInvokePass());
165
Chris Lattner87124422004-02-25 19:30:19 +0000166 // FIXME: Implement the switch instruction in the instruction selector!
167 PM.add(createLowerSwitchPass());
168
Chris Lattner9a9ca0f2004-07-02 05:46:41 +0000169 // Make sure that no unreachable blocks are instruction selected.
170 PM.add(createUnreachableBlockEliminationPass());
171
Nate Begemanf8b02942005-04-15 22:12:16 +0000172 // Default to simple ISel
173 if (PatternISelTriState != 1)
Chris Lattner18ad1942005-01-07 07:50:50 +0000174 PM.add(createX86SimpleInstructionSelector(TM));
175 else
176 PM.add(createX86PatternInstructionSelector(TM));
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000177
Chris Lattner9b527702003-12-01 05:18:30 +0000178 // Run optional SSA-based machine code optimizations next...
179 if (!NoSSAPeephole)
180 PM.add(createX86SSAPeepholeOptimizerPass());
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000181
Chris Lattnerd91d86f2003-01-13 00:51:23 +0000182 // FIXME: Add SSA based peephole optimizer here.
183
Chris Lattner3dffa792002-10-30 00:47:49 +0000184 // Print the instruction selected machine code...
Brian Gaeke323819e2004-03-04 19:16:23 +0000185 if (PrintMachineCode)
Brian Gaeke74ceb292004-02-04 21:41:01 +0000186 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Chris Lattner3dffa792002-10-30 00:47:49 +0000187
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000188 // Perform register allocation to convert to a concrete x86 representation
Alkis Evlogimenos7237ece2003-10-02 16:57:49 +0000189 PM.add(createRegisterAllocator());
Chris Lattnerd282cfe2002-12-28 20:33:32 +0000190
Brian Gaeke323819e2004-03-04 19:16:23 +0000191 if (PrintMachineCode)
Brian Gaeke74ceb292004-02-04 21:41:01 +0000192 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Chris Lattnerd282cfe2002-12-28 20:33:32 +0000193
Chris Lattnerd91d86f2003-01-13 00:51:23 +0000194 PM.add(createX86FloatingPointStackifierPass());
195
Brian Gaeke323819e2004-03-04 19:16:23 +0000196 if (PrintMachineCode)
Brian Gaeke74ceb292004-02-04 21:41:01 +0000197 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Chris Lattnerd91d86f2003-01-13 00:51:23 +0000198
Chris Lattnerd282cfe2002-12-28 20:33:32 +0000199 // Insert prolog/epilog code. Eliminate abstract frame index references...
200 PM.add(createPrologEpilogCodeInserter());
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000201
Chris Lattnerd91d86f2003-01-13 00:51:23 +0000202 PM.add(createX86PeepholeOptimizerPass());
203
Brian Gaeke323819e2004-03-04 19:16:23 +0000204 if (PrintMachineCode) // Print the register-allocated code
Chris Lattner1e60a912003-12-20 01:22:19 +0000205 PM.add(createX86CodePrinterPass(std::cerr, TM));
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000206}
207