blob: dcd265ef80f865417905c43cea964c2ed681ac6e [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 Lattnerc45a0332003-12-28 09:47:19 +000016#include "llvm/IntrinsicLowering.h"
Chris Lattner4fd144a2003-08-24 19:49:48 +000017#include "llvm/Module.h"
Chris Lattner524608a2003-04-23 16:24:55 +000018#include "llvm/PassManager.h"
Chris Lattner02a3d832002-10-29 22:37:54 +000019#include "llvm/Target/TargetMachineImpls.h"
Chris Lattnerd7a85562002-10-30 00:47:49 +000020#include "llvm/CodeGen/MachineFunction.h"
Chris Lattner962d5be2003-01-13 00:51:23 +000021#include "llvm/CodeGen/Passes.h"
Chris Lattner524608a2003-04-23 16:24:55 +000022#include "llvm/Transforms/Scalar.h"
Chris Lattnere0c25aa2002-12-16 16:15:51 +000023#include "Support/CommandLine.h"
24#include "Support/Statistic.h"
Chris Lattner833c3c22003-12-20 01:22:19 +000025using namespace llvm;
Brian Gaeke960707c2003-11-11 22:41:34 +000026
Chris Lattnere0c25aa2002-12-16 16:15:51 +000027namespace {
Chris Lattnere61db422003-08-11 14:59:22 +000028 cl::opt<bool> NoPatternISel("disable-pattern-isel", cl::init(true),
29 cl::desc("Use the 'simple' X86 instruction selector"));
Chris Lattner6d760d72003-12-01 05:18:30 +000030 cl::opt<bool> NoSSAPeephole("disable-ssa-peephole", cl::init(true),
Chris Lattnerc45a0332003-12-28 09:47:19 +000031 cl::desc("Disable the ssa-based peephole optimizer "
32 "(defaults to disabled)"));
Chris Lattner56f9b192004-02-09 01:47:10 +000033 cl::opt<bool> DisableOutput("disable-x86-llc-output", cl::Hidden,
34 cl::desc("Disable the X86 asm printer, for use "
35 "when profiling the code generator."));
Chris Lattnere0c25aa2002-12-16 16:15:51 +000036}
37
Chris Lattner02a3d832002-10-29 22:37:54 +000038// allocateX86TargetMachine - Allocate and return a subclass of TargetMachine
39// that implements the X86 backend.
40//
Chris Lattnerc45a0332003-12-28 09:47:19 +000041TargetMachine *llvm::allocateX86TargetMachine(const Module &M,
42 IntrinsicLowering *IL) {
43 return new X86TargetMachine(M, IL);
Chris Lattnera32b4052002-12-24 00:04:01 +000044}
Chris Lattner02a3d832002-10-29 22:37:54 +000045
46
47/// X86TargetMachine ctor - Create an ILP32 architecture model
48///
Chris Lattner5d236002003-12-28 21:23:38 +000049X86TargetMachine::X86TargetMachine(const Module &M, IntrinsicLowering *IL)
50 : TargetMachine("X86", IL, true, 4, 4, 4, 4, 4),
Chris Lattner833c3c22003-12-20 01:22:19 +000051 FrameInfo(TargetFrameInfo::StackGrowsDown, 8/*16 for SSE*/, 4),
Chris Lattner5d236002003-12-28 21:23:38 +000052 JITInfo(*this) {
Chris Lattner02a3d832002-10-29 22:37:54 +000053}
54
Chris Lattner1d6ba3e2003-08-05 16:34:44 +000055
56// addPassesToEmitAssembly - We currently use all of the same passes as the JIT
57// does to emit statically compiled machine code.
Brian Gaekeac94bab2003-06-18 21:43:21 +000058bool X86TargetMachine::addPassesToEmitAssembly(PassManager &PM,
59 std::ostream &Out) {
Chris Lattner37225ef2003-10-05 19:15:47 +000060 // FIXME: Implement the invoke/unwind instructions!
61 PM.add(createLowerInvokePass());
62
63 // FIXME: The code generator does not properly handle functions with
64 // unreachable basic blocks.
65 PM.add(createCFGSimplificationPass());
66
Chris Lattner64c9b222004-02-25 19:30:19 +000067 // FIXME: Implement the switch instruction in the instruction selector!
68 PM.add(createLowerSwitchPass());
69
Chris Lattner1a0e9ac2004-03-30 18:41:59 +000070 // FIXME: Add support for the select instruction natively.
Chris Lattner53b58cb2004-03-30 21:22:00 +000071 PM.add(createLowerSelectPass(true));
Chris Lattner1a0e9ac2004-03-30 18:41:59 +000072
Brian Gaeke02cbe282003-08-13 18:15:52 +000073 if (NoPatternISel)
Chris Lattner5d236002003-12-28 21:23:38 +000074 PM.add(createX86SimpleInstructionSelector(*this));
Brian Gaeke02cbe282003-08-13 18:15:52 +000075 else
Chris Lattner5d236002003-12-28 21:23:38 +000076 PM.add(createX86PatternInstructionSelector(*this));
Brian Gaeke02cbe282003-08-13 18:15:52 +000077
Chris Lattner6d760d72003-12-01 05:18:30 +000078 // Run optional SSA-based machine code optimizations next...
79 if (!NoSSAPeephole)
80 PM.add(createX86SSAPeepholeOptimizerPass());
Brian Gaeke02cbe282003-08-13 18:15:52 +000081
82 // Print the instruction selected machine code...
Brian Gaeke8351d8c2004-03-04 19:16:23 +000083 if (PrintMachineCode)
Brian Gaeke94b5c3c2004-02-04 21:41:01 +000084 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Brian Gaeke02cbe282003-08-13 18:15:52 +000085
86 // Perform register allocation to convert to a concrete x86 representation
Alkis Evlogimenos5facafa2003-10-02 16:57:49 +000087 PM.add(createRegisterAllocator());
Brian Gaeke02cbe282003-08-13 18:15:52 +000088
Brian Gaeke8351d8c2004-03-04 19:16:23 +000089 if (PrintMachineCode)
Brian Gaeke94b5c3c2004-02-04 21:41:01 +000090 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Brian Gaeke02cbe282003-08-13 18:15:52 +000091
92 PM.add(createX86FloatingPointStackifierPass());
93
Brian Gaeke8351d8c2004-03-04 19:16:23 +000094 if (PrintMachineCode)
Brian Gaeke94b5c3c2004-02-04 21:41:01 +000095 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Brian Gaeke02cbe282003-08-13 18:15:52 +000096
97 // Insert prolog/epilog code. Eliminate abstract frame index references...
98 PM.add(createPrologEpilogCodeInserter());
99
100 PM.add(createX86PeepholeOptimizerPass());
101
Brian Gaeke8351d8c2004-03-04 19:16:23 +0000102 if (PrintMachineCode) // Print the register-allocated code
Brian Gaeke02cbe282003-08-13 18:15:52 +0000103 PM.add(createX86CodePrinterPass(std::cerr, *this));
104
Chris Lattner56f9b192004-02-09 01:47:10 +0000105 if (!DisableOutput)
106 PM.add(createX86CodePrinterPass(Out, *this));
Chris Lattner45259762003-12-20 10:20:19 +0000107
Alkis Evlogimenos6a355162004-02-15 00:03:15 +0000108 // Delete machine code for this function
109 PM.add(createMachineCodeDeleter());
110
Brian Gaekeac94bab2003-06-18 21:43:21 +0000111 return false; // success!
112}
113
Chris Lattner02a3d832002-10-29 22:37:54 +0000114/// addPassesToJITCompile - Add passes to the specified pass manager to
115/// implement a fast dynamic compiler for this target. Return true if this is
116/// not supported for this target.
117///
Chris Lattner833c3c22003-12-20 01:22:19 +0000118void X86JITInfo::addPassesToJITCompile(FunctionPassManager &PM) {
Chris Lattner524608a2003-04-23 16:24:55 +0000119
Chris Lattner37225ef2003-10-05 19:15:47 +0000120 // FIXME: Implement the invoke/unwind instructions!
121 PM.add(createLowerInvokePass());
122
123 // FIXME: The code generator does not properly handle functions with
124 // unreachable basic blocks.
125 PM.add(createCFGSimplificationPass());
126
Chris Lattner64c9b222004-02-25 19:30:19 +0000127 // FIXME: Implement the switch instruction in the instruction selector!
128 PM.add(createLowerSwitchPass());
129
Chris Lattner1a0e9ac2004-03-30 18:41:59 +0000130 // FIXME: Add support for the select instruction natively.
Chris Lattner53b58cb2004-03-30 21:22:00 +0000131 PM.add(createLowerSelectPass(true));
Chris Lattner1a0e9ac2004-03-30 18:41:59 +0000132
Chris Lattnere61db422003-08-11 14:59:22 +0000133 if (NoPatternISel)
Chris Lattner5d236002003-12-28 21:23:38 +0000134 PM.add(createX86SimpleInstructionSelector(TM));
Chris Lattnere61db422003-08-11 14:59:22 +0000135 else
Chris Lattner5d236002003-12-28 21:23:38 +0000136 PM.add(createX86PatternInstructionSelector(TM));
Chris Lattner02a3d832002-10-29 22:37:54 +0000137
Chris Lattner6d760d72003-12-01 05:18:30 +0000138 // Run optional SSA-based machine code optimizations next...
139 if (!NoSSAPeephole)
140 PM.add(createX86SSAPeepholeOptimizerPass());
Chris Lattner02a3d832002-10-29 22:37:54 +0000141
Chris Lattner962d5be2003-01-13 00:51:23 +0000142 // FIXME: Add SSA based peephole optimizer here.
143
Chris Lattnerd7a85562002-10-30 00:47:49 +0000144 // Print the instruction selected machine code...
Brian Gaeke8351d8c2004-03-04 19:16:23 +0000145 if (PrintMachineCode)
Brian Gaeke94b5c3c2004-02-04 21:41:01 +0000146 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Chris Lattnerd7a85562002-10-30 00:47:49 +0000147
Chris Lattner02a3d832002-10-29 22:37:54 +0000148 // Perform register allocation to convert to a concrete x86 representation
Alkis Evlogimenos5facafa2003-10-02 16:57:49 +0000149 PM.add(createRegisterAllocator());
Chris Lattner9a81e692002-12-28 20:33:32 +0000150
Brian Gaeke8351d8c2004-03-04 19:16:23 +0000151 if (PrintMachineCode)
Brian Gaeke94b5c3c2004-02-04 21:41:01 +0000152 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Chris Lattner9a81e692002-12-28 20:33:32 +0000153
Chris Lattner962d5be2003-01-13 00:51:23 +0000154 PM.add(createX86FloatingPointStackifierPass());
155
Brian Gaeke8351d8c2004-03-04 19:16:23 +0000156 if (PrintMachineCode)
Brian Gaeke94b5c3c2004-02-04 21:41:01 +0000157 PM.add(createMachineFunctionPrinterPass(&std::cerr));
Chris Lattner962d5be2003-01-13 00:51:23 +0000158
Chris Lattner9a81e692002-12-28 20:33:32 +0000159 // Insert prolog/epilog code. Eliminate abstract frame index references...
160 PM.add(createPrologEpilogCodeInserter());
Chris Lattner02a3d832002-10-29 22:37:54 +0000161
Chris Lattner962d5be2003-01-13 00:51:23 +0000162 PM.add(createX86PeepholeOptimizerPass());
163
Brian Gaeke8351d8c2004-03-04 19:16:23 +0000164 if (PrintMachineCode) // Print the register-allocated code
Chris Lattner833c3c22003-12-20 01:22:19 +0000165 PM.add(createX86CodePrinterPass(std::cerr, TM));
Chris Lattner02a3d832002-10-29 22:37:54 +0000166}
167