From 1842a90e0bf7b9137fb595828c6e07c5b629b2ad Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Sun, 29 Jun 2003 00:07:11 +0000 Subject: [PATCH] Count operands to instructions as well as just results. This allows for global variables to be checked as well git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6970 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Analysis/AliasAnalysisEvaluator.cpp | 17 +++++++++++------ 1 file changed, 11 insertions(+), 6 deletions(-) diff --git a/lib/Analysis/AliasAnalysisEvaluator.cpp b/lib/Analysis/AliasAnalysisEvaluator.cpp index 4366ab8509a..81aad894ce3 100644 --- a/lib/Analysis/AliasAnalysisEvaluator.cpp +++ b/lib/Analysis/AliasAnalysisEvaluator.cpp @@ -17,6 +17,7 @@ #include "llvm/Support/InstIterator.h" #include "llvm/Assembly/Writer.h" #include "Support/CommandLine.h" +#include namespace { cl::opt PrintNo ("print-no-aliases", cl::ReallyHidden); @@ -52,23 +53,27 @@ static inline void PrintResults(const char *Msg, bool P, Value *V1, Value *V2) { bool AAEval::runOnFunction(Function &F) { AliasAnalysis &AA = getAnalysis(); - std::vector Pointers; + std::set Pointers; for (Function::aiterator I = F.abegin(), E = F.aend(); I != E; ++I) if (isa(I->getType())) // Add all pointer arguments - Pointers.push_back(I); + Pointers.insert(I); - for (inst_iterator I = inst_begin(F), E = inst_end(F); I != E; ++I) + for (inst_iterator I = inst_begin(F), E = inst_end(F); I != E; ++I) { if (isa((*I)->getType())) // Add all pointer instructions - Pointers.push_back(*I); + Pointers.insert(*I); + for (User::op_iterator OI = (*I)->op_begin(); OI != (*I)->op_end(); ++OI) + if (isa((*OI)->getType())) + Pointers.insert(*OI); + } 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::iterator I1 = Pointers.begin(), E = Pointers.end(); + for (std::set::iterator I1 = Pointers.begin(), E = Pointers.end(); I1 != E; ++I1) - for (std::vector::iterator I2 = Pointers.begin(); I2 != I1; ++I2) + for (std::set::iterator I2 = Pointers.begin(); I2 != I1; ++I2) switch (AA.alias(*I1, 0, *I2, 0)) { case AliasAnalysis::NoAlias: PrintResults("No", PrintNo, *I1, *I2); -- 2.34.1