mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-21 12:02:58 +02:00
5a36438b8e
Prior to this patch, CFLAA wouldn't tag arguments/globals properly if it didn't find any "interesting" edges on them. This means that, if all you do is store constants to a global or argument, we would never actually treat it as a global/argument. Test case: define void @foo(i32* %A, i32* %B) #0 { entry: store i32 0, i32* %A, align 4 store i32 0, i32* %B, align 4 ret void } CFLAA would say that %A can't alias %B, because neither pointer was used in an interesting way. This patch makes us note whether something is an argument, global, ... regardless of how interesting CFLAA thinks its uses are. (For the record, using a value in an interesting way means loading from it, using it in a GEP, ...) llvm-svn: 265474 |
||
|---|---|---|
| .. | ||
| arguments-globals.ll | ||
| arguments.ll | ||
| asm-global-bugfix.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-signed-arithmetic.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 | ||