diff options
author | Dan Gohman <gohman@apple.com> | 2010-07-07 14:27:09 +0000 |
---|---|---|
committer | Dan Gohman <gohman@apple.com> | 2010-07-07 14:27:09 +0000 |
commit | 00ef93258a63dc423bb33727b7d60da48fcd7ca1 (patch) | |
tree | 18df53c0f9af136d42a9eb01f07afcf811cdd15f /llvm/lib/Analysis/AliasAnalysis.cpp | |
parent | 28e88d8f64c9f817fb0d4ff265653671007db3af (diff) | |
download | bcm5719-llvm-00ef93258a63dc423bb33727b7d60da48fcd7ca1.tar.gz bcm5719-llvm-00ef93258a63dc423bb33727b7d60da48fcd7ca1.zip |
Remove interprocedural-basic-aa and associated code. The AliasAnalysis
interface needs implementations to be consistent, so any code which
wants to support different semantics must use a different interface.
It's not currently worthwhile to add a new interface for this new
concept.
Document that AliasAnalysis doesn't support cross-function queries.
llvm-svn: 107776
Diffstat (limited to 'llvm/lib/Analysis/AliasAnalysis.cpp')
-rw-r--r-- | llvm/lib/Analysis/AliasAnalysis.cpp | 16 |
1 files changed, 7 insertions, 9 deletions
diff --git a/llvm/lib/Analysis/AliasAnalysis.cpp b/llvm/lib/Analysis/AliasAnalysis.cpp index d9fe2f74072..503fbbdab8d 100644 --- a/llvm/lib/Analysis/AliasAnalysis.cpp +++ b/llvm/lib/Analysis/AliasAnalysis.cpp @@ -229,20 +229,18 @@ bool llvm::isNoAliasCall(const Value *V) { /// identifiable object. This returns true for: /// Global Variables and Functions (but not Global Aliases) /// Allocas and Mallocs -/// ByVal and NoAlias Arguments, if Interprocedural is false -/// NoAlias returns, if Interprocedural is false +/// ByVal and NoAlias Arguments +/// NoAlias returns /// -bool llvm::isIdentifiedObject(const Value *V, bool Interprocedural) { +bool llvm::isIdentifiedObject(const Value *V) { if (isa<AllocaInst>(V)) return true; if (isa<GlobalValue>(V) && !isa<GlobalAlias>(V)) return true; - if (!Interprocedural) { - if (isNoAliasCall(V)) - return true; - if (const Argument *A = dyn_cast<Argument>(V)) - return A->hasNoAliasAttr() || A->hasByValAttr(); - } + if (isNoAliasCall(V)) + return true; + if (const Argument *A = dyn_cast<Argument>(V)) + return A->hasNoAliasAttr() || A->hasByValAttr(); return false; } |