53 lines · plain
1; RUN: opt < %s -S -O2 -unroll-runtime=true -unroll-runtime-epilog=true | FileCheck %s -check-prefix=EPILOG2; RUN: opt < %s -S -O2 -unroll-runtime=true -unroll-runtime-epilog=false | FileCheck %s -check-prefix=PROLOG3 4; Check runtime unrolling prologue can be promoted by LICM pass.5 6; EPILOG: entry:7; EPILOG: %xtraiter8; EPILOG: %lcmp.mod9; EPILOG: loop1:10; EPILOG: br i1 %lcmp.mod11; EPILOG: loop2.epil:12 13; PROLOG: entry:14; PROLOG: %xtraiter15; PROLOG: %lcmp.mod16; PROLOG: loop1:17; PROLOG: br i1 %lcmp.mod18; PROLOG: loop2.prol:19 20define void @unroll(i32 %iter, ptr %addr1, ptr %addr2) nounwind {21entry:22 br label %loop123 24loop1:25 %iv1 = phi i32 [ 0, %entry ], [ %inc1, %loop1.latch ]26 %offset1 = getelementptr i32, ptr %addr1, i32 %iv127 store i32 %iv1, ptr %offset1, align 428 br label %loop2.header29 30loop2.header:31 %e = icmp uge i32 %iter, 132 br i1 %e, label %loop2, label %exit233 34loop2:35 %iv2 = phi i32 [ 0, %loop2.header ], [ %inc2, %loop2 ]36 %offset2 = getelementptr i32, ptr %addr2, i32 %iv237 store i32 %iv2, ptr %offset2, align 438 %inc2 = add i32 %iv2, 139 %exitcnd2 = icmp uge i32 %inc2, %iter40 br i1 %exitcnd2, label %exit2, label %loop241 42exit2:43 br label %loop1.latch44 45loop1.latch:46 %inc1 = add i32 %iv1, 147 %exitcnd1 = icmp uge i32 %inc1, 102448 br i1 %exitcnd1, label %exit, label %loop149 50exit:51 ret void52}53