test/Transforms/InstCombine/select-with-bitwise-ops.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -instcombine -S | FileCheck %s
   3
   4 target datalayout = "n8:16:32:64"
   5
   6 define i32 @select_icmp_eq_and_1_0_or_2(i32 %x, i32 %y) {
   7 ; CHECK-LABEL: @select_icmp_eq_and_1_0_or_2(
   8 ; CHECK-NEXT:    [[AND:%.*]] = shl i32 [[X:%.*]], 1
   9 ; CHECK-NEXT:    [[TMP1:%.*]] = and i32 [[AND]], 2
  10 ; CHECK-NEXT:    [[TMP2:%.*]] = or i32 [[TMP1]], [[Y:%.*]]
  11 ; CHECK-NEXT:    ret i32 [[TMP2]]
  12 ;
  13   %and = and i32 %x, 1
  14   %cmp = icmp eq i32 %and, 0
  15   %or = or i32 %y, 2
  16   %select = select i1 %cmp, i32 %y, i32 %or
  17   ret i32 %select
  18 }
  19
  20 define <2 x i32> @select_icmp_eq_and_1_0_or_2_vec(<2 x i32> %x, <2 x i32> %y) {
  21 ; CHECK-LABEL: @select_icmp_eq_and_1_0_or_2_vec(
  22 ; CHECK-NEXT:    [[AND:%.*]] = shl <2 x i32> [[X:%.*]], <i32 1, i32 1>
  23 ; CHECK-NEXT:    [[TMP1:%.*]] = and <2 x i32> [[AND]], <i32 2, i32 2>
  24 ; CHECK-NEXT:    [[TMP2:%.*]] = or <2 x i32> [[TMP1]], [[Y:%.*]]
  25 ; CHECK-NEXT:    ret <2 x i32> [[TMP2]]
  26 ;
  27   %and = and <2 x i32> %x, <i32 1, i32 1>
  28   %cmp = icmp eq <2 x i32> %and, zeroinitializer
  29   %or = or <2 x i32> %y, <i32 2, i32 2>
  30   %select = select <2 x i1> %cmp, <2 x i32> %y, <2 x i32> %or
  31   ret <2 x i32> %select
  32 }
  33
  34 define i32 @select_icmp_eq_and_1_0_xor_2(i32 %x, i32 %y) {
  35 ; CHECK-LABEL: @select_icmp_eq_and_1_0_xor_2(
  36 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 1
  37 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
  38 ; CHECK-NEXT:    [[XOR:%.*]] = xor i32 [[Y:%.*]], 2
  39 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[Y]], i32 [[XOR]]
  40 ; CHECK-NEXT:    ret i32 [[SELECT]]
  41 ;
  42   %and = and i32 %x, 1
  43   %cmp = icmp eq i32 %and, 0
  44   %xor = xor i32 %y, 2
  45   %select = select i1 %cmp, i32 %y, i32 %xor
  46   ret i32 %select
  47 }
  48
  49 define i32 @select_icmp_eq_and_1_0_and_not_2(i32 %x, i32 %y) {
  50 ; CHECK-LABEL: @select_icmp_eq_and_1_0_and_not_2(
  51 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 1
  52 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
  53 ; CHECK-NEXT:    [[AND2:%.*]] = and i32 [[Y:%.*]], -3
  54 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[Y]], i32 [[AND2]]
  55 ; CHECK-NEXT:    ret i32 [[SELECT]]
  56 ;
  57   %and = and i32 %x, 1
  58   %cmp = icmp eq i32 %and, 0
  59   %and2 = and i32 %y, -3
  60   %select = select i1 %cmp, i32 %y, i32 %and2
  61   ret i32 %select
  62 }
  63
  64 define i32 @select_icmp_eq_and_32_0_or_8(i32 %x, i32 %y) {
  65 ; CHECK-LABEL: @select_icmp_eq_and_32_0_or_8(
  66 ; CHECK-NEXT:    [[AND:%.*]] = lshr i32 [[X:%.*]], 2
  67 ; CHECK-NEXT:    [[TMP1:%.*]] = and i32 [[AND]], 8
  68 ; CHECK-NEXT:    [[TMP2:%.*]] = or i32 [[TMP1]], [[Y:%.*]]
  69 ; CHECK-NEXT:    ret i32 [[TMP2]]
  70 ;
  71   %and = and i32 %x, 32
  72   %cmp = icmp eq i32 %and, 0
  73   %or = or i32 %y, 8
  74   %select = select i1 %cmp, i32 %y, i32 %or
  75   ret i32 %select
  76 }
  77
  78 define <2 x i32> @select_icmp_eq_and_32_0_or_8_vec(<2 x i32> %x, <2 x i32> %y) {
  79 ; CHECK-LABEL: @select_icmp_eq_and_32_0_or_8_vec(
  80 ; CHECK-NEXT:    [[AND:%.*]] = lshr <2 x i32> [[X:%.*]], <i32 2, i32 2>
  81 ; CHECK-NEXT:    [[TMP1:%.*]] = and <2 x i32> [[AND]], <i32 8, i32 8>
  82 ; CHECK-NEXT:    [[TMP2:%.*]] = or <2 x i32> [[TMP1]], [[Y:%.*]]
  83 ; CHECK-NEXT:    ret <2 x i32> [[TMP2]]
  84 ;
  85   %and = and <2 x i32> %x, <i32 32, i32 32>
  86   %cmp = icmp eq <2 x i32> %and, zeroinitializer
  87   %or = or <2 x i32> %y, <i32 8, i32 8>
  88   %select = select <2 x i1> %cmp, <2 x i32> %y, <2 x i32> %or
  89   ret <2 x i32> %select
  90 }
  91
  92 define i32 @select_icmp_eq_and_32_0_xor_8(i32 %x, i32 %y) {
  93 ; CHECK-LABEL: @select_icmp_eq_and_32_0_xor_8(
  94 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 32
  95 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
  96 ; CHECK-NEXT:    [[XOR:%.*]] = xor i32 [[Y:%.*]], 8
  97 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[Y]], i32 [[XOR]]
  98 ; CHECK-NEXT:    ret i32 [[SELECT]]
  99 ;
 100   %and = and i32 %x, 32
 101   %cmp = icmp eq i32 %and, 0
 102   %xor = xor i32 %y, 8
 103   %select = select i1 %cmp, i32 %y, i32 %xor
 104   ret i32 %select
 105 }
 106
 107 define i32 @select_icmp_eq_and_32_0_and_not_8(i32 %x, i32 %y) {
 108 ; CHECK-LABEL: @select_icmp_eq_and_32_0_and_not_8(
 109 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 32
 110 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
 111 ; CHECK-NEXT:    [[AND2:%.*]] = and i32 [[Y:%.*]], -9
 112 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[Y]], i32 [[AND2]]
 113 ; CHECK-NEXT:    ret i32 [[SELECT]]
 114 ;
 115   %and = and i32 %x, 32
 116   %cmp = icmp eq i32 %and, 0
 117   %and2 = and i32 %y, -9
 118   %select = select i1 %cmp, i32 %y, i32 %and2
 119   ret i32 %select
 120 }
 121
 122 define i32 @select_icmp_ne_0_and_4096_or_4096(i32 %x, i32 %y) {
 123 ; CHECK-LABEL: @select_icmp_ne_0_and_4096_or_4096(
 124 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 4096
 125 ; CHECK-NEXT:    [[TMP1:%.*]] = xor i32 [[AND]], 4096
 126 ; CHECK-NEXT:    [[TMP2:%.*]] = or i32 [[TMP1]], [[Y:%.*]]
 127 ; CHECK-NEXT:    ret i32 [[TMP2]]
 128 ;
 129   %and = and i32 %x, 4096
 130   %cmp = icmp ne i32 0, %and
 131   %or = or i32 %y, 4096
 132   %select = select i1 %cmp, i32 %y, i32 %or
 133   ret i32 %select
 134 }
 135
 136 define <2 x i32> @select_icmp_ne_0_and_4096_or_4096_vec(<2 x i32> %x, <2 x i32> %y) {
 137 ; CHECK-LABEL: @select_icmp_ne_0_and_4096_or_4096_vec(
 138 ; CHECK-NEXT:    [[AND:%.*]] = and <2 x i32> [[X:%.*]], <i32 4096, i32 4096>
 139 ; CHECK-NEXT:    [[TMP1:%.*]] = xor <2 x i32> [[AND]], <i32 4096, i32 4096>
 140 ; CHECK-NEXT:    [[TMP2:%.*]] = or <2 x i32> [[TMP1]], [[Y:%.*]]
 141 ; CHECK-NEXT:    ret <2 x i32> [[TMP2]]
 142 ;
 143   %and = and <2 x i32> %x, <i32 4096, i32 4096>
 144   %cmp = icmp ne <2 x i32> zeroinitializer, %and
 145   %or = or <2 x i32> %y, <i32 4096, i32 4096>
 146   %select = select <2 x i1> %cmp, <2 x i32> %y, <2 x i32> %or
 147   ret <2 x i32> %select
 148 }
 149
 150 define i32 @select_icmp_ne_0_and_4096_xor_4096(i32 %x, i32 %y) {
 151 ; CHECK-LABEL: @select_icmp_ne_0_and_4096_xor_4096(
 152 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 4096
 153 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
 154 ; CHECK-NEXT:    [[XOR:%.*]] = xor i32 [[Y:%.*]], 4096
 155 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[XOR]], i32 [[Y]]
 156 ; CHECK-NEXT:    ret i32 [[SELECT]]
 157 ;
 158   %and = and i32 %x, 4096
 159   %cmp = icmp ne i32 0, %and
 160   %xor = xor i32 %y, 4096
 161   %select = select i1 %cmp, i32 %y, i32 %xor
 162   ret i32 %select
 163 }
 164
 165 define i32 @select_icmp_ne_0_and_4096_and_not_4096(i32 %x, i32 %y) {
 166 ; CHECK-LABEL: @select_icmp_ne_0_and_4096_and_not_4096(
 167 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 4096
 168 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
 169 ; CHECK-NEXT:    [[AND2:%.*]] = and i32 [[Y:%.*]], -4097
 170 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[AND2]], i32 [[Y]]
 171 ; CHECK-NEXT:    ret i32 [[SELECT]]
 172 ;
 173   %and = and i32 %x, 4096
 174   %cmp = icmp ne i32 0, %and
 175   %and2 = and i32 %y, -4097
 176   %select = select i1 %cmp, i32 %y, i32 %and2
 177   ret i32 %select
 178 }
 179
 180 define i32 @select_icmp_eq_and_4096_0_or_4096(i32 %x, i32 %y) {
 181 ; CHECK-LABEL: @select_icmp_eq_and_4096_0_or_4096(
 182 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 4096
 183 ; CHECK-NEXT:    [[TMP1:%.*]] = or i32 [[AND]], [[Y:%.*]]
 184 ; CHECK-NEXT:    ret i32 [[TMP1]]
 185 ;
 186   %and = and i32 %x, 4096
 187   %cmp = icmp eq i32 %and, 0
 188   %or = or i32 %y, 4096
 189   %select = select i1 %cmp, i32 %y, i32 %or
 190   ret i32 %select
 191 }
 192
 193 define <2 x i32> @select_icmp_eq_and_4096_0_or_4096_vec(<2 x i32> %x, <2 x i32> %y) {
 194 ; CHECK-LABEL: @select_icmp_eq_and_4096_0_or_4096_vec(
 195 ; CHECK-NEXT:    [[AND:%.*]] = and <2 x i32> [[X:%.*]], <i32 4096, i32 4096>
 196 ; CHECK-NEXT:    [[TMP1:%.*]] = or <2 x i32> [[AND]], [[Y:%.*]]
 197 ; CHECK-NEXT:    ret <2 x i32> [[TMP1]]
 198 ;
 199   %and = and <2 x i32> %x, <i32 4096, i32 4096>
 200   %cmp = icmp eq <2 x i32> %and, zeroinitializer
 201   %or = or <2 x i32> %y, <i32 4096, i32 4096>
 202   %select = select <2 x i1> %cmp, <2 x i32> %y, <2 x i32> %or
 203   ret <2 x i32> %select
 204 }
 205
 206 define i32 @select_icmp_eq_and_4096_0_xor_4096(i32 %x, i32 %y) {
 207 ; CHECK-LABEL: @select_icmp_eq_and_4096_0_xor_4096(
 208 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 4096
 209 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
 210 ; CHECK-NEXT:    [[XOR:%.*]] = xor i32 [[Y:%.*]], 4096
 211 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[Y]], i32 [[XOR]]
 212 ; CHECK-NEXT:    ret i32 [[SELECT]]
 213 ;
 214   %and = and i32 %x, 4096
 215   %cmp = icmp eq i32 %and, 0
 216   %xor = xor i32 %y, 4096
 217   %select = select i1 %cmp, i32 %y, i32 %xor
 218   ret i32 %select
 219 }
 220
 221 define i32 @select_icmp_eq_and_4096_0_and_not_4096(i32 %x, i32 %y) {
 222 ; CHECK-LABEL: @select_icmp_eq_and_4096_0_and_not_4096(
 223 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 4096
 224 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
 225 ; CHECK-NEXT:    [[AND2:%.*]] = and i32 [[Y:%.*]], -4097
 226 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[Y]], i32 [[AND2]]
 227 ; CHECK-NEXT:    ret i32 [[SELECT]]
 228 ;
 229   %and = and i32 %x, 4096
 230   %cmp = icmp eq i32 %and, 0
 231   %and2 = and i32 %y, -4097
 232   %select = select i1 %cmp, i32 %y, i32 %and2
 233   ret i32 %select
 234 }
 235
 236 define i32 @select_icmp_eq_0_and_1_or_1(i64 %x, i32 %y) {
 237 ; CHECK-LABEL: @select_icmp_eq_0_and_1_or_1(
 238 ; CHECK-NEXT:    [[TMP1:%.*]] = trunc i64 [[X:%.*]] to i32
 239 ; CHECK-NEXT:    [[TMP2:%.*]] = and i32 [[TMP1]], 1
 240 ; CHECK-NEXT:    [[TMP3:%.*]] = or i32 [[TMP2]], [[Y:%.*]]
 241 ; CHECK-NEXT:    ret i32 [[TMP3]]
 242 ;
 243   %and = and i64 %x, 1
 244   %cmp = icmp eq i64 %and, 0
 245   %or = or i32 %y, 1
 246   %select = select i1 %cmp, i32 %y, i32 %or
 247   ret i32 %select
 248 }
 249
 250 define <2 x i32> @select_icmp_eq_0_and_1_or_1_vec(<2 x i64> %x, <2 x i32> %y) {
 251 ; CHECK-LABEL: @select_icmp_eq_0_and_1_or_1_vec(
 252 ; CHECK-NEXT:    [[TMP1:%.*]] = trunc <2 x i64> [[X:%.*]] to <2 x i32>
 253 ; CHECK-NEXT:    [[TMP2:%.*]] = and <2 x i32> [[TMP1]], <i32 1, i32 1>
 254 ; CHECK-NEXT:    [[TMP3:%.*]] = or <2 x i32> [[TMP2]], [[Y:%.*]]
 255 ; CHECK-NEXT:    ret <2 x i32> [[TMP3]]
 256 ;
 257   %and = and <2 x i64> %x, <i64 1, i64 1>
 258   %cmp = icmp eq <2 x i64> %and, zeroinitializer
 259   %or = or <2 x i32> %y, <i32 1, i32 1>
 260   %select = select <2 x i1> %cmp, <2 x i32> %y, <2 x i32> %or
 261   ret <2 x i32> %select
 262 }
 263
 264 define i32 @select_icmp_eq_0_and_1_xor_1(i64 %x, i32 %y) {
 265 ; CHECK-LABEL: @select_icmp_eq_0_and_1_xor_1(
 266 ; CHECK-NEXT:    [[TMP1:%.*]] = trunc i64 [[X:%.*]] to i32
 267 ; CHECK-NEXT:    [[TMP2:%.*]] = and i32 [[TMP1]], 1
 268 ; CHECK-NEXT:    [[SELECT:%.*]] = xor i32 [[TMP2]], [[Y:%.*]]
 269 ; CHECK-NEXT:    ret i32 [[SELECT]]
 270 ;
 271   %and = and i64 %x, 1
 272   %cmp = icmp eq i64 %and, 0
 273   %xor = xor i32 %y, 1
 274   %select = select i1 %cmp, i32 %y, i32 %xor
 275   ret i32 %select
 276 }
 277
 278 define i32 @select_icmp_eq_0_and_1_and_not_1(i64 %x, i32 %y) {
 279 ; CHECK-LABEL: @select_icmp_eq_0_and_1_and_not_1(
 280 ; CHECK-NEXT:    [[AND:%.*]] = and i64 [[X:%.*]], 1
 281 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i64 [[AND]], 0
 282 ; CHECK-NEXT:    [[AND2:%.*]] = and i32 [[Y:%.*]], -2
 283 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[Y]], i32 [[AND2]]
 284 ; CHECK-NEXT:    ret i32 [[SELECT]]
 285 ;
 286   %and = and i64 %x, 1
 287   %cmp = icmp eq i64 %and, 0
 288   %and2 = and i32 %y, -2
 289   %select = select i1 %cmp, i32 %y, i32 %and2
 290   ret i32 %select
 291 }
 292
 293 define i32 @select_icmp_ne_0_and_4096_or_32(i32 %x, i32 %y) {
 294 ; CHECK-LABEL: @select_icmp_ne_0_and_4096_or_32(
 295 ; CHECK-NEXT:    [[AND:%.*]] = lshr i32 [[X:%.*]], 7
 296 ; CHECK-NEXT:    [[TMP1:%.*]] = and i32 [[AND]], 32
 297 ; CHECK-NEXT:    [[TMP2:%.*]] = xor i32 [[TMP1]], 32
 298 ; CHECK-NEXT:    [[TMP3:%.*]] = or i32 [[TMP2]], [[Y:%.*]]
 299 ; CHECK-NEXT:    ret i32 [[TMP3]]
 300 ;
 301   %and = and i32 %x, 4096
 302   %cmp = icmp ne i32 0, %and
 303   %or = or i32 %y, 32
 304   %select = select i1 %cmp, i32 %y, i32 %or
 305   ret i32 %select
 306 }
 307
 308 define i32 @select_icmp_ne_0_and_4096_xor_32(i32 %x, i32 %y) {
 309 ; CHECK-LABEL: @select_icmp_ne_0_and_4096_xor_32(
 310 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 4096
 311 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
 312 ; CHECK-NEXT:    [[XOR:%.*]] = xor i32 [[Y:%.*]], 32
 313 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[XOR]], i32 [[Y]]
 314 ; CHECK-NEXT:    ret i32 [[SELECT]]
 315 ;
 316   %and = and i32 %x, 4096
 317   %cmp = icmp ne i32 0, %and
 318   %xor = xor i32 %y, 32
 319   %select = select i1 %cmp, i32 %y, i32 %xor
 320   ret i32 %select
 321 }
 322
 323 define i32 @select_icmp_ne_0_and_4096_and_not_32(i32 %x, i32 %y) {
 324 ; CHECK-LABEL: @select_icmp_ne_0_and_4096_and_not_32(
 325 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 4096
 326 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
 327 ; CHECK-NEXT:    [[AND2:%.*]] = and i32 [[Y:%.*]], -33
 328 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[AND2]], i32 [[Y]]
 329 ; CHECK-NEXT:    ret i32 [[SELECT]]
 330 ;
 331   %and = and i32 %x, 4096
 332   %cmp = icmp ne i32 0, %and
 333   %and2 = and i32 %y, -33
 334   %select = select i1 %cmp, i32 %y, i32 %and2
 335   ret i32 %select
 336 }
 337
 338 define i32 @select_icmp_ne_0_and_32_or_4096(i32 %x, i32 %y) {
 339 ; CHECK-LABEL: @select_icmp_ne_0_and_32_or_4096(
 340 ; CHECK-NEXT:    [[AND:%.*]] = shl i32 [[X:%.*]], 7
 341 ; CHECK-NEXT:    [[TMP1:%.*]] = and i32 [[AND]], 4096
 342 ; CHECK-NEXT:    [[TMP2:%.*]] = xor i32 [[TMP1]], 4096
 343 ; CHECK-NEXT:    [[TMP3:%.*]] = or i32 [[TMP2]], [[Y:%.*]]
 344 ; CHECK-NEXT:    ret i32 [[TMP3]]
 345 ;
 346   %and = and i32 %x, 32
 347   %cmp = icmp ne i32 0, %and
 348   %or = or i32 %y, 4096
 349   %select = select i1 %cmp, i32 %y, i32 %or
 350   ret i32 %select
 351 }
 352
 353 define <2 x i32> @select_icmp_ne_0_and_32_or_4096_vec(<2 x i32> %x, <2 x i32> %y) {
 354 ; CHECK-LABEL: @select_icmp_ne_0_and_32_or_4096_vec(
 355 ; CHECK-NEXT:    [[AND:%.*]] = shl <2 x i32> [[X:%.*]], <i32 7, i32 7>
 356 ; CHECK-NEXT:    [[TMP1:%.*]] = and <2 x i32> [[AND]], <i32 4096, i32 4096>
 357 ; CHECK-NEXT:    [[TMP2:%.*]] = xor <2 x i32> [[TMP1]], <i32 4096, i32 4096>
 358 ; CHECK-NEXT:    [[TMP3:%.*]] = or <2 x i32> [[TMP2]], [[Y:%.*]]
 359 ; CHECK-NEXT:    ret <2 x i32> [[TMP3]]
 360 ;
 361   %and = and <2 x i32> %x, <i32 32, i32 32>
 362   %cmp = icmp ne <2 x i32> zeroinitializer, %and
 363   %or = or <2 x i32> %y, <i32 4096, i32 4096>
 364   %select = select <2 x i1> %cmp, <2 x i32> %y, <2 x i32> %or
 365   ret <2 x i32> %select
 366 }
 367
 368 define i32 @select_icmp_ne_0_and_32_xor_4096(i32 %x, i32 %y) {
 369 ; CHECK-LABEL: @select_icmp_ne_0_and_32_xor_4096(
 370 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 32
 371 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
 372 ; CHECK-NEXT:    [[XOR:%.*]] = xor i32 [[Y:%.*]], 4096
 373 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[XOR]], i32 [[Y]]
 374 ; CHECK-NEXT:    ret i32 [[SELECT]]
 375 ;
 376   %and = and i32 %x, 32
 377   %cmp = icmp ne i32 0, %and
 378   %xor = xor i32 %y, 4096
 379   %select = select i1 %cmp, i32 %y, i32 %xor
 380   ret i32 %select
 381 }
 382
 383 define i32 @select_icmp_ne_0_and_32_and_not_4096(i32 %x, i32 %y) {
 384 ; CHECK-LABEL: @select_icmp_ne_0_and_32_and_not_4096(
 385 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 32
 386 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
 387 ; CHECK-NEXT:    [[AND2:%.*]] = and i32 [[Y:%.*]], -4097
 388 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[AND2]], i32 [[Y]]
 389 ; CHECK-NEXT:    ret i32 [[SELECT]]
 390 ;
 391   %and = and i32 %x, 32
 392   %cmp = icmp ne i32 0, %and
 393   %and2 = and i32 %y, -4097
 394   %select = select i1 %cmp, i32 %y, i32 %and2
 395   ret i32 %select
 396 }
 397
 398 define i8 @select_icmp_ne_0_and_1073741824_or_8(i32 %x, i8 %y) {
 399 ; CHECK-LABEL: @select_icmp_ne_0_and_1073741824_or_8(
 400 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 1073741824
 401 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
 402 ; CHECK-NEXT:    [[OR:%.*]] = or i8 [[Y:%.*]], 8
 403 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i8 [[OR]], i8 [[Y]]
 404 ; CHECK-NEXT:    ret i8 [[SELECT]]
 405 ;
 406   %and = and i32 %x, 1073741824
 407   %cmp = icmp ne i32 0, %and
 408   %or = or i8 %y, 8
 409   %select = select i1 %cmp, i8 %y, i8 %or
 410   ret i8 %select
 411 }
 412
 413 define i8 @select_icmp_ne_0_and_1073741824_xor_8(i32 %x, i8 %y) {
 414 ; CHECK-LABEL: @select_icmp_ne_0_and_1073741824_xor_8(
 415 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 1073741824
 416 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
 417 ; CHECK-NEXT:    [[XOR:%.*]] = xor i8 [[Y:%.*]], 8
 418 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i8 [[XOR]], i8 [[Y]]
 419 ; CHECK-NEXT:    ret i8 [[SELECT]]
 420 ;
 421   %and = and i32 %x, 1073741824
 422   %cmp = icmp ne i32 0, %and
 423   %xor = xor i8 %y, 8
 424   %select = select i1 %cmp, i8 %y, i8 %xor
 425   ret i8 %select
 426 }
 427
 428 define i8 @select_icmp_ne_0_and_1073741824_and_not_8(i32 %x, i8 %y) {
 429 ; CHECK-LABEL: @select_icmp_ne_0_and_1073741824_and_not_8(
 430 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 1073741824
 431 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
 432 ; CHECK-NEXT:    [[AND2:%.*]] = and i8 [[Y:%.*]], -9
 433 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i8 [[AND2]], i8 [[Y]]
 434 ; CHECK-NEXT:    ret i8 [[SELECT]]
 435 ;
 436   %and = and i32 %x, 1073741824
 437   %cmp = icmp ne i32 0, %and
 438   %and2 = and i8 %y, -9
 439   %select = select i1 %cmp, i8 %y, i8 %and2
 440   ret i8 %select
 441 }
 442
 443 define i32 @select_icmp_ne_0_and_8_or_1073741824(i8 %x, i32 %y) {
 444 ; CHECK-LABEL: @select_icmp_ne_0_and_8_or_1073741824(
 445 ; CHECK-NEXT:    [[AND:%.*]] = and i8 [[X:%.*]], 8
 446 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i8 [[AND]], 0
 447 ; CHECK-NEXT:    [[OR:%.*]] = or i32 [[Y:%.*]], 1073741824
 448 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[OR]], i32 [[Y]]
 449 ; CHECK-NEXT:    ret i32 [[SELECT]]
 450 ;
 451   %and = and i8 %x, 8
 452   %cmp = icmp ne i8 0, %and
 453   %or = or i32 %y, 1073741824
 454   %select = select i1 %cmp, i32 %y, i32 %or
 455   ret i32 %select
 456 }
 457
 458 define i32 @select_icmp_ne_0_and_8_xor_1073741824(i8 %x, i32 %y) {
 459 ; CHECK-LABEL: @select_icmp_ne_0_and_8_xor_1073741824(
 460 ; CHECK-NEXT:    [[AND:%.*]] = and i8 [[X:%.*]], 8
 461 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i8 [[AND]], 0
 462 ; CHECK-NEXT:    [[XOR:%.*]] = xor i32 [[Y:%.*]], 1073741824
 463 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[XOR]], i32 [[Y]]
 464 ; CHECK-NEXT:    ret i32 [[SELECT]]
 465 ;
 466   %and = and i8 %x, 8
 467   %cmp = icmp ne i8 0, %and
 468   %xor = xor i32 %y, 1073741824
 469   %select = select i1 %cmp, i32 %y, i32 %xor
 470   ret i32 %select
 471 }
 472
 473 define i32 @select_icmp_ne_0_and_8_and_not_1073741824(i8 %x, i32 %y) {
 474 ; CHECK-LABEL: @select_icmp_ne_0_and_8_and_not_1073741824(
 475 ; CHECK-NEXT:    [[AND:%.*]] = and i8 [[X:%.*]], 8
 476 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i8 [[AND]], 0
 477 ; CHECK-NEXT:    [[AND2:%.*]] = and i32 [[Y:%.*]], -1073741825
 478 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[AND2]], i32 [[Y]]
 479 ; CHECK-NEXT:    ret i32 [[SELECT]]
 480 ;
 481   %and = and i8 %x, 8
 482   %cmp = icmp ne i8 0, %and
 483   %and2 = and i32 %y, -1073741825
 484   %select = select i1 %cmp, i32 %y, i32 %and2
 485   ret i32 %select
 486 }
 487
 488 ; We can't combine here, because the cmp is scalar and the or vector.
 489 ; Just make sure we don't assert.
 490 define <2 x i32> @select_icmp_eq_and_1_0_or_vector_of_2s(i32 %x, <2 x i32> %y) {
 491 ; CHECK-LABEL: @select_icmp_eq_and_1_0_or_vector_of_2s(
 492 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 1
 493 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
 494 ; CHECK-NEXT:    [[OR:%.*]] = or <2 x i32> [[Y:%.*]], <i32 2, i32 2>
 495 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], <2 x i32> [[Y]], <2 x i32> [[OR]]
 496 ; CHECK-NEXT:    ret <2 x i32> [[SELECT]]
 497 ;
 498   %and = and i32 %x, 1
 499   %cmp = icmp eq i32 %and, 0
 500   %or = or <2 x i32> %y, <i32 2, i32 2>
 501   %select = select i1 %cmp, <2 x i32> %y, <2 x i32> %or
 502   ret <2 x i32> %select
 503 }
 504
 505 define i32 @select_icmp_and_8_ne_0_xor_8(i32 %x) {
 506 ; CHECK-LABEL: @select_icmp_and_8_ne_0_xor_8(
 507 ; CHECK-NEXT:    [[TMP1:%.*]] = and i32 [[X:%.*]], -9
 508 ; CHECK-NEXT:    ret i32 [[TMP1]]
 509 ;
 510   %and = and i32 %x, 8
 511   %cmp = icmp eq i32 %and, 0
 512   %xor = xor i32 %x, 8
 513   %x.xor = select i1 %cmp, i32 %x, i32 %xor
 514   ret i32 %x.xor
 515 }
 516
 517 define i32 @select_icmp_and_8_eq_0_xor_8(i32 %x) {
 518 ; CHECK-LABEL: @select_icmp_and_8_eq_0_xor_8(
 519 ; CHECK-NEXT:    [[TMP1:%.*]] = or i32 [[X:%.*]], 8
 520 ; CHECK-NEXT:    ret i32 [[TMP1]]
 521 ;
 522   %and = and i32 %x, 8
 523   %cmp = icmp eq i32 %and, 0
 524   %xor = xor i32 %x, 8
 525   %xor.x = select i1 %cmp, i32 %xor, i32 %x
 526   ret i32 %xor.x
 527 }
 528
 529 define i64 @select_icmp_x_and_8_eq_0_y_xor_8(i32 %x, i64 %y) {
 530 ; CHECK-LABEL: @select_icmp_x_and_8_eq_0_y_xor_8(
 531 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 8
 532 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
 533 ; CHECK-NEXT:    [[XOR:%.*]] = xor i64 [[Y:%.*]], 8
 534 ; CHECK-NEXT:    [[Y_XOR:%.*]] = select i1 [[CMP]], i64 [[Y]], i64 [[XOR]]
 535 ; CHECK-NEXT:    ret i64 [[Y_XOR]]
 536 ;
 537   %and = and i32 %x, 8
 538   %cmp = icmp eq i32 %and, 0
 539   %xor = xor i64 %y, 8
 540   %y.xor = select i1 %cmp, i64 %y, i64 %xor
 541   ret i64 %y.xor
 542 }
 543
 544 define i64 @select_icmp_x_and_8_ne_0_y_xor_8(i32 %x, i64 %y) {
 545 ; CHECK-LABEL: @select_icmp_x_and_8_ne_0_y_xor_8(
 546 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 8
 547 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
 548 ; CHECK-NEXT:    [[XOR:%.*]] = xor i64 [[Y:%.*]], 8
 549 ; CHECK-NEXT:    [[XOR_Y:%.*]] = select i1 [[CMP]], i64 [[XOR]], i64 [[Y]]
 550 ; CHECK-NEXT:    ret i64 [[XOR_Y]]
 551 ;
 552   %and = and i32 %x, 8
 553   %cmp = icmp eq i32 %and, 0
 554   %xor = xor i64 %y, 8
 555   %xor.y = select i1 %cmp, i64 %xor, i64 %y
 556   ret i64 %xor.y
 557 }
 558
 559 define i64 @select_icmp_x_and_8_ne_0_y_or_8(i32 %x, i64 %y) {
 560 ; CHECK-LABEL: @select_icmp_x_and_8_ne_0_y_or_8(
 561 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 8
 562 ; CHECK-NEXT:    [[TMP1:%.*]] = xor i32 [[AND]], 8
 563 ; CHECK-NEXT:    [[TMP2:%.*]] = zext i32 [[TMP1]] to i64
 564 ; CHECK-NEXT:    [[TMP3:%.*]] = or i64 [[TMP2]], [[Y:%.*]]
 565 ; CHECK-NEXT:    ret i64 [[TMP3]]
 566 ;
 567   %and = and i32 %x, 8
 568   %cmp = icmp eq i32 %and, 0
 569   %or = or i64 %y, 8
 570   %or.y = select i1 %cmp, i64 %or, i64 %y
 571   ret i64 %or.y
 572 }
 573
 574 define <2 x i64> @select_icmp_x_and_8_ne_0_y_or_8_vec(<2 x i32> %x, <2 x i64> %y) {
 575 ; CHECK-LABEL: @select_icmp_x_and_8_ne_0_y_or_8_vec(
 576 ; CHECK-NEXT:    [[AND:%.*]] = and <2 x i32> [[X:%.*]], <i32 8, i32 8>
 577 ; CHECK-NEXT:    [[TMP1:%.*]] = xor <2 x i32> [[AND]], <i32 8, i32 8>
 578 ; CHECK-NEXT:    [[TMP2:%.*]] = zext <2 x i32> [[TMP1]] to <2 x i64>
 579 ; CHECK-NEXT:    [[TMP3:%.*]] = or <2 x i64> [[TMP2]], [[Y:%.*]]
 580 ; CHECK-NEXT:    ret <2 x i64> [[TMP3]]
 581 ;
 582   %and = and <2 x i32> %x, <i32 8, i32 8>
 583   %cmp = icmp eq <2 x i32> %and, zeroinitializer
 584   %or = or <2 x i64> %y, <i64 8, i64 8>
 585   %or.y = select <2 x i1> %cmp, <2 x i64> %or, <2 x i64> %y
 586   ret <2 x i64> %or.y
 587 }
 588
 589 define i64 @select_icmp_x_and_8_ne_0_y_and_not_8(i32 %x, i64 %y) {
 590 ; CHECK-LABEL: @select_icmp_x_and_8_ne_0_y_and_not_8(
 591 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 8
 592 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
 593 ; CHECK-NEXT:    [[AND2:%.*]] = and i64 [[Y:%.*]], -9
 594 ; CHECK-NEXT:    [[AND_Y:%.*]] = select i1 [[CMP]], i64 [[AND2]], i64 [[Y]]
 595 ; CHECK-NEXT:    ret i64 [[AND_Y]]
 596 ;
 597   %and = and i32 %x, 8
 598   %cmp = icmp eq i32 %and, 0
 599   %and2 = and i64 %y, -9
 600   %and.y = select i1 %cmp, i64 %and2, i64 %y
 601   ret i64 %and.y
 602 }
 603
 604 define i32 @select_icmp_and_2147483648_ne_0_xor_2147483648(i32 %x) {
 605 ; CHECK-LABEL: @select_icmp_and_2147483648_ne_0_xor_2147483648(
 606 ; CHECK-NEXT:    [[TMP1:%.*]] = and i32 [[X:%.*]], 2147483647
 607 ; CHECK-NEXT:    ret i32 [[TMP1]]
 608 ;
 609   %and = and i32 %x, 2147483648
 610   %cmp = icmp eq i32 %and, 0
 611   %xor = xor i32 %x, 2147483648
 612   %x.xor = select i1 %cmp, i32 %x, i32 %xor
 613   ret i32 %x.xor
 614 }
 615
 616 define i32 @select_icmp_and_2147483648_eq_0_xor_2147483648(i32 %x) {
 617 ; CHECK-LABEL: @select_icmp_and_2147483648_eq_0_xor_2147483648(
 618 ; CHECK-NEXT:    [[TMP1:%.*]] = or i32 [[X:%.*]], -2147483648
 619 ; CHECK-NEXT:    ret i32 [[TMP1]]
 620 ;
 621   %and = and i32 %x, 2147483648
 622   %cmp = icmp eq i32 %and, 0
 623   %xor = xor i32 %x, 2147483648
 624   %xor.x = select i1 %cmp, i32 %xor, i32 %x
 625   ret i32 %xor.x
 626 }
 627
 628 define i32 @select_icmp_x_and_2147483648_ne_0_or_2147483648(i32 %x) {
 629 ; CHECK-LABEL: @select_icmp_x_and_2147483648_ne_0_or_2147483648(
 630 ; CHECK-NEXT:    [[OR:%.*]] = or i32 [[X:%.*]], -2147483648
 631 ; CHECK-NEXT:    ret i32 [[OR]]
 632 ;
 633   %and = and i32 %x, 2147483648
 634   %cmp = icmp eq i32 %and, 0
 635   %or = or i32 %x, 2147483648
 636   %or.x = select i1 %cmp, i32 %or, i32 %x
 637   ret i32 %or.x
 638 }
 639
 640 define i32 @test68(i32 %x, i32 %y) {
 641 ; CHECK-LABEL: @test68(
 642 ; CHECK-NEXT:    [[TMP1:%.*]] = lshr i32 [[X:%.*]], 6
 643 ; CHECK-NEXT:    [[TMP2:%.*]] = and i32 [[TMP1]], 2
 644 ; CHECK-NEXT:    [[TMP3:%.*]] = or i32 [[TMP2]], [[Y:%.*]]
 645 ; CHECK-NEXT:    ret i32 [[TMP3]]
 646 ;
 647   %and = and i32 %x, 128
 648   %cmp = icmp eq i32 %and, 0
 649   %or = or i32 %y, 2
 650   %select = select i1 %cmp, i32 %y, i32 %or
 651   ret i32 %select
 652 }
 653
 654 define <2 x i32> @test68vec(<2 x i32> %x, <2 x i32> %y) {
 655 ; CHECK-LABEL: @test68vec(
 656 ; CHECK-NEXT:    [[TMP1:%.*]] = lshr <2 x i32> [[X:%.*]], <i32 6, i32 6>
 657 ; CHECK-NEXT:    [[TMP2:%.*]] = and <2 x i32> [[TMP1]], <i32 2, i32 2>
 658 ; CHECK-NEXT:    [[TMP3:%.*]] = or <2 x i32> [[TMP2]], [[Y:%.*]]
 659 ; CHECK-NEXT:    ret <2 x i32> [[TMP3]]
 660 ;
 661   %and = and <2 x i32> %x, <i32 128, i32 128>
 662   %cmp = icmp eq <2 x i32> %and, zeroinitializer
 663   %or = or <2 x i32> %y, <i32 2, i32 2>
 664   %select = select <2 x i1> %cmp, <2 x i32> %y, <2 x i32> %or
 665   ret <2 x i32> %select
 666 }
 667
 668 define i32 @test68_xor(i32 %x, i32 %y) {
 669 ; CHECK-LABEL: @test68_xor(
 670 ; CHECK-NEXT:    [[TMP1:%.*]] = trunc i32 [[X:%.*]] to i8
 671 ; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt i8 [[TMP1]], -1
 672 ; CHECK-NEXT:    [[XOR:%.*]] = xor i32 [[Y:%.*]], 2
 673 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[Y]], i32 [[XOR]]
 674 ; CHECK-NEXT:    ret i32 [[SELECT]]
 675 ;
 676   %and = and i32 %x, 128
 677   %cmp = icmp eq i32 %and, 0
 678   %xor = xor i32 %y, 2
 679   %select = select i1 %cmp, i32 %y, i32 %xor
 680   ret i32 %select
 681 }
 682
 683 define i32 @test68_and(i32 %x, i32 %y) {
 684 ; CHECK-LABEL: @test68_and(
 685 ; CHECK-NEXT:    [[TMP1:%.*]] = trunc i32 [[X:%.*]] to i8
 686 ; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt i8 [[TMP1]], -1
 687 ; CHECK-NEXT:    [[AND2:%.*]] = and i32 [[Y:%.*]], -3
 688 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[Y]], i32 [[AND2]]
 689 ; CHECK-NEXT:    ret i32 [[SELECT]]
 690 ;
 691   %and = and i32 %x, 128
 692   %cmp = icmp eq i32 %and, 0
 693   %and2 = and i32 %y, -3
 694   %select = select i1 %cmp, i32 %y, i32 %and2
 695   ret i32 %select
 696 }
 697
 698 define i32 @test69(i32 %x, i32 %y) {
 699 ; CHECK-LABEL: @test69(
 700 ; CHECK-NEXT:    [[TMP1:%.*]] = lshr i32 [[X:%.*]], 6
 701 ; CHECK-NEXT:    [[TMP2:%.*]] = and i32 [[TMP1]], 2
 702 ; CHECK-NEXT:    [[TMP3:%.*]] = xor i32 [[TMP2]], 2
 703 ; CHECK-NEXT:    [[TMP4:%.*]] = or i32 [[TMP3]], [[Y:%.*]]
 704 ; CHECK-NEXT:    ret i32 [[TMP4]]
 705 ;
 706   %and = and i32 %x, 128
 707   %cmp = icmp ne i32 %and, 0
 708   %or = or i32 %y, 2
 709   %select = select i1 %cmp, i32 %y, i32 %or
 710   ret i32 %select
 711 }
 712
 713 define <2 x i32> @test69vec(<2 x i32> %x, <2 x i32> %y) {
 714 ; CHECK-LABEL: @test69vec(
 715 ; CHECK-NEXT:    [[TMP1:%.*]] = lshr <2 x i32> [[X:%.*]], <i32 6, i32 6>
 716 ; CHECK-NEXT:    [[TMP2:%.*]] = and <2 x i32> [[TMP1]], <i32 2, i32 2>
 717 ; CHECK-NEXT:    [[TMP3:%.*]] = xor <2 x i32> [[TMP2]], <i32 2, i32 2>
 718 ; CHECK-NEXT:    [[TMP4:%.*]] = or <2 x i32> [[TMP3]], [[Y:%.*]]
 719 ; CHECK-NEXT:    ret <2 x i32> [[TMP4]]
 720 ;
 721   %and = and <2 x i32> %x, <i32 128, i32 128>
 722   %cmp = icmp ne <2 x i32> %and, zeroinitializer
 723   %or = or <2 x i32> %y, <i32 2, i32 2>
 724   %select = select <2 x i1> %cmp, <2 x i32> %y, <2 x i32> %or
 725   ret <2 x i32> %select
 726 }
 727
 728 define i32 @test69_xor(i32 %x, i32 %y) {
 729 ; CHECK-LABEL: @test69_xor(
 730 ; CHECK-NEXT:    [[TMP1:%.*]] = trunc i32 [[X:%.*]] to i8
 731 ; CHECK-NEXT:    [[CMP:%.*]] = icmp slt i8 [[TMP1]], 0
 732 ; CHECK-NEXT:    [[XOR:%.*]] = xor i32 [[Y:%.*]], 2
 733 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[Y]], i32 [[XOR]]
 734 ; CHECK-NEXT:    ret i32 [[SELECT]]
 735 ;
 736   %and = and i32 %x, 128
 737   %cmp = icmp ne i32 %and, 0
 738   %xor = xor i32 %y, 2
 739   %select = select i1 %cmp, i32 %y, i32 %xor
 740   ret i32 %select
 741 }
 742
 743 define i32 @test69_and(i32 %x, i32 %y) {
 744 ; CHECK-LABEL: @test69_and(
 745 ; CHECK-NEXT:    [[TMP1:%.*]] = trunc i32 [[X:%.*]] to i8
 746 ; CHECK-NEXT:    [[CMP:%.*]] = icmp slt i8 [[TMP1]], 0
 747 ; CHECK-NEXT:    [[AND2:%.*]] = and i32 [[Y:%.*]], 2
 748 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[Y]], i32 [[AND2]]
 749 ; CHECK-NEXT:    ret i32 [[SELECT]]
 750 ;
 751   %and = and i32 %x, 128
 752   %cmp = icmp ne i32 %and, 0
 753   %and2 = and i32 %y, 2
 754   %select = select i1 %cmp, i32 %y, i32 %and2
 755   ret i32 %select
 756 }
 757
 758 define i8 @test70(i8 %x, i8 %y) {
 759 ; CHECK-LABEL: @test70(
 760 ; CHECK-NEXT:    [[CMP:%.*]] = icmp slt i8 [[X:%.*]], 0
 761 ; CHECK-NEXT:    [[OR:%.*]] = or i8 [[Y:%.*]], 2
 762 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i8 [[OR]], i8 [[Y]]
 763 ; CHECK-NEXT:    ret i8 [[SELECT]]
 764 ;
 765   %cmp = icmp slt i8 %x, 0
 766   %or = or i8 %y, 2
 767   %select = select i1 %cmp, i8 %or, i8 %y
 768   ret i8 %select
 769 }
 770
 771 define i32 @shift_no_xor_multiuse_or(i32 %x, i32 %y) {
 772 ; CHECK-LABEL: @shift_no_xor_multiuse_or(
 773 ; CHECK-NEXT:    [[OR:%.*]] = or i32 [[Y:%.*]], 2
 774 ; CHECK-NEXT:    [[AND:%.*]] = shl i32 [[X:%.*]], 1
 775 ; CHECK-NEXT:    [[TMP1:%.*]] = and i32 [[AND]], 2
 776 ; CHECK-NEXT:    [[TMP2:%.*]] = or i32 [[TMP1]], [[Y]]
 777 ; CHECK-NEXT:    [[RES:%.*]] = mul i32 [[TMP2]], [[OR]]
 778 ; CHECK-NEXT:    ret i32 [[RES]]
 779 ;
 780   %and = and i32 %x, 1
 781   %cmp = icmp eq i32 %and, 0
 782   %or = or i32 %y, 2
 783   %select = select i1 %cmp, i32 %y, i32 %or
 784   %res = mul i32 %select, %or ; to bump up use count of the Or
 785   ret i32 %res
 786 }
 787
 788 define i32 @shift_no_xor_multiuse_xor(i32 %x, i32 %y) {
 789 ; CHECK-LABEL: @shift_no_xor_multiuse_xor(
 790 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 1
 791 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
 792 ; CHECK-NEXT:    [[XOR:%.*]] = xor i32 [[Y:%.*]], 2
 793 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[Y]], i32 [[XOR]]
 794 ; CHECK-NEXT:    [[RES:%.*]] = mul i32 [[SELECT]], [[XOR]]
 795 ; CHECK-NEXT:    ret i32 [[RES]]
 796 ;
 797   %and = and i32 %x, 1
 798   %cmp = icmp eq i32 %and, 0
 799   %xor = xor i32 %y, 2
 800   %select = select i1 %cmp, i32 %y, i32 %xor
 801   %res = mul i32 %select, %xor ; to bump up use count of the Xor
 802   ret i32 %res
 803 }
 804
 805 define i32 @shift_no_xor_multiuse_and(i32 %x, i32 %y) {
 806 ; CHECK-LABEL: @shift_no_xor_multiuse_and(
 807 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 1
 808 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
 809 ; CHECK-NEXT:    [[AND2:%.*]] = and i32 [[Y:%.*]], -3
 810 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[Y]], i32 [[AND2]]
 811 ; CHECK-NEXT:    [[RES:%.*]] = mul i32 [[SELECT]], [[AND2]]
 812 ; CHECK-NEXT:    ret i32 [[RES]]
 813 ;
 814   %and = and i32 %x, 1
 815   %cmp = icmp eq i32 %and, 0
 816   %and2 = and i32 %y, -3
 817   %select = select i1 %cmp, i32 %y, i32 %and2
 818   %res = mul i32 %select, %and2 ; to bump up use count of the And
 819   ret i32 %res
 820 }
 821
 822 define i32 @no_shift_no_xor_multiuse_or(i32 %x, i32 %y) {
 823 ; CHECK-LABEL: @no_shift_no_xor_multiuse_or(
 824 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 4096
 825 ; CHECK-NEXT:    [[OR:%.*]] = or i32 [[Y:%.*]], 4096
 826 ; CHECK-NEXT:    [[TMP1:%.*]] = or i32 [[AND]], [[Y]]
 827 ; CHECK-NEXT:    [[RES:%.*]] = mul i32 [[TMP1]], [[OR]]
 828 ; CHECK-NEXT:    ret i32 [[RES]]
 829 ;
 830   %and = and i32 %x, 4096
 831   %cmp = icmp eq i32 %and, 0
 832   %or = or i32 %y, 4096
 833   %select = select i1 %cmp, i32 %y, i32 %or
 834   %res = mul i32 %select, %or ; to bump up use count of the Or
 835   ret i32 %res
 836 }
 837
 838 define i32 @no_shift_no_xor_multiuse_xor(i32 %x, i32 %y) {
 839 ; CHECK-LABEL: @no_shift_no_xor_multiuse_xor(
 840 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 4096
 841 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
 842 ; CHECK-NEXT:    [[XOR:%.*]] = xor i32 [[Y:%.*]], 4096
 843 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[Y]], i32 [[XOR]]
 844 ; CHECK-NEXT:    [[RES:%.*]] = mul i32 [[SELECT]], [[XOR]]
 845 ; CHECK-NEXT:    ret i32 [[RES]]
 846 ;
 847   %and = and i32 %x, 4096
 848   %cmp = icmp eq i32 %and, 0
 849   %xor = xor i32 %y, 4096
 850   %select = select i1 %cmp, i32 %y, i32 %xor
 851   %res = mul i32 %select, %xor ; to bump up use count of the Xor
 852   ret i32 %res
 853 }
 854
 855 define i32 @no_shift_no_xor_multiuse_and(i32 %x, i32 %y) {
 856 ; CHECK-LABEL: @no_shift_no_xor_multiuse_and(
 857 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 4096
 858 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
 859 ; CHECK-NEXT:    [[AND2:%.*]] = add i32 [[Y:%.*]], -4097
 860 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[Y]], i32 [[AND2]]
 861 ; CHECK-NEXT:    [[RES:%.*]] = mul i32 [[SELECT]], [[AND2]]
 862 ; CHECK-NEXT:    ret i32 [[RES]]
 863 ;
 864   %and = and i32 %x, 4096
 865   %cmp = icmp eq i32 %and, 0
 866   %and2 = add i32 %y, -4097
 867   %select = select i1 %cmp, i32 %y, i32 %and2
 868   %res = mul i32 %select, %and2 ; to bump up use count of the And
 869   ret i32 %res
 870 }
 871
 872 define i32 @no_shift_xor_multiuse_or(i32 %x, i32 %y) {
 873 ; CHECK-LABEL: @no_shift_xor_multiuse_or(
 874 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 4096
 875 ; CHECK-NEXT:    [[OR:%.*]] = or i32 [[Y:%.*]], 4096
 876 ; CHECK-NEXT:    [[TMP1:%.*]] = xor i32 [[AND]], 4096
 877 ; CHECK-NEXT:    [[TMP2:%.*]] = or i32 [[TMP1]], [[Y]]
 878 ; CHECK-NEXT:    [[RES:%.*]] = mul i32 [[TMP2]], [[OR]]
 879 ; CHECK-NEXT:    ret i32 [[RES]]
 880 ;
 881   %and = and i32 %x, 4096
 882   %cmp = icmp ne i32 0, %and
 883   %or = or i32 %y, 4096
 884   %select = select i1 %cmp, i32 %y, i32 %or
 885   %res = mul i32 %select, %or ; to bump up use count of the Or
 886   ret i32 %res
 887 }
 888
 889 define i32 @no_shift_xor_multiuse_xor(i32 %x, i32 %y) {
 890 ; CHECK-LABEL: @no_shift_xor_multiuse_xor(
 891 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 4096
 892 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
 893 ; CHECK-NEXT:    [[XOR:%.*]] = xor i32 [[Y:%.*]], 4096
 894 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[XOR]], i32 [[Y]]
 895 ; CHECK-NEXT:    [[RES:%.*]] = mul i32 [[SELECT]], [[XOR]]
 896 ; CHECK-NEXT:    ret i32 [[RES]]
 897 ;
 898   %and = and i32 %x, 4096
 899   %cmp = icmp ne i32 0, %and
 900   %xor = xor i32 %y, 4096
 901   %select = select i1 %cmp, i32 %y, i32 %xor
 902   %res = mul i32 %select, %xor ; to bump up use count of the Xor
 903   ret i32 %res
 904 }
 905
 906 define i32 @no_shift_xor_multiuse_and(i32 %x, i32 %y) {
 907 ; CHECK-LABEL: @no_shift_xor_multiuse_and(
 908 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 4096
 909 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
 910 ; CHECK-NEXT:    [[AND2:%.*]] = and i32 [[Y:%.*]], -4097
 911 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[AND2]], i32 [[Y]]
 912 ; CHECK-NEXT:    [[RES:%.*]] = mul i32 [[SELECT]], [[AND2]]
 913 ; CHECK-NEXT:    ret i32 [[RES]]
 914 ;
 915   %and = and i32 %x, 4096
 916   %cmp = icmp ne i32 0, %and
 917   %and2 = and i32 %y, -4097
 918   %select = select i1 %cmp, i32 %y, i32 %and2
 919   %res = mul i32 %select, %and2 ; to bump up use count of the And
 920   ret i32 %res
 921 }
 922
 923 define i32 @shift_xor_multiuse_or(i32 %x, i32 %y) {
 924 ; CHECK-LABEL: @shift_xor_multiuse_or(
 925 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 4096
 926 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
 927 ; CHECK-NEXT:    [[OR:%.*]] = or i32 [[Y:%.*]], 2048
 928 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[OR]], i32 [[Y]]
 929 ; CHECK-NEXT:    [[RES:%.*]] = mul i32 [[SELECT]], [[OR]]
 930 ; CHECK-NEXT:    ret i32 [[RES]]
 931 ;
 932   %and = and i32 %x, 4096
 933   %cmp = icmp ne i32 0, %and
 934   %or = or i32 %y, 2048
 935   %select = select i1 %cmp, i32 %y, i32 %or
 936   %res = mul i32 %select, %or ; to bump up use count of the Or
 937   ret i32 %res
 938 }
 939
 940 define i32 @shift_xor_multiuse_xor(i32 %x, i32 %y) {
 941 ; CHECK-LABEL: @shift_xor_multiuse_xor(
 942 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 4096
 943 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
 944 ; CHECK-NEXT:    [[XOR:%.*]] = xor i32 [[Y:%.*]], 2048
 945 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[XOR]], i32 [[Y]]
 946 ; CHECK-NEXT:    [[RES:%.*]] = mul i32 [[SELECT]], [[XOR]]
 947 ; CHECK-NEXT:    ret i32 [[RES]]
 948 ;
 949   %and = and i32 %x, 4096
 950   %cmp = icmp ne i32 0, %and
 951   %xor = xor i32 %y, 2048
 952   %select = select i1 %cmp, i32 %y, i32 %xor
 953   %res = mul i32 %select, %xor ; to bump up use count of the Xor
 954   ret i32 %res
 955 }
 956
 957 define i32 @shift_xor_multiuse_and(i32 %x, i32 %y) {
 958 ; CHECK-LABEL: @shift_xor_multiuse_and(
 959 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 4096
 960 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
 961 ; CHECK-NEXT:    [[AND2:%.*]] = and i32 [[Y:%.*]], -2049
 962 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[AND2]], i32 [[Y]]
 963 ; CHECK-NEXT:    [[RES:%.*]] = mul i32 [[SELECT]], [[AND2]]
 964 ; CHECK-NEXT:    ret i32 [[RES]]
 965 ;
 966   %and = and i32 %x, 4096
 967   %cmp = icmp ne i32 0, %and
 968   %and2 = and i32 %y, -2049
 969   %select = select i1 %cmp, i32 %y, i32 %and2
 970   %res = mul i32 %select, %and2 ; to bump up use count of the and
 971   ret i32 %res
 972 }
 973
 974 define i32 @shift_no_xor_multiuse_cmp(i32 %x, i32 %y, i32 %z, i32 %w) {
 975 ; CHECK-LABEL: @shift_no_xor_multiuse_cmp(
 976 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 1
 977 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
 978 ; CHECK-NEXT:    [[TMP1:%.*]] = shl nuw nsw i32 [[AND]], 1
 979 ; CHECK-NEXT:    [[TMP2:%.*]] = or i32 [[TMP1]], [[Y:%.*]]
 980 ; CHECK-NEXT:    [[SELECT2:%.*]] = select i1 [[CMP]], i32 [[Z:%.*]], i32 [[W:%.*]]
 981 ; CHECK-NEXT:    [[RES:%.*]] = mul i32 [[TMP2]], [[SELECT2]]
 982 ; CHECK-NEXT:    ret i32 [[RES]]
 983 ;
 984   %and = and i32 %x, 1
 985   %cmp = icmp eq i32 %and, 0
 986   %or = or i32 %y, 2
 987   %select = select i1 %cmp, i32 %y, i32 %or
 988   %select2 = select i1 %cmp, i32 %z, i32 %w ; to bump up use count of the cmp
 989   %res = mul i32 %select, %select2
 990   ret i32 %res
 991 }
 992
 993 define i32 @shift_no_xor_multiuse_cmp_with_xor(i32 %x, i32 %y, i32 %z, i32 %w) {
 994 ; CHECK-LABEL: @shift_no_xor_multiuse_cmp_with_xor(
 995 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 1
 996 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
 997 ; CHECK-NEXT:    [[XOR:%.*]] = xor i32 [[Y:%.*]], 2
 998 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[Y]], i32 [[XOR]]
 999 ; CHECK-NEXT:    [[SELECT2:%.*]] = select i1 [[CMP]], i32 [[Z:%.*]], i32 [[W:%.*]]
1000 ; CHECK-NEXT:    [[RES:%.*]] = mul i32 [[SELECT]], [[SELECT2]]
1001 ; CHECK-NEXT:    ret i32 [[RES]]
1002 ;
1003   %and = and i32 %x, 1
1004   %cmp = icmp eq i32 %and, 0
1005   %xor = xor i32 %y, 2
1006   %select = select i1 %cmp, i32 %y, i32 %xor
1007   %select2 = select i1 %cmp, i32 %z, i32 %w ; to bump up use count of the cmp
1008   %res = mul i32 %select, %select2
1009   ret i32 %res
1010 }
1011
1012 define i32 @shift_no_xor_multiuse_cmp_with_and(i32 %x, i32 %y, i32 %z, i32 %w) {
1013 ; CHECK-LABEL: @shift_no_xor_multiuse_cmp_with_and(
1014 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 1
1015 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
1016 ; CHECK-NEXT:    [[AND2:%.*]] = and i32 [[Y:%.*]], -3
1017 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[Y]], i32 [[AND2]]
1018 ; CHECK-NEXT:    [[SELECT2:%.*]] = select i1 [[CMP]], i32 [[Z:%.*]], i32 [[W:%.*]]
1019 ; CHECK-NEXT:    [[RES:%.*]] = mul i32 [[SELECT]], [[SELECT2]]
1020 ; CHECK-NEXT:    ret i32 [[RES]]
1021 ;
1022   %and = and i32 %x, 1
1023   %cmp = icmp eq i32 %and, 0
1024   %and2 = and i32 %y, -3
1025   %select = select i1 %cmp, i32 %y, i32 %and2
1026   %select2 = select i1 %cmp, i32 %z, i32 %w ; to bump up use count of the cmp
1027   %res = mul i32 %select, %select2
1028   ret i32 %res
1029 }
1030
1031 define i32 @no_shift_no_xor_multiuse_cmp(i32 %x, i32 %y, i32 %z, i32 %w) {
1032 ; CHECK-LABEL: @no_shift_no_xor_multiuse_cmp(
1033 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 4096
1034 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
1035 ; CHECK-NEXT:    [[TMP1:%.*]] = or i32 [[AND]], [[Y:%.*]]
1036 ; CHECK-NEXT:    [[SELECT2:%.*]] = select i1 [[CMP]], i32 [[Z:%.*]], i32 [[W:%.*]]
1037 ; CHECK-NEXT:    [[RES:%.*]] = mul i32 [[TMP1]], [[SELECT2]]
1038 ; CHECK-NEXT:    ret i32 [[RES]]
1039 ;
1040   %and = and i32 %x, 4096
1041   %cmp = icmp eq i32 %and, 0
1042   %or = or i32 %y, 4096
1043   %select = select i1 %cmp, i32 %y, i32 %or
1044   %select2 = select i1 %cmp, i32 %z, i32 %w ; to bump up use count of the cmp
1045   %res = mul i32 %select, %select2
1046   ret i32 %res
1047 }
1048
1049 define i32 @no_shift_no_xor_multiuse_cmp_with_xor(i32 %x, i32 %y, i32 %z, i32 %w) {
1050 ; CHECK-LABEL: @no_shift_no_xor_multiuse_cmp_with_xor(
1051 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 4096
1052 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
1053 ; CHECK-NEXT:    [[XOR:%.*]] = xor i32 [[Y:%.*]], 4096
1054 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[Y]], i32 [[XOR]]
1055 ; CHECK-NEXT:    [[SELECT2:%.*]] = select i1 [[CMP]], i32 [[Z:%.*]], i32 [[W:%.*]]
1056 ; CHECK-NEXT:    [[RES:%.*]] = mul i32 [[SELECT]], [[SELECT2]]
1057 ; CHECK-NEXT:    ret i32 [[RES]]
1058 ;
1059   %and = and i32 %x, 4096
1060   %cmp = icmp eq i32 %and, 0
1061   %xor = xor i32 %y, 4096
1062   %select = select i1 %cmp, i32 %y, i32 %xor
1063   %select2 = select i1 %cmp, i32 %z, i32 %w ; to bump up use count of the cmp
1064   %res = mul i32 %select, %select2
1065   ret i32 %res
1066 }
1067
1068 define i32 @no_shift_no_xor_multiuse_cmp_with_and(i32 %x, i32 %y, i32 %z, i32 %w) {
1069 ; CHECK-LABEL: @no_shift_no_xor_multiuse_cmp_with_and(
1070 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 4096
1071 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
1072 ; CHECK-NEXT:    [[AND2:%.*]] = and i32 [[Y:%.*]], -4097
1073 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[Y]], i32 [[AND2]]
1074 ; CHECK-NEXT:    [[SELECT2:%.*]] = select i1 [[CMP]], i32 [[Z:%.*]], i32 [[W:%.*]]
1075 ; CHECK-NEXT:    [[RES:%.*]] = mul i32 [[SELECT]], [[SELECT2]]
1076 ; CHECK-NEXT:    ret i32 [[RES]]
1077 ;
1078   %and = and i32 %x, 4096
1079   %cmp = icmp eq i32 %and, 0
1080   %and2 = and i32 %y, -4097
1081   %select = select i1 %cmp, i32 %y, i32 %and2
1082   %select2 = select i1 %cmp, i32 %z, i32 %w ; to bump up use count of the cmp
1083   %res = mul i32 %select, %select2
1084   ret i32 %res
1085 }
1086
1087 define i32 @no_shift_xor_multiuse_cmp(i32 %x, i32 %y, i32 %z, i32 %w) {
1088 ; CHECK-LABEL: @no_shift_xor_multiuse_cmp(
1089 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 4096
1090 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
1091 ; CHECK-NEXT:    [[TMP1:%.*]] = xor i32 [[AND]], 4096
1092 ; CHECK-NEXT:    [[TMP2:%.*]] = or i32 [[TMP1]], [[Y:%.*]]
1093 ; CHECK-NEXT:    [[SELECT2:%.*]] = select i1 [[CMP]], i32 [[W:%.*]], i32 [[Z:%.*]]
1094 ; CHECK-NEXT:    [[RES:%.*]] = mul i32 [[TMP2]], [[SELECT2]]
1095 ; CHECK-NEXT:    ret i32 [[RES]]
1096 ;
1097   %and = and i32 %x, 4096
1098   %cmp = icmp ne i32 0, %and
1099   %or = or i32 %y, 4096
1100   %select = select i1 %cmp, i32 %y, i32 %or
1101   %select2 = select i1 %cmp, i32 %z, i32 %w ; to bump up use count of the cmp
1102   %res = mul i32 %select, %select2
1103   ret i32 %res
1104 }
1105
1106 define i32 @no_shift_xor_multiuse_cmp_with_xor(i32 %x, i32 %y, i32 %z, i32 %w) {
1107 ; CHECK-LABEL: @no_shift_xor_multiuse_cmp_with_xor(
1108 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 4096
1109 ; CHECK-NEXT:    [[CMP:%.*]] = icmp ne i32 [[AND]], 0
1110 ; CHECK-NEXT:    [[XOR:%.*]] = xor i32 [[Y:%.*]], 4096
1111 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[Y]], i32 [[XOR]]
1112 ; CHECK-NEXT:    [[SELECT2:%.*]] = select i1 [[CMP]], i32 [[Z:%.*]], i32 [[W:%.*]]
1113 ; CHECK-NEXT:    [[RES:%.*]] = mul i32 [[SELECT]], [[SELECT2]]
1114 ; CHECK-NEXT:    ret i32 [[RES]]
1115 ;
1116   %and = and i32 %x, 4096
1117   %cmp = icmp ne i32 0, %and
1118   %xor = xor i32 %y, 4096
1119   %select = select i1 %cmp, i32 %y, i32 %xor
1120   %select2 = select i1 %cmp, i32 %z, i32 %w ; to bump up use count of the cmp
1121   %res = mul i32 %select, %select2
1122   ret i32 %res
1123 }
1124
1125 define i32 @no_shift_xor_multiuse_cmp_with_and(i32 %x, i32 %y, i32 %z, i32 %w) {
1126 ; CHECK-LABEL: @no_shift_xor_multiuse_cmp_with_and(
1127 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 4096
1128 ; CHECK-NEXT:    [[CMP:%.*]] = icmp ne i32 [[AND]], 0
1129 ; CHECK-NEXT:    [[AND2:%.*]] = and i32 [[Y:%.*]], -4097
1130 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[Y]], i32 [[AND2]]
1131 ; CHECK-NEXT:    [[SELECT2:%.*]] = select i1 [[CMP]], i32 [[Z:%.*]], i32 [[W:%.*]]
1132 ; CHECK-NEXT:    [[RES:%.*]] = mul i32 [[SELECT]], [[SELECT2]]
1133 ; CHECK-NEXT:    ret i32 [[RES]]
1134 ;
1135   %and = and i32 %x, 4096
1136   %cmp = icmp ne i32 0, %and
1137   %and2 = and i32 %y, -4097
1138   %select = select i1 %cmp, i32 %y, i32 %and2
1139   %select2 = select i1 %cmp, i32 %z, i32 %w ; to bump up use count of the cmp
1140   %res = mul i32 %select, %select2
1141   ret i32 %res
1142 }
1143
1144 define i32 @shift_xor_multiuse_cmp(i32 %x, i32 %y, i32 %z, i32 %w) {
1145 ; CHECK-LABEL: @shift_xor_multiuse_cmp(
1146 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 4096
1147 ; CHECK-NEXT:    [[CMP:%.*]] = icmp ne i32 [[AND]], 0
1148 ; CHECK-NEXT:    [[OR:%.*]] = or i32 [[Y:%.*]], 2048
1149 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[Y]], i32 [[OR]]
1150 ; CHECK-NEXT:    [[SELECT2:%.*]] = select i1 [[CMP]], i32 [[Z:%.*]], i32 [[W:%.*]]
1151 ; CHECK-NEXT:    [[RES:%.*]] = mul i32 [[SELECT]], [[SELECT2]]
1152 ; CHECK-NEXT:    ret i32 [[RES]]
1153 ;
1154   %and = and i32 %x, 4096
1155   %cmp = icmp ne i32 0, %and
1156   %or = or i32 %y, 2048
1157   %select = select i1 %cmp, i32 %y, i32 %or
1158   %select2 = select i1 %cmp, i32 %z, i32 %w ; to bump up use count of the cmp
1159   %res = mul i32 %select, %select2
1160   ret i32 %res
1161 }
1162
1163 define i32 @shift_xor_multiuse_cmp_with_xor(i32 %x, i32 %y, i32 %z, i32 %w) {
1164 ; CHECK-LABEL: @shift_xor_multiuse_cmp_with_xor(
1165 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 4096
1166 ; CHECK-NEXT:    [[CMP:%.*]] = icmp ne i32 [[AND]], 0
1167 ; CHECK-NEXT:    [[XOR:%.*]] = xor i32 [[Y:%.*]], 2048
1168 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[Y]], i32 [[XOR]]
1169 ; CHECK-NEXT:    [[SELECT2:%.*]] = select i1 [[CMP]], i32 [[Z:%.*]], i32 [[W:%.*]]
1170 ; CHECK-NEXT:    [[RES:%.*]] = mul i32 [[SELECT]], [[SELECT2]]
1171 ; CHECK-NEXT:    ret i32 [[RES]]
1172 ;
1173   %and = and i32 %x, 4096
1174   %cmp = icmp ne i32 0, %and
1175   %xor = xor i32 %y, 2048
1176   %select = select i1 %cmp, i32 %y, i32 %xor
1177   %select2 = select i1 %cmp, i32 %z, i32 %w ; to bump up use count of the cmp
1178   %res = mul i32 %select, %select2
1179   ret i32 %res
1180 }
1181
1182 define i32 @shift_xor_multiuse_cmp_with_and(i32 %x, i32 %y, i32 %z, i32 %w) {
1183 ; CHECK-LABEL: @shift_xor_multiuse_cmp_with_and(
1184 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 4096
1185 ; CHECK-NEXT:    [[CMP:%.*]] = icmp ne i32 [[AND]], 0
1186 ; CHECK-NEXT:    [[AND2:%.*]] = and i32 [[Y:%.*]], -2049
1187 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[Y]], i32 [[AND2]]
1188 ; CHECK-NEXT:    [[SELECT2:%.*]] = select i1 [[CMP]], i32 [[Z:%.*]], i32 [[W:%.*]]
1189 ; CHECK-NEXT:    [[RES:%.*]] = mul i32 [[SELECT]], [[SELECT2]]
1190 ; CHECK-NEXT:    ret i32 [[RES]]
1191 ;
1192   %and = and i32 %x, 4096
1193   %cmp = icmp ne i32 0, %and
1194   %and2 = and i32 %y, -2049
1195   %select = select i1 %cmp, i32 %y, i32 %and2
1196   %select2 = select i1 %cmp, i32 %z, i32 %w ; to bump up use count of the cmp
1197   %res = mul i32 %select, %select2
1198   ret i32 %res
1199 }
1200
1201 define i32 @shift_no_xor_multiuse_cmp_or(i32 %x, i32 %y, i32 %z, i32 %w) {
1202 ; CHECK-LABEL: @shift_no_xor_multiuse_cmp_or(
1203 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 1
1204 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
1205 ; CHECK-NEXT:    [[OR:%.*]] = or i32 [[Y:%.*]], 2
1206 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[Y]], i32 [[OR]]
1207 ; CHECK-NEXT:    [[SELECT2:%.*]] = select i1 [[CMP]], i32 [[Z:%.*]], i32 [[W:%.*]]
1208 ; CHECK-NEXT:    [[RES:%.*]] = mul i32 [[SELECT]], [[SELECT2]]
1209 ; CHECK-NEXT:    [[RES2:%.*]] = mul i32 [[RES]], [[OR]]
1210 ; CHECK-NEXT:    ret i32 [[RES2]]
1211 ;
1212   %and = and i32 %x, 1
1213   %cmp = icmp eq i32 %and, 0
1214   %or = or i32 %y, 2
1215   %select = select i1 %cmp, i32 %y, i32 %or
1216   %select2 = select i1 %cmp, i32 %z, i32 %w ; to bump up use count of the cmp
1217   %res = mul i32 %select, %select2
1218   %res2 = mul i32 %res, %or ; to bump up the use count of the or
1219   ret i32 %res2
1220 }
1221
1222 define i32 @shift_no_xor_multiuse_cmp_xor(i32 %x, i32 %y, i32 %z, i32 %w) {
1223 ; CHECK-LABEL: @shift_no_xor_multiuse_cmp_xor(
1224 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 1
1225 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
1226 ; CHECK-NEXT:    [[XOR:%.*]] = xor i32 [[Y:%.*]], 2
1227 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[Y]], i32 [[XOR]]
1228 ; CHECK-NEXT:    [[SELECT2:%.*]] = select i1 [[CMP]], i32 [[Z:%.*]], i32 [[W:%.*]]
1229 ; CHECK-NEXT:    [[RES:%.*]] = mul i32 [[SELECT]], [[SELECT2]]
1230 ; CHECK-NEXT:    [[RES2:%.*]] = mul i32 [[RES]], [[XOR]]
1231 ; CHECK-NEXT:    ret i32 [[RES2]]
1232 ;
1233   %and = and i32 %x, 1
1234   %cmp = icmp eq i32 %and, 0
1235   %xor = xor i32 %y, 2
1236   %select = select i1 %cmp, i32 %y, i32 %xor
1237   %select2 = select i1 %cmp, i32 %z, i32 %w ; to bump up use count of the cmp
1238   %res = mul i32 %select, %select2
1239   %res2 = mul i32 %res, %xor ; to bump up the use count of the xor
1240   ret i32 %res2
1241 }
1242
1243 define i32 @shift_no_xor_multiuse_cmp_and(i32 %x, i32 %y, i32 %z, i32 %w) {
1244 ; CHECK-LABEL: @shift_no_xor_multiuse_cmp_and(
1245 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 1
1246 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
1247 ; CHECK-NEXT:    [[AND2:%.*]] = and i32 [[Y:%.*]], -3
1248 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[Y]], i32 [[AND2]]
1249 ; CHECK-NEXT:    [[SELECT2:%.*]] = select i1 [[CMP]], i32 [[Z:%.*]], i32 [[W:%.*]]
1250 ; CHECK-NEXT:    [[RES:%.*]] = mul i32 [[SELECT]], [[SELECT2]]
1251 ; CHECK-NEXT:    [[RES2:%.*]] = mul i32 [[RES]], [[AND2]]
1252 ; CHECK-NEXT:    ret i32 [[RES2]]
1253 ;
1254   %and = and i32 %x, 1
1255   %cmp = icmp eq i32 %and, 0
1256   %and2 = and i32 %y, -3
1257   %select = select i1 %cmp, i32 %y, i32 %and2
1258   %select2 = select i1 %cmp, i32 %z, i32 %w ; to bump up use count of the cmp
1259   %res = mul i32 %select, %select2
1260   %res2 = mul i32 %res, %and2 ; to bump up the use count of the and
1261   ret i32 %res2
1262 }
1263
1264 define i32 @no_shift_no_xor_multiuse_cmp_or(i32 %x, i32 %y, i32 %z, i32 %w) {
1265 ; CHECK-LABEL: @no_shift_no_xor_multiuse_cmp_or(
1266 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 4096
1267 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
1268 ; CHECK-NEXT:    [[OR:%.*]] = or i32 [[Y:%.*]], 4096
1269 ; CHECK-NEXT:    [[TMP1:%.*]] = or i32 [[AND]], [[Y]]
1270 ; CHECK-NEXT:    [[SELECT2:%.*]] = select i1 [[CMP]], i32 [[Z:%.*]], i32 [[W:%.*]]
1271 ; CHECK-NEXT:    [[RES:%.*]] = mul i32 [[TMP1]], [[SELECT2]]
1272 ; CHECK-NEXT:    [[RES2:%.*]] = mul i32 [[RES]], [[OR]]
1273 ; CHECK-NEXT:    ret i32 [[RES2]]
1274 ;
1275   %and = and i32 %x, 4096
1276   %cmp = icmp eq i32 %and, 0
1277   %or = or i32 %y, 4096
1278   %select = select i1 %cmp, i32 %y, i32 %or
1279   %select2 = select i1 %cmp, i32 %z, i32 %w ; to bump up use count of the cmp
1280   %res = mul i32 %select, %select2
1281   %res2 = mul i32 %res, %or ; to bump up the use count of the or
1282   ret i32 %res2
1283 }
1284
1285 define i32 @no_shift_no_xor_multiuse_cmp_xor(i32 %x, i32 %y, i32 %z, i32 %w) {
1286 ; CHECK-LABEL: @no_shift_no_xor_multiuse_cmp_xor(
1287 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 4096
1288 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
1289 ; CHECK-NEXT:    [[XOR:%.*]] = xor i32 [[Y:%.*]], 4096
1290 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[Y]], i32 [[XOR]]
1291 ; CHECK-NEXT:    [[SELECT2:%.*]] = select i1 [[CMP]], i32 [[Z:%.*]], i32 [[W:%.*]]
1292 ; CHECK-NEXT:    [[RES:%.*]] = mul i32 [[SELECT]], [[SELECT2]]
1293 ; CHECK-NEXT:    [[RES2:%.*]] = mul i32 [[RES]], [[XOR]]
1294 ; CHECK-NEXT:    ret i32 [[RES2]]
1295 ;
1296   %and = and i32 %x, 4096
1297   %cmp = icmp eq i32 %and, 0
1298   %xor = xor i32 %y, 4096
1299   %select = select i1 %cmp, i32 %y, i32 %xor
1300   %select2 = select i1 %cmp, i32 %z, i32 %w ; to bump up use count of the cmp
1301   %res = mul i32 %select, %select2
1302   %res2 = mul i32 %res, %xor ; to bump up the use count of the xor
1303   ret i32 %res2
1304 }
1305
1306 define i32 @no_shift_no_xor_multiuse_cmp_and(i32 %x, i32 %y, i32 %z, i32 %w) {
1307 ; CHECK-LABEL: @no_shift_no_xor_multiuse_cmp_and(
1308 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 4096
1309 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[AND]], 0
1310 ; CHECK-NEXT:    [[AND2:%.*]] = and i32 [[Y:%.*]], -4097
1311 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[Y]], i32 [[AND2]]
1312 ; CHECK-NEXT:    [[SELECT2:%.*]] = select i1 [[CMP]], i32 [[Z:%.*]], i32 [[W:%.*]]
1313 ; CHECK-NEXT:    [[RES:%.*]] = mul i32 [[SELECT]], [[SELECT2]]
1314 ; CHECK-NEXT:    [[RES2:%.*]] = mul i32 [[RES]], [[AND2]]
1315 ; CHECK-NEXT:    ret i32 [[RES2]]
1316 ;
1317   %and = and i32 %x, 4096
1318   %cmp = icmp eq i32 %and, 0
1319   %and2 = and i32 %y, -4097
1320   %select = select i1 %cmp, i32 %y, i32 %and2
1321   %select2 = select i1 %cmp, i32 %z, i32 %w ; to bump up use count of the cmp
1322   %res = mul i32 %select, %select2
1323   %res2 = mul i32 %res, %and2 ; to bump up the use count of the and
1324   ret i32 %res2
1325 }
1326
1327 define i32 @no_shift_xor_multiuse_cmp_or(i32 %x, i32 %y, i32 %z, i32 %w) {
1328 ; CHECK-LABEL: @no_shift_xor_multiuse_cmp_or(
1329 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 4096
1330 ; CHECK-NEXT:    [[CMP:%.*]] = icmp ne i32 [[AND]], 0
1331 ; CHECK-NEXT:    [[OR:%.*]] = or i32 [[Y:%.*]], 4096
1332 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[Y]], i32 [[OR]]
1333 ; CHECK-NEXT:    [[SELECT2:%.*]] = select i1 [[CMP]], i32 [[Z:%.*]], i32 [[W:%.*]]
1334 ; CHECK-NEXT:    [[RES:%.*]] = mul i32 [[SELECT]], [[SELECT2]]
1335 ; CHECK-NEXT:    [[RES2:%.*]] = mul i32 [[RES]], [[OR]]
1336 ; CHECK-NEXT:    ret i32 [[RES2]]
1337 ;
1338   %and = and i32 %x, 4096
1339   %cmp = icmp ne i32 0, %and
1340   %or = or i32 %y, 4096
1341   %select = select i1 %cmp, i32 %y, i32 %or
1342   %select2 = select i1 %cmp, i32 %z, i32 %w ; to bump up use count of the cmp
1343   %res = mul i32 %select, %select2
1344   %res2 = mul i32 %res, %or ; to bump up the use count of the or
1345   ret i32 %res2
1346 }
1347
1348 define i32 @no_shift_xor_multiuse_cmp_xor(i32 %x, i32 %y, i32 %z, i32 %w) {
1349 ; CHECK-LABEL: @no_shift_xor_multiuse_cmp_xor(
1350 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 4096
1351 ; CHECK-NEXT:    [[CMP:%.*]] = icmp ne i32 [[AND]], 0
1352 ; CHECK-NEXT:    [[XOR:%.*]] = xor i32 [[Y:%.*]], 4096
1353 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[Y]], i32 [[XOR]]
1354 ; CHECK-NEXT:    [[SELECT2:%.*]] = select i1 [[CMP]], i32 [[Z:%.*]], i32 [[W:%.*]]
1355 ; CHECK-NEXT:    [[RES:%.*]] = mul i32 [[SELECT]], [[SELECT2]]
1356 ; CHECK-NEXT:    [[RES2:%.*]] = mul i32 [[RES]], [[XOR]]
1357 ; CHECK-NEXT:    ret i32 [[RES2]]
1358 ;
1359   %and = and i32 %x, 4096
1360   %cmp = icmp ne i32 0, %and
1361   %xor = xor i32 %y, 4096
1362   %select = select i1 %cmp, i32 %y, i32 %xor
1363   %select2 = select i1 %cmp, i32 %z, i32 %w ; to bump up use count of the cmp
1364   %res = mul i32 %select, %select2
1365   %res2 = mul i32 %res, %xor ; to bump up the use count of the xor
1366   ret i32 %res2
1367 }
1368
1369 define i32 @no_shift_xor_multiuse_cmp_and(i32 %x, i32 %y, i32 %z, i32 %w) {
1370 ; CHECK-LABEL: @no_shift_xor_multiuse_cmp_and(
1371 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 4096
1372 ; CHECK-NEXT:    [[CMP:%.*]] = icmp ne i32 [[AND]], 0
1373 ; CHECK-NEXT:    [[AND2:%.*]] = and i32 [[Y:%.*]], -4097
1374 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[Y]], i32 [[AND2]]
1375 ; CHECK-NEXT:    [[SELECT2:%.*]] = select i1 [[CMP]], i32 [[Z:%.*]], i32 [[W:%.*]]
1376 ; CHECK-NEXT:    [[RES:%.*]] = mul i32 [[SELECT]], [[SELECT2]]
1377 ; CHECK-NEXT:    [[RES2:%.*]] = mul i32 [[RES]], [[AND2]]
1378 ; CHECK-NEXT:    ret i32 [[RES2]]
1379 ;
1380   %and = and i32 %x, 4096
1381   %cmp = icmp ne i32 0, %and
1382   %and2 = and i32 %y, -4097
1383   %select = select i1 %cmp, i32 %y, i32 %and2
1384   %select2 = select i1 %cmp, i32 %z, i32 %w ; to bump up use count of the cmp
1385   %res = mul i32 %select, %select2
1386   %res2 = mul i32 %res, %and2 ; to bump up the use count of the and
1387   ret i32 %res2
1388 }
1389
1390 define i32 @shift_xor_multiuse_cmp_or(i32 %x, i32 %y, i32 %z, i32 %w) {
1391 ; CHECK-LABEL: @shift_xor_multiuse_cmp_or(
1392 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 4096
1393 ; CHECK-NEXT:    [[CMP:%.*]] = icmp ne i32 [[AND]], 0
1394 ; CHECK-NEXT:    [[OR:%.*]] = or i32 [[Y:%.*]], 2048
1395 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[Y]], i32 [[OR]]
1396 ; CHECK-NEXT:    [[SELECT2:%.*]] = select i1 [[CMP]], i32 [[Z:%.*]], i32 [[W:%.*]]
1397 ; CHECK-NEXT:    [[RES:%.*]] = mul i32 [[SELECT]], [[SELECT2]]
1398 ; CHECK-NEXT:    [[RES2:%.*]] = mul i32 [[RES]], [[OR]]
1399 ; CHECK-NEXT:    ret i32 [[RES2]]
1400 ;
1401   %and = and i32 %x, 4096
1402   %cmp = icmp ne i32 0, %and
1403   %or = or i32 %y, 2048
1404   %select = select i1 %cmp, i32 %y, i32 %or
1405   %select2 = select i1 %cmp, i32 %z, i32 %w ; to bump up use count of the cmp
1406   %res = mul i32 %select, %select2
1407   %res2 = mul i32 %res, %or ; to bump up the use count of the or
1408   ret i32 %res2
1409 }
1410
1411 define i32 @shift_xor_multiuse_cmp_xor(i32 %x, i32 %y, i32 %z, i32 %w) {
1412 ; CHECK-LABEL: @shift_xor_multiuse_cmp_xor(
1413 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 4096
1414 ; CHECK-NEXT:    [[CMP:%.*]] = icmp ne i32 [[AND]], 0
1415 ; CHECK-NEXT:    [[XOR:%.*]] = xor i32 [[Y:%.*]], 2048
1416 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[Y]], i32 [[XOR]]
1417 ; CHECK-NEXT:    [[SELECT2:%.*]] = select i1 [[CMP]], i32 [[Z:%.*]], i32 [[W:%.*]]
1418 ; CHECK-NEXT:    [[RES:%.*]] = mul i32 [[SELECT]], [[SELECT2]]
1419 ; CHECK-NEXT:    [[RES2:%.*]] = mul i32 [[RES]], [[XOR]]
1420 ; CHECK-NEXT:    ret i32 [[RES2]]
1421 ;
1422   %and = and i32 %x, 4096
1423   %cmp = icmp ne i32 0, %and
1424   %xor = xor i32 %y, 2048
1425   %select = select i1 %cmp, i32 %y, i32 %xor
1426   %select2 = select i1 %cmp, i32 %z, i32 %w ; to bump up use count of the cmp
1427   %res = mul i32 %select, %select2
1428   %res2 = mul i32 %res, %xor ; to bump up the use count of the xor
1429   ret i32 %res2
1430 }
1431
1432 define i32 @shift_xor_multiuse_cmp_and(i32 %x, i32 %y, i32 %z, i32 %w) {
1433 ; CHECK-LABEL: @shift_xor_multiuse_cmp_and(
1434 ; CHECK-NEXT:    [[AND:%.*]] = and i32 [[X:%.*]], 4096
1435 ; CHECK-NEXT:    [[CMP:%.*]] = icmp ne i32 [[AND]], 0
1436 ; CHECK-NEXT:    [[AND2:%.*]] = and i32 [[Y:%.*]], 2048
1437 ; CHECK-NEXT:    [[SELECT:%.*]] = select i1 [[CMP]], i32 [[Y]], i32 [[AND2]]
1438 ; CHECK-NEXT:    [[SELECT2:%.*]] = select i1 [[CMP]], i32 [[Z:%.*]], i32 [[W:%.*]]
1439 ; CHECK-NEXT:    [[RES:%.*]] = mul i32 [[SELECT]], [[SELECT2]]
1440 ; CHECK-NEXT:    [[RES2:%.*]] = mul i32 [[RES]], [[AND2]]
1441 ; CHECK-NEXT:    ret i32 [[RES2]]
1442 ;
1443   %and = and i32 %x, 4096
1444   %cmp = icmp ne i32 0, %and
1445   %and2 = and i32 %y, 2048
1446   %select = select i1 %cmp, i32 %y, i32 %and2
1447   %select2 = select i1 %cmp, i32 %z, i32 %w ; to bump up use count of the cmp
1448   %res = mul i32 %select, %select2
1449   %res2 = mul i32 %res, %and2 ; to bump up the use count of the and
1450   ret i32 %res2
1451 }