blob: 34eff8f2ff4f59409013521f4ba63c0844e8b476 [file] [log] [blame]
Chris Lattner0eafc312001-10-18 06:05:15 +00001//===----------------------------------------------------------------------===//
Chris Lattner00950542001-06-06 20:29:01 +00002// LLVM 'OPT' UTILITY
3//
Chris Lattner00950542001-06-06 20:29:01 +00004// Optimizations may be specified an arbitrary number of times on the command
5// line, they are run in the order specified.
6//
Chris Lattner0eafc312001-10-18 06:05:15 +00007//===----------------------------------------------------------------------===//
Chris Lattner00950542001-06-06 20:29:01 +00008
Chris Lattner00950542001-06-06 20:29:01 +00009#include "llvm/Module.h"
Chris Lattnerfb1b3f12002-01-31 00:47:12 +000010#include "llvm/PassManager.h"
Chris Lattner00950542001-06-06 20:29:01 +000011#include "llvm/Bytecode/Reader.h"
Chris Lattnerfb1b3f12002-01-31 00:47:12 +000012#include "llvm/Bytecode/WriteBytecodePass.h"
Chris Lattnerffa6f9c2001-10-19 15:39:14 +000013#include "llvm/Assembly/PrintModulePass.h"
Chris Lattner22d26d72002-02-20 17:56:53 +000014#include "llvm/Analysis/Verifier.h"
Chris Lattner0be41012002-02-01 04:54:11 +000015#include "llvm/Transforms/UnifyMethodExitNodes.h"
Chris Lattner9effd692001-10-18 20:06:45 +000016#include "llvm/Transforms/ConstantMerge.h"
Chris Lattnere166fe12001-10-31 04:29:44 +000017#include "llvm/Transforms/CleanupGCCOutput.h"
Chris Lattner068f4872001-11-01 02:41:09 +000018#include "llvm/Transforms/LevelChange.h"
Chris Lattner59b6b8e2002-01-21 23:17:48 +000019#include "llvm/Transforms/MethodInlining.h"
20#include "llvm/Transforms/SymbolStripping.h"
Chris Lattnerd7db8632002-01-22 01:04:08 +000021#include "llvm/Transforms/ChangeAllocations.h"
Chris Lattner04c85dc2002-01-21 07:52:35 +000022#include "llvm/Transforms/IPO/SimpleStructMutation.h"
Chris Lattner63202322001-11-26 19:22:39 +000023#include "llvm/Transforms/IPO/GlobalDCE.h"
Chris Lattner59b6b8e2002-01-21 23:17:48 +000024#include "llvm/Transforms/Scalar/DCE.h"
25#include "llvm/Transforms/Scalar/ConstantProp.h"
Chris Lattnerfe196cf2001-12-04 04:32:04 +000026#include "llvm/Transforms/Scalar/IndVarSimplify.h"
Chris Lattner528e8b52001-12-14 16:50:35 +000027#include "llvm/Transforms/Scalar/InstructionCombining.h"
Chris Lattnereeeaf522002-02-12 17:17:33 +000028#include "llvm/Transforms/Scalar/PromoteMemoryToRegister.h"
Chris Lattner59b6b8e2002-01-21 23:17:48 +000029#include "llvm/Transforms/Instrumentation/TraceValues.h"
Anand Shukladc9a1f52002-02-26 19:57:59 +000030#include "llvm/Transforms/Instrumentation/ProfilePaths.h"
Chris Lattnercee8f9a2001-11-27 00:03:19 +000031#include "Support/CommandLine.h"
Chris Lattner73e11d72001-10-18 06:13:08 +000032#include <fstream>
Chris Lattner63202322001-11-26 19:22:39 +000033#include <memory>
Chris Lattner95781b62001-06-30 06:38:31 +000034
Chris Lattnerfb1b3f12002-01-31 00:47:12 +000035// Opts enum - All of the transformations we can do...
Chris Lattner8f367bd2001-07-23 02:35:57 +000036enum Opts {
37 // Basic optimizations
Chris Lattner0be41012002-02-01 04:54:11 +000038 dce, constprop, inlining, constmerge, strip, mstrip, mergereturn,
Chris Lattner8f367bd2001-07-23 02:35:57 +000039
Chris Lattner0eafc312001-10-18 06:05:15 +000040 // Miscellaneous Transformations
Anand Shukladc9a1f52002-02-26 19:57:59 +000041 raiseallocs, cleangcc,
Chris Lattner22d26d72002-02-20 17:56:53 +000042
43 // Printing and verifying...
44 print, verify,
Chris Lattner0eafc312001-10-18 06:05:15 +000045
Chris Lattner8f367bd2001-07-23 02:35:57 +000046 // More powerful optimizations
Chris Lattnereeeaf522002-02-12 17:17:33 +000047 indvars, instcombine, sccp, adce, raise, mem2reg,
Chris Lattner63202322001-11-26 19:22:39 +000048
Anand Shukladc9a1f52002-02-26 19:57:59 +000049 // Instrumentation
50 trace, tracem, paths,
51
Chris Lattner63202322001-11-26 19:22:39 +000052 // Interprocedural optimizations...
Chris Lattnerf4de63f2002-01-21 07:31:50 +000053 globaldce, swapstructs, sortstructs,
Chris Lattner00950542001-06-06 20:29:01 +000054};
55
Chris Lattnerfb1b3f12002-01-31 00:47:12 +000056
57// New template functions - Provide functions that return passes of specified
58// types, with specified arguments...
59//
60template<class PassClass>
61Pass *New() {
62 return new PassClass();
63}
64
65template<class PassClass, typename ArgTy1, ArgTy1 Arg1>
66Pass *New() {
67 return new PassClass(Arg1);
68}
69
70template<class PassClass, typename ArgTy1, ArgTy1 Arg1,
71 typename ArgTy2, ArgTy1 Arg2>
72Pass *New() {
73 return new PassClass(Arg1, Arg2);
74}
75
76static Pass *NewPrintMethodPass() {
77 return new PrintMethodPass("Current Method: \n", &cerr);
78}
79
80// OptTable - Correlate enum Opts to Pass constructors...
81//
Chris Lattner8f367bd2001-07-23 02:35:57 +000082struct {
83 enum Opts OptID;
Chris Lattnerfb1b3f12002-01-31 00:47:12 +000084 Pass * (*PassCtor)();
Chris Lattner8f367bd2001-07-23 02:35:57 +000085} OptTable[] = {
Chris Lattnerfb1b3f12002-01-31 00:47:12 +000086 { dce , New<DeadCodeElimination> },
87 { constprop , New<ConstantPropogation> },
88 { inlining , New<MethodInlining> },
89 { constmerge , New<ConstantMerge> },
90 { strip , New<SymbolStripping> },
91 { mstrip , New<FullSymbolStripping> },
Chris Lattner0be41012002-02-01 04:54:11 +000092 { mergereturn, New<UnifyMethodExitNodes> },
93
Chris Lattnerfb1b3f12002-01-31 00:47:12 +000094 { indvars , New<InductionVariableSimplify> },
95 { instcombine, New<InstructionCombining> },
96 { sccp , New<SCCPPass> },
97 { adce , New<AgressiveDCE> },
98 { raise , New<RaisePointerReferences> },
Chris Lattnereeeaf522002-02-12 17:17:33 +000099 { mem2reg , newPromoteMemoryToRegister },
100
Chris Lattnerfb1b3f12002-01-31 00:47:12 +0000101 { trace , New<InsertTraceCode, bool, true, bool, true> },
102 { tracem , New<InsertTraceCode, bool, false, bool, true> },
Anand Shukladc9a1f52002-02-26 19:57:59 +0000103 { paths , New<ProfilePaths> },
Chris Lattnerfb1b3f12002-01-31 00:47:12 +0000104 { print , NewPrintMethodPass },
Chris Lattner22d26d72002-02-20 17:56:53 +0000105 { verify , createVerifierPass },
Chris Lattnerfb1b3f12002-01-31 00:47:12 +0000106 { raiseallocs, New<RaiseAllocations> },
107 { cleangcc , New<CleanupGCCOutput> },
108 { globaldce , New<GlobalDCE> },
109 { swapstructs, New<SimpleStructMutation, SimpleStructMutation::Transform,
110 SimpleStructMutation::SwapElements>},
111 { sortstructs, New<SimpleStructMutation, SimpleStructMutation::Transform,
112 SimpleStructMutation::SortElements>},
Chris Lattner8f367bd2001-07-23 02:35:57 +0000113};
114
Chris Lattnerfb1b3f12002-01-31 00:47:12 +0000115// Command line option handling code...
116//
Chris Lattnera8e1fd32001-07-23 20:22:30 +0000117cl::String InputFilename ("", "Load <arg> file to optimize", cl::NoFlags, "-");
118cl::String OutputFilename("o", "Override output filename", cl::NoFlags, "");
119cl::Flag Force ("f", "Overwrite output files", cl::NoFlags, false);
Chris Lattnerfb1b3f12002-01-31 00:47:12 +0000120cl::Flag PrintEachXForm("p", "Print module after each transformation");
Chris Lattner8f367bd2001-07-23 02:35:57 +0000121cl::Flag Quiet ("q", "Don't print modifying pass names", 0, false);
Chris Lattnera8e1fd32001-07-23 20:22:30 +0000122cl::Alias QuietA ("quiet", "Alias for -q", cl::NoFlags, Quiet);
Chris Lattner8f367bd2001-07-23 02:35:57 +0000123cl::EnumList<enum Opts> OptimizationList(cl::NoFlags,
Chris Lattner528e8b52001-12-14 16:50:35 +0000124 clEnumVal(dce , "Dead Code Elimination"),
Chris Lattner0be41012002-02-01 04:54:11 +0000125 clEnumVal(constprop , "Simple constant propogation"),
126 clEnumValN(inlining , "inline", "Method integration"),
Chris Lattner528e8b52001-12-14 16:50:35 +0000127 clEnumVal(constmerge , "Merge identical global constants"),
Chris Lattner0be41012002-02-01 04:54:11 +0000128 clEnumVal(strip , "Strip symbols"),
129 clEnumVal(mstrip , "Strip module symbols"),
130 clEnumVal(mergereturn, "Unify method exit nodes"),
131
Chris Lattner528e8b52001-12-14 16:50:35 +0000132 clEnumVal(indvars , "Simplify Induction Variables"),
Chris Lattnerfb1b3f12002-01-31 00:47:12 +0000133 clEnumVal(instcombine, "Combine redundant instructions"),
Chris Lattner528e8b52001-12-14 16:50:35 +0000134 clEnumVal(sccp , "Sparse Conditional Constant Propogation"),
135 clEnumVal(adce , "Agressive DCE"),
Chris Lattnereeeaf522002-02-12 17:17:33 +0000136 clEnumVal(mem2reg , "Promote alloca locations to registers"),
Chris Lattner854acb92001-11-10 07:16:10 +0000137
Chris Lattner528e8b52001-12-14 16:50:35 +0000138 clEnumVal(globaldce , "Remove unreachable globals"),
Chris Lattner63202322001-11-26 19:22:39 +0000139 clEnumVal(swapstructs, "Swap structure types around"),
Chris Lattnerf4de63f2002-01-21 07:31:50 +0000140 clEnumVal(sortstructs, "Sort structure elements"),
Chris Lattner63202322001-11-26 19:22:39 +0000141
Chris Lattner5048c3b2002-01-22 00:13:51 +0000142 clEnumVal(raiseallocs, "Raise allocations from calls to instructions"),
Chris Lattner528e8b52001-12-14 16:50:35 +0000143 clEnumVal(cleangcc , "Cleanup GCC Output"),
144 clEnumVal(raise , "Raise to Higher Level"),
145 clEnumVal(trace , "Insert BB & Method trace code"),
146 clEnumVal(tracem , "Insert Method trace code only"),
Anand Shukladc9a1f52002-02-26 19:57:59 +0000147 clEnumVal(paths , "Insert path profiling instrumentation"),
Chris Lattner528e8b52001-12-14 16:50:35 +0000148 clEnumVal(print , "Print working method to stderr"),
Chris Lattner22d26d72002-02-20 17:56:53 +0000149 clEnumVal(verify , "Verify module is well formed"),
Chris Lattner8f367bd2001-07-23 02:35:57 +00001500);
151
Chris Lattnerfb1b3f12002-01-31 00:47:12 +0000152
Chris Lattner8f367bd2001-07-23 02:35:57 +0000153
Chris Lattner00950542001-06-06 20:29:01 +0000154int main(int argc, char **argv) {
Chris Lattner8f367bd2001-07-23 02:35:57 +0000155 cl::ParseCommandLineOptions(argc, argv,
156 " llvm .bc -> .bc modular optimizer\n");
Chris Lattnerfb1b3f12002-01-31 00:47:12 +0000157
158 // Load the input module...
Chris Lattner63202322001-11-26 19:22:39 +0000159 std::auto_ptr<Module> M(ParseBytecodeFile(InputFilename));
160 if (M.get() == 0) {
Chris Lattner00950542001-06-06 20:29:01 +0000161 cerr << "bytecode didn't read correctly.\n";
162 return 1;
163 }
164
Chris Lattnerfb1b3f12002-01-31 00:47:12 +0000165 // Figure out what stream we are supposed to write to...
Chris Lattner697954c2002-01-20 22:54:45 +0000166 std::ostream *Out = &std::cout; // Default to printing to stdout...
Chris Lattner1e78f362001-07-23 19:27:24 +0000167 if (OutputFilename != "") {
Chris Lattner888912d2002-01-22 21:07:24 +0000168 if (!Force && std::ifstream(OutputFilename.c_str())) {
Chris Lattner697954c2002-01-20 22:54:45 +0000169 // If force is not specified, make sure not to overwrite a file!
170 cerr << "Error opening '" << OutputFilename << "': File exists!\n"
171 << "Use -f command line argument to force output\n";
172 return 1;
173 }
174 Out = new std::ofstream(OutputFilename.c_str());
175
Chris Lattner00950542001-06-06 20:29:01 +0000176 if (!Out->good()) {
Chris Lattner1e78f362001-07-23 19:27:24 +0000177 cerr << "Error opening " << OutputFilename << "!\n";
Chris Lattner00950542001-06-06 20:29:01 +0000178 return 1;
179 }
180 }
181
Chris Lattnerfb1b3f12002-01-31 00:47:12 +0000182 // Create a PassManager to hold and optimize the collection of passes we are
183 // about to build...
184 //
185 PassManager Passes;
Chris Lattner00950542001-06-06 20:29:01 +0000186
Chris Lattnerfb1b3f12002-01-31 00:47:12 +0000187 // Create a new optimization pass for each one specified on the command line
188 for (unsigned i = 0; i < OptimizationList.size(); ++i) {
189 enum Opts Opt = OptimizationList[i];
190 for (unsigned j = 0; j < sizeof(OptTable)/sizeof(OptTable[0]); ++j)
191 if (Opt == OptTable[j].OptID) {
192 Passes.add(OptTable[j].PassCtor());
193 break;
194 }
195
196 if (PrintEachXForm)
197 Passes.add(new PrintModulePass(&std::cerr));
198 }
199
Chris Lattner22d26d72002-02-20 17:56:53 +0000200 // Check that the module is well formed on completion of optimization
201 Passes.add(createVerifierPass());
202
Chris Lattnerfb1b3f12002-01-31 00:47:12 +0000203 // Write bytecode out to disk or cout as the last step...
204 Passes.add(new WriteBytecodePass(Out, Out != &std::cout));
205
206 // Now that we have all of the passes ready, run them.
207 if (Passes.run(M.get()) && !Quiet)
208 cerr << "Program modified.\n";
209
Chris Lattner00950542001-06-06 20:29:01 +0000210 return 0;
211}