| //===- AliasAnalysisEvaluator.cpp - Alias Analysis Accuracy Evaluator -----===// | |
| // | |
| // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. | |
| // See https://llvm.org/LICENSE.txt for license information. | |
| // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception | |
| // | |
| //===----------------------------------------------------------------------===// | |
| #include "llvm/Analysis/AliasAnalysisEvaluator.h" | |
| #include "llvm/ADT/SetVector.h" | |
| #include "llvm/Analysis/AliasAnalysis.h" | |
| #include "llvm/IR/DataLayout.h" | |
| #include "llvm/IR/Function.h" | |
| #include "llvm/IR/InstIterator.h" | |
| #include "llvm/IR/Instructions.h" | |
| #include "llvm/IR/Module.h" | |
| #include "llvm/InitializePasses.h" | |
| #include "llvm/Pass.h" | |
| #include "llvm/Support/CommandLine.h" | |
| #include "llvm/Support/raw_ostream.h" | |
| using namespace llvm; | |
| static cl::opt<bool> PrintAll("print-all-alias-modref-info", cl::ReallyHidden); | |
| static cl::opt<bool> PrintNoAlias("print-no-aliases", cl::ReallyHidden); | |
| static cl::opt<bool> PrintMayAlias("print-may-aliases", cl::ReallyHidden); | |
| static cl::opt<bool> PrintPartialAlias("print-partial-aliases", cl::ReallyHidden); | |
| static cl::opt<bool> PrintMustAlias("print-must-aliases", cl::ReallyHidden); | |
| static cl::opt<bool> PrintNoModRef("print-no-modref", cl::ReallyHidden); | |
| static cl::opt<bool> PrintRef("print-ref", cl::ReallyHidden); | |
| static cl::opt<bool> PrintMod("print-mod", cl::ReallyHidden); | |
| static cl::opt<bool> PrintModRef("print-modref", cl::ReallyHidden); | |
| static cl::opt<bool> EvalAAMD("evaluate-aa-metadata", cl::ReallyHidden); | |
| static void PrintResults(AliasResult AR, bool P, | |
| std::pair<const Value *, Type *> Loc1, | |
| std::pair<const Value *, Type *> Loc2, | |
| const Module *M) { | |
| if (PrintAll || P) { | |
| Type *Ty1 = Loc1.second, *Ty2 = Loc2.second; | |
| unsigned AS1 = Loc1.first->getType()->getPointerAddressSpace(); | |
| unsigned AS2 = Loc2.first->getType()->getPointerAddressSpace(); | |
| std::string o1, o2; | |
| { | |
| raw_string_ostream os1(o1), os2(o2); | |
| Loc1.first->printAsOperand(os1, false, M); | |
| Loc2.first->printAsOperand(os2, false, M); | |
| } | |
| if (o2 < o1) { | |
| std::swap(o1, o2); | |
| std::swap(Ty1, Ty2); | |
| std::swap(AS1, AS2); | |
| // Change offset sign for the local AR, for printing only. | |
| AR.swap(); | |
| } | |
| errs() << " " << AR << ":\t"; | |
| Ty1->print(errs(), false, /* NoDetails */ true); | |
| if (AS1 != 0) | |
| errs() << " addrspace(" << AS1 << ")"; | |
| errs() << "* " << o1 << ", "; | |
| Ty2->print(errs(), false, /* NoDetails */ true); | |
| if (AS2 != 0) | |
| errs() << " addrspace(" << AS2 << ")"; | |
| errs() << "* " << o2 << "\n"; | |
| } | |
| } | |
| static inline void PrintModRefResults( | |
| const char *Msg, bool P, Instruction *I, | |
| std::pair<const Value *, Type *> Loc, Module *M) { | |
| if (PrintAll || P) { | |
| errs() << " " << Msg << ": Ptr: "; | |
| Loc.second->print(errs(), false, /* NoDetails */ true); | |
| errs() << "* "; | |
| Loc.first->printAsOperand(errs(), false, M); | |
| errs() << "\t<->" << *I << '\n'; | |
| } | |
| } | |
| static inline void PrintModRefResults(const char *Msg, bool P, CallBase *CallA, | |
| CallBase *CallB, Module *M) { | |
| if (PrintAll || P) { | |
| errs() << " " << Msg << ": " << *CallA << " <-> " << *CallB << '\n'; | |
| } | |
| } | |
| static inline void PrintLoadStoreResults(AliasResult AR, bool P, | |
| const Value *V1, const Value *V2, | |
| const Module *M) { | |
| if (PrintAll || P) { | |
| errs() << " " << AR << ": " << *V1 << " <-> " << *V2 << '\n'; | |
| } | |
| } | |
| PreservedAnalyses AAEvaluator::run(Function &F, FunctionAnalysisManager &AM) { | |
| runInternal(F, AM.getResult<AAManager>(F)); | |
| return PreservedAnalyses::all(); | |
| } | |
| void AAEvaluator::runInternal(Function &F, AAResults &AA) { | |
| const DataLayout &DL = F.getParent()->getDataLayout(); | |
| ++FunctionCount; | |
| SetVector<std::pair<const Value *, Type *>> Pointers; | |
| SmallSetVector<CallBase *, 16> Calls; | |
| SetVector<Value *> Loads; | |
| SetVector<Value *> Stores; | |
| for (Instruction &Inst : instructions(F)) { | |
| if (auto *LI = dyn_cast<LoadInst>(&Inst)) { | |
| Pointers.insert({LI->getPointerOperand(), LI->getType()}); | |
| Loads.insert(LI); | |
| } else if (auto *SI = dyn_cast<StoreInst>(&Inst)) { | |
| Pointers.insert({SI->getPointerOperand(), | |
| SI->getValueOperand()->getType()}); | |
| Stores.insert(SI); | |
| } else if (auto *CB = dyn_cast<CallBase>(&Inst)) | |
| Calls.insert(CB); | |
| } | |
| if (PrintAll || PrintNoAlias || PrintMayAlias || PrintPartialAlias || | |
| PrintMustAlias || PrintNoModRef || PrintMod || PrintRef || PrintModRef) | |
| errs() << "Function: " << F.getName() << ": " << Pointers.size() | |
| << " pointers, " << Calls.size() << " call sites\n"; | |
| // iterate over the worklist, and run the full (n^2)/2 disambiguations | |
| for (auto I1 = Pointers.begin(), E = Pointers.end(); I1 != E; ++I1) { | |
| LocationSize Size1 = LocationSize::precise(DL.getTypeStoreSize(I1->second)); | |
| for (auto I2 = Pointers.begin(); I2 != I1; ++I2) { | |
| LocationSize Size2 = | |
| LocationSize::precise(DL.getTypeStoreSize(I2->second)); | |
| AliasResult AR = AA.alias(I1->first, Size1, I2->first, Size2); | |
| switch (AR) { | |
| case AliasResult::NoAlias: | |
| PrintResults(AR, PrintNoAlias, *I1, *I2, F.getParent()); | |
| ++NoAliasCount; | |
| break; | |
| case AliasResult::MayAlias: | |
| PrintResults(AR, PrintMayAlias, *I1, *I2, F.getParent()); | |
| ++MayAliasCount; | |
| break; | |
| case AliasResult::PartialAlias: | |
| PrintResults(AR, PrintPartialAlias, *I1, *I2, F.getParent()); | |
| ++PartialAliasCount; | |
| break; | |
| case AliasResult::MustAlias: | |
| PrintResults(AR, PrintMustAlias, *I1, *I2, F.getParent()); | |
| ++MustAliasCount; | |
| break; | |
| } | |
| } | |
| } | |
| if (EvalAAMD) { | |
| // iterate over all pairs of load, store | |
| for (Value *Load : Loads) { | |
| for (Value *Store : Stores) { | |
| AliasResult AR = AA.alias(MemoryLocation::get(cast<LoadInst>(Load)), | |
| MemoryLocation::get(cast<StoreInst>(Store))); | |
| switch (AR) { | |
| case AliasResult::NoAlias: | |
| PrintLoadStoreResults(AR, PrintNoAlias, Load, Store, F.getParent()); | |
| ++NoAliasCount; | |
| break; | |
| case AliasResult::MayAlias: | |
| PrintLoadStoreResults(AR, PrintMayAlias, Load, Store, F.getParent()); | |
| ++MayAliasCount; | |
| break; | |
| case AliasResult::PartialAlias: | |
| PrintLoadStoreResults(AR, PrintPartialAlias, Load, Store, F.getParent()); | |
| ++PartialAliasCount; | |
| break; | |
| case AliasResult::MustAlias: | |
| PrintLoadStoreResults(AR, PrintMustAlias, Load, Store, F.getParent()); | |
| ++MustAliasCount; | |
| break; | |
| } | |
| } | |
| } | |
| // iterate over all pairs of store, store | |
| for (SetVector<Value *>::iterator I1 = Stores.begin(), E = Stores.end(); | |
| I1 != E; ++I1) { | |
| for (SetVector<Value *>::iterator I2 = Stores.begin(); I2 != I1; ++I2) { | |
| AliasResult AR = AA.alias(MemoryLocation::get(cast<StoreInst>(*I1)), | |
| MemoryLocation::get(cast<StoreInst>(*I2))); | |
| switch (AR) { | |
| case AliasResult::NoAlias: | |
| PrintLoadStoreResults(AR, PrintNoAlias, *I1, *I2, F.getParent()); | |
| ++NoAliasCount; | |
| break; | |
| case AliasResult::MayAlias: | |
| PrintLoadStoreResults(AR, PrintMayAlias, *I1, *I2, F.getParent()); | |
| ++MayAliasCount; | |
| break; | |
| case AliasResult::PartialAlias: | |
| PrintLoadStoreResults(AR, PrintPartialAlias, *I1, *I2, F.getParent()); | |
| ++PartialAliasCount; | |
| break; | |
| case AliasResult::MustAlias: | |
| PrintLoadStoreResults(AR, PrintMustAlias, *I1, *I2, F.getParent()); | |
| ++MustAliasCount; | |
| break; | |
| } | |
| } | |
| } | |
| } | |
| // Mod/ref alias analysis: compare all pairs of calls and values | |
| for (CallBase *Call : Calls) { | |
| for (const auto &Pointer : Pointers) { | |
| LocationSize Size = | |
| LocationSize::precise(DL.getTypeStoreSize(Pointer.second)); | |
| switch (AA.getModRefInfo(Call, Pointer.first, Size)) { | |
| case ModRefInfo::NoModRef: | |
| PrintModRefResults("NoModRef", PrintNoModRef, Call, Pointer, | |
| F.getParent()); | |
| ++NoModRefCount; | |
| break; | |
| case ModRefInfo::Mod: | |
| PrintModRefResults("Just Mod", PrintMod, Call, Pointer, F.getParent()); | |
| ++ModCount; | |
| break; | |
| case ModRefInfo::Ref: | |
| PrintModRefResults("Just Ref", PrintRef, Call, Pointer, F.getParent()); | |
| ++RefCount; | |
| break; | |
| case ModRefInfo::ModRef: | |
| PrintModRefResults("Both ModRef", PrintModRef, Call, Pointer, | |
| F.getParent()); | |
| ++ModRefCount; | |
| break; | |
| } | |
| } | |
| } | |
| // Mod/ref alias analysis: compare all pairs of calls | |
| for (CallBase *CallA : Calls) { | |
| for (CallBase *CallB : Calls) { | |
| if (CallA == CallB) | |
| continue; | |
| switch (AA.getModRefInfo(CallA, CallB)) { | |
| case ModRefInfo::NoModRef: | |
| PrintModRefResults("NoModRef", PrintNoModRef, CallA, CallB, | |
| F.getParent()); | |
| ++NoModRefCount; | |
| break; | |
| case ModRefInfo::Mod: | |
| PrintModRefResults("Just Mod", PrintMod, CallA, CallB, F.getParent()); | |
| ++ModCount; | |
| break; | |
| case ModRefInfo::Ref: | |
| PrintModRefResults("Just Ref", PrintRef, CallA, CallB, F.getParent()); | |
| ++RefCount; | |
| break; | |
| case ModRefInfo::ModRef: | |
| PrintModRefResults("Both ModRef", PrintModRef, CallA, CallB, | |
| F.getParent()); | |
| ++ModRefCount; | |
| break; | |
| } | |
| } | |
| } | |
| } | |
| static void PrintPercent(int64_t Num, int64_t Sum) { | |
| errs() << "(" << Num * 100LL / Sum << "." << ((Num * 1000LL / Sum) % 10) | |
| << "%)\n"; | |
| } | |
| AAEvaluator::~AAEvaluator() { | |
| if (FunctionCount == 0) | |
| return; | |
| int64_t AliasSum = | |
| NoAliasCount + MayAliasCount + PartialAliasCount + MustAliasCount; | |
| errs() << "===== Alias Analysis Evaluator Report =====\n"; | |
| if (AliasSum == 0) { | |
| errs() << " Alias Analysis Evaluator Summary: No pointers!\n"; | |
| } else { | |
| errs() << " " << AliasSum << " Total Alias Queries Performed\n"; | |
| errs() << " " << NoAliasCount << " no alias responses "; | |
| PrintPercent(NoAliasCount, AliasSum); | |
| errs() << " " << MayAliasCount << " may alias responses "; | |
| PrintPercent(MayAliasCount, AliasSum); | |
| errs() << " " << PartialAliasCount << " partial alias responses "; | |
| PrintPercent(PartialAliasCount, AliasSum); | |
| errs() << " " << MustAliasCount << " must alias responses "; | |
| PrintPercent(MustAliasCount, AliasSum); | |
| errs() << " Alias Analysis Evaluator Pointer Alias Summary: " | |
| << NoAliasCount * 100 / AliasSum << "%/" | |
| << MayAliasCount * 100 / AliasSum << "%/" | |
| << PartialAliasCount * 100 / AliasSum << "%/" | |
| << MustAliasCount * 100 / AliasSum << "%\n"; | |
| } | |
| // Display the summary for mod/ref analysis | |
| int64_t ModRefSum = NoModRefCount + RefCount + ModCount + ModRefCount; | |
| if (ModRefSum == 0) { | |
| errs() << " Alias Analysis Mod/Ref Evaluator Summary: no " | |
| "mod/ref!\n"; | |
| } else { | |
| errs() << " " << ModRefSum << " Total ModRef Queries Performed\n"; | |
| errs() << " " << NoModRefCount << " no mod/ref responses "; | |
| PrintPercent(NoModRefCount, ModRefSum); | |
| errs() << " " << ModCount << " mod responses "; | |
| PrintPercent(ModCount, ModRefSum); | |
| errs() << " " << RefCount << " ref responses "; | |
| PrintPercent(RefCount, ModRefSum); | |
| errs() << " " << ModRefCount << " mod & ref responses "; | |
| PrintPercent(ModRefCount, ModRefSum); | |
| errs() << " Alias Analysis Evaluator Mod/Ref Summary: " | |
| << NoModRefCount * 100 / ModRefSum << "%/" | |
| << ModCount * 100 / ModRefSum << "%/" << RefCount * 100 / ModRefSum | |
| << "%/" << ModRefCount * 100 / ModRefSum << "%\n"; | |
| } | |
| } | |
| namespace llvm { | |
| class AAEvalLegacyPass : public FunctionPass { | |
| std::unique_ptr<AAEvaluator> P; | |
| public: | |
| static char ID; // Pass identification, replacement for typeid | |
| AAEvalLegacyPass() : FunctionPass(ID) { | |
| initializeAAEvalLegacyPassPass(*PassRegistry::getPassRegistry()); | |
| } | |
| void getAnalysisUsage(AnalysisUsage &AU) const override { | |
| AU.addRequired<AAResultsWrapperPass>(); | |
| AU.setPreservesAll(); | |
| } | |
| bool doInitialization(Module &M) override { | |
| P.reset(new AAEvaluator()); | |
| return false; | |
| } | |
| bool runOnFunction(Function &F) override { | |
| P->runInternal(F, getAnalysis<AAResultsWrapperPass>().getAAResults()); | |
| return false; | |
| } | |
| bool doFinalization(Module &M) override { | |
| P.reset(); | |
| return false; | |
| } | |
| }; | |
| } | |
| char AAEvalLegacyPass::ID = 0; | |
| INITIALIZE_PASS_BEGIN(AAEvalLegacyPass, "aa-eval", | |
| "Exhaustive Alias Analysis Precision Evaluator", false, | |
| true) | |
| INITIALIZE_PASS_DEPENDENCY(AAResultsWrapperPass) | |
| INITIALIZE_PASS_END(AAEvalLegacyPass, "aa-eval", | |
| "Exhaustive Alias Analysis Precision Evaluator", false, | |
| true) | |
| FunctionPass *llvm::createAAEvalPass() { return new AAEvalLegacyPass(); } |