[InstCombine] Signed saturation tests. NFC
[llvm-complete.git] / test / Transforms / LoopUnroll / not-rotated.ll
blobb4b88e096079cf5ff8199eb5a0c4fa996e7a1a47
1 ; PR28103
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
7 ; REQUIRES: asserts
9 define void @tinkywinky(i1 %patatino) {
10 entry:
11   br label %header1
12 header1:
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
16 body1:
17   br i1 %patatino, label %body2, label %sink
18 body2:
19   br i1 %patatino, label %header1, label %body3
20 body3:
21   br label %sink
22 sink:
23   br label %body2
24 exit:
25   ret void