93 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 @ptrtoint_based_trip_count_known_via_guards_applied_to_add_subexpr(ptr %start, ptr %end) {5; CHECK-LABEL: 'ptrtoint_based_trip_count_known_via_guards_applied_to_add_subexpr'6; CHECK-NEXT: Determining loop execution counts for: @ptrtoint_based_trip_count_known_via_guards_applied_to_add_subexpr7; CHECK-NEXT: Loop %loop: backedge-taken count is i64 08; CHECK-NEXT: Loop %loop: constant max backedge-taken count is i64 09; CHECK-NEXT: Loop %loop: symbolic max backedge-taken count is i64 010; CHECK-NEXT: Loop %loop: Trip multiple is 111;12entry:13 %end.i = ptrtoint ptr %end to i6414 %start.i = ptrtoint ptr %start to i6415 %sub = sub i64 %end.i, %start.i16 %pre.1 = icmp eq i64 %sub, 417 call void @llvm.assume(i1 %pre.1)18 br label %loop19 20loop:21 %iv = phi ptr [ %start, %entry ], [ %iv.next, %loop ]22 store i32 0, ptr %iv23 %iv.next = getelementptr inbounds nuw i8, ptr %iv, i64 424 %ec = icmp eq ptr %iv.next, %end25 br i1 %ec, label %exit, label %loop26 27exit:28 ret void29}30 31declare void @clobber()32 33define void @test_add_sub_1_guard(ptr %src, i32 %n) {34; CHECK-LABEL: 'test_add_sub_1_guard'35; CHECK-NEXT: Determining loop execution counts for: @test_add_sub_1_guard36; CHECK-NEXT: Loop %loop: backedge-taken count is (zext i32 (-1 + (%n /u 2))<nsw> to i64)37; CHECK-NEXT: Loop %loop: constant max backedge-taken count is i64 429496729538; CHECK-NEXT: Loop %loop: symbolic max backedge-taken count is (zext i32 (-1 + (%n /u 2))<nsw> to i64)39; CHECK-NEXT: Loop %loop: Trip multiple is 140;41entry:42 %shr = lshr i32 %n, 143 %sub.1 = add i32 %shr, -144 %sub.ext = zext i32 %sub.1 to i6445 %pre = icmp eq i32 %shr, 146 %end = getelementptr i8, ptr %src, i64 %sub.ext47 br i1 %pre, label %loop, label %exit48 49loop:50 %iv = phi ptr [ %src, %entry ], [ %iv.next, %loop ]51 call void @clobber()52 %iv.next = getelementptr i8, ptr %iv, i64 153 %ec = icmp eq ptr %iv, %end54 br i1 %ec, label %exit, label %loop55 56exit:57 ret void58}59 60declare void @use(ptr)61 62define i32 @test_3_op_add(i32 %x, i32 %y, ptr %A) {63; CHECK-LABEL: 'test_3_op_add'64; CHECK-NEXT: Determining loop execution counts for: @test_3_op_add65; CHECK-NEXT: Loop %loop: backedge-taken count is (-1 + (zext i32 (1 + (-1 * %x) + %y) to i64))<nsw>66; CHECK-NEXT: Loop %loop: constant max backedge-taken count is i64 214748364767; CHECK-NEXT: Loop %loop: symbolic max backedge-taken count is (-1 + (zext i32 (1 + (-1 * %x) + %y) to i64))<nsw>68; CHECK-NEXT: Loop %loop: Trip multiple is 169;70entry:71 %pre.0 = icmp ugt i32 %x, 072 br i1 %pre.0, label %then, label %exit73 74then:75 %y.sub.x = sub i32 %y, %x76 %pre.1 = icmp slt i32 %y.sub.x, 077 %add.1 = add i32 %y.sub.x, 178 %add.ext = zext i32 %add.1 to i6479 br i1 %pre.1, label %exit, label %loop80 81loop:82 %iv = phi i64 [ %iv.next, %loop ], [ 0, %then ]83 %and = and i64 %iv, 184 %gep = getelementptr i8, ptr %A, i64 %and85 call void @use(ptr %gep)86 %iv.next = add i64 %iv, 187 %ec = icmp eq i64 %iv.next, %add.ext88 br i1 %ec, label %exit, label %loop89 90exit:91 ret i32 092}93