75 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 42; RUN: opt -disable-output "-passes=print<scalar-evolution>" -scalar-evolution-classify-expressions=0 < %s 2>&1 | FileCheck %s3 4define i32 @slt_trip_count_with_range_attr(i32 range(i32 1, 100) %limit) {5;6; CHECK-LABEL: 'slt_trip_count_with_range_attr'7; CHECK-NEXT: Determining loop execution counts for: @slt_trip_count_with_range_attr8; CHECK-NEXT: Loop %loop: backedge-taken count is (-1 + %limit)<nsw>9; CHECK-NEXT: Loop %loop: constant max backedge-taken count is i32 9810; CHECK-NEXT: Loop %loop: symbolic max backedge-taken count is (-1 + %limit)<nsw>11; CHECK-NEXT: Loop %loop: Trip multiple is 112;13 entry:14 br label %loop15 16 loop:17 %index = phi i32 [ 0, %entry ], [ %index.inc, %loop ]18 %index.inc = add i32 %index, 119 %continue = icmp slt i32 %index.inc, %limit20 br i1 %continue, label %loop, label %loop.exit21 22 loop.exit:23 ret i32 024}25 26declare i32 @get_i32()27 28define i32 @slt_trip_count_with_range_call() {29;30; CHECK-LABEL: 'slt_trip_count_with_range_call'31; CHECK-NEXT: Determining loop execution counts for: @slt_trip_count_with_range_call32; CHECK-NEXT: Loop %loop: backedge-taken count is (-1 + %limit)<nsw>33; CHECK-NEXT: Loop %loop: constant max backedge-taken count is i32 9834; CHECK-NEXT: Loop %loop: symbolic max backedge-taken count is (-1 + %limit)<nsw>35; CHECK-NEXT: Loop %loop: Trip multiple is 136;37 entry:38 %limit = call range(i32 1, 100) i32 @get_i32()39 br label %loop40 41 loop:42 %index = phi i32 [ 0, %entry ], [ %index.inc, %loop ]43 %index.inc = add i32 %index, 144 %continue = icmp slt i32 %index.inc, %limit45 br i1 %continue, label %loop, label %loop.exit46 47 loop.exit:48 ret i32 049}50 51declare range(i32 1, 100) i32 @get_i32_in_range()52 53define i32 @slt_trip_count_with_range_result() {54;55; CHECK-LABEL: 'slt_trip_count_with_range_result'56; CHECK-NEXT: Determining loop execution counts for: @slt_trip_count_with_range_result57; CHECK-NEXT: Loop %loop: backedge-taken count is (-1 + %limit)<nsw>58; CHECK-NEXT: Loop %loop: constant max backedge-taken count is i32 9859; CHECK-NEXT: Loop %loop: symbolic max backedge-taken count is (-1 + %limit)<nsw>60; CHECK-NEXT: Loop %loop: Trip multiple is 161;62 entry:63 %limit = call i32 @get_i32_in_range()64 br label %loop65 66 loop:67 %index = phi i32 [ 0, %entry ], [ %index.inc, %loop ]68 %index.inc = add i32 %index, 169 %continue = icmp slt i32 %index.inc, %limit70 br i1 %continue, label %loop, label %loop.exit71 72 loop.exit:73 ret i32 074}75