34 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=loop-unroll -unroll-threshold=300 -S < %s | FileCheck %s3 4; This test caused a compile-time explosion in ValueTracking5; because we cloned the assume value and call greatly and6; then spent far too long analyzing those.7 8define void @PR49171(i32 %arg) {9; CHECK-LABEL: @PR49171(10; CHECK-NEXT: entry:11; CHECK-NEXT: br label [[LOOP:%.*]]12; CHECK: loop:13; CHECK-NEXT: [[ASSUME:%.*]] = icmp eq i32 0, [[ARG:%.*]]14; CHECK-NEXT: call void @llvm.assume(i1 [[ASSUME]])15; CHECK-NEXT: ret void16;17entry:18 br label %loop19 20loop:21 %iv = phi i32 [ 0, %entry ], [ %iv.inc, %loop ]22 %iv2 = phi i32 [ 0, %entry ], [ %arg, %loop ]23 %assume = icmp eq i32 %iv2, %arg24 call void @llvm.assume(i1 %assume)25 %iv.inc = add nuw nsw i32 %iv, 126 %exitcond = icmp eq i32 %iv.inc, 50 ; Increase me!27 br i1 %exitcond, label %exit, label %loop28 29exit:30 ret void31}32 33declare void @llvm.assume(i1)34