| 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 | |
| Dan Gohman | 3c7d308 | 2009-09-11 18:01:28 +0000 | [diff] [blame^] | 3 | ; RUN: opt < %s -gvn -instcombine -S | not grep sub |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 4 | |
| Tanya Lattner | a695f01 | 2008-02-14 06:56:27 +0000 | [diff] [blame] | 5 | define i32 @test(i32* %P) { |
| 6 | %X = alloca i32 |
| 7 | %V1 = load i32* %P |
| 8 | store i32 0, i32* %X |
| 9 | %V2 = load i32* %P |
| 10 | %Diff = sub i32 %V1, %V2 |
| 11 | ret i32 %Diff |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 12 | } |