1 ; This (complex) testcase causes an assertion failure because a preheader is
2 ; inserted for the "fail" loop, but the exit block of a loop is not updated
3 ; to be the preheader instead of the exit loop itself.
5 ; RUN: as < %s | opt -preheaders
10 loopentry.1: ; preds = %then.6, %endif.7, %loopexit.20, %endif.83
11 br label %shortcirc_done.36
13 shortcirc_done.36: ; preds = %label.13, %shortcirc_next.36
14 br bool false, label %fail, label %endif.40
16 endif.40: ; preds = %shortcirc_done.36
19 loopentry.20: ; preds = %shortcirc_done.40, %endif.46
22 loopexit.20: ; preds = %loopentry.20
23 br label %loopentry.21
25 loopentry.21: ; preds = %loopexit.20, %no_exit.19
26 br bool false, label %no_exit.19, label %loopexit.21
28 no_exit.19: ; preds = %loopentry.21
29 br bool false, label %fail, label %loopentry.21
31 loopexit.21: ; preds = %loopentry.21
34 endif.45: ; preds = %loopexit.21
35 br label %cond_true.15
37 cond_true.15: ; preds = %endif.45
38 br bool false, label %fail, label %endif.46
40 endif.46: ; preds = %cond_true.15
41 br label %loopentry.20
43 fail: ; preds = %shortcirc_done.36, %loopexit.37, %cond_true.15, %no_exit.19
46 then.80: ; preds = %fail
49 endif.81: ; preds = %then.80
52 loopexit.37: ; preds = %endif.81
53 br bool false, label %fail, label %endif.82
55 endif.82: ; preds = %loopexit.37