The tarjan iterator now returns a reference to the current SCC, not a possibly null...
[oota-llvm.git] / lib / Analysis / AliasAnalysisCounter.cpp
1 //===- AliasAnalysisCounter.cpp - Alias Analysis Query Counter ------------===//
2 //
3 // This file implements a pass which can be used to count how many alias queries
4 // are being made and how the alias analysis implementation being used responds.
5 //
6 //===----------------------------------------------------------------------===//
7
8 #include "llvm/Analysis/AliasAnalysis.h"
9 #include "llvm/Pass.h"
10 #include <iostream>
11
12 namespace {
13   class AliasAnalysisCounter : public Pass, public AliasAnalysis {
14     unsigned No, May, Must;
15     unsigned NoMR, JustRef, JustMod, MR;
16     const char *Name;
17   public:
18     AliasAnalysisCounter() {
19       No = May = Must = 0;
20       NoMR = JustRef = JustMod = MR = 0;
21     }
22
23     void printLine(const char *Desc, unsigned Val, unsigned Sum) {
24       std::cerr <<  "  " << Val << " " << Desc << " responses ("
25                 << Val*100/Sum << "%)\n";
26     }
27     ~AliasAnalysisCounter() {
28       unsigned AASum = No+May+Must;
29       unsigned MRSum = NoMR+JustRef+JustMod+MR;
30       if (AASum + MRSum) { // Print a report if any counted queries occurred...
31         std::cerr
32           << "\n===== Alias Analysis Counter Report =====\n"
33           << "  Analysis counted: " << Name << "\n"
34           << "  " << AASum << " Total Alias Queries Performed\n";
35         if (AASum) {
36           printLine("no alias",     No, AASum);
37           printLine("may alias",   May, AASum);
38           printLine("must alias", Must, AASum);
39           std::cerr
40             << "  Alias Analysis Counter Summary: " << No*100/AASum << "%/"
41             << May*100/AASum << "%/" << Must*100/AASum<<"%\n\n";
42         }
43
44         std::cerr
45           << "  " << MRSum    << " Total Mod/Ref Queries Performed\n";
46         if (MRSum) {
47           printLine("no mod/ref",    NoMR, MRSum);
48           printLine("ref",        JustRef, MRSum);
49           printLine("mod",        JustMod, MRSum);
50           printLine("mod/ref",         MR, MRSum);
51           std::cerr
52             << "  Mod/Ref Analysis Counter Summary: " << NoMR*100/MRSum<< "%/"
53             << JustRef*100/MRSum << "%/" << JustMod*100/MRSum << "%/" 
54             << MR*100/MRSum <<"%\n\n";
55         }
56       }
57     }
58
59     bool run(Module &M) {
60       InitializeAliasAnalysis(this);
61       Name = dynamic_cast<Pass*>(&getAnalysis<AliasAnalysis>())->getPassName();
62       return false;
63     }
64
65     virtual void getAnalysisUsage(AnalysisUsage &AU) const {
66       AliasAnalysis::getAnalysisUsage(AU);
67       AU.addRequired<AliasAnalysis>();
68       AU.setPreservesAll();
69     }
70
71     AliasResult count(AliasResult R) {
72       switch (R) {
73       default: assert(0 && "Unknown alias type!");
74       case NoAlias:   No++; return NoAlias;
75       case MayAlias:  May++; return MayAlias;
76       case MustAlias: Must++; return MustAlias;
77       }
78     }
79     ModRefResult count(ModRefResult R) {
80       switch (R) {
81       default:       assert(0 && "Unknown mod/ref type!");
82       case NoModRef: NoMR++;     return NoModRef;
83       case Ref:      JustRef++;  return Ref;
84       case Mod:      JustMod++;  return Mod;
85       case ModRef:   MR++;       return ModRef;
86       }
87     }
88     
89     // Forwarding functions: just delegate to a real AA implementation, counting
90     // the number of responses...
91     AliasResult alias(const Value *V1, unsigned V1Size,
92                       const Value *V2, unsigned V2Size) {
93       return count(getAnalysis<AliasAnalysis>().alias(V1, V1Size, V2, V2Size));
94     }
95     ModRefResult getModRefInfo(CallSite CS, Value *P, unsigned Size) {
96       return count(getAnalysis<AliasAnalysis>().getModRefInfo(CS, P, Size));
97     }
98   };
99
100   RegisterOpt<AliasAnalysisCounter>
101   X("count-aa", "Count Alias Analysis Query Responses");
102   RegisterAnalysisGroup<AliasAnalysis, AliasAnalysisCounter> Y;
103 }