#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;
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>();
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";
}
bool AAEval::doFinalization(Module &M) {
unsigned Sum = No+May+Must;
std::cerr << "===== Alias Analysis Evaluator Report =====\n";
+ if (Sum == 0) {
+ std::cerr << " Alias Analysis Evaluator Summary: No pointers!\n";
+ return false;
+ }
+
std::cerr << " " << Sum << " Total Alias Queries Performed\n";
std::cerr << " " << No << " no alias responses (" << No*100/Sum << "%)\n";
std::cerr << " " << May << " may alias responses (" << May*100/Sum << "%)\n";