| Bill Wendling | 75920ad | 2012-04-24 10:45:44 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -basicaa -globalsmodref-aa -gvn -S | FileCheck %s |
| Chris Lattner | e04d51f | 2005-03-23 23:48:56 +0000 | [diff] [blame] | 2 | |
| Duncan Sands | e4dc717 | 2007-11-23 19:30:27 +0000 | [diff] [blame] | 3 | ; This test requires the use of previous analyses to determine that |
| Chris Lattner | e04d51f | 2005-03-23 23:48:56 +0000 | [diff] [blame] | 4 | ; doesnotmodX does not modify X (because 'sin' doesn't). |
| 5 | |
| Duncan Sands | e4dc717 | 2007-11-23 19:30:27 +0000 | [diff] [blame] | 6 | @X = internal global i32 4 ; <i32*> [#uses=2] |
| Chris Lattner | e04d51f | 2005-03-23 23:48:56 +0000 | [diff] [blame] | 7 | |
| Duncan Sands | e4dc717 | 2007-11-23 19:30:27 +0000 | [diff] [blame] | 8 | declare double @sin(double) readnone |
| Chris Lattner | e04d51f | 2005-03-23 23:48:56 +0000 | [diff] [blame] | 9 | |
| Duncan Sands | e4dc717 | 2007-11-23 19:30:27 +0000 | [diff] [blame] | 10 | define i32 @test(i32* %P) { |
| Bill Wendling | 75920ad | 2012-04-24 10:45:44 +0000 | [diff] [blame] | 11 | ; CHECK: @test |
| 12 | ; CHECK-NEXT: store i32 12, i32* @X |
| 13 | ; CHECK-NEXT: call double @doesnotmodX(double 1.000000e+00) |
| 14 | ; CHECK-NEXT: ret i32 12 |
| Duncan Sands | e4dc717 | 2007-11-23 19:30:27 +0000 | [diff] [blame] | 15 | store i32 12, i32* @X |
| 16 | call double @doesnotmodX( double 1.000000e+00 ) ; <double>:1 [#uses=0] |
| 17 | %V = load i32* @X ; <i32> [#uses=1] |
| 18 | ret i32 %V |
| Chris Lattner | e04d51f | 2005-03-23 23:48:56 +0000 | [diff] [blame] | 19 | } |
| 20 | |
| Duncan Sands | e4dc717 | 2007-11-23 19:30:27 +0000 | [diff] [blame] | 21 | define double @doesnotmodX(double %V) { |
| 22 | %V2 = call double @sin( double %V ) readnone ; <double> [#uses=1] |
| 23 | ret double %V2 |
| Chris Lattner | e04d51f | 2005-03-23 23:48:56 +0000 | [diff] [blame] | 24 | } |