| Duncan Sands | 9929be9 | 2007-11-23 19:30:27 +0000 | [diff] [blame] | 1 | ; RUN: llvm-as < %s | opt -globalsmodref-aa -load-vn -gcse | llvm-dis | not grep load |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 2 | |
| Duncan Sands | 9929be9 | 2007-11-23 19:30:27 +0000 | [diff] [blame] | 3 | ; This test requires the use of previous analyses to determine that |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 4 | ; doesnotmodX does not modify X (because 'sin' doesn't). |
| 5 | |
| Duncan Sands | 9929be9 | 2007-11-23 19:30:27 +0000 | [diff] [blame] | 6 | @X = internal global i32 4 ; <i32*> [#uses=2] |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 7 | |
| Duncan Sands | 9929be9 | 2007-11-23 19:30:27 +0000 | [diff] [blame] | 8 | declare double @sin(double) readnone |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 9 | |
| Duncan Sands | 9929be9 | 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 |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 15 | } |
| 16 | |
| Duncan Sands | 9929be9 | 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 |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 20 | } |