llvm/test/Analysis/CFLAliasAnalysis
George Burgess IV bec2df684f [CFLAA] Handle global/arg attrs more sanely.
Prior to this patch, we used argument/global stratified attributes in
order to note that a value could have come from either dereferencing a
global/arg, or from the assignment from a global/arg.

Now, AttrUnknown is placed on sets when we see a dereference, instead of
the global/arg attributes. This allows us to be more aggressive in the
future when we see global/arg attributes without AttrUnknown.

Patch by Jia Chen.

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


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@272335 91177308-0d34-0410-b5e6-96231b3b80d8
2016-06-09 23:15:04 +00:00
..
arguments-globals.ll
arguments.ll
asm-global-bugfix.ll
attr-escape.ll [CFLAA] Handle global/arg attrs more sanely. 2016-06-09 23:15:04 +00:00
basic-interproc-ret.ll
basic-interproc.ll
branch-alias.ll
const-expr-gep.ll
constant-over-index.ll
empty.ll
full-store-partial-alias.ll
gep-index-no-alias.ll [CFLAA] Don't link GEP pointers to GEP indices. 2016-05-31 19:55:05 +00:00
gep-signed-arithmetic.ll
malloc-and-free.ll [CFLAA] Recognize builtin allocation functions. 2016-06-01 18:39:54 +00:00
multilevel-combine.ll
multilevel.ll
must-and-partial.ll
opaque-call-alias.ll
phi-and-select.ll
pr27213.ll
simple.ll
stratified-attrs-indexing.ll
va.ll