]> granicus.if.org Git - llvm/commit
GlobalsAA: Functions with the argmemonly attribute won't read arbitrary globals
authorTom Stellard <thomas.stellard@amd.com>
Thu, 14 Jul 2016 15:50:27 +0000 (15:50 +0000)
committerTom Stellard <thomas.stellard@amd.com>
Thu, 14 Jul 2016 15:50:27 +0000 (15:50 +0000)
commit6e4b75df4f439d51ea047fc08fefeaa10c457878
tree1bbfd7f7fad7b7d404d716da33333a12fed34e5c
parent3d6b13fb1dcba4499067dd8163a4b05426d1e6dd
GlobalsAA: Functions with the argmemonly attribute won't read arbitrary globals

Summary:
In preparation for changing GlobalsAA to stop assuming that intrinsics
can't read arbitrary globals, we need to make sure GlobalsAA is querying
function attributes rather than relying on this assumption.

This patch was inspired by: http://reviews.llvm.org/D20206

Reviewers: jmolloy, hfinkel

Subscribers: eli.friedman, llvm-commits

Differential Revision: https://reviews.llvm.org/D21318

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@275433 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/GlobalsModRef.cpp
test/Analysis/GlobalsModRef/func-memattributes.ll [new file with mode: 0644]