| Bill Wendling | cd6df16 | 2012-04-24 09:15:38 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -basicaa -gvn -S | FileCheck %s |
| Nick Lewycky | 8e0f9ac | 2009-03-14 19:40:09 +0000 | [diff] [blame] | 2 | |
| 3 | declare noalias i32* @noalias() | ||||
| 4 | |||||
| Chris Lattner | d35d43d | 2009-03-16 18:28:27 +0000 | [diff] [blame] | 5 | define i32 @test(i32 %x) { |
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 6 | ; CHECK: load i32, i32* %a |
| Nick Lewycky | 8e0f9ac | 2009-03-14 19:40:09 +0000 | [diff] [blame] | 7 | %a = call i32* @noalias() |
| Chris Lattner | d35d43d | 2009-03-16 18:28:27 +0000 | [diff] [blame] | 8 | store i32 1, i32* %a |
| David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 9 | %b = getelementptr i32, i32* %a, i32 %x |
| Chris Lattner | d35d43d | 2009-03-16 18:28:27 +0000 | [diff] [blame] | 10 | store i32 2, i32* %b |
| 11 | |||||
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 12 | %c = load i32, i32* %a |
| Chris Lattner | d35d43d | 2009-03-16 18:28:27 +0000 | [diff] [blame] | 13 | ret i32 %c |
| Nick Lewycky | 8e0f9ac | 2009-03-14 19:40:09 +0000 | [diff] [blame] | 14 | } |