1; RUN: opt -passes=loop-unroll -unroll-peel-count=2 -S -disable-output -debug-only=loop-unroll < %s 2>&1 | FileCheck %s 2; REQUIRES: asserts 3 4define void @test() { 5; CHECK-LABEL: Loop Unroll: F[test] Loop %loop3 6; CHECK-NEXT: Loop Size = 7 7; CHECK-NEXT: PEELING loop %loop3 with iteration count 2! 8; CHECK-NEXT: Loop Unroll: F[test] Loop %loop2 9; CHECK-NEXT: Loop Size = 28 10; CHECK-NEXT: PEELING loop %loop2 with iteration count 2! 11; CHECK-NEXT: Loop Unroll: F[test] Loop %loop4 12; CHECK-NEXT: Loop Size = 3 13; CHECK-NEXT: PEELING loop %loop4 with iteration count 2! 14; CHECK-NEXT: Loop Unroll: F[test] Loop %loop1 15; CHECK-NEXT: Loop Size = 95 16; CHECK-NEXT: PEELING loop %loop1 with iteration count 2! 17entry: 18 br label %loop1 19 20loop1: 21 %phi = phi i32 [ 1, %entry ], [ 0, %loop1.latch ] 22 br label %loop2 23 24loop2: 25 %phi3 = phi i64 [ 0, %loop1 ], [ %sext, %loop2.latch ] 26 br label %loop3 27 28loop3: 29 %phi5 = phi i64 [ %phi3, %loop2 ], [ %sext, %loop3.latch ] 30 %phi6 = phi i32 [ 1, %loop2 ], [ %add10, %loop3.latch ] 31 %trunc = trunc i64 %phi5 to i32 32 br i1 true, label %loop3.latch, label %exit 33 34loop3.latch: 35 %add = add i32 1, %phi 36 %sext = sext i32 %add to i64 37 %add10 = add i32 %phi6, 1 38 %icmp = icmp ugt i32 %add10, 2 39 br i1 %icmp, label %loop2.latch, label %loop3 40 41loop2.latch: 42 br i1 false, label %loop4.preheader, label %loop2 43 44loop4.preheader: 45 br label %loop4 46 47loop4: 48 br i1 false, label %loop1.latch, label %loop4 49 50loop1.latch: 51 br label %loop1 52 53exit: 54 %phi8 = phi i32 [ %trunc, %loop3 ] 55 ret void 56} 57