1 //===- AliasAnalysisCounter.h - Alias Analysis Query Counter ----*- C++ -*-===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 /// This declares an alias analysis which counts and prints queries made
11 /// through it. By inserting this between other AAs you can track when specific
12 /// layers of LLVM's AA get queried.
14 //===----------------------------------------------------------------------===//
16 #ifndef LLVM_ANALYSIS_ALIASANALYSISCOUNTER_H
17 #define LLVM_ANALYSIS_ALIASANALYSISCOUNTER_H
19 #include "llvm/Analysis/AliasAnalysis.h"
20 #include "llvm/IR/Module.h"
21 #include "llvm/Pass.h"
22 #include "llvm/Support/raw_ostream.h"
26 class AliasAnalysisCounter : public ModulePass, public AliasAnalysis {
27 unsigned No, May, Partial, Must;
28 unsigned NoMR, JustRef, JustMod, MR;
31 static char ID; // Class identification, replacement for typeinfo
32 AliasAnalysisCounter() : ModulePass(ID) {
33 initializeAliasAnalysisCounterPass(*PassRegistry::getPassRegistry());
34 No = May = Partial = Must = 0;
35 NoMR = JustRef = JustMod = MR = 0;
38 void printLine(const char *Desc, unsigned Val, unsigned Sum) {
39 errs() << " " << Val << " " << Desc << " responses ("
40 << Val*100/Sum << "%)\n";
42 ~AliasAnalysisCounter() override {
43 unsigned AASum = No+May+Partial+Must;
44 unsigned MRSum = NoMR+JustRef+JustMod+MR;
45 if (AASum + MRSum) { // Print a report if any counted queries occurred...
46 errs() << "\n===== Alias Analysis Counter Report =====\n"
47 << " Analysis counted:\n"
48 << " " << AASum << " Total Alias Queries Performed\n";
50 printLine("no alias", No, AASum);
51 printLine("may alias", May, AASum);
52 printLine("partial alias", Partial, AASum);
53 printLine("must alias", Must, AASum);
54 errs() << " Alias Analysis Counter Summary: " << No*100/AASum << "%/"
55 << May*100/AASum << "%/"
56 << Partial*100/AASum << "%/"
57 << Must*100/AASum<<"%\n\n";
60 errs() << " " << MRSum << " Total MRI_Mod/MRI_Ref Queries Performed\n";
62 printLine("no mod/ref", NoMR, MRSum);
63 printLine("ref", JustRef, MRSum);
64 printLine("mod", JustMod, MRSum);
65 printLine("mod/ref", MR, MRSum);
66 errs() << " MRI_Mod/MRI_Ref Analysis Counter Summary: "
67 << NoMR * 100 / MRSum << "%/" << JustRef * 100 / MRSum << "%/"
68 << JustMod * 100 / MRSum << "%/" << MR * 100 / MRSum
74 bool runOnModule(Module &M) override {
76 InitializeAliasAnalysis(this, &M.getDataLayout());
80 void getAnalysisUsage(AnalysisUsage &AU) const override {
81 AliasAnalysis::getAnalysisUsage(AU);
82 AU.addRequired<AliasAnalysis>();
86 /// getAdjustedAnalysisPointer - This method is used when a pass implements
87 /// an analysis interface through multiple inheritance. If needed, it
88 /// should override this to adjust the this pointer as needed for the
89 /// specified pass info.
90 void *getAdjustedAnalysisPointer(AnalysisID PI) override {
91 if (PI == &AliasAnalysis::ID)
92 return (AliasAnalysis*)this;
96 // FIXME: We could count these too...
97 bool pointsToConstantMemory(const MemoryLocation &Loc,
98 bool OrLocal) override {
99 return getAnalysis<AliasAnalysis>().pointsToConstantMemory(Loc, OrLocal);
102 // Forwarding functions: just delegate to a real AA implementation, counting
103 // the number of responses...
104 AliasResult alias(const MemoryLocation &LocA,
105 const MemoryLocation &LocB) override;
107 ModRefInfo getModRefInfo(ImmutableCallSite CS,
108 const MemoryLocation &Loc) override;
109 ModRefInfo getModRefInfo(ImmutableCallSite CS1,
110 ImmutableCallSite CS2) override {
111 return AliasAnalysis::getModRefInfo(CS1,CS2);
115 //===--------------------------------------------------------------------===//
117 // createAliasAnalysisCounterPass - This pass counts alias queries and how the
118 // alias analysis implementation responds.
120 ModulePass *createAliasAnalysisCounterPass();