| ; RUN: llvm-as < %s | opt -loop-extract -disable-output |
| |
| void %solve() { |
| entry: |
| br label %loopentry.0 |
| |
| loopentry.0: ; preds = %entry, %endif.0 |
| br bool false, label %no_exit.0, label %loopexit.0 |
| |
| no_exit.0: ; preds = %loopentry.0 |
| br bool false, label %then.0, label %endif.0 |
| |
| then.0: ; preds = %no_exit.0 |
| br bool false, label %shortcirc_done, label %shortcirc_next |
| |
| shortcirc_next: ; preds = %then.0 |
| br label %shortcirc_done |
| |
| shortcirc_done: ; preds = %then.0, %shortcirc_next |
| br bool false, label %then.1, label %endif.1 |
| |
| then.1: ; preds = %shortcirc_done |
| br bool 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_true, %cond_false |
| br label %return |
| |
| after_ret.0: ; No predecessors! |
| br label %endif.1 |
| |
| endif.1: ; preds = %shortcirc_done, %after_ret.0 |
| br label %endif.0 |
| |
| endif.0: ; preds = %no_exit.0, %endif.1 |
| br label %loopentry.0 |
| |
| loopexit.0: ; preds = %loopentry.0 |
| br bool false, label %then.2, label %endif.2 |
| |
| then.2: ; preds = %loopexit.0 |
| br bool 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 = %then.2, %after_ret.1 |
| br label %endif.2 |
| |
| endif.2: ; preds = %loopexit.0, %endif.3 |
| br label %loopentry.1 |
| |
| loopentry.1: ; preds = %endif.2, %no_exit.1 |
| br bool 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 = %cond_continue, %then.3, %loopexit.1, %after_ret.2 |
| ret void |
| } |
