blob: ad6a469f0c4174678c57436d024e79e675472904 [file] [log] [blame]
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001; RUN: llvm-upgrade < %s | llvm-as | opt -sccp -disable-output
2; PR 1431
3
4void @_ada_bench() {
5entry:
6 br label %cond_next
7
8cond_next: ; preds = %cond_next, %entry
9 %indvar46 = phi i32 [ 0, %entry ], [ %indvar.next47, %cond_next ] ; <i32> [#uses=1]
10 %indvar.next47 = add i32 %indvar46, 1 ; <i32> [#uses=2]
11 %exitcond48 = icmp eq i32 %indvar.next47, 10000 ; <i1> [#uses=1]
12 br i1 %exitcond48, label %cond_next40, label %cond_next
13
14cond_next40: ; preds = %cond_next40, %cond_next
15 %indvar43 = phi i32 [ %indvar.next44, %cond_next40 ], [ 0, %cond_next ] ; <i32> [#uses=1]
16 %indvar.next44 = add i32 %indvar43, 1 ; <i32> [#uses=2]
17 %exitcond45 = icmp eq i32 %indvar.next44, 10000 ; <i1> [#uses=1]
18 br i1 %exitcond45, label %cond_next53, label %cond_next40
19
20cond_next53: ; preds = %cond_next53, %cond_next40
21 %indvar41 = phi i32 [ %indvar.next42, %cond_next53 ], [ 0, %cond_next40 ] ; <i32> [#uses=1]
22 %indvar.next42 = add i32 %indvar41, 1 ; <i32> [#uses=2]
23 %exitcond = icmp eq i32 %indvar.next42, 10000 ; <i1> [#uses=1]
24 br i1 %exitcond, label %bb67, label %cond_next53
25
26bb67: ; preds = %cond_next53
27 %tmp112 = invoke double @sin( double 5.000000e-01 )
28 to label %bb114 unwind label %cleanup ; <double> [#uses=0]
29
30bb114: ; preds = %bb67
31 %tmp147 = invoke double @log( double 5.000000e-01 )
32 to label %bb149 unwind label %cleanup ; <double> [#uses=0]
33
34bb149: ; preds = %bb114
35 %tmp175 = invoke double @sqrt( double 5.000000e-01 )
36 to label %bb177 unwind label %cleanup ; <double> [#uses=0]
37
38bb177: ; preds = %bb149
39 unreachable
40
41cleanup: ; preds = %bb149, %bb114, %bb67
42 unwind
43}
44
45declare double @sin(double)
46
47declare double @log(double)
48
49declare double @sqrt(double)
50