63 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=newgvn -S | FileCheck %s3 4define void @sort(i64 %.16, i1 %arg) {5; CHECK-LABEL: @sort(6; CHECK-NEXT: Entry:7; CHECK-NEXT: [[TMP0:%.*]] = extractvalue { i64, i1 } undef, 08; CHECK-NEXT: [[TMP1:%.*]] = lshr i64 [[TMP0]], 29; CHECK-NEXT: br i1 %arg, label [[DIVZEROFAIL2_I:%.*]], label [[WHILEBODY_LR_PH:%.*]]10; CHECK: DivZeroFail2.i:11; CHECK-NEXT: unreachable12; CHECK: WhileBody.lr.ph:13; CHECK-NEXT: [[TMP2:%.*]] = udiv i64 [[DOT16:%.*]], [[TMP1]]14; CHECK-NEXT: br label [[WHILEBODY:%.*]]15; CHECK: WhileBody:16; CHECK-NEXT: [[ITERATOR:%.*]] = phi i64 [ 0, [[WHILEBODY_LR_PH]] ], [ [[TMP6:%.*]], [[BOUNDSCHECKOK276:%.*]] ]17; CHECK-NEXT: [[TMP3:%.*]] = tail call { i64, i1 } @llvm.uadd.with.overflow.i64(i64 [[ITERATOR]], i64 [[TMP2]])18; CHECK-NEXT: [[TMP4:%.*]] = extractvalue { i64, i1 } [[TMP3]], 019; CHECK-NEXT: [[TMP5:%.*]] = tail call { i64, i1 } @llvm.uadd.with.overflow.i64(i64 [[TMP4]], i64 1)20; CHECK-NEXT: [[TMP6]] = extractvalue { i64, i1 } [[TMP5]], 021; CHECK-NEXT: br i1 false, label [[BOUNDSCHECKFAIL275:%.*]], label [[BOUNDSCHECKOK276]]22; CHECK: WhileEnd:23; CHECK-NEXT: ret void24; CHECK: BoundsCheckFail275:25; CHECK-NEXT: unreachable26; CHECK: BoundsCheckOk276:27; CHECK-NEXT: [[TMP7:%.*]] = icmp ult i64 [[TMP6]], [[DOT16]]28; CHECK-NEXT: br i1 [[TMP7]], label [[WHILEBODY]], label [[WHILEEND:%.*]]29;30Entry:31 %0 = extractvalue { i64, i1 } undef, 032 %1 = lshr i64 %0, 233 br i1 %arg, label %DivZeroFail2.i, label %WhileBody.lr.ph34 35DivZeroFail2.i: ; preds = %Entry36 unreachable37 38WhileBody.lr.ph: ; preds = %Entry39 %2 = udiv i64 %.16, %140 br label %WhileBody41 42WhileBody: ; preds = %BoundsCheckOk276, %WhileBody.lr.ph43 %iterator = phi i64 [ 0, %WhileBody.lr.ph ], [ %6, %BoundsCheckOk276 ]44 %3 = tail call { i64, i1 } @llvm.uadd.with.overflow.i64(i64 %iterator, i64 %2)45 %4 = extractvalue { i64, i1 } %3, 046 %5 = tail call { i64, i1 } @llvm.uadd.with.overflow.i64(i64 %4, i64 1)47 %6 = extractvalue { i64, i1 } %5, 048 %7 = icmp ugt i64 %iterator, %.1649 br i1 %7, label %BoundsCheckFail275, label %BoundsCheckOk27650 51WhileEnd: ; preds = %BoundsCheckOk27652 ret void53 54BoundsCheckFail275: ; preds = %WhileBody55 unreachable56 57BoundsCheckOk276: ; preds = %WhileBody58 %8 = icmp ult i64 %6, %.1659 br i1 %8, label %WhileBody, label %WhileEnd60}61 62declare { i64, i1 } @llvm.uadd.with.overflow.i64(i64, i64)63