35 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 22; RUN: opt -passes='print<scalar-evolution>' -scalar-evolution-classify-expressions=0 -disable-output %s 2>&1 | FileCheck %s3 4define void @max_btc_improved_by_applying_guards_to_add_subexpr(i32 %low, i32 %high) {5; CHECK-LABEL: 'max_btc_improved_by_applying_guards_to_add_subexpr'6; CHECK-NEXT: Determining loop execution counts for: @max_btc_improved_by_applying_guards_to_add_subexpr7; CHECK-NEXT: Loop %loop: backedge-taken count is (-1 + (zext i32 (1 + (-1 * %low) + %high) to i64))<nsw>8; CHECK-NEXT: Loop %loop: constant max backedge-taken count is i64 79; CHECK-NEXT: Loop %loop: symbolic max backedge-taken count is (-1 + (zext i32 (1 + (-1 * %low) + %high) to i64))<nsw>10; CHECK-NEXT: Loop %loop: Trip multiple is 111;12entry:13 %sub = sub i32 %high, %low14 %pre.1 = icmp slt i32 %sub, 815 br i1 %pre.1, label %if.then, label %exit16 17if.then:18 %pre.2 = icmp slt i32 %sub, 019 br i1 %pre.2, label %exit, label %ph20 21ph:22 %add.1 = add i32 %sub, 123 %wide.trip.count = zext i32 %add.1 to i6424 br label %loop25 26loop:27 %iv = phi i64 [ 0, %ph ], [ %iv.next, %loop ]28 %iv.next = add i64 %iv, 129 %ec = icmp eq i64 %iv.next, %wide.trip.count30 br i1 %ec, label %exit, label %loop31 32exit:33 ret void34}35