test/Transforms/InstSimplify/icmp-ranges.ll

   1 ; RUN: opt < %s -instsimplify -S | FileCheck %s
   2
   3 ; Cycle through all pairs of predicates to test
   4 ; simplification of range-intersection or range-union.
   5
   6 ; eq
   7 ; x == 13 && x == 17
   8
   9 define i1 @and_eq_eq(i8 %x) {
  10 ; CHECK-LABEL: @and_eq_eq(
  11 ; CHECK-NEXT:    ret i1 false
  12 ;
  13   %a = icmp eq i8 %x, 13
  14   %b = icmp eq i8 %x, 17
  15   %c = and i1 %a, %b
  16   ret i1 %c
  17 }
  18
  19 ; x == 13 && x != 17
  20
  21 define i1 @and_eq_ne(i8 %x) {
  22 ; CHECK-LABEL: @and_eq_ne(
  23 ; CHECK-NEXT:    [[A:%.*]] = icmp eq i8 %x, 13
  24 ; CHECK-NEXT:    ret i1 [[A]]
  25 ;
  26   %a = icmp eq i8 %x, 13
  27   %b = icmp ne i8 %x, 17
  28   %c = and i1 %a, %b
  29   ret i1 %c
  30 }
  31
  32 ; x == 13 && x >=s 17
  33
  34 define i1 @and_eq_sge(i8 %x) {
  35 ; CHECK-LABEL: @and_eq_sge(
  36 ; CHECK-NEXT:    ret i1 false
  37 ;
  38   %a = icmp eq i8 %x, 13
  39   %b = icmp sge i8 %x, 17
  40   %c = and i1 %a, %b
  41   ret i1 %c
  42 }
  43
  44 ; x == 13 && x >s 17
  45
  46 define i1 @and_eq_sgt(i8 %x) {
  47 ; CHECK-LABEL: @and_eq_sgt(
  48 ; CHECK-NEXT:    ret i1 false
  49 ;
  50   %a = icmp eq i8 %x, 13
  51   %b = icmp sgt i8 %x, 17
  52   %c = and i1 %a, %b
  53   ret i1 %c
  54 }
  55
  56 ; x == 13 && x <=s 17
  57
  58 define i1 @and_eq_sle(i8 %x) {
  59 ; CHECK-LABEL: @and_eq_sle(
  60 ; CHECK-NEXT:    [[A:%.*]] = icmp eq i8 %x, 13
  61 ; CHECK-NEXT:    ret i1 [[A]]
  62 ;
  63   %a = icmp eq i8 %x, 13
  64   %b = icmp sle i8 %x, 17
  65   %c = and i1 %a, %b
  66   ret i1 %c
  67 }
  68
  69 ; x == 13 && x <s 17
  70
  71 define i1 @and_eq_slt(i8 %x) {
  72 ; CHECK-LABEL: @and_eq_slt(
  73 ; CHECK-NEXT:    [[A:%.*]] = icmp eq i8 %x, 13
  74 ; CHECK-NEXT:    ret i1 [[A]]
  75 ;
  76   %a = icmp eq i8 %x, 13
  77   %b = icmp slt i8 %x, 17
  78   %c = and i1 %a, %b
  79   ret i1 %c
  80 }
  81
  82 ; x == 13 && x >=u 17
  83
  84 define i1 @and_eq_uge(i8 %x) {
  85 ; CHECK-LABEL: @and_eq_uge(
  86 ; CHECK-NEXT:    ret i1 false
  87 ;
  88   %a = icmp eq i8 %x, 13
  89   %b = icmp uge i8 %x, 17
  90   %c = and i1 %a, %b
  91   ret i1 %c
  92 }
  93
  94 ; x == 13 && x >u 17
  95
  96 define i1 @and_eq_ugt(i8 %x) {
  97 ; CHECK-LABEL: @and_eq_ugt(
  98 ; CHECK-NEXT:    ret i1 false
  99 ;
 100   %a = icmp eq i8 %x, 13
 101   %b = icmp ugt i8 %x, 17
 102   %c = and i1 %a, %b
 103   ret i1 %c
 104 }
 105
 106 ; x == 13 && x <=u 17
 107
 108 define i1 @and_eq_ule(i8 %x) {
 109 ; CHECK-LABEL: @and_eq_ule(
 110 ; CHECK-NEXT:    [[A:%.*]] = icmp eq i8 %x, 13
 111 ; CHECK-NEXT:    ret i1 [[A]]
 112 ;
 113   %a = icmp eq i8 %x, 13
 114   %b = icmp ule i8 %x, 17
 115   %c = and i1 %a, %b
 116   ret i1 %c
 117 }
 118
 119 ; x == 13 && x <u 17
 120
 121 define i1 @and_eq_ult(i8 %x) {
 122 ; CHECK-LABEL: @and_eq_ult(
 123 ; CHECK-NEXT:    [[A:%.*]] = icmp eq i8 %x, 13
 124 ; CHECK-NEXT:    ret i1 [[A]]
 125 ;
 126   %a = icmp eq i8 %x, 13
 127   %b = icmp ult i8 %x, 17
 128   %c = and i1 %a, %b
 129   ret i1 %c
 130 }
 131
 132 ; ne
 133 ; x != 13 && x == 17
 134
 135 define i1 @and_ne_eq(i8 %x) {
 136 ; CHECK-LABEL: @and_ne_eq(
 137 ; CHECK-NEXT:    [[B:%.*]] = icmp eq i8 %x, 17
 138 ; CHECK-NEXT:    ret i1 [[B]]
 139 ;
 140   %a = icmp ne i8 %x, 13
 141   %b = icmp eq i8 %x, 17
 142   %c = and i1 %a, %b
 143   ret i1 %c
 144 }
 145
 146 ; x != 13 && x != 17
 147
 148 define i1 @and_ne_ne(i8 %x) {
 149 ; CHECK-LABEL: @and_ne_ne(
 150 ; CHECK-NEXT:    [[A:%.*]] = icmp ne i8 %x, 13
 151 ; CHECK-NEXT:    [[B:%.*]] = icmp ne i8 %x, 17
 152 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
 153 ; CHECK-NEXT:    ret i1 [[C]]
 154 ;
 155   %a = icmp ne i8 %x, 13
 156   %b = icmp ne i8 %x, 17
 157   %c = and i1 %a, %b
 158   ret i1 %c
 159 }
 160
 161 ; x != 13 && x >=s 17
 162
 163 define i1 @and_ne_sge(i8 %x) {
 164 ; CHECK-LABEL: @and_ne_sge(
 165 ; CHECK-NEXT:    [[B:%.*]] = icmp sge i8 %x, 17
 166 ; CHECK-NEXT:    ret i1 [[B]]
 167 ;
 168   %a = icmp ne i8 %x, 13
 169   %b = icmp sge i8 %x, 17
 170   %c = and i1 %a, %b
 171   ret i1 %c
 172 }
 173
 174 ; x != 13 && x >s 17
 175
 176 define i1 @and_ne_sgt(i8 %x) {
 177 ; CHECK-LABEL: @and_ne_sgt(
 178 ; CHECK-NEXT:    [[B:%.*]] = icmp sgt i8 %x, 17
 179 ; CHECK-NEXT:    ret i1 [[B]]
 180 ;
 181   %a = icmp ne i8 %x, 13
 182   %b = icmp sgt i8 %x, 17
 183   %c = and i1 %a, %b
 184   ret i1 %c
 185 }
 186
 187 ; x != 13 && x <=s 17
 188
 189 define i1 @and_ne_sle(i8 %x) {
 190 ; CHECK-LABEL: @and_ne_sle(
 191 ; CHECK-NEXT:    [[A:%.*]] = icmp ne i8 %x, 13
 192 ; CHECK-NEXT:    [[B:%.*]] = icmp sle i8 %x, 17
 193 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
 194 ; CHECK-NEXT:    ret i1 [[C]]
 195 ;
 196   %a = icmp ne i8 %x, 13
 197   %b = icmp sle i8 %x, 17
 198   %c = and i1 %a, %b
 199   ret i1 %c
 200 }
 201
 202 ; x != 13 && x <s 17
 203
 204 define i1 @and_ne_slt(i8 %x) {
 205 ; CHECK-LABEL: @and_ne_slt(
 206 ; CHECK-NEXT:    [[A:%.*]] = icmp ne i8 %x, 13
 207 ; CHECK-NEXT:    [[B:%.*]] = icmp slt i8 %x, 17
 208 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
 209 ; CHECK-NEXT:    ret i1 [[C]]
 210 ;
 211   %a = icmp ne i8 %x, 13
 212   %b = icmp slt i8 %x, 17
 213   %c = and i1 %a, %b
 214   ret i1 %c
 215 }
 216
 217 ; x != 13 && x >=u 17
 218
 219 define i1 @and_ne_uge(i8 %x) {
 220 ; CHECK-LABEL: @and_ne_uge(
 221 ; CHECK-NEXT:    [[B:%.*]] = icmp uge i8 %x, 17
 222 ; CHECK-NEXT:    ret i1 [[B]]
 223 ;
 224   %a = icmp ne i8 %x, 13
 225   %b = icmp uge i8 %x, 17
 226   %c = and i1 %a, %b
 227   ret i1 %c
 228 }
 229
 230 ; x != 13 && x >u 17
 231
 232 define i1 @and_ne_ugt(i8 %x) {
 233 ; CHECK-LABEL: @and_ne_ugt(
 234 ; CHECK-NEXT:    [[B:%.*]] = icmp ugt i8 %x, 17
 235 ; CHECK-NEXT:    ret i1 [[B]]
 236 ;
 237   %a = icmp ne i8 %x, 13
 238   %b = icmp ugt i8 %x, 17
 239   %c = and i1 %a, %b
 240   ret i1 %c
 241 }
 242
 243 ; x != 13 && x <=u 17
 244
 245 define i1 @and_ne_ule(i8 %x) {
 246 ; CHECK-LABEL: @and_ne_ule(
 247 ; CHECK-NEXT:    [[A:%.*]] = icmp ne i8 %x, 13
 248 ; CHECK-NEXT:    [[B:%.*]] = icmp ule i8 %x, 17
 249 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
 250 ; CHECK-NEXT:    ret i1 [[C]]
 251 ;
 252   %a = icmp ne i8 %x, 13
 253   %b = icmp ule i8 %x, 17
 254   %c = and i1 %a, %b
 255   ret i1 %c
 256 }
 257
 258 ; x != 13 && x <u 17
 259
 260 define i1 @and_ne_ult(i8 %x) {
 261 ; CHECK-LABEL: @and_ne_ult(
 262 ; CHECK-NEXT:    [[A:%.*]] = icmp ne i8 %x, 13
 263 ; CHECK-NEXT:    [[B:%.*]] = icmp ult i8 %x, 17
 264 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
 265 ; CHECK-NEXT:    ret i1 [[C]]
 266 ;
 267   %a = icmp ne i8 %x, 13
 268   %b = icmp ult i8 %x, 17
 269   %c = and i1 %a, %b
 270   ret i1 %c
 271 }
 272
 273 ; sge
 274 ; x >=s 13 && x == 17
 275
 276 define i1 @and_sge_eq(i8 %x) {
 277 ; CHECK-LABEL: @and_sge_eq(
 278 ; CHECK-NEXT:    [[B:%.*]] = icmp eq i8 %x, 17
 279 ; CHECK-NEXT:    ret i1 [[B]]
 280 ;
 281   %a = icmp sge i8 %x, 13
 282   %b = icmp eq i8 %x, 17
 283   %c = and i1 %a, %b
 284   ret i1 %c
 285 }
 286
 287 ; x >=s 13 && x != 17
 288
 289 define i1 @and_sge_ne(i8 %x) {
 290 ; CHECK-LABEL: @and_sge_ne(
 291 ; CHECK-NEXT:    [[A:%.*]] = icmp sge i8 %x, 13
 292 ; CHECK-NEXT:    [[B:%.*]] = icmp ne i8 %x, 17
 293 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
 294 ; CHECK-NEXT:    ret i1 [[C]]
 295 ;
 296   %a = icmp sge i8 %x, 13
 297   %b = icmp ne i8 %x, 17
 298   %c = and i1 %a, %b
 299   ret i1 %c
 300 }
 301
 302 ; x >=s 13 && x >=s 17
 303
 304 define i1 @and_sge_sge(i8 %x) {
 305 ; CHECK-LABEL: @and_sge_sge(
 306 ; CHECK-NEXT:    [[B:%.*]] = icmp sge i8 %x, 17
 307 ; CHECK-NEXT:    ret i1 [[B]]
 308 ;
 309   %a = icmp sge i8 %x, 13
 310   %b = icmp sge i8 %x, 17
 311   %c = and i1 %a, %b
 312   ret i1 %c
 313 }
 314
 315 ; x >=s 13 && x >s 17
 316
 317 define i1 @and_sge_sgt(i8 %x) {
 318 ; CHECK-LABEL: @and_sge_sgt(
 319 ; CHECK-NEXT:    [[B:%.*]] = icmp sgt i8 %x, 17
 320 ; CHECK-NEXT:    ret i1 [[B]]
 321 ;
 322   %a = icmp sge i8 %x, 13
 323   %b = icmp sgt i8 %x, 17
 324   %c = and i1 %a, %b
 325   ret i1 %c
 326 }
 327
 328 ; x >=s 13 && x <=s 17
 329
 330 define i1 @and_sge_sle(i8 %x) {
 331 ; CHECK-LABEL: @and_sge_sle(
 332 ; CHECK-NEXT:    [[A:%.*]] = icmp sge i8 %x, 13
 333 ; CHECK-NEXT:    [[B:%.*]] = icmp sle i8 %x, 17
 334 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
 335 ; CHECK-NEXT:    ret i1 [[C]]
 336 ;
 337   %a = icmp sge i8 %x, 13
 338   %b = icmp sle i8 %x, 17
 339   %c = and i1 %a, %b
 340   ret i1 %c
 341 }
 342
 343 ; x >=s 13 && x <s 17
 344
 345 define i1 @and_sge_slt(i8 %x) {
 346 ; CHECK-LABEL: @and_sge_slt(
 347 ; CHECK-NEXT:    [[A:%.*]] = icmp sge i8 %x, 13
 348 ; CHECK-NEXT:    [[B:%.*]] = icmp slt i8 %x, 17
 349 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
 350 ; CHECK-NEXT:    ret i1 [[C]]
 351 ;
 352   %a = icmp sge i8 %x, 13
 353   %b = icmp slt i8 %x, 17
 354   %c = and i1 %a, %b
 355   ret i1 %c
 356 }
 357
 358 ; x >=s 13 && x >=u 17
 359
 360 define i1 @and_sge_uge(i8 %x) {
 361 ; CHECK-LABEL: @and_sge_uge(
 362 ; CHECK-NEXT:    [[A:%.*]] = icmp sge i8 %x, 13
 363 ; CHECK-NEXT:    [[B:%.*]] = icmp uge i8 %x, 17
 364 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
 365 ; CHECK-NEXT:    ret i1 [[C]]
 366 ;
 367   %a = icmp sge i8 %x, 13
 368   %b = icmp uge i8 %x, 17
 369   %c = and i1 %a, %b
 370   ret i1 %c
 371 }
 372
 373 ; x >=s 13 && x >u 17
 374
 375 define i1 @and_sge_ugt(i8 %x) {
 376 ; CHECK-LABEL: @and_sge_ugt(
 377 ; CHECK-NEXT:    [[A:%.*]] = icmp sge i8 %x, 13
 378 ; CHECK-NEXT:    [[B:%.*]] = icmp ugt i8 %x, 17
 379 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
 380 ; CHECK-NEXT:    ret i1 [[C]]
 381 ;
 382   %a = icmp sge i8 %x, 13
 383   %b = icmp ugt i8 %x, 17
 384   %c = and i1 %a, %b
 385   ret i1 %c
 386 }
 387
 388 ; x >=s 13 && x <=u 17
 389
 390 define i1 @and_sge_ule(i8 %x) {
 391 ; CHECK-LABEL: @and_sge_ule(
 392 ; CHECK-NEXT:    [[A:%.*]] = icmp sge i8 %x, 13
 393 ; CHECK-NEXT:    [[B:%.*]] = icmp ule i8 %x, 17
 394 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
 395 ; CHECK-NEXT:    ret i1 [[C]]
 396 ;
 397   %a = icmp sge i8 %x, 13
 398   %b = icmp ule i8 %x, 17
 399   %c = and i1 %a, %b
 400   ret i1 %c
 401 }
 402
 403 ; x >=s 13 && x <u 17
 404
 405 define i1 @and_sge_ult(i8 %x) {
 406 ; CHECK-LABEL: @and_sge_ult(
 407 ; CHECK-NEXT:    [[A:%.*]] = icmp sge i8 %x, 13
 408 ; CHECK-NEXT:    [[B:%.*]] = icmp ult i8 %x, 17
 409 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
 410 ; CHECK-NEXT:    ret i1 [[C]]
 411 ;
 412   %a = icmp sge i8 %x, 13
 413   %b = icmp ult i8 %x, 17
 414   %c = and i1 %a, %b
 415   ret i1 %c
 416 }
 417
 418 ; sgt
 419 ; x >s 13 && x == 17
 420
 421 define i1 @and_sgt_eq(i8 %x) {
 422 ; CHECK-LABEL: @and_sgt_eq(
 423 ; CHECK-NEXT:    [[B:%.*]] = icmp eq i8 %x, 17
 424 ; CHECK-NEXT:    ret i1 [[B]]
 425 ;
 426   %a = icmp sgt i8 %x, 13
 427   %b = icmp eq i8 %x, 17
 428   %c = and i1 %a, %b
 429   ret i1 %c
 430 }
 431
 432 ; x >s 13 && x != 17
 433
 434 define i1 @and_sgt_ne(i8 %x) {
 435 ; CHECK-LABEL: @and_sgt_ne(
 436 ; CHECK-NEXT:    [[A:%.*]] = icmp sgt i8 %x, 13
 437 ; CHECK-NEXT:    [[B:%.*]] = icmp ne i8 %x, 17
 438 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
 439 ; CHECK-NEXT:    ret i1 [[C]]
 440 ;
 441   %a = icmp sgt i8 %x, 13
 442   %b = icmp ne i8 %x, 17
 443   %c = and i1 %a, %b
 444   ret i1 %c
 445 }
 446
 447 ; x >s 13 && x >=s 17
 448
 449 define i1 @and_sgt_sge(i8 %x) {
 450 ; CHECK-LABEL: @and_sgt_sge(
 451 ; CHECK-NEXT:    [[B:%.*]] = icmp sge i8 %x, 17
 452 ; CHECK-NEXT:    ret i1 [[B]]
 453 ;
 454   %a = icmp sgt i8 %x, 13
 455   %b = icmp sge i8 %x, 17
 456   %c = and i1 %a, %b
 457   ret i1 %c
 458 }
 459
 460 ; x >s 13 && x >s 17
 461
 462 define i1 @and_sgt_sgt(i8 %x) {
 463 ; CHECK-LABEL: @and_sgt_sgt(
 464 ; CHECK-NEXT:    [[B:%.*]] = icmp sgt i8 %x, 17
 465 ; CHECK-NEXT:    ret i1 [[B]]
 466 ;
 467   %a = icmp sgt i8 %x, 13
 468   %b = icmp sgt i8 %x, 17
 469   %c = and i1 %a, %b
 470   ret i1 %c
 471 }
 472
 473 ; x >s 13 && x <=s 17
 474
 475 define i1 @and_sgt_sle(i8 %x) {
 476 ; CHECK-LABEL: @and_sgt_sle(
 477 ; CHECK-NEXT:    [[A:%.*]] = icmp sgt i8 %x, 13
 478 ; CHECK-NEXT:    [[B:%.*]] = icmp sle i8 %x, 17
 479 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
 480 ; CHECK-NEXT:    ret i1 [[C]]
 481 ;
 482   %a = icmp sgt i8 %x, 13
 483   %b = icmp sle i8 %x, 17
 484   %c = and i1 %a, %b
 485   ret i1 %c
 486 }
 487
 488 ; x >s 13 && x <s 17
 489
 490 define i1 @and_sgt_slt(i8 %x) {
 491 ; CHECK-LABEL: @and_sgt_slt(
 492 ; CHECK-NEXT:    [[A:%.*]] = icmp sgt i8 %x, 13
 493 ; CHECK-NEXT:    [[B:%.*]] = icmp slt i8 %x, 17
 494 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
 495 ; CHECK-NEXT:    ret i1 [[C]]
 496 ;
 497   %a = icmp sgt i8 %x, 13
 498   %b = icmp slt i8 %x, 17
 499   %c = and i1 %a, %b
 500   ret i1 %c
 501 }
 502
 503 ; x >s 13 && x >=u 17
 504
 505 define i1 @and_sgt_uge(i8 %x) {
 506 ; CHECK-LABEL: @and_sgt_uge(
 507 ; CHECK-NEXT:    [[A:%.*]] = icmp sgt i8 %x, 13
 508 ; CHECK-NEXT:    [[B:%.*]] = icmp uge i8 %x, 17
 509 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
 510 ; CHECK-NEXT:    ret i1 [[C]]
 511 ;
 512   %a = icmp sgt i8 %x, 13
 513   %b = icmp uge i8 %x, 17
 514   %c = and i1 %a, %b
 515   ret i1 %c
 516 }
 517
 518 ; x >s 13 && x >u 17
 519
 520 define i1 @and_sgt_ugt(i8 %x) {
 521 ; CHECK-LABEL: @and_sgt_ugt(
 522 ; CHECK-NEXT:    [[A:%.*]] = icmp sgt i8 %x, 13
 523 ; CHECK-NEXT:    [[B:%.*]] = icmp ugt i8 %x, 17
 524 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
 525 ; CHECK-NEXT:    ret i1 [[C]]
 526 ;
 527   %a = icmp sgt i8 %x, 13
 528   %b = icmp ugt i8 %x, 17
 529   %c = and i1 %a, %b
 530   ret i1 %c
 531 }
 532
 533 ; x >s 13 && x <=u 17
 534
 535 define i1 @and_sgt_ule(i8 %x) {
 536 ; CHECK-LABEL: @and_sgt_ule(
 537 ; CHECK-NEXT:    [[A:%.*]] = icmp sgt i8 %x, 13
 538 ; CHECK-NEXT:    [[B:%.*]] = icmp ule i8 %x, 17
 539 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
 540 ; CHECK-NEXT:    ret i1 [[C]]
 541 ;
 542   %a = icmp sgt i8 %x, 13
 543   %b = icmp ule i8 %x, 17
 544   %c = and i1 %a, %b
 545   ret i1 %c
 546 }
 547
 548 ; x >s 13 && x <u 17
 549
 550 define i1 @and_sgt_ult(i8 %x) {
 551 ; CHECK-LABEL: @and_sgt_ult(
 552 ; CHECK-NEXT:    [[A:%.*]] = icmp sgt i8 %x, 13
 553 ; CHECK-NEXT:    [[B:%.*]] = icmp ult i8 %x, 17
 554 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
 555 ; CHECK-NEXT:    ret i1 [[C]]
 556 ;
 557   %a = icmp sgt i8 %x, 13
 558   %b = icmp ult i8 %x, 17
 559   %c = and i1 %a, %b
 560   ret i1 %c
 561 }
 562
 563 ; sle
 564 ; x <=s 13 && x == 17
 565
 566 define i1 @and_sle_eq(i8 %x) {
 567 ; CHECK-LABEL: @and_sle_eq(
 568 ; CHECK-NEXT:    ret i1 false
 569 ;
 570   %a = icmp sle i8 %x, 13
 571   %b = icmp eq i8 %x, 17
 572   %c = and i1 %a, %b
 573   ret i1 %c
 574 }
 575
 576 ; x <=s 13 && x != 17
 577
 578 define i1 @and_sle_ne(i8 %x) {
 579 ; CHECK-LABEL: @and_sle_ne(
 580 ; CHECK-NEXT:    [[A:%.*]] = icmp sle i8 %x, 13
 581 ; CHECK-NEXT:    ret i1 [[A]]
 582 ;
 583   %a = icmp sle i8 %x, 13
 584   %b = icmp ne i8 %x, 17
 585   %c = and i1 %a, %b
 586   ret i1 %c
 587 }
 588
 589 ; x <=s 13 && x >=s 17
 590
 591 define i1 @and_sle_sge(i8 %x) {
 592 ; CHECK-LABEL: @and_sle_sge(
 593 ; CHECK-NEXT:    ret i1 false
 594 ;
 595   %a = icmp sle i8 %x, 13
 596   %b = icmp sge i8 %x, 17
 597   %c = and i1 %a, %b
 598   ret i1 %c
 599 }
 600
 601 ; x <=s 13 && x >s 17
 602
 603 define i1 @and_sle_sgt(i8 %x) {
 604 ; CHECK-LABEL: @and_sle_sgt(
 605 ; CHECK-NEXT:    ret i1 false
 606 ;
 607   %a = icmp sle i8 %x, 13
 608   %b = icmp sgt i8 %x, 17
 609   %c = and i1 %a, %b
 610   ret i1 %c
 611 }
 612
 613 ; x <=s 13 && x <=s 17
 614
 615 define i1 @and_sle_sle(i8 %x) {
 616 ; CHECK-LABEL: @and_sle_sle(
 617 ; CHECK-NEXT:    [[A:%.*]] = icmp sle i8 %x, 13
 618 ; CHECK-NEXT:    ret i1 [[A]]
 619 ;
 620   %a = icmp sle i8 %x, 13
 621   %b = icmp sle i8 %x, 17
 622   %c = and i1 %a, %b
 623   ret i1 %c
 624 }
 625
 626 ; x <=s 13 && x <s 17
 627
 628 define i1 @and_sle_slt(i8 %x) {
 629 ; CHECK-LABEL: @and_sle_slt(
 630 ; CHECK-NEXT:    [[A:%.*]] = icmp sle i8 %x, 13
 631 ; CHECK-NEXT:    ret i1 [[A]]
 632 ;
 633   %a = icmp sle i8 %x, 13
 634   %b = icmp slt i8 %x, 17
 635   %c = and i1 %a, %b
 636   ret i1 %c
 637 }
 638
 639 ; x <=s 13 && x >=u 17
 640
 641 define i1 @and_sle_uge(i8 %x) {
 642 ; CHECK-LABEL: @and_sle_uge(
 643 ; CHECK-NEXT:    [[A:%.*]] = icmp sle i8 %x, 13
 644 ; CHECK-NEXT:    [[B:%.*]] = icmp uge i8 %x, 17
 645 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
 646 ; CHECK-NEXT:    ret i1 [[C]]
 647 ;
 648   %a = icmp sle i8 %x, 13
 649   %b = icmp uge i8 %x, 17
 650   %c = and i1 %a, %b
 651   ret i1 %c
 652 }
 653
 654 ; x <=s 13 && x >u 17
 655
 656 define i1 @and_sle_ugt(i8 %x) {
 657 ; CHECK-LABEL: @and_sle_ugt(
 658 ; CHECK-NEXT:    [[A:%.*]] = icmp sle i8 %x, 13
 659 ; CHECK-NEXT:    [[B:%.*]] = icmp ugt i8 %x, 17
 660 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
 661 ; CHECK-NEXT:    ret i1 [[C]]
 662 ;
 663   %a = icmp sle i8 %x, 13
 664   %b = icmp ugt i8 %x, 17
 665   %c = and i1 %a, %b
 666   ret i1 %c
 667 }
 668
 669 ; x <=s 13 && x <=u 17
 670
 671 define i1 @and_sle_ule(i8 %x) {
 672 ; CHECK-LABEL: @and_sle_ule(
 673 ; CHECK-NEXT:    [[A:%.*]] = icmp sle i8 %x, 13
 674 ; CHECK-NEXT:    [[B:%.*]] = icmp ule i8 %x, 17
 675 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
 676 ; CHECK-NEXT:    ret i1 [[C]]
 677 ;
 678   %a = icmp sle i8 %x, 13
 679   %b = icmp ule i8 %x, 17
 680   %c = and i1 %a, %b
 681   ret i1 %c
 682 }
 683
 684 ; x <=s 13 && x <u 17
 685
 686 define i1 @and_sle_ult(i8 %x) {
 687 ; CHECK-LABEL: @and_sle_ult(
 688 ; CHECK-NEXT:    [[A:%.*]] = icmp sle i8 %x, 13
 689 ; CHECK-NEXT:    [[B:%.*]] = icmp ult i8 %x, 17
 690 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
 691 ; CHECK-NEXT:    ret i1 [[C]]
 692 ;
 693   %a = icmp sle i8 %x, 13
 694   %b = icmp ult i8 %x, 17
 695   %c = and i1 %a, %b
 696   ret i1 %c
 697 }
 698
 699 ; slt
 700 ; x <s 13 && x == 17
 701
 702 define i1 @and_slt_eq(i8 %x) {
 703 ; CHECK-LABEL: @and_slt_eq(
 704 ; CHECK-NEXT:    ret i1 false
 705 ;
 706   %a = icmp slt i8 %x, 13
 707   %b = icmp eq i8 %x, 17
 708   %c = and i1 %a, %b
 709   ret i1 %c
 710 }
 711
 712 ; x <s 13 && x != 17
 713
 714 define i1 @and_slt_ne(i8 %x) {
 715 ; CHECK-LABEL: @and_slt_ne(
 716 ; CHECK-NEXT:    [[A:%.*]] = icmp slt i8 %x, 13
 717 ; CHECK-NEXT:    ret i1 [[A]]
 718 ;
 719   %a = icmp slt i8 %x, 13
 720   %b = icmp ne i8 %x, 17
 721   %c = and i1 %a, %b
 722   ret i1 %c
 723 }
 724
 725 ; x <s 13 && x >=s 17
 726
 727 define i1 @and_slt_sge(i8 %x) {
 728 ; CHECK-LABEL: @and_slt_sge(
 729 ; CHECK-NEXT:    ret i1 false
 730 ;
 731   %a = icmp slt i8 %x, 13
 732   %b = icmp sge i8 %x, 17
 733   %c = and i1 %a, %b
 734   ret i1 %c
 735 }
 736
 737 ; x <s 13 && x >s 17
 738
 739 define i1 @and_slt_sgt(i8 %x) {
 740 ; CHECK-LABEL: @and_slt_sgt(
 741 ; CHECK-NEXT:    ret i1 false
 742 ;
 743   %a = icmp slt i8 %x, 13
 744   %b = icmp sgt i8 %x, 17
 745   %c = and i1 %a, %b
 746   ret i1 %c
 747 }
 748
 749 ; x <s 13 && x <=s 17
 750
 751 define i1 @and_slt_sle(i8 %x) {
 752 ; CHECK-LABEL: @and_slt_sle(
 753 ; CHECK-NEXT:    [[A:%.*]] = icmp slt i8 %x, 13
 754 ; CHECK-NEXT:    ret i1 [[A]]
 755 ;
 756   %a = icmp slt i8 %x, 13
 757   %b = icmp sle i8 %x, 17
 758   %c = and i1 %a, %b
 759   ret i1 %c
 760 }
 761
 762 ; x <s 13 && x <s 17
 763
 764 define i1 @and_slt_slt(i8 %x) {
 765 ; CHECK-LABEL: @and_slt_slt(
 766 ; CHECK-NEXT:    [[A:%.*]] = icmp slt i8 %x, 13
 767 ; CHECK-NEXT:    ret i1 [[A]]
 768 ;
 769   %a = icmp slt i8 %x, 13
 770   %b = icmp slt i8 %x, 17
 771   %c = and i1 %a, %b
 772   ret i1 %c
 773 }
 774
 775 ; x <s 13 && x >=u 17
 776
 777 define i1 @and_slt_uge(i8 %x) {
 778 ; CHECK-LABEL: @and_slt_uge(
 779 ; CHECK-NEXT:    [[A:%.*]] = icmp slt i8 %x, 13
 780 ; CHECK-NEXT:    [[B:%.*]] = icmp uge i8 %x, 17
 781 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
 782 ; CHECK-NEXT:    ret i1 [[C]]
 783 ;
 784   %a = icmp slt i8 %x, 13
 785   %b = icmp uge i8 %x, 17
 786   %c = and i1 %a, %b
 787   ret i1 %c
 788 }
 789
 790 ; x <s 13 && x >u 17
 791
 792 define i1 @and_slt_ugt(i8 %x) {
 793 ; CHECK-LABEL: @and_slt_ugt(
 794 ; CHECK-NEXT:    [[A:%.*]] = icmp slt i8 %x, 13
 795 ; CHECK-NEXT:    [[B:%.*]] = icmp ugt i8 %x, 17
 796 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
 797 ; CHECK-NEXT:    ret i1 [[C]]
 798 ;
 799   %a = icmp slt i8 %x, 13
 800   %b = icmp ugt i8 %x, 17
 801   %c = and i1 %a, %b
 802   ret i1 %c
 803 }
 804
 805 ; x <s 13 && x <=u 17
 806
 807 define i1 @and_slt_ule(i8 %x) {
 808 ; CHECK-LABEL: @and_slt_ule(
 809 ; CHECK-NEXT:    [[A:%.*]] = icmp slt i8 %x, 13
 810 ; CHECK-NEXT:    [[B:%.*]] = icmp ule i8 %x, 17
 811 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
 812 ; CHECK-NEXT:    ret i1 [[C]]
 813 ;
 814   %a = icmp slt i8 %x, 13
 815   %b = icmp ule i8 %x, 17
 816   %c = and i1 %a, %b
 817   ret i1 %c
 818 }
 819
 820 ; x <s 13 && x <u 17
 821
 822 define i1 @and_slt_ult(i8 %x) {
 823 ; CHECK-LABEL: @and_slt_ult(
 824 ; CHECK-NEXT:    [[A:%.*]] = icmp slt i8 %x, 13
 825 ; CHECK-NEXT:    [[B:%.*]] = icmp ult i8 %x, 17
 826 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
 827 ; CHECK-NEXT:    ret i1 [[C]]
 828 ;
 829   %a = icmp slt i8 %x, 13
 830   %b = icmp ult i8 %x, 17
 831   %c = and i1 %a, %b
 832   ret i1 %c
 833 }
 834
 835 ; uge
 836 ; x >=u 13 && x == 17
 837
 838 define i1 @and_uge_eq(i8 %x) {
 839 ; CHECK-LABEL: @and_uge_eq(
 840 ; CHECK-NEXT:    [[B:%.*]] = icmp eq i8 %x, 17
 841 ; CHECK-NEXT:    ret i1 [[B]]
 842 ;
 843   %a = icmp uge i8 %x, 13
 844   %b = icmp eq i8 %x, 17
 845   %c = and i1 %a, %b
 846   ret i1 %c
 847 }
 848
 849 ; x >=u 13 && x != 17
 850
 851 define i1 @and_uge_ne(i8 %x) {
 852 ; CHECK-LABEL: @and_uge_ne(
 853 ; CHECK-NEXT:    [[A:%.*]] = icmp uge i8 %x, 13
 854 ; CHECK-NEXT:    [[B:%.*]] = icmp ne i8 %x, 17
 855 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
 856 ; CHECK-NEXT:    ret i1 [[C]]
 857 ;
 858   %a = icmp uge i8 %x, 13
 859   %b = icmp ne i8 %x, 17
 860   %c = and i1 %a, %b
 861   ret i1 %c
 862 }
 863
 864 ; x >=u 13 && x >=s 17
 865
 866 define i1 @and_uge_sge(i8 %x) {
 867 ; CHECK-LABEL: @and_uge_sge(
 868 ; CHECK-NEXT:    [[B:%.*]] = icmp sge i8 %x, 17
 869 ; CHECK-NEXT:    ret i1 [[B]]
 870 ;
 871   %a = icmp uge i8 %x, 13
 872   %b = icmp sge i8 %x, 17
 873   %c = and i1 %a, %b
 874   ret i1 %c
 875 }
 876
 877 ; x >=u 13 && x >s 17
 878
 879 define i1 @and_uge_sgt(i8 %x) {
 880 ; CHECK-LABEL: @and_uge_sgt(
 881 ; CHECK-NEXT:    [[B:%.*]] = icmp sgt i8 %x, 17
 882 ; CHECK-NEXT:    ret i1 [[B]]
 883 ;
 884   %a = icmp uge i8 %x, 13
 885   %b = icmp sgt i8 %x, 17
 886   %c = and i1 %a, %b
 887   ret i1 %c
 888 }
 889
 890 ; x >=u 13 && x <=s 17
 891
 892 define i1 @and_uge_sle(i8 %x) {
 893 ; CHECK-LABEL: @and_uge_sle(
 894 ; CHECK-NEXT:    [[A:%.*]] = icmp uge i8 %x, 13
 895 ; CHECK-NEXT:    [[B:%.*]] = icmp sle i8 %x, 17
 896 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
 897 ; CHECK-NEXT:    ret i1 [[C]]
 898 ;
 899   %a = icmp uge i8 %x, 13
 900   %b = icmp sle i8 %x, 17
 901   %c = and i1 %a, %b
 902   ret i1 %c
 903 }
 904
 905 ; x >=u 13 && x <s 17
 906
 907 define i1 @and_uge_slt(i8 %x) {
 908 ; CHECK-LABEL: @and_uge_slt(
 909 ; CHECK-NEXT:    [[A:%.*]] = icmp uge i8 %x, 13
 910 ; CHECK-NEXT:    [[B:%.*]] = icmp slt i8 %x, 17
 911 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
 912 ; CHECK-NEXT:    ret i1 [[C]]
 913 ;
 914   %a = icmp uge i8 %x, 13
 915   %b = icmp slt i8 %x, 17
 916   %c = and i1 %a, %b
 917   ret i1 %c
 918 }
 919
 920 ; x >=u 13 && x >=u 17
 921
 922 define i1 @and_uge_uge(i8 %x) {
 923 ; CHECK-LABEL: @and_uge_uge(
 924 ; CHECK-NEXT:    [[B:%.*]] = icmp uge i8 %x, 17
 925 ; CHECK-NEXT:    ret i1 [[B]]
 926 ;
 927   %a = icmp uge i8 %x, 13
 928   %b = icmp uge i8 %x, 17
 929   %c = and i1 %a, %b
 930   ret i1 %c
 931 }
 932
 933 ; x >=u 13 && x >u 17
 934
 935 define i1 @and_uge_ugt(i8 %x) {
 936 ; CHECK-LABEL: @and_uge_ugt(
 937 ; CHECK-NEXT:    [[B:%.*]] = icmp ugt i8 %x, 17
 938 ; CHECK-NEXT:    ret i1 [[B]]
 939 ;
 940   %a = icmp uge i8 %x, 13
 941   %b = icmp ugt i8 %x, 17
 942   %c = and i1 %a, %b
 943   ret i1 %c
 944 }
 945
 946 ; x >=u 13 && x <=u 17
 947
 948 define i1 @and_uge_ule(i8 %x) {
 949 ; CHECK-LABEL: @and_uge_ule(
 950 ; CHECK-NEXT:    [[A:%.*]] = icmp uge i8 %x, 13
 951 ; CHECK-NEXT:    [[B:%.*]] = icmp ule i8 %x, 17
 952 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
 953 ; CHECK-NEXT:    ret i1 [[C]]
 954 ;
 955   %a = icmp uge i8 %x, 13
 956   %b = icmp ule i8 %x, 17
 957   %c = and i1 %a, %b
 958   ret i1 %c
 959 }
 960
 961 ; x >=u 13 && x <u 17
 962
 963 define i1 @and_uge_ult(i8 %x) {
 964 ; CHECK-LABEL: @and_uge_ult(
 965 ; CHECK-NEXT:    [[A:%.*]] = icmp uge i8 %x, 13
 966 ; CHECK-NEXT:    [[B:%.*]] = icmp ult i8 %x, 17
 967 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
 968 ; CHECK-NEXT:    ret i1 [[C]]
 969 ;
 970   %a = icmp uge i8 %x, 13
 971   %b = icmp ult i8 %x, 17
 972   %c = and i1 %a, %b
 973   ret i1 %c
 974 }
 975
 976 ; ugt
 977 ; x >u 13 && x == 17
 978
 979 define i1 @and_ugt_eq(i8 %x) {
 980 ; CHECK-LABEL: @and_ugt_eq(
 981 ; CHECK-NEXT:    [[B:%.*]] = icmp eq i8 %x, 17
 982 ; CHECK-NEXT:    ret i1 [[B]]
 983 ;
 984   %a = icmp ugt i8 %x, 13
 985   %b = icmp eq i8 %x, 17
 986   %c = and i1 %a, %b
 987   ret i1 %c
 988 }
 989
 990 ; x >u 13 && x != 17
 991
 992 define i1 @and_ugt_ne(i8 %x) {
 993 ; CHECK-LABEL: @and_ugt_ne(
 994 ; CHECK-NEXT:    [[A:%.*]] = icmp ugt i8 %x, 13
 995 ; CHECK-NEXT:    [[B:%.*]] = icmp ne i8 %x, 17
 996 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
 997 ; CHECK-NEXT:    ret i1 [[C]]
 998 ;
 999   %a = icmp ugt i8 %x, 13
1000   %b = icmp ne i8 %x, 17
1001   %c = and i1 %a, %b
1002   ret i1 %c
1003 }
1004
1005 ; x >u 13 && x >=s 17
1006
1007 define i1 @and_ugt_sge(i8 %x) {
1008 ; CHECK-LABEL: @and_ugt_sge(
1009 ; CHECK-NEXT:    [[B:%.*]] = icmp sge i8 %x, 17
1010 ; CHECK-NEXT:    ret i1 [[B]]
1011 ;
1012   %a = icmp ugt i8 %x, 13
1013   %b = icmp sge i8 %x, 17
1014   %c = and i1 %a, %b
1015   ret i1 %c
1016 }
1017
1018 ; x >u 13 && x >s 17
1019
1020 define i1 @and_ugt_sgt(i8 %x) {
1021 ; CHECK-LABEL: @and_ugt_sgt(
1022 ; CHECK-NEXT:    [[B:%.*]] = icmp sgt i8 %x, 17
1023 ; CHECK-NEXT:    ret i1 [[B]]
1024 ;
1025   %a = icmp ugt i8 %x, 13
1026   %b = icmp sgt i8 %x, 17
1027   %c = and i1 %a, %b
1028   ret i1 %c
1029 }
1030
1031 ; x >u 13 && x <=s 17
1032
1033 define i1 @and_ugt_sle(i8 %x) {
1034 ; CHECK-LABEL: @and_ugt_sle(
1035 ; CHECK-NEXT:    [[A:%.*]] = icmp ugt i8 %x, 13
1036 ; CHECK-NEXT:    [[B:%.*]] = icmp sle i8 %x, 17
1037 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
1038 ; CHECK-NEXT:    ret i1 [[C]]
1039 ;
1040   %a = icmp ugt i8 %x, 13
1041   %b = icmp sle i8 %x, 17
1042   %c = and i1 %a, %b
1043   ret i1 %c
1044 }
1045
1046 ; x >u 13 && x <s 17
1047
1048 define i1 @and_ugt_slt(i8 %x) {
1049 ; CHECK-LABEL: @and_ugt_slt(
1050 ; CHECK-NEXT:    [[A:%.*]] = icmp ugt i8 %x, 13
1051 ; CHECK-NEXT:    [[B:%.*]] = icmp slt i8 %x, 17
1052 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
1053 ; CHECK-NEXT:    ret i1 [[C]]
1054 ;
1055   %a = icmp ugt i8 %x, 13
1056   %b = icmp slt i8 %x, 17
1057   %c = and i1 %a, %b
1058   ret i1 %c
1059 }
1060
1061 ; x >u 13 && x >=u 17
1062
1063 define i1 @and_ugt_uge(i8 %x) {
1064 ; CHECK-LABEL: @and_ugt_uge(
1065 ; CHECK-NEXT:    [[B:%.*]] = icmp uge i8 %x, 17
1066 ; CHECK-NEXT:    ret i1 [[B]]
1067 ;
1068   %a = icmp ugt i8 %x, 13
1069   %b = icmp uge i8 %x, 17
1070   %c = and i1 %a, %b
1071   ret i1 %c
1072 }
1073
1074 ; x >u 13 && x >u 17
1075
1076 define i1 @and_ugt_ugt(i8 %x) {
1077 ; CHECK-LABEL: @and_ugt_ugt(
1078 ; CHECK-NEXT:    [[B:%.*]] = icmp ugt i8 %x, 17
1079 ; CHECK-NEXT:    ret i1 [[B]]
1080 ;
1081   %a = icmp ugt i8 %x, 13
1082   %b = icmp ugt i8 %x, 17
1083   %c = and i1 %a, %b
1084   ret i1 %c
1085 }
1086
1087 ; x >u 13 && x <=u 17
1088
1089 define i1 @and_ugt_ule(i8 %x) {
1090 ; CHECK-LABEL: @and_ugt_ule(
1091 ; CHECK-NEXT:    [[A:%.*]] = icmp ugt i8 %x, 13
1092 ; CHECK-NEXT:    [[B:%.*]] = icmp ule i8 %x, 17
1093 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
1094 ; CHECK-NEXT:    ret i1 [[C]]
1095 ;
1096   %a = icmp ugt i8 %x, 13
1097   %b = icmp ule i8 %x, 17
1098   %c = and i1 %a, %b
1099   ret i1 %c
1100 }
1101
1102 ; x >u 13 && x <u 17
1103
1104 define i1 @and_ugt_ult(i8 %x) {
1105 ; CHECK-LABEL: @and_ugt_ult(
1106 ; CHECK-NEXT:    [[A:%.*]] = icmp ugt i8 %x, 13
1107 ; CHECK-NEXT:    [[B:%.*]] = icmp ult i8 %x, 17
1108 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
1109 ; CHECK-NEXT:    ret i1 [[C]]
1110 ;
1111   %a = icmp ugt i8 %x, 13
1112   %b = icmp ult i8 %x, 17
1113   %c = and i1 %a, %b
1114   ret i1 %c
1115 }
1116
1117 ; ule
1118 ; x <=u 13 && x == 17
1119
1120 define i1 @and_ule_eq(i8 %x) {
1121 ; CHECK-LABEL: @and_ule_eq(
1122 ; CHECK-NEXT:    ret i1 false
1123 ;
1124   %a = icmp ule i8 %x, 13
1125   %b = icmp eq i8 %x, 17
1126   %c = and i1 %a, %b
1127   ret i1 %c
1128 }
1129
1130 ; x <=u 13 && x != 17
1131
1132 define i1 @and_ule_ne(i8 %x) {
1133 ; CHECK-LABEL: @and_ule_ne(
1134 ; CHECK-NEXT:    [[A:%.*]] = icmp ule i8 %x, 13
1135 ; CHECK-NEXT:    ret i1 [[A]]
1136 ;
1137   %a = icmp ule i8 %x, 13
1138   %b = icmp ne i8 %x, 17
1139   %c = and i1 %a, %b
1140   ret i1 %c
1141 }
1142
1143 ; x <=u 13 && x >=s 17
1144
1145 define i1 @and_ule_sge(i8 %x) {
1146 ; CHECK-LABEL: @and_ule_sge(
1147 ; CHECK-NEXT:    ret i1 false
1148 ;
1149   %a = icmp ule i8 %x, 13
1150   %b = icmp sge i8 %x, 17
1151   %c = and i1 %a, %b
1152   ret i1 %c
1153 }
1154
1155 ; x <=u 13 && x >s 17
1156
1157 define i1 @and_ule_sgt(i8 %x) {
1158 ; CHECK-LABEL: @and_ule_sgt(
1159 ; CHECK-NEXT:    ret i1 false
1160 ;
1161   %a = icmp ule i8 %x, 13
1162   %b = icmp sgt i8 %x, 17
1163   %c = and i1 %a, %b
1164   ret i1 %c
1165 }
1166
1167 ; x <=u 13 && x <=s 17
1168
1169 define i1 @and_ule_sle(i8 %x) {
1170 ; CHECK-LABEL: @and_ule_sle(
1171 ; CHECK-NEXT:    [[A:%.*]] = icmp ule i8 %x, 13
1172 ; CHECK-NEXT:    ret i1 [[A]]
1173 ;
1174   %a = icmp ule i8 %x, 13
1175   %b = icmp sle i8 %x, 17
1176   %c = and i1 %a, %b
1177   ret i1 %c
1178 }
1179
1180 ; x <=u 13 && x <s 17
1181
1182 define i1 @and_ule_slt(i8 %x) {
1183 ; CHECK-LABEL: @and_ule_slt(
1184 ; CHECK-NEXT:    [[A:%.*]] = icmp ule i8 %x, 13
1185 ; CHECK-NEXT:    ret i1 [[A]]
1186 ;
1187   %a = icmp ule i8 %x, 13
1188   %b = icmp slt i8 %x, 17
1189   %c = and i1 %a, %b
1190   ret i1 %c
1191 }
1192
1193 ; x <=u 13 && x >=u 17
1194
1195 define i1 @and_ule_uge(i8 %x) {
1196 ; CHECK-LABEL: @and_ule_uge(
1197 ; CHECK-NEXT:    ret i1 false
1198 ;
1199   %a = icmp ule i8 %x, 13
1200   %b = icmp uge i8 %x, 17
1201   %c = and i1 %a, %b
1202   ret i1 %c
1203 }
1204
1205 ; x <=u 13 && x >u 17
1206
1207 define i1 @and_ule_ugt(i8 %x) {
1208 ; CHECK-LABEL: @and_ule_ugt(
1209 ; CHECK-NEXT:    ret i1 false
1210 ;
1211   %a = icmp ule i8 %x, 13
1212   %b = icmp ugt i8 %x, 17
1213   %c = and i1 %a, %b
1214   ret i1 %c
1215 }
1216
1217 ; x <=u 13 && x <=u 17
1218
1219 define i1 @and_ule_ule(i8 %x) {
1220 ; CHECK-LABEL: @and_ule_ule(
1221 ; CHECK-NEXT:    [[A:%.*]] = icmp ule i8 %x, 13
1222 ; CHECK-NEXT:    ret i1 [[A]]
1223 ;
1224   %a = icmp ule i8 %x, 13
1225   %b = icmp ule i8 %x, 17
1226   %c = and i1 %a, %b
1227   ret i1 %c
1228 }
1229
1230 ; x <=u 13 && x <u 17
1231
1232 define i1 @and_ule_ult(i8 %x) {
1233 ; CHECK-LABEL: @and_ule_ult(
1234 ; CHECK-NEXT:    [[A:%.*]] = icmp ule i8 %x, 13
1235 ; CHECK-NEXT:    ret i1 [[A]]
1236 ;
1237   %a = icmp ule i8 %x, 13
1238   %b = icmp ult i8 %x, 17
1239   %c = and i1 %a, %b
1240   ret i1 %c
1241 }
1242
1243 ; ult
1244 ; x <u 13 && x == 17
1245
1246 define i1 @and_ult_eq(i8 %x) {
1247 ; CHECK-LABEL: @and_ult_eq(
1248 ; CHECK-NEXT:    ret i1 false
1249 ;
1250   %a = icmp ult i8 %x, 13
1251   %b = icmp eq i8 %x, 17
1252   %c = and i1 %a, %b
1253   ret i1 %c
1254 }
1255
1256 ; x <u 13 && x != 17
1257
1258 define i1 @and_ult_ne(i8 %x) {
1259 ; CHECK-LABEL: @and_ult_ne(
1260 ; CHECK-NEXT:    [[A:%.*]] = icmp ult i8 %x, 13
1261 ; CHECK-NEXT:    ret i1 [[A]]
1262 ;
1263   %a = icmp ult i8 %x, 13
1264   %b = icmp ne i8 %x, 17
1265   %c = and i1 %a, %b
1266   ret i1 %c
1267 }
1268
1269 ; x <u 13 && x >=s 17
1270
1271 define i1 @and_ult_sge(i8 %x) {
1272 ; CHECK-LABEL: @and_ult_sge(
1273 ; CHECK-NEXT:    ret i1 false
1274 ;
1275   %a = icmp ult i8 %x, 13
1276   %b = icmp sge i8 %x, 17
1277   %c = and i1 %a, %b
1278   ret i1 %c
1279 }
1280
1281 ; x <u 13 && x >s 17
1282
1283 define i1 @and_ult_sgt(i8 %x) {
1284 ; CHECK-LABEL: @and_ult_sgt(
1285 ; CHECK-NEXT:    ret i1 false
1286 ;
1287   %a = icmp ult i8 %x, 13
1288   %b = icmp sgt i8 %x, 17
1289   %c = and i1 %a, %b
1290   ret i1 %c
1291 }
1292
1293 ; x <u 13 && x <=s 17
1294
1295 define i1 @and_ult_sle(i8 %x) {
1296 ; CHECK-LABEL: @and_ult_sle(
1297 ; CHECK-NEXT:    [[A:%.*]] = icmp ult i8 %x, 13
1298 ; CHECK-NEXT:    ret i1 [[A]]
1299 ;
1300   %a = icmp ult i8 %x, 13
1301   %b = icmp sle i8 %x, 17
1302   %c = and i1 %a, %b
1303   ret i1 %c
1304 }
1305
1306 ; x <u 13 && x <s 17
1307
1308 define i1 @and_ult_slt(i8 %x) {
1309 ; CHECK-LABEL: @and_ult_slt(
1310 ; CHECK-NEXT:    [[A:%.*]] = icmp ult i8 %x, 13
1311 ; CHECK-NEXT:    ret i1 [[A]]
1312 ;
1313   %a = icmp ult i8 %x, 13
1314   %b = icmp slt i8 %x, 17
1315   %c = and i1 %a, %b
1316   ret i1 %c
1317 }
1318
1319 ; x <u 13 && x >=u 17
1320
1321 define i1 @and_ult_uge(i8 %x) {
1322 ; CHECK-LABEL: @and_ult_uge(
1323 ; CHECK-NEXT:    ret i1 false
1324 ;
1325   %a = icmp ult i8 %x, 13
1326   %b = icmp uge i8 %x, 17
1327   %c = and i1 %a, %b
1328   ret i1 %c
1329 }
1330
1331 ; x <u 13 && x >u 17
1332
1333 define i1 @and_ult_ugt(i8 %x) {
1334 ; CHECK-LABEL: @and_ult_ugt(
1335 ; CHECK-NEXT:    ret i1 false
1336 ;
1337   %a = icmp ult i8 %x, 13
1338   %b = icmp ugt i8 %x, 17
1339   %c = and i1 %a, %b
1340   ret i1 %c
1341 }
1342
1343 ; x <u 13 && x <=u 17
1344
1345 define i1 @and_ult_ule(i8 %x) {
1346 ; CHECK-LABEL: @and_ult_ule(
1347 ; CHECK-NEXT:    [[A:%.*]] = icmp ult i8 %x, 13
1348 ; CHECK-NEXT:    ret i1 [[A]]
1349 ;
1350   %a = icmp ult i8 %x, 13
1351   %b = icmp ule i8 %x, 17
1352   %c = and i1 %a, %b
1353   ret i1 %c
1354 }
1355
1356 ; x <u 13 && x <u 17
1357
1358 define i1 @and_ult_ult(i8 %x) {
1359 ; CHECK-LABEL: @and_ult_ult(
1360 ; CHECK-NEXT:    [[A:%.*]] = icmp ult i8 %x, 13
1361 ; CHECK-NEXT:    ret i1 [[A]]
1362 ;
1363   %a = icmp ult i8 %x, 13
1364   %b = icmp ult i8 %x, 17
1365   %c = and i1 %a, %b
1366   ret i1 %c
1367 }
1368
1369 ; eq
1370 ; x == 23 && x == 17
1371
1372 define i1 @and_eq_eq_swap(i8 %x) {
1373 ; CHECK-LABEL: @and_eq_eq_swap(
1374 ; CHECK-NEXT:    ret i1 false
1375 ;
1376   %a = icmp eq i8 %x, 23
1377   %b = icmp eq i8 %x, 17
1378   %c = and i1 %a, %b
1379   ret i1 %c
1380 }
1381
1382 ; x == 23 && x != 17
1383
1384 define i1 @and_eq_ne_swap(i8 %x) {
1385 ; CHECK-LABEL: @and_eq_ne_swap(
1386 ; CHECK-NEXT:    [[A:%.*]] = icmp eq i8 %x, 23
1387 ; CHECK-NEXT:    ret i1 [[A]]
1388 ;
1389   %a = icmp eq i8 %x, 23
1390   %b = icmp ne i8 %x, 17
1391   %c = and i1 %a, %b
1392   ret i1 %c
1393 }
1394
1395 ; x == 23 && x >=s 17
1396
1397 define i1 @and_eq_sge_swap(i8 %x) {
1398 ; CHECK-LABEL: @and_eq_sge_swap(
1399 ; CHECK-NEXT:    [[A:%.*]] = icmp eq i8 %x, 23
1400 ; CHECK-NEXT:    ret i1 [[A]]
1401 ;
1402   %a = icmp eq i8 %x, 23
1403   %b = icmp sge i8 %x, 17
1404   %c = and i1 %a, %b
1405   ret i1 %c
1406 }
1407
1408 ; x == 23 && x >s 17
1409
1410 define i1 @and_eq_sgt_swap(i8 %x) {
1411 ; CHECK-LABEL: @and_eq_sgt_swap(
1412 ; CHECK-NEXT:    [[A:%.*]] = icmp eq i8 %x, 23
1413 ; CHECK-NEXT:    ret i1 [[A]]
1414 ;
1415   %a = icmp eq i8 %x, 23
1416   %b = icmp sgt i8 %x, 17
1417   %c = and i1 %a, %b
1418   ret i1 %c
1419 }
1420
1421 ; x == 23 && x <=s 17
1422
1423 define i1 @and_eq_sle_swap(i8 %x) {
1424 ; CHECK-LABEL: @and_eq_sle_swap(
1425 ; CHECK-NEXT:    ret i1 false
1426 ;
1427   %a = icmp eq i8 %x, 23
1428   %b = icmp sle i8 %x, 17
1429   %c = and i1 %a, %b
1430   ret i1 %c
1431 }
1432
1433 ; x == 23 && x <s 17
1434
1435 define i1 @and_eq_slt_swap(i8 %x) {
1436 ; CHECK-LABEL: @and_eq_slt_swap(
1437 ; CHECK-NEXT:    ret i1 false
1438 ;
1439   %a = icmp eq i8 %x, 23
1440   %b = icmp slt i8 %x, 17
1441   %c = and i1 %a, %b
1442   ret i1 %c
1443 }
1444
1445 ; x == 23 && x >=u 17
1446
1447 define i1 @and_eq_uge_swap(i8 %x) {
1448 ; CHECK-LABEL: @and_eq_uge_swap(
1449 ; CHECK-NEXT:    [[A:%.*]] = icmp eq i8 %x, 23
1450 ; CHECK-NEXT:    ret i1 [[A]]
1451 ;
1452   %a = icmp eq i8 %x, 23
1453   %b = icmp uge i8 %x, 17
1454   %c = and i1 %a, %b
1455   ret i1 %c
1456 }
1457
1458 ; x == 23 && x >u 17
1459
1460 define i1 @and_eq_ugt_swap(i8 %x) {
1461 ; CHECK-LABEL: @and_eq_ugt_swap(
1462 ; CHECK-NEXT:    [[A:%.*]] = icmp eq i8 %x, 23
1463 ; CHECK-NEXT:    ret i1 [[A]]
1464 ;
1465   %a = icmp eq i8 %x, 23
1466   %b = icmp ugt i8 %x, 17
1467   %c = and i1 %a, %b
1468   ret i1 %c
1469 }
1470
1471 ; x == 23 && x <=u 17
1472
1473 define i1 @and_eq_ule_swap(i8 %x) {
1474 ; CHECK-LABEL: @and_eq_ule_swap(
1475 ; CHECK-NEXT:    ret i1 false
1476 ;
1477   %a = icmp eq i8 %x, 23
1478   %b = icmp ule i8 %x, 17
1479   %c = and i1 %a, %b
1480   ret i1 %c
1481 }
1482
1483 ; x == 23 && x <u 17
1484
1485 define i1 @and_eq_ult_swap(i8 %x) {
1486 ; CHECK-LABEL: @and_eq_ult_swap(
1487 ; CHECK-NEXT:    ret i1 false
1488 ;
1489   %a = icmp eq i8 %x, 23
1490   %b = icmp ult i8 %x, 17
1491   %c = and i1 %a, %b
1492   ret i1 %c
1493 }
1494
1495 ; ne
1496 ; x != 23 && x == 17
1497
1498 define i1 @and_ne_eq_swap(i8 %x) {
1499 ; CHECK-LABEL: @and_ne_eq_swap(
1500 ; CHECK-NEXT:    [[B:%.*]] = icmp eq i8 %x, 17
1501 ; CHECK-NEXT:    ret i1 [[B]]
1502 ;
1503   %a = icmp ne i8 %x, 23
1504   %b = icmp eq i8 %x, 17
1505   %c = and i1 %a, %b
1506   ret i1 %c
1507 }
1508
1509 ; x != 23 && x != 17
1510
1511 define i1 @and_ne_ne_swap(i8 %x) {
1512 ; CHECK-LABEL: @and_ne_ne_swap(
1513 ; CHECK-NEXT:    [[A:%.*]] = icmp ne i8 %x, 23
1514 ; CHECK-NEXT:    [[B:%.*]] = icmp ne i8 %x, 17
1515 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
1516 ; CHECK-NEXT:    ret i1 [[C]]
1517 ;
1518   %a = icmp ne i8 %x, 23
1519   %b = icmp ne i8 %x, 17
1520   %c = and i1 %a, %b
1521   ret i1 %c
1522 }
1523
1524 ; x != 23 && x >=s 17
1525
1526 define i1 @and_ne_sge_swap(i8 %x) {
1527 ; CHECK-LABEL: @and_ne_sge_swap(
1528 ; CHECK-NEXT:    [[A:%.*]] = icmp ne i8 %x, 23
1529 ; CHECK-NEXT:    [[B:%.*]] = icmp sge i8 %x, 17
1530 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
1531 ; CHECK-NEXT:    ret i1 [[C]]
1532 ;
1533   %a = icmp ne i8 %x, 23
1534   %b = icmp sge i8 %x, 17
1535   %c = and i1 %a, %b
1536   ret i1 %c
1537 }
1538
1539 ; x != 23 && x >s 17
1540
1541 define i1 @and_ne_sgt_swap(i8 %x) {
1542 ; CHECK-LABEL: @and_ne_sgt_swap(
1543 ; CHECK-NEXT:    [[A:%.*]] = icmp ne i8 %x, 23
1544 ; CHECK-NEXT:    [[B:%.*]] = icmp sgt i8 %x, 17
1545 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
1546 ; CHECK-NEXT:    ret i1 [[C]]
1547 ;
1548   %a = icmp ne i8 %x, 23
1549   %b = icmp sgt i8 %x, 17
1550   %c = and i1 %a, %b
1551   ret i1 %c
1552 }
1553
1554 ; x != 23 && x <=s 17
1555
1556 define i1 @and_ne_sle_swap(i8 %x) {
1557 ; CHECK-LABEL: @and_ne_sle_swap(
1558 ; CHECK-NEXT:    [[B:%.*]] = icmp sle i8 %x, 17
1559 ; CHECK-NEXT:    ret i1 [[B]]
1560 ;
1561   %a = icmp ne i8 %x, 23
1562   %b = icmp sle i8 %x, 17
1563   %c = and i1 %a, %b
1564   ret i1 %c
1565 }
1566
1567 ; x != 23 && x <s 17
1568
1569 define i1 @and_ne_slt_swap(i8 %x) {
1570 ; CHECK-LABEL: @and_ne_slt_swap(
1571 ; CHECK-NEXT:    [[B:%.*]] = icmp slt i8 %x, 17
1572 ; CHECK-NEXT:    ret i1 [[B]]
1573 ;
1574   %a = icmp ne i8 %x, 23
1575   %b = icmp slt i8 %x, 17
1576   %c = and i1 %a, %b
1577   ret i1 %c
1578 }
1579
1580 ; x != 23 && x >=u 17
1581
1582 define i1 @and_ne_uge_swap(i8 %x) {
1583 ; CHECK-LABEL: @and_ne_uge_swap(
1584 ; CHECK-NEXT:    [[A:%.*]] = icmp ne i8 %x, 23
1585 ; CHECK-NEXT:    [[B:%.*]] = icmp uge i8 %x, 17
1586 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
1587 ; CHECK-NEXT:    ret i1 [[C]]
1588 ;
1589   %a = icmp ne i8 %x, 23
1590   %b = icmp uge i8 %x, 17
1591   %c = and i1 %a, %b
1592   ret i1 %c
1593 }
1594
1595 ; x != 23 && x >u 17
1596
1597 define i1 @and_ne_ugt_swap(i8 %x) {
1598 ; CHECK-LABEL: @and_ne_ugt_swap(
1599 ; CHECK-NEXT:    [[A:%.*]] = icmp ne i8 %x, 23
1600 ; CHECK-NEXT:    [[B:%.*]] = icmp ugt i8 %x, 17
1601 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
1602 ; CHECK-NEXT:    ret i1 [[C]]
1603 ;
1604   %a = icmp ne i8 %x, 23
1605   %b = icmp ugt i8 %x, 17
1606   %c = and i1 %a, %b
1607   ret i1 %c
1608 }
1609
1610 ; x != 23 && x <=u 17
1611
1612 define i1 @and_ne_ule_swap(i8 %x) {
1613 ; CHECK-LABEL: @and_ne_ule_swap(
1614 ; CHECK-NEXT:    [[B:%.*]] = icmp ule i8 %x, 17
1615 ; CHECK-NEXT:    ret i1 [[B]]
1616 ;
1617   %a = icmp ne i8 %x, 23
1618   %b = icmp ule i8 %x, 17
1619   %c = and i1 %a, %b
1620   ret i1 %c
1621 }
1622
1623 ; x != 23 && x <u 17
1624
1625 define i1 @and_ne_ult_swap(i8 %x) {
1626 ; CHECK-LABEL: @and_ne_ult_swap(
1627 ; CHECK-NEXT:    [[B:%.*]] = icmp ult i8 %x, 17
1628 ; CHECK-NEXT:    ret i1 [[B]]
1629 ;
1630   %a = icmp ne i8 %x, 23
1631   %b = icmp ult i8 %x, 17
1632   %c = and i1 %a, %b
1633   ret i1 %c
1634 }
1635
1636 ; sge
1637 ; x >=s 23 && x == 17
1638
1639 define i1 @and_sge_eq_swap(i8 %x) {
1640 ; CHECK-LABEL: @and_sge_eq_swap(
1641 ; CHECK-NEXT:    ret i1 false
1642 ;
1643   %a = icmp sge i8 %x, 23
1644   %b = icmp eq i8 %x, 17
1645   %c = and i1 %a, %b
1646   ret i1 %c
1647 }
1648
1649 ; x >=s 23 && x != 17
1650
1651 define i1 @and_sge_ne_swap(i8 %x) {
1652 ; CHECK-LABEL: @and_sge_ne_swap(
1653 ; CHECK-NEXT:    [[A:%.*]] = icmp sge i8 %x, 23
1654 ; CHECK-NEXT:    ret i1 [[A]]
1655 ;
1656   %a = icmp sge i8 %x, 23
1657   %b = icmp ne i8 %x, 17
1658   %c = and i1 %a, %b
1659   ret i1 %c
1660 }
1661
1662 ; x >=s 23 && x >=s 17
1663
1664 define i1 @and_sge_sge_swap(i8 %x) {
1665 ; CHECK-LABEL: @and_sge_sge_swap(
1666 ; CHECK-NEXT:    [[A:%.*]] = icmp sge i8 %x, 23
1667 ; CHECK-NEXT:    ret i1 [[A]]
1668 ;
1669   %a = icmp sge i8 %x, 23
1670   %b = icmp sge i8 %x, 17
1671   %c = and i1 %a, %b
1672   ret i1 %c
1673 }
1674
1675 ; x >=s 23 && x >s 17
1676
1677 define i1 @and_sge_sgt_swap(i8 %x) {
1678 ; CHECK-LABEL: @and_sge_sgt_swap(
1679 ; CHECK-NEXT:    [[A:%.*]] = icmp sge i8 %x, 23
1680 ; CHECK-NEXT:    ret i1 [[A]]
1681 ;
1682   %a = icmp sge i8 %x, 23
1683   %b = icmp sgt i8 %x, 17
1684   %c = and i1 %a, %b
1685   ret i1 %c
1686 }
1687
1688 ; x >=s 23 && x <=s 17
1689
1690 define i1 @and_sge_sle_swap(i8 %x) {
1691 ; CHECK-LABEL: @and_sge_sle_swap(
1692 ; CHECK-NEXT:    ret i1 false
1693 ;
1694   %a = icmp sge i8 %x, 23
1695   %b = icmp sle i8 %x, 17
1696   %c = and i1 %a, %b
1697   ret i1 %c
1698 }
1699
1700 ; x >=s 23 && x <s 17
1701
1702 define i1 @and_sge_slt_swap(i8 %x) {
1703 ; CHECK-LABEL: @and_sge_slt_swap(
1704 ; CHECK-NEXT:    ret i1 false
1705 ;
1706   %a = icmp sge i8 %x, 23
1707   %b = icmp slt i8 %x, 17
1708   %c = and i1 %a, %b
1709   ret i1 %c
1710 }
1711
1712 ; x >=s 23 && x >=u 17
1713
1714 define i1 @and_sge_uge_swap(i8 %x) {
1715 ; CHECK-LABEL: @and_sge_uge_swap(
1716 ; CHECK-NEXT:    [[A:%.*]] = icmp sge i8 %x, 23
1717 ; CHECK-NEXT:    ret i1 [[A]]
1718 ;
1719   %a = icmp sge i8 %x, 23
1720   %b = icmp uge i8 %x, 17
1721   %c = and i1 %a, %b
1722   ret i1 %c
1723 }
1724
1725 ; x >=s 23 && x >u 17
1726
1727 define i1 @and_sge_ugt_swap(i8 %x) {
1728 ; CHECK-LABEL: @and_sge_ugt_swap(
1729 ; CHECK-NEXT:    [[A:%.*]] = icmp sge i8 %x, 23
1730 ; CHECK-NEXT:    ret i1 [[A]]
1731 ;
1732   %a = icmp sge i8 %x, 23
1733   %b = icmp ugt i8 %x, 17
1734   %c = and i1 %a, %b
1735   ret i1 %c
1736 }
1737
1738 ; x >=s 23 && x <=u 17
1739
1740 define i1 @and_sge_ule_swap(i8 %x) {
1741 ; CHECK-LABEL: @and_sge_ule_swap(
1742 ; CHECK-NEXT:    ret i1 false
1743 ;
1744   %a = icmp sge i8 %x, 23
1745   %b = icmp ule i8 %x, 17
1746   %c = and i1 %a, %b
1747   ret i1 %c
1748 }
1749
1750 ; x >=s 23 && x <u 17
1751
1752 define i1 @and_sge_ult_swap(i8 %x) {
1753 ; CHECK-LABEL: @and_sge_ult_swap(
1754 ; CHECK-NEXT:    ret i1 false
1755 ;
1756   %a = icmp sge i8 %x, 23
1757   %b = icmp ult i8 %x, 17
1758   %c = and i1 %a, %b
1759   ret i1 %c
1760 }
1761
1762 ; sgt
1763 ; x >s 23 && x == 17
1764
1765 define i1 @and_sgt_eq_swap(i8 %x) {
1766 ; CHECK-LABEL: @and_sgt_eq_swap(
1767 ; CHECK-NEXT:    ret i1 false
1768 ;
1769   %a = icmp sgt i8 %x, 23
1770   %b = icmp eq i8 %x, 17
1771   %c = and i1 %a, %b
1772   ret i1 %c
1773 }
1774
1775 ; x >s 23 && x != 17
1776
1777 define i1 @and_sgt_ne_swap(i8 %x) {
1778 ; CHECK-LABEL: @and_sgt_ne_swap(
1779 ; CHECK-NEXT:    [[A:%.*]] = icmp sgt i8 %x, 23
1780 ; CHECK-NEXT:    ret i1 [[A]]
1781 ;
1782   %a = icmp sgt i8 %x, 23
1783   %b = icmp ne i8 %x, 17
1784   %c = and i1 %a, %b
1785   ret i1 %c
1786 }
1787
1788 ; x >s 23 && x >=s 17
1789
1790 define i1 @and_sgt_sge_swap(i8 %x) {
1791 ; CHECK-LABEL: @and_sgt_sge_swap(
1792 ; CHECK-NEXT:    [[A:%.*]] = icmp sgt i8 %x, 23
1793 ; CHECK-NEXT:    ret i1 [[A]]
1794 ;
1795   %a = icmp sgt i8 %x, 23
1796   %b = icmp sge i8 %x, 17
1797   %c = and i1 %a, %b
1798   ret i1 %c
1799 }
1800
1801 ; x >s 23 && x >s 17
1802
1803 define i1 @and_sgt_sgt_swap(i8 %x) {
1804 ; CHECK-LABEL: @and_sgt_sgt_swap(
1805 ; CHECK-NEXT:    [[A:%.*]] = icmp sgt i8 %x, 23
1806 ; CHECK-NEXT:    ret i1 [[A]]
1807 ;
1808   %a = icmp sgt i8 %x, 23
1809   %b = icmp sgt i8 %x, 17
1810   %c = and i1 %a, %b
1811   ret i1 %c
1812 }
1813
1814 ; x >s 23 && x <=s 17
1815
1816 define i1 @and_sgt_sle_swap(i8 %x) {
1817 ; CHECK-LABEL: @and_sgt_sle_swap(
1818 ; CHECK-NEXT:    ret i1 false
1819 ;
1820   %a = icmp sgt i8 %x, 23
1821   %b = icmp sle i8 %x, 17
1822   %c = and i1 %a, %b
1823   ret i1 %c
1824 }
1825
1826 ; x >s 23 && x <s 17
1827
1828 define i1 @and_sgt_slt_swap(i8 %x) {
1829 ; CHECK-LABEL: @and_sgt_slt_swap(
1830 ; CHECK-NEXT:    ret i1 false
1831 ;
1832   %a = icmp sgt i8 %x, 23
1833   %b = icmp slt i8 %x, 17
1834   %c = and i1 %a, %b
1835   ret i1 %c
1836 }
1837
1838 ; x >s 23 && x >=u 17
1839
1840 define i1 @and_sgt_uge_swap(i8 %x) {
1841 ; CHECK-LABEL: @and_sgt_uge_swap(
1842 ; CHECK-NEXT:    [[A:%.*]] = icmp sgt i8 %x, 23
1843 ; CHECK-NEXT:    ret i1 [[A]]
1844 ;
1845   %a = icmp sgt i8 %x, 23
1846   %b = icmp uge i8 %x, 17
1847   %c = and i1 %a, %b
1848   ret i1 %c
1849 }
1850
1851 ; x >s 23 && x >u 17
1852
1853 define i1 @and_sgt_ugt_swap(i8 %x) {
1854 ; CHECK-LABEL: @and_sgt_ugt_swap(
1855 ; CHECK-NEXT:    [[A:%.*]] = icmp sgt i8 %x, 23
1856 ; CHECK-NEXT:    ret i1 [[A]]
1857 ;
1858   %a = icmp sgt i8 %x, 23
1859   %b = icmp ugt i8 %x, 17
1860   %c = and i1 %a, %b
1861   ret i1 %c
1862 }
1863
1864 ; x >s 23 && x <=u 17
1865
1866 define i1 @and_sgt_ule_swap(i8 %x) {
1867 ; CHECK-LABEL: @and_sgt_ule_swap(
1868 ; CHECK-NEXT:    ret i1 false
1869 ;
1870   %a = icmp sgt i8 %x, 23
1871   %b = icmp ule i8 %x, 17
1872   %c = and i1 %a, %b
1873   ret i1 %c
1874 }
1875
1876 ; x >s 23 && x <u 17
1877
1878 define i1 @and_sgt_ult_swap(i8 %x) {
1879 ; CHECK-LABEL: @and_sgt_ult_swap(
1880 ; CHECK-NEXT:    ret i1 false
1881 ;
1882   %a = icmp sgt i8 %x, 23
1883   %b = icmp ult i8 %x, 17
1884   %c = and i1 %a, %b
1885   ret i1 %c
1886 }
1887
1888 ; sle
1889 ; x <=s 23 && x == 17
1890
1891 define i1 @and_sle_eq_swap(i8 %x) {
1892 ; CHECK-LABEL: @and_sle_eq_swap(
1893 ; CHECK-NEXT:    [[B:%.*]] = icmp eq i8 %x, 17
1894 ; CHECK-NEXT:    ret i1 [[B]]
1895 ;
1896   %a = icmp sle i8 %x, 23
1897   %b = icmp eq i8 %x, 17
1898   %c = and i1 %a, %b
1899   ret i1 %c
1900 }
1901
1902 ; x <=s 23 && x != 17
1903
1904 define i1 @and_sle_ne_swap(i8 %x) {
1905 ; CHECK-LABEL: @and_sle_ne_swap(
1906 ; CHECK-NEXT:    [[A:%.*]] = icmp sle i8 %x, 23
1907 ; CHECK-NEXT:    [[B:%.*]] = icmp ne i8 %x, 17
1908 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
1909 ; CHECK-NEXT:    ret i1 [[C]]
1910 ;
1911   %a = icmp sle i8 %x, 23
1912   %b = icmp ne i8 %x, 17
1913   %c = and i1 %a, %b
1914   ret i1 %c
1915 }
1916
1917 ; x <=s 23 && x >=s 17
1918
1919 define i1 @and_sle_sge_swap(i8 %x) {
1920 ; CHECK-LABEL: @and_sle_sge_swap(
1921 ; CHECK-NEXT:    [[A:%.*]] = icmp sle i8 %x, 23
1922 ; CHECK-NEXT:    [[B:%.*]] = icmp sge i8 %x, 17
1923 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
1924 ; CHECK-NEXT:    ret i1 [[C]]
1925 ;
1926   %a = icmp sle i8 %x, 23
1927   %b = icmp sge i8 %x, 17
1928   %c = and i1 %a, %b
1929   ret i1 %c
1930 }
1931
1932 ; x <=s 23 && x >s 17
1933
1934 define i1 @and_sle_sgt_swap(i8 %x) {
1935 ; CHECK-LABEL: @and_sle_sgt_swap(
1936 ; CHECK-NEXT:    [[A:%.*]] = icmp sle i8 %x, 23
1937 ; CHECK-NEXT:    [[B:%.*]] = icmp sgt i8 %x, 17
1938 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
1939 ; CHECK-NEXT:    ret i1 [[C]]
1940 ;
1941   %a = icmp sle i8 %x, 23
1942   %b = icmp sgt i8 %x, 17
1943   %c = and i1 %a, %b
1944   ret i1 %c
1945 }
1946
1947 ; x <=s 23 && x <=s 17
1948
1949 define i1 @and_sle_sle_swap(i8 %x) {
1950 ; CHECK-LABEL: @and_sle_sle_swap(
1951 ; CHECK-NEXT:    [[B:%.*]] = icmp sle i8 %x, 17
1952 ; CHECK-NEXT:    ret i1 [[B]]
1953 ;
1954   %a = icmp sle i8 %x, 23
1955   %b = icmp sle i8 %x, 17
1956   %c = and i1 %a, %b
1957   ret i1 %c
1958 }
1959
1960 ; x <=s 23 && x <s 17
1961
1962 define i1 @and_sle_slt_swap(i8 %x) {
1963 ; CHECK-LABEL: @and_sle_slt_swap(
1964 ; CHECK-NEXT:    [[B:%.*]] = icmp slt i8 %x, 17
1965 ; CHECK-NEXT:    ret i1 [[B]]
1966 ;
1967   %a = icmp sle i8 %x, 23
1968   %b = icmp slt i8 %x, 17
1969   %c = and i1 %a, %b
1970   ret i1 %c
1971 }
1972
1973 ; x <=s 23 && x >=u 17
1974
1975 define i1 @and_sle_uge_swap(i8 %x) {
1976 ; CHECK-LABEL: @and_sle_uge_swap(
1977 ; CHECK-NEXT:    [[A:%.*]] = icmp sle i8 %x, 23
1978 ; CHECK-NEXT:    [[B:%.*]] = icmp uge i8 %x, 17
1979 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
1980 ; CHECK-NEXT:    ret i1 [[C]]
1981 ;
1982   %a = icmp sle i8 %x, 23
1983   %b = icmp uge i8 %x, 17
1984   %c = and i1 %a, %b
1985   ret i1 %c
1986 }
1987
1988 ; x <=s 23 && x >u 17
1989
1990 define i1 @and_sle_ugt_swap(i8 %x) {
1991 ; CHECK-LABEL: @and_sle_ugt_swap(
1992 ; CHECK-NEXT:    [[A:%.*]] = icmp sle i8 %x, 23
1993 ; CHECK-NEXT:    [[B:%.*]] = icmp ugt i8 %x, 17
1994 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
1995 ; CHECK-NEXT:    ret i1 [[C]]
1996 ;
1997   %a = icmp sle i8 %x, 23
1998   %b = icmp ugt i8 %x, 17
1999   %c = and i1 %a, %b
2000   ret i1 %c
2001 }
2002
2003 ; x <=s 23 && x <=u 17
2004
2005 define i1 @and_sle_ule_swap(i8 %x) {
2006 ; CHECK-LABEL: @and_sle_ule_swap(
2007 ; CHECK-NEXT:    [[B:%.*]] = icmp ule i8 %x, 17
2008 ; CHECK-NEXT:    ret i1 [[B]]
2009 ;
2010   %a = icmp sle i8 %x, 23
2011   %b = icmp ule i8 %x, 17
2012   %c = and i1 %a, %b
2013   ret i1 %c
2014 }
2015
2016 ; x <=s 23 && x <u 17
2017
2018 define i1 @and_sle_ult_swap(i8 %x) {
2019 ; CHECK-LABEL: @and_sle_ult_swap(
2020 ; CHECK-NEXT:    [[B:%.*]] = icmp ult i8 %x, 17
2021 ; CHECK-NEXT:    ret i1 [[B]]
2022 ;
2023   %a = icmp sle i8 %x, 23
2024   %b = icmp ult i8 %x, 17
2025   %c = and i1 %a, %b
2026   ret i1 %c
2027 }
2028
2029 ; slt
2030 ; x <s 23 && x == 17
2031
2032 define i1 @and_slt_eq_swap(i8 %x) {
2033 ; CHECK-LABEL: @and_slt_eq_swap(
2034 ; CHECK-NEXT:    [[B:%.*]] = icmp eq i8 %x, 17
2035 ; CHECK-NEXT:    ret i1 [[B]]
2036 ;
2037   %a = icmp slt i8 %x, 23
2038   %b = icmp eq i8 %x, 17
2039   %c = and i1 %a, %b
2040   ret i1 %c
2041 }
2042
2043 ; x <s 23 && x != 17
2044
2045 define i1 @and_slt_ne_swap(i8 %x) {
2046 ; CHECK-LABEL: @and_slt_ne_swap(
2047 ; CHECK-NEXT:    [[A:%.*]] = icmp slt i8 %x, 23
2048 ; CHECK-NEXT:    [[B:%.*]] = icmp ne i8 %x, 17
2049 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
2050 ; CHECK-NEXT:    ret i1 [[C]]
2051 ;
2052   %a = icmp slt i8 %x, 23
2053   %b = icmp ne i8 %x, 17
2054   %c = and i1 %a, %b
2055   ret i1 %c
2056 }
2057
2058 ; x <s 23 && x >=s 17
2059
2060 define i1 @and_slt_sge_swap(i8 %x) {
2061 ; CHECK-LABEL: @and_slt_sge_swap(
2062 ; CHECK-NEXT:    [[A:%.*]] = icmp slt i8 %x, 23
2063 ; CHECK-NEXT:    [[B:%.*]] = icmp sge i8 %x, 17
2064 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
2065 ; CHECK-NEXT:    ret i1 [[C]]
2066 ;
2067   %a = icmp slt i8 %x, 23
2068   %b = icmp sge i8 %x, 17
2069   %c = and i1 %a, %b
2070   ret i1 %c
2071 }
2072
2073 ; x <s 23 && x >s 17
2074
2075 define i1 @and_slt_sgt_swap(i8 %x) {
2076 ; CHECK-LABEL: @and_slt_sgt_swap(
2077 ; CHECK-NEXT:    [[A:%.*]] = icmp slt i8 %x, 23
2078 ; CHECK-NEXT:    [[B:%.*]] = icmp sgt i8 %x, 17
2079 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
2080 ; CHECK-NEXT:    ret i1 [[C]]
2081 ;
2082   %a = icmp slt i8 %x, 23
2083   %b = icmp sgt i8 %x, 17
2084   %c = and i1 %a, %b
2085   ret i1 %c
2086 }
2087
2088 ; x <s 23 && x <=s 17
2089
2090 define i1 @and_slt_sle_swap(i8 %x) {
2091 ; CHECK-LABEL: @and_slt_sle_swap(
2092 ; CHECK-NEXT:    [[B:%.*]] = icmp sle i8 %x, 17
2093 ; CHECK-NEXT:    ret i1 [[B]]
2094 ;
2095   %a = icmp slt i8 %x, 23
2096   %b = icmp sle i8 %x, 17
2097   %c = and i1 %a, %b
2098   ret i1 %c
2099 }
2100
2101 ; x <s 23 && x <s 17
2102
2103 define i1 @and_slt_slt_swap(i8 %x) {
2104 ; CHECK-LABEL: @and_slt_slt_swap(
2105 ; CHECK-NEXT:    [[B:%.*]] = icmp slt i8 %x, 17
2106 ; CHECK-NEXT:    ret i1 [[B]]
2107 ;
2108   %a = icmp slt i8 %x, 23
2109   %b = icmp slt i8 %x, 17
2110   %c = and i1 %a, %b
2111   ret i1 %c
2112 }
2113
2114 ; x <s 23 && x >=u 17
2115
2116 define i1 @and_slt_uge_swap(i8 %x) {
2117 ; CHECK-LABEL: @and_slt_uge_swap(
2118 ; CHECK-NEXT:    [[A:%.*]] = icmp slt i8 %x, 23
2119 ; CHECK-NEXT:    [[B:%.*]] = icmp uge i8 %x, 17
2120 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
2121 ; CHECK-NEXT:    ret i1 [[C]]
2122 ;
2123   %a = icmp slt i8 %x, 23
2124   %b = icmp uge i8 %x, 17
2125   %c = and i1 %a, %b
2126   ret i1 %c
2127 }
2128
2129 ; x <s 23 && x >u 17
2130
2131 define i1 @and_slt_ugt_swap(i8 %x) {
2132 ; CHECK-LABEL: @and_slt_ugt_swap(
2133 ; CHECK-NEXT:    [[A:%.*]] = icmp slt i8 %x, 23
2134 ; CHECK-NEXT:    [[B:%.*]] = icmp ugt i8 %x, 17
2135 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
2136 ; CHECK-NEXT:    ret i1 [[C]]
2137 ;
2138   %a = icmp slt i8 %x, 23
2139   %b = icmp ugt i8 %x, 17
2140   %c = and i1 %a, %b
2141   ret i1 %c
2142 }
2143
2144 ; x <s 23 && x <=u 17
2145
2146 define i1 @and_slt_ule_swap(i8 %x) {
2147 ; CHECK-LABEL: @and_slt_ule_swap(
2148 ; CHECK-NEXT:    [[B:%.*]] = icmp ule i8 %x, 17
2149 ; CHECK-NEXT:    ret i1 [[B]]
2150 ;
2151   %a = icmp slt i8 %x, 23
2152   %b = icmp ule i8 %x, 17
2153   %c = and i1 %a, %b
2154   ret i1 %c
2155 }
2156
2157 ; x <s 23 && x <u 17
2158
2159 define i1 @and_slt_ult_swap(i8 %x) {
2160 ; CHECK-LABEL: @and_slt_ult_swap(
2161 ; CHECK-NEXT:    [[B:%.*]] = icmp ult i8 %x, 17
2162 ; CHECK-NEXT:    ret i1 [[B]]
2163 ;
2164   %a = icmp slt i8 %x, 23
2165   %b = icmp ult i8 %x, 17
2166   %c = and i1 %a, %b
2167   ret i1 %c
2168 }
2169
2170 ; uge
2171 ; x >=u 23 && x == 17
2172
2173 define i1 @and_uge_eq_swap(i8 %x) {
2174 ; CHECK-LABEL: @and_uge_eq_swap(
2175 ; CHECK-NEXT:    ret i1 false
2176 ;
2177   %a = icmp uge i8 %x, 23
2178   %b = icmp eq i8 %x, 17
2179   %c = and i1 %a, %b
2180   ret i1 %c
2181 }
2182
2183 ; x >=u 23 && x != 17
2184
2185 define i1 @and_uge_ne_swap(i8 %x) {
2186 ; CHECK-LABEL: @and_uge_ne_swap(
2187 ; CHECK-NEXT:    [[A:%.*]] = icmp uge i8 %x, 23
2188 ; CHECK-NEXT:    ret i1 [[A]]
2189 ;
2190   %a = icmp uge i8 %x, 23
2191   %b = icmp ne i8 %x, 17
2192   %c = and i1 %a, %b
2193   ret i1 %c
2194 }
2195
2196 ; x >=u 23 && x >=s 17
2197
2198 define i1 @and_uge_sge_swap(i8 %x) {
2199 ; CHECK-LABEL: @and_uge_sge_swap(
2200 ; CHECK-NEXT:    [[A:%.*]] = icmp uge i8 %x, 23
2201 ; CHECK-NEXT:    [[B:%.*]] = icmp sge i8 %x, 17
2202 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
2203 ; CHECK-NEXT:    ret i1 [[C]]
2204 ;
2205   %a = icmp uge i8 %x, 23
2206   %b = icmp sge i8 %x, 17
2207   %c = and i1 %a, %b
2208   ret i1 %c
2209 }
2210
2211 ; x >=u 23 && x >s 17
2212
2213 define i1 @and_uge_sgt_swap(i8 %x) {
2214 ; CHECK-LABEL: @and_uge_sgt_swap(
2215 ; CHECK-NEXT:    [[A:%.*]] = icmp uge i8 %x, 23
2216 ; CHECK-NEXT:    [[B:%.*]] = icmp sgt i8 %x, 17
2217 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
2218 ; CHECK-NEXT:    ret i1 [[C]]
2219 ;
2220   %a = icmp uge i8 %x, 23
2221   %b = icmp sgt i8 %x, 17
2222   %c = and i1 %a, %b
2223   ret i1 %c
2224 }
2225
2226 ; x >=u 23 && x <=s 17
2227
2228 define i1 @and_uge_sle_swap(i8 %x) {
2229 ; CHECK-LABEL: @and_uge_sle_swap(
2230 ; CHECK-NEXT:    [[A:%.*]] = icmp uge i8 %x, 23
2231 ; CHECK-NEXT:    [[B:%.*]] = icmp sle i8 %x, 17
2232 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
2233 ; CHECK-NEXT:    ret i1 [[C]]
2234 ;
2235   %a = icmp uge i8 %x, 23
2236   %b = icmp sle i8 %x, 17
2237   %c = and i1 %a, %b
2238   ret i1 %c
2239 }
2240
2241 ; x >=u 23 && x <s 17
2242
2243 define i1 @and_uge_slt_swap(i8 %x) {
2244 ; CHECK-LABEL: @and_uge_slt_swap(
2245 ; CHECK-NEXT:    [[A:%.*]] = icmp uge i8 %x, 23
2246 ; CHECK-NEXT:    [[B:%.*]] = icmp slt i8 %x, 17
2247 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
2248 ; CHECK-NEXT:    ret i1 [[C]]
2249 ;
2250   %a = icmp uge i8 %x, 23
2251   %b = icmp slt i8 %x, 17
2252   %c = and i1 %a, %b
2253   ret i1 %c
2254 }
2255
2256 ; x >=u 23 && x >=u 17
2257
2258 define i1 @and_uge_uge_swap(i8 %x) {
2259 ; CHECK-LABEL: @and_uge_uge_swap(
2260 ; CHECK-NEXT:    [[A:%.*]] = icmp uge i8 %x, 23
2261 ; CHECK-NEXT:    ret i1 [[A]]
2262 ;
2263   %a = icmp uge i8 %x, 23
2264   %b = icmp uge i8 %x, 17
2265   %c = and i1 %a, %b
2266   ret i1 %c
2267 }
2268
2269 ; x >=u 23 && x >u 17
2270
2271 define i1 @and_uge_ugt_swap(i8 %x) {
2272 ; CHECK-LABEL: @and_uge_ugt_swap(
2273 ; CHECK-NEXT:    [[A:%.*]] = icmp uge i8 %x, 23
2274 ; CHECK-NEXT:    ret i1 [[A]]
2275 ;
2276   %a = icmp uge i8 %x, 23
2277   %b = icmp ugt i8 %x, 17
2278   %c = and i1 %a, %b
2279   ret i1 %c
2280 }
2281
2282 ; x >=u 23 && x <=u 17
2283
2284 define i1 @and_uge_ule_swap(i8 %x) {
2285 ; CHECK-LABEL: @and_uge_ule_swap(
2286 ; CHECK-NEXT:    ret i1 false
2287 ;
2288   %a = icmp uge i8 %x, 23
2289   %b = icmp ule i8 %x, 17
2290   %c = and i1 %a, %b
2291   ret i1 %c
2292 }
2293
2294 ; x >=u 23 && x <u 17
2295
2296 define i1 @and_uge_ult_swap(i8 %x) {
2297 ; CHECK-LABEL: @and_uge_ult_swap(
2298 ; CHECK-NEXT:    ret i1 false
2299 ;
2300   %a = icmp uge i8 %x, 23
2301   %b = icmp ult i8 %x, 17
2302   %c = and i1 %a, %b
2303   ret i1 %c
2304 }
2305
2306 ; ugt
2307 ; x >u 23 && x == 17
2308
2309 define i1 @and_ugt_eq_swap(i8 %x) {
2310 ; CHECK-LABEL: @and_ugt_eq_swap(
2311 ; CHECK-NEXT:    ret i1 false
2312 ;
2313   %a = icmp ugt i8 %x, 23
2314   %b = icmp eq i8 %x, 17
2315   %c = and i1 %a, %b
2316   ret i1 %c
2317 }
2318
2319 ; x >u 23 && x != 17
2320
2321 define i1 @and_ugt_ne_swap(i8 %x) {
2322 ; CHECK-LABEL: @and_ugt_ne_swap(
2323 ; CHECK-NEXT:    [[A:%.*]] = icmp ugt i8 %x, 23
2324 ; CHECK-NEXT:    ret i1 [[A]]
2325 ;
2326   %a = icmp ugt i8 %x, 23
2327   %b = icmp ne i8 %x, 17
2328   %c = and i1 %a, %b
2329   ret i1 %c
2330 }
2331
2332 ; x >u 23 && x >=s 17
2333
2334 define i1 @and_ugt_sge_swap(i8 %x) {
2335 ; CHECK-LABEL: @and_ugt_sge_swap(
2336 ; CHECK-NEXT:    [[A:%.*]] = icmp ugt i8 %x, 23
2337 ; CHECK-NEXT:    [[B:%.*]] = icmp sge i8 %x, 17
2338 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
2339 ; CHECK-NEXT:    ret i1 [[C]]
2340 ;
2341   %a = icmp ugt i8 %x, 23
2342   %b = icmp sge i8 %x, 17
2343   %c = and i1 %a, %b
2344   ret i1 %c
2345 }
2346
2347 ; x >u 23 && x >s 17
2348
2349 define i1 @and_ugt_sgt_swap(i8 %x) {
2350 ; CHECK-LABEL: @and_ugt_sgt_swap(
2351 ; CHECK-NEXT:    [[A:%.*]] = icmp ugt i8 %x, 23
2352 ; CHECK-NEXT:    [[B:%.*]] = icmp sgt i8 %x, 17
2353 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
2354 ; CHECK-NEXT:    ret i1 [[C]]
2355 ;
2356   %a = icmp ugt i8 %x, 23
2357   %b = icmp sgt i8 %x, 17
2358   %c = and i1 %a, %b
2359   ret i1 %c
2360 }
2361
2362 ; x >u 23 && x <=s 17
2363
2364 define i1 @and_ugt_sle_swap(i8 %x) {
2365 ; CHECK-LABEL: @and_ugt_sle_swap(
2366 ; CHECK-NEXT:    [[A:%.*]] = icmp ugt i8 %x, 23
2367 ; CHECK-NEXT:    [[B:%.*]] = icmp sle i8 %x, 17
2368 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
2369 ; CHECK-NEXT:    ret i1 [[C]]
2370 ;
2371   %a = icmp ugt i8 %x, 23
2372   %b = icmp sle i8 %x, 17
2373   %c = and i1 %a, %b
2374   ret i1 %c
2375 }
2376
2377 ; x >u 23 && x <s 17
2378
2379 define i1 @and_ugt_slt_swap(i8 %x) {
2380 ; CHECK-LABEL: @and_ugt_slt_swap(
2381 ; CHECK-NEXT:    [[A:%.*]] = icmp ugt i8 %x, 23
2382 ; CHECK-NEXT:    [[B:%.*]] = icmp slt i8 %x, 17
2383 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
2384 ; CHECK-NEXT:    ret i1 [[C]]
2385 ;
2386   %a = icmp ugt i8 %x, 23
2387   %b = icmp slt i8 %x, 17
2388   %c = and i1 %a, %b
2389   ret i1 %c
2390 }
2391
2392 ; x >u 23 && x >=u 17
2393
2394 define i1 @and_ugt_uge_swap(i8 %x) {
2395 ; CHECK-LABEL: @and_ugt_uge_swap(
2396 ; CHECK-NEXT:    [[A:%.*]] = icmp ugt i8 %x, 23
2397 ; CHECK-NEXT:    ret i1 [[A]]
2398 ;
2399   %a = icmp ugt i8 %x, 23
2400   %b = icmp uge i8 %x, 17
2401   %c = and i1 %a, %b
2402   ret i1 %c
2403 }
2404
2405 ; x >u 23 && x >u 17
2406
2407 define i1 @and_ugt_ugt_swap(i8 %x) {
2408 ; CHECK-LABEL: @and_ugt_ugt_swap(
2409 ; CHECK-NEXT:    [[A:%.*]] = icmp ugt i8 %x, 23
2410 ; CHECK-NEXT:    ret i1 [[A]]
2411 ;
2412   %a = icmp ugt i8 %x, 23
2413   %b = icmp ugt i8 %x, 17
2414   %c = and i1 %a, %b
2415   ret i1 %c
2416 }
2417
2418 ; x >u 23 && x <=u 17
2419
2420 define i1 @and_ugt_ule_swap(i8 %x) {
2421 ; CHECK-LABEL: @and_ugt_ule_swap(
2422 ; CHECK-NEXT:    ret i1 false
2423 ;
2424   %a = icmp ugt i8 %x, 23
2425   %b = icmp ule i8 %x, 17
2426   %c = and i1 %a, %b
2427   ret i1 %c
2428 }
2429
2430 ; x >u 23 && x <u 17
2431
2432 define i1 @and_ugt_ult_swap(i8 %x) {
2433 ; CHECK-LABEL: @and_ugt_ult_swap(
2434 ; CHECK-NEXT:    ret i1 false
2435 ;
2436   %a = icmp ugt i8 %x, 23
2437   %b = icmp ult i8 %x, 17
2438   %c = and i1 %a, %b
2439   ret i1 %c
2440 }
2441
2442 ; ule
2443 ; x <=u 23 && x == 17
2444
2445 define i1 @and_ule_eq_swap(i8 %x) {
2446 ; CHECK-LABEL: @and_ule_eq_swap(
2447 ; CHECK-NEXT:    [[B:%.*]] = icmp eq i8 %x, 17
2448 ; CHECK-NEXT:    ret i1 [[B]]
2449 ;
2450   %a = icmp ule i8 %x, 23
2451   %b = icmp eq i8 %x, 17
2452   %c = and i1 %a, %b
2453   ret i1 %c
2454 }
2455
2456 ; x <=u 23 && x != 17
2457
2458 define i1 @and_ule_ne_swap(i8 %x) {
2459 ; CHECK-LABEL: @and_ule_ne_swap(
2460 ; CHECK-NEXT:    [[A:%.*]] = icmp ule i8 %x, 23
2461 ; CHECK-NEXT:    [[B:%.*]] = icmp ne i8 %x, 17
2462 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
2463 ; CHECK-NEXT:    ret i1 [[C]]
2464 ;
2465   %a = icmp ule i8 %x, 23
2466   %b = icmp ne i8 %x, 17
2467   %c = and i1 %a, %b
2468   ret i1 %c
2469 }
2470
2471 ; x <=u 23 && x >=s 17
2472
2473 define i1 @and_ule_sge_swap(i8 %x) {
2474 ; CHECK-LABEL: @and_ule_sge_swap(
2475 ; CHECK-NEXT:    [[A:%.*]] = icmp ule i8 %x, 23
2476 ; CHECK-NEXT:    [[B:%.*]] = icmp sge i8 %x, 17
2477 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
2478 ; CHECK-NEXT:    ret i1 [[C]]
2479 ;
2480   %a = icmp ule i8 %x, 23
2481   %b = icmp sge i8 %x, 17
2482   %c = and i1 %a, %b
2483   ret i1 %c
2484 }
2485
2486 ; x <=u 23 && x >s 17
2487
2488 define i1 @and_ule_sgt_swap(i8 %x) {
2489 ; CHECK-LABEL: @and_ule_sgt_swap(
2490 ; CHECK-NEXT:    [[A:%.*]] = icmp ule i8 %x, 23
2491 ; CHECK-NEXT:    [[B:%.*]] = icmp sgt i8 %x, 17
2492 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
2493 ; CHECK-NEXT:    ret i1 [[C]]
2494 ;
2495   %a = icmp ule i8 %x, 23
2496   %b = icmp sgt i8 %x, 17
2497   %c = and i1 %a, %b
2498   ret i1 %c
2499 }
2500
2501 ; x <=u 23 && x <=s 17
2502
2503 define i1 @and_ule_sle_swap(i8 %x) {
2504 ; CHECK-LABEL: @and_ule_sle_swap(
2505 ; CHECK-NEXT:    [[A:%.*]] = icmp ule i8 %x, 23
2506 ; CHECK-NEXT:    [[B:%.*]] = icmp sle i8 %x, 17
2507 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
2508 ; CHECK-NEXT:    ret i1 [[C]]
2509 ;
2510   %a = icmp ule i8 %x, 23
2511   %b = icmp sle i8 %x, 17
2512   %c = and i1 %a, %b
2513   ret i1 %c
2514 }
2515
2516 ; x <=u 23 && x <s 17
2517
2518 define i1 @and_ule_slt_swap(i8 %x) {
2519 ; CHECK-LABEL: @and_ule_slt_swap(
2520 ; CHECK-NEXT:    [[A:%.*]] = icmp ule i8 %x, 23
2521 ; CHECK-NEXT:    [[B:%.*]] = icmp slt i8 %x, 17
2522 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
2523 ; CHECK-NEXT:    ret i1 [[C]]
2524 ;
2525   %a = icmp ule i8 %x, 23
2526   %b = icmp slt i8 %x, 17
2527   %c = and i1 %a, %b
2528   ret i1 %c
2529 }
2530
2531 ; x <=u 23 && x >=u 17
2532
2533 define i1 @and_ule_uge_swap(i8 %x) {
2534 ; CHECK-LABEL: @and_ule_uge_swap(
2535 ; CHECK-NEXT:    [[A:%.*]] = icmp ule i8 %x, 23
2536 ; CHECK-NEXT:    [[B:%.*]] = icmp uge i8 %x, 17
2537 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
2538 ; CHECK-NEXT:    ret i1 [[C]]
2539 ;
2540   %a = icmp ule i8 %x, 23
2541   %b = icmp uge i8 %x, 17
2542   %c = and i1 %a, %b
2543   ret i1 %c
2544 }
2545
2546 ; x <=u 23 && x >u 17
2547
2548 define i1 @and_ule_ugt_swap(i8 %x) {
2549 ; CHECK-LABEL: @and_ule_ugt_swap(
2550 ; CHECK-NEXT:    [[A:%.*]] = icmp ule i8 %x, 23
2551 ; CHECK-NEXT:    [[B:%.*]] = icmp ugt i8 %x, 17
2552 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
2553 ; CHECK-NEXT:    ret i1 [[C]]
2554 ;
2555   %a = icmp ule i8 %x, 23
2556   %b = icmp ugt i8 %x, 17
2557   %c = and i1 %a, %b
2558   ret i1 %c
2559 }
2560
2561 ; x <=u 23 && x <=u 17
2562
2563 define i1 @and_ule_ule_swap(i8 %x) {
2564 ; CHECK-LABEL: @and_ule_ule_swap(
2565 ; CHECK-NEXT:    [[B:%.*]] = icmp ule i8 %x, 17
2566 ; CHECK-NEXT:    ret i1 [[B]]
2567 ;
2568   %a = icmp ule i8 %x, 23
2569   %b = icmp ule i8 %x, 17
2570   %c = and i1 %a, %b
2571   ret i1 %c
2572 }
2573
2574 ; x <=u 23 && x <u 17
2575
2576 define i1 @and_ule_ult_swap(i8 %x) {
2577 ; CHECK-LABEL: @and_ule_ult_swap(
2578 ; CHECK-NEXT:    [[B:%.*]] = icmp ult i8 %x, 17
2579 ; CHECK-NEXT:    ret i1 [[B]]
2580 ;
2581   %a = icmp ule i8 %x, 23
2582   %b = icmp ult i8 %x, 17
2583   %c = and i1 %a, %b
2584   ret i1 %c
2585 }
2586
2587 ; ult
2588 ; x <u 23 && x == 17
2589
2590 define i1 @and_ult_eq_swap(i8 %x) {
2591 ; CHECK-LABEL: @and_ult_eq_swap(
2592 ; CHECK-NEXT:    [[B:%.*]] = icmp eq i8 %x, 17
2593 ; CHECK-NEXT:    ret i1 [[B]]
2594 ;
2595   %a = icmp ult i8 %x, 23
2596   %b = icmp eq i8 %x, 17
2597   %c = and i1 %a, %b
2598   ret i1 %c
2599 }
2600
2601 ; x <u 23 && x != 17
2602
2603 define i1 @and_ult_ne_swap(i8 %x) {
2604 ; CHECK-LABEL: @and_ult_ne_swap(
2605 ; CHECK-NEXT:    [[A:%.*]] = icmp ult i8 %x, 23
2606 ; CHECK-NEXT:    [[B:%.*]] = icmp ne i8 %x, 17
2607 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
2608 ; CHECK-NEXT:    ret i1 [[C]]
2609 ;
2610   %a = icmp ult i8 %x, 23
2611   %b = icmp ne i8 %x, 17
2612   %c = and i1 %a, %b
2613   ret i1 %c
2614 }
2615
2616 ; x <u 23 && x >=s 17
2617
2618 define i1 @and_ult_sge_swap(i8 %x) {
2619 ; CHECK-LABEL: @and_ult_sge_swap(
2620 ; CHECK-NEXT:    [[A:%.*]] = icmp ult i8 %x, 23
2621 ; CHECK-NEXT:    [[B:%.*]] = icmp sge i8 %x, 17
2622 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
2623 ; CHECK-NEXT:    ret i1 [[C]]
2624 ;
2625   %a = icmp ult i8 %x, 23
2626   %b = icmp sge i8 %x, 17
2627   %c = and i1 %a, %b
2628   ret i1 %c
2629 }
2630
2631 ; x <u 23 && x >s 17
2632
2633 define i1 @and_ult_sgt_swap(i8 %x) {
2634 ; CHECK-LABEL: @and_ult_sgt_swap(
2635 ; CHECK-NEXT:    [[A:%.*]] = icmp ult i8 %x, 23
2636 ; CHECK-NEXT:    [[B:%.*]] = icmp sgt i8 %x, 17
2637 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
2638 ; CHECK-NEXT:    ret i1 [[C]]
2639 ;
2640   %a = icmp ult i8 %x, 23
2641   %b = icmp sgt i8 %x, 17
2642   %c = and i1 %a, %b
2643   ret i1 %c
2644 }
2645
2646 ; x <u 23 && x <=s 17
2647
2648 define i1 @and_ult_sle_swap(i8 %x) {
2649 ; CHECK-LABEL: @and_ult_sle_swap(
2650 ; CHECK-NEXT:    [[A:%.*]] = icmp ult i8 %x, 23
2651 ; CHECK-NEXT:    [[B:%.*]] = icmp sle i8 %x, 17
2652 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
2653 ; CHECK-NEXT:    ret i1 [[C]]
2654 ;
2655   %a = icmp ult i8 %x, 23
2656   %b = icmp sle i8 %x, 17
2657   %c = and i1 %a, %b
2658   ret i1 %c
2659 }
2660
2661 ; x <u 23 && x <s 17
2662
2663 define i1 @and_ult_slt_swap(i8 %x) {
2664 ; CHECK-LABEL: @and_ult_slt_swap(
2665 ; CHECK-NEXT:    [[A:%.*]] = icmp ult i8 %x, 23
2666 ; CHECK-NEXT:    [[B:%.*]] = icmp slt i8 %x, 17
2667 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
2668 ; CHECK-NEXT:    ret i1 [[C]]
2669 ;
2670   %a = icmp ult i8 %x, 23
2671   %b = icmp slt i8 %x, 17
2672   %c = and i1 %a, %b
2673   ret i1 %c
2674 }
2675
2676 ; x <u 23 && x >=u 17
2677
2678 define i1 @and_ult_uge_swap(i8 %x) {
2679 ; CHECK-LABEL: @and_ult_uge_swap(
2680 ; CHECK-NEXT:    [[A:%.*]] = icmp ult i8 %x, 23
2681 ; CHECK-NEXT:    [[B:%.*]] = icmp uge i8 %x, 17
2682 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
2683 ; CHECK-NEXT:    ret i1 [[C]]
2684 ;
2685   %a = icmp ult i8 %x, 23
2686   %b = icmp uge i8 %x, 17
2687   %c = and i1 %a, %b
2688   ret i1 %c
2689 }
2690
2691 ; x <u 23 && x >u 17
2692
2693 define i1 @and_ult_ugt_swap(i8 %x) {
2694 ; CHECK-LABEL: @and_ult_ugt_swap(
2695 ; CHECK-NEXT:    [[A:%.*]] = icmp ult i8 %x, 23
2696 ; CHECK-NEXT:    [[B:%.*]] = icmp ugt i8 %x, 17
2697 ; CHECK-NEXT:    [[C:%.*]] = and i1 [[A]], [[B]]
2698 ; CHECK-NEXT:    ret i1 [[C]]
2699 ;
2700   %a = icmp ult i8 %x, 23
2701   %b = icmp ugt i8 %x, 17
2702   %c = and i1 %a, %b
2703   ret i1 %c
2704 }
2705
2706 ; x <u 23 && x <=u 17
2707
2708 define i1 @and_ult_ule_swap(i8 %x) {
2709 ; CHECK-LABEL: @and_ult_ule_swap(
2710 ; CHECK-NEXT:    [[B:%.*]] = icmp ule i8 %x, 17
2711 ; CHECK-NEXT:    ret i1 [[B]]
2712 ;
2713   %a = icmp ult i8 %x, 23
2714   %b = icmp ule i8 %x, 17
2715   %c = and i1 %a, %b
2716   ret i1 %c
2717 }
2718
2719 ; x <u 23 && x <u 17
2720
2721 define i1 @and_ult_ult_swap(i8 %x) {
2722 ; CHECK-LABEL: @and_ult_ult_swap(
2723 ; CHECK-NEXT:    [[B:%.*]] = icmp ult i8 %x, 17
2724 ; CHECK-NEXT:    ret i1 [[B]]
2725 ;
2726   %a = icmp ult i8 %x, 23
2727   %b = icmp ult i8 %x, 17
2728   %c = and i1 %a, %b
2729   ret i1 %c
2730 }
2731
2732 ; eq
2733 ; x == 13 || x == 17
2734
2735 define i1 @or_eq_eq(i8 %x) {
2736 ; CHECK-LABEL: @or_eq_eq(
2737 ; CHECK-NEXT:    [[A:%.*]] = icmp eq i8 %x, 13
2738 ; CHECK-NEXT:    [[B:%.*]] = icmp eq i8 %x, 17
2739 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
2740 ; CHECK-NEXT:    ret i1 [[C]]
2741 ;
2742   %a = icmp eq i8 %x, 13
2743   %b = icmp eq i8 %x, 17
2744   %c = or i1 %a, %b
2745   ret i1 %c
2746 }
2747
2748 ; x == 13 || x != 17
2749
2750 define i1 @or_eq_ne(i8 %x) {
2751 ; CHECK-LABEL: @or_eq_ne(
2752 ; CHECK-NEXT:    [[B:%.*]] = icmp ne i8 %x, 17
2753 ; CHECK-NEXT:    ret i1 [[B]]
2754 ;
2755   %a = icmp eq i8 %x, 13
2756   %b = icmp ne i8 %x, 17
2757   %c = or i1 %a, %b
2758   ret i1 %c
2759 }
2760
2761 ; x == 13 || x >=s 17
2762
2763 define i1 @or_eq_sge(i8 %x) {
2764 ; CHECK-LABEL: @or_eq_sge(
2765 ; CHECK-NEXT:    [[A:%.*]] = icmp eq i8 %x, 13
2766 ; CHECK-NEXT:    [[B:%.*]] = icmp sge i8 %x, 17
2767 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
2768 ; CHECK-NEXT:    ret i1 [[C]]
2769 ;
2770   %a = icmp eq i8 %x, 13
2771   %b = icmp sge i8 %x, 17
2772   %c = or i1 %a, %b
2773   ret i1 %c
2774 }
2775
2776 ; x == 13 || x >s 17
2777
2778 define i1 @or_eq_sgt(i8 %x) {
2779 ; CHECK-LABEL: @or_eq_sgt(
2780 ; CHECK-NEXT:    [[A:%.*]] = icmp eq i8 %x, 13
2781 ; CHECK-NEXT:    [[B:%.*]] = icmp sgt i8 %x, 17
2782 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
2783 ; CHECK-NEXT:    ret i1 [[C]]
2784 ;
2785   %a = icmp eq i8 %x, 13
2786   %b = icmp sgt i8 %x, 17
2787   %c = or i1 %a, %b
2788   ret i1 %c
2789 }
2790
2791 ; x == 13 || x <=s 17
2792
2793 define i1 @or_eq_sle(i8 %x) {
2794 ; CHECK-LABEL: @or_eq_sle(
2795 ; CHECK-NEXT:    [[B:%.*]] = icmp sle i8 %x, 17
2796 ; CHECK-NEXT:    ret i1 [[B]]
2797 ;
2798   %a = icmp eq i8 %x, 13
2799   %b = icmp sle i8 %x, 17
2800   %c = or i1 %a, %b
2801   ret i1 %c
2802 }
2803
2804 ; x == 13 || x <s 17
2805
2806 define i1 @or_eq_slt(i8 %x) {
2807 ; CHECK-LABEL: @or_eq_slt(
2808 ; CHECK-NEXT:    [[B:%.*]] = icmp slt i8 %x, 17
2809 ; CHECK-NEXT:    ret i1 [[B]]
2810 ;
2811   %a = icmp eq i8 %x, 13
2812   %b = icmp slt i8 %x, 17
2813   %c = or i1 %a, %b
2814   ret i1 %c
2815 }
2816
2817 ; x == 13 || x >=u 17
2818
2819 define i1 @or_eq_uge(i8 %x) {
2820 ; CHECK-LABEL: @or_eq_uge(
2821 ; CHECK-NEXT:    [[A:%.*]] = icmp eq i8 %x, 13
2822 ; CHECK-NEXT:    [[B:%.*]] = icmp uge i8 %x, 17
2823 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
2824 ; CHECK-NEXT:    ret i1 [[C]]
2825 ;
2826   %a = icmp eq i8 %x, 13
2827   %b = icmp uge i8 %x, 17
2828   %c = or i1 %a, %b
2829   ret i1 %c
2830 }
2831
2832 ; x == 13 || x >u 17
2833
2834 define i1 @or_eq_ugt(i8 %x) {
2835 ; CHECK-LABEL: @or_eq_ugt(
2836 ; CHECK-NEXT:    [[A:%.*]] = icmp eq i8 %x, 13
2837 ; CHECK-NEXT:    [[B:%.*]] = icmp ugt i8 %x, 17
2838 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
2839 ; CHECK-NEXT:    ret i1 [[C]]
2840 ;
2841   %a = icmp eq i8 %x, 13
2842   %b = icmp ugt i8 %x, 17
2843   %c = or i1 %a, %b
2844   ret i1 %c
2845 }
2846
2847 ; x == 13 || x <=u 17
2848
2849 define i1 @or_eq_ule(i8 %x) {
2850 ; CHECK-LABEL: @or_eq_ule(
2851 ; CHECK-NEXT:    [[B:%.*]] = icmp ule i8 %x, 17
2852 ; CHECK-NEXT:    ret i1 [[B]]
2853 ;
2854   %a = icmp eq i8 %x, 13
2855   %b = icmp ule i8 %x, 17
2856   %c = or i1 %a, %b
2857   ret i1 %c
2858 }
2859
2860 ; x == 13 || x <u 17
2861
2862 define i1 @or_eq_ult(i8 %x) {
2863 ; CHECK-LABEL: @or_eq_ult(
2864 ; CHECK-NEXT:    [[B:%.*]] = icmp ult i8 %x, 17
2865 ; CHECK-NEXT:    ret i1 [[B]]
2866 ;
2867   %a = icmp eq i8 %x, 13
2868   %b = icmp ult i8 %x, 17
2869   %c = or i1 %a, %b
2870   ret i1 %c
2871 }
2872
2873 ; ne
2874 ; x != 13 || x == 17
2875
2876 define i1 @or_ne_eq(i8 %x) {
2877 ; CHECK-LABEL: @or_ne_eq(
2878 ; CHECK-NEXT:    [[A:%.*]] = icmp ne i8 %x, 13
2879 ; CHECK-NEXT:    ret i1 [[A]]
2880 ;
2881   %a = icmp ne i8 %x, 13
2882   %b = icmp eq i8 %x, 17
2883   %c = or i1 %a, %b
2884   ret i1 %c
2885 }
2886
2887 ; x != 13 || x != 17
2888
2889 define i1 @or_ne_ne(i8 %x) {
2890 ; CHECK-LABEL: @or_ne_ne(
2891 ; CHECK-NEXT:    ret i1 true
2892 ;
2893   %a = icmp ne i8 %x, 13
2894   %b = icmp ne i8 %x, 17
2895   %c = or i1 %a, %b
2896   ret i1 %c
2897 }
2898
2899 ; x != 13 || x >=s 17
2900
2901 define i1 @or_ne_sge(i8 %x) {
2902 ; CHECK-LABEL: @or_ne_sge(
2903 ; CHECK-NEXT:    [[A:%.*]] = icmp ne i8 %x, 13
2904 ; CHECK-NEXT:    ret i1 [[A]]
2905 ;
2906   %a = icmp ne i8 %x, 13
2907   %b = icmp sge i8 %x, 17
2908   %c = or i1 %a, %b
2909   ret i1 %c
2910 }
2911
2912 ; x != 13 || x >s 17
2913
2914 define i1 @or_ne_sgt(i8 %x) {
2915 ; CHECK-LABEL: @or_ne_sgt(
2916 ; CHECK-NEXT:    [[A:%.*]] = icmp ne i8 %x, 13
2917 ; CHECK-NEXT:    ret i1 [[A]]
2918 ;
2919   %a = icmp ne i8 %x, 13
2920   %b = icmp sgt i8 %x, 17
2921   %c = or i1 %a, %b
2922   ret i1 %c
2923 }
2924
2925 ; x != 13 || x <=s 17
2926
2927 define i1 @or_ne_sle(i8 %x) {
2928 ; CHECK-LABEL: @or_ne_sle(
2929 ; CHECK-NEXT:    ret i1 true
2930 ;
2931   %a = icmp ne i8 %x, 13
2932   %b = icmp sle i8 %x, 17
2933   %c = or i1 %a, %b
2934   ret i1 %c
2935 }
2936
2937 ; x != 13 || x <s 17
2938
2939 define i1 @or_ne_slt(i8 %x) {
2940 ; CHECK-LABEL: @or_ne_slt(
2941 ; CHECK-NEXT:    ret i1 true
2942 ;
2943   %a = icmp ne i8 %x, 13
2944   %b = icmp slt i8 %x, 17
2945   %c = or i1 %a, %b
2946   ret i1 %c
2947 }
2948
2949 ; x != 13 || x >=u 17
2950
2951 define i1 @or_ne_uge(i8 %x) {
2952 ; CHECK-LABEL: @or_ne_uge(
2953 ; CHECK-NEXT:    [[A:%.*]] = icmp ne i8 %x, 13
2954 ; CHECK-NEXT:    ret i1 [[A]]
2955 ;
2956   %a = icmp ne i8 %x, 13
2957   %b = icmp uge i8 %x, 17
2958   %c = or i1 %a, %b
2959   ret i1 %c
2960 }
2961
2962 ; x != 13 || x >u 17
2963
2964 define i1 @or_ne_ugt(i8 %x) {
2965 ; CHECK-LABEL: @or_ne_ugt(
2966 ; CHECK-NEXT:    [[A:%.*]] = icmp ne i8 %x, 13
2967 ; CHECK-NEXT:    ret i1 [[A]]
2968 ;
2969   %a = icmp ne i8 %x, 13
2970   %b = icmp ugt i8 %x, 17
2971   %c = or i1 %a, %b
2972   ret i1 %c
2973 }
2974
2975 ; x != 13 || x <=u 17
2976
2977 define i1 @or_ne_ule(i8 %x) {
2978 ; CHECK-LABEL: @or_ne_ule(
2979 ; CHECK-NEXT:    ret i1 true
2980 ;
2981   %a = icmp ne i8 %x, 13
2982   %b = icmp ule i8 %x, 17
2983   %c = or i1 %a, %b
2984   ret i1 %c
2985 }
2986
2987 ; x != 13 || x <u 17
2988
2989 define i1 @or_ne_ult(i8 %x) {
2990 ; CHECK-LABEL: @or_ne_ult(
2991 ; CHECK-NEXT:    ret i1 true
2992 ;
2993   %a = icmp ne i8 %x, 13
2994   %b = icmp ult i8 %x, 17
2995   %c = or i1 %a, %b
2996   ret i1 %c
2997 }
2998
2999 ; sge
3000 ; x >=s 13 || x == 17
3001
3002 define i1 @or_sge_eq(i8 %x) {
3003 ; CHECK-LABEL: @or_sge_eq(
3004 ; CHECK-NEXT:    [[A:%.*]] = icmp sge i8 %x, 13
3005 ; CHECK-NEXT:    ret i1 [[A]]
3006 ;
3007   %a = icmp sge i8 %x, 13
3008   %b = icmp eq i8 %x, 17
3009   %c = or i1 %a, %b
3010   ret i1 %c
3011 }
3012
3013 ; x >=s 13 || x != 17
3014
3015 define i1 @or_sge_ne(i8 %x) {
3016 ; CHECK-LABEL: @or_sge_ne(
3017 ; CHECK-NEXT:    ret i1 true
3018 ;
3019   %a = icmp sge i8 %x, 13
3020   %b = icmp ne i8 %x, 17
3021   %c = or i1 %a, %b
3022   ret i1 %c
3023 }
3024
3025 ; x >=s 13 || x >=s 17
3026
3027 define i1 @or_sge_sge(i8 %x) {
3028 ; CHECK-LABEL: @or_sge_sge(
3029 ; CHECK-NEXT:    [[A:%.*]] = icmp sge i8 %x, 13
3030 ; CHECK-NEXT:    ret i1 [[A]]
3031 ;
3032   %a = icmp sge i8 %x, 13
3033   %b = icmp sge i8 %x, 17
3034   %c = or i1 %a, %b
3035   ret i1 %c
3036 }
3037
3038 ; x >=s 13 || x >s 17
3039
3040 define i1 @or_sge_sgt(i8 %x) {
3041 ; CHECK-LABEL: @or_sge_sgt(
3042 ; CHECK-NEXT:    [[A:%.*]] = icmp sge i8 %x, 13
3043 ; CHECK-NEXT:    ret i1 [[A]]
3044 ;
3045   %a = icmp sge i8 %x, 13
3046   %b = icmp sgt i8 %x, 17
3047   %c = or i1 %a, %b
3048   ret i1 %c
3049 }
3050
3051 ; x >=s 13 || x <=s 17
3052
3053 define i1 @or_sge_sle(i8 %x) {
3054 ; CHECK-LABEL: @or_sge_sle(
3055 ; CHECK-NEXT:    ret i1 true
3056 ;
3057   %a = icmp sge i8 %x, 13
3058   %b = icmp sle i8 %x, 17
3059   %c = or i1 %a, %b
3060   ret i1 %c
3061 }
3062
3063 ; x >=s 13 || x <s 17
3064
3065 define i1 @or_sge_slt(i8 %x) {
3066 ; CHECK-LABEL: @or_sge_slt(
3067 ; CHECK-NEXT:    ret i1 true
3068 ;
3069   %a = icmp sge i8 %x, 13
3070   %b = icmp slt i8 %x, 17
3071   %c = or i1 %a, %b
3072   ret i1 %c
3073 }
3074
3075 ; x >=s 13 || x >=u 17
3076
3077 define i1 @or_sge_uge(i8 %x) {
3078 ; CHECK-LABEL: @or_sge_uge(
3079 ; CHECK-NEXT:    [[A:%.*]] = icmp sge i8 %x, 13
3080 ; CHECK-NEXT:    [[B:%.*]] = icmp uge i8 %x, 17
3081 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
3082 ; CHECK-NEXT:    ret i1 [[C]]
3083 ;
3084   %a = icmp sge i8 %x, 13
3085   %b = icmp uge i8 %x, 17
3086   %c = or i1 %a, %b
3087   ret i1 %c
3088 }
3089
3090 ; x >=s 13 || x >u 17
3091
3092 define i1 @or_sge_ugt(i8 %x) {
3093 ; CHECK-LABEL: @or_sge_ugt(
3094 ; CHECK-NEXT:    [[A:%.*]] = icmp sge i8 %x, 13
3095 ; CHECK-NEXT:    [[B:%.*]] = icmp ugt i8 %x, 17
3096 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
3097 ; CHECK-NEXT:    ret i1 [[C]]
3098 ;
3099   %a = icmp sge i8 %x, 13
3100   %b = icmp ugt i8 %x, 17
3101   %c = or i1 %a, %b
3102   ret i1 %c
3103 }
3104
3105 ; x >=s 13 || x <=u 17
3106
3107 define i1 @or_sge_ule(i8 %x) {
3108 ; CHECK-LABEL: @or_sge_ule(
3109 ; CHECK-NEXT:    [[A:%.*]] = icmp sge i8 %x, 13
3110 ; CHECK-NEXT:    [[B:%.*]] = icmp ule i8 %x, 17
3111 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
3112 ; CHECK-NEXT:    ret i1 [[C]]
3113 ;
3114   %a = icmp sge i8 %x, 13
3115   %b = icmp ule i8 %x, 17
3116   %c = or i1 %a, %b
3117   ret i1 %c
3118 }
3119
3120 ; x >=s 13 || x <u 17
3121
3122 define i1 @or_sge_ult(i8 %x) {
3123 ; CHECK-LABEL: @or_sge_ult(
3124 ; CHECK-NEXT:    [[A:%.*]] = icmp sge i8 %x, 13
3125 ; CHECK-NEXT:    [[B:%.*]] = icmp ult i8 %x, 17
3126 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
3127 ; CHECK-NEXT:    ret i1 [[C]]
3128 ;
3129   %a = icmp sge i8 %x, 13
3130   %b = icmp ult i8 %x, 17
3131   %c = or i1 %a, %b
3132   ret i1 %c
3133 }
3134
3135 ; sgt
3136 ; x >s 13 || x == 17
3137
3138 define i1 @or_sgt_eq(i8 %x) {
3139 ; CHECK-LABEL: @or_sgt_eq(
3140 ; CHECK-NEXT:    [[A:%.*]] = icmp sgt i8 %x, 13
3141 ; CHECK-NEXT:    ret i1 [[A]]
3142 ;
3143   %a = icmp sgt i8 %x, 13
3144   %b = icmp eq i8 %x, 17
3145   %c = or i1 %a, %b
3146   ret i1 %c
3147 }
3148
3149 ; x >s 13 || x != 17
3150
3151 define i1 @or_sgt_ne(i8 %x) {
3152 ; CHECK-LABEL: @or_sgt_ne(
3153 ; CHECK-NEXT:    ret i1 true
3154 ;
3155   %a = icmp sgt i8 %x, 13
3156   %b = icmp ne i8 %x, 17
3157   %c = or i1 %a, %b
3158   ret i1 %c
3159 }
3160
3161 ; x >s 13 || x >=s 17
3162
3163 define i1 @or_sgt_sge(i8 %x) {
3164 ; CHECK-LABEL: @or_sgt_sge(
3165 ; CHECK-NEXT:    [[A:%.*]] = icmp sgt i8 %x, 13
3166 ; CHECK-NEXT:    ret i1 [[A]]
3167 ;
3168   %a = icmp sgt i8 %x, 13
3169   %b = icmp sge i8 %x, 17
3170   %c = or i1 %a, %b
3171   ret i1 %c
3172 }
3173
3174 ; x >s 13 || x >s 17
3175
3176 define i1 @or_sgt_sgt(i8 %x) {
3177 ; CHECK-LABEL: @or_sgt_sgt(
3178 ; CHECK-NEXT:    [[A:%.*]] = icmp sgt i8 %x, 13
3179 ; CHECK-NEXT:    ret i1 [[A]]
3180 ;
3181   %a = icmp sgt i8 %x, 13
3182   %b = icmp sgt i8 %x, 17
3183   %c = or i1 %a, %b
3184   ret i1 %c
3185 }
3186
3187 ; x >s 13 || x <=s 17
3188
3189 define i1 @or_sgt_sle(i8 %x) {
3190 ; CHECK-LABEL: @or_sgt_sle(
3191 ; CHECK-NEXT:    ret i1 true
3192 ;
3193   %a = icmp sgt i8 %x, 13
3194   %b = icmp sle i8 %x, 17
3195   %c = or i1 %a, %b
3196   ret i1 %c
3197 }
3198
3199 ; x >s 13 || x <s 17
3200
3201 define i1 @or_sgt_slt(i8 %x) {
3202 ; CHECK-LABEL: @or_sgt_slt(
3203 ; CHECK-NEXT:    ret i1 true
3204 ;
3205   %a = icmp sgt i8 %x, 13
3206   %b = icmp slt i8 %x, 17
3207   %c = or i1 %a, %b
3208   ret i1 %c
3209 }
3210
3211 ; x >s 13 || x >=u 17
3212
3213 define i1 @or_sgt_uge(i8 %x) {
3214 ; CHECK-LABEL: @or_sgt_uge(
3215 ; CHECK-NEXT:    [[A:%.*]] = icmp sgt i8 %x, 13
3216 ; CHECK-NEXT:    [[B:%.*]] = icmp uge i8 %x, 17
3217 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
3218 ; CHECK-NEXT:    ret i1 [[C]]
3219 ;
3220   %a = icmp sgt i8 %x, 13
3221   %b = icmp uge i8 %x, 17
3222   %c = or i1 %a, %b
3223   ret i1 %c
3224 }
3225
3226 ; x >s 13 || x >u 17
3227
3228 define i1 @or_sgt_ugt(i8 %x) {
3229 ; CHECK-LABEL: @or_sgt_ugt(
3230 ; CHECK-NEXT:    [[A:%.*]] = icmp sgt i8 %x, 13
3231 ; CHECK-NEXT:    [[B:%.*]] = icmp ugt i8 %x, 17
3232 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
3233 ; CHECK-NEXT:    ret i1 [[C]]
3234 ;
3235   %a = icmp sgt i8 %x, 13
3236   %b = icmp ugt i8 %x, 17
3237   %c = or i1 %a, %b
3238   ret i1 %c
3239 }
3240
3241 ; x >s 13 || x <=u 17
3242
3243 define i1 @or_sgt_ule(i8 %x) {
3244 ; CHECK-LABEL: @or_sgt_ule(
3245 ; CHECK-NEXT:    [[A:%.*]] = icmp sgt i8 %x, 13
3246 ; CHECK-NEXT:    [[B:%.*]] = icmp ule i8 %x, 17
3247 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
3248 ; CHECK-NEXT:    ret i1 [[C]]
3249 ;
3250   %a = icmp sgt i8 %x, 13
3251   %b = icmp ule i8 %x, 17
3252   %c = or i1 %a, %b
3253   ret i1 %c
3254 }
3255
3256 ; x >s 13 || x <u 17
3257
3258 define i1 @or_sgt_ult(i8 %x) {
3259 ; CHECK-LABEL: @or_sgt_ult(
3260 ; CHECK-NEXT:    [[A:%.*]] = icmp sgt i8 %x, 13
3261 ; CHECK-NEXT:    [[B:%.*]] = icmp ult i8 %x, 17
3262 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
3263 ; CHECK-NEXT:    ret i1 [[C]]
3264 ;
3265   %a = icmp sgt i8 %x, 13
3266   %b = icmp ult i8 %x, 17
3267   %c = or i1 %a, %b
3268   ret i1 %c
3269 }
3270
3271 ; sle
3272 ; x <=s 13 || x == 17
3273
3274 define i1 @or_sle_eq(i8 %x) {
3275 ; CHECK-LABEL: @or_sle_eq(
3276 ; CHECK-NEXT:    [[A:%.*]] = icmp sle i8 %x, 13
3277 ; CHECK-NEXT:    [[B:%.*]] = icmp eq i8 %x, 17
3278 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
3279 ; CHECK-NEXT:    ret i1 [[C]]
3280 ;
3281   %a = icmp sle i8 %x, 13
3282   %b = icmp eq i8 %x, 17
3283   %c = or i1 %a, %b
3284   ret i1 %c
3285 }
3286
3287 ; x <=s 13 || x != 17
3288
3289 define i1 @or_sle_ne(i8 %x) {
3290 ; CHECK-LABEL: @or_sle_ne(
3291 ; CHECK-NEXT:    [[B:%.*]] = icmp ne i8 %x, 17
3292 ; CHECK-NEXT:    ret i1 [[B]]
3293 ;
3294   %a = icmp sle i8 %x, 13
3295   %b = icmp ne i8 %x, 17
3296   %c = or i1 %a, %b
3297   ret i1 %c
3298 }
3299
3300 ; x <=s 13 || x >=s 17
3301
3302 define i1 @or_sle_sge(i8 %x) {
3303 ; CHECK-LABEL: @or_sle_sge(
3304 ; CHECK-NEXT:    [[A:%.*]] = icmp sle i8 %x, 13
3305 ; CHECK-NEXT:    [[B:%.*]] = icmp sge i8 %x, 17
3306 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
3307 ; CHECK-NEXT:    ret i1 [[C]]
3308 ;
3309   %a = icmp sle i8 %x, 13
3310   %b = icmp sge i8 %x, 17
3311   %c = or i1 %a, %b
3312   ret i1 %c
3313 }
3314
3315 ; x <=s 13 || x >s 17
3316
3317 define i1 @or_sle_sgt(i8 %x) {
3318 ; CHECK-LABEL: @or_sle_sgt(
3319 ; CHECK-NEXT:    [[A:%.*]] = icmp sle i8 %x, 13
3320 ; CHECK-NEXT:    [[B:%.*]] = icmp sgt i8 %x, 17
3321 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
3322 ; CHECK-NEXT:    ret i1 [[C]]
3323 ;
3324   %a = icmp sle i8 %x, 13
3325   %b = icmp sgt i8 %x, 17
3326   %c = or i1 %a, %b
3327   ret i1 %c
3328 }
3329
3330 ; x <=s 13 || x <=s 17
3331
3332 define i1 @or_sle_sle(i8 %x) {
3333 ; CHECK-LABEL: @or_sle_sle(
3334 ; CHECK-NEXT:    [[B:%.*]] = icmp sle i8 %x, 17
3335 ; CHECK-NEXT:    ret i1 [[B]]
3336 ;
3337   %a = icmp sle i8 %x, 13
3338   %b = icmp sle i8 %x, 17
3339   %c = or i1 %a, %b
3340   ret i1 %c
3341 }
3342
3343 ; x <=s 13 || x <s 17
3344
3345 define i1 @or_sle_slt(i8 %x) {
3346 ; CHECK-LABEL: @or_sle_slt(
3347 ; CHECK-NEXT:    [[B:%.*]] = icmp slt i8 %x, 17
3348 ; CHECK-NEXT:    ret i1 [[B]]
3349 ;
3350   %a = icmp sle i8 %x, 13
3351   %b = icmp slt i8 %x, 17
3352   %c = or i1 %a, %b
3353   ret i1 %c
3354 }
3355
3356 ; x <=s 13 || x >=u 17
3357
3358 define i1 @or_sle_uge(i8 %x) {
3359 ; CHECK-LABEL: @or_sle_uge(
3360 ; CHECK-NEXT:    [[A:%.*]] = icmp sle i8 %x, 13
3361 ; CHECK-NEXT:    [[B:%.*]] = icmp uge i8 %x, 17
3362 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
3363 ; CHECK-NEXT:    ret i1 [[C]]
3364 ;
3365   %a = icmp sle i8 %x, 13
3366   %b = icmp uge i8 %x, 17
3367   %c = or i1 %a, %b
3368   ret i1 %c
3369 }
3370
3371 ; x <=s 13 || x >u 17
3372
3373 define i1 @or_sle_ugt(i8 %x) {
3374 ; CHECK-LABEL: @or_sle_ugt(
3375 ; CHECK-NEXT:    [[A:%.*]] = icmp sle i8 %x, 13
3376 ; CHECK-NEXT:    [[B:%.*]] = icmp ugt i8 %x, 17
3377 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
3378 ; CHECK-NEXT:    ret i1 [[C]]
3379 ;
3380   %a = icmp sle i8 %x, 13
3381   %b = icmp ugt i8 %x, 17
3382   %c = or i1 %a, %b
3383   ret i1 %c
3384 }
3385
3386 ; x <=s 13 || x <=u 17
3387
3388 define i1 @or_sle_ule(i8 %x) {
3389 ; CHECK-LABEL: @or_sle_ule(
3390 ; CHECK-NEXT:    [[A:%.*]] = icmp sle i8 %x, 13
3391 ; CHECK-NEXT:    [[B:%.*]] = icmp ule i8 %x, 17
3392 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
3393 ; CHECK-NEXT:    ret i1 [[C]]
3394 ;
3395   %a = icmp sle i8 %x, 13
3396   %b = icmp ule i8 %x, 17
3397   %c = or i1 %a, %b
3398   ret i1 %c
3399 }
3400
3401 ; x <=s 13 || x <u 17
3402
3403 define i1 @or_sle_ult(i8 %x) {
3404 ; CHECK-LABEL: @or_sle_ult(
3405 ; CHECK-NEXT:    [[A:%.*]] = icmp sle i8 %x, 13
3406 ; CHECK-NEXT:    [[B:%.*]] = icmp ult i8 %x, 17
3407 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
3408 ; CHECK-NEXT:    ret i1 [[C]]
3409 ;
3410   %a = icmp sle i8 %x, 13
3411   %b = icmp ult i8 %x, 17
3412   %c = or i1 %a, %b
3413   ret i1 %c
3414 }
3415
3416 ; slt
3417 ; x <s 13 || x == 17
3418
3419 define i1 @or_slt_eq(i8 %x) {
3420 ; CHECK-LABEL: @or_slt_eq(
3421 ; CHECK-NEXT:    [[A:%.*]] = icmp slt i8 %x, 13
3422 ; CHECK-NEXT:    [[B:%.*]] = icmp eq i8 %x, 17
3423 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
3424 ; CHECK-NEXT:    ret i1 [[C]]
3425 ;
3426   %a = icmp slt i8 %x, 13
3427   %b = icmp eq i8 %x, 17
3428   %c = or i1 %a, %b
3429   ret i1 %c
3430 }
3431
3432 ; x <s 13 || x != 17
3433
3434 define i1 @or_slt_ne(i8 %x) {
3435 ; CHECK-LABEL: @or_slt_ne(
3436 ; CHECK-NEXT:    [[B:%.*]] = icmp ne i8 %x, 17
3437 ; CHECK-NEXT:    ret i1 [[B]]
3438 ;
3439   %a = icmp slt i8 %x, 13
3440   %b = icmp ne i8 %x, 17
3441   %c = or i1 %a, %b
3442   ret i1 %c
3443 }
3444
3445 ; x <s 13 || x >=s 17
3446
3447 define i1 @or_slt_sge(i8 %x) {
3448 ; CHECK-LABEL: @or_slt_sge(
3449 ; CHECK-NEXT:    [[A:%.*]] = icmp slt i8 %x, 13
3450 ; CHECK-NEXT:    [[B:%.*]] = icmp sge i8 %x, 17
3451 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
3452 ; CHECK-NEXT:    ret i1 [[C]]
3453 ;
3454   %a = icmp slt i8 %x, 13
3455   %b = icmp sge i8 %x, 17
3456   %c = or i1 %a, %b
3457   ret i1 %c
3458 }
3459
3460 ; x <s 13 || x >s 17
3461
3462 define i1 @or_slt_sgt(i8 %x) {
3463 ; CHECK-LABEL: @or_slt_sgt(
3464 ; CHECK-NEXT:    [[A:%.*]] = icmp slt i8 %x, 13
3465 ; CHECK-NEXT:    [[B:%.*]] = icmp sgt i8 %x, 17
3466 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
3467 ; CHECK-NEXT:    ret i1 [[C]]
3468 ;
3469   %a = icmp slt i8 %x, 13
3470   %b = icmp sgt i8 %x, 17
3471   %c = or i1 %a, %b
3472   ret i1 %c
3473 }
3474
3475 ; x <s 13 || x <=s 17
3476
3477 define i1 @or_slt_sle(i8 %x) {
3478 ; CHECK-LABEL: @or_slt_sle(
3479 ; CHECK-NEXT:    [[B:%.*]] = icmp sle i8 %x, 17
3480 ; CHECK-NEXT:    ret i1 [[B]]
3481 ;
3482   %a = icmp slt i8 %x, 13
3483   %b = icmp sle i8 %x, 17
3484   %c = or i1 %a, %b
3485   ret i1 %c
3486 }
3487
3488 ; x <s 13 || x <s 17
3489
3490 define i1 @or_slt_slt(i8 %x) {
3491 ; CHECK-LABEL: @or_slt_slt(
3492 ; CHECK-NEXT:    [[B:%.*]] = icmp slt i8 %x, 17
3493 ; CHECK-NEXT:    ret i1 [[B]]
3494 ;
3495   %a = icmp slt i8 %x, 13
3496   %b = icmp slt i8 %x, 17
3497   %c = or i1 %a, %b
3498   ret i1 %c
3499 }
3500
3501 ; x <s 13 || x >=u 17
3502
3503 define i1 @or_slt_uge(i8 %x) {
3504 ; CHECK-LABEL: @or_slt_uge(
3505 ; CHECK-NEXT:    [[A:%.*]] = icmp slt i8 %x, 13
3506 ; CHECK-NEXT:    [[B:%.*]] = icmp uge i8 %x, 17
3507 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
3508 ; CHECK-NEXT:    ret i1 [[C]]
3509 ;
3510   %a = icmp slt i8 %x, 13
3511   %b = icmp uge i8 %x, 17
3512   %c = or i1 %a, %b
3513   ret i1 %c
3514 }
3515
3516 ; x <s 13 || x >u 17
3517
3518 define i1 @or_slt_ugt(i8 %x) {
3519 ; CHECK-LABEL: @or_slt_ugt(
3520 ; CHECK-NEXT:    [[A:%.*]] = icmp slt i8 %x, 13
3521 ; CHECK-NEXT:    [[B:%.*]] = icmp ugt i8 %x, 17
3522 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
3523 ; CHECK-NEXT:    ret i1 [[C]]
3524 ;
3525   %a = icmp slt i8 %x, 13
3526   %b = icmp ugt i8 %x, 17
3527   %c = or i1 %a, %b
3528   ret i1 %c
3529 }
3530
3531 ; x <s 13 || x <=u 17
3532
3533 define i1 @or_slt_ule(i8 %x) {
3534 ; CHECK-LABEL: @or_slt_ule(
3535 ; CHECK-NEXT:    [[A:%.*]] = icmp slt i8 %x, 13
3536 ; CHECK-NEXT:    [[B:%.*]] = icmp ule i8 %x, 17
3537 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
3538 ; CHECK-NEXT:    ret i1 [[C]]
3539 ;
3540   %a = icmp slt i8 %x, 13
3541   %b = icmp ule i8 %x, 17
3542   %c = or i1 %a, %b
3543   ret i1 %c
3544 }
3545
3546 ; x <s 13 || x <u 17
3547
3548 define i1 @or_slt_ult(i8 %x) {
3549 ; CHECK-LABEL: @or_slt_ult(
3550 ; CHECK-NEXT:    [[A:%.*]] = icmp slt i8 %x, 13
3551 ; CHECK-NEXT:    [[B:%.*]] = icmp ult i8 %x, 17
3552 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
3553 ; CHECK-NEXT:    ret i1 [[C]]
3554 ;
3555   %a = icmp slt i8 %x, 13
3556   %b = icmp ult i8 %x, 17
3557   %c = or i1 %a, %b
3558   ret i1 %c
3559 }
3560
3561 ; uge
3562 ; x >=u 13 || x == 17
3563
3564 define i1 @or_uge_eq(i8 %x) {
3565 ; CHECK-LABEL: @or_uge_eq(
3566 ; CHECK-NEXT:    [[A:%.*]] = icmp uge i8 %x, 13
3567 ; CHECK-NEXT:    ret i1 [[A]]
3568 ;
3569   %a = icmp uge i8 %x, 13
3570   %b = icmp eq i8 %x, 17
3571   %c = or i1 %a, %b
3572   ret i1 %c
3573 }
3574
3575 ; x >=u 13 || x != 17
3576
3577 define i1 @or_uge_ne(i8 %x) {
3578 ; CHECK-LABEL: @or_uge_ne(
3579 ; CHECK-NEXT:    ret i1 true
3580 ;
3581   %a = icmp uge i8 %x, 13
3582   %b = icmp ne i8 %x, 17
3583   %c = or i1 %a, %b
3584   ret i1 %c
3585 }
3586
3587 ; x >=u 13 || x >=s 17
3588
3589 define i1 @or_uge_sge(i8 %x) {
3590 ; CHECK-LABEL: @or_uge_sge(
3591 ; CHECK-NEXT:    [[A:%.*]] = icmp uge i8 %x, 13
3592 ; CHECK-NEXT:    ret i1 [[A]]
3593 ;
3594   %a = icmp uge i8 %x, 13
3595   %b = icmp sge i8 %x, 17
3596   %c = or i1 %a, %b
3597   ret i1 %c
3598 }
3599
3600 ; x >=u 13 || x >s 17
3601
3602 define i1 @or_uge_sgt(i8 %x) {
3603 ; CHECK-LABEL: @or_uge_sgt(
3604 ; CHECK-NEXT:    [[A:%.*]] = icmp uge i8 %x, 13
3605 ; CHECK-NEXT:    ret i1 [[A]]
3606 ;
3607   %a = icmp uge i8 %x, 13
3608   %b = icmp sgt i8 %x, 17
3609   %c = or i1 %a, %b
3610   ret i1 %c
3611 }
3612
3613 ; x >=u 13 || x <=s 17
3614
3615 define i1 @or_uge_sle(i8 %x) {
3616 ; CHECK-LABEL: @or_uge_sle(
3617 ; CHECK-NEXT:    ret i1 true
3618 ;
3619   %a = icmp uge i8 %x, 13
3620   %b = icmp sle i8 %x, 17
3621   %c = or i1 %a, %b
3622   ret i1 %c
3623 }
3624
3625 ; x >=u 13 || x <s 17
3626
3627 define i1 @or_uge_slt(i8 %x) {
3628 ; CHECK-LABEL: @or_uge_slt(
3629 ; CHECK-NEXT:    ret i1 true
3630 ;
3631   %a = icmp uge i8 %x, 13
3632   %b = icmp slt i8 %x, 17
3633   %c = or i1 %a, %b
3634   ret i1 %c
3635 }
3636
3637 ; x >=u 13 || x >=u 17
3638
3639 define i1 @or_uge_uge(i8 %x) {
3640 ; CHECK-LABEL: @or_uge_uge(
3641 ; CHECK-NEXT:    [[A:%.*]] = icmp uge i8 %x, 13
3642 ; CHECK-NEXT:    ret i1 [[A]]
3643 ;
3644   %a = icmp uge i8 %x, 13
3645   %b = icmp uge i8 %x, 17
3646   %c = or i1 %a, %b
3647   ret i1 %c
3648 }
3649
3650 ; x >=u 13 || x >u 17
3651
3652 define i1 @or_uge_ugt(i8 %x) {
3653 ; CHECK-LABEL: @or_uge_ugt(
3654 ; CHECK-NEXT:    [[A:%.*]] = icmp uge i8 %x, 13
3655 ; CHECK-NEXT:    ret i1 [[A]]
3656 ;
3657   %a = icmp uge i8 %x, 13
3658   %b = icmp ugt i8 %x, 17
3659   %c = or i1 %a, %b
3660   ret i1 %c
3661 }
3662
3663 ; x >=u 13 || x <=u 17
3664
3665 define i1 @or_uge_ule(i8 %x) {
3666 ; CHECK-LABEL: @or_uge_ule(
3667 ; CHECK-NEXT:    ret i1 true
3668 ;
3669   %a = icmp uge i8 %x, 13
3670   %b = icmp ule i8 %x, 17
3671   %c = or i1 %a, %b
3672   ret i1 %c
3673 }
3674
3675 ; x >=u 13 || x <u 17
3676
3677 define i1 @or_uge_ult(i8 %x) {
3678 ; CHECK-LABEL: @or_uge_ult(
3679 ; CHECK-NEXT:    ret i1 true
3680 ;
3681   %a = icmp uge i8 %x, 13
3682   %b = icmp ult i8 %x, 17
3683   %c = or i1 %a, %b
3684   ret i1 %c
3685 }
3686
3687 ; ugt
3688 ; x >u 13 || x == 17
3689
3690 define i1 @or_ugt_eq(i8 %x) {
3691 ; CHECK-LABEL: @or_ugt_eq(
3692 ; CHECK-NEXT:    [[A:%.*]] = icmp ugt i8 %x, 13
3693 ; CHECK-NEXT:    ret i1 [[A]]
3694 ;
3695   %a = icmp ugt i8 %x, 13
3696   %b = icmp eq i8 %x, 17
3697   %c = or i1 %a, %b
3698   ret i1 %c
3699 }
3700
3701 ; x >u 13 || x != 17
3702
3703 define i1 @or_ugt_ne(i8 %x) {
3704 ; CHECK-LABEL: @or_ugt_ne(
3705 ; CHECK-NEXT:    ret i1 true
3706 ;
3707   %a = icmp ugt i8 %x, 13
3708   %b = icmp ne i8 %x, 17
3709   %c = or i1 %a, %b
3710   ret i1 %c
3711 }
3712
3713 ; x >u 13 || x >=s 17
3714
3715 define i1 @or_ugt_sge(i8 %x) {
3716 ; CHECK-LABEL: @or_ugt_sge(
3717 ; CHECK-NEXT:    [[A:%.*]] = icmp ugt i8 %x, 13
3718 ; CHECK-NEXT:    ret i1 [[A]]
3719 ;
3720   %a = icmp ugt i8 %x, 13
3721   %b = icmp sge i8 %x, 17
3722   %c = or i1 %a, %b
3723   ret i1 %c
3724 }
3725
3726 ; x >u 13 || x >s 17
3727
3728 define i1 @or_ugt_sgt(i8 %x) {
3729 ; CHECK-LABEL: @or_ugt_sgt(
3730 ; CHECK-NEXT:    [[A:%.*]] = icmp ugt i8 %x, 13
3731 ; CHECK-NEXT:    ret i1 [[A]]
3732 ;
3733   %a = icmp ugt i8 %x, 13
3734   %b = icmp sgt i8 %x, 17
3735   %c = or i1 %a, %b
3736   ret i1 %c
3737 }
3738
3739 ; x >u 13 || x <=s 17
3740
3741 define i1 @or_ugt_sle(i8 %x) {
3742 ; CHECK-LABEL: @or_ugt_sle(
3743 ; CHECK-NEXT:    ret i1 true
3744 ;
3745   %a = icmp ugt i8 %x, 13
3746   %b = icmp sle i8 %x, 17
3747   %c = or i1 %a, %b
3748   ret i1 %c
3749 }
3750
3751 ; x >u 13 || x <s 17
3752
3753 define i1 @or_ugt_slt(i8 %x) {
3754 ; CHECK-LABEL: @or_ugt_slt(
3755 ; CHECK-NEXT:    ret i1 true
3756 ;
3757   %a = icmp ugt i8 %x, 13
3758   %b = icmp slt i8 %x, 17
3759   %c = or i1 %a, %b
3760   ret i1 %c
3761 }
3762
3763 ; x >u 13 || x >=u 17
3764
3765 define i1 @or_ugt_uge(i8 %x) {
3766 ; CHECK-LABEL: @or_ugt_uge(
3767 ; CHECK-NEXT:    [[A:%.*]] = icmp ugt i8 %x, 13
3768 ; CHECK-NEXT:    ret i1 [[A]]
3769 ;
3770   %a = icmp ugt i8 %x, 13
3771   %b = icmp uge i8 %x, 17
3772   %c = or i1 %a, %b
3773   ret i1 %c
3774 }
3775
3776 ; x >u 13 || x >u 17
3777
3778 define i1 @or_ugt_ugt(i8 %x) {
3779 ; CHECK-LABEL: @or_ugt_ugt(
3780 ; CHECK-NEXT:    [[A:%.*]] = icmp ugt i8 %x, 13
3781 ; CHECK-NEXT:    ret i1 [[A]]
3782 ;
3783   %a = icmp ugt i8 %x, 13
3784   %b = icmp ugt i8 %x, 17
3785   %c = or i1 %a, %b
3786   ret i1 %c
3787 }
3788
3789 ; x >u 13 || x <=u 17
3790
3791 define i1 @or_ugt_ule(i8 %x) {
3792 ; CHECK-LABEL: @or_ugt_ule(
3793 ; CHECK-NEXT:    ret i1 true
3794 ;
3795   %a = icmp ugt i8 %x, 13
3796   %b = icmp ule i8 %x, 17
3797   %c = or i1 %a, %b
3798   ret i1 %c
3799 }
3800
3801 ; x >u 13 || x <u 17
3802
3803 define i1 @or_ugt_ult(i8 %x) {
3804 ; CHECK-LABEL: @or_ugt_ult(
3805 ; CHECK-NEXT:    ret i1 true
3806 ;
3807   %a = icmp ugt i8 %x, 13
3808   %b = icmp ult i8 %x, 17
3809   %c = or i1 %a, %b
3810   ret i1 %c
3811 }
3812
3813 ; ule
3814 ; x <=u 13 || x == 17
3815
3816 define i1 @or_ule_eq(i8 %x) {
3817 ; CHECK-LABEL: @or_ule_eq(
3818 ; CHECK-NEXT:    [[A:%.*]] = icmp ule i8 %x, 13
3819 ; CHECK-NEXT:    [[B:%.*]] = icmp eq i8 %x, 17
3820 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
3821 ; CHECK-NEXT:    ret i1 [[C]]
3822 ;
3823   %a = icmp ule i8 %x, 13
3824   %b = icmp eq i8 %x, 17
3825   %c = or i1 %a, %b
3826   ret i1 %c
3827 }
3828
3829 ; x <=u 13 || x != 17
3830
3831 define i1 @or_ule_ne(i8 %x) {
3832 ; CHECK-LABEL: @or_ule_ne(
3833 ; CHECK-NEXT:    [[B:%.*]] = icmp ne i8 %x, 17
3834 ; CHECK-NEXT:    ret i1 [[B]]
3835 ;
3836   %a = icmp ule i8 %x, 13
3837   %b = icmp ne i8 %x, 17
3838   %c = or i1 %a, %b
3839   ret i1 %c
3840 }
3841
3842 ; x <=u 13 || x >=s 17
3843
3844 define i1 @or_ule_sge(i8 %x) {
3845 ; CHECK-LABEL: @or_ule_sge(
3846 ; CHECK-NEXT:    [[A:%.*]] = icmp ule i8 %x, 13
3847 ; CHECK-NEXT:    [[B:%.*]] = icmp sge i8 %x, 17
3848 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
3849 ; CHECK-NEXT:    ret i1 [[C]]
3850 ;
3851   %a = icmp ule i8 %x, 13
3852   %b = icmp sge i8 %x, 17
3853   %c = or i1 %a, %b
3854   ret i1 %c
3855 }
3856
3857 ; x <=u 13 || x >s 17
3858
3859 define i1 @or_ule_sgt(i8 %x) {
3860 ; CHECK-LABEL: @or_ule_sgt(
3861 ; CHECK-NEXT:    [[A:%.*]] = icmp ule i8 %x, 13
3862 ; CHECK-NEXT:    [[B:%.*]] = icmp sgt i8 %x, 17
3863 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
3864 ; CHECK-NEXT:    ret i1 [[C]]
3865 ;
3866   %a = icmp ule i8 %x, 13
3867   %b = icmp sgt i8 %x, 17
3868   %c = or i1 %a, %b
3869   ret i1 %c
3870 }
3871
3872 ; x <=u 13 || x <=s 17
3873
3874 define i1 @or_ule_sle(i8 %x) {
3875 ; CHECK-LABEL: @or_ule_sle(
3876 ; CHECK-NEXT:    [[B:%.*]] = icmp sle i8 %x, 17
3877 ; CHECK-NEXT:    ret i1 [[B]]
3878 ;
3879   %a = icmp ule i8 %x, 13
3880   %b = icmp sle i8 %x, 17
3881   %c = or i1 %a, %b
3882   ret i1 %c
3883 }
3884
3885 ; x <=u 13 || x <s 17
3886
3887 define i1 @or_ule_slt(i8 %x) {
3888 ; CHECK-LABEL: @or_ule_slt(
3889 ; CHECK-NEXT:    [[B:%.*]] = icmp slt i8 %x, 17
3890 ; CHECK-NEXT:    ret i1 [[B]]
3891 ;
3892   %a = icmp ule i8 %x, 13
3893   %b = icmp slt i8 %x, 17
3894   %c = or i1 %a, %b
3895   ret i1 %c
3896 }
3897
3898 ; x <=u 13 || x >=u 17
3899
3900 define i1 @or_ule_uge(i8 %x) {
3901 ; CHECK-LABEL: @or_ule_uge(
3902 ; CHECK-NEXT:    [[A:%.*]] = icmp ule i8 %x, 13
3903 ; CHECK-NEXT:    [[B:%.*]] = icmp uge i8 %x, 17
3904 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
3905 ; CHECK-NEXT:    ret i1 [[C]]
3906 ;
3907   %a = icmp ule i8 %x, 13
3908   %b = icmp uge i8 %x, 17
3909   %c = or i1 %a, %b
3910   ret i1 %c
3911 }
3912
3913 ; x <=u 13 || x >u 17
3914
3915 define i1 @or_ule_ugt(i8 %x) {
3916 ; CHECK-LABEL: @or_ule_ugt(
3917 ; CHECK-NEXT:    [[A:%.*]] = icmp ule i8 %x, 13
3918 ; CHECK-NEXT:    [[B:%.*]] = icmp ugt i8 %x, 17
3919 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
3920 ; CHECK-NEXT:    ret i1 [[C]]
3921 ;
3922   %a = icmp ule i8 %x, 13
3923   %b = icmp ugt i8 %x, 17
3924   %c = or i1 %a, %b
3925   ret i1 %c
3926 }
3927
3928 ; x <=u 13 || x <=u 17
3929
3930 define i1 @or_ule_ule(i8 %x) {
3931 ; CHECK-LABEL: @or_ule_ule(
3932 ; CHECK-NEXT:    [[B:%.*]] = icmp ule i8 %x, 17
3933 ; CHECK-NEXT:    ret i1 [[B]]
3934 ;
3935   %a = icmp ule i8 %x, 13
3936   %b = icmp ule i8 %x, 17
3937   %c = or i1 %a, %b
3938   ret i1 %c
3939 }
3940
3941 ; x <=u 13 || x <u 17
3942
3943 define i1 @or_ule_ult(i8 %x) {
3944 ; CHECK-LABEL: @or_ule_ult(
3945 ; CHECK-NEXT:    [[B:%.*]] = icmp ult i8 %x, 17
3946 ; CHECK-NEXT:    ret i1 [[B]]
3947 ;
3948   %a = icmp ule i8 %x, 13
3949   %b = icmp ult i8 %x, 17
3950   %c = or i1 %a, %b
3951   ret i1 %c
3952 }
3953
3954 ; ult
3955 ; x <u 13 || x == 17
3956
3957 define i1 @or_ult_eq(i8 %x) {
3958 ; CHECK-LABEL: @or_ult_eq(
3959 ; CHECK-NEXT:    [[A:%.*]] = icmp ult i8 %x, 13
3960 ; CHECK-NEXT:    [[B:%.*]] = icmp eq i8 %x, 17
3961 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
3962 ; CHECK-NEXT:    ret i1 [[C]]
3963 ;
3964   %a = icmp ult i8 %x, 13
3965   %b = icmp eq i8 %x, 17
3966   %c = or i1 %a, %b
3967   ret i1 %c
3968 }
3969
3970 ; x <u 13 || x != 17
3971
3972 define i1 @or_ult_ne(i8 %x) {
3973 ; CHECK-LABEL: @or_ult_ne(
3974 ; CHECK-NEXT:    [[B:%.*]] = icmp ne i8 %x, 17
3975 ; CHECK-NEXT:    ret i1 [[B]]
3976 ;
3977   %a = icmp ult i8 %x, 13
3978   %b = icmp ne i8 %x, 17
3979   %c = or i1 %a, %b
3980   ret i1 %c
3981 }
3982
3983 ; x <u 13 || x >=s 17
3984
3985 define i1 @or_ult_sge(i8 %x) {
3986 ; CHECK-LABEL: @or_ult_sge(
3987 ; CHECK-NEXT:    [[A:%.*]] = icmp ult i8 %x, 13
3988 ; CHECK-NEXT:    [[B:%.*]] = icmp sge i8 %x, 17
3989 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
3990 ; CHECK-NEXT:    ret i1 [[C]]
3991 ;
3992   %a = icmp ult i8 %x, 13
3993   %b = icmp sge i8 %x, 17
3994   %c = or i1 %a, %b
3995   ret i1 %c
3996 }
3997
3998 ; x <u 13 || x >s 17
3999
4000 define i1 @or_ult_sgt(i8 %x) {
4001 ; CHECK-LABEL: @or_ult_sgt(
4002 ; CHECK-NEXT:    [[A:%.*]] = icmp ult i8 %x, 13
4003 ; CHECK-NEXT:    [[B:%.*]] = icmp sgt i8 %x, 17
4004 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
4005 ; CHECK-NEXT:    ret i1 [[C]]
4006 ;
4007   %a = icmp ult i8 %x, 13
4008   %b = icmp sgt i8 %x, 17
4009   %c = or i1 %a, %b
4010   ret i1 %c
4011 }
4012
4013 ; x <u 13 || x <=s 17
4014
4015 define i1 @or_ult_sle(i8 %x) {
4016 ; CHECK-LABEL: @or_ult_sle(
4017 ; CHECK-NEXT:    [[B:%.*]] = icmp sle i8 %x, 17
4018 ; CHECK-NEXT:    ret i1 [[B]]
4019 ;
4020   %a = icmp ult i8 %x, 13
4021   %b = icmp sle i8 %x, 17
4022   %c = or i1 %a, %b
4023   ret i1 %c
4024 }
4025
4026 ; x <u 13 || x <s 17
4027
4028 define i1 @or_ult_slt(i8 %x) {
4029 ; CHECK-LABEL: @or_ult_slt(
4030 ; CHECK-NEXT:    [[B:%.*]] = icmp slt i8 %x, 17
4031 ; CHECK-NEXT:    ret i1 [[B]]
4032 ;
4033   %a = icmp ult i8 %x, 13
4034   %b = icmp slt i8 %x, 17
4035   %c = or i1 %a, %b
4036   ret i1 %c
4037 }
4038
4039 ; x <u 13 || x >=u 17
4040
4041 define i1 @or_ult_uge(i8 %x) {
4042 ; CHECK-LABEL: @or_ult_uge(
4043 ; CHECK-NEXT:    [[A:%.*]] = icmp ult i8 %x, 13
4044 ; CHECK-NEXT:    [[B:%.*]] = icmp uge i8 %x, 17
4045 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
4046 ; CHECK-NEXT:    ret i1 [[C]]
4047 ;
4048   %a = icmp ult i8 %x, 13
4049   %b = icmp uge i8 %x, 17
4050   %c = or i1 %a, %b
4051   ret i1 %c
4052 }
4053
4054 ; x <u 13 || x >u 17
4055
4056 define i1 @or_ult_ugt(i8 %x) {
4057 ; CHECK-LABEL: @or_ult_ugt(
4058 ; CHECK-NEXT:    [[A:%.*]] = icmp ult i8 %x, 13
4059 ; CHECK-NEXT:    [[B:%.*]] = icmp ugt i8 %x, 17
4060 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
4061 ; CHECK-NEXT:    ret i1 [[C]]
4062 ;
4063   %a = icmp ult i8 %x, 13
4064   %b = icmp ugt i8 %x, 17
4065   %c = or i1 %a, %b
4066   ret i1 %c
4067 }
4068
4069 ; x <u 13 || x <=u 17
4070
4071 define i1 @or_ult_ule(i8 %x) {
4072 ; CHECK-LABEL: @or_ult_ule(
4073 ; CHECK-NEXT:    [[B:%.*]] = icmp ule i8 %x, 17
4074 ; CHECK-NEXT:    ret i1 [[B]]
4075 ;
4076   %a = icmp ult i8 %x, 13
4077   %b = icmp ule i8 %x, 17
4078   %c = or i1 %a, %b
4079   ret i1 %c
4080 }
4081
4082 ; x <u 13 || x <u 17
4083
4084 define i1 @or_ult_ult(i8 %x) {
4085 ; CHECK-LABEL: @or_ult_ult(
4086 ; CHECK-NEXT:    [[B:%.*]] = icmp ult i8 %x, 17
4087 ; CHECK-NEXT:    ret i1 [[B]]
4088 ;
4089   %a = icmp ult i8 %x, 13
4090   %b = icmp ult i8 %x, 17
4091   %c = or i1 %a, %b
4092   ret i1 %c
4093 }
4094
4095 ; eq
4096 ; x == 23 || x == 17
4097
4098 define i1 @or_eq_eq_swap(i8 %x) {
4099 ; CHECK-LABEL: @or_eq_eq_swap(
4100 ; CHECK-NEXT:    [[A:%.*]] = icmp eq i8 %x, 23
4101 ; CHECK-NEXT:    [[B:%.*]] = icmp eq i8 %x, 17
4102 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
4103 ; CHECK-NEXT:    ret i1 [[C]]
4104 ;
4105   %a = icmp eq i8 %x, 23
4106   %b = icmp eq i8 %x, 17
4107   %c = or i1 %a, %b
4108   ret i1 %c
4109 }
4110
4111 ; x == 23 || x != 17
4112
4113 define i1 @or_eq_ne_swap(i8 %x) {
4114 ; CHECK-LABEL: @or_eq_ne_swap(
4115 ; CHECK-NEXT:    [[B:%.*]] = icmp ne i8 %x, 17
4116 ; CHECK-NEXT:    ret i1 [[B]]
4117 ;
4118   %a = icmp eq i8 %x, 23
4119   %b = icmp ne i8 %x, 17
4120   %c = or i1 %a, %b
4121   ret i1 %c
4122 }
4123
4124 ; x == 23 || x >=s 17
4125
4126 define i1 @or_eq_sge_swap(i8 %x) {
4127 ; CHECK-LABEL: @or_eq_sge_swap(
4128 ; CHECK-NEXT:    [[B:%.*]] = icmp sge i8 %x, 17
4129 ; CHECK-NEXT:    ret i1 [[B]]
4130 ;
4131   %a = icmp eq i8 %x, 23
4132   %b = icmp sge i8 %x, 17
4133   %c = or i1 %a, %b
4134   ret i1 %c
4135 }
4136
4137 ; x == 23 || x >s 17
4138
4139 define i1 @or_eq_sgt_swap(i8 %x) {
4140 ; CHECK-LABEL: @or_eq_sgt_swap(
4141 ; CHECK-NEXT:    [[B:%.*]] = icmp sgt i8 %x, 17
4142 ; CHECK-NEXT:    ret i1 [[B]]
4143 ;
4144   %a = icmp eq i8 %x, 23
4145   %b = icmp sgt i8 %x, 17
4146   %c = or i1 %a, %b
4147   ret i1 %c
4148 }
4149
4150 ; x == 23 || x <=s 17
4151
4152 define i1 @or_eq_sle_swap(i8 %x) {
4153 ; CHECK-LABEL: @or_eq_sle_swap(
4154 ; CHECK-NEXT:    [[A:%.*]] = icmp eq i8 %x, 23
4155 ; CHECK-NEXT:    [[B:%.*]] = icmp sle i8 %x, 17
4156 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
4157 ; CHECK-NEXT:    ret i1 [[C]]
4158 ;
4159   %a = icmp eq i8 %x, 23
4160   %b = icmp sle i8 %x, 17
4161   %c = or i1 %a, %b
4162   ret i1 %c
4163 }
4164
4165 ; x == 23 || x <s 17
4166
4167 define i1 @or_eq_slt_swap(i8 %x) {
4168 ; CHECK-LABEL: @or_eq_slt_swap(
4169 ; CHECK-NEXT:    [[A:%.*]] = icmp eq i8 %x, 23
4170 ; CHECK-NEXT:    [[B:%.*]] = icmp slt i8 %x, 17
4171 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
4172 ; CHECK-NEXT:    ret i1 [[C]]
4173 ;
4174   %a = icmp eq i8 %x, 23
4175   %b = icmp slt i8 %x, 17
4176   %c = or i1 %a, %b
4177   ret i1 %c
4178 }
4179
4180 ; x == 23 || x >=u 17
4181
4182 define i1 @or_eq_uge_swap(i8 %x) {
4183 ; CHECK-LABEL: @or_eq_uge_swap(
4184 ; CHECK-NEXT:    [[B:%.*]] = icmp uge i8 %x, 17
4185 ; CHECK-NEXT:    ret i1 [[B]]
4186 ;
4187   %a = icmp eq i8 %x, 23
4188   %b = icmp uge i8 %x, 17
4189   %c = or i1 %a, %b
4190   ret i1 %c
4191 }
4192
4193 ; x == 23 || x >u 17
4194
4195 define i1 @or_eq_ugt_swap(i8 %x) {
4196 ; CHECK-LABEL: @or_eq_ugt_swap(
4197 ; CHECK-NEXT:    [[B:%.*]] = icmp ugt i8 %x, 17
4198 ; CHECK-NEXT:    ret i1 [[B]]
4199 ;
4200   %a = icmp eq i8 %x, 23
4201   %b = icmp ugt i8 %x, 17
4202   %c = or i1 %a, %b
4203   ret i1 %c
4204 }
4205
4206 ; x == 23 || x <=u 17
4207
4208 define i1 @or_eq_ule_swap(i8 %x) {
4209 ; CHECK-LABEL: @or_eq_ule_swap(
4210 ; CHECK-NEXT:    [[A:%.*]] = icmp eq i8 %x, 23
4211 ; CHECK-NEXT:    [[B:%.*]] = icmp ule i8 %x, 17
4212 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
4213 ; CHECK-NEXT:    ret i1 [[C]]
4214 ;
4215   %a = icmp eq i8 %x, 23
4216   %b = icmp ule i8 %x, 17
4217   %c = or i1 %a, %b
4218   ret i1 %c
4219 }
4220
4221 ; x == 23 || x <u 17
4222
4223 define i1 @or_eq_ult_swap(i8 %x) {
4224 ; CHECK-LABEL: @or_eq_ult_swap(
4225 ; CHECK-NEXT:    [[A:%.*]] = icmp eq i8 %x, 23
4226 ; CHECK-NEXT:    [[B:%.*]] = icmp ult i8 %x, 17
4227 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
4228 ; CHECK-NEXT:    ret i1 [[C]]
4229 ;
4230   %a = icmp eq i8 %x, 23
4231   %b = icmp ult i8 %x, 17
4232   %c = or i1 %a, %b
4233   ret i1 %c
4234 }
4235
4236 ; ne
4237 ; x != 23 || x == 17
4238
4239 define i1 @or_ne_eq_swap(i8 %x) {
4240 ; CHECK-LABEL: @or_ne_eq_swap(
4241 ; CHECK-NEXT:    [[A:%.*]] = icmp ne i8 %x, 23
4242 ; CHECK-NEXT:    ret i1 [[A]]
4243 ;
4244   %a = icmp ne i8 %x, 23
4245   %b = icmp eq i8 %x, 17
4246   %c = or i1 %a, %b
4247   ret i1 %c
4248 }
4249
4250 ; x != 23 || x != 17
4251
4252 define i1 @or_ne_ne_swap(i8 %x) {
4253 ; CHECK-LABEL: @or_ne_ne_swap(
4254 ; CHECK-NEXT:    ret i1 true
4255 ;
4256   %a = icmp ne i8 %x, 23
4257   %b = icmp ne i8 %x, 17
4258   %c = or i1 %a, %b
4259   ret i1 %c
4260 }
4261
4262 ; x != 23 || x >=s 17
4263
4264 define i1 @or_ne_sge_swap(i8 %x) {
4265 ; CHECK-LABEL: @or_ne_sge_swap(
4266 ; CHECK-NEXT:    ret i1 true
4267 ;
4268   %a = icmp ne i8 %x, 23
4269   %b = icmp sge i8 %x, 17
4270   %c = or i1 %a, %b
4271   ret i1 %c
4272 }
4273
4274 ; x != 23 || x >s 17
4275
4276 define i1 @or_ne_sgt_swap(i8 %x) {
4277 ; CHECK-LABEL: @or_ne_sgt_swap(
4278 ; CHECK-NEXT:    ret i1 true
4279 ;
4280   %a = icmp ne i8 %x, 23
4281   %b = icmp sgt i8 %x, 17
4282   %c = or i1 %a, %b
4283   ret i1 %c
4284 }
4285
4286 ; x != 23 || x <=s 17
4287
4288 define i1 @or_ne_sle_swap(i8 %x) {
4289 ; CHECK-LABEL: @or_ne_sle_swap(
4290 ; CHECK-NEXT:    [[A:%.*]] = icmp ne i8 %x, 23
4291 ; CHECK-NEXT:    ret i1 [[A]]
4292 ;
4293   %a = icmp ne i8 %x, 23
4294   %b = icmp sle i8 %x, 17
4295   %c = or i1 %a, %b
4296   ret i1 %c
4297 }
4298
4299 ; x != 23 || x <s 17
4300
4301 define i1 @or_ne_slt_swap(i8 %x) {
4302 ; CHECK-LABEL: @or_ne_slt_swap(
4303 ; CHECK-NEXT:    [[A:%.*]] = icmp ne i8 %x, 23
4304 ; CHECK-NEXT:    ret i1 [[A]]
4305 ;
4306   %a = icmp ne i8 %x, 23
4307   %b = icmp slt i8 %x, 17
4308   %c = or i1 %a, %b
4309   ret i1 %c
4310 }
4311
4312 ; x != 23 || x >=u 17
4313
4314 define i1 @or_ne_uge_swap(i8 %x) {
4315 ; CHECK-LABEL: @or_ne_uge_swap(
4316 ; CHECK-NEXT:    ret i1 true
4317 ;
4318   %a = icmp ne i8 %x, 23
4319   %b = icmp uge i8 %x, 17
4320   %c = or i1 %a, %b
4321   ret i1 %c
4322 }
4323
4324 ; x != 23 || x >u 17
4325
4326 define i1 @or_ne_ugt_swap(i8 %x) {
4327 ; CHECK-LABEL: @or_ne_ugt_swap(
4328 ; CHECK-NEXT:    ret i1 true
4329 ;
4330   %a = icmp ne i8 %x, 23
4331   %b = icmp ugt i8 %x, 17
4332   %c = or i1 %a, %b
4333   ret i1 %c
4334 }
4335
4336 ; x != 23 || x <=u 17
4337
4338 define i1 @or_ne_ule_swap(i8 %x) {
4339 ; CHECK-LABEL: @or_ne_ule_swap(
4340 ; CHECK-NEXT:    [[A:%.*]] = icmp ne i8 %x, 23
4341 ; CHECK-NEXT:    ret i1 [[A]]
4342 ;
4343   %a = icmp ne i8 %x, 23
4344   %b = icmp ule i8 %x, 17
4345   %c = or i1 %a, %b
4346   ret i1 %c
4347 }
4348
4349 ; x != 23 || x <u 17
4350
4351 define i1 @or_ne_ult_swap(i8 %x) {
4352 ; CHECK-LABEL: @or_ne_ult_swap(
4353 ; CHECK-NEXT:    [[A:%.*]] = icmp ne i8 %x, 23
4354 ; CHECK-NEXT:    ret i1 [[A]]
4355 ;
4356   %a = icmp ne i8 %x, 23
4357   %b = icmp ult i8 %x, 17
4358   %c = or i1 %a, %b
4359   ret i1 %c
4360 }
4361
4362 ; sge
4363 ; x >=s 23 || x == 17
4364
4365 define i1 @or_sge_eq_swap(i8 %x) {
4366 ; CHECK-LABEL: @or_sge_eq_swap(
4367 ; CHECK-NEXT:    [[A:%.*]] = icmp sge i8 %x, 23
4368 ; CHECK-NEXT:    [[B:%.*]] = icmp eq i8 %x, 17
4369 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
4370 ; CHECK-NEXT:    ret i1 [[C]]
4371 ;
4372   %a = icmp sge i8 %x, 23
4373   %b = icmp eq i8 %x, 17
4374   %c = or i1 %a, %b
4375   ret i1 %c
4376 }
4377
4378 ; x >=s 23 || x != 17
4379
4380 define i1 @or_sge_ne_swap(i8 %x) {
4381 ; CHECK-LABEL: @or_sge_ne_swap(
4382 ; CHECK-NEXT:    [[B:%.*]] = icmp ne i8 %x, 17
4383 ; CHECK-NEXT:    ret i1 [[B]]
4384 ;
4385   %a = icmp sge i8 %x, 23
4386   %b = icmp ne i8 %x, 17
4387   %c = or i1 %a, %b
4388   ret i1 %c
4389 }
4390
4391 ; x >=s 23 || x >=s 17
4392
4393 define i1 @or_sge_sge_swap(i8 %x) {
4394 ; CHECK-LABEL: @or_sge_sge_swap(
4395 ; CHECK-NEXT:    [[B:%.*]] = icmp sge i8 %x, 17
4396 ; CHECK-NEXT:    ret i1 [[B]]
4397 ;
4398   %a = icmp sge i8 %x, 23
4399   %b = icmp sge i8 %x, 17
4400   %c = or i1 %a, %b
4401   ret i1 %c
4402 }
4403
4404 ; x >=s 23 || x >s 17
4405
4406 define i1 @or_sge_sgt_swap(i8 %x) {
4407 ; CHECK-LABEL: @or_sge_sgt_swap(
4408 ; CHECK-NEXT:    [[B:%.*]] = icmp sgt i8 %x, 17
4409 ; CHECK-NEXT:    ret i1 [[B]]
4410 ;
4411   %a = icmp sge i8 %x, 23
4412   %b = icmp sgt i8 %x, 17
4413   %c = or i1 %a, %b
4414   ret i1 %c
4415 }
4416
4417 ; x >=s 23 || x <=s 17
4418
4419 define i1 @or_sge_sle_swap(i8 %x) {
4420 ; CHECK-LABEL: @or_sge_sle_swap(
4421 ; CHECK-NEXT:    [[A:%.*]] = icmp sge i8 %x, 23
4422 ; CHECK-NEXT:    [[B:%.*]] = icmp sle i8 %x, 17
4423 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
4424 ; CHECK-NEXT:    ret i1 [[C]]
4425 ;
4426   %a = icmp sge i8 %x, 23
4427   %b = icmp sle i8 %x, 17
4428   %c = or i1 %a, %b
4429   ret i1 %c
4430 }
4431
4432 ; x >=s 23 || x <s 17
4433
4434 define i1 @or_sge_slt_swap(i8 %x) {
4435 ; CHECK-LABEL: @or_sge_slt_swap(
4436 ; CHECK-NEXT:    [[A:%.*]] = icmp sge i8 %x, 23
4437 ; CHECK-NEXT:    [[B:%.*]] = icmp slt i8 %x, 17
4438 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
4439 ; CHECK-NEXT:    ret i1 [[C]]
4440 ;
4441   %a = icmp sge i8 %x, 23
4442   %b = icmp slt i8 %x, 17
4443   %c = or i1 %a, %b
4444   ret i1 %c
4445 }
4446
4447 ; x >=s 23 || x >=u 17
4448
4449 define i1 @or_sge_uge_swap(i8 %x) {
4450 ; CHECK-LABEL: @or_sge_uge_swap(
4451 ; CHECK-NEXT:    [[B:%.*]] = icmp uge i8 %x, 17
4452 ; CHECK-NEXT:    ret i1 [[B]]
4453 ;
4454   %a = icmp sge i8 %x, 23
4455   %b = icmp uge i8 %x, 17
4456   %c = or i1 %a, %b
4457   ret i1 %c
4458 }
4459
4460 ; x >=s 23 || x >u 17
4461
4462 define i1 @or_sge_ugt_swap(i8 %x) {
4463 ; CHECK-LABEL: @or_sge_ugt_swap(
4464 ; CHECK-NEXT:    [[B:%.*]] = icmp ugt i8 %x, 17
4465 ; CHECK-NEXT:    ret i1 [[B]]
4466 ;
4467   %a = icmp sge i8 %x, 23
4468   %b = icmp ugt i8 %x, 17
4469   %c = or i1 %a, %b
4470   ret i1 %c
4471 }
4472
4473 ; x >=s 23 || x <=u 17
4474
4475 define i1 @or_sge_ule_swap(i8 %x) {
4476 ; CHECK-LABEL: @or_sge_ule_swap(
4477 ; CHECK-NEXT:    [[A:%.*]] = icmp sge i8 %x, 23
4478 ; CHECK-NEXT:    [[B:%.*]] = icmp ule i8 %x, 17
4479 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
4480 ; CHECK-NEXT:    ret i1 [[C]]
4481 ;
4482   %a = icmp sge i8 %x, 23
4483   %b = icmp ule i8 %x, 17
4484   %c = or i1 %a, %b
4485   ret i1 %c
4486 }
4487
4488 ; x >=s 23 || x <u 17
4489
4490 define i1 @or_sge_ult_swap(i8 %x) {
4491 ; CHECK-LABEL: @or_sge_ult_swap(
4492 ; CHECK-NEXT:    [[A:%.*]] = icmp sge i8 %x, 23
4493 ; CHECK-NEXT:    [[B:%.*]] = icmp ult i8 %x, 17
4494 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
4495 ; CHECK-NEXT:    ret i1 [[C]]
4496 ;
4497   %a = icmp sge i8 %x, 23
4498   %b = icmp ult i8 %x, 17
4499   %c = or i1 %a, %b
4500   ret i1 %c
4501 }
4502
4503 ; sgt
4504 ; x >s 23 || x == 17
4505
4506 define i1 @or_sgt_eq_swap(i8 %x) {
4507 ; CHECK-LABEL: @or_sgt_eq_swap(
4508 ; CHECK-NEXT:    [[A:%.*]] = icmp sgt i8 %x, 23
4509 ; CHECK-NEXT:    [[B:%.*]] = icmp eq i8 %x, 17
4510 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
4511 ; CHECK-NEXT:    ret i1 [[C]]
4512 ;
4513   %a = icmp sgt i8 %x, 23
4514   %b = icmp eq i8 %x, 17
4515   %c = or i1 %a, %b
4516   ret i1 %c
4517 }
4518
4519 ; x >s 23 || x != 17
4520
4521 define i1 @or_sgt_ne_swap(i8 %x) {
4522 ; CHECK-LABEL: @or_sgt_ne_swap(
4523 ; CHECK-NEXT:    [[B:%.*]] = icmp ne i8 %x, 17
4524 ; CHECK-NEXT:    ret i1 [[B]]
4525 ;
4526   %a = icmp sgt i8 %x, 23
4527   %b = icmp ne i8 %x, 17
4528   %c = or i1 %a, %b
4529   ret i1 %c
4530 }
4531
4532 ; x >s 23 || x >=s 17
4533
4534 define i1 @or_sgt_sge_swap(i8 %x) {
4535 ; CHECK-LABEL: @or_sgt_sge_swap(
4536 ; CHECK-NEXT:    [[B:%.*]] = icmp sge i8 %x, 17
4537 ; CHECK-NEXT:    ret i1 [[B]]
4538 ;
4539   %a = icmp sgt i8 %x, 23
4540   %b = icmp sge i8 %x, 17
4541   %c = or i1 %a, %b
4542   ret i1 %c
4543 }
4544
4545 ; x >s 23 || x >s 17
4546
4547 define i1 @or_sgt_sgt_swap(i8 %x) {
4548 ; CHECK-LABEL: @or_sgt_sgt_swap(
4549 ; CHECK-NEXT:    [[B:%.*]] = icmp sgt i8 %x, 17
4550 ; CHECK-NEXT:    ret i1 [[B]]
4551 ;
4552   %a = icmp sgt i8 %x, 23
4553   %b = icmp sgt i8 %x, 17
4554   %c = or i1 %a, %b
4555   ret i1 %c
4556 }
4557
4558 ; x >s 23 || x <=s 17
4559
4560 define i1 @or_sgt_sle_swap(i8 %x) {
4561 ; CHECK-LABEL: @or_sgt_sle_swap(
4562 ; CHECK-NEXT:    [[A:%.*]] = icmp sgt i8 %x, 23
4563 ; CHECK-NEXT:    [[B:%.*]] = icmp sle i8 %x, 17
4564 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
4565 ; CHECK-NEXT:    ret i1 [[C]]
4566 ;
4567   %a = icmp sgt i8 %x, 23
4568   %b = icmp sle i8 %x, 17
4569   %c = or i1 %a, %b
4570   ret i1 %c
4571 }
4572
4573 ; x >s 23 || x <s 17
4574
4575 define i1 @or_sgt_slt_swap(i8 %x) {
4576 ; CHECK-LABEL: @or_sgt_slt_swap(
4577 ; CHECK-NEXT:    [[A:%.*]] = icmp sgt i8 %x, 23
4578 ; CHECK-NEXT:    [[B:%.*]] = icmp slt i8 %x, 17
4579 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
4580 ; CHECK-NEXT:    ret i1 [[C]]
4581 ;
4582   %a = icmp sgt i8 %x, 23
4583   %b = icmp slt i8 %x, 17
4584   %c = or i1 %a, %b
4585   ret i1 %c
4586 }
4587
4588 ; x >s 23 || x >=u 17
4589
4590 define i1 @or_sgt_uge_swap(i8 %x) {
4591 ; CHECK-LABEL: @or_sgt_uge_swap(
4592 ; CHECK-NEXT:    [[B:%.*]] = icmp uge i8 %x, 17
4593 ; CHECK-NEXT:    ret i1 [[B]]
4594 ;
4595   %a = icmp sgt i8 %x, 23
4596   %b = icmp uge i8 %x, 17
4597   %c = or i1 %a, %b
4598   ret i1 %c
4599 }
4600
4601 ; x >s 23 || x >u 17
4602
4603 define i1 @or_sgt_ugt_swap(i8 %x) {
4604 ; CHECK-LABEL: @or_sgt_ugt_swap(
4605 ; CHECK-NEXT:    [[B:%.*]] = icmp ugt i8 %x, 17
4606 ; CHECK-NEXT:    ret i1 [[B]]
4607 ;
4608   %a = icmp sgt i8 %x, 23
4609   %b = icmp ugt i8 %x, 17
4610   %c = or i1 %a, %b
4611   ret i1 %c
4612 }
4613
4614 ; x >s 23 || x <=u 17
4615
4616 define i1 @or_sgt_ule_swap(i8 %x) {
4617 ; CHECK-LABEL: @or_sgt_ule_swap(
4618 ; CHECK-NEXT:    [[A:%.*]] = icmp sgt i8 %x, 23
4619 ; CHECK-NEXT:    [[B:%.*]] = icmp ule i8 %x, 17
4620 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
4621 ; CHECK-NEXT:    ret i1 [[C]]
4622 ;
4623   %a = icmp sgt i8 %x, 23
4624   %b = icmp ule i8 %x, 17
4625   %c = or i1 %a, %b
4626   ret i1 %c
4627 }
4628
4629 ; x >s 23 || x <u 17
4630
4631 define i1 @or_sgt_ult_swap(i8 %x) {
4632 ; CHECK-LABEL: @or_sgt_ult_swap(
4633 ; CHECK-NEXT:    [[A:%.*]] = icmp sgt i8 %x, 23
4634 ; CHECK-NEXT:    [[B:%.*]] = icmp ult i8 %x, 17
4635 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
4636 ; CHECK-NEXT:    ret i1 [[C]]
4637 ;
4638   %a = icmp sgt i8 %x, 23
4639   %b = icmp ult i8 %x, 17
4640   %c = or i1 %a, %b
4641   ret i1 %c
4642 }
4643
4644 ; sle
4645 ; x <=s 23 || x == 17
4646
4647 define i1 @or_sle_eq_swap(i8 %x) {
4648 ; CHECK-LABEL: @or_sle_eq_swap(
4649 ; CHECK-NEXT:    [[A:%.*]] = icmp sle i8 %x, 23
4650 ; CHECK-NEXT:    ret i1 [[A]]
4651 ;
4652   %a = icmp sle i8 %x, 23
4653   %b = icmp eq i8 %x, 17
4654   %c = or i1 %a, %b
4655   ret i1 %c
4656 }
4657
4658 ; x <=s 23 || x != 17
4659
4660 define i1 @or_sle_ne_swap(i8 %x) {
4661 ; CHECK-LABEL: @or_sle_ne_swap(
4662 ; CHECK-NEXT:    ret i1 true
4663 ;
4664   %a = icmp sle i8 %x, 23
4665   %b = icmp ne i8 %x, 17
4666   %c = or i1 %a, %b
4667   ret i1 %c
4668 }
4669
4670 ; x <=s 23 || x >=s 17
4671
4672 define i1 @or_sle_sge_swap(i8 %x) {
4673 ; CHECK-LABEL: @or_sle_sge_swap(
4674 ; CHECK-NEXT:    ret i1 true
4675 ;
4676   %a = icmp sle i8 %x, 23
4677   %b = icmp sge i8 %x, 17
4678   %c = or i1 %a, %b
4679   ret i1 %c
4680 }
4681
4682 ; x <=s 23 || x >s 17
4683
4684 define i1 @or_sle_sgt_swap(i8 %x) {
4685 ; CHECK-LABEL: @or_sle_sgt_swap(
4686 ; CHECK-NEXT:    ret i1 true
4687 ;
4688   %a = icmp sle i8 %x, 23
4689   %b = icmp sgt i8 %x, 17
4690   %c = or i1 %a, %b
4691   ret i1 %c
4692 }
4693
4694 ; x <=s 23 || x <=s 17
4695
4696 define i1 @or_sle_sle_swap(i8 %x) {
4697 ; CHECK-LABEL: @or_sle_sle_swap(
4698 ; CHECK-NEXT:    [[A:%.*]] = icmp sle i8 %x, 23
4699 ; CHECK-NEXT:    ret i1 [[A]]
4700 ;
4701   %a = icmp sle i8 %x, 23
4702   %b = icmp sle i8 %x, 17
4703   %c = or i1 %a, %b
4704   ret i1 %c
4705 }
4706
4707 ; x <=s 23 || x <s 17
4708
4709 define i1 @or_sle_slt_swap(i8 %x) {
4710 ; CHECK-LABEL: @or_sle_slt_swap(
4711 ; CHECK-NEXT:    [[A:%.*]] = icmp sle i8 %x, 23
4712 ; CHECK-NEXT:    ret i1 [[A]]
4713 ;
4714   %a = icmp sle i8 %x, 23
4715   %b = icmp slt i8 %x, 17
4716   %c = or i1 %a, %b
4717   ret i1 %c
4718 }
4719
4720 ; x <=s 23 || x >=u 17
4721
4722 define i1 @or_sle_uge_swap(i8 %x) {
4723 ; CHECK-LABEL: @or_sle_uge_swap(
4724 ; CHECK-NEXT:    ret i1 true
4725 ;
4726   %a = icmp sle i8 %x, 23
4727   %b = icmp uge i8 %x, 17
4728   %c = or i1 %a, %b
4729   ret i1 %c
4730 }
4731
4732 ; x <=s 23 || x >u 17
4733
4734 define i1 @or_sle_ugt_swap(i8 %x) {
4735 ; CHECK-LABEL: @or_sle_ugt_swap(
4736 ; CHECK-NEXT:    ret i1 true
4737 ;
4738   %a = icmp sle i8 %x, 23
4739   %b = icmp ugt i8 %x, 17
4740   %c = or i1 %a, %b
4741   ret i1 %c
4742 }
4743
4744 ; x <=s 23 || x <=u 17
4745
4746 define i1 @or_sle_ule_swap(i8 %x) {
4747 ; CHECK-LABEL: @or_sle_ule_swap(
4748 ; CHECK-NEXT:    [[A:%.*]] = icmp sle i8 %x, 23
4749 ; CHECK-NEXT:    ret i1 [[A]]
4750 ;
4751   %a = icmp sle i8 %x, 23
4752   %b = icmp ule i8 %x, 17
4753   %c = or i1 %a, %b
4754   ret i1 %c
4755 }
4756
4757 ; x <=s 23 || x <u 17
4758
4759 define i1 @or_sle_ult_swap(i8 %x) {
4760 ; CHECK-LABEL: @or_sle_ult_swap(
4761 ; CHECK-NEXT:    [[A:%.*]] = icmp sle i8 %x, 23
4762 ; CHECK-NEXT:    ret i1 [[A]]
4763 ;
4764   %a = icmp sle i8 %x, 23
4765   %b = icmp ult i8 %x, 17
4766   %c = or i1 %a, %b
4767   ret i1 %c
4768 }
4769
4770 ; slt
4771 ; x <s 23 || x == 17
4772
4773 define i1 @or_slt_eq_swap(i8 %x) {
4774 ; CHECK-LABEL: @or_slt_eq_swap(
4775 ; CHECK-NEXT:    [[A:%.*]] = icmp slt i8 %x, 23
4776 ; CHECK-NEXT:    ret i1 [[A]]
4777 ;
4778   %a = icmp slt i8 %x, 23
4779   %b = icmp eq i8 %x, 17
4780   %c = or i1 %a, %b
4781   ret i1 %c
4782 }
4783
4784 ; x <s 23 || x != 17
4785
4786 define i1 @or_slt_ne_swap(i8 %x) {
4787 ; CHECK-LABEL: @or_slt_ne_swap(
4788 ; CHECK-NEXT:    ret i1 true
4789 ;
4790   %a = icmp slt i8 %x, 23
4791   %b = icmp ne i8 %x, 17
4792   %c = or i1 %a, %b
4793   ret i1 %c
4794 }
4795
4796 ; x <s 23 || x >=s 17
4797
4798 define i1 @or_slt_sge_swap(i8 %x) {
4799 ; CHECK-LABEL: @or_slt_sge_swap(
4800 ; CHECK-NEXT:    ret i1 true
4801 ;
4802   %a = icmp slt i8 %x, 23
4803   %b = icmp sge i8 %x, 17
4804   %c = or i1 %a, %b
4805   ret i1 %c
4806 }
4807
4808 ; x <s 23 || x >s 17
4809
4810 define i1 @or_slt_sgt_swap(i8 %x) {
4811 ; CHECK-LABEL: @or_slt_sgt_swap(
4812 ; CHECK-NEXT:    ret i1 true
4813 ;
4814   %a = icmp slt i8 %x, 23
4815   %b = icmp sgt i8 %x, 17
4816   %c = or i1 %a, %b
4817   ret i1 %c
4818 }
4819
4820 ; x <s 23 || x <=s 17
4821
4822 define i1 @or_slt_sle_swap(i8 %x) {
4823 ; CHECK-LABEL: @or_slt_sle_swap(
4824 ; CHECK-NEXT:    [[A:%.*]] = icmp slt i8 %x, 23
4825 ; CHECK-NEXT:    ret i1 [[A]]
4826 ;
4827   %a = icmp slt i8 %x, 23
4828   %b = icmp sle i8 %x, 17
4829   %c = or i1 %a, %b
4830   ret i1 %c
4831 }
4832
4833 ; x <s 23 || x <s 17
4834
4835 define i1 @or_slt_slt_swap(i8 %x) {
4836 ; CHECK-LABEL: @or_slt_slt_swap(
4837 ; CHECK-NEXT:    [[A:%.*]] = icmp slt i8 %x, 23
4838 ; CHECK-NEXT:    ret i1 [[A]]
4839 ;
4840   %a = icmp slt i8 %x, 23
4841   %b = icmp slt i8 %x, 17
4842   %c = or i1 %a, %b
4843   ret i1 %c
4844 }
4845
4846 ; x <s 23 || x >=u 17
4847
4848 define i1 @or_slt_uge_swap(i8 %x) {
4849 ; CHECK-LABEL: @or_slt_uge_swap(
4850 ; CHECK-NEXT:    ret i1 true
4851 ;
4852   %a = icmp slt i8 %x, 23
4853   %b = icmp uge i8 %x, 17
4854   %c = or i1 %a, %b
4855   ret i1 %c
4856 }
4857
4858 ; x <s 23 || x >u 17
4859
4860 define i1 @or_slt_ugt_swap(i8 %x) {
4861 ; CHECK-LABEL: @or_slt_ugt_swap(
4862 ; CHECK-NEXT:    ret i1 true
4863 ;
4864   %a = icmp slt i8 %x, 23
4865   %b = icmp ugt i8 %x, 17
4866   %c = or i1 %a, %b
4867   ret i1 %c
4868 }
4869
4870 ; x <s 23 || x <=u 17
4871
4872 define i1 @or_slt_ule_swap(i8 %x) {
4873 ; CHECK-LABEL: @or_slt_ule_swap(
4874 ; CHECK-NEXT:    [[A:%.*]] = icmp slt i8 %x, 23
4875 ; CHECK-NEXT:    ret i1 [[A]]
4876 ;
4877   %a = icmp slt i8 %x, 23
4878   %b = icmp ule i8 %x, 17
4879   %c = or i1 %a, %b
4880   ret i1 %c
4881 }
4882
4883 ; x <s 23 || x <u 17
4884
4885 define i1 @or_slt_ult_swap(i8 %x) {
4886 ; CHECK-LABEL: @or_slt_ult_swap(
4887 ; CHECK-NEXT:    [[A:%.*]] = icmp slt i8 %x, 23
4888 ; CHECK-NEXT:    ret i1 [[A]]
4889 ;
4890   %a = icmp slt i8 %x, 23
4891   %b = icmp ult i8 %x, 17
4892   %c = or i1 %a, %b
4893   ret i1 %c
4894 }
4895
4896 ; uge
4897 ; x >=u 23 || x == 17
4898
4899 define i1 @or_uge_eq_swap(i8 %x) {
4900 ; CHECK-LABEL: @or_uge_eq_swap(
4901 ; CHECK-NEXT:    [[A:%.*]] = icmp uge i8 %x, 23
4902 ; CHECK-NEXT:    [[B:%.*]] = icmp eq i8 %x, 17
4903 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
4904 ; CHECK-NEXT:    ret i1 [[C]]
4905 ;
4906   %a = icmp uge i8 %x, 23
4907   %b = icmp eq i8 %x, 17
4908   %c = or i1 %a, %b
4909   ret i1 %c
4910 }
4911
4912 ; x >=u 23 || x != 17
4913
4914 define i1 @or_uge_ne_swap(i8 %x) {
4915 ; CHECK-LABEL: @or_uge_ne_swap(
4916 ; CHECK-NEXT:    [[B:%.*]] = icmp ne i8 %x, 17
4917 ; CHECK-NEXT:    ret i1 [[B]]
4918 ;
4919   %a = icmp uge i8 %x, 23
4920   %b = icmp ne i8 %x, 17
4921   %c = or i1 %a, %b
4922   ret i1 %c
4923 }
4924
4925 ; x >=u 23 || x >=s 17
4926
4927 define i1 @or_uge_sge_swap(i8 %x) {
4928 ; CHECK-LABEL: @or_uge_sge_swap(
4929 ; CHECK-NEXT:    [[A:%.*]] = icmp uge i8 %x, 23
4930 ; CHECK-NEXT:    [[B:%.*]] = icmp sge i8 %x, 17
4931 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
4932 ; CHECK-NEXT:    ret i1 [[C]]
4933 ;
4934   %a = icmp uge i8 %x, 23
4935   %b = icmp sge i8 %x, 17
4936   %c = or i1 %a, %b
4937   ret i1 %c
4938 }
4939
4940 ; x >=u 23 || x >s 17
4941
4942 define i1 @or_uge_sgt_swap(i8 %x) {
4943 ; CHECK-LABEL: @or_uge_sgt_swap(
4944 ; CHECK-NEXT:    [[A:%.*]] = icmp uge i8 %x, 23
4945 ; CHECK-NEXT:    [[B:%.*]] = icmp sgt i8 %x, 17
4946 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
4947 ; CHECK-NEXT:    ret i1 [[C]]
4948 ;
4949   %a = icmp uge i8 %x, 23
4950   %b = icmp sgt i8 %x, 17
4951   %c = or i1 %a, %b
4952   ret i1 %c
4953 }
4954
4955 ; x >=u 23 || x <=s 17
4956
4957 define i1 @or_uge_sle_swap(i8 %x) {
4958 ; CHECK-LABEL: @or_uge_sle_swap(
4959 ; CHECK-NEXT:    [[A:%.*]] = icmp uge i8 %x, 23
4960 ; CHECK-NEXT:    [[B:%.*]] = icmp sle i8 %x, 17
4961 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
4962 ; CHECK-NEXT:    ret i1 [[C]]
4963 ;
4964   %a = icmp uge i8 %x, 23
4965   %b = icmp sle i8 %x, 17
4966   %c = or i1 %a, %b
4967   ret i1 %c
4968 }
4969
4970 ; x >=u 23 || x <s 17
4971
4972 define i1 @or_uge_slt_swap(i8 %x) {
4973 ; CHECK-LABEL: @or_uge_slt_swap(
4974 ; CHECK-NEXT:    [[A:%.*]] = icmp uge i8 %x, 23
4975 ; CHECK-NEXT:    [[B:%.*]] = icmp slt i8 %x, 17
4976 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
4977 ; CHECK-NEXT:    ret i1 [[C]]
4978 ;
4979   %a = icmp uge i8 %x, 23
4980   %b = icmp slt i8 %x, 17
4981   %c = or i1 %a, %b
4982   ret i1 %c
4983 }
4984
4985 ; x >=u 23 || x >=u 17
4986
4987 define i1 @or_uge_uge_swap(i8 %x) {
4988 ; CHECK-LABEL: @or_uge_uge_swap(
4989 ; CHECK-NEXT:    [[B:%.*]] = icmp uge i8 %x, 17
4990 ; CHECK-NEXT:    ret i1 [[B]]
4991 ;
4992   %a = icmp uge i8 %x, 23
4993   %b = icmp uge i8 %x, 17
4994   %c = or i1 %a, %b
4995   ret i1 %c
4996 }
4997
4998 ; x >=u 23 || x >u 17
4999
5000 define i1 @or_uge_ugt_swap(i8 %x) {
5001 ; CHECK-LABEL: @or_uge_ugt_swap(
5002 ; CHECK-NEXT:    [[B:%.*]] = icmp ugt i8 %x, 17
5003 ; CHECK-NEXT:    ret i1 [[B]]
5004 ;
5005   %a = icmp uge i8 %x, 23
5006   %b = icmp ugt i8 %x, 17
5007   %c = or i1 %a, %b
5008   ret i1 %c
5009 }
5010
5011 ; x >=u 23 || x <=u 17
5012
5013 define i1 @or_uge_ule_swap(i8 %x) {
5014 ; CHECK-LABEL: @or_uge_ule_swap(
5015 ; CHECK-NEXT:    [[A:%.*]] = icmp uge i8 %x, 23
5016 ; CHECK-NEXT:    [[B:%.*]] = icmp ule i8 %x, 17
5017 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
5018 ; CHECK-NEXT:    ret i1 [[C]]
5019 ;
5020   %a = icmp uge i8 %x, 23
5021   %b = icmp ule i8 %x, 17
5022   %c = or i1 %a, %b
5023   ret i1 %c
5024 }
5025
5026 ; x >=u 23 || x <u 17
5027
5028 define i1 @or_uge_ult_swap(i8 %x) {
5029 ; CHECK-LABEL: @or_uge_ult_swap(
5030 ; CHECK-NEXT:    [[A:%.*]] = icmp uge i8 %x, 23
5031 ; CHECK-NEXT:    [[B:%.*]] = icmp ult i8 %x, 17
5032 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
5033 ; CHECK-NEXT:    ret i1 [[C]]
5034 ;
5035   %a = icmp uge i8 %x, 23
5036   %b = icmp ult i8 %x, 17
5037   %c = or i1 %a, %b
5038   ret i1 %c
5039 }
5040
5041 ; ugt
5042 ; x >u 23 || x == 17
5043
5044 define i1 @or_ugt_eq_swap(i8 %x) {
5045 ; CHECK-LABEL: @or_ugt_eq_swap(
5046 ; CHECK-NEXT:    [[A:%.*]] = icmp ugt i8 %x, 23
5047 ; CHECK-NEXT:    [[B:%.*]] = icmp eq i8 %x, 17
5048 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
5049 ; CHECK-NEXT:    ret i1 [[C]]
5050 ;
5051   %a = icmp ugt i8 %x, 23
5052   %b = icmp eq i8 %x, 17
5053   %c = or i1 %a, %b
5054   ret i1 %c
5055 }
5056
5057 ; x >u 23 || x != 17
5058
5059 define i1 @or_ugt_ne_swap(i8 %x) {
5060 ; CHECK-LABEL: @or_ugt_ne_swap(
5061 ; CHECK-NEXT:    [[B:%.*]] = icmp ne i8 %x, 17
5062 ; CHECK-NEXT:    ret i1 [[B]]
5063 ;
5064   %a = icmp ugt i8 %x, 23
5065   %b = icmp ne i8 %x, 17
5066   %c = or i1 %a, %b
5067   ret i1 %c
5068 }
5069
5070 ; x >u 23 || x >=s 17
5071
5072 define i1 @or_ugt_sge_swap(i8 %x) {
5073 ; CHECK-LABEL: @or_ugt_sge_swap(
5074 ; CHECK-NEXT:    [[A:%.*]] = icmp ugt i8 %x, 23
5075 ; CHECK-NEXT:    [[B:%.*]] = icmp sge i8 %x, 17
5076 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
5077 ; CHECK-NEXT:    ret i1 [[C]]
5078 ;
5079   %a = icmp ugt i8 %x, 23
5080   %b = icmp sge i8 %x, 17
5081   %c = or i1 %a, %b
5082   ret i1 %c
5083 }
5084
5085 ; x >u 23 || x >s 17
5086
5087 define i1 @or_ugt_sgt_swap(i8 %x) {
5088 ; CHECK-LABEL: @or_ugt_sgt_swap(
5089 ; CHECK-NEXT:    [[A:%.*]] = icmp ugt i8 %x, 23
5090 ; CHECK-NEXT:    [[B:%.*]] = icmp sgt i8 %x, 17
5091 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
5092 ; CHECK-NEXT:    ret i1 [[C]]
5093 ;
5094   %a = icmp ugt i8 %x, 23
5095   %b = icmp sgt i8 %x, 17
5096   %c = or i1 %a, %b
5097   ret i1 %c
5098 }
5099
5100 ; x >u 23 || x <=s 17
5101
5102 define i1 @or_ugt_sle_swap(i8 %x) {
5103 ; CHECK-LABEL: @or_ugt_sle_swap(
5104 ; CHECK-NEXT:    [[A:%.*]] = icmp ugt i8 %x, 23
5105 ; CHECK-NEXT:    [[B:%.*]] = icmp sle i8 %x, 17
5106 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
5107 ; CHECK-NEXT:    ret i1 [[C]]
5108 ;
5109   %a = icmp ugt i8 %x, 23
5110   %b = icmp sle i8 %x, 17
5111   %c = or i1 %a, %b
5112   ret i1 %c
5113 }
5114
5115 ; x >u 23 || x <s 17
5116
5117 define i1 @or_ugt_slt_swap(i8 %x) {
5118 ; CHECK-LABEL: @or_ugt_slt_swap(
5119 ; CHECK-NEXT:    [[A:%.*]] = icmp ugt i8 %x, 23
5120 ; CHECK-NEXT:    [[B:%.*]] = icmp slt i8 %x, 17
5121 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
5122 ; CHECK-NEXT:    ret i1 [[C]]
5123 ;
5124   %a = icmp ugt i8 %x, 23
5125   %b = icmp slt i8 %x, 17
5126   %c = or i1 %a, %b
5127   ret i1 %c
5128 }
5129
5130 ; x >u 23 || x >=u 17
5131
5132 define i1 @or_ugt_uge_swap(i8 %x) {
5133 ; CHECK-LABEL: @or_ugt_uge_swap(
5134 ; CHECK-NEXT:    [[B:%.*]] = icmp uge i8 %x, 17
5135 ; CHECK-NEXT:    ret i1 [[B]]
5136 ;
5137   %a = icmp ugt i8 %x, 23
5138   %b = icmp uge i8 %x, 17
5139   %c = or i1 %a, %b
5140   ret i1 %c
5141 }
5142
5143 ; x >u 23 || x >u 17
5144
5145 define i1 @or_ugt_ugt_swap(i8 %x) {
5146 ; CHECK-LABEL: @or_ugt_ugt_swap(
5147 ; CHECK-NEXT:    [[B:%.*]] = icmp ugt i8 %x, 17
5148 ; CHECK-NEXT:    ret i1 [[B]]
5149 ;
5150   %a = icmp ugt i8 %x, 23
5151   %b = icmp ugt i8 %x, 17
5152   %c = or i1 %a, %b
5153   ret i1 %c
5154 }
5155
5156 ; x >u 23 || x <=u 17
5157
5158 define i1 @or_ugt_ule_swap(i8 %x) {
5159 ; CHECK-LABEL: @or_ugt_ule_swap(
5160 ; CHECK-NEXT:    [[A:%.*]] = icmp ugt i8 %x, 23
5161 ; CHECK-NEXT:    [[B:%.*]] = icmp ule i8 %x, 17
5162 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
5163 ; CHECK-NEXT:    ret i1 [[C]]
5164 ;
5165   %a = icmp ugt i8 %x, 23
5166   %b = icmp ule i8 %x, 17
5167   %c = or i1 %a, %b
5168   ret i1 %c
5169 }
5170
5171 ; x >u 23 || x <u 17
5172
5173 define i1 @or_ugt_ult_swap(i8 %x) {
5174 ; CHECK-LABEL: @or_ugt_ult_swap(
5175 ; CHECK-NEXT:    [[A:%.*]] = icmp ugt i8 %x, 23
5176 ; CHECK-NEXT:    [[B:%.*]] = icmp ult i8 %x, 17
5177 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
5178 ; CHECK-NEXT:    ret i1 [[C]]
5179 ;
5180   %a = icmp ugt i8 %x, 23
5181   %b = icmp ult i8 %x, 17
5182   %c = or i1 %a, %b
5183   ret i1 %c
5184 }
5185
5186 ; ule
5187 ; x <=u 23 || x == 17
5188
5189 define i1 @or_ule_eq_swap(i8 %x) {
5190 ; CHECK-LABEL: @or_ule_eq_swap(
5191 ; CHECK-NEXT:    [[A:%.*]] = icmp ule i8 %x, 23
5192 ; CHECK-NEXT:    ret i1 [[A]]
5193 ;
5194   %a = icmp ule i8 %x, 23
5195   %b = icmp eq i8 %x, 17
5196   %c = or i1 %a, %b
5197   ret i1 %c
5198 }
5199
5200 ; x <=u 23 || x != 17
5201
5202 define i1 @or_ule_ne_swap(i8 %x) {
5203 ; CHECK-LABEL: @or_ule_ne_swap(
5204 ; CHECK-NEXT:    ret i1 true
5205 ;
5206   %a = icmp ule i8 %x, 23
5207   %b = icmp ne i8 %x, 17
5208   %c = or i1 %a, %b
5209   ret i1 %c
5210 }
5211
5212 ; x <=u 23 || x >=s 17
5213
5214 define i1 @or_ule_sge_swap(i8 %x) {
5215 ; CHECK-LABEL: @or_ule_sge_swap(
5216 ; CHECK-NEXT:    [[A:%.*]] = icmp ule i8 %x, 23
5217 ; CHECK-NEXT:    [[B:%.*]] = icmp sge i8 %x, 17
5218 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
5219 ; CHECK-NEXT:    ret i1 [[C]]
5220 ;
5221   %a = icmp ule i8 %x, 23
5222   %b = icmp sge i8 %x, 17
5223   %c = or i1 %a, %b
5224   ret i1 %c
5225 }
5226
5227 ; x <=u 23 || x >s 17
5228
5229 define i1 @or_ule_sgt_swap(i8 %x) {
5230 ; CHECK-LABEL: @or_ule_sgt_swap(
5231 ; CHECK-NEXT:    [[A:%.*]] = icmp ule i8 %x, 23
5232 ; CHECK-NEXT:    [[B:%.*]] = icmp sgt i8 %x, 17
5233 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
5234 ; CHECK-NEXT:    ret i1 [[C]]
5235 ;
5236   %a = icmp ule i8 %x, 23
5237   %b = icmp sgt i8 %x, 17
5238   %c = or i1 %a, %b
5239   ret i1 %c
5240 }
5241
5242 ; x <=u 23 || x <=s 17
5243
5244 define i1 @or_ule_sle_swap(i8 %x) {
5245 ; CHECK-LABEL: @or_ule_sle_swap(
5246 ; CHECK-NEXT:    [[A:%.*]] = icmp ule i8 %x, 23
5247 ; CHECK-NEXT:    [[B:%.*]] = icmp sle i8 %x, 17
5248 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
5249 ; CHECK-NEXT:    ret i1 [[C]]
5250 ;
5251   %a = icmp ule i8 %x, 23
5252   %b = icmp sle i8 %x, 17
5253   %c = or i1 %a, %b
5254   ret i1 %c
5255 }
5256
5257 ; x <=u 23 || x <s 17
5258
5259 define i1 @or_ule_slt_swap(i8 %x) {
5260 ; CHECK-LABEL: @or_ule_slt_swap(
5261 ; CHECK-NEXT:    [[A:%.*]] = icmp ule i8 %x, 23
5262 ; CHECK-NEXT:    [[B:%.*]] = icmp slt i8 %x, 17
5263 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
5264 ; CHECK-NEXT:    ret i1 [[C]]
5265 ;
5266   %a = icmp ule i8 %x, 23
5267   %b = icmp slt i8 %x, 17
5268   %c = or i1 %a, %b
5269   ret i1 %c
5270 }
5271
5272 ; x <=u 23 || x >=u 17
5273
5274 define i1 @or_ule_uge_swap(i8 %x) {
5275 ; CHECK-LABEL: @or_ule_uge_swap(
5276 ; CHECK-NEXT:    ret i1 true
5277 ;
5278   %a = icmp ule i8 %x, 23
5279   %b = icmp uge i8 %x, 17
5280   %c = or i1 %a, %b
5281   ret i1 %c
5282 }
5283
5284 ; x <=u 23 || x >u 17
5285
5286 define i1 @or_ule_ugt_swap(i8 %x) {
5287 ; CHECK-LABEL: @or_ule_ugt_swap(
5288 ; CHECK-NEXT:    ret i1 true
5289 ;
5290   %a = icmp ule i8 %x, 23
5291   %b = icmp ugt i8 %x, 17
5292   %c = or i1 %a, %b
5293   ret i1 %c
5294 }
5295
5296 ; x <=u 23 || x <=u 17
5297
5298 define i1 @or_ule_ule_swap(i8 %x) {
5299 ; CHECK-LABEL: @or_ule_ule_swap(
5300 ; CHECK-NEXT:    [[A:%.*]] = icmp ule i8 %x, 23
5301 ; CHECK-NEXT:    ret i1 [[A]]
5302 ;
5303   %a = icmp ule i8 %x, 23
5304   %b = icmp ule i8 %x, 17
5305   %c = or i1 %a, %b
5306   ret i1 %c
5307 }
5308
5309 ; x <=u 23 || x <u 17
5310
5311 define i1 @or_ule_ult_swap(i8 %x) {
5312 ; CHECK-LABEL: @or_ule_ult_swap(
5313 ; CHECK-NEXT:    [[A:%.*]] = icmp ule i8 %x, 23
5314 ; CHECK-NEXT:    ret i1 [[A]]
5315 ;
5316   %a = icmp ule i8 %x, 23
5317   %b = icmp ult i8 %x, 17
5318   %c = or i1 %a, %b
5319   ret i1 %c
5320 }
5321
5322 ; ult
5323 ; x <u 23 || x == 17
5324
5325 define i1 @or_ult_eq_swap(i8 %x) {
5326 ; CHECK-LABEL: @or_ult_eq_swap(
5327 ; CHECK-NEXT:    [[A:%.*]] = icmp ult i8 %x, 23
5328 ; CHECK-NEXT:    ret i1 [[A]]
5329 ;
5330   %a = icmp ult i8 %x, 23
5331   %b = icmp eq i8 %x, 17
5332   %c = or i1 %a, %b
5333   ret i1 %c
5334 }
5335
5336 ; x <u 23 || x != 17
5337
5338 define i1 @or_ult_ne_swap(i8 %x) {
5339 ; CHECK-LABEL: @or_ult_ne_swap(
5340 ; CHECK-NEXT:    ret i1 true
5341 ;
5342   %a = icmp ult i8 %x, 23
5343   %b = icmp ne i8 %x, 17
5344   %c = or i1 %a, %b
5345   ret i1 %c
5346 }
5347
5348 ; x <u 23 || x >=s 17
5349
5350 define i1 @or_ult_sge_swap(i8 %x) {
5351 ; CHECK-LABEL: @or_ult_sge_swap(
5352 ; CHECK-NEXT:    [[A:%.*]] = icmp ult i8 %x, 23
5353 ; CHECK-NEXT:    [[B:%.*]] = icmp sge i8 %x, 17
5354 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
5355 ; CHECK-NEXT:    ret i1 [[C]]
5356 ;
5357   %a = icmp ult i8 %x, 23
5358   %b = icmp sge i8 %x, 17
5359   %c = or i1 %a, %b
5360   ret i1 %c
5361 }
5362
5363 ; x <u 23 || x >s 17
5364
5365 define i1 @or_ult_sgt_swap(i8 %x) {
5366 ; CHECK-LABEL: @or_ult_sgt_swap(
5367 ; CHECK-NEXT:    [[A:%.*]] = icmp ult i8 %x, 23
5368 ; CHECK-NEXT:    [[B:%.*]] = icmp sgt i8 %x, 17
5369 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
5370 ; CHECK-NEXT:    ret i1 [[C]]
5371 ;
5372   %a = icmp ult i8 %x, 23
5373   %b = icmp sgt i8 %x, 17
5374   %c = or i1 %a, %b
5375   ret i1 %c
5376 }
5377
5378 ; x <u 23 || x <=s 17
5379
5380 define i1 @or_ult_sle_swap(i8 %x) {
5381 ; CHECK-LABEL: @or_ult_sle_swap(
5382 ; CHECK-NEXT:    [[A:%.*]] = icmp ult i8 %x, 23
5383 ; CHECK-NEXT:    [[B:%.*]] = icmp sle i8 %x, 17
5384 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
5385 ; CHECK-NEXT:    ret i1 [[C]]
5386 ;
5387   %a = icmp ult i8 %x, 23
5388   %b = icmp sle i8 %x, 17
5389   %c = or i1 %a, %b
5390   ret i1 %c
5391 }
5392
5393 ; x <u 23 || x <s 17
5394
5395 define i1 @or_ult_slt_swap(i8 %x) {
5396 ; CHECK-LABEL: @or_ult_slt_swap(
5397 ; CHECK-NEXT:    [[A:%.*]] = icmp ult i8 %x, 23
5398 ; CHECK-NEXT:    [[B:%.*]] = icmp slt i8 %x, 17
5399 ; CHECK-NEXT:    [[C:%.*]] = or i1 [[A]], [[B]]
5400 ; CHECK-NEXT:    ret i1 [[C]]
5401 ;
5402   %a = icmp ult i8 %x, 23
5403   %b = icmp slt i8 %x, 17
5404   %c = or i1 %a, %b
5405   ret i1 %c
5406 }
5407
5408 ; x <u 23 || x >=u 17
5409
5410 define i1 @or_ult_uge_swap(i8 %x) {
5411 ; CHECK-LABEL: @or_ult_uge_swap(
5412 ; CHECK-NEXT:    ret i1 true
5413 ;
5414   %a = icmp ult i8 %x, 23
5415   %b = icmp uge i8 %x, 17
5416   %c = or i1 %a, %b
5417   ret i1 %c
5418 }
5419
5420 ; x <u 23 || x >u 17
5421
5422 define i1 @or_ult_ugt_swap(i8 %x) {
5423 ; CHECK-LABEL: @or_ult_ugt_swap(
5424 ; CHECK-NEXT:    ret i1 true
5425 ;
5426   %a = icmp ult i8 %x, 23
5427   %b = icmp ugt i8 %x, 17
5428   %c = or i1 %a, %b
5429   ret i1 %c
5430 }
5431
5432 ; x <u 23 || x <=u 17
5433
5434 define i1 @or_ult_ule_swap(i8 %x) {
5435 ; CHECK-LABEL: @or_ult_ule_swap(
5436 ; CHECK-NEXT:    [[A:%.*]] = icmp ult i8 %x, 23
5437 ; CHECK-NEXT:    ret i1 [[A]]
5438 ;
5439   %a = icmp ult i8 %x, 23
5440   %b = icmp ule i8 %x, 17
5441   %c = or i1 %a, %b
5442   ret i1 %c
5443 }
5444
5445 ; x <u 23 || x <u 17
5446
5447 define i1 @or_ult_ult_swap(i8 %x) {
5448 ; CHECK-LABEL: @or_ult_ult_swap(
5449 ; CHECK-NEXT:    [[A:%.*]] = icmp ult i8 %x, 23
5450 ; CHECK-NEXT:    ret i1 [[A]]
5451 ;
5452   %a = icmp ult i8 %x, 23
5453   %b = icmp ult i8 %x, 17
5454   %c = or i1 %a, %b
5455   ret i1 %c
5456 }
5457
5458 ; Special case - slt is uge
5459 ; x <u 31 && x <s 0
5460
5461 define i1 @empty2(i32 %x) {
5462 ; CHECK-LABEL: @empty2(
5463 ; CHECK-NEXT:    ret i1 false
5464 ;
5465   %a = icmp ult i32 %x, 31
5466   %b = icmp slt i32 %x, 0
5467   %c = and i1 %a, %b
5468   ret i1 %c
5469 }
5470