27 lines · plain
1; PR281032; Bail out if the two successors are not the header3; and another bb outside of the loop. This case is not4; properly handled by LoopUnroll, currently.5 6; RUN: opt -passes=loop-unroll -verify-dom-info %s7; REQUIRES: asserts8 9define void @tinkywinky(i1 %patatino) {10entry:11 br label %header112header1:13 %indvars.iv = phi i64 [ 1, %body2 ], [ 0, %entry ]14 %exitcond = icmp ne i64 %indvars.iv, 115 br i1 %exitcond, label %body1, label %exit16body1:17 br i1 %patatino, label %body2, label %sink18body2:19 br i1 %patatino, label %header1, label %body320body3:21 br label %sink22sink:23 br label %body224exit:25 ret void26}27