blob: 210875b6ca423c4c9b4626081dc02e8e37e69811 [file] [log] [blame]
Davide Italiano20cb7e82017-08-28 20:29:33 +00001; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
Davide Italiano16a426e2017-08-29 17:24:09 +00002; RUN: opt -S -loop-unroll -unroll-peel-count=1 < %s | FileCheck %s
Davide Italiano20cb7e82017-08-28 20:29:33 +00003
4declare zeroext i8 @patatino()
5
6define fastcc void @tinky() {
7; CHECK-LABEL: @tinky(
8; CHECK-NEXT: entry:
Davide Italiano16a426e2017-08-29 17:24:09 +00009; CHECK-NEXT: br label [[NEXT:%.*]]
10; CHECK: loopexit:
Davide Italiano20cb7e82017-08-28 20:29:33 +000011; CHECK-NEXT: ret void
Davide Italiano16a426e2017-08-29 17:24:09 +000012; 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]]
Davide Italiano20cb7e82017-08-28 20:29:33 +000028;
29entry:
Davide Italiano16a426e2017-08-29 17:24:09 +000030 br label %next
Davide Italiano20cb7e82017-08-28 20:29:33 +000031
Davide Italiano16a426e2017-08-29 17:24:09 +000032loopexit:
Davide Italiano20cb7e82017-08-28 20:29:33 +000033 ret void
34
Davide Italiano16a426e2017-08-29 17:24:09 +000035next:
36 br label %loop
Davide Italiano20cb7e82017-08-28 20:29:33 +000037
Davide Italiano16a426e2017-08-29 17:24:09 +000038loop:
39 %a = phi i8 [ undef, %next ], [ %call593, %loop ]
40 %b = phi i32 [ 0, %next ], [ 1, %loop ]
Davide Italiano20cb7e82017-08-28 20:29:33 +000041 %call593 = tail call zeroext i8 @patatino()
Davide Italiano16a426e2017-08-29 17:24:09 +000042 br i1 false, label %loop, label %loopexit
Davide Italiano20cb7e82017-08-28 20:29:33 +000043}