projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e34d8ee) | patch
[AliasAnalysis] Take into account readonly attribute for the function arguments
authorIgor Laevsky <igmyrj@gmail.com>
Wed, 28 Oct 2015 16:42:00 +0000 (16:42 +0000)
committerIgor Laevsky <igmyrj@gmail.com>
Wed, 28 Oct 2015 16:42:00 +0000 (16:42 +0000)
commit0cacb9ef06ca2ddc111163d6c7cd17e6f74b7853
tree2f71ba953c5537d5bc45687d2728aef47d209607tree | snapshot
parente34d8ee22c5e21ef3560998416741ede19958fd9commit | diff
[AliasAnalysis] Take into account readonly attribute for the function arguments

In getArgModRefInfo we consider all arguments as having MRI_ModRef.
However for arguments marked with readonly attribute we can return
more precise answer - MRI_Ref.

Differential Revision: http://reviews.llvm.org/D13992

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@251525 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/BasicAliasAnalysis.cpp diff | blob | history
test/Analysis/BasicAA/modref.ll diff | blob | history
C/C++ LLVM-based compilers that forbids OOTA behaviors