test/Transforms/NewGVN/pr35074.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -newgvn -S | FileCheck %s
   3
   4 define void @sort(i64 %.16) {
   5 ; CHECK-LABEL: @sort(
   6 ; CHECK-NEXT:  Entry:
   7 ; CHECK-NEXT:    [[TMP0:%.*]] = extractvalue { i64, i1 } undef, 0
   8 ; CHECK-NEXT:    [[TMP1:%.*]] = lshr i64 [[TMP0]], 2
   9 ; CHECK-NEXT:    br i1 undef, label [[DIVZEROFAIL2_I:%.*]], label [[WHILEBODY_LR_PH:%.*]]
  10 ; CHECK:       DivZeroFail2.i:
  11 ; CHECK-NEXT:    unreachable
  12 ; 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]], 0
  19 ; CHECK-NEXT:    [[TMP5:%.*]] = tail call { i64, i1 } @llvm.uadd.with.overflow.i64(i64 [[TMP4]], i64 1)
  20 ; CHECK-NEXT:    [[TMP6]] = extractvalue { i64, i1 } [[TMP5]], 0
  21 ; CHECK-NEXT:    br i1 false, label [[BOUNDSCHECKFAIL275:%.*]], label [[BOUNDSCHECKOK276]]
  22 ; CHECK:       WhileEnd:
  23 ; CHECK-NEXT:    ret void
  24 ; CHECK:       BoundsCheckFail275:
  25 ; CHECK-NEXT:    unreachable
  26 ; CHECK:       BoundsCheckOk276:
  27 ; CHECK-NEXT:    [[TMP7:%.*]] = icmp ult i64 [[TMP6]], [[DOT16]]
  28 ; CHECK-NEXT:    br i1 [[TMP7]], label [[WHILEBODY]], label [[WHILEEND:%.*]]
  29 ;
  30 Entry:
  31   %0 = extractvalue { i64, i1 } undef, 0
  32   %1 = lshr i64 %0, 2
  33   br i1 undef, label %DivZeroFail2.i, label %WhileBody.lr.ph
  34
  35 DivZeroFail2.i:                                   ; preds = %Entry
  36   unreachable
  37
  38 WhileBody.lr.ph:                                  ; preds = %Entry
  39   %2 = udiv i64 %.16, %1
  40   br label %WhileBody
  41
  42 WhileBody:                                        ; preds = %BoundsCheckOk276, %WhileBody.lr.ph
  43   %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, 0
  46   %5 = tail call { i64, i1 } @llvm.uadd.with.overflow.i64(i64 %4, i64 1)
  47   %6 = extractvalue { i64, i1 } %5, 0
  48   %7 = icmp ugt i64 %iterator, %.16
  49   br i1 %7, label %BoundsCheckFail275, label %BoundsCheckOk276
  50
  51 WhileEnd:                                         ; preds = %BoundsCheckOk276
  52   ret void
  53
  54 BoundsCheckFail275:                               ; preds = %WhileBody
  55   unreachable
  56
  57 BoundsCheckOk276:                                 ; preds = %WhileBody
  58   %8 = icmp ult i64 %6, %.16
  59   br i1 %8, label %WhileBody, label %WhileEnd
  60 }
  61
  62 declare { i64, i1 } @llvm.uadd.with.overflow.i64(i64, i64)