57 lines · plain
1; RUN: opt -passes=loop-unroll -unroll-peel-count=2 -S -disable-output -debug-only=loop-unroll < %s 2>&1 | FileCheck %s2; REQUIRES: asserts3 4define void @test() {5; CHECK-LABEL: Loop Unroll: F[test] Loop %loop36; CHECK-NEXT: Loop Size = 77; CHECK-NEXT: PEELING loop %loop3 with iteration count 2!8; CHECK-NEXT: Loop Unroll: F[test] Loop %loop29; CHECK-NEXT: Loop Size = 2810; CHECK-NEXT: PEELING loop %loop2 with iteration count 2!11; CHECK-NEXT: Loop Unroll: F[test] Loop %loop412; CHECK-NEXT: Loop Size = 313; CHECK-NEXT: PEELING loop %loop4 with iteration count 2!14; CHECK-NEXT: Loop Unroll: F[test] Loop %loop115; CHECK-NEXT: Loop Size = 9516; CHECK-NEXT: PEELING loop %loop1 with iteration count 2!17entry:18 br label %loop119 20loop1:21 %phi = phi i32 [ 1, %entry ], [ 0, %loop1.latch ]22 br label %loop223 24loop2:25 %phi3 = phi i64 [ 0, %loop1 ], [ %sext, %loop2.latch ]26 br label %loop327 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 i3232 br i1 true, label %loop3.latch, label %exit33 34loop3.latch:35 %add = add i32 1, %phi36 %sext = sext i32 %add to i6437 %add10 = add i32 %phi6, 138 %icmp = icmp ugt i32 %add10, 239 br i1 %icmp, label %loop2.latch, label %loop340 41loop2.latch:42 br i1 false, label %loop4.preheader, label %loop243 44loop4.preheader:45 br label %loop446 47loop4:48 br i1 false, label %loop1.latch, label %loop449 50loop1.latch:51 br label %loop152 53exit:54 %phi8 = phi i32 [ %trunc, %loop3 ]55 ret void56}57