77 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 42; RUN: opt < %s -disable-output "-passes=print<scalar-evolution>" -scalar-evolution-classify-expressions=0 2>&1 | FileCheck %s3 4; ScalarEvolution should be able to understand the loop and eliminate the casts.5 6target datalayout = "e-p:32:32:32-p1:16:16:16-p2:8:8:8-p4:64:64:64-n16:32:64"7 8define void @foo(ptr addrspace(1) nocapture %d, i32 %n) nounwind {9;10; CHECK-LABEL: 'foo'11; CHECK-NEXT: Determining loop execution counts for: @foo12; CHECK-NEXT: Loop %bb: backedge-taken count is (-1 + %n)13; CHECK-NEXT: Loop %bb: constant max backedge-taken count is i32 214748364614; CHECK-NEXT: Loop %bb: symbolic max backedge-taken count is (-1 + %n)15; CHECK-NEXT: Loop %bb: Trip multiple is 116;17entry:18 %0 = icmp sgt i32 %n, 0 ; <i1> [#uses=1]19 br i1 %0, label %bb.nph, label %return20 21bb.nph: ; preds = %entry22 br label %bb23 24bb: ; preds = %bb1, %bb.nph25 %i.02 = phi i32 [ %5, %bb1 ], [ 0, %bb.nph ] ; <i32> [#uses=2]26 %p.01 = phi i8 [ %4, %bb1 ], [ -1, %bb.nph ] ; <i8> [#uses=2]27 %1 = sext i8 %p.01 to i32 ; <i32> [#uses=1]28 %2 = sext i32 %i.02 to i64 ; <i64> [#uses=1]29 %3 = getelementptr i32, ptr addrspace(1) %d, i64 %2 ; <ptr> [#uses=1]30 store i32 %1, ptr addrspace(1) %3, align 431 %4 = add i8 %p.01, 1 ; <i8> [#uses=1]32 %5 = add i32 %i.02, 1 ; <i32> [#uses=2]33 br label %bb134 35bb1: ; preds = %bb36 %6 = icmp slt i32 %5, %n ; <i1> [#uses=1]37 br i1 %6, label %bb, label %bb1.return_crit_edge38 39bb1.return_crit_edge: ; preds = %bb140 br label %return41 42return: ; preds = %bb1.return_crit_edge, %entry43 ret void44}45 46define void @test(ptr addrspace(1) %a, i32 %n) nounwind {47;48; CHECK-LABEL: 'test'49; CHECK-NEXT: Determining loop execution counts for: @test50; CHECK-NEXT: Loop %for.body: backedge-taken count is (-1 + (zext i32 %n to i64))<nsw>51; CHECK-NEXT: Loop %for.body: constant max backedge-taken count is i64 214748364652; CHECK-NEXT: Loop %for.body: symbolic max backedge-taken count is (-1 + (zext i32 %n to i64))<nsw>53; CHECK-NEXT: Loop %for.body: Trip multiple is 154;55entry:56 %cmp1 = icmp sgt i32 %n, 057 br i1 %cmp1, label %for.body.lr.ph, label %for.end58 59for.body.lr.ph: ; preds = %entry60 %tmp = zext i32 %n to i6461 br label %for.body62 63for.body: ; preds = %for.body, %for.body.lr.ph64 %indvar = phi i64 [ %indvar.next, %for.body ], [ 0, %for.body.lr.ph ]65 %arrayidx = getelementptr i8, ptr addrspace(1) %a, i64 %indvar66 store i8 0, ptr addrspace(1) %arrayidx, align 167 %indvar.next = add i64 %indvar, 168 %exitcond = icmp ne i64 %indvar.next, %tmp69 br i1 %exitcond, label %for.body, label %for.cond.for.end_crit_edge70 71for.cond.for.end_crit_edge: ; preds = %for.body72 br label %for.end73 74for.end: ; preds = %for.cond.for.end_crit_edge, %entry75 ret void76}77