| Dan Gohman | f2f6ce6 | 2009-09-11 18:01:28 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -basicaa -gvn -S | grep load |
| Nick Lewycky | b24e6c4 | 2009-03-14 19:40:09 +0000 | [diff] [blame] | 2 | |
| 3 | declare noalias i32* @noalias() | ||||
| 4 | |||||
| Chris Lattner | 56cb12c | 2009-03-16 18:28:27 +0000 | [diff] [blame] | 5 | define i32 @test(i32 %x) { |
| Nick Lewycky | b24e6c4 | 2009-03-14 19:40:09 +0000 | [diff] [blame] | 6 | %a = call i32* @noalias() |
| Chris Lattner | 56cb12c | 2009-03-16 18:28:27 +0000 | [diff] [blame] | 7 | store i32 1, i32* %a |
| Nick Lewycky | b24e6c4 | 2009-03-14 19:40:09 +0000 | [diff] [blame] | 8 | %b = getelementptr i32* %a, i32 %x |
| Chris Lattner | 56cb12c | 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 | b24e6c4 | 2009-03-14 19:40:09 +0000 | [diff] [blame] | 13 | } |