| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475 |
- ; 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
- }
|
