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