blob: 0a965ec7eaa05f8cfa4231b3298d039e39533e3a [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"
Chris Lattner439a27a2002-12-16 16:15:51 +000024#include "Support/CommandLine.h"
25#include "Support/Statistic.h"
Chris Lattner1e60a912003-12-20 01:22:19 +000026using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000027
Chris Lattner439a27a2002-12-16 16:15:51 +000028namespace {
Chris Lattner1ab7c5b2004-08-01 03:28:02 +000029#if 0 // FIXME: This will be used in the future.
Chris Lattnerac0c8682003-08-11 14:59:22 +000030 cl::opt<bool> NoPatternISel("disable-pattern-isel", cl::init(true),
31 cl::desc("Use the 'simple' X86 instruction selector"));
Chris Lattner1ab7c5b2004-08-01 03:28:02 +000032#else
33 static const bool NoPatternISel = true;
34#endif
Chris Lattner9b527702003-12-01 05:18:30 +000035 cl::opt<bool> NoSSAPeephole("disable-ssa-peephole", cl::init(true),
Chris Lattner44827152003-12-28 09:47:19 +000036 cl::desc("Disable the ssa-based peephole optimizer "
37 "(defaults to disabled)"));
Chris Lattnerf6f263c2004-02-09 01:47:10 +000038 cl::opt<bool> DisableOutput("disable-x86-llc-output", cl::Hidden,
39 cl::desc("Disable the X86 asm printer, for use "
40 "when profiling the code generator."));
Chris Lattnerd36c9702004-07-11 02:48:49 +000041
42 // Register the target.
Chris Lattner71d24aa2004-07-11 03:27:42 +000043 RegisterTarget<X86TargetMachine> X("x86", " IA-32 (Pentium and above)");
Chris Lattner439a27a2002-12-16 16:15:51 +000044}
45
Chris Lattnerd36c9702004-07-11 02:48:49 +000046unsigned X86TargetMachine::getJITMatchQuality() {
47#if defined(i386) || defined(__i386__) || defined(__x86__)
48 return 10;
49#else
50 return 0;
51#endif
52}
53
54unsigned X86TargetMachine::getModuleMatchQuality(const Module &M) {
55 if (M.getEndianness() == Module::LittleEndian &&
56 M.getPointerSize() == Module::Pointer32)
57 return 10; // Direct match
58 else if (M.getEndianness() != Module::AnyEndianness ||
59 M.getPointerSize() != Module::AnyPointerSize)
60 return 0; // Match for some other target
61
62 return getJITMatchQuality()/2;
63}
Chris Lattnerb4f68ed2002-10-29 22:37:54 +000064
65/// X86TargetMachine ctor - Create an ILP32 architecture model
66///
Chris Lattnerf70e0c22003-12-28 21:23:38 +000067X86TargetMachine::X86TargetMachine(const Module &M, IntrinsicLowering *IL)
68 : TargetMachine("X86", IL, true, 4, 4, 4, 4, 4),
Chris Lattner32305f72004-06-10 06:19:25 +000069 FrameInfo(TargetFrameInfo::StackGrowsDown, 8/*16 for SSE*/, -4),
Chris Lattnerf70e0c22003-12-28 21:23:38 +000070 JITInfo(*this) {
Chris Lattnerb4f68ed2002-10-29 22:37:54 +000071}
72
Chris Lattnerc9bbfbc2003-08-05 16:34:44 +000073
74// addPassesToEmitAssembly - We currently use all of the same passes as the JIT
75// does to emit statically compiled machine code.
Brian Gaekede3aa4f2003-06-18 21:43:21 +000076bool X86TargetMachine::addPassesToEmitAssembly(PassManager &PM,
77 std::ostream &Out) {
Chris Lattner99c59e82004-05-23 21:23:35 +000078 // FIXME: Implement efficient support for garbage collection intrinsics.
79 PM.add(createLowerGCPass());
80
Chris Lattnerc58c1692003-10-05 19:15:47 +000081 // FIXME: Implement the invoke/unwind instructions!
82 PM.add(createLowerInvokePass());
83
Chris Lattner87124422004-02-25 19:30:19 +000084 // FIXME: Implement the switch instruction in the instruction selector!
85 PM.add(createLowerSwitchPass());
86
Chris Lattner9a9ca0f2004-07-02 05:46:41 +000087 // Make sure that no unreachable blocks are instruction selected.
88 PM.add(createUnreachableBlockEliminationPass());
89
Chris Lattnercc46c4f2004-07-22 21:30:35 +000090 if (NoPatternISel)
Chris Lattnerf70e0c22003-12-28 21:23:38 +000091 PM.add(createX86SimpleInstructionSelector(*this));
Brian Gaekeb4286542003-08-13 18:15:52 +000092 else
Chris Lattnerf70e0c22003-12-28 21:23:38 +000093 PM.add(createX86PatternInstructionSelector(*this));
Brian Gaekeb4286542003-08-13 18:15:52 +000094
Chris Lattner9b527702003-12-01 05:18:30 +000095 // Run optional SSA-based machine code optimizations next...
96 if (!NoSSAPeephole)
97 PM.add(createX86SSAPeepholeOptimizerPass());
Brian Gaekeb4286542003-08-13 18:15:52 +000098
99 // Print the instruction selected machine code...
Brian Gaeke323819e2004-03-04 19:16:23 +0000100 if (PrintMachineCode)
Brian Gaeke74ceb292004-02-04 21:41:01 +0000101 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Brian Gaekeb4286542003-08-13 18:15:52 +0000102
103 // Perform register allocation to convert to a concrete x86 representation
Alkis Evlogimenos7237ece2003-10-02 16:57:49 +0000104 PM.add(createRegisterAllocator());
Brian Gaekeb4286542003-08-13 18:15:52 +0000105
Brian Gaeke323819e2004-03-04 19:16:23 +0000106 if (PrintMachineCode)
Brian Gaeke74ceb292004-02-04 21:41:01 +0000107 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Brian Gaekeb4286542003-08-13 18:15:52 +0000108
109 PM.add(createX86FloatingPointStackifierPass());
110
Brian Gaeke323819e2004-03-04 19:16:23 +0000111 if (PrintMachineCode)
Brian Gaeke74ceb292004-02-04 21:41:01 +0000112 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Brian Gaekeb4286542003-08-13 18:15:52 +0000113
114 // Insert prolog/epilog code. Eliminate abstract frame index references...
115 PM.add(createPrologEpilogCodeInserter());
116
117 PM.add(createX86PeepholeOptimizerPass());
118
Brian Gaeke323819e2004-03-04 19:16:23 +0000119 if (PrintMachineCode) // Print the register-allocated code
Brian Gaekeb4286542003-08-13 18:15:52 +0000120 PM.add(createX86CodePrinterPass(std::cerr, *this));
121
Chris Lattnerf6f263c2004-02-09 01:47:10 +0000122 if (!DisableOutput)
123 PM.add(createX86CodePrinterPass(Out, *this));
Chris Lattner655239c2003-12-20 10:20:19 +0000124
Alkis Evlogimenosc81efdc2004-02-15 00:03:15 +0000125 // Delete machine code for this function
126 PM.add(createMachineCodeDeleter());
127
Brian Gaekede3aa4f2003-06-18 21:43:21 +0000128 return false; // success!
129}
130
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000131/// addPassesToJITCompile - Add passes to the specified pass manager to
132/// implement a fast dynamic compiler for this target. Return true if this is
133/// not supported for this target.
134///
Chris Lattner1e60a912003-12-20 01:22:19 +0000135void X86JITInfo::addPassesToJITCompile(FunctionPassManager &PM) {
Chris Lattner99c59e82004-05-23 21:23:35 +0000136 // FIXME: Implement efficient support for garbage collection intrinsics.
137 PM.add(createLowerGCPass());
Chris Lattner155e68f2003-04-23 16:24:55 +0000138
Chris Lattnerc58c1692003-10-05 19:15:47 +0000139 // FIXME: Implement the invoke/unwind instructions!
140 PM.add(createLowerInvokePass());
141
Chris Lattner87124422004-02-25 19:30:19 +0000142 // FIXME: Implement the switch instruction in the instruction selector!
143 PM.add(createLowerSwitchPass());
144
Chris Lattner9a9ca0f2004-07-02 05:46:41 +0000145 // Make sure that no unreachable blocks are instruction selected.
146 PM.add(createUnreachableBlockEliminationPass());
147
Chris Lattnerac0c8682003-08-11 14:59:22 +0000148 if (NoPatternISel)
Chris Lattnerf70e0c22003-12-28 21:23:38 +0000149 PM.add(createX86SimpleInstructionSelector(TM));
Chris Lattnerac0c8682003-08-11 14:59:22 +0000150 else
Chris Lattnerf70e0c22003-12-28 21:23:38 +0000151 PM.add(createX86PatternInstructionSelector(TM));
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000152
Chris Lattner9b527702003-12-01 05:18:30 +0000153 // Run optional SSA-based machine code optimizations next...
154 if (!NoSSAPeephole)
155 PM.add(createX86SSAPeepholeOptimizerPass());
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000156
Chris Lattnerd91d86f2003-01-13 00:51:23 +0000157 // FIXME: Add SSA based peephole optimizer here.
158
Chris Lattner3dffa792002-10-30 00:47:49 +0000159 // Print the instruction selected machine code...
Brian Gaeke323819e2004-03-04 19:16:23 +0000160 if (PrintMachineCode)
Brian Gaeke74ceb292004-02-04 21:41:01 +0000161 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Chris Lattner3dffa792002-10-30 00:47:49 +0000162
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000163 // Perform register allocation to convert to a concrete x86 representation
Alkis Evlogimenos7237ece2003-10-02 16:57:49 +0000164 PM.add(createRegisterAllocator());
Chris Lattnerd282cfe2002-12-28 20:33:32 +0000165
Brian Gaeke323819e2004-03-04 19:16:23 +0000166 if (PrintMachineCode)
Brian Gaeke74ceb292004-02-04 21:41:01 +0000167 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Chris Lattnerd282cfe2002-12-28 20:33:32 +0000168
Chris Lattnerd91d86f2003-01-13 00:51:23 +0000169 PM.add(createX86FloatingPointStackifierPass());
170
Brian Gaeke323819e2004-03-04 19:16:23 +0000171 if (PrintMachineCode)
Brian Gaeke74ceb292004-02-04 21:41:01 +0000172 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Chris Lattnerd91d86f2003-01-13 00:51:23 +0000173
Chris Lattnerd282cfe2002-12-28 20:33:32 +0000174 // Insert prolog/epilog code. Eliminate abstract frame index references...
175 PM.add(createPrologEpilogCodeInserter());
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000176
Chris Lattnerd91d86f2003-01-13 00:51:23 +0000177 PM.add(createX86PeepholeOptimizerPass());
178
Brian Gaeke323819e2004-03-04 19:16:23 +0000179 if (PrintMachineCode) // Print the register-allocated code
Chris Lattner1e60a912003-12-20 01:22:19 +0000180 PM.add(createX86CodePrinterPass(std::cerr, TM));
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000181}
182