Chris Lattner | 0eafc31 | 2001-10-18 06:05:15 +0000 | [diff] [blame] | 1 | //===----------------------------------------------------------------------===// |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 2 | // LLVM 'OPT' UTILITY |
| 3 | // |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 4 | // Optimizations may be specified an arbitrary number of times on the command |
| 5 | // line, they are run in the order specified. |
| 6 | // |
Chris Lattner | 0eafc31 | 2001-10-18 06:05:15 +0000 | [diff] [blame] | 7 | //===----------------------------------------------------------------------===// |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 8 | |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 9 | #include "llvm/Module.h" |
Chris Lattner | fb1b3f1 | 2002-01-31 00:47:12 +0000 | [diff] [blame] | 10 | #include "llvm/PassManager.h" |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 11 | #include "llvm/Bytecode/Reader.h" |
Chris Lattner | fb1b3f1 | 2002-01-31 00:47:12 +0000 | [diff] [blame] | 12 | #include "llvm/Bytecode/WriteBytecodePass.h" |
Chris Lattner | ffa6f9c | 2001-10-19 15:39:14 +0000 | [diff] [blame] | 13 | #include "llvm/Assembly/PrintModulePass.h" |
Chris Lattner | 22d26d7 | 2002-02-20 17:56:53 +0000 | [diff] [blame] | 14 | #include "llvm/Analysis/Verifier.h" |
Chris Lattner | 0be4101 | 2002-02-01 04:54:11 +0000 | [diff] [blame] | 15 | #include "llvm/Transforms/UnifyMethodExitNodes.h" |
Chris Lattner | 9effd69 | 2001-10-18 20:06:45 +0000 | [diff] [blame] | 16 | #include "llvm/Transforms/ConstantMerge.h" |
Chris Lattner | e166fe1 | 2001-10-31 04:29:44 +0000 | [diff] [blame] | 17 | #include "llvm/Transforms/CleanupGCCOutput.h" |
Chris Lattner | 068f487 | 2001-11-01 02:41:09 +0000 | [diff] [blame] | 18 | #include "llvm/Transforms/LevelChange.h" |
Chris Lattner | 59b6b8e | 2002-01-21 23:17:48 +0000 | [diff] [blame] | 19 | #include "llvm/Transforms/MethodInlining.h" |
| 20 | #include "llvm/Transforms/SymbolStripping.h" |
Chris Lattner | d7db863 | 2002-01-22 01:04:08 +0000 | [diff] [blame] | 21 | #include "llvm/Transforms/ChangeAllocations.h" |
Chris Lattner | 04c85dc | 2002-01-21 07:52:35 +0000 | [diff] [blame] | 22 | #include "llvm/Transforms/IPO/SimpleStructMutation.h" |
Chris Lattner | 6320232 | 2001-11-26 19:22:39 +0000 | [diff] [blame] | 23 | #include "llvm/Transforms/IPO/GlobalDCE.h" |
Chris Lattner | 59b6b8e | 2002-01-21 23:17:48 +0000 | [diff] [blame] | 24 | #include "llvm/Transforms/Scalar/DCE.h" |
| 25 | #include "llvm/Transforms/Scalar/ConstantProp.h" |
Chris Lattner | fe196cf | 2001-12-04 04:32:04 +0000 | [diff] [blame] | 26 | #include "llvm/Transforms/Scalar/IndVarSimplify.h" |
Chris Lattner | 528e8b5 | 2001-12-14 16:50:35 +0000 | [diff] [blame] | 27 | #include "llvm/Transforms/Scalar/InstructionCombining.h" |
Chris Lattner | eeeaf52 | 2002-02-12 17:17:33 +0000 | [diff] [blame] | 28 | #include "llvm/Transforms/Scalar/PromoteMemoryToRegister.h" |
Chris Lattner | 59b6b8e | 2002-01-21 23:17:48 +0000 | [diff] [blame] | 29 | #include "llvm/Transforms/Instrumentation/TraceValues.h" |
Anand Shukla | dc9a1f5 | 2002-02-26 19:57:59 +0000 | [diff] [blame] | 30 | #include "llvm/Transforms/Instrumentation/ProfilePaths.h" |
Chris Lattner | cee8f9a | 2001-11-27 00:03:19 +0000 | [diff] [blame] | 31 | #include "Support/CommandLine.h" |
Chris Lattner | 73e11d7 | 2001-10-18 06:13:08 +0000 | [diff] [blame] | 32 | #include <fstream> |
Chris Lattner | 6320232 | 2001-11-26 19:22:39 +0000 | [diff] [blame] | 33 | #include <memory> |
Chris Lattner | 95781b6 | 2001-06-30 06:38:31 +0000 | [diff] [blame] | 34 | |
Chris Lattner | fb1b3f1 | 2002-01-31 00:47:12 +0000 | [diff] [blame] | 35 | // Opts enum - All of the transformations we can do... |
Chris Lattner | 8f367bd | 2001-07-23 02:35:57 +0000 | [diff] [blame] | 36 | enum Opts { |
| 37 | // Basic optimizations |
Chris Lattner | 0be4101 | 2002-02-01 04:54:11 +0000 | [diff] [blame] | 38 | dce, constprop, inlining, constmerge, strip, mstrip, mergereturn, |
Chris Lattner | 8f367bd | 2001-07-23 02:35:57 +0000 | [diff] [blame] | 39 | |
Chris Lattner | 0eafc31 | 2001-10-18 06:05:15 +0000 | [diff] [blame] | 40 | // Miscellaneous Transformations |
Anand Shukla | dc9a1f5 | 2002-02-26 19:57:59 +0000 | [diff] [blame] | 41 | raiseallocs, cleangcc, |
Chris Lattner | 22d26d7 | 2002-02-20 17:56:53 +0000 | [diff] [blame] | 42 | |
| 43 | // Printing and verifying... |
| 44 | print, verify, |
Chris Lattner | 0eafc31 | 2001-10-18 06:05:15 +0000 | [diff] [blame] | 45 | |
Chris Lattner | 8f367bd | 2001-07-23 02:35:57 +0000 | [diff] [blame] | 46 | // More powerful optimizations |
Chris Lattner | eeeaf52 | 2002-02-12 17:17:33 +0000 | [diff] [blame] | 47 | indvars, instcombine, sccp, adce, raise, mem2reg, |
Chris Lattner | 6320232 | 2001-11-26 19:22:39 +0000 | [diff] [blame] | 48 | |
Anand Shukla | dc9a1f5 | 2002-02-26 19:57:59 +0000 | [diff] [blame] | 49 | // Instrumentation |
| 50 | trace, tracem, paths, |
| 51 | |
Chris Lattner | 6320232 | 2001-11-26 19:22:39 +0000 | [diff] [blame] | 52 | // Interprocedural optimizations... |
Chris Lattner | f4de63f | 2002-01-21 07:31:50 +0000 | [diff] [blame] | 53 | globaldce, swapstructs, sortstructs, |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 54 | }; |
| 55 | |
Chris Lattner | fb1b3f1 | 2002-01-31 00:47:12 +0000 | [diff] [blame] | 56 | |
| 57 | // New template functions - Provide functions that return passes of specified |
| 58 | // types, with specified arguments... |
| 59 | // |
| 60 | template<class PassClass> |
| 61 | Pass *New() { |
| 62 | return new PassClass(); |
| 63 | } |
| 64 | |
| 65 | template<class PassClass, typename ArgTy1, ArgTy1 Arg1> |
| 66 | Pass *New() { |
| 67 | return new PassClass(Arg1); |
| 68 | } |
| 69 | |
| 70 | template<class PassClass, typename ArgTy1, ArgTy1 Arg1, |
| 71 | typename ArgTy2, ArgTy1 Arg2> |
| 72 | Pass *New() { |
| 73 | return new PassClass(Arg1, Arg2); |
| 74 | } |
| 75 | |
| 76 | static Pass *NewPrintMethodPass() { |
| 77 | return new PrintMethodPass("Current Method: \n", &cerr); |
| 78 | } |
| 79 | |
| 80 | // OptTable - Correlate enum Opts to Pass constructors... |
| 81 | // |
Chris Lattner | 8f367bd | 2001-07-23 02:35:57 +0000 | [diff] [blame] | 82 | struct { |
| 83 | enum Opts OptID; |
Chris Lattner | fb1b3f1 | 2002-01-31 00:47:12 +0000 | [diff] [blame] | 84 | Pass * (*PassCtor)(); |
Chris Lattner | 8f367bd | 2001-07-23 02:35:57 +0000 | [diff] [blame] | 85 | } OptTable[] = { |
Chris Lattner | fb1b3f1 | 2002-01-31 00:47:12 +0000 | [diff] [blame] | 86 | { dce , New<DeadCodeElimination> }, |
| 87 | { constprop , New<ConstantPropogation> }, |
| 88 | { inlining , New<MethodInlining> }, |
| 89 | { constmerge , New<ConstantMerge> }, |
| 90 | { strip , New<SymbolStripping> }, |
| 91 | { mstrip , New<FullSymbolStripping> }, |
Chris Lattner | 0be4101 | 2002-02-01 04:54:11 +0000 | [diff] [blame] | 92 | { mergereturn, New<UnifyMethodExitNodes> }, |
| 93 | |
Chris Lattner | fb1b3f1 | 2002-01-31 00:47:12 +0000 | [diff] [blame] | 94 | { indvars , New<InductionVariableSimplify> }, |
| 95 | { instcombine, New<InstructionCombining> }, |
| 96 | { sccp , New<SCCPPass> }, |
| 97 | { adce , New<AgressiveDCE> }, |
| 98 | { raise , New<RaisePointerReferences> }, |
Chris Lattner | eeeaf52 | 2002-02-12 17:17:33 +0000 | [diff] [blame] | 99 | { mem2reg , newPromoteMemoryToRegister }, |
| 100 | |
Chris Lattner | fb1b3f1 | 2002-01-31 00:47:12 +0000 | [diff] [blame] | 101 | { trace , New<InsertTraceCode, bool, true, bool, true> }, |
| 102 | { tracem , New<InsertTraceCode, bool, false, bool, true> }, |
Chris Lattner | eded491 | 2002-02-26 20:04:59 +0000 | [diff] [blame^] | 103 | { paths , createProfilePathsPass }, |
| 104 | |
Chris Lattner | fb1b3f1 | 2002-01-31 00:47:12 +0000 | [diff] [blame] | 105 | { print , NewPrintMethodPass }, |
Chris Lattner | 22d26d7 | 2002-02-20 17:56:53 +0000 | [diff] [blame] | 106 | { verify , createVerifierPass }, |
Chris Lattner | eded491 | 2002-02-26 20:04:59 +0000 | [diff] [blame^] | 107 | |
Chris Lattner | fb1b3f1 | 2002-01-31 00:47:12 +0000 | [diff] [blame] | 108 | { raiseallocs, New<RaiseAllocations> }, |
| 109 | { cleangcc , New<CleanupGCCOutput> }, |
| 110 | { globaldce , New<GlobalDCE> }, |
| 111 | { swapstructs, New<SimpleStructMutation, SimpleStructMutation::Transform, |
| 112 | SimpleStructMutation::SwapElements>}, |
| 113 | { sortstructs, New<SimpleStructMutation, SimpleStructMutation::Transform, |
| 114 | SimpleStructMutation::SortElements>}, |
Chris Lattner | 8f367bd | 2001-07-23 02:35:57 +0000 | [diff] [blame] | 115 | }; |
| 116 | |
Chris Lattner | fb1b3f1 | 2002-01-31 00:47:12 +0000 | [diff] [blame] | 117 | // Command line option handling code... |
| 118 | // |
Chris Lattner | a8e1fd3 | 2001-07-23 20:22:30 +0000 | [diff] [blame] | 119 | cl::String InputFilename ("", "Load <arg> file to optimize", cl::NoFlags, "-"); |
| 120 | cl::String OutputFilename("o", "Override output filename", cl::NoFlags, ""); |
| 121 | cl::Flag Force ("f", "Overwrite output files", cl::NoFlags, false); |
Chris Lattner | fb1b3f1 | 2002-01-31 00:47:12 +0000 | [diff] [blame] | 122 | cl::Flag PrintEachXForm("p", "Print module after each transformation"); |
Chris Lattner | 8f367bd | 2001-07-23 02:35:57 +0000 | [diff] [blame] | 123 | cl::Flag Quiet ("q", "Don't print modifying pass names", 0, false); |
Chris Lattner | a8e1fd3 | 2001-07-23 20:22:30 +0000 | [diff] [blame] | 124 | cl::Alias QuietA ("quiet", "Alias for -q", cl::NoFlags, Quiet); |
Chris Lattner | 8f367bd | 2001-07-23 02:35:57 +0000 | [diff] [blame] | 125 | cl::EnumList<enum Opts> OptimizationList(cl::NoFlags, |
Chris Lattner | 528e8b5 | 2001-12-14 16:50:35 +0000 | [diff] [blame] | 126 | clEnumVal(dce , "Dead Code Elimination"), |
Chris Lattner | 0be4101 | 2002-02-01 04:54:11 +0000 | [diff] [blame] | 127 | clEnumVal(constprop , "Simple constant propogation"), |
| 128 | clEnumValN(inlining , "inline", "Method integration"), |
Chris Lattner | 528e8b5 | 2001-12-14 16:50:35 +0000 | [diff] [blame] | 129 | clEnumVal(constmerge , "Merge identical global constants"), |
Chris Lattner | 0be4101 | 2002-02-01 04:54:11 +0000 | [diff] [blame] | 130 | clEnumVal(strip , "Strip symbols"), |
| 131 | clEnumVal(mstrip , "Strip module symbols"), |
| 132 | clEnumVal(mergereturn, "Unify method exit nodes"), |
| 133 | |
Chris Lattner | 528e8b5 | 2001-12-14 16:50:35 +0000 | [diff] [blame] | 134 | clEnumVal(indvars , "Simplify Induction Variables"), |
Chris Lattner | fb1b3f1 | 2002-01-31 00:47:12 +0000 | [diff] [blame] | 135 | clEnumVal(instcombine, "Combine redundant instructions"), |
Chris Lattner | 528e8b5 | 2001-12-14 16:50:35 +0000 | [diff] [blame] | 136 | clEnumVal(sccp , "Sparse Conditional Constant Propogation"), |
| 137 | clEnumVal(adce , "Agressive DCE"), |
Chris Lattner | eeeaf52 | 2002-02-12 17:17:33 +0000 | [diff] [blame] | 138 | clEnumVal(mem2reg , "Promote alloca locations to registers"), |
Chris Lattner | 854acb9 | 2001-11-10 07:16:10 +0000 | [diff] [blame] | 139 | |
Chris Lattner | 528e8b5 | 2001-12-14 16:50:35 +0000 | [diff] [blame] | 140 | clEnumVal(globaldce , "Remove unreachable globals"), |
Chris Lattner | 6320232 | 2001-11-26 19:22:39 +0000 | [diff] [blame] | 141 | clEnumVal(swapstructs, "Swap structure types around"), |
Chris Lattner | f4de63f | 2002-01-21 07:31:50 +0000 | [diff] [blame] | 142 | clEnumVal(sortstructs, "Sort structure elements"), |
Chris Lattner | 6320232 | 2001-11-26 19:22:39 +0000 | [diff] [blame] | 143 | |
Chris Lattner | 5048c3b | 2002-01-22 00:13:51 +0000 | [diff] [blame] | 144 | clEnumVal(raiseallocs, "Raise allocations from calls to instructions"), |
Chris Lattner | 528e8b5 | 2001-12-14 16:50:35 +0000 | [diff] [blame] | 145 | clEnumVal(cleangcc , "Cleanup GCC Output"), |
| 146 | clEnumVal(raise , "Raise to Higher Level"), |
| 147 | clEnumVal(trace , "Insert BB & Method trace code"), |
| 148 | clEnumVal(tracem , "Insert Method trace code only"), |
Anand Shukla | dc9a1f5 | 2002-02-26 19:57:59 +0000 | [diff] [blame] | 149 | clEnumVal(paths , "Insert path profiling instrumentation"), |
Chris Lattner | 528e8b5 | 2001-12-14 16:50:35 +0000 | [diff] [blame] | 150 | clEnumVal(print , "Print working method to stderr"), |
Chris Lattner | 22d26d7 | 2002-02-20 17:56:53 +0000 | [diff] [blame] | 151 | clEnumVal(verify , "Verify module is well formed"), |
Chris Lattner | 8f367bd | 2001-07-23 02:35:57 +0000 | [diff] [blame] | 152 | 0); |
| 153 | |
Chris Lattner | fb1b3f1 | 2002-01-31 00:47:12 +0000 | [diff] [blame] | 154 | |
Chris Lattner | 8f367bd | 2001-07-23 02:35:57 +0000 | [diff] [blame] | 155 | |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 156 | int main(int argc, char **argv) { |
Chris Lattner | 8f367bd | 2001-07-23 02:35:57 +0000 | [diff] [blame] | 157 | cl::ParseCommandLineOptions(argc, argv, |
| 158 | " llvm .bc -> .bc modular optimizer\n"); |
Chris Lattner | fb1b3f1 | 2002-01-31 00:47:12 +0000 | [diff] [blame] | 159 | |
| 160 | // Load the input module... |
Chris Lattner | 6320232 | 2001-11-26 19:22:39 +0000 | [diff] [blame] | 161 | std::auto_ptr<Module> M(ParseBytecodeFile(InputFilename)); |
| 162 | if (M.get() == 0) { |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 163 | cerr << "bytecode didn't read correctly.\n"; |
| 164 | return 1; |
| 165 | } |
| 166 | |
Chris Lattner | fb1b3f1 | 2002-01-31 00:47:12 +0000 | [diff] [blame] | 167 | // Figure out what stream we are supposed to write to... |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 168 | std::ostream *Out = &std::cout; // Default to printing to stdout... |
Chris Lattner | 1e78f36 | 2001-07-23 19:27:24 +0000 | [diff] [blame] | 169 | if (OutputFilename != "") { |
Chris Lattner | 888912d | 2002-01-22 21:07:24 +0000 | [diff] [blame] | 170 | if (!Force && std::ifstream(OutputFilename.c_str())) { |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 171 | // If force is not specified, make sure not to overwrite a file! |
| 172 | cerr << "Error opening '" << OutputFilename << "': File exists!\n" |
| 173 | << "Use -f command line argument to force output\n"; |
| 174 | return 1; |
| 175 | } |
| 176 | Out = new std::ofstream(OutputFilename.c_str()); |
| 177 | |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 178 | if (!Out->good()) { |
Chris Lattner | 1e78f36 | 2001-07-23 19:27:24 +0000 | [diff] [blame] | 179 | cerr << "Error opening " << OutputFilename << "!\n"; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 180 | return 1; |
| 181 | } |
| 182 | } |
| 183 | |
Chris Lattner | fb1b3f1 | 2002-01-31 00:47:12 +0000 | [diff] [blame] | 184 | // Create a PassManager to hold and optimize the collection of passes we are |
| 185 | // about to build... |
| 186 | // |
| 187 | PassManager Passes; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 188 | |
Chris Lattner | fb1b3f1 | 2002-01-31 00:47:12 +0000 | [diff] [blame] | 189 | // Create a new optimization pass for each one specified on the command line |
| 190 | for (unsigned i = 0; i < OptimizationList.size(); ++i) { |
| 191 | enum Opts Opt = OptimizationList[i]; |
| 192 | for (unsigned j = 0; j < sizeof(OptTable)/sizeof(OptTable[0]); ++j) |
| 193 | if (Opt == OptTable[j].OptID) { |
| 194 | Passes.add(OptTable[j].PassCtor()); |
| 195 | break; |
| 196 | } |
| 197 | |
| 198 | if (PrintEachXForm) |
| 199 | Passes.add(new PrintModulePass(&std::cerr)); |
| 200 | } |
| 201 | |
Chris Lattner | 22d26d7 | 2002-02-20 17:56:53 +0000 | [diff] [blame] | 202 | // Check that the module is well formed on completion of optimization |
| 203 | Passes.add(createVerifierPass()); |
| 204 | |
Chris Lattner | fb1b3f1 | 2002-01-31 00:47:12 +0000 | [diff] [blame] | 205 | // Write bytecode out to disk or cout as the last step... |
| 206 | Passes.add(new WriteBytecodePass(Out, Out != &std::cout)); |
| 207 | |
| 208 | // Now that we have all of the passes ready, run them. |
| 209 | if (Passes.run(M.get()) && !Quiet) |
| 210 | cerr << "Program modified.\n"; |
| 211 | |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 212 | return 0; |
| 213 | } |