| Bill Wendling | 75920ad | 2012-04-24 10:45:44 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -basicaa -globalsmodref-aa -gvn -S | FileCheck %s |
| 2 | |
| Tanya Lattner | dcd188d | 2008-02-14 06:56:27 +0000 | [diff] [blame] | 3 | @X = internal global i32 4 ; <i32*> [#uses=2] |
| Chris Lattner | 059f5a5 | 2004-07-27 06:26:08 +0000 | [diff] [blame] | 4 | |
| Tanya Lattner | dcd188d | 2008-02-14 06:56:27 +0000 | [diff] [blame] | 5 | define i32 @test(i32* %P) { |
| Bill Wendling | 75920ad | 2012-04-24 10:45:44 +0000 | [diff] [blame] | 6 | ; CHECK: @test |
| 7 | ; CHECK-NEXT: store i32 12, i32* @X |
| 8 | ; CHECK-NEXT: call void @doesnotmodX() |
| 9 | ; CHECK-NEXT: ret i32 12 |
| Tanya Lattner | dcd188d | 2008-02-14 06:56:27 +0000 | [diff] [blame] | 10 | store i32 12, i32* @X |
| 11 | call void @doesnotmodX( ) |
| 12 | %V = load i32* @X ; <i32> [#uses=1] |
| 13 | ret i32 %V |
| Chris Lattner | 059f5a5 | 2004-07-27 06:26:08 +0000 | [diff] [blame] | 14 | } |
| 15 | |
| Tanya Lattner | dcd188d | 2008-02-14 06:56:27 +0000 | [diff] [blame] | 16 | define void @doesnotmodX() { |
| 17 | ret void |
| Chris Lattner | 059f5a5 | 2004-07-27 06:26:08 +0000 | [diff] [blame] | 18 | } |