| Dan Gohman | c1be92f | 2010-10-18 18:04:47 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -basicaa -globalsmodref-aa -gvn -S | not grep load |
| 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) { |
| 11 | store i32 12, i32* @X |
| 12 | call double @doesnotmodX( double 1.000000e+00 ) ; <double>:1 [#uses=0] |
| 13 | %V = load i32* @X ; <i32> [#uses=1] |
| 14 | ret i32 %V |
| Chris Lattner | e04d51f | 2005-03-23 23:48:56 +0000 | [diff] [blame] | 15 | } |
| 16 | |
| Duncan Sands | e4dc717 | 2007-11-23 19:30:27 +0000 | [diff] [blame] | 17 | define double @doesnotmodX(double %V) { |
| 18 | %V2 = call double @sin( double %V ) readnone ; <double> [#uses=1] |
| 19 | ret double %V2 |
| Chris Lattner | e04d51f | 2005-03-23 23:48:56 +0000 | [diff] [blame] | 20 | } |