I believe that the code generator now properly handles dead basic blocks. If not,
[oota-llvm.git] / lib / Target / X86 / X86TargetMachine.cpp
1 //===-- X86TargetMachine.cpp - Define TargetMachine for the X86 -----------===//
2 // 
3 //                     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 // 
10 // This file defines the X86 specific subclass of TargetMachine.
11 //
12 //===----------------------------------------------------------------------===//
13
14 #include "X86TargetMachine.h"
15 #include "X86.h"
16 #include "llvm/Module.h"
17 #include "llvm/PassManager.h"
18 #include "llvm/CodeGen/IntrinsicLowering.h"
19 #include "llvm/CodeGen/MachineFunction.h"
20 #include "llvm/CodeGen/Passes.h"
21 #include "llvm/Target/TargetMachineImpls.h"
22 #include "llvm/Transforms/Scalar.h"
23 #include "Support/CommandLine.h"
24 #include "Support/Statistic.h"
25 using namespace llvm;
26
27 namespace {
28   cl::opt<bool> NoPatternISel("disable-pattern-isel", cl::init(true),
29                         cl::desc("Use the 'simple' X86 instruction selector"));
30   cl::opt<bool> NoSSAPeephole("disable-ssa-peephole", cl::init(true),
31                         cl::desc("Disable the ssa-based peephole optimizer "
32                                  "(defaults to disabled)"));
33   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."));
36   cl::opt<bool> NoSimpleISel("disable-simple-isel", cl::init(true),
37              cl::desc("Use the hand coded 'simple' X86 instruction selector"));
38 }
39
40 // allocateX86TargetMachine - Allocate and return a subclass of TargetMachine
41 // that implements the X86 backend.
42 //
43 TargetMachine *llvm::allocateX86TargetMachine(const Module &M,
44                                               IntrinsicLowering *IL) {
45   return new X86TargetMachine(M, IL);
46 }
47
48
49 /// X86TargetMachine ctor - Create an ILP32 architecture model
50 ///
51 X86TargetMachine::X86TargetMachine(const Module &M, IntrinsicLowering *IL)
52   : TargetMachine("X86", IL, true, 4, 4, 4, 4, 4),
53     FrameInfo(TargetFrameInfo::StackGrowsDown, 8/*16 for SSE*/, -4),
54     JITInfo(*this) {
55 }
56
57
58 // addPassesToEmitAssembly - We currently use all of the same passes as the JIT
59 // does to emit statically compiled machine code.
60 bool X86TargetMachine::addPassesToEmitAssembly(PassManager &PM,
61                                                std::ostream &Out) {
62   // FIXME: Implement efficient support for garbage collection intrinsics.
63   PM.add(createLowerGCPass());
64
65   // FIXME: Implement the invoke/unwind instructions!
66   PM.add(createLowerInvokePass());
67
68   // FIXME: Implement the switch instruction in the instruction selector!
69   PM.add(createLowerSwitchPass());
70
71   if (NoPatternISel && NoSimpleISel)
72     PM.add(createX86SimpleInstructionSelector(*this));
73   else if (NoPatternISel)
74     PM.add(createX86ReallySimpleInstructionSelector(*this));
75   else
76     PM.add(createX86PatternInstructionSelector(*this));
77
78   // Run optional SSA-based machine code optimizations next...
79   if (!NoSSAPeephole)
80     PM.add(createX86SSAPeepholeOptimizerPass());
81
82   // Print the instruction selected machine code...
83   if (PrintMachineCode)
84     PM.add(createMachineFunctionPrinterPass(&std::cerr));
85
86   // Perform register allocation to convert to a concrete x86 representation
87   PM.add(createRegisterAllocator());
88
89   if (PrintMachineCode)
90     PM.add(createMachineFunctionPrinterPass(&std::cerr));
91
92   PM.add(createX86FloatingPointStackifierPass());
93
94   if (PrintMachineCode)
95     PM.add(createMachineFunctionPrinterPass(&std::cerr));
96
97   // Insert prolog/epilog code.  Eliminate abstract frame index references...
98   PM.add(createPrologEpilogCodeInserter());
99
100   PM.add(createX86PeepholeOptimizerPass());
101
102   if (PrintMachineCode)  // Print the register-allocated code
103     PM.add(createX86CodePrinterPass(std::cerr, *this));
104
105   if (!DisableOutput)
106     PM.add(createX86CodePrinterPass(Out, *this));
107
108   // Delete machine code for this function
109   PM.add(createMachineCodeDeleter());
110
111   return false; // success!
112 }
113
114 /// 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 ///
118 void X86JITInfo::addPassesToJITCompile(FunctionPassManager &PM) {
119   // FIXME: Implement efficient support for garbage collection intrinsics.
120   PM.add(createLowerGCPass());
121
122   // FIXME: Implement the invoke/unwind instructions!
123   PM.add(createLowerInvokePass());
124
125   // FIXME: Implement the switch instruction in the instruction selector!
126   PM.add(createLowerSwitchPass());
127
128   if (NoPatternISel)
129     PM.add(createX86SimpleInstructionSelector(TM));
130   else
131     PM.add(createX86PatternInstructionSelector(TM));
132
133   // Run optional SSA-based machine code optimizations next...
134   if (!NoSSAPeephole)
135     PM.add(createX86SSAPeepholeOptimizerPass());
136
137   // FIXME: Add SSA based peephole optimizer here.
138
139   // Print the instruction selected machine code...
140   if (PrintMachineCode)
141     PM.add(createMachineFunctionPrinterPass(&std::cerr));
142
143   // Perform register allocation to convert to a concrete x86 representation
144   PM.add(createRegisterAllocator());
145
146   if (PrintMachineCode)
147     PM.add(createMachineFunctionPrinterPass(&std::cerr));
148
149   PM.add(createX86FloatingPointStackifierPass());
150
151   if (PrintMachineCode)
152     PM.add(createMachineFunctionPrinterPass(&std::cerr));
153
154   // Insert prolog/epilog code.  Eliminate abstract frame index references...
155   PM.add(createPrologEpilogCodeInserter());
156
157   PM.add(createX86PeepholeOptimizerPass());
158
159   if (PrintMachineCode)  // Print the register-allocated code
160     PM.add(createX86CodePrinterPass(std::cerr, TM));
161 }
162