diff options
author | Michael Kuperstein <michael.m.kuperstein@intel.com> | 2013-05-28 08:17:48 +0000 |
---|---|---|
committer | Michael Kuperstein <michael.m.kuperstein@intel.com> | 2013-05-28 08:17:48 +0000 |
commit | 9f5de6dadcdb9922ad8c8135a29e4abccec11671 (patch) | |
tree | d66d776783b8a00eca7d1fd2a59651d522a72b66 /include/llvm/Analysis | |
parent | af10fe63c6b0246635e50f480abbf3d679f69246 (diff) | |
download | llvm-9f5de6dadcdb9922ad8c8135a29e4abccec11671.tar.gz llvm-9f5de6dadcdb9922ad8c8135a29e4abccec11671.tar.bz2 llvm-9f5de6dadcdb9922ad8c8135a29e4abccec11671.tar.xz |
Make BasicAliasAnalysis recognize the fact a noalias argument cannot alias another argument, even if the other argument is not itself marked noalias.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@182755 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/llvm/Analysis')
-rw-r--r-- | include/llvm/Analysis/AliasAnalysis.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/include/llvm/Analysis/AliasAnalysis.h b/include/llvm/Analysis/AliasAnalysis.h index d703f21c02..efafbbdb77 100644 --- a/include/llvm/Analysis/AliasAnalysis.h +++ b/include/llvm/Analysis/AliasAnalysis.h @@ -584,6 +584,10 @@ struct DenseMapInfo<AliasAnalysis::Location> { /// function. bool isNoAliasCall(const Value *V); +/// isNoAliasArgument - Return true if this is an argument with the noalias +/// attribute. +bool isNoAliasArgument(const Value *V); + /// 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) |