[InstCombine] Signed saturation tests. NFC
[llvm-complete.git] / test / Transforms / LoopUnroll / 2005-03-06-BadLoopInfoUpdate.ll
blob374f46d10cb30d72e7613d8059d0761c2855bcb4
1 ; RUN: opt < %s -loop-unroll -loop-simplify -disable-output
3 define void @print_board() {
4 entry:
5         br label %no_exit.1
6 no_exit.1:              ; preds = %cond_false.2, %entry
7         br label %no_exit.2
8 no_exit.2:              ; preds = %no_exit.2, %no_exit.1
9         %indvar1 = phi i32 [ 0, %no_exit.1 ], [ %indvar.next2, %no_exit.2 ]             ; <i32> [#uses=1]
10         %indvar.next2 = add i32 %indvar1, 1             ; <i32> [#uses=2]
11         %exitcond3 = icmp ne i32 %indvar.next2, 7               ; <i1> [#uses=1]
12         br i1 %exitcond3, label %no_exit.2, label %loopexit.2
13 loopexit.2:             ; preds = %no_exit.2
14         br i1 false, label %cond_true.2, label %cond_false.2
15 cond_true.2:            ; preds = %loopexit.2
16         ret void
17 cond_false.2:           ; preds = %loopexit.2
18         br i1 false, label %no_exit.1, label %loopexit.1
19 loopexit.1:             ; preds = %cond_false.2
20         ret void