diff options
author | Chris Lattner <sabre@nondot.org> | 2003-06-29 00:07:11 +0000 |
---|---|---|
committer | Chris Lattner <sabre@nondot.org> | 2003-06-29 00:07:11 +0000 |
commit | 1842a90e0bf7b9137fb595828c6e07c5b629b2ad (patch) | |
tree | ab0038dab0e95e3a23941ea8cf4b16907d14026d /lib/Analysis/AliasAnalysisEvaluator.cpp | |
parent | 9e762d0cd14604b5b9568c7ae5184a69d1207836 (diff) | |
download | llvm-1842a90e0bf7b9137fb595828c6e07c5b629b2ad.tar.gz llvm-1842a90e0bf7b9137fb595828c6e07c5b629b2ad.tar.bz2 llvm-1842a90e0bf7b9137fb595828c6e07c5b629b2ad.tar.xz |
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
Diffstat (limited to 'lib/Analysis/AliasAnalysisEvaluator.cpp')
-rw-r--r-- | lib/Analysis/AliasAnalysisEvaluator.cpp | 17 |
1 files changed, 11 insertions, 6 deletions
diff --git a/lib/Analysis/AliasAnalysisEvaluator.cpp b/lib/Analysis/AliasAnalysisEvaluator.cpp index 4366ab8509..81aad894ce 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 <set> namespace { cl::opt<bool> 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<AliasAnalysis>(); - std::vector<Value *> Pointers; + std::set<Value *> Pointers; for (Function::aiterator I = F.abegin(), E = F.aend(); I != E; ++I) if (isa<PointerType>(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<PointerType>((*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<PointerType>((*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<Value *>::iterator I1 = Pointers.begin(), E = Pointers.end(); + for (std::set<Value *>::iterator I1 = Pointers.begin(), E = Pointers.end(); I1 != E; ++I1) - for (std::vector<Value *>::iterator I2 = Pointers.begin(); I2 != I1; ++I2) + for (std::set<Value *>::iterator I2 = Pointers.begin(); I2 != I1; ++I2) switch (AA.alias(*I1, 0, *I2, 0)) { case AliasAnalysis::NoAlias: PrintResults("No", PrintNo, *I1, *I2); |