[InstCombine] Signed saturation tests. NFC
[llvm-complete.git] / test / Transforms / LoopUnroll / pr33437.ll
blob210875b6ca423c4c9b4626081dc02e8e37e69811
1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2 ; RUN: opt -S -loop-unroll -unroll-peel-count=1 < %s | FileCheck %s
4 declare zeroext i8 @patatino()
6 define fastcc void @tinky() {
7 ; CHECK-LABEL: @tinky(
8 ; CHECK-NEXT:  entry:
9 ; CHECK-NEXT:    br label [[NEXT:%.*]]
10 ; CHECK:       loopexit:
11 ; CHECK-NEXT:    ret void
12 ; CHECK:       next:
13 ; CHECK-NEXT:    br label [[LOOP_PEEL_BEGIN:%.*]]
14 ; CHECK:       loop.peel.begin:
15 ; CHECK-NEXT:    br label [[LOOP_PEEL:%.*]]
16 ; CHECK:       loop.peel:
17 ; CHECK-NEXT:    [[CALL593_PEEL:%.*]] = tail call zeroext i8 @patatino()
18 ; CHECK-NEXT:    br i1 false, label [[LOOP_PEEL_NEXT:%.*]], label [[LOOPEXIT:%.*]]
19 ; CHECK:       loop.peel.next:
20 ; CHECK-NEXT:    br label [[LOOP_PEEL_NEXT1:%.*]]
21 ; CHECK:       loop.peel.next1:
22 ; CHECK-NEXT:    br label [[NEXT_PEEL_NEWPH:%.*]]
23 ; CHECK:       next.peel.newph:
24 ; CHECK-NEXT:    br label [[LOOP:%.*]]
25 ; CHECK:       loop:
26 ; CHECK-NEXT:    [[CALL593:%.*]] = tail call zeroext i8 @patatino()
27 ; CHECK-NEXT:    br label [[LOOPEXIT]]
29 entry:
30   br label %next
32 loopexit:
33   ret void
35 next:
36   br label %loop
38 loop:
39   %a = phi i8 [ undef, %next ], [ %call593, %loop ]
40   %b = phi i32 [ 0, %next ], [ 1, %loop ]
41   %call593 = tail call zeroext i8 @patatino()
42   br i1 false, label %loop, label %loopexit