blob: 67328931deb493cf2cb1b798dfb04d81b693e0f9 [file] [log] [blame]
Chris Lattner02a3d832002-10-29 22:37:54 +00001//===-- X86TargetMachine.cpp - Define TargetMachine for the X86 -----------===//
2//
John Criswell482202a2003-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 Lattner02a3d832002-10-29 22:37:54 +000010// This file defines the X86 specific subclass of TargetMachine.
11//
12//===----------------------------------------------------------------------===//
13
14#include "X86TargetMachine.h"
Chris Lattnera32b4052002-12-24 00:04:01 +000015#include "X86.h"
Chris Lattner4fd144a2003-08-24 19:49:48 +000016#include "llvm/Module.h"
Chris Lattner524608a2003-04-23 16:24:55 +000017#include "llvm/PassManager.h"
Chris Lattnerbcdadf32004-06-20 07:49:54 +000018#include "llvm/CodeGen/IntrinsicLowering.h"
Chris Lattnerd7a85562002-10-30 00:47:49 +000019#include "llvm/CodeGen/MachineFunction.h"
Chris Lattner962d5be2003-01-13 00:51:23 +000020#include "llvm/CodeGen/Passes.h"
Chris Lattnerc2726e62004-07-11 04:17:10 +000021#include "llvm/Target/TargetOptions.h"
Chris Lattner4266f802004-07-11 02:48:49 +000022#include "llvm/Target/TargetMachineRegistry.h"
Chris Lattner524608a2003-04-23 16:24:55 +000023#include "llvm/Transforms/Scalar.h"
Reid Spencer7c16caa2004-09-01 22:55:40 +000024#include "llvm/Support/CommandLine.h"
25#include "llvm/ADT/Statistic.h"
Chris Lattner833c3c22003-12-20 01:22:19 +000026using namespace llvm;
Brian Gaeke960707c2003-11-11 22:41:34 +000027
Chris Lattnerdfa9dbc2004-08-24 08:18:44 +000028X86VectorEnum llvm::X86Vector = NoSSE;
29
Chris Lattnere0c25aa2002-12-16 16:15:51 +000030namespace {
Chris Lattner6d760d72003-12-01 05:18:30 +000031 cl::opt<bool> NoSSAPeephole("disable-ssa-peephole", cl::init(true),
Chris Lattnerc45a0332003-12-28 09:47:19 +000032 cl::desc("Disable the ssa-based peephole optimizer "
33 "(defaults to disabled)"));
Chris Lattner56f9b192004-02-09 01:47:10 +000034 cl::opt<bool> DisableOutput("disable-x86-llc-output", cl::Hidden,
35 cl::desc("Disable the X86 asm printer, for use "
36 "when profiling the code generator."));
Chris Lattner4266f802004-07-11 02:48:49 +000037
Chris Lattner23c8d0b2004-10-08 22:41:46 +000038#if 0
Chris Lattnerdfa9dbc2004-08-24 08:18:44 +000039 // FIXME: This should eventually be handled with target triples and
40 // subtarget support!
41 cl::opt<X86VectorEnum, true>
42 SSEArg(
43 cl::desc("Enable SSE support in the X86 target:"),
44 cl::values(
45 clEnumValN(SSE, "sse", " Enable SSE support"),
46 clEnumValN(SSE2, "sse2", " Enable SSE and SSE2 support"),
47 clEnumValN(SSE3, "sse3", " Enable SSE, SSE2, and SSE3 support"),
48 clEnumValEnd),
49 cl::location(X86Vector), cl::init(NoSSE));
Chris Lattner23c8d0b2004-10-08 22:41:46 +000050#endif
Chris Lattnerdfa9dbc2004-08-24 08:18:44 +000051
Chris Lattner4266f802004-07-11 02:48:49 +000052 // Register the target.
Chris Lattner73eb9432004-07-11 03:27:42 +000053 RegisterTarget<X86TargetMachine> X("x86", " IA-32 (Pentium and above)");
Chris Lattnere0c25aa2002-12-16 16:15:51 +000054}
55
Chris Lattner4266f802004-07-11 02:48:49 +000056unsigned X86TargetMachine::getJITMatchQuality() {
Chris Lattnerfbc070b2004-10-18 15:54:17 +000057#if defined(i386) || defined(__i386__) || defined(__x86__) || defined(_M_IX86)
Chris Lattner4266f802004-07-11 02:48:49 +000058 return 10;
59#else
60 return 0;
61#endif
62}
63
64unsigned X86TargetMachine::getModuleMatchQuality(const Module &M) {
65 if (M.getEndianness() == Module::LittleEndian &&
66 M.getPointerSize() == Module::Pointer32)
67 return 10; // Direct match
68 else if (M.getEndianness() != Module::AnyEndianness ||
69 M.getPointerSize() != Module::AnyPointerSize)
70 return 0; // Match for some other target
71
72 return getJITMatchQuality()/2;
73}
Chris Lattner02a3d832002-10-29 22:37:54 +000074
75/// X86TargetMachine ctor - Create an ILP32 architecture model
76///
Chris Lattner5d236002003-12-28 21:23:38 +000077X86TargetMachine::X86TargetMachine(const Module &M, IntrinsicLowering *IL)
78 : TargetMachine("X86", IL, true, 4, 4, 4, 4, 4),
Chris Lattner23c8d0b2004-10-08 22:41:46 +000079 FrameInfo(TargetFrameInfo::StackGrowsDown, 8, -4),
Chris Lattner5d236002003-12-28 21:23:38 +000080 JITInfo(*this) {
Chris Lattner02a3d832002-10-29 22:37:54 +000081}
82
Chris Lattner1d6ba3e2003-08-05 16:34:44 +000083
84// addPassesToEmitAssembly - We currently use all of the same passes as the JIT
85// does to emit statically compiled machine code.
Brian Gaekeac94bab2003-06-18 21:43:21 +000086bool X86TargetMachine::addPassesToEmitAssembly(PassManager &PM,
87 std::ostream &Out) {
Chris Lattner6e4edd62004-05-23 21:23:35 +000088 // FIXME: Implement efficient support for garbage collection intrinsics.
89 PM.add(createLowerGCPass());
90
Chris Lattner37225ef2003-10-05 19:15:47 +000091 // FIXME: Implement the invoke/unwind instructions!
92 PM.add(createLowerInvokePass());
93
Chris Lattner64c9b222004-02-25 19:30:19 +000094 // FIXME: Implement the switch instruction in the instruction selector!
95 PM.add(createLowerSwitchPass());
96
Chris Lattner6c322ec2004-07-02 05:46:41 +000097 // Make sure that no unreachable blocks are instruction selected.
98 PM.add(createUnreachableBlockEliminationPass());
99
Chris Lattner1d088db2004-08-15 23:02:17 +0000100 PM.add(createX86SimpleInstructionSelector(*this));
Brian Gaeke02cbe282003-08-13 18:15:52 +0000101
Chris Lattner6d760d72003-12-01 05:18:30 +0000102 // Run optional SSA-based machine code optimizations next...
103 if (!NoSSAPeephole)
104 PM.add(createX86SSAPeepholeOptimizerPass());
Brian Gaeke02cbe282003-08-13 18:15:52 +0000105
106 // Print the instruction selected machine code...
Brian Gaeke8351d8c2004-03-04 19:16:23 +0000107 if (PrintMachineCode)
Brian Gaeke94b5c3c2004-02-04 21:41:01 +0000108 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Brian Gaeke02cbe282003-08-13 18:15:52 +0000109
110 // Perform register allocation to convert to a concrete x86 representation
Alkis Evlogimenos5facafa2003-10-02 16:57:49 +0000111 PM.add(createRegisterAllocator());
Brian Gaeke02cbe282003-08-13 18:15:52 +0000112
Brian Gaeke8351d8c2004-03-04 19:16:23 +0000113 if (PrintMachineCode)
Brian Gaeke94b5c3c2004-02-04 21:41:01 +0000114 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Brian Gaeke02cbe282003-08-13 18:15:52 +0000115
116 PM.add(createX86FloatingPointStackifierPass());
117
Brian Gaeke8351d8c2004-03-04 19:16:23 +0000118 if (PrintMachineCode)
Brian Gaeke94b5c3c2004-02-04 21:41:01 +0000119 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Brian Gaeke02cbe282003-08-13 18:15:52 +0000120
121 // Insert prolog/epilog code. Eliminate abstract frame index references...
122 PM.add(createPrologEpilogCodeInserter());
123
124 PM.add(createX86PeepholeOptimizerPass());
125
Brian Gaeke8351d8c2004-03-04 19:16:23 +0000126 if (PrintMachineCode) // Print the register-allocated code
Brian Gaeke02cbe282003-08-13 18:15:52 +0000127 PM.add(createX86CodePrinterPass(std::cerr, *this));
128
Chris Lattner56f9b192004-02-09 01:47:10 +0000129 if (!DisableOutput)
130 PM.add(createX86CodePrinterPass(Out, *this));
Chris Lattner45259762003-12-20 10:20:19 +0000131
Alkis Evlogimenos6a355162004-02-15 00:03:15 +0000132 // Delete machine code for this function
133 PM.add(createMachineCodeDeleter());
134
Brian Gaekeac94bab2003-06-18 21:43:21 +0000135 return false; // success!
136}
137
Chris Lattner02a3d832002-10-29 22:37:54 +0000138/// addPassesToJITCompile - Add passes to the specified pass manager to
139/// implement a fast dynamic compiler for this target. Return true if this is
140/// not supported for this target.
141///
Chris Lattner833c3c22003-12-20 01:22:19 +0000142void X86JITInfo::addPassesToJITCompile(FunctionPassManager &PM) {
Chris Lattner6e4edd62004-05-23 21:23:35 +0000143 // FIXME: Implement efficient support for garbage collection intrinsics.
144 PM.add(createLowerGCPass());
Chris Lattner524608a2003-04-23 16:24:55 +0000145
Chris Lattner37225ef2003-10-05 19:15:47 +0000146 // FIXME: Implement the invoke/unwind instructions!
147 PM.add(createLowerInvokePass());
148
Chris Lattner64c9b222004-02-25 19:30:19 +0000149 // FIXME: Implement the switch instruction in the instruction selector!
150 PM.add(createLowerSwitchPass());
151
Chris Lattner6c322ec2004-07-02 05:46:41 +0000152 // Make sure that no unreachable blocks are instruction selected.
153 PM.add(createUnreachableBlockEliminationPass());
154
Chris Lattner1d088db2004-08-15 23:02:17 +0000155 PM.add(createX86SimpleInstructionSelector(TM));
Chris Lattner02a3d832002-10-29 22:37:54 +0000156
Chris Lattner6d760d72003-12-01 05:18:30 +0000157 // Run optional SSA-based machine code optimizations next...
158 if (!NoSSAPeephole)
159 PM.add(createX86SSAPeepholeOptimizerPass());
Chris Lattner02a3d832002-10-29 22:37:54 +0000160
Chris Lattner962d5be2003-01-13 00:51:23 +0000161 // FIXME: Add SSA based peephole optimizer here.
162
Chris Lattnerd7a85562002-10-30 00:47:49 +0000163 // Print the instruction selected machine code...
Brian Gaeke8351d8c2004-03-04 19:16:23 +0000164 if (PrintMachineCode)
Brian Gaeke94b5c3c2004-02-04 21:41:01 +0000165 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Chris Lattnerd7a85562002-10-30 00:47:49 +0000166
Chris Lattner02a3d832002-10-29 22:37:54 +0000167 // Perform register allocation to convert to a concrete x86 representation
Alkis Evlogimenos5facafa2003-10-02 16:57:49 +0000168 PM.add(createRegisterAllocator());
Chris Lattner9a81e692002-12-28 20:33:32 +0000169
Brian Gaeke8351d8c2004-03-04 19:16:23 +0000170 if (PrintMachineCode)
Brian Gaeke94b5c3c2004-02-04 21:41:01 +0000171 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Chris Lattner9a81e692002-12-28 20:33:32 +0000172
Chris Lattner962d5be2003-01-13 00:51:23 +0000173 PM.add(createX86FloatingPointStackifierPass());
174
Brian Gaeke8351d8c2004-03-04 19:16:23 +0000175 if (PrintMachineCode)
Brian Gaeke94b5c3c2004-02-04 21:41:01 +0000176 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Chris Lattner962d5be2003-01-13 00:51:23 +0000177
Chris Lattner9a81e692002-12-28 20:33:32 +0000178 // Insert prolog/epilog code. Eliminate abstract frame index references...
179 PM.add(createPrologEpilogCodeInserter());
Chris Lattner02a3d832002-10-29 22:37:54 +0000180
Chris Lattner962d5be2003-01-13 00:51:23 +0000181 PM.add(createX86PeepholeOptimizerPass());
182
Brian Gaeke8351d8c2004-03-04 19:16:23 +0000183 if (PrintMachineCode) // Print the register-allocated code
Chris Lattner833c3c22003-12-20 01:22:19 +0000184 PM.add(createX86CodePrinterPass(std::cerr, TM));
Chris Lattner02a3d832002-10-29 22:37:54 +0000185}
186