Make BasicAliasAnalysis recognize the fact a noalias argument cannot alias another...
authorMichael Kuperstein <michael.m.kuperstein@intel.com>
Tue, 28 May 2013 08:17:48 +0000 (08:17 +0000)
committerMichael Kuperstein <michael.m.kuperstein@intel.com>
Tue, 28 May 2013 08:17:48 +0000 (08:17 +0000)
commit9f5de6dadcdb9922ad8c8135a29e4abccec11671
treed66d776783b8a00eca7d1fd2a59651d522a72b66
parentaf10fe63c6b0246635e50f480abbf3d679f69246
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
include/llvm/Analysis/AliasAnalysis.h
lib/Analysis/AliasAnalysis.cpp
lib/Analysis/BasicAliasAnalysis.cpp
test/Analysis/BasicAA/noalias-param.ll [new file with mode: 0644]