47 lines · plain
1; REQUIRES: asserts2; RUN: opt < %s -S -debug-only=loop-unroll -passes=loop-unroll -unroll-runtime 2>&1 | FileCheck %s3; RUN: opt < %s -S -debug-only=loop-unroll -passes='require<profile-summary>,function(require<opt-remark-emit>,loop-unroll)' 2>&1 | FileCheck %s4 5; Regression test for setting the correct idom for exit blocks.6 7; CHECK: Loop Unroll: F[basic]8; CHECK: PEELING loop %for.body with iteration count 2!9 10define i32 @basic(ptr %p, i32 %k, i1 %c1, i1 %c2) #0 !prof !3 {11entry:12 br label %for.body13 14for.body:15 %i.05 = phi i32 [ 0, %entry ], [ %inc, %latch ]16 %p.addr.04 = phi ptr [ %p, %entry ], [ %incdec.ptr, %latch ]17 %incdec.ptr = getelementptr inbounds i32, ptr %p.addr.04, i32 118 store i32 %i.05, ptr %p.addr.04, align 419 %inc = add nsw i32 %i.05, 120 %cmp = icmp slt i32 %inc, %k21 br i1 %c1, label %left, label %right22 23left:24 br label %latch25 26right:27 br i1 %c1, label %latch, label %side_exit, !prof !228 29latch:30 br i1 %cmp, label %for.body, label %for.end, !prof !131 32for.end:33 ret i32 %inc34 35side_exit:36 %rval = call i32(...) @llvm.experimental.deoptimize.i32() [ "deopt"(i32 %inc) ]37 ret i32 %rval38}39 40declare i32 @llvm.experimental.deoptimize.i32(...)41 42attributes #0 = { nounwind }43 44!1 = !{!"branch_weights", i32 1, i32 1}45!2 = !{!"branch_weights", i32 1, i32 0}46!3 = !{!"function_entry_count", i64 1}47