| Tanya Lattner | a695f01 | 2008-02-14 06:56:27 +0000 | [diff] [blame^] | 1 | ; RUN: llvm-as < %s | opt -load-vn -gcse -instcombine | llvm-dis | grep sub |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 2 | |
| 3 | ; BasicAA was incorrectly concluding that P1 and P2 didn't conflict! |
| 4 | |
| Tanya Lattner | a695f01 | 2008-02-14 06:56:27 +0000 | [diff] [blame^] | 5 | define i32 @test(i32 *%Ptr, i64 %V) { |
| 6 | %P2 = getelementptr i32* %Ptr, i64 1 |
| 7 | %P1 = getelementptr i32* %Ptr, i64 %V |
| 8 | %X = load i32* %P1 |
| 9 | store i32 5, i32* %P2 |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 10 | |
| Tanya Lattner | a695f01 | 2008-02-14 06:56:27 +0000 | [diff] [blame^] | 11 | %Y = load i32* %P1 |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 12 | |
| Tanya Lattner | a695f01 | 2008-02-14 06:56:27 +0000 | [diff] [blame^] | 13 | %Z = sub i32 %X, %Y |
| 14 | ret i32 %Z |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 15 | } |