diff options
| -rw-r--r-- | llvm/lib/Analysis/AliasAnalysis.cpp | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/llvm/lib/Analysis/AliasAnalysis.cpp b/llvm/lib/Analysis/AliasAnalysis.cpp index 35f2e97622f..9a003413cdc 100644 --- a/llvm/lib/Analysis/AliasAnalysis.cpp +++ b/llvm/lib/Analysis/AliasAnalysis.cpp @@ -538,16 +538,12 @@ AAResults llvm::createLegacyPMAAResults(Pass &P, Function &F, return AAR; } -/// isNoAliasCall - Return true if this pointer is returned by a noalias -/// function. bool llvm::isNoAliasCall(const Value *V) { if (auto CS = ImmutableCallSite(V)) return CS.paramHasAttr(0, Attribute::NoAlias); return false; } -/// isNoAliasArgument - Return true if this is an argument with the noalias -/// attribute. bool llvm::isNoAliasArgument(const Value *V) { if (const Argument *A = dyn_cast<Argument>(V)) @@ -555,13 +551,6 @@ bool llvm::isNoAliasArgument(const Value *V) return false; } -/// isIdentifiedObject - Return true if this pointer refers to a distinct and -/// identifiable object. This returns true for: -/// Global Variables and Functions (but not Global Aliases) -/// Allocas and Mallocs -/// ByVal and NoAlias Arguments -/// NoAlias returns -/// bool llvm::isIdentifiedObject(const Value *V) { if (isa<AllocaInst>(V)) return true; @@ -574,11 +563,6 @@ bool llvm::isIdentifiedObject(const Value *V) { return false; } -/// isIdentifiedFunctionLocal - Return true if V is umabigously identified -/// at the function-level. Different IdentifiedFunctionLocals can't alias. -/// Further, an IdentifiedFunctionLocal can not alias with any function -/// arguments other than itself, which is not necessarily true for -/// IdentifiedObjects. bool llvm::isIdentifiedFunctionLocal(const Value *V) { return isa<AllocaInst>(V) || isNoAliasCall(V) || isNoAliasArgument(V); |
