2 ; Bail out if the two successors are not the header
3 ; and another bb outside of the loop. This case is not
4 ; properly handled by LoopUnroll, currently.
6 ; RUN: opt -loop-unroll -verify-dom-info %s
9 define void @tinkywinky(i1 %patatino) {
13 %indvars.iv = phi i64 [ 1, %body2 ], [ 0, %entry ]
14 %exitcond = icmp ne i64 %indvars.iv, 1
15 br i1 %exitcond, label %body1, label %exit
17 br i1 %patatino, label %body2, label %sink
19 br i1 %patatino, label %header1, label %body3