| Chris Lattner | ba31721 | 2009-03-16 18:28:27 +0000 | [diff] [blame] | 1 | ; RUN: llvm-as < %s | opt -basicaa -gvn | llvm-dis | grep load |
| Nick Lewycky | 778081a | 2009-03-14 19:40:09 +0000 | [diff] [blame] | 2 | |
| 3 | declare noalias i32* @noalias() |
| 4 | |
| Chris Lattner | ba31721 | 2009-03-16 18:28:27 +0000 | [diff] [blame] | 5 | define i32 @test(i32 %x) { |
| Nick Lewycky | 778081a | 2009-03-14 19:40:09 +0000 | [diff] [blame] | 6 | %a = call i32* @noalias() |
| Chris Lattner | ba31721 | 2009-03-16 18:28:27 +0000 | [diff] [blame] | 7 | store i32 1, i32* %a |
| Nick Lewycky | 778081a | 2009-03-14 19:40:09 +0000 | [diff] [blame] | 8 | %b = getelementptr i32* %a, i32 %x |
| Chris Lattner | ba31721 | 2009-03-16 18:28:27 +0000 | [diff] [blame] | 9 | store i32 2, i32* %b |
| 10 | |
| 11 | %c = load i32* %a |
| 12 | ret i32 %c |
| Nick Lewycky | 778081a | 2009-03-14 19:40:09 +0000 | [diff] [blame] | 13 | } |