| Bill Wendling | d5cc8b8 | 2012-04-24 09:15:38 +0000 | [diff] [blame^] | 1 | ; RUN: opt < %s -basicaa -gvn -S | FileCheck %s |
| 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) { |
| Bill Wendling | d5cc8b8 | 2012-04-24 09:15:38 +0000 | [diff] [blame^] | 6 | ; CHECK: load i32* %a |
| Nick Lewycky | b24e6c4 | 2009-03-14 19:40:09 +0000 | [diff] [blame] | 7 | %a = call i32* @noalias() |
| Chris Lattner | 56cb12c | 2009-03-16 18:28:27 +0000 | [diff] [blame] | 8 | store i32 1, i32* %a |
| Nick Lewycky | b24e6c4 | 2009-03-14 19:40:09 +0000 | [diff] [blame] | 9 | %b = getelementptr i32* %a, i32 %x |
| Chris Lattner | 56cb12c | 2009-03-16 18:28:27 +0000 | [diff] [blame] | 10 | store i32 2, i32* %b |
| 11 | |||||
| 12 | %c = load i32* %a | ||||
| 13 | ret i32 %c | ||||
| Nick Lewycky | b24e6c4 | 2009-03-14 19:40:09 +0000 | [diff] [blame] | 14 | } |