| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1 | ; In this test, a local alloca cannot alias an incoming argument. |
| 2 | |||||
| 3 | ; RUN: llvm-upgrade < %s | llvm-as | opt -load-vn -gcse -instcombine | llvm-dis | not grep sub | ||||
| 4 | |||||
| 5 | int %test(int* %P) { | ||||
| 6 | %X = alloca int | ||||
| 7 | %V1 = load int* %P | ||||
| 8 | store int 0, int* %X | ||||
| 9 | %V2 = load int* %P | ||||
| 10 | %Diff = sub int %V1, %V2 | ||||
| 11 | ret int %Diff | ||||
| 12 | } | ||||