55 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 42; RUN: opt -passes=loop-unroll-full -S %s | FileCheck %s3 4; Validate that loop unroll full doesn't try to fully unroll values whose trip counts are too large.5 6define void @foo(i64 %end) {7; CHECK-LABEL: define void @foo(8; CHECK-SAME: i64 [[END:%.*]]) {9; CHECK-NEXT: entry:10; CHECK-NEXT: br label [[LOOPHEADER:%.*]]11; CHECK: loopheader:12; CHECK-NEXT: [[IV:%.*]] = phi i64 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEW:%.*]], [[BACKEDGE:%.*]] ]13; CHECK-NEXT: [[EXIT:%.*]] = icmp eq i64 [[IV]], [[END]]14; CHECK-NEXT: br i1 [[EXIT]], label [[FOR_COND_CLEANUP_LOOPEXIT:%.*]], label [[CONT23:%.*]]15; CHECK: for.cond.cleanup.loopexit:16; CHECK-NEXT: ret void17; CHECK: cont23:18; CHECK-NEXT: [[EXITCOND241:%.*]] = icmp eq i64 [[IV]], 214748364719; CHECK-NEXT: br i1 [[EXITCOND241]], label [[HANDLER_ADD_OVERFLOW:%.*]], label [[BACKEDGE]]20; CHECK: handler.add_overflow:21; CHECK-NEXT: unreachable22; CHECK: backedge:23; CHECK-NEXT: [[IV_NEW]] = add i64 [[IV]], 124; CHECK-NEXT: br label [[LOOPHEADER]], !llvm.loop [[LOOP0:![0-9]+]]25;26entry:27 br label %loopheader28 29loopheader:30 %iv = phi i64 [ 0, %entry ], [ %iv_new, %backedge ]31 %exit = icmp eq i64 %iv, %end32 br i1 %exit, label %for.cond.cleanup.loopexit, label %cont2333 34for.cond.cleanup.loopexit:35 ret void36 37cont23:38 %exitcond241 = icmp eq i64 %iv, 214748364739 br i1 %exitcond241, label %handler.add_overflow, label %backedge40 41handler.add_overflow:42 unreachable43 44backedge: ; preds = %cont2345 %iv_new = add i64 %iv, 146 br label %loopheader, !llvm.loop !047}48 49!0 = distinct !{!0, !1}50!1 = !{!"llvm.loop.unroll.full"}51;.52; CHECK: [[LOOP0]] = distinct !{[[LOOP0]], [[META1:![0-9]+]]}53; CHECK: [[META1]] = !{!"llvm.loop.unroll.full"}54;.55