| 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 | } |