Dan Gohman | cabfea2 | 2009-09-11 18:17:12 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -sccp -disable-output |
| 2 | ; PR1431 |
Devang Patel | d5005cc | 2007-05-17 22:05:20 +0000 | [diff] [blame] | 3 | |
Tanya Lattner | f396cc8 | 2008-03-19 04:14:49 +0000 | [diff] [blame] | 4 | define void @_ada_bench() { |
Devang Patel | d5005cc | 2007-05-17 22:05:20 +0000 | [diff] [blame] | 5 | entry: |
| 6 | br label %cond_next |
Devang Patel | d5005cc | 2007-05-17 22:05:20 +0000 | [diff] [blame] | 7 | cond_next: ; preds = %cond_next, %entry |
| 8 | %indvar46 = phi i32 [ 0, %entry ], [ %indvar.next47, %cond_next ] ; <i32> [#uses=1] |
| 9 | %indvar.next47 = add i32 %indvar46, 1 ; <i32> [#uses=2] |
| 10 | %exitcond48 = icmp eq i32 %indvar.next47, 10000 ; <i1> [#uses=1] |
| 11 | br i1 %exitcond48, label %cond_next40, label %cond_next |
Devang Patel | d5005cc | 2007-05-17 22:05:20 +0000 | [diff] [blame] | 12 | cond_next40: ; preds = %cond_next40, %cond_next |
| 13 | %indvar43 = phi i32 [ %indvar.next44, %cond_next40 ], [ 0, %cond_next ] ; <i32> [#uses=1] |
| 14 | %indvar.next44 = add i32 %indvar43, 1 ; <i32> [#uses=2] |
| 15 | %exitcond45 = icmp eq i32 %indvar.next44, 10000 ; <i1> [#uses=1] |
| 16 | br i1 %exitcond45, label %cond_next53, label %cond_next40 |
Devang Patel | d5005cc | 2007-05-17 22:05:20 +0000 | [diff] [blame] | 17 | cond_next53: ; preds = %cond_next53, %cond_next40 |
| 18 | %indvar41 = phi i32 [ %indvar.next42, %cond_next53 ], [ 0, %cond_next40 ] ; <i32> [#uses=1] |
| 19 | %indvar.next42 = add i32 %indvar41, 1 ; <i32> [#uses=2] |
| 20 | %exitcond = icmp eq i32 %indvar.next42, 10000 ; <i1> [#uses=1] |
| 21 | br i1 %exitcond, label %bb67, label %cond_next53 |
Devang Patel | d5005cc | 2007-05-17 22:05:20 +0000 | [diff] [blame] | 22 | bb67: ; preds = %cond_next53 |
| 23 | %tmp112 = invoke double @sin( double 5.000000e-01 ) |
| 24 | to label %bb114 unwind label %cleanup ; <double> [#uses=0] |
Devang Patel | d5005cc | 2007-05-17 22:05:20 +0000 | [diff] [blame] | 25 | bb114: ; preds = %bb67 |
| 26 | %tmp147 = invoke double @log( double 5.000000e-01 ) |
| 27 | to label %bb149 unwind label %cleanup ; <double> [#uses=0] |
Devang Patel | d5005cc | 2007-05-17 22:05:20 +0000 | [diff] [blame] | 28 | bb149: ; preds = %bb114 |
| 29 | %tmp175 = invoke double @sqrt( double 5.000000e-01 ) |
| 30 | to label %bb177 unwind label %cleanup ; <double> [#uses=0] |
Devang Patel | d5005cc | 2007-05-17 22:05:20 +0000 | [diff] [blame] | 31 | bb177: ; preds = %bb149 |
| 32 | unreachable |
Devang Patel | d5005cc | 2007-05-17 22:05:20 +0000 | [diff] [blame] | 33 | cleanup: ; preds = %bb149, %bb114, %bb67 |
Bill Wendling | b072dd9 | 2011-08-31 20:55:40 +0000 | [diff] [blame] | 34 | %val = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) |
| 35 | cleanup |
| 36 | resume { i8*, i32 } %val |
Devang Patel | d5005cc | 2007-05-17 22:05:20 +0000 | [diff] [blame] | 37 | } |
| 38 | |
| 39 | declare double @sin(double) |
| 40 | |
| 41 | declare double @log(double) |
| 42 | |
| 43 | declare double @sqrt(double) |
Bill Wendling | b072dd9 | 2011-08-31 20:55:40 +0000 | [diff] [blame] | 44 | |
| 45 | declare i32 @__gxx_personality_v0(...) |