diff options
| -rw-r--r-- | test/Transforms/LoopPreheaders/2003-05-12-PreheaderExitOfChild.ll | 57 | ||||
| -rw-r--r-- | test/Transforms/LoopSimplify/2003-05-12-PreheaderExitOfChild.ll | 57 |
2 files changed, 114 insertions, 0 deletions
diff --git a/test/Transforms/LoopPreheaders/2003-05-12-PreheaderExitOfChild.ll b/test/Transforms/LoopPreheaders/2003-05-12-PreheaderExitOfChild.ll new file mode 100644 index 0000000000..7f709df1a0 --- /dev/null +++ b/test/Transforms/LoopPreheaders/2003-05-12-PreheaderExitOfChild.ll @@ -0,0 +1,57 @@ +; This (complex) testcase causes an assertion failure because a preheader is +; inserted for the "fail" loop, but the exit block of a loop is not updated +; to be the preheader instead of the exit loop itself. + +; RUN: as < %s | opt -preheaders + +int %re_match_2() { + br label %loopentry.1 + +loopentry.1: ; preds = %then.6, %endif.7, %loopexit.20, %endif.83 + br label %shortcirc_done.36 + +shortcirc_done.36: ; preds = %label.13, %shortcirc_next.36 + br bool false, label %fail, label %endif.40 + +endif.40: ; preds = %shortcirc_done.36 + br label %loopexit.20 + +loopentry.20: ; preds = %shortcirc_done.40, %endif.46 + br label %loopexit.20 + +loopexit.20: ; preds = %loopentry.20 + br label %loopentry.21 + +loopentry.21: ; preds = %loopexit.20, %no_exit.19 + br bool false, label %no_exit.19, label %loopexit.21 + +no_exit.19: ; preds = %loopentry.21 + br bool false, label %fail, label %loopentry.21 + +loopexit.21: ; preds = %loopentry.21 + br label %endif.45 + +endif.45: ; preds = %loopexit.21 + br label %cond_true.15 + +cond_true.15: ; preds = %endif.45 + br bool false, label %fail, label %endif.46 + +endif.46: ; preds = %cond_true.15 + br label %loopentry.20 + +fail: ; preds = %shortcirc_done.36, %loopexit.37, %cond_true.15, %no_exit.19 + br label %then.80 + +then.80: ; preds = %fail + br label %endif.81 + +endif.81: ; preds = %then.80 + br label %loopexit.37 + +loopexit.37: ; preds = %endif.81 + br bool false, label %fail, label %endif.82 + +endif.82: ; preds = %loopexit.37 + br label %loopentry.1 +} diff --git a/test/Transforms/LoopSimplify/2003-05-12-PreheaderExitOfChild.ll b/test/Transforms/LoopSimplify/2003-05-12-PreheaderExitOfChild.ll new file mode 100644 index 0000000000..7f709df1a0 --- /dev/null +++ b/test/Transforms/LoopSimplify/2003-05-12-PreheaderExitOfChild.ll @@ -0,0 +1,57 @@ +; This (complex) testcase causes an assertion failure because a preheader is +; inserted for the "fail" loop, but the exit block of a loop is not updated +; to be the preheader instead of the exit loop itself. + +; RUN: as < %s | opt -preheaders + +int %re_match_2() { + br label %loopentry.1 + +loopentry.1: ; preds = %then.6, %endif.7, %loopexit.20, %endif.83 + br label %shortcirc_done.36 + +shortcirc_done.36: ; preds = %label.13, %shortcirc_next.36 + br bool false, label %fail, label %endif.40 + +endif.40: ; preds = %shortcirc_done.36 + br label %loopexit.20 + +loopentry.20: ; preds = %shortcirc_done.40, %endif.46 + br label %loopexit.20 + +loopexit.20: ; preds = %loopentry.20 + br label %loopentry.21 + +loopentry.21: ; preds = %loopexit.20, %no_exit.19 + br bool false, label %no_exit.19, label %loopexit.21 + +no_exit.19: ; preds = %loopentry.21 + br bool false, label %fail, label %loopentry.21 + +loopexit.21: ; preds = %loopentry.21 + br label %endif.45 + +endif.45: ; preds = %loopexit.21 + br label %cond_true.15 + +cond_true.15: ; preds = %endif.45 + br bool false, label %fail, label %endif.46 + +endif.46: ; preds = %cond_true.15 + br label %loopentry.20 + +fail: ; preds = %shortcirc_done.36, %loopexit.37, %cond_true.15, %no_exit.19 + br label %then.80 + +then.80: ; preds = %fail + br label %endif.81 + +endif.81: ; preds = %then.80 + br label %loopexit.37 + +loopexit.37: ; preds = %endif.81 + br bool false, label %fail, label %endif.82 + +endif.82: ; preds = %loopexit.37 + br label %loopentry.1 +} |