43 lines · plain
1; This (complex) testcase causes an assertion failure because a preheader is2; inserted for the "fail" loop, but the exit block of a loop is not updated3; to be the preheader instead of the exit loop itself.4 5; RUN: opt < %s -passes=loop-simplify6define i32 @re_match_2() {7 br label %loopentry.18loopentry.1: ; preds = %endif.82, %09 br label %shortcirc_done.3610shortcirc_done.36: ; preds = %loopentry.111 br i1 false, label %fail, label %endif.4012endif.40: ; preds = %shortcirc_done.3613 br label %loopexit.2014loopentry.20: ; preds = %endif.4615 br label %loopexit.2016loopexit.20: ; preds = %loopentry.20, %endif.4017 br label %loopentry.2118loopentry.21: ; preds = %no_exit.19, %loopexit.2019 br i1 false, label %no_exit.19, label %loopexit.2120no_exit.19: ; preds = %loopentry.2121 br i1 false, label %fail, label %loopentry.2122loopexit.21: ; preds = %loopentry.2123 br label %endif.4524endif.45: ; preds = %loopexit.2125 br label %cond_true.1526cond_true.15: ; preds = %endif.4527 br i1 false, label %fail, label %endif.4628endif.46: ; preds = %cond_true.1529 br label %loopentry.2030fail: ; preds = %loopexit.37, %cond_true.15, %no_exit.19, %shortcirc_done.3631 br label %then.8032then.80: ; preds = %fail33 br label %endif.8134endif.81: ; preds = %then.8035 br label %loopexit.3736loopexit.37: ; preds = %endif.8137 br i1 false, label %fail, label %endif.8238endif.82: ; preds = %loopexit.3739 br label %loopentry.140}41 42 43