77 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 42; RUN: opt < %s "-passes=print<scalar-evolution>" -scalar-evolution-classify-expressions=0 -disable-output 2>&1 | FileCheck %s3 4; One side exit dominating the latch, exact backedge taken count is known.5define void @test_01() {6; CHECK-LABEL: 'test_01'7; CHECK-NEXT: Determining loop execution counts for: @test_018; CHECK-NEXT: Loop %loop: <multiple exits> backedge-taken count is i32 509; CHECK-NEXT: exit count for loop: i32 5010; CHECK-NEXT: exit count for backedge: i32 10011; CHECK-NEXT: Loop %loop: constant max backedge-taken count is i32 5012; CHECK-NEXT: Loop %loop: symbolic max backedge-taken count is i32 5013; CHECK-NEXT: symbolic max exit count for loop: i32 5014; CHECK-NEXT: symbolic max exit count for backedge: i32 10015; CHECK-NEXT: Loop %loop: Trip multiple is 116;17entry:18 br label %loop19 20loop:21 %iv = phi i32 [ 0, %entry ], [ %iv.next, %backedge ]22 %side.cond = icmp slt i32 %iv, 5023 br i1 %side.cond, label %backedge, label %side.exit24 25backedge:26 %iv.next = add i32 %iv, 127 %loop.cond = icmp slt i32 %iv, 10028 br i1 %loop.cond, label %loop, label %exit29 30exit:31 ret void32 33side.exit:34 ret void35}36 37define void @test_02(i1 %c) {38; CHECK-LABEL: 'test_02'39; CHECK-NEXT: Determining loop execution counts for: @test_0240; CHECK-NEXT: Loop %loop: <multiple exits> backedge-taken count is i32 5041; CHECK-NEXT: exit count for merge: i32 5042; CHECK-NEXT: exit count for backedge: i32 10043; CHECK-NEXT: Loop %loop: constant max backedge-taken count is i32 5044; CHECK-NEXT: Loop %loop: symbolic max backedge-taken count is i32 5045; CHECK-NEXT: symbolic max exit count for merge: i32 5046; CHECK-NEXT: symbolic max exit count for backedge: i32 10047; CHECK-NEXT: Loop %loop: Trip multiple is 148;49entry:50 br label %loop51 52loop:53 %iv = phi i32 [ 0, %entry ], [ %iv.next, %backedge ]54 br i1 %c, label %if.true, label %if.false55 56if.true:57 br label %merge58 59if.false:60 br label %merge61 62merge:63 %side.cond = icmp slt i32 %iv, 5064 br i1 %side.cond, label %backedge, label %side.exit65 66backedge:67 %iv.next = add i32 %iv, 168 %loop.cond = icmp slt i32 %iv, 10069 br i1 %loop.cond, label %loop, label %exit70 71exit:72 ret void73 74side.exit:75 ret void76}77