1 ; RUN: llvm-upgrade < %s | llvm-as | opt -loop-extract -disable-output
7 loopentry.0: ; preds = %entry, %endif.0
8 br bool false, label %no_exit.0, label %loopexit.0
10 no_exit.0: ; preds = %loopentry.0
11 br bool false, label %then.0, label %endif.0
13 then.0: ; preds = %no_exit.0
14 br bool false, label %shortcirc_done, label %shortcirc_next
16 shortcirc_next: ; preds = %then.0
17 br label %shortcirc_done
19 shortcirc_done: ; preds = %then.0, %shortcirc_next
20 br bool false, label %then.1, label %endif.1
22 then.1: ; preds = %shortcirc_done
23 br bool false, label %cond_true, label %cond_false
25 cond_true: ; preds = %then.1
26 br label %cond_continue
28 cond_false: ; preds = %then.1
29 br label %cond_continue
31 cond_continue: ; preds = %cond_true, %cond_false
34 after_ret.0: ; No predecessors!
37 endif.1: ; preds = %shortcirc_done, %after_ret.0
40 endif.0: ; preds = %no_exit.0, %endif.1
43 loopexit.0: ; preds = %loopentry.0
44 br bool false, label %then.2, label %endif.2
46 then.2: ; preds = %loopexit.0
47 br bool false, label %then.3, label %endif.3
49 then.3: ; preds = %then.2
52 after_ret.1: ; No predecessors!
55 endif.3: ; preds = %then.2, %after_ret.1
58 endif.2: ; preds = %loopexit.0, %endif.3
61 loopentry.1: ; preds = %endif.2, %no_exit.1
62 br bool false, label %no_exit.1, label %loopexit.1
64 no_exit.1: ; preds = %loopentry.1
67 loopexit.1: ; preds = %loopentry.1
70 after_ret.2: ; No predecessors!
73 return: ; preds = %cond_continue, %then.3, %loopexit.1, %after_ret.2