test/Transforms/InstCombine/minmax-demandbits.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -S -instcombine < %s | FileCheck %s
   3
   4
   5 define i32 @and_umax_less(i32 %A) {
   6 ; CHECK-LABEL: @and_umax_less(
   7 ; CHECK-NEXT:    [[X:%.*]] = and i32 [[A:%.*]], -32
   8 ; CHECK-NEXT:    ret i32 [[X]]
   9 ;
  10   %l0 = icmp ugt i32 31, %A
  11   %l1 = select i1 %l0, i32 31, i32 %A
  12   %x = and i32 %l1, -32
  13   ret i32 %x
  14 }
  15
  16 define i32 @and_umax_muchless(i32 %A) {
  17 ; CHECK-LABEL: @and_umax_muchless(
  18 ; CHECK-NEXT:    [[X:%.*]] = and i32 [[A:%.*]], -32
  19 ; CHECK-NEXT:    ret i32 [[X]]
  20 ;
  21   %l0 = icmp ugt i32 12, %A
  22   %l1 = select i1 %l0, i32 12, i32 %A
  23   %x = and i32 %l1, -32
  24   ret i32 %x
  25 }
  26
  27 define i32 @and_umax_more(i32 %A) {
  28 ; CHECK-LABEL: @and_umax_more(
  29 ; CHECK-NEXT:    [[TMP1:%.*]] = icmp ugt i32 [[A:%.*]], 32
  30 ; CHECK-NEXT:    [[L1:%.*]] = select i1 [[TMP1]], i32 [[A]], i32 32
  31 ; CHECK-NEXT:    [[X:%.*]] = and i32 [[L1]], -32
  32 ; CHECK-NEXT:    ret i32 [[X]]
  33 ;
  34   %l0 = icmp ugt i32 32, %A
  35   %l1 = select i1 %l0, i32 32, i32 %A
  36   %x = and i32 %l1, -32
  37   ret i32 %x
  38 }
  39
  40 define i32 @shr_umax(i32 %A) {
  41 ; CHECK-LABEL: @shr_umax(
  42 ; CHECK-NEXT:    [[X:%.*]] = lshr i32 [[A:%.*]], 4
  43 ; CHECK-NEXT:    ret i32 [[X]]
  44 ;
  45   %l0 = icmp ugt i32 15, %A
  46   %l1 = select i1 %l0, i32 15, i32 %A
  47   %x = lshr i32 %l1, 4
  48   ret i32 %x
  49 }
  50
  51 ; Various constants for C2 & umax(A, C1)
  52
  53 define i8 @t_0_1(i8 %A) {
  54 ; CHECK-LABEL: @t_0_1(
  55 ; CHECK-NEXT:    [[X:%.*]] = and i8 [[A:%.*]], 1
  56 ; CHECK-NEXT:    ret i8 [[X]]
  57 ;
  58   %l2 = icmp ugt i8 %A, 0
  59   %l1 = select i1 %l2, i8 %A, i8 0
  60   %x = and i8 %l1, 1
  61   ret i8 %x
  62 }
  63
  64 define i8 @t_0_10(i8 %A) {
  65 ; CHECK-LABEL: @t_0_10(
  66 ; CHECK-NEXT:    [[X:%.*]] = and i8 [[A:%.*]], 10
  67 ; CHECK-NEXT:    ret i8 [[X]]
  68 ;
  69   %l2 = icmp ugt i8 %A, 0
  70   %l1 = select i1 %l2, i8 %A, i8 0
  71   %x = and i8 %l1, 10
  72   ret i8 %x
  73 }
  74
  75 define i8 @t_1_10(i8 %A) {
  76 ; CHECK-LABEL: @t_1_10(
  77 ; CHECK-NEXT:    [[X:%.*]] = and i8 [[A:%.*]], 10
  78 ; CHECK-NEXT:    ret i8 [[X]]
  79 ;
  80   %l2 = icmp ugt i8 %A, 1
  81   %l1 = select i1 %l2, i8 %A, i8 1
  82   %x = and i8 %l1, 10
  83   ret i8 %x
  84 }
  85
  86 define i8 @t_2_4(i8 %A) {
  87 ; CHECK-LABEL: @t_2_4(
  88 ; CHECK-NEXT:    [[X:%.*]] = and i8 [[A:%.*]], 4
  89 ; CHECK-NEXT:    ret i8 [[X]]
  90 ;
  91   %l2 = icmp ugt i8 %A, 2
  92   %l1 = select i1 %l2, i8 %A, i8 2
  93   %x = and i8 %l1, 4
  94   ret i8 %x
  95 }
  96
  97 define i8 @t_2_192(i8 %A) {
  98 ; CHECK-LABEL: @t_2_192(
  99 ; CHECK-NEXT:    [[X:%.*]] = and i8 [[A:%.*]], -64
 100 ; CHECK-NEXT:    ret i8 [[X]]
 101 ;
 102   %l2 = icmp ugt i8 %A, 2
 103   %l1 = select i1 %l2, i8 %A, i8 2
 104   %x = and i8 %l1, -64
 105   ret i8 %x
 106 }
 107
 108 define i8 @t_2_63_or(i8 %A) {
 109 ; CHECK-LABEL: @t_2_63_or(
 110 ; CHECK-NEXT:    [[X:%.*]] = or i8 [[A:%.*]], 63
 111 ; CHECK-NEXT:    ret i8 [[X]]
 112 ;
 113   %l2 = icmp ugt i8 %A, 2
 114   %l1 = select i1 %l2, i8 %A, i8 2
 115   %x = or i8 %l1, 63
 116   ret i8 %x
 117 }
 118
 119 define i8 @f_1_1(i8 %A) {
 120 ; CHECK-LABEL: @f_1_1(
 121 ; CHECK-NEXT:    [[L2:%.*]] = icmp ugt i8 [[A:%.*]], 1
 122 ; CHECK-NEXT:    [[L1:%.*]] = select i1 [[L2]], i8 [[A]], i8 1
 123 ; CHECK-NEXT:    [[X:%.*]] = and i8 [[L1]], 1
 124 ; CHECK-NEXT:    ret i8 [[X]]
 125 ;
 126   %l2 = icmp ugt i8 %A, 1
 127   %l1 = select i1 %l2, i8 %A, i8 1
 128   %x = and i8 %l1, 1
 129   ret i8 %x
 130 }
 131
 132 define i8 @f_32_32(i8 %A) {
 133 ; CHECK-LABEL: @f_32_32(
 134 ; CHECK-NEXT:    [[L2:%.*]] = icmp ugt i8 [[A:%.*]], 32
 135 ; CHECK-NEXT:    [[L1:%.*]] = select i1 [[L2]], i8 [[A]], i8 32
 136 ; CHECK-NEXT:    [[X:%.*]] = and i8 [[L1]], -32
 137 ; CHECK-NEXT:    ret i8 [[X]]
 138 ;
 139   %l2 = icmp ugt i8 %A, 32
 140   %l1 = select i1 %l2, i8 %A, i8 32
 141   %x = and i8 %l1, -32
 142   ret i8 %x
 143 }
 144
 145 define i8 @f_191_192(i8 %A) {
 146 ; CHECK-LABEL: @f_191_192(
 147 ; CHECK-NEXT:    [[L2:%.*]] = icmp ugt i8 [[A:%.*]], -65
 148 ; CHECK-NEXT:    [[L1:%.*]] = select i1 [[L2]], i8 [[A]], i8 -65
 149 ; CHECK-NEXT:    [[X:%.*]] = and i8 [[L1]], -64
 150 ; CHECK-NEXT:    ret i8 [[X]]
 151 ;
 152   %l2 = icmp ugt i8 %A, 191
 153   %l1 = select i1 %l2, i8 %A, i8 191
 154   %x = and i8 %l1, 192
 155   ret i8 %x
 156 }
 157
 158 define i8 @f_10_1(i8 %A) {
 159 ; CHECK-LABEL: @f_10_1(
 160 ; CHECK-NEXT:    [[L2:%.*]] = icmp ugt i8 [[A:%.*]], 10
 161 ; CHECK-NEXT:    [[L1:%.*]] = select i1 [[L2]], i8 [[A]], i8 10
 162 ; CHECK-NEXT:    [[X:%.*]] = and i8 [[L1]], 1
 163 ; CHECK-NEXT:    ret i8 [[X]]
 164 ;
 165   %l2 = icmp ugt i8 %A, 10
 166   %l1 = select i1 %l2, i8 %A, i8 10
 167   %x = and i8 %l1, 1
 168   ret i8 %x
 169 }
 170
 171 define i32 @and_umin(i32 %A) {
 172 ; CHECK-LABEL: @and_umin(
 173 ; CHECK-NEXT:    ret i32 0
 174 ;
 175   %l0 = icmp ult i32 15, %A
 176   %l1 = select i1 %l0, i32 15, i32 %A
 177   %x = and i32 %l1, -32
 178   ret i32 %x
 179 }
 180
 181 define i32 @or_umin(i32 %A) {
 182 ; CHECK-LABEL: @or_umin(
 183 ; CHECK-NEXT:    ret i32 31
 184 ;
 185   %l0 = icmp ult i32 15, %A
 186   %l1 = select i1 %l0, i32 15, i32 %A
 187   %x = or i32 %l1, 31
 188   ret i32 %x
 189 }
 190
 191 define i8 @or_min_31_30(i8 %A) {
 192 ; CHECK-LABEL: @or_min_31_30(
 193 ; CHECK-NEXT:    [[R:%.*]] = or i8 [[A:%.*]], 31
 194 ; CHECK-NEXT:    ret i8 [[R]]
 195 ;
 196   %cmp = icmp ult i8 %A, -30
 197   %min = select i1 %cmp, i8 %A, i8 -30
 198   %r = or i8 %min, 31
 199   ret i8 %r
 200 }
 201
 202 define i8 @and_min_7_7(i8 %A) {
 203 ; CHECK-LABEL: @and_min_7_7(
 204 ; CHECK-NEXT:    [[R:%.*]] = and i8 [[A:%.*]], -8
 205 ; CHECK-NEXT:    ret i8 [[R]]
 206 ;
 207   %l2 = icmp ult i8 %A, -7
 208   %min = select i1 %l2, i8 %A, i8 -7
 209   %r = and i8 %min, -8
 210   ret i8 %r
 211 }
 212
 213 define i8 @and_min_7_8(i8 %A) {
 214 ; CHECK-LABEL: @and_min_7_8(
 215 ; CHECK-NEXT:    [[R:%.*]] = and i8 [[A:%.*]], -8
 216 ; CHECK-NEXT:    ret i8 [[R]]
 217 ;
 218   %l2 = icmp ult i8 %A, -8
 219   %min = select i1 %l2, i8 %A, i8 -8
 220   %r = and i8 %min, -8
 221   ret i8 %r
 222 }
 223
 224 define i8 @and_min_7_9(i8 %A) {
 225 ; CHECK-LABEL: @and_min_7_9(
 226 ; CHECK-NEXT:    [[L2:%.*]] = icmp ult i8 [[A:%.*]], -9
 227 ; CHECK-NEXT:    [[MIN:%.*]] = select i1 [[L2]], i8 [[A]], i8 -9
 228 ; CHECK-NEXT:    [[R:%.*]] = and i8 [[MIN]], -8
 229 ; CHECK-NEXT:    ret i8 [[R]]
 230 ;
 231   %l2 = icmp ult i8 %A, -9
 232   %min = select i1 %l2, i8 %A, i8 -9
 233   %r = and i8 %min, -8
 234   ret i8 %r
 235 }
 236