llvm/test/Analysis/ValueTracking/knownbits-rem-lowbits.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
   3
   4 define i8 @urem_low_bits_know(i8 %xx, i8 %yy) {
   5 ; CHECK-LABEL: @urem_low_bits_know(
   6 ; CHECK-NEXT:    ret i8 2
   7 ;
   8   %x = or i8 %xx, 2
   9   %y = and i8 %yy, -4
  10   %rem = urem i8 %x, %y
  11   %r = and i8 %rem, 2
  12   ret i8 %r
  13 }
  14
  15 define i8 @urem_low_bits_know2(i8 %xx, i8 %yy) {
  16 ; CHECK-LABEL: @urem_low_bits_know2(
  17 ; CHECK-NEXT:    ret i8 2
  18 ;
  19   %xo = or i8 %xx, 2
  20   %x = and i8 %xo, 254
  21   %y = and i8 %yy, -4
  22   %rem = urem i8 %x, %y
  23   %r = and i8 %rem, 3
  24   ret i8 %r
  25 }
  26
  27 define i8 @urem_todo_low_bits_partially_know_should_fold_out_urem(i8 %xx, i8 %yy) {
  28 ; CHECK-LABEL: @urem_todo_low_bits_partially_know_should_fold_out_urem(
  29 ; CHECK-NEXT:    [[X:%.*]] = or i8 [[XX:%.*]], 2
  30 ; CHECK-NEXT:    [[Y:%.*]] = and i8 [[YY:%.*]], -4
  31 ; CHECK-NEXT:    [[REM:%.*]] = urem i8 [[X]], [[Y]]
  32 ; CHECK-NEXT:    [[R:%.*]] = and i8 [[REM]], 3
  33 ; CHECK-NEXT:    ret i8 [[R]]
  34 ;
  35   %x = or i8 %xx, 2
  36   %y = and i8 %yy, -4
  37   %rem = urem i8 %x, %y
  38   %r = and i8 %rem, 3
  39   ret i8 %r
  40 }
  41
  42 define i8 @urem_fail_low_bits_unknown(i8 %xx, i8 %yy) {
  43 ; CHECK-LABEL: @urem_fail_low_bits_unknown(
  44 ; CHECK-NEXT:    [[X:%.*]] = or i8 [[XX:%.*]], 4
  45 ; CHECK-NEXT:    [[Y:%.*]] = and i8 [[YY:%.*]], -4
  46 ; CHECK-NEXT:    [[REM:%.*]] = urem i8 [[X]], [[Y]]
  47 ; CHECK-NEXT:    [[R:%.*]] = and i8 [[REM]], 2
  48 ; CHECK-NEXT:    ret i8 [[R]]
  49 ;
  50   %x = or i8 %xx, 4
  51   %y = and i8 %yy, -4
  52   %rem = urem i8 %x, %y
  53   %r = and i8 %rem, 2
  54   ret i8 %r
  55 }
  56
  57 define i8 @urem_fail_low_bits_unknown2(i8 %xx, i8 %yy) {
  58 ; CHECK-LABEL: @urem_fail_low_bits_unknown2(
  59 ; CHECK-NEXT:    [[X:%.*]] = or i8 [[XX:%.*]], 1
  60 ; CHECK-NEXT:    [[Y:%.*]] = and i8 [[YY:%.*]], -5
  61 ; CHECK-NEXT:    [[REM:%.*]] = urem i8 [[X]], [[Y]]
  62 ; CHECK-NEXT:    [[R:%.*]] = and i8 [[REM]], 2
  63 ; CHECK-NEXT:    ret i8 [[R]]
  64 ;
  65   %x = or i8 %xx, 1
  66   %y = and i8 %yy, -5
  67   %rem = urem i8 %x, %y
  68   %r = and i8 %rem, 2
  69   ret i8 %r
  70 }
  71
  72 define i8 @srem_low_bits_know(i8 %xx, i8 %yy) {
  73 ; CHECK-LABEL: @srem_low_bits_know(
  74 ; CHECK-NEXT:    ret i8 2
  75 ;
  76   %x = or i8 %xx, 10
  77   %y = and i8 %yy, -4
  78   %rem = srem i8 %x, %y
  79   %r = and i8 %rem, 2
  80   ret i8 %r
  81 }
  82
  83 define i8 @srem_low_bits_know2(i8 %xx, i8 %yy) {
  84 ; CHECK-LABEL: @srem_low_bits_know2(
  85 ; CHECK-NEXT:    ret i8 1
  86 ;
  87   %x = or i8 %xx, 1
  88   %y = and i8 %yy, -2
  89   %rem = srem i8 %x, %y
  90   %r = and i8 %rem, 1
  91   ret i8 %r
  92 }
  93
  94 define i8 @srem_todo_low_bits_partially_know_should_fold_out_srem(i8 %xx, i8 %yy) {
  95 ; CHECK-LABEL: @srem_todo_low_bits_partially_know_should_fold_out_srem(
  96 ; CHECK-NEXT:    [[X:%.*]] = or i8 [[XX:%.*]], 10
  97 ; CHECK-NEXT:    [[Y:%.*]] = and i8 [[YY:%.*]], -4
  98 ; CHECK-NEXT:    [[REM:%.*]] = srem i8 [[X]], [[Y]]
  99 ; CHECK-NEXT:    [[R:%.*]] = and i8 [[REM]], 3
 100 ; CHECK-NEXT:    ret i8 [[R]]
 101 ;
 102   %x = or i8 %xx, 10
 103   %y = and i8 %yy, -4
 104   %rem = srem i8 %x, %y
 105   %r = and i8 %rem, 3
 106   ret i8 %r
 107 }
 108
 109 define i8 @srem_fail_low_bits_unknown(i8 %xx, i8 %yy) {
 110 ; CHECK-LABEL: @srem_fail_low_bits_unknown(
 111 ; CHECK-NEXT:    [[X:%.*]] = or i8 [[XX:%.*]], 4
 112 ; CHECK-NEXT:    [[Y:%.*]] = and i8 [[YY:%.*]], -4
 113 ; CHECK-NEXT:    [[REM:%.*]] = srem i8 [[X]], [[Y]]
 114 ; CHECK-NEXT:    [[R:%.*]] = and i8 [[REM]], 2
 115 ; CHECK-NEXT:    ret i8 [[R]]
 116 ;
 117   %x = or i8 %xx, 4
 118   %y = and i8 %yy, -4
 119   %rem = srem i8 %x, %y
 120   %r = and i8 %rem, 2
 121   ret i8 %r
 122 }
 123
 124 define i8 @srem_fail_irrelivent_bits_known(i8 %xx, i8 %yy) {
 125 ; CHECK-LABEL: @srem_fail_irrelivent_bits_known(
 126 ; CHECK-NEXT:    [[X:%.*]] = or i8 [[XX:%.*]], 3
 127 ; CHECK-NEXT:    [[Y:%.*]] = and i8 [[YY:%.*]], -6
 128 ; CHECK-NEXT:    [[REM:%.*]] = srem i8 [[X]], [[Y]]
 129 ; CHECK-NEXT:    [[R:%.*]] = and i8 [[REM]], 2
 130 ; CHECK-NEXT:    ret i8 [[R]]
 131 ;
 132   %x = or i8 %xx, 3
 133   %y = and i8 %yy, -6
 134   %rem = srem i8 %x, %y
 135   %r = and i8 %rem, 2
 136   ret i8 %r
 137 }