diff options
Diffstat (limited to 'llvm/test/Transforms/CodeExtractor/2004-03-13-LoopExtractorCrash.ll')
| -rw-r--r-- | llvm/test/Transforms/CodeExtractor/2004-03-13-LoopExtractorCrash.ll | 75 |
1 files changed, 75 insertions, 0 deletions
diff --git a/llvm/test/Transforms/CodeExtractor/2004-03-13-LoopExtractorCrash.ll b/llvm/test/Transforms/CodeExtractor/2004-03-13-LoopExtractorCrash.ll new file mode 100644 index 00000000000..3d0339bc2db --- /dev/null +++ b/llvm/test/Transforms/CodeExtractor/2004-03-13-LoopExtractorCrash.ll @@ -0,0 +1,75 @@ +; RUN: opt < %s -loop-extract -disable-output + +define void @solve() { +entry: + br label %loopentry.0 + +loopentry.0: ; preds = %endif.0, %entry + br i1 false, label %no_exit.0, label %loopexit.0 + +no_exit.0: ; preds = %loopentry.0 + br i1 false, label %then.0, label %endif.0 + +then.0: ; preds = %no_exit.0 + br i1 false, label %shortcirc_done, label %shortcirc_next + +shortcirc_next: ; preds = %then.0 + br label %shortcirc_done + +shortcirc_done: ; preds = %shortcirc_next, %then.0 + br i1 false, label %then.1, label %endif.1 + +then.1: ; preds = %shortcirc_done + br i1 false, label %cond_true, label %cond_false + +cond_true: ; preds = %then.1 + br label %cond_continue + +cond_false: ; preds = %then.1 + br label %cond_continue + +cond_continue: ; preds = %cond_false, %cond_true + br label %return + +after_ret.0: ; No predecessors! + br label %endif.1 + +endif.1: ; preds = %after_ret.0, %shortcirc_done + br label %endif.0 + +endif.0: ; preds = %endif.1, %no_exit.0 + br label %loopentry.0 + +loopexit.0: ; preds = %loopentry.0 + br i1 false, label %then.2, label %endif.2 + +then.2: ; preds = %loopexit.0 + br i1 false, label %then.3, label %endif.3 + +then.3: ; preds = %then.2 + br label %return + +after_ret.1: ; No predecessors! + br label %endif.3 + +endif.3: ; preds = %after_ret.1, %then.2 + br label %endif.2 + +endif.2: ; preds = %endif.3, %loopexit.0 + br label %loopentry.1 + +loopentry.1: ; preds = %no_exit.1, %endif.2 + br i1 false, label %no_exit.1, label %loopexit.1 + +no_exit.1: ; preds = %loopentry.1 + br label %loopentry.1 + +loopexit.1: ; preds = %loopentry.1 + br label %return + +after_ret.2: ; No predecessors! + br label %return + +return: ; preds = %after_ret.2, %loopexit.1, %then.3, %cond_continue + ret void +} |
