X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;ds=sidebyside;f=lib%2FAnalysis%2FAliasAnalysisEvaluator.cpp;h=4366ab8509ad7b8b9cc8a6a57dd1c35a1e6b0b9d;hb=72d50a090fd315f7107005712353bb9c940e92bd;hp=efd22587efcfd28ca4d019743368a2404ceada37;hpb=2c1d7cf13b3c049c40627416315841ccbe6b123f;p=oota-llvm.git

diff --git a/lib/Analysis/AliasAnalysisEvaluator.cpp b/lib/Analysis/AliasAnalysisEvaluator.cpp
index efd22587efc..4366ab8509a 100644
--- a/lib/Analysis/AliasAnalysisEvaluator.cpp
+++ b/lib/Analysis/AliasAnalysisEvaluator.cpp
@@ -13,10 +13,16 @@
 #include "llvm/Analysis/AliasAnalysis.h"
 #include "llvm/Pass.h"
 #include "llvm/Function.h"
-#include "llvm/Support/InstIterator.h"
 #include "llvm/Type.h"
+#include "llvm/Support/InstIterator.h"
+#include "llvm/Assembly/Writer.h"
+#include "Support/CommandLine.h"
 
 namespace {
+  cl::opt<bool> PrintNo  ("print-no-aliases", cl::ReallyHidden);
+  cl::opt<bool> PrintMay ("print-may-aliases", cl::ReallyHidden);
+  cl::opt<bool> PrintMust("print-must-aliases", cl::ReallyHidden);
+
   class AAEval : public FunctionPass {
     unsigned No, May, Must;
 
@@ -35,6 +41,14 @@ namespace {
   X("aa-eval", "Exhaustive Alias Analysis Precision Evaluator");
 }
 
+static inline void PrintResults(const char *Msg, bool P, Value *V1, Value *V2) {
+  if (P) {
+    std::cerr << "  " << Msg << ":\t";
+    WriteAsOperand(std::cerr, V1) << ", ";
+    WriteAsOperand(std::cerr, V2) << "\n";
+  }
+}
+
 bool AAEval::runOnFunction(Function &F) {
   AliasAnalysis &AA = getAnalysis<AliasAnalysis>();
   
@@ -48,14 +62,23 @@ bool AAEval::runOnFunction(Function &F) {
     if (isa<PointerType>((*I)->getType())) // Add all pointer instructions
       Pointers.push_back(*I);
 
+  if (PrintNo || PrintMay || PrintMust)
+    std::cerr << "Function: " << F.getName() << "\n";
+
   // iterate over the worklist, and run the full (n^2)/2 disambiguations
   for (std::vector<Value *>::iterator I1 = Pointers.begin(), E = Pointers.end();
        I1 != E; ++I1)
     for (std::vector<Value *>::iterator I2 = Pointers.begin(); I2 != I1; ++I2)
-      switch (AA.alias(*I1, *I2)) {
-      case AliasAnalysis::NoAlias:   ++No; break;
-      case AliasAnalysis::MayAlias:  ++May; break;
-      case AliasAnalysis::MustAlias: ++Must; break;
+      switch (AA.alias(*I1, 0, *I2, 0)) {
+      case AliasAnalysis::NoAlias:
+        PrintResults("No", PrintNo, *I1, *I2);
+        ++No; break;
+      case AliasAnalysis::MayAlias:
+        PrintResults("May", PrintMay, *I1, *I2);
+        ++May; break;
+      case AliasAnalysis::MustAlias:
+        PrintResults("Must", PrintMust, *I1, *I2);
+        ++Must; break;
       default:
         std::cerr << "Unknown alias query result!\n";
       }