forked from OSchip/llvm-project
24eb0daf7c
This patch also includes some refactoring. Prior to this patch, we tagged all CFLAA attributes as unknown. This is suboptimal, since it meant that any Value used as an argument would be considered to alias any other Value that existed. Now that we have the machinery to tag sets below the set for an arbitrary value with attributes, it's okay to be less conservative with arguments. (Specifically, we still tag the set under an argument with unknown). Patch by Jia Chen. Differential Revision: http://reviews.llvm.org/D21262 llvm-svn: 272690 |
||
|---|---|---|
| .. | ||
| arguments-globals.ll | ||
| arguments.ll | ||
| asm-global-bugfix.ll | ||
| attr-escape.ll | ||
| 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 | ||
| gep-signed-arithmetic.ll | ||
| malloc-and-free.ll | ||
| 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 | ||