blob: 4886a114811188568e7fa149c6753ce1f5fe8458 [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 Lattner44827152003-12-28 09:47:19 +000016#include "llvm/IntrinsicLowering.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 Lattnerb4f68ed2002-10-29 22:37:54 +000019#include "llvm/Target/TargetMachineImpls.h"
Chris Lattner3dffa792002-10-30 00:47:49 +000020#include "llvm/CodeGen/MachineFunction.h"
Chris Lattnerd91d86f2003-01-13 00:51:23 +000021#include "llvm/CodeGen/Passes.h"
Chris Lattner155e68f2003-04-23 16:24:55 +000022#include "llvm/Transforms/Scalar.h"
Chris Lattner439a27a2002-12-16 16:15:51 +000023#include "Support/CommandLine.h"
24#include "Support/Statistic.h"
Chris Lattner1e60a912003-12-20 01:22:19 +000025using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000026
Chris Lattner439a27a2002-12-16 16:15:51 +000027namespace {
Chris Lattner5bcd95c2002-12-24 00:04:01 +000028 cl::opt<bool> PrintCode("print-machineinstrs",
29 cl::desc("Print generated machine code"));
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 Lattner9b527702003-12-01 05:18:30 +000032 cl::opt<bool> NoSSAPeephole("disable-ssa-peephole", cl::init(true),
Chris Lattner44827152003-12-28 09:47:19 +000033 cl::desc("Disable the ssa-based peephole optimizer "
34 "(defaults to disabled)"));
Chris Lattnerf6f263c2004-02-09 01:47:10 +000035 cl::opt<bool> DisableOutput("disable-x86-llc-output", cl::Hidden,
36 cl::desc("Disable the X86 asm printer, for use "
37 "when profiling the code generator."));
Chris Lattner439a27a2002-12-16 16:15:51 +000038}
39
Chris Lattnerb4f68ed2002-10-29 22:37:54 +000040// allocateX86TargetMachine - Allocate and return a subclass of TargetMachine
41// that implements the X86 backend.
42//
Chris Lattner44827152003-12-28 09:47:19 +000043TargetMachine *llvm::allocateX86TargetMachine(const Module &M,
44 IntrinsicLowering *IL) {
45 return new X86TargetMachine(M, IL);
Chris Lattner5bcd95c2002-12-24 00:04:01 +000046}
Chris Lattnerb4f68ed2002-10-29 22:37:54 +000047
48
49/// X86TargetMachine ctor - Create an ILP32 architecture model
50///
Chris Lattnerf70e0c22003-12-28 21:23:38 +000051X86TargetMachine::X86TargetMachine(const Module &M, IntrinsicLowering *IL)
52 : TargetMachine("X86", IL, true, 4, 4, 4, 4, 4),
Chris Lattner1e60a912003-12-20 01:22:19 +000053 FrameInfo(TargetFrameInfo::StackGrowsDown, 8/*16 for SSE*/, 4),
Chris Lattnerf70e0c22003-12-28 21:23:38 +000054 JITInfo(*this) {
Chris Lattnerb4f68ed2002-10-29 22:37:54 +000055}
56
Chris Lattnerc9bbfbc2003-08-05 16:34:44 +000057
58// addPassesToEmitAssembly - We currently use all of the same passes as the JIT
59// does to emit statically compiled machine code.
Brian Gaekede3aa4f2003-06-18 21:43:21 +000060bool X86TargetMachine::addPassesToEmitAssembly(PassManager &PM,
61 std::ostream &Out) {
Chris Lattnerc58c1692003-10-05 19:15:47 +000062 // FIXME: Implement the invoke/unwind instructions!
63 PM.add(createLowerInvokePass());
64
65 // FIXME: The code generator does not properly handle functions with
66 // unreachable basic blocks.
67 PM.add(createCFGSimplificationPass());
68
Chris Lattner87124422004-02-25 19:30:19 +000069 // FIXME: Implement the switch instruction in the instruction selector!
70 PM.add(createLowerSwitchPass());
71
Brian Gaekeb4286542003-08-13 18:15:52 +000072 if (NoPatternISel)
Chris Lattnerf70e0c22003-12-28 21:23:38 +000073 PM.add(createX86SimpleInstructionSelector(*this));
Brian Gaekeb4286542003-08-13 18:15:52 +000074 else
Chris Lattnerf70e0c22003-12-28 21:23:38 +000075 PM.add(createX86PatternInstructionSelector(*this));
Brian Gaekeb4286542003-08-13 18:15:52 +000076
Chris Lattner9b527702003-12-01 05:18:30 +000077 // Run optional SSA-based machine code optimizations next...
78 if (!NoSSAPeephole)
79 PM.add(createX86SSAPeepholeOptimizerPass());
Brian Gaekeb4286542003-08-13 18:15:52 +000080
81 // Print the instruction selected machine code...
82 if (PrintCode)
Brian Gaeke74ceb292004-02-04 21:41:01 +000083 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Brian Gaekeb4286542003-08-13 18:15:52 +000084
85 // Perform register allocation to convert to a concrete x86 representation
Alkis Evlogimenos7237ece2003-10-02 16:57:49 +000086 PM.add(createRegisterAllocator());
Brian Gaekeb4286542003-08-13 18:15:52 +000087
88 if (PrintCode)
Brian Gaeke74ceb292004-02-04 21:41:01 +000089 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Brian Gaekeb4286542003-08-13 18:15:52 +000090
91 PM.add(createX86FloatingPointStackifierPass());
92
93 if (PrintCode)
Brian Gaeke74ceb292004-02-04 21:41:01 +000094 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Brian Gaekeb4286542003-08-13 18:15:52 +000095
96 // Insert prolog/epilog code. Eliminate abstract frame index references...
97 PM.add(createPrologEpilogCodeInserter());
98
99 PM.add(createX86PeepholeOptimizerPass());
100
101 if (PrintCode) // Print the register-allocated code
102 PM.add(createX86CodePrinterPass(std::cerr, *this));
103
Chris Lattnerf6f263c2004-02-09 01:47:10 +0000104 if (!DisableOutput)
105 PM.add(createX86CodePrinterPass(Out, *this));
Chris Lattner655239c2003-12-20 10:20:19 +0000106
Alkis Evlogimenosc81efdc2004-02-15 00:03:15 +0000107 // Delete machine code for this function
108 PM.add(createMachineCodeDeleter());
109
Brian Gaekede3aa4f2003-06-18 21:43:21 +0000110 return false; // success!
111}
112
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000113/// addPassesToJITCompile - Add passes to the specified pass manager to
114/// implement a fast dynamic compiler for this target. Return true if this is
115/// not supported for this target.
116///
Chris Lattner1e60a912003-12-20 01:22:19 +0000117void X86JITInfo::addPassesToJITCompile(FunctionPassManager &PM) {
Chris Lattner155e68f2003-04-23 16:24:55 +0000118
Chris Lattnerc58c1692003-10-05 19:15:47 +0000119 // FIXME: Implement the invoke/unwind instructions!
120 PM.add(createLowerInvokePass());
121
122 // FIXME: The code generator does not properly handle functions with
123 // unreachable basic blocks.
124 PM.add(createCFGSimplificationPass());
125
Chris Lattner87124422004-02-25 19:30:19 +0000126 // FIXME: Implement the switch instruction in the instruction selector!
127 PM.add(createLowerSwitchPass());
128
Chris Lattnerac0c8682003-08-11 14:59:22 +0000129 if (NoPatternISel)
Chris Lattnerf70e0c22003-12-28 21:23:38 +0000130 PM.add(createX86SimpleInstructionSelector(TM));
Chris Lattnerac0c8682003-08-11 14:59:22 +0000131 else
Chris Lattnerf70e0c22003-12-28 21:23:38 +0000132 PM.add(createX86PatternInstructionSelector(TM));
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000133
Chris Lattner9b527702003-12-01 05:18:30 +0000134 // Run optional SSA-based machine code optimizations next...
135 if (!NoSSAPeephole)
136 PM.add(createX86SSAPeepholeOptimizerPass());
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000137
Chris Lattnerd91d86f2003-01-13 00:51:23 +0000138 // FIXME: Add SSA based peephole optimizer here.
139
Chris Lattner3dffa792002-10-30 00:47:49 +0000140 // Print the instruction selected machine code...
Chris Lattner5bcd95c2002-12-24 00:04:01 +0000141 if (PrintCode)
Brian Gaeke74ceb292004-02-04 21:41:01 +0000142 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Chris Lattner3dffa792002-10-30 00:47:49 +0000143
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000144 // Perform register allocation to convert to a concrete x86 representation
Alkis Evlogimenos7237ece2003-10-02 16:57:49 +0000145 PM.add(createRegisterAllocator());
Chris Lattnerd282cfe2002-12-28 20:33:32 +0000146
147 if (PrintCode)
Brian Gaeke74ceb292004-02-04 21:41:01 +0000148 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Chris Lattnerd282cfe2002-12-28 20:33:32 +0000149
Chris Lattnerd91d86f2003-01-13 00:51:23 +0000150 PM.add(createX86FloatingPointStackifierPass());
151
152 if (PrintCode)
Brian Gaeke74ceb292004-02-04 21:41:01 +0000153 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Chris Lattnerd91d86f2003-01-13 00:51:23 +0000154
Chris Lattnerd282cfe2002-12-28 20:33:32 +0000155 // Insert prolog/epilog code. Eliminate abstract frame index references...
156 PM.add(createPrologEpilogCodeInserter());
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000157
Chris Lattnerd91d86f2003-01-13 00:51:23 +0000158 PM.add(createX86PeepholeOptimizerPass());
159
Chris Lattner430cda72002-12-25 05:06:21 +0000160 if (PrintCode) // Print the register-allocated code
Chris Lattner1e60a912003-12-20 01:22:19 +0000161 PM.add(createX86CodePrinterPass(std::cerr, TM));
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000162}
163