1; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 4 2; RUN: opt < %s -disable-output "-passes=print<scalar-evolution>" -scalar-evolution-classify-expressions=0 2>&1 | FileCheck %s 3 4 5define zeroext i16 @test(ptr nocapture %p, i32 %len) nounwind readonly { 6; 7; CHECK-LABEL: 'test' 8; CHECK-NEXT: Determining loop execution counts for: @test 9; CHECK-NEXT: Loop %for.body: backedge-taken count is ((-2 + %len) /u 2) 10; CHECK-NEXT: Loop %for.body: constant max backedge-taken count is i32 1073741823 11; CHECK-NEXT: Loop %for.body: symbolic max backedge-taken count is ((-2 + %len) /u 2) 12; CHECK-NEXT: Loop %for.body: Trip multiple is 1 13; 14entry: 15 %cmp2 = icmp sgt i32 %len, 1 16 br i1 %cmp2, label %for.body.preheader, label %for.end 17 18for.body.preheader: ; preds = %entry 19 br label %for.body 20 21for.body: ; preds = %for.body, %for.body.preheader 22 %p.addr.05 = phi ptr [ %incdec.ptr, %for.body ], [ %p, %for.body.preheader ] 23 %len.addr.04 = phi i32 [ %sub, %for.body ], [ %len, %for.body.preheader ] 24 %res.03 = phi i32 [ %add, %for.body ], [ 0, %for.body.preheader ] 25 %incdec.ptr = getelementptr inbounds i16, ptr %p.addr.05, i32 1 26 %0 = load i16, ptr %p.addr.05, align 2 27 %conv = zext i16 %0 to i32 28 %add = add i32 %conv, %res.03 29 %sub = add nsw i32 %len.addr.04, -2 30 %cmp = icmp sgt i32 %sub, 1 31 br i1 %cmp, label %for.body, label %for.cond.for.end_crit_edge 32 33for.cond.for.end_crit_edge: ; preds = %for.body 34 %extract.t = trunc i32 %add to i16 35 br label %for.end 36 37for.end: ; preds = %for.cond.for.end_crit_edge, %entry 38 %res.0.lcssa.off0 = phi i16 [ %extract.t, %for.cond.for.end_crit_edge ], [ 0, %entry ] 39 ret i16 %res.0.lcssa.off0 40} 41 42