48 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 @pr34538() local_unnamed_addr #0 {5; CHECK-LABEL: 'pr34538'6; CHECK-NEXT: Determining loop execution counts for: @pr345387; CHECK-NEXT: Loop %do.body: backedge-taken count is i32 100008; CHECK-NEXT: Loop %do.body: constant max backedge-taken count is i32 100009; CHECK-NEXT: Loop %do.body: symbolic max backedge-taken count is i32 1000010; CHECK-NEXT: Loop %do.body: Trip multiple is 1000111;12entry:13 br label %do.body14 15do.body: ; preds = %do.body, %entry16 %start.0 = phi i32 [ 0, %entry ], [ %inc.start.0, %do.body ]17 %cmp = icmp slt i32 %start.0, 1000018 %inc = zext i1 %cmp to i3219 %inc.start.0 = add nsw i32 %start.0, %inc20 br i1 %cmp, label %do.body, label %do.end21 22do.end: ; preds = %do.body23 ret i32 024}25 26 27define i32 @foo() {28; CHECK-LABEL: 'foo'29; CHECK-NEXT: Determining loop execution counts for: @foo30; CHECK-NEXT: Loop %do.body: backedge-taken count is i32 500031; CHECK-NEXT: Loop %do.body: constant max backedge-taken count is i32 500032; CHECK-NEXT: Loop %do.body: symbolic max backedge-taken count is i32 500033; CHECK-NEXT: Loop %do.body: Trip multiple is 500134;35entry:36 br label %do.body37 38do.body: ; preds = %do.body, %entry39 %start.0 = phi i32 [ 0, %entry ], [ %inc.start.0, %do.body ]40 %cmp = icmp slt i32 %start.0, 1000041 %select_ext = select i1 %cmp, i32 2 , i32 142 %inc.start.0 = add nsw i32 %start.0, %select_ext43 br i1 %cmp, label %do.body, label %do.end44 45do.end: ; preds = %do.body46 ret i32 047}48