Chris Lattner | 9a8e2f2 | 2009-09-11 17:02:12 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -sccp -loop-deletion -simplifycfg -S | not grep br |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 2 | |
| 3 | ; No matter how hard you try, sqrt(1.0) is always 1.0. This allows the |
| 4 | ; optimizer to delete this loop. |
| 5 | |
Tanya Lattner | ba93e2d | 2008-03-19 04:14:49 +0000 | [diff] [blame] | 6 | declare double @sqrt(double) |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 7 | |
Tanya Lattner | ba93e2d | 2008-03-19 04:14:49 +0000 | [diff] [blame] | 8 | define double @test(i32 %param) { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 9 | entry: |
| 10 | br label %Loop |
Tanya Lattner | ba93e2d | 2008-03-19 04:14:49 +0000 | [diff] [blame] | 11 | Loop: ; preds = %Loop, %entry |
| 12 | %I2 = phi i32 [ 0, %entry ], [ %I3, %Loop ] ; <i32> [#uses=1] |
| 13 | %V = phi double [ 1.000000e+00, %entry ], [ %V2, %Loop ] ; <double> [#uses=2] |
| 14 | %V2 = call double @sqrt( double %V ) ; <double> [#uses=1] |
| 15 | %I3 = add i32 %I2, 1 ; <i32> [#uses=2] |
| 16 | %tmp.7 = icmp ne i32 %I3, %param ; <i1> [#uses=1] |
| 17 | br i1 %tmp.7, label %Loop, label %Exit |
| 18 | Exit: ; preds = %Loop |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 19 | ret double %V |
| 20 | } |
Tanya Lattner | ba93e2d | 2008-03-19 04:14:49 +0000 | [diff] [blame] | 21 | |