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         printLine("no alias",     No, AASum);
  36         printLine("may alias",   May, AASum);
  37         printLine("must alias", Must, AASum);
  38         std::cerr
  39           << "  Alias Analysis Counter Summary: " << No*100/AASum << "%/"
  40           << May*100/AASum << "%/" << Must*100/AASum<<"%\n\n";
  41
  42         std::cerr
  43           << "  " << MRSum    << " Total Mod/Ref Queries Performed\n";
  44         printLine("no mod/ref",    NoMR, MRSum);
  45         printLine("ref",        JustRef, MRSum);
  46         printLine("mod",        JustMod, MRSum);
  47         printLine("mod/ref",         MR, MRSum);
  48         std::cerr
  49           << "  Mod/Ref Analysis Counter Summary: " << NoMR*100/MRSum<< "%/"
  50           << JustRef*100/MRSum << "%/" << JustMod*100/MRSum << "%/"
  51           << MR*100/MRSum <<"%\n\n";
  52       }
  53     }
  54
  55     bool run(Module &M) {
  56       InitializeAliasAnalysis(this);
  57       Name = dynamic_cast<Pass*>(&getAnalysis<AliasAnalysis>())->getPassName();
  58       return false;
  59     }
  60
  61     virtual void getAnalysisUsage(AnalysisUsage &AU) const {
  62       AliasAnalysis::getAnalysisUsage(AU);
  63       AU.addRequired<AliasAnalysis>();
  64       AU.setPreservesAll();
  65     }
  66
  67     AliasResult count(AliasResult R) {
  68       switch (R) {
  69       default: assert(0 && "Unknown alias type!");
  70       case NoAlias:   No++; return NoAlias;
  71       case MayAlias:  May++; return MayAlias;
  72       case MustAlias: Must++; return MustAlias;
  73       }
  74     }
  75     ModRefResult count(ModRefResult R) {
  76       switch (R) {
  77       default:       assert(0 && "Unknown mod/ref type!");
  78       case NoModRef: NoMR++;     return NoModRef;
  79       case Ref:      JustRef++;  return Ref;
  80       case Mod:      JustMod++;  return Mod;
  81       case ModRef:   MR++;       return ModRef;
  82       }
  83     }
  84
  85     // Forwarding functions: just delegate to a real AA implementation, counting
  86     // the number of responses...
  87     AliasResult alias(const Value *V1, unsigned V1Size,
  88                       const Value *V2, unsigned V2Size) {
  89       return count(getAnalysis<AliasAnalysis>().alias(V1, V1Size, V2, V2Size));
  90     }
  91     ModRefResult getModRefInfo(CallSite CS, Value *P, unsigned Size) {
  92       return count(getAnalysis<AliasAnalysis>().getModRefInfo(CS, P, Size));
  93     }
  94   };
  95
  96   RegisterOpt<AliasAnalysisCounter>
  97   X("count-aa", "Count Alias Analysis Query Responses");
  98   RegisterAnalysisGroup<AliasAnalysis, AliasAnalysisCounter> Y;
  99 }