George Burgess IV dc5cb4d4ca Fix: CFLAA -- Mark no-args returns as unknown ...

Prior to this patch, we hadn't been marking StratifiedSets with the
appropriate StratifiedAttrs when handling the result of no-args call
instructions. This caused us to report NoAlias when handed, for
example, an escaped alloca and a result from an opaque function. Now we
properly mark the return value of said functions.

Thanks again to Chandler, Richard, and Nick for pinging me about this.

Differential review: http://reviews.llvm.org/D12408



git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@246240 91177308-0d34-0410-b5e6-96231b3b80d8

2015-08-28 00:16:18 +00:00

..

arguments-globals.ll

…

arguments.ll

…

asm-global-bugfix.ll

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

basic-interproc-ret.ll

…

basic-interproc.ll

…

branch-alias.ll

Added special handling for inttoptr in CFLAA.

2015-03-10 02:40:06 +00:00

const-expr-gep.ll

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

constant-over-index.ll

[opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction

2015-02-27 19:29:02 +00:00

empty.ll

…

full-store-partial-alias.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

gep-signed-arithmetic.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

multilevel-combine.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

multilevel.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

must-and-partial.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

opaque-call-alias.ll

Fix: CFLAA -- Mark no-args returns as unknown

2015-08-28 00:16:18 +00:00

phi-and-select.ll

…

simple.ll

[opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction

2015-02-27 19:29:02 +00:00

stratified-attrs-indexing.ll

Added ConstantExpr support to CFLAA.

2015-03-10 02:58:15 +00:00

va.ll

[CFL-AA] CFL-AA should not assert on an va_arg instruction

2014-10-14 20:51:26 +00:00