From f3dc2c9a074c49dc2ee1b75ecc408d8655c5406c Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Tue, 3 Jul 2001 15:30:38 +0000 Subject: [PATCH] Initial checkin of analyze tool. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@137 91177308-0d34-0410-b5e6-96231b3b80d8 --- tools/analyze/Makefile | 10 ++++ tools/analyze/analyze.cpp | 104 ++++++++++++++++++++++++++++++++++++++ 2 files changed, 114 insertions(+) create mode 100644 tools/analyze/Makefile create mode 100644 tools/analyze/analyze.cpp diff --git a/tools/analyze/Makefile b/tools/analyze/Makefile new file mode 100644 index 00000000000..97a54bcdce0 --- /dev/null +++ b/tools/analyze/Makefile @@ -0,0 +1,10 @@ +LEVEL = ../.. +include $(LEVEL)/Makefile.common + +all:: analyze +clean :: + rm -f opt + +analyze : $(ObjectsG) Debug/.dir Depend/.dir + $(LinkG) -o $@ $(ObjectsG) -lvmcore -lanalysis -lbcreader \ + -lopt -lasmwriter -lasmparser diff --git a/tools/analyze/analyze.cpp b/tools/analyze/analyze.cpp new file mode 100644 index 00000000000..f8cc189934e --- /dev/null +++ b/tools/analyze/analyze.cpp @@ -0,0 +1,104 @@ +//===------------------------------------------------------------------------=== +// LLVM 'Analyze' UTILITY +// +// This utility is designed to print out the results of running various analysis +// passes on a program. This is useful for understanding a program, or for +// debugging an analysis pass. +// +// analyze --help - Output information about command line switches +// analyze --quiet - Do not print analysis name before output +// +//===------------------------------------------------------------------------=== + +#include +#include "llvm/Module.h" +#include "llvm/Bytecode/Reader.h" +#include "llvm/Assembly/Parser.h" +#include "llvm/Tools/CommandLine.h" +#include "llvm/Analysis/Writer.h" + +#include "llvm/Analysis/Dominators.h" +#include "llvm/Analysis/IntervalPartition.h" + +static void PrintIntervalPartition(const Method *M) { + cout << cfg::IntervalPartition((Method*)M); +} + +static void PrintDominatorSets(const Method *M) { + cout << cfg::DominatorSet(M); +} +static void PrintImmediateDominators(const Method *M) { + cout << cfg::ImmediateDominators(M); +} +static void PrintDominatorTree(const Method *M) { + cout << cfg::DominatorTree(M); +} +static void PrintDominanceFrontier(const Method *M) { + cout << cfg::DominanceFrontier(M); +} + +struct { + const string ArgName, Name; + void (*AnPtr)(const Method *M); +} AnTable[] = { + { "-intervals" , "Interval Partition" , PrintIntervalPartition }, + { "-domset" , "Dominator Sets" , PrintDominatorSets }, + { "-immdom" , "Immediate Dominators", PrintImmediateDominators }, + { "-domtree" , "Dominator Tree" , PrintDominatorTree }, + { "-domfrontier" , "Dominance Frontier" , PrintDominanceFrontier }, +}; + +int main(int argc, char **argv) { + ToolCommandLine Options(argc, argv, false); + bool Quiet = false; + + for (int i = 1; i < argc; i++) { + if (string(argv[i]) == string("--help")) { + cerr << argv[0] << " usage:\n" + << " " << argv[0] << " --help\t - Print this usage information\n" + << "\t --quiet\t - Do not print optimization name before output\n"; + for (unsigned j = 0; j < sizeof(AnTable)/sizeof(AnTable[0]); ++j) { + cerr << "\t " << AnTable[j].ArgName << "\t - Print " + << AnTable[j].Name << endl; + } + return 1; + } else if (string(argv[i]) == string("-q") || + string(argv[i]) == string("--quiet")) { + Quiet = true; argv[i] = 0; + } + } + + const Module *C = ParseBytecodeFile(Options.getInputFilename()); + if (C == 0) { + C = ParseAssemblyFile(Options); + if (C == 0) { + cerr << "Input file didn't read correctly.\n"; + return 1; + } + } + + // Loop over all of the methods in the module... + for (Module::const_iterator I = C->begin(), E = C->end(); I != E; ++I) { + const Method *M = *I; + + // Loop over all of the optimizations to be run... + for (int i = 1; i < argc; i++) { + if (argv[i] == 0) continue; + unsigned j; + for (j = 0; j < sizeof(AnTable)/sizeof(AnTable[0]); j++) { + if (string(argv[i]) == AnTable[j].ArgName) { + if (!Quiet) + cerr << "Running: " << AnTable[j].Name << " analysis!\n"; + AnTable[j].AnPtr(M); + break; + } + } + + if (j == sizeof(AnTable)/sizeof(AnTable[0])) + cerr << "'" << argv[i] << "' argument unrecognized: ignored\n"; + } + } + + delete C; + return 0; +} -- 2.34.1