Chris Lattner | fa6db4b | 2002-01-31 00:46:09 +0000 | [diff] [blame] | 1 | //===----------------------------------------------------------------------===// |
Chris Lattner | 4ec35ab | 2002-04-28 16:21:53 +0000 | [diff] [blame] | 2 | // The LLVM analyze utility |
Chris Lattner | f3dc2c9 | 2001-07-03 15:30:38 +0000 | [diff] [blame] | 3 | // |
| 4 | // This utility is designed to print out the results of running various analysis |
| 5 | // passes on a program. This is useful for understanding a program, or for |
| 6 | // debugging an analysis pass. |
| 7 | // |
| 8 | // analyze --help - Output information about command line switches |
| 9 | // analyze --quiet - Do not print analysis name before output |
| 10 | // |
Chris Lattner | fa6db4b | 2002-01-31 00:46:09 +0000 | [diff] [blame] | 11 | //===----------------------------------------------------------------------===// |
Chris Lattner | f3dc2c9 | 2001-07-03 15:30:38 +0000 | [diff] [blame] | 12 | |
Chris Lattner | f3dc2c9 | 2001-07-03 15:30:38 +0000 | [diff] [blame] | 13 | #include "llvm/Module.h" |
Chris Lattner | fa6db4b | 2002-01-31 00:46:09 +0000 | [diff] [blame] | 14 | #include "llvm/PassManager.h" |
Chris Lattner | f3dc2c9 | 2001-07-03 15:30:38 +0000 | [diff] [blame] | 15 | #include "llvm/Bytecode/Reader.h" |
| 16 | #include "llvm/Assembly/Parser.h" |
Chris Lattner | 9a740fd | 2002-07-27 01:08:50 +0000 | [diff] [blame] | 17 | #include "llvm/Support/PassNameParser.h" |
Chris Lattner | c4199ec | 2001-09-28 00:07:36 +0000 | [diff] [blame] | 18 | #include <algorithm> |
Chris Lattner | fa6db4b | 2002-01-31 00:46:09 +0000 | [diff] [blame] | 19 | |
Chris Lattner | 75deac6 | 2001-11-26 19:18:11 +0000 | [diff] [blame] | 20 | |
Chris Lattner | 9a740fd | 2002-07-27 01:08:50 +0000 | [diff] [blame] | 21 | struct ModulePassPrinter : public Pass { |
Chris Lattner | 1ad4436 | 2002-07-29 23:02:25 +0000 | [diff] [blame] | 22 | const PassInfo *PassToPrint; |
| 23 | ModulePassPrinter(const PassInfo *PI) : PassToPrint(PI) {} |
Chris Lattner | 75deac6 | 2001-11-26 19:18:11 +0000 | [diff] [blame] | 24 | |
Chris Lattner | 9a740fd | 2002-07-27 01:08:50 +0000 | [diff] [blame] | 25 | virtual bool run(Module &M) { |
| 26 | std::cout << "Printing Analysis info for Pass " |
| 27 | << PassToPrint->getPassName() << ":\n"; |
Chris Lattner | 5f0eb8d | 2002-08-08 19:01:30 +0000 | [diff] [blame] | 28 | getAnalysisID<Pass>(PassToPrint).print(std::cout, &M); |
Chris Lattner | 9a740fd | 2002-07-27 01:08:50 +0000 | [diff] [blame] | 29 | |
| 30 | // Get and print pass... |
Chris Lattner | fa6db4b | 2002-01-31 00:46:09 +0000 | [diff] [blame] | 31 | return false; |
| 32 | } |
Chris Lattner | 1ad4436 | 2002-07-29 23:02:25 +0000 | [diff] [blame] | 33 | |
| 34 | virtual void getAnalysisUsage(AnalysisUsage &AU) const { |
Chris Lattner | 5f0eb8d | 2002-08-08 19:01:30 +0000 | [diff] [blame] | 35 | AU.addRequiredID(PassToPrint); |
Chris Lattner | 1ad4436 | 2002-07-29 23:02:25 +0000 | [diff] [blame] | 36 | AU.setPreservesAll(); |
| 37 | } |
Chris Lattner | fa6db4b | 2002-01-31 00:46:09 +0000 | [diff] [blame] | 38 | }; |
| 39 | |
Chris Lattner | 9a740fd | 2002-07-27 01:08:50 +0000 | [diff] [blame] | 40 | struct FunctionPassPrinter : public FunctionPass { |
| 41 | const PassInfo *PassToPrint; |
| 42 | FunctionPassPrinter(const PassInfo *PI) : PassToPrint(PI) {} |
Chris Lattner | fa6db4b | 2002-01-31 00:46:09 +0000 | [diff] [blame] | 43 | |
Chris Lattner | 9a740fd | 2002-07-27 01:08:50 +0000 | [diff] [blame] | 44 | virtual bool runOnFunction(Function &F) { |
| 45 | std::cout << "Printing Analysis info for function '" << F.getName() |
| 46 | << "': Pass " << PassToPrint->getPassName() << ":\n"; |
Chris Lattner | 5f0eb8d | 2002-08-08 19:01:30 +0000 | [diff] [blame] | 47 | getAnalysisID<Pass>(PassToPrint).print(std::cout, F.getParent()); |
Chris Lattner | c13aff6 | 2001-07-06 16:59:10 +0000 | [diff] [blame] | 48 | |
Chris Lattner | 9a740fd | 2002-07-27 01:08:50 +0000 | [diff] [blame] | 49 | // Get and print pass... |
| 50 | return false; |
| 51 | } |
Chris Lattner | c13aff6 | 2001-07-06 16:59:10 +0000 | [diff] [blame] | 52 | |
Chris Lattner | 9a740fd | 2002-07-27 01:08:50 +0000 | [diff] [blame] | 53 | virtual void getAnalysisUsage(AnalysisUsage &AU) const { |
Chris Lattner | 5f0eb8d | 2002-08-08 19:01:30 +0000 | [diff] [blame] | 54 | AU.addRequiredID(PassToPrint); |
Chris Lattner | 9a740fd | 2002-07-27 01:08:50 +0000 | [diff] [blame] | 55 | AU.setPreservesAll(); |
| 56 | } |
Chris Lattner | 8f367bd | 2001-07-23 02:35:57 +0000 | [diff] [blame] | 57 | }; |
| 58 | |
Chris Lattner | 9a740fd | 2002-07-27 01:08:50 +0000 | [diff] [blame] | 59 | struct BasicBlockPassPrinter : public BasicBlockPass { |
| 60 | const PassInfo *PassToPrint; |
| 61 | BasicBlockPassPrinter(const PassInfo *PI) : PassToPrint(PI) {} |
| 62 | |
| 63 | virtual bool runOnBasicBlock(BasicBlock &BB) { |
| 64 | std::cout << "Printing Analysis info for BasicBlock '" << BB.getName() |
| 65 | << "': Pass " << PassToPrint->getPassName() << ":\n"; |
Chris Lattner | 5f0eb8d | 2002-08-08 19:01:30 +0000 | [diff] [blame] | 66 | getAnalysisID<Pass>(PassToPrint).print(std::cout, BB.getParent()->getParent()); |
Chris Lattner | 9a740fd | 2002-07-27 01:08:50 +0000 | [diff] [blame] | 67 | |
| 68 | // Get and print pass... |
| 69 | return false; |
| 70 | } |
| 71 | |
| 72 | virtual void getAnalysisUsage(AnalysisUsage &AU) const { |
Chris Lattner | 5f0eb8d | 2002-08-08 19:01:30 +0000 | [diff] [blame] | 73 | AU.addRequiredID(PassToPrint); |
Chris Lattner | 9a740fd | 2002-07-27 01:08:50 +0000 | [diff] [blame] | 74 | AU.setPreservesAll(); |
| 75 | } |
| 76 | }; |
| 77 | |
| 78 | |
| 79 | |
| 80 | |
Chris Lattner | 98ad7e9 | 2002-07-25 16:31:01 +0000 | [diff] [blame] | 81 | static cl::opt<std::string> |
Chris Lattner | 50e3f88 | 2002-07-22 02:10:07 +0000 | [diff] [blame] | 82 | InputFilename(cl::Positional, cl::desc("<input file>"), cl::init("-"), |
| 83 | cl::value_desc("filename")); |
| 84 | |
| 85 | static cl::opt<bool> Quiet("q", cl::desc("Don't print analysis pass names")); |
| 86 | static cl::alias QuietA("quiet", cl::desc("Alias for -q"), |
| 87 | cl::aliasopt(Quiet)); |
| 88 | |
Chris Lattner | 9a740fd | 2002-07-27 01:08:50 +0000 | [diff] [blame] | 89 | // The AnalysesList is automatically populated with registered Passes by the |
| 90 | // PassNameParser. |
| 91 | // |
| 92 | static cl::list<const PassInfo*, bool, |
| 93 | FilteredPassNameParser<PassInfo::Analysis> > |
| 94 | AnalysesList(cl::desc("Analyses available:")); |
Chris Lattner | fa6db4b | 2002-01-31 00:46:09 +0000 | [diff] [blame] | 95 | |
Chris Lattner | f3dc2c9 | 2001-07-03 15:30:38 +0000 | [diff] [blame] | 96 | |
| 97 | int main(int argc, char **argv) { |
Chris Lattner | 8f367bd | 2001-07-23 02:35:57 +0000 | [diff] [blame] | 98 | cl::ParseCommandLineOptions(argc, argv, " llvm analysis printer tool\n"); |
Chris Lattner | f3dc2c9 | 2001-07-03 15:30:38 +0000 | [diff] [blame] | 99 | |
Chris Lattner | bc132d6 | 2002-03-26 22:43:12 +0000 | [diff] [blame] | 100 | Module *CurMod = 0; |
Chris Lattner | 7d92262 | 2002-02-01 05:09:35 +0000 | [diff] [blame] | 101 | try { |
Chris Lattner | bc132d6 | 2002-03-26 22:43:12 +0000 | [diff] [blame] | 102 | CurMod = ParseBytecodeFile(InputFilename); |
| 103 | if (!CurMod && !(CurMod = ParseAssemblyFile(InputFilename))){ |
Chris Lattner | 50e3a20 | 2002-07-30 21:43:22 +0000 | [diff] [blame] | 104 | std::cerr << argv[0] << ": input file didn't read correctly.\n"; |
Chris Lattner | 7d92262 | 2002-02-01 05:09:35 +0000 | [diff] [blame] | 105 | return 1; |
| 106 | } |
| 107 | } catch (const ParseException &E) { |
Chris Lattner | 50e3a20 | 2002-07-30 21:43:22 +0000 | [diff] [blame] | 108 | std::cerr << argv[0] << ": " << E.getMessage() << "\n"; |
Chris Lattner | c13aff6 | 2001-07-06 16:59:10 +0000 | [diff] [blame] | 109 | return 1; |
Chris Lattner | f3dc2c9 | 2001-07-03 15:30:38 +0000 | [diff] [blame] | 110 | } |
| 111 | |
Chris Lattner | fa6db4b | 2002-01-31 00:46:09 +0000 | [diff] [blame] | 112 | // Create a PassManager to hold and optimize the collection of passes we are |
| 113 | // about to build... |
| 114 | // |
Chris Lattner | 9a740fd | 2002-07-27 01:08:50 +0000 | [diff] [blame] | 115 | PassManager Passes; |
Chris Lattner | fa6db4b | 2002-01-31 00:46:09 +0000 | [diff] [blame] | 116 | |
Chris Lattner | 9a740fd | 2002-07-27 01:08:50 +0000 | [diff] [blame] | 117 | // Create a new optimization pass for each one specified on the command line |
Chris Lattner | c4199ec | 2001-09-28 00:07:36 +0000 | [diff] [blame] | 118 | for (unsigned i = 0; i < AnalysesList.size(); ++i) { |
Chris Lattner | 9a740fd | 2002-07-27 01:08:50 +0000 | [diff] [blame] | 119 | const PassInfo *Analysis = AnalysesList[i]; |
| 120 | |
| 121 | if (Analysis->getNormalCtor()) { |
| 122 | Pass *P = Analysis->getNormalCtor()(); |
| 123 | Passes.add(P); |
Chris Lattner | c4199ec | 2001-09-28 00:07:36 +0000 | [diff] [blame] | 124 | |
Chris Lattner | 9a740fd | 2002-07-27 01:08:50 +0000 | [diff] [blame] | 125 | if (BasicBlockPass *BBP = dynamic_cast<BasicBlockPass*>(P)) |
| 126 | Passes.add(new BasicBlockPassPrinter(Analysis)); |
| 127 | else if (FunctionPass *FP = dynamic_cast<FunctionPass*>(P)) |
| 128 | Passes.add(new FunctionPassPrinter(Analysis)); |
| 129 | else |
Chris Lattner | 1ad4436 | 2002-07-29 23:02:25 +0000 | [diff] [blame] | 130 | Passes.add(new ModulePassPrinter(Analysis)); |
Chris Lattner | c4199ec | 2001-09-28 00:07:36 +0000 | [diff] [blame] | 131 | |
Chris Lattner | 9a740fd | 2002-07-27 01:08:50 +0000 | [diff] [blame] | 132 | } else |
Chris Lattner | 8633a48 | 2002-07-31 19:32:14 +0000 | [diff] [blame] | 133 | std::cerr << argv[0] << ": cannot create pass: " |
| 134 | << Analysis->getPassName() << "\n"; |
Chris Lattner | 9a740fd | 2002-07-27 01:08:50 +0000 | [diff] [blame] | 135 | } |
| 136 | |
| 137 | Passes.run(*CurMod); |
Chris Lattner | f3dc2c9 | 2001-07-03 15:30:38 +0000 | [diff] [blame] | 138 | |
Chris Lattner | bc132d6 | 2002-03-26 22:43:12 +0000 | [diff] [blame] | 139 | delete CurMod; |
Chris Lattner | f3dc2c9 | 2001-07-03 15:30:38 +0000 | [diff] [blame] | 140 | return 0; |
| 141 | } |