blob: a56e35f4d6fb6f8469c5a131d26418a5cf701d9a [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 Lattnerb4f68ed2002-10-29 22:37:54 +000018#include "llvm/Target/TargetMachineImpls.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 Lattner155e68f2003-04-23 16:24:55 +000021#include "llvm/Transforms/Scalar.h"
Chris Lattner439a27a2002-12-16 16:15:51 +000022#include "Support/CommandLine.h"
23#include "Support/Statistic.h"
Chris Lattner1e60a912003-12-20 01:22:19 +000024using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000025
Chris Lattner439a27a2002-12-16 16:15:51 +000026namespace {
Chris Lattner5bcd95c2002-12-24 00:04:01 +000027 cl::opt<bool> PrintCode("print-machineinstrs",
28 cl::desc("Print generated machine code"));
Chris Lattnerac0c8682003-08-11 14:59:22 +000029 cl::opt<bool> NoPatternISel("disable-pattern-isel", cl::init(true),
30 cl::desc("Use the 'simple' X86 instruction selector"));
Chris Lattner9b527702003-12-01 05:18:30 +000031 cl::opt<bool> NoSSAPeephole("disable-ssa-peephole", cl::init(true),
32 cl::desc("Disable the ssa-based peephole optimizer (defaults to disabled)"));
Chris Lattner439a27a2002-12-16 16:15:51 +000033}
34
Chris Lattnerb4f68ed2002-10-29 22:37:54 +000035// allocateX86TargetMachine - Allocate and return a subclass of TargetMachine
36// that implements the X86 backend.
37//
Chris Lattner1e60a912003-12-20 01:22:19 +000038TargetMachine *llvm::allocateX86TargetMachine(const Module &M) {
Chris Lattnerbb144a82003-08-24 19:49:48 +000039 return new X86TargetMachine(M);
Chris Lattner5bcd95c2002-12-24 00:04:01 +000040}
Chris Lattnerb4f68ed2002-10-29 22:37:54 +000041
42
43/// X86TargetMachine ctor - Create an ILP32 architecture model
44///
Chris Lattnerbb144a82003-08-24 19:49:48 +000045X86TargetMachine::X86TargetMachine(const Module &M)
Chris Lattner6c09db22003-10-20 04:11:23 +000046 : TargetMachine("X86", true, 4, 4, 4, 4, 4),
Chris Lattner1e60a912003-12-20 01:22:19 +000047 FrameInfo(TargetFrameInfo::StackGrowsDown, 8/*16 for SSE*/, 4),
48 JITInfo(*this) {
Chris Lattnerb4f68ed2002-10-29 22:37:54 +000049}
50
Chris Lattnerc9bbfbc2003-08-05 16:34:44 +000051
52// addPassesToEmitAssembly - We currently use all of the same passes as the JIT
53// does to emit statically compiled machine code.
Brian Gaekede3aa4f2003-06-18 21:43:21 +000054bool X86TargetMachine::addPassesToEmitAssembly(PassManager &PM,
55 std::ostream &Out) {
Brian Gaekeb4286542003-08-13 18:15:52 +000056 // FIXME: Implement the switch instruction in the instruction selector!
57 PM.add(createLowerSwitchPass());
58
Chris Lattnerc58c1692003-10-05 19:15:47 +000059 // FIXME: Implement the invoke/unwind instructions!
60 PM.add(createLowerInvokePass());
61
62 // FIXME: The code generator does not properly handle functions with
63 // unreachable basic blocks.
64 PM.add(createCFGSimplificationPass());
65
Brian Gaekeb4286542003-08-13 18:15:52 +000066 if (NoPatternISel)
67 PM.add(createX86SimpleInstructionSelector(*this));
68 else
69 PM.add(createX86PatternInstructionSelector(*this));
70
Chris Lattner9b527702003-12-01 05:18:30 +000071 // Run optional SSA-based machine code optimizations next...
72 if (!NoSSAPeephole)
73 PM.add(createX86SSAPeepholeOptimizerPass());
Brian Gaekeb4286542003-08-13 18:15:52 +000074
75 // Print the instruction selected machine code...
76 if (PrintCode)
77 PM.add(createMachineFunctionPrinterPass());
78
Alkis Evlogimenos359b65f2003-12-13 05:36:22 +000079 // kill floating point registers at the end of basic blocks. this is
80 // done because the floating point register stackifier cannot handle
81 // floating point regs that are live across basic blocks.
Chris Lattner655239c2003-12-20 10:20:19 +000082 //PM.add(createX86FloatingPointKillerPass());
Alkis Evlogimenos359b65f2003-12-13 05:36:22 +000083
Brian Gaekeb4286542003-08-13 18:15:52 +000084 // Perform register allocation to convert to a concrete x86 representation
Alkis Evlogimenos7237ece2003-10-02 16:57:49 +000085 PM.add(createRegisterAllocator());
Brian Gaekeb4286542003-08-13 18:15:52 +000086
87 if (PrintCode)
88 PM.add(createMachineFunctionPrinterPass());
89
90 PM.add(createX86FloatingPointStackifierPass());
91
92 if (PrintCode)
93 PM.add(createMachineFunctionPrinterPass());
94
95 // Insert prolog/epilog code. Eliminate abstract frame index references...
96 PM.add(createPrologEpilogCodeInserter());
97
98 PM.add(createX86PeepholeOptimizerPass());
99
100 if (PrintCode) // Print the register-allocated code
101 PM.add(createX86CodePrinterPass(std::cerr, *this));
102
Brian Gaekede420ae2003-07-23 20:25:08 +0000103 PM.add(createX86CodePrinterPass(Out, *this));
Chris Lattner655239c2003-12-20 10:20:19 +0000104
105 // Delete machine code for this function
106 PM.add(createMachineCodeDeleter());
107
Brian Gaekede3aa4f2003-06-18 21:43:21 +0000108 return false; // success!
109}
110
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000111/// addPassesToJITCompile - Add passes to the specified pass manager to
112/// implement a fast dynamic compiler for this target. Return true if this is
113/// not supported for this target.
114///
Chris Lattner1e60a912003-12-20 01:22:19 +0000115void X86JITInfo::addPassesToJITCompile(FunctionPassManager &PM) {
Chris Lattner155e68f2003-04-23 16:24:55 +0000116 // FIXME: Implement the switch instruction in the instruction selector!
117 PM.add(createLowerSwitchPass());
118
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 Lattnerac0c8682003-08-11 14:59:22 +0000126 if (NoPatternISel)
Chris Lattner1e60a912003-12-20 01:22:19 +0000127 PM.add(createX86SimpleInstructionSelector(TM));
Chris Lattnerac0c8682003-08-11 14:59:22 +0000128 else
Chris Lattner1e60a912003-12-20 01:22:19 +0000129 PM.add(createX86PatternInstructionSelector(TM));
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000130
Chris Lattner9b527702003-12-01 05:18:30 +0000131 // Run optional SSA-based machine code optimizations next...
132 if (!NoSSAPeephole)
133 PM.add(createX86SSAPeepholeOptimizerPass());
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000134
Chris Lattnerd91d86f2003-01-13 00:51:23 +0000135 // FIXME: Add SSA based peephole optimizer here.
136
Chris Lattner3dffa792002-10-30 00:47:49 +0000137 // Print the instruction selected machine code...
Chris Lattner5bcd95c2002-12-24 00:04:01 +0000138 if (PrintCode)
139 PM.add(createMachineFunctionPrinterPass());
Chris Lattner3dffa792002-10-30 00:47:49 +0000140
Alkis Evlogimenos359b65f2003-12-13 05:36:22 +0000141 // kill floating point registers at the end of basic blocks. this is
142 // done because the floating point register stackifier cannot handle
143 // floating point regs that are live across basic blocks.
Chris Lattner655239c2003-12-20 10:20:19 +0000144 //PM.add(createX86FloatingPointKillerPass());
Alkis Evlogimenos359b65f2003-12-13 05:36:22 +0000145
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000146 // Perform register allocation to convert to a concrete x86 representation
Alkis Evlogimenos7237ece2003-10-02 16:57:49 +0000147 PM.add(createRegisterAllocator());
Chris Lattnerd282cfe2002-12-28 20:33:32 +0000148
149 if (PrintCode)
150 PM.add(createMachineFunctionPrinterPass());
151
Chris Lattnerd91d86f2003-01-13 00:51:23 +0000152 PM.add(createX86FloatingPointStackifierPass());
153
154 if (PrintCode)
155 PM.add(createMachineFunctionPrinterPass());
156
Chris Lattnerd282cfe2002-12-28 20:33:32 +0000157 // Insert prolog/epilog code. Eliminate abstract frame index references...
158 PM.add(createPrologEpilogCodeInserter());
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000159
Chris Lattnerd91d86f2003-01-13 00:51:23 +0000160 PM.add(createX86PeepholeOptimizerPass());
161
Chris Lattner430cda72002-12-25 05:06:21 +0000162 if (PrintCode) // Print the register-allocated code
Chris Lattner1e60a912003-12-20 01:22:19 +0000163 PM.add(createX86CodePrinterPass(std::cerr, TM));
Chris Lattnerb4f68ed2002-10-29 22:37:54 +0000164}
165