| Chandler Carruth | 7b560d4 | 2015-09-09 17:55:00 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -basicaa -globals-aa -gvn -S -enable-unsafe-globalsmodref-alias-results | FileCheck %s |
| Chandler Carruth | 45a9c20 | 2016-03-11 09:15:11 +0000 | [diff] [blame] | 2 | ; RUN: opt < %s -aa-pipeline=basic-aa,globals-aa -passes="require<globals-aa>,function(gvn)" -S -enable-unsafe-globalsmodref-alias-results | FileCheck %s |
| Chandler Carruth | f55803f | 2015-07-17 06:58:24 +0000 | [diff] [blame] | 3 | ; |
| 4 | ; Note that this test relies on an unsafe feature of GlobalsModRef. While this |
| 5 | ; test is correct and safe, GMR's technique for handling this isn't generally. |
| Bill Wendling | 1981c0e | 2012-04-24 10:45:44 +0000 | [diff] [blame] | 6 | |
| Tanya Lattner | f865dcd | 2008-02-14 06:56:27 +0000 | [diff] [blame] | 7 | @X = internal global i32 4 ; <i32*> [#uses=1] |
| Chris Lattner | e30d3c82 | 2004-07-27 06:26:08 +0000 | [diff] [blame] | 8 | |
| Tanya Lattner | f865dcd | 2008-02-14 06:56:27 +0000 | [diff] [blame] | 9 | define i32 @test(i32* %P) { |
| Bill Wendling | 1981c0e | 2012-04-24 10:45:44 +0000 | [diff] [blame] | 10 | ; CHECK: @test |
| 11 | ; CHECK-NEXT: store i32 7, i32* %P |
| 12 | ; CHECK-NEXT: store i32 12, i32* @X |
| 13 | ; CHECK-NEXT: ret i32 7 |
| Tanya Lattner | f865dcd | 2008-02-14 06:56:27 +0000 | [diff] [blame] | 14 | store i32 7, i32* %P |
| 15 | store i32 12, i32* @X |
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 16 | %V = load i32, i32* %P ; <i32> [#uses=1] |
| Tanya Lattner | f865dcd | 2008-02-14 06:56:27 +0000 | [diff] [blame] | 17 | ret i32 %V |
| Chris Lattner | e30d3c82 | 2004-07-27 06:26:08 +0000 | [diff] [blame] | 18 | } |