diff options
Diffstat (limited to 'lib/Analysis/AliasAnalysis.cpp')
| -rw-r--r-- | lib/Analysis/AliasAnalysis.cpp | 17 | 
1 files changed, 4 insertions, 13 deletions
diff --git a/lib/Analysis/AliasAnalysis.cpp b/lib/Analysis/AliasAnalysis.cpp index 0234965a0065..dee9b535871a 100644 --- a/lib/Analysis/AliasAnalysis.cpp +++ b/lib/Analysis/AliasAnalysis.cpp @@ -49,21 +49,11 @@ AliasAnalysis::alias(const Value *V1, unsigned V1Size,    return AA->alias(V1, V1Size, V2, V2Size);  } -void AliasAnalysis::getMustAliases(Value *P, std::vector<Value*> &RetVals) { -  assert(AA && "AA didn't call InitializeAliasAnalysis in its run method!"); -  return AA->getMustAliases(P, RetVals); -} -  bool AliasAnalysis::pointsToConstantMemory(const Value *P) {    assert(AA && "AA didn't call InitializeAliasAnalysis in its run method!");    return AA->pointsToConstantMemory(P);  } -bool AliasAnalysis::hasNoModRefInfoForCalls() const { -  assert(AA && "AA didn't call InitializeAliasAnalysis in its run method!"); -  return AA->hasNoModRefInfoForCalls(); -} -  void AliasAnalysis::deleteValue(Value *V) {    assert(AA && "AA didn't call InitializeAliasAnalysis in its run method!");    AA->deleteValue(V); @@ -137,17 +127,18 @@ AliasAnalysis::getModRefBehavior(Function *F,  AliasAnalysis::ModRefResult  AliasAnalysis::getModRefInfo(CallSite CS, Value *P, unsigned Size) { -  ModRefResult Mask = ModRef;    ModRefBehavior MRB = getModRefBehavior(CS);    if (MRB == DoesNotAccessMemory)      return NoModRef; -  else if (MRB == OnlyReadsMemory) +   +  ModRefResult Mask = ModRef; +  if (MRB == OnlyReadsMemory)      Mask = Ref;    else if (MRB == AliasAnalysis::AccessesArguments) {      bool doesAlias = false;      for (CallSite::arg_iterator AI = CS.arg_begin(), AE = CS.arg_end();           AI != AE; ++AI) -      if (alias(*AI, ~0U, P, Size) != NoAlias) { +      if (!isNoAlias(*AI, ~0U, P, Size)) {          doesAlias = true;          break;        }  | 
