llvm/test/Transforms/InstSimplify/and-icmps-same-ops.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=instsimplify -S | FileCheck %s
   3
   4 ; There are 10 * 10 combinations of icmp predicates that can be AND'd together.
   5 ; The majority of these can be simplified to always false or just one of the icmps.
   6
   7 define i1 @eq_eq(i8 %a, i8 %b) {
   8 ; CHECK-LABEL: @eq_eq(
   9 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp eq i8 [[A:%.*]], [[B:%.*]]
  10 ; CHECK-NEXT:    ret i1 [[CMP1]]
  11 ;
  12   %cmp1 = icmp eq i8 %a, %b
  13   %cmp2 = icmp eq i8 %a, %b
  14   %and = and i1 %cmp1, %cmp2
  15   ret i1 %and
  16 }
  17
  18 define i1 @eq_ne(i8 %a, i8 %b) {
  19 ; CHECK-LABEL: @eq_ne(
  20 ; CHECK-NEXT:    ret i1 false
  21 ;
  22   %cmp1 = icmp eq i8 %a, %b
  23   %cmp2 = icmp ne i8 %a, %b
  24   %and = and i1 %cmp1, %cmp2
  25   ret i1 %and
  26 }
  27
  28 define i1 @eq_sge(i8 %a, i8 %b) {
  29 ; CHECK-LABEL: @eq_sge(
  30 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp eq i8 [[A:%.*]], [[B:%.*]]
  31 ; CHECK-NEXT:    ret i1 [[CMP1]]
  32 ;
  33   %cmp1 = icmp eq i8 %a, %b
  34   %cmp2 = icmp sge i8 %a, %b
  35   %and = and i1 %cmp1, %cmp2
  36   ret i1 %and
  37 }
  38
  39 define i1 @eq_sgt(i8 %a, i8 %b) {
  40 ; CHECK-LABEL: @eq_sgt(
  41 ; CHECK-NEXT:    ret i1 false
  42 ;
  43   %cmp1 = icmp eq i8 %a, %b
  44   %cmp2 = icmp sgt i8 %a, %b
  45   %and = and i1 %cmp1, %cmp2
  46   ret i1 %and
  47 }
  48
  49 define i1 @eq_sle(i8 %a, i8 %b) {
  50 ; CHECK-LABEL: @eq_sle(
  51 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp eq i8 [[A:%.*]], [[B:%.*]]
  52 ; CHECK-NEXT:    ret i1 [[CMP1]]
  53 ;
  54   %cmp1 = icmp eq i8 %a, %b
  55   %cmp2 = icmp sle i8 %a, %b
  56   %and = and i1 %cmp1, %cmp2
  57   ret i1 %and
  58 }
  59
  60 define i1 @eq_slt(i8 %a, i8 %b) {
  61 ; CHECK-LABEL: @eq_slt(
  62 ; CHECK-NEXT:    ret i1 false
  63 ;
  64   %cmp1 = icmp eq i8 %a, %b
  65   %cmp2 = icmp slt i8 %a, %b
  66   %and = and i1 %cmp1, %cmp2
  67   ret i1 %and
  68 }
  69
  70 define i1 @eq_uge(i8 %a, i8 %b) {
  71 ; CHECK-LABEL: @eq_uge(
  72 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp eq i8 [[A:%.*]], [[B:%.*]]
  73 ; CHECK-NEXT:    ret i1 [[CMP1]]
  74 ;
  75   %cmp1 = icmp eq i8 %a, %b
  76   %cmp2 = icmp uge i8 %a, %b
  77   %and = and i1 %cmp1, %cmp2
  78   ret i1 %and
  79 }
  80
  81 define i1 @eq_ugt(i8 %a, i8 %b) {
  82 ; CHECK-LABEL: @eq_ugt(
  83 ; CHECK-NEXT:    ret i1 false
  84 ;
  85   %cmp1 = icmp eq i8 %a, %b
  86   %cmp2 = icmp ugt i8 %a, %b
  87   %and = and i1 %cmp1, %cmp2
  88   ret i1 %and
  89 }
  90
  91 define i1 @eq_ule(i8 %a, i8 %b) {
  92 ; CHECK-LABEL: @eq_ule(
  93 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp eq i8 [[A:%.*]], [[B:%.*]]
  94 ; CHECK-NEXT:    ret i1 [[CMP1]]
  95 ;
  96   %cmp1 = icmp eq i8 %a, %b
  97   %cmp2 = icmp ule i8 %a, %b
  98   %and = and i1 %cmp1, %cmp2
  99   ret i1 %and
 100 }
 101
 102 define i1 @eq_ult(i8 %a, i8 %b) {
 103 ; CHECK-LABEL: @eq_ult(
 104 ; CHECK-NEXT:    ret i1 false
 105 ;
 106   %cmp1 = icmp eq i8 %a, %b
 107   %cmp2 = icmp ult i8 %a, %b
 108   %and = and i1 %cmp1, %cmp2
 109   ret i1 %and
 110 }
 111
 112 ;
 113
 114 define i1 @ne_eq(i8 %a, i8 %b) {
 115 ; CHECK-LABEL: @ne_eq(
 116 ; CHECK-NEXT:    ret i1 false
 117 ;
 118   %cmp1 = icmp ne i8 %a, %b
 119   %cmp2 = icmp eq i8 %a, %b
 120   %and = and i1 %cmp1, %cmp2
 121   ret i1 %and
 122 }
 123
 124 define i1 @ne_ne(i8 %a, i8 %b) {
 125 ; CHECK-LABEL: @ne_ne(
 126 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ne i8 [[A:%.*]], [[B:%.*]]
 127 ; CHECK-NEXT:    ret i1 [[CMP1]]
 128 ;
 129   %cmp1 = icmp ne i8 %a, %b
 130   %cmp2 = icmp ne i8 %a, %b
 131   %and = and i1 %cmp1, %cmp2
 132   ret i1 %and
 133 }
 134
 135 define i1 @ne_sge(i8 %a, i8 %b) {
 136 ; CHECK-LABEL: @ne_sge(
 137 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ne i8 [[A:%.*]], [[B:%.*]]
 138 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sge i8 [[A]], [[B]]
 139 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 140 ; CHECK-NEXT:    ret i1 [[AND]]
 141 ;
 142   %cmp1 = icmp ne i8 %a, %b
 143   %cmp2 = icmp sge i8 %a, %b
 144   %and = and i1 %cmp1, %cmp2
 145   ret i1 %and
 146 }
 147
 148 define i1 @ne_sgt(i8 %a, i8 %b) {
 149 ; CHECK-LABEL: @ne_sgt(
 150 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sgt i8 [[A:%.*]], [[B:%.*]]
 151 ; CHECK-NEXT:    ret i1 [[CMP2]]
 152 ;
 153   %cmp1 = icmp ne i8 %a, %b
 154   %cmp2 = icmp sgt i8 %a, %b
 155   %and = and i1 %cmp1, %cmp2
 156   ret i1 %and
 157 }
 158
 159 define i1 @ne_sle(i8 %a, i8 %b) {
 160 ; CHECK-LABEL: @ne_sle(
 161 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ne i8 [[A:%.*]], [[B:%.*]]
 162 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sle i8 [[A]], [[B]]
 163 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 164 ; CHECK-NEXT:    ret i1 [[AND]]
 165 ;
 166   %cmp1 = icmp ne i8 %a, %b
 167   %cmp2 = icmp sle i8 %a, %b
 168   %and = and i1 %cmp1, %cmp2
 169   ret i1 %and
 170 }
 171
 172 define i1 @ne_slt(i8 %a, i8 %b) {
 173 ; CHECK-LABEL: @ne_slt(
 174 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp slt i8 [[A:%.*]], [[B:%.*]]
 175 ; CHECK-NEXT:    ret i1 [[CMP2]]
 176 ;
 177   %cmp1 = icmp ne i8 %a, %b
 178   %cmp2 = icmp slt i8 %a, %b
 179   %and = and i1 %cmp1, %cmp2
 180   ret i1 %and
 181 }
 182
 183 define i1 @ne_uge(i8 %a, i8 %b) {
 184 ; CHECK-LABEL: @ne_uge(
 185 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ne i8 [[A:%.*]], [[B:%.*]]
 186 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp uge i8 [[A]], [[B]]
 187 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 188 ; CHECK-NEXT:    ret i1 [[AND]]
 189 ;
 190   %cmp1 = icmp ne i8 %a, %b
 191   %cmp2 = icmp uge i8 %a, %b
 192   %and = and i1 %cmp1, %cmp2
 193   ret i1 %and
 194 }
 195
 196 define i1 @ne_ugt(i8 %a, i8 %b) {
 197 ; CHECK-LABEL: @ne_ugt(
 198 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ugt i8 [[A:%.*]], [[B:%.*]]
 199 ; CHECK-NEXT:    ret i1 [[CMP2]]
 200 ;
 201   %cmp1 = icmp ne i8 %a, %b
 202   %cmp2 = icmp ugt i8 %a, %b
 203   %and = and i1 %cmp1, %cmp2
 204   ret i1 %and
 205 }
 206
 207 define i1 @ne_ule(i8 %a, i8 %b) {
 208 ; CHECK-LABEL: @ne_ule(
 209 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ne i8 [[A:%.*]], [[B:%.*]]
 210 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ule i8 [[A]], [[B]]
 211 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 212 ; CHECK-NEXT:    ret i1 [[AND]]
 213 ;
 214   %cmp1 = icmp ne i8 %a, %b
 215   %cmp2 = icmp ule i8 %a, %b
 216   %and = and i1 %cmp1, %cmp2
 217   ret i1 %and
 218 }
 219
 220 define i1 @ne_ult(i8 %a, i8 %b) {
 221 ; CHECK-LABEL: @ne_ult(
 222 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ult i8 [[A:%.*]], [[B:%.*]]
 223 ; CHECK-NEXT:    ret i1 [[CMP2]]
 224 ;
 225   %cmp1 = icmp ne i8 %a, %b
 226   %cmp2 = icmp ult i8 %a, %b
 227   %and = and i1 %cmp1, %cmp2
 228   ret i1 %and
 229 }
 230
 231 ;
 232
 233 define i1 @sge_eq(i8 %a, i8 %b) {
 234 ; CHECK-LABEL: @sge_eq(
 235 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp eq i8 [[A:%.*]], [[B:%.*]]
 236 ; CHECK-NEXT:    ret i1 [[CMP2]]
 237 ;
 238   %cmp1 = icmp sge i8 %a, %b
 239   %cmp2 = icmp eq i8 %a, %b
 240   %and = and i1 %cmp1, %cmp2
 241   ret i1 %and
 242 }
 243
 244 define i1 @sge_ne(i8 %a, i8 %b) {
 245 ; CHECK-LABEL: @sge_ne(
 246 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sge i8 [[A:%.*]], [[B:%.*]]
 247 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ne i8 [[A]], [[B]]
 248 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 249 ; CHECK-NEXT:    ret i1 [[AND]]
 250 ;
 251   %cmp1 = icmp sge i8 %a, %b
 252   %cmp2 = icmp ne i8 %a, %b
 253   %and = and i1 %cmp1, %cmp2
 254   ret i1 %and
 255 }
 256
 257 define i1 @sge_sge(i8 %a, i8 %b) {
 258 ; CHECK-LABEL: @sge_sge(
 259 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sge i8 [[A:%.*]], [[B:%.*]]
 260 ; CHECK-NEXT:    ret i1 [[CMP1]]
 261 ;
 262   %cmp1 = icmp sge i8 %a, %b
 263   %cmp2 = icmp sge i8 %a, %b
 264   %and = and i1 %cmp1, %cmp2
 265   ret i1 %and
 266 }
 267
 268 define i1 @sge_sgt(i8 %a, i8 %b) {
 269 ; CHECK-LABEL: @sge_sgt(
 270 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sgt i8 [[A:%.*]], [[B:%.*]]
 271 ; CHECK-NEXT:    ret i1 [[CMP2]]
 272 ;
 273   %cmp1 = icmp sge i8 %a, %b
 274   %cmp2 = icmp sgt i8 %a, %b
 275   %and = and i1 %cmp1, %cmp2
 276   ret i1 %and
 277 }
 278
 279 define i1 @sge_sle(i8 %a, i8 %b) {
 280 ; CHECK-LABEL: @sge_sle(
 281 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sge i8 [[A:%.*]], [[B:%.*]]
 282 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sle i8 [[A]], [[B]]
 283 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 284 ; CHECK-NEXT:    ret i1 [[AND]]
 285 ;
 286   %cmp1 = icmp sge i8 %a, %b
 287   %cmp2 = icmp sle i8 %a, %b
 288   %and = and i1 %cmp1, %cmp2
 289   ret i1 %and
 290 }
 291
 292 define i1 @sge_slt(i8 %a, i8 %b) {
 293 ; CHECK-LABEL: @sge_slt(
 294 ; CHECK-NEXT:    ret i1 false
 295 ;
 296   %cmp1 = icmp sge i8 %a, %b
 297   %cmp2 = icmp slt i8 %a, %b
 298   %and = and i1 %cmp1, %cmp2
 299   ret i1 %and
 300 }
 301
 302 define i1 @sge_uge(i8 %a, i8 %b) {
 303 ; CHECK-LABEL: @sge_uge(
 304 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sge i8 [[A:%.*]], [[B:%.*]]
 305 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp uge i8 [[A]], [[B]]
 306 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 307 ; CHECK-NEXT:    ret i1 [[AND]]
 308 ;
 309   %cmp1 = icmp sge i8 %a, %b
 310   %cmp2 = icmp uge i8 %a, %b
 311   %and = and i1 %cmp1, %cmp2
 312   ret i1 %and
 313 }
 314
 315 define i1 @sge_ugt(i8 %a, i8 %b) {
 316 ; CHECK-LABEL: @sge_ugt(
 317 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sge i8 [[A:%.*]], [[B:%.*]]
 318 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ugt i8 [[A]], [[B]]
 319 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 320 ; CHECK-NEXT:    ret i1 [[AND]]
 321 ;
 322   %cmp1 = icmp sge i8 %a, %b
 323   %cmp2 = icmp ugt i8 %a, %b
 324   %and = and i1 %cmp1, %cmp2
 325   ret i1 %and
 326 }
 327
 328 define i1 @sge_ule(i8 %a, i8 %b) {
 329 ; CHECK-LABEL: @sge_ule(
 330 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sge i8 [[A:%.*]], [[B:%.*]]
 331 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ule i8 [[A]], [[B]]
 332 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 333 ; CHECK-NEXT:    ret i1 [[AND]]
 334 ;
 335   %cmp1 = icmp sge i8 %a, %b
 336   %cmp2 = icmp ule i8 %a, %b
 337   %and = and i1 %cmp1, %cmp2
 338   ret i1 %and
 339 }
 340
 341 define i1 @sge_ult(i8 %a, i8 %b) {
 342 ; CHECK-LABEL: @sge_ult(
 343 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sge i8 [[A:%.*]], [[B:%.*]]
 344 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ult i8 [[A]], [[B]]
 345 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 346 ; CHECK-NEXT:    ret i1 [[AND]]
 347 ;
 348   %cmp1 = icmp sge i8 %a, %b
 349   %cmp2 = icmp ult i8 %a, %b
 350   %and = and i1 %cmp1, %cmp2
 351   ret i1 %and
 352 }
 353
 354 ;
 355
 356 define i1 @sgt_eq(i8 %a, i8 %b) {
 357 ; CHECK-LABEL: @sgt_eq(
 358 ; CHECK-NEXT:    ret i1 false
 359 ;
 360   %cmp1 = icmp sgt i8 %a, %b
 361   %cmp2 = icmp eq i8 %a, %b
 362   %and = and i1 %cmp1, %cmp2
 363   ret i1 %and
 364 }
 365
 366 define i1 @sgt_ne(i8 %a, i8 %b) {
 367 ; CHECK-LABEL: @sgt_ne(
 368 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sgt i8 [[A:%.*]], [[B:%.*]]
 369 ; CHECK-NEXT:    ret i1 [[CMP1]]
 370 ;
 371   %cmp1 = icmp sgt i8 %a, %b
 372   %cmp2 = icmp ne i8 %a, %b
 373   %and = and i1 %cmp1, %cmp2
 374   ret i1 %and
 375 }
 376
 377 define i1 @sgt_sge(i8 %a, i8 %b) {
 378 ; CHECK-LABEL: @sgt_sge(
 379 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sgt i8 [[A:%.*]], [[B:%.*]]
 380 ; CHECK-NEXT:    ret i1 [[CMP1]]
 381 ;
 382   %cmp1 = icmp sgt i8 %a, %b
 383   %cmp2 = icmp sge i8 %a, %b
 384   %and = and i1 %cmp1, %cmp2
 385   ret i1 %and
 386 }
 387
 388 define i1 @sgt_sgt(i8 %a, i8 %b) {
 389 ; CHECK-LABEL: @sgt_sgt(
 390 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sgt i8 [[A:%.*]], [[B:%.*]]
 391 ; CHECK-NEXT:    ret i1 [[CMP1]]
 392 ;
 393   %cmp1 = icmp sgt i8 %a, %b
 394   %cmp2 = icmp sgt i8 %a, %b
 395   %and = and i1 %cmp1, %cmp2
 396   ret i1 %and
 397 }
 398
 399 define i1 @sgt_sle(i8 %a, i8 %b) {
 400 ; CHECK-LABEL: @sgt_sle(
 401 ; CHECK-NEXT:    ret i1 false
 402 ;
 403   %cmp1 = icmp sgt i8 %a, %b
 404   %cmp2 = icmp sle i8 %a, %b
 405   %and = and i1 %cmp1, %cmp2
 406   ret i1 %and
 407 }
 408
 409 define i1 @sgt_slt(i8 %a, i8 %b) {
 410 ; CHECK-LABEL: @sgt_slt(
 411 ; CHECK-NEXT:    ret i1 false
 412 ;
 413   %cmp1 = icmp sgt i8 %a, %b
 414   %cmp2 = icmp slt i8 %a, %b
 415   %and = and i1 %cmp1, %cmp2
 416   ret i1 %and
 417 }
 418
 419 define i1 @sgt_uge(i8 %a, i8 %b) {
 420 ; CHECK-LABEL: @sgt_uge(
 421 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sgt i8 [[A:%.*]], [[B:%.*]]
 422 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp uge i8 [[A]], [[B]]
 423 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 424 ; CHECK-NEXT:    ret i1 [[AND]]
 425 ;
 426   %cmp1 = icmp sgt i8 %a, %b
 427   %cmp2 = icmp uge i8 %a, %b
 428   %and = and i1 %cmp1, %cmp2
 429   ret i1 %and
 430 }
 431
 432 define i1 @sgt_ugt(i8 %a, i8 %b) {
 433 ; CHECK-LABEL: @sgt_ugt(
 434 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sgt i8 [[A:%.*]], [[B:%.*]]
 435 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ugt i8 [[A]], [[B]]
 436 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 437 ; CHECK-NEXT:    ret i1 [[AND]]
 438 ;
 439   %cmp1 = icmp sgt i8 %a, %b
 440   %cmp2 = icmp ugt i8 %a, %b
 441   %and = and i1 %cmp1, %cmp2
 442   ret i1 %and
 443 }
 444
 445 define i1 @sgt_ule(i8 %a, i8 %b) {
 446 ; CHECK-LABEL: @sgt_ule(
 447 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sgt i8 [[A:%.*]], [[B:%.*]]
 448 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ule i8 [[A]], [[B]]
 449 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 450 ; CHECK-NEXT:    ret i1 [[AND]]
 451 ;
 452   %cmp1 = icmp sgt i8 %a, %b
 453   %cmp2 = icmp ule i8 %a, %b
 454   %and = and i1 %cmp1, %cmp2
 455   ret i1 %and
 456 }
 457
 458 define i1 @sgt_ult(i8 %a, i8 %b) {
 459 ; CHECK-LABEL: @sgt_ult(
 460 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sgt i8 [[A:%.*]], [[B:%.*]]
 461 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ult i8 [[A]], [[B]]
 462 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 463 ; CHECK-NEXT:    ret i1 [[AND]]
 464 ;
 465   %cmp1 = icmp sgt i8 %a, %b
 466   %cmp2 = icmp ult i8 %a, %b
 467   %and = and i1 %cmp1, %cmp2
 468   ret i1 %and
 469 }
 470
 471 ;
 472
 473 define i1 @sle_eq(i8 %a, i8 %b) {
 474 ; CHECK-LABEL: @sle_eq(
 475 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp eq i8 [[A:%.*]], [[B:%.*]]
 476 ; CHECK-NEXT:    ret i1 [[CMP2]]
 477 ;
 478   %cmp1 = icmp sle i8 %a, %b
 479   %cmp2 = icmp eq i8 %a, %b
 480   %and = and i1 %cmp1, %cmp2
 481   ret i1 %and
 482 }
 483
 484 define i1 @sle_ne(i8 %a, i8 %b) {
 485 ; CHECK-LABEL: @sle_ne(
 486 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sle i8 [[A:%.*]], [[B:%.*]]
 487 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ne i8 [[A]], [[B]]
 488 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 489 ; CHECK-NEXT:    ret i1 [[AND]]
 490 ;
 491   %cmp1 = icmp sle i8 %a, %b
 492   %cmp2 = icmp ne i8 %a, %b
 493   %and = and i1 %cmp1, %cmp2
 494   ret i1 %and
 495 }
 496
 497 define i1 @sle_sge(i8 %a, i8 %b) {
 498 ; CHECK-LABEL: @sle_sge(
 499 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sle i8 [[A:%.*]], [[B:%.*]]
 500 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sge i8 [[A]], [[B]]
 501 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 502 ; CHECK-NEXT:    ret i1 [[AND]]
 503 ;
 504   %cmp1 = icmp sle i8 %a, %b
 505   %cmp2 = icmp sge i8 %a, %b
 506   %and = and i1 %cmp1, %cmp2
 507   ret i1 %and
 508 }
 509
 510 define i1 @sle_sgt(i8 %a, i8 %b) {
 511 ; CHECK-LABEL: @sle_sgt(
 512 ; CHECK-NEXT:    ret i1 false
 513 ;
 514   %cmp1 = icmp sle i8 %a, %b
 515   %cmp2 = icmp sgt i8 %a, %b
 516   %and = and i1 %cmp1, %cmp2
 517   ret i1 %and
 518 }
 519
 520 define i1 @sle_sle(i8 %a, i8 %b) {
 521 ; CHECK-LABEL: @sle_sle(
 522 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sle i8 [[A:%.*]], [[B:%.*]]
 523 ; CHECK-NEXT:    ret i1 [[CMP1]]
 524 ;
 525   %cmp1 = icmp sle i8 %a, %b
 526   %cmp2 = icmp sle i8 %a, %b
 527   %and = and i1 %cmp1, %cmp2
 528   ret i1 %and
 529 }
 530
 531 define i1 @sle_slt(i8 %a, i8 %b) {
 532 ; CHECK-LABEL: @sle_slt(
 533 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp slt i8 [[A:%.*]], [[B:%.*]]
 534 ; CHECK-NEXT:    ret i1 [[CMP2]]
 535 ;
 536   %cmp1 = icmp sle i8 %a, %b
 537   %cmp2 = icmp slt i8 %a, %b
 538   %and = and i1 %cmp1, %cmp2
 539   ret i1 %and
 540 }
 541
 542 define i1 @sle_uge(i8 %a, i8 %b) {
 543 ; CHECK-LABEL: @sle_uge(
 544 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sle i8 [[A:%.*]], [[B:%.*]]
 545 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp uge i8 [[A]], [[B]]
 546 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 547 ; CHECK-NEXT:    ret i1 [[AND]]
 548 ;
 549   %cmp1 = icmp sle i8 %a, %b
 550   %cmp2 = icmp uge i8 %a, %b
 551   %and = and i1 %cmp1, %cmp2
 552   ret i1 %and
 553 }
 554
 555 define i1 @sle_ugt(i8 %a, i8 %b) {
 556 ; CHECK-LABEL: @sle_ugt(
 557 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sle i8 [[A:%.*]], [[B:%.*]]
 558 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ugt i8 [[A]], [[B]]
 559 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 560 ; CHECK-NEXT:    ret i1 [[AND]]
 561 ;
 562   %cmp1 = icmp sle i8 %a, %b
 563   %cmp2 = icmp ugt i8 %a, %b
 564   %and = and i1 %cmp1, %cmp2
 565   ret i1 %and
 566 }
 567
 568 define i1 @sle_ule(i8 %a, i8 %b) {
 569 ; CHECK-LABEL: @sle_ule(
 570 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sle i8 [[A:%.*]], [[B:%.*]]
 571 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ule i8 [[A]], [[B]]
 572 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 573 ; CHECK-NEXT:    ret i1 [[AND]]
 574 ;
 575   %cmp1 = icmp sle i8 %a, %b
 576   %cmp2 = icmp ule i8 %a, %b
 577   %and = and i1 %cmp1, %cmp2
 578   ret i1 %and
 579 }
 580
 581 define i1 @sle_ult(i8 %a, i8 %b) {
 582 ; CHECK-LABEL: @sle_ult(
 583 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp sle i8 [[A:%.*]], [[B:%.*]]
 584 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ult i8 [[A]], [[B]]
 585 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 586 ; CHECK-NEXT:    ret i1 [[AND]]
 587 ;
 588   %cmp1 = icmp sle i8 %a, %b
 589   %cmp2 = icmp ult i8 %a, %b
 590   %and = and i1 %cmp1, %cmp2
 591   ret i1 %and
 592 }
 593
 594 ;
 595
 596 define i1 @slt_eq(i8 %a, i8 %b) {
 597 ; CHECK-LABEL: @slt_eq(
 598 ; CHECK-NEXT:    ret i1 false
 599 ;
 600   %cmp1 = icmp slt i8 %a, %b
 601   %cmp2 = icmp eq i8 %a, %b
 602   %and = and i1 %cmp1, %cmp2
 603   ret i1 %and
 604 }
 605
 606 define i1 @slt_ne(i8 %a, i8 %b) {
 607 ; CHECK-LABEL: @slt_ne(
 608 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp slt i8 [[A:%.*]], [[B:%.*]]
 609 ; CHECK-NEXT:    ret i1 [[CMP1]]
 610 ;
 611   %cmp1 = icmp slt i8 %a, %b
 612   %cmp2 = icmp ne i8 %a, %b
 613   %and = and i1 %cmp1, %cmp2
 614   ret i1 %and
 615 }
 616
 617 define i1 @slt_sge(i8 %a, i8 %b) {
 618 ; CHECK-LABEL: @slt_sge(
 619 ; CHECK-NEXT:    ret i1 false
 620 ;
 621   %cmp1 = icmp slt i8 %a, %b
 622   %cmp2 = icmp sge i8 %a, %b
 623   %and = and i1 %cmp1, %cmp2
 624   ret i1 %and
 625 }
 626
 627 define i1 @slt_sgt(i8 %a, i8 %b) {
 628 ; CHECK-LABEL: @slt_sgt(
 629 ; CHECK-NEXT:    ret i1 false
 630 ;
 631   %cmp1 = icmp slt i8 %a, %b
 632   %cmp2 = icmp sgt i8 %a, %b
 633   %and = and i1 %cmp1, %cmp2
 634   ret i1 %and
 635 }
 636
 637 define i1 @slt_sle(i8 %a, i8 %b) {
 638 ; CHECK-LABEL: @slt_sle(
 639 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp slt i8 [[A:%.*]], [[B:%.*]]
 640 ; CHECK-NEXT:    ret i1 [[CMP1]]
 641 ;
 642   %cmp1 = icmp slt i8 %a, %b
 643   %cmp2 = icmp sle i8 %a, %b
 644   %and = and i1 %cmp1, %cmp2
 645   ret i1 %and
 646 }
 647
 648 define i1 @slt_slt(i8 %a, i8 %b) {
 649 ; CHECK-LABEL: @slt_slt(
 650 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp slt i8 [[A:%.*]], [[B:%.*]]
 651 ; CHECK-NEXT:    ret i1 [[CMP1]]
 652 ;
 653   %cmp1 = icmp slt i8 %a, %b
 654   %cmp2 = icmp slt i8 %a, %b
 655   %and = and i1 %cmp1, %cmp2
 656   ret i1 %and
 657 }
 658
 659 define i1 @slt_uge(i8 %a, i8 %b) {
 660 ; CHECK-LABEL: @slt_uge(
 661 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp slt i8 [[A:%.*]], [[B:%.*]]
 662 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp uge i8 [[A]], [[B]]
 663 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 664 ; CHECK-NEXT:    ret i1 [[AND]]
 665 ;
 666   %cmp1 = icmp slt i8 %a, %b
 667   %cmp2 = icmp uge i8 %a, %b
 668   %and = and i1 %cmp1, %cmp2
 669   ret i1 %and
 670 }
 671
 672 define i1 @slt_ugt(i8 %a, i8 %b) {
 673 ; CHECK-LABEL: @slt_ugt(
 674 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp slt i8 [[A:%.*]], [[B:%.*]]
 675 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ugt i8 [[A]], [[B]]
 676 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 677 ; CHECK-NEXT:    ret i1 [[AND]]
 678 ;
 679   %cmp1 = icmp slt i8 %a, %b
 680   %cmp2 = icmp ugt i8 %a, %b
 681   %and = and i1 %cmp1, %cmp2
 682   ret i1 %and
 683 }
 684
 685 define i1 @slt_ule(i8 %a, i8 %b) {
 686 ; CHECK-LABEL: @slt_ule(
 687 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp slt i8 [[A:%.*]], [[B:%.*]]
 688 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ule i8 [[A]], [[B]]
 689 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 690 ; CHECK-NEXT:    ret i1 [[AND]]
 691 ;
 692   %cmp1 = icmp slt i8 %a, %b
 693   %cmp2 = icmp ule i8 %a, %b
 694   %and = and i1 %cmp1, %cmp2
 695   ret i1 %and
 696 }
 697
 698 define i1 @slt_ult(i8 %a, i8 %b) {
 699 ; CHECK-LABEL: @slt_ult(
 700 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp slt i8 [[A:%.*]], [[B:%.*]]
 701 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ult i8 [[A]], [[B]]
 702 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 703 ; CHECK-NEXT:    ret i1 [[AND]]
 704 ;
 705   %cmp1 = icmp slt i8 %a, %b
 706   %cmp2 = icmp ult i8 %a, %b
 707   %and = and i1 %cmp1, %cmp2
 708   ret i1 %and
 709 }
 710
 711 ;
 712
 713 define i1 @uge_eq(i8 %a, i8 %b) {
 714 ; CHECK-LABEL: @uge_eq(
 715 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp eq i8 [[A:%.*]], [[B:%.*]]
 716 ; CHECK-NEXT:    ret i1 [[CMP2]]
 717 ;
 718   %cmp1 = icmp uge i8 %a, %b
 719   %cmp2 = icmp eq i8 %a, %b
 720   %and = and i1 %cmp1, %cmp2
 721   ret i1 %and
 722 }
 723
 724 define i1 @uge_ne(i8 %a, i8 %b) {
 725 ; CHECK-LABEL: @uge_ne(
 726 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp uge i8 [[A:%.*]], [[B:%.*]]
 727 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ne i8 [[A]], [[B]]
 728 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 729 ; CHECK-NEXT:    ret i1 [[AND]]
 730 ;
 731   %cmp1 = icmp uge i8 %a, %b
 732   %cmp2 = icmp ne i8 %a, %b
 733   %and = and i1 %cmp1, %cmp2
 734   ret i1 %and
 735 }
 736
 737 define i1 @uge_sge(i8 %a, i8 %b) {
 738 ; CHECK-LABEL: @uge_sge(
 739 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp uge i8 [[A:%.*]], [[B:%.*]]
 740 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sge i8 [[A]], [[B]]
 741 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 742 ; CHECK-NEXT:    ret i1 [[AND]]
 743 ;
 744   %cmp1 = icmp uge i8 %a, %b
 745   %cmp2 = icmp sge i8 %a, %b
 746   %and = and i1 %cmp1, %cmp2
 747   ret i1 %and
 748 }
 749
 750 define i1 @uge_sgt(i8 %a, i8 %b) {
 751 ; CHECK-LABEL: @uge_sgt(
 752 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp uge i8 [[A:%.*]], [[B:%.*]]
 753 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sgt i8 [[A]], [[B]]
 754 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 755 ; CHECK-NEXT:    ret i1 [[AND]]
 756 ;
 757   %cmp1 = icmp uge i8 %a, %b
 758   %cmp2 = icmp sgt i8 %a, %b
 759   %and = and i1 %cmp1, %cmp2
 760   ret i1 %and
 761 }
 762
 763 define i1 @uge_sle(i8 %a, i8 %b) {
 764 ; CHECK-LABEL: @uge_sle(
 765 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp uge i8 [[A:%.*]], [[B:%.*]]
 766 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sle i8 [[A]], [[B]]
 767 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 768 ; CHECK-NEXT:    ret i1 [[AND]]
 769 ;
 770   %cmp1 = icmp uge i8 %a, %b
 771   %cmp2 = icmp sle i8 %a, %b
 772   %and = and i1 %cmp1, %cmp2
 773   ret i1 %and
 774 }
 775
 776 define i1 @uge_slt(i8 %a, i8 %b) {
 777 ; CHECK-LABEL: @uge_slt(
 778 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp uge i8 [[A:%.*]], [[B:%.*]]
 779 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp slt i8 [[A]], [[B]]
 780 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 781 ; CHECK-NEXT:    ret i1 [[AND]]
 782 ;
 783   %cmp1 = icmp uge i8 %a, %b
 784   %cmp2 = icmp slt i8 %a, %b
 785   %and = and i1 %cmp1, %cmp2
 786   ret i1 %and
 787 }
 788
 789 define i1 @uge_uge(i8 %a, i8 %b) {
 790 ; CHECK-LABEL: @uge_uge(
 791 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp uge i8 [[A:%.*]], [[B:%.*]]
 792 ; CHECK-NEXT:    ret i1 [[CMP1]]
 793 ;
 794   %cmp1 = icmp uge i8 %a, %b
 795   %cmp2 = icmp uge i8 %a, %b
 796   %and = and i1 %cmp1, %cmp2
 797   ret i1 %and
 798 }
 799
 800 define i1 @uge_ugt(i8 %a, i8 %b) {
 801 ; CHECK-LABEL: @uge_ugt(
 802 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ugt i8 [[A:%.*]], [[B:%.*]]
 803 ; CHECK-NEXT:    ret i1 [[CMP2]]
 804 ;
 805   %cmp1 = icmp uge i8 %a, %b
 806   %cmp2 = icmp ugt i8 %a, %b
 807   %and = and i1 %cmp1, %cmp2
 808   ret i1 %and
 809 }
 810
 811 define i1 @uge_ule(i8 %a, i8 %b) {
 812 ; CHECK-LABEL: @uge_ule(
 813 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp uge i8 [[A:%.*]], [[B:%.*]]
 814 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ule i8 [[A]], [[B]]
 815 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 816 ; CHECK-NEXT:    ret i1 [[AND]]
 817 ;
 818   %cmp1 = icmp uge i8 %a, %b
 819   %cmp2 = icmp ule i8 %a, %b
 820   %and = and i1 %cmp1, %cmp2
 821   ret i1 %and
 822 }
 823
 824 define i1 @uge_ult(i8 %a, i8 %b) {
 825 ; CHECK-LABEL: @uge_ult(
 826 ; CHECK-NEXT:    ret i1 false
 827 ;
 828   %cmp1 = icmp uge i8 %a, %b
 829   %cmp2 = icmp ult i8 %a, %b
 830   %and = and i1 %cmp1, %cmp2
 831   ret i1 %and
 832 }
 833
 834 ;
 835
 836 define i1 @ugt_eq(i8 %a, i8 %b) {
 837 ; CHECK-LABEL: @ugt_eq(
 838 ; CHECK-NEXT:    ret i1 false
 839 ;
 840   %cmp1 = icmp ugt i8 %a, %b
 841   %cmp2 = icmp eq i8 %a, %b
 842   %and = and i1 %cmp1, %cmp2
 843   ret i1 %and
 844 }
 845
 846 define i1 @ugt_ne(i8 %a, i8 %b) {
 847 ; CHECK-LABEL: @ugt_ne(
 848 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ugt i8 [[A:%.*]], [[B:%.*]]
 849 ; CHECK-NEXT:    ret i1 [[CMP1]]
 850 ;
 851   %cmp1 = icmp ugt i8 %a, %b
 852   %cmp2 = icmp ne i8 %a, %b
 853   %and = and i1 %cmp1, %cmp2
 854   ret i1 %and
 855 }
 856
 857 define i1 @ugt_sge(i8 %a, i8 %b) {
 858 ; CHECK-LABEL: @ugt_sge(
 859 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ugt i8 [[A:%.*]], [[B:%.*]]
 860 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sge i8 [[A]], [[B]]
 861 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 862 ; CHECK-NEXT:    ret i1 [[AND]]
 863 ;
 864   %cmp1 = icmp ugt i8 %a, %b
 865   %cmp2 = icmp sge i8 %a, %b
 866   %and = and i1 %cmp1, %cmp2
 867   ret i1 %and
 868 }
 869
 870 define i1 @ugt_sgt(i8 %a, i8 %b) {
 871 ; CHECK-LABEL: @ugt_sgt(
 872 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ugt i8 [[A:%.*]], [[B:%.*]]
 873 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sgt i8 [[A]], [[B]]
 874 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 875 ; CHECK-NEXT:    ret i1 [[AND]]
 876 ;
 877   %cmp1 = icmp ugt i8 %a, %b
 878   %cmp2 = icmp sgt i8 %a, %b
 879   %and = and i1 %cmp1, %cmp2
 880   ret i1 %and
 881 }
 882
 883 define i1 @ugt_sle(i8 %a, i8 %b) {
 884 ; CHECK-LABEL: @ugt_sle(
 885 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ugt i8 [[A:%.*]], [[B:%.*]]
 886 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sle i8 [[A]], [[B]]
 887 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 888 ; CHECK-NEXT:    ret i1 [[AND]]
 889 ;
 890   %cmp1 = icmp ugt i8 %a, %b
 891   %cmp2 = icmp sle i8 %a, %b
 892   %and = and i1 %cmp1, %cmp2
 893   ret i1 %and
 894 }
 895
 896 define i1 @ugt_slt(i8 %a, i8 %b) {
 897 ; CHECK-LABEL: @ugt_slt(
 898 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ugt i8 [[A:%.*]], [[B:%.*]]
 899 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp slt i8 [[A]], [[B]]
 900 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 901 ; CHECK-NEXT:    ret i1 [[AND]]
 902 ;
 903   %cmp1 = icmp ugt i8 %a, %b
 904   %cmp2 = icmp slt i8 %a, %b
 905   %and = and i1 %cmp1, %cmp2
 906   ret i1 %and
 907 }
 908
 909 define i1 @ugt_uge(i8 %a, i8 %b) {
 910 ; CHECK-LABEL: @ugt_uge(
 911 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ugt i8 [[A:%.*]], [[B:%.*]]
 912 ; CHECK-NEXT:    ret i1 [[CMP1]]
 913 ;
 914   %cmp1 = icmp ugt i8 %a, %b
 915   %cmp2 = icmp uge i8 %a, %b
 916   %and = and i1 %cmp1, %cmp2
 917   ret i1 %and
 918 }
 919
 920 define i1 @ugt_ugt(i8 %a, i8 %b) {
 921 ; CHECK-LABEL: @ugt_ugt(
 922 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ugt i8 [[A:%.*]], [[B:%.*]]
 923 ; CHECK-NEXT:    ret i1 [[CMP1]]
 924 ;
 925   %cmp1 = icmp ugt i8 %a, %b
 926   %cmp2 = icmp ugt i8 %a, %b
 927   %and = and i1 %cmp1, %cmp2
 928   ret i1 %and
 929 }
 930
 931 define i1 @ugt_ule(i8 %a, i8 %b) {
 932 ; CHECK-LABEL: @ugt_ule(
 933 ; CHECK-NEXT:    ret i1 false
 934 ;
 935   %cmp1 = icmp ugt i8 %a, %b
 936   %cmp2 = icmp ule i8 %a, %b
 937   %and = and i1 %cmp1, %cmp2
 938   ret i1 %and
 939 }
 940
 941 define i1 @ugt_ult(i8 %a, i8 %b) {
 942 ; CHECK-LABEL: @ugt_ult(
 943 ; CHECK-NEXT:    ret i1 false
 944 ;
 945   %cmp1 = icmp ugt i8 %a, %b
 946   %cmp2 = icmp ult i8 %a, %b
 947   %and = and i1 %cmp1, %cmp2
 948   ret i1 %and
 949 }
 950
 951 ;
 952
 953 define i1 @ule_eq(i8 %a, i8 %b) {
 954 ; CHECK-LABEL: @ule_eq(
 955 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp eq i8 [[A:%.*]], [[B:%.*]]
 956 ; CHECK-NEXT:    ret i1 [[CMP2]]
 957 ;
 958   %cmp1 = icmp ule i8 %a, %b
 959   %cmp2 = icmp eq i8 %a, %b
 960   %and = and i1 %cmp1, %cmp2
 961   ret i1 %and
 962 }
 963
 964 define i1 @ule_ne(i8 %a, i8 %b) {
 965 ; CHECK-LABEL: @ule_ne(
 966 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ule i8 [[A:%.*]], [[B:%.*]]
 967 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ne i8 [[A]], [[B]]
 968 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 969 ; CHECK-NEXT:    ret i1 [[AND]]
 970 ;
 971   %cmp1 = icmp ule i8 %a, %b
 972   %cmp2 = icmp ne i8 %a, %b
 973   %and = and i1 %cmp1, %cmp2
 974   ret i1 %and
 975 }
 976
 977 define i1 @ule_sge(i8 %a, i8 %b) {
 978 ; CHECK-LABEL: @ule_sge(
 979 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ule i8 [[A:%.*]], [[B:%.*]]
 980 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sge i8 [[A]], [[B]]
 981 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 982 ; CHECK-NEXT:    ret i1 [[AND]]
 983 ;
 984   %cmp1 = icmp ule i8 %a, %b
 985   %cmp2 = icmp sge i8 %a, %b
 986   %and = and i1 %cmp1, %cmp2
 987   ret i1 %and
 988 }
 989
 990 define i1 @ule_sgt(i8 %a, i8 %b) {
 991 ; CHECK-LABEL: @ule_sgt(
 992 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ule i8 [[A:%.*]], [[B:%.*]]
 993 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sgt i8 [[A]], [[B]]
 994 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
 995 ; CHECK-NEXT:    ret i1 [[AND]]
 996 ;
 997   %cmp1 = icmp ule i8 %a, %b
 998   %cmp2 = icmp sgt i8 %a, %b
 999   %and = and i1 %cmp1, %cmp2
1000   ret i1 %and
1001 }
1002
1003 define i1 @ule_sle(i8 %a, i8 %b) {
1004 ; CHECK-LABEL: @ule_sle(
1005 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ule i8 [[A:%.*]], [[B:%.*]]
1006 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sle i8 [[A]], [[B]]
1007 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
1008 ; CHECK-NEXT:    ret i1 [[AND]]
1009 ;
1010   %cmp1 = icmp ule i8 %a, %b
1011   %cmp2 = icmp sle i8 %a, %b
1012   %and = and i1 %cmp1, %cmp2
1013   ret i1 %and
1014 }
1015
1016 define i1 @ule_slt(i8 %a, i8 %b) {
1017 ; CHECK-LABEL: @ule_slt(
1018 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ule i8 [[A:%.*]], [[B:%.*]]
1019 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp slt i8 [[A]], [[B]]
1020 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
1021 ; CHECK-NEXT:    ret i1 [[AND]]
1022 ;
1023   %cmp1 = icmp ule i8 %a, %b
1024   %cmp2 = icmp slt i8 %a, %b
1025   %and = and i1 %cmp1, %cmp2
1026   ret i1 %and
1027 }
1028
1029 define i1 @ule_uge(i8 %a, i8 %b) {
1030 ; CHECK-LABEL: @ule_uge(
1031 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ule i8 [[A:%.*]], [[B:%.*]]
1032 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp uge i8 [[A]], [[B]]
1033 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
1034 ; CHECK-NEXT:    ret i1 [[AND]]
1035 ;
1036   %cmp1 = icmp ule i8 %a, %b
1037   %cmp2 = icmp uge i8 %a, %b
1038   %and = and i1 %cmp1, %cmp2
1039   ret i1 %and
1040 }
1041
1042 define i1 @ule_ugt(i8 %a, i8 %b) {
1043 ; CHECK-LABEL: @ule_ugt(
1044 ; CHECK-NEXT:    ret i1 false
1045 ;
1046   %cmp1 = icmp ule i8 %a, %b
1047   %cmp2 = icmp ugt i8 %a, %b
1048   %and = and i1 %cmp1, %cmp2
1049   ret i1 %and
1050 }
1051
1052 define i1 @ule_ule(i8 %a, i8 %b) {
1053 ; CHECK-LABEL: @ule_ule(
1054 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ule i8 [[A:%.*]], [[B:%.*]]
1055 ; CHECK-NEXT:    ret i1 [[CMP1]]
1056 ;
1057   %cmp1 = icmp ule i8 %a, %b
1058   %cmp2 = icmp ule i8 %a, %b
1059   %and = and i1 %cmp1, %cmp2
1060   ret i1 %and
1061 }
1062
1063 define i1 @ule_ult(i8 %a, i8 %b) {
1064 ; CHECK-LABEL: @ule_ult(
1065 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp ult i8 [[A:%.*]], [[B:%.*]]
1066 ; CHECK-NEXT:    ret i1 [[CMP2]]
1067 ;
1068   %cmp1 = icmp ule i8 %a, %b
1069   %cmp2 = icmp ult i8 %a, %b
1070   %and = and i1 %cmp1, %cmp2
1071   ret i1 %and
1072 }
1073
1074 ;
1075
1076 define i1 @ult_eq(i8 %a, i8 %b) {
1077 ; CHECK-LABEL: @ult_eq(
1078 ; CHECK-NEXT:    ret i1 false
1079 ;
1080   %cmp1 = icmp ult i8 %a, %b
1081   %cmp2 = icmp eq i8 %a, %b
1082   %and = and i1 %cmp1, %cmp2
1083   ret i1 %and
1084 }
1085
1086 define i1 @ult_ne(i8 %a, i8 %b) {
1087 ; CHECK-LABEL: @ult_ne(
1088 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ult i8 [[A:%.*]], [[B:%.*]]
1089 ; CHECK-NEXT:    ret i1 [[CMP1]]
1090 ;
1091   %cmp1 = icmp ult i8 %a, %b
1092   %cmp2 = icmp ne i8 %a, %b
1093   %and = and i1 %cmp1, %cmp2
1094   ret i1 %and
1095 }
1096
1097 define i1 @ult_sge(i8 %a, i8 %b) {
1098 ; CHECK-LABEL: @ult_sge(
1099 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ult i8 [[A:%.*]], [[B:%.*]]
1100 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sge i8 [[A]], [[B]]
1101 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
1102 ; CHECK-NEXT:    ret i1 [[AND]]
1103 ;
1104   %cmp1 = icmp ult i8 %a, %b
1105   %cmp2 = icmp sge i8 %a, %b
1106   %and = and i1 %cmp1, %cmp2
1107   ret i1 %and
1108 }
1109
1110 define i1 @ult_sgt(i8 %a, i8 %b) {
1111 ; CHECK-LABEL: @ult_sgt(
1112 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ult i8 [[A:%.*]], [[B:%.*]]
1113 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sgt i8 [[A]], [[B]]
1114 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
1115 ; CHECK-NEXT:    ret i1 [[AND]]
1116 ;
1117   %cmp1 = icmp ult i8 %a, %b
1118   %cmp2 = icmp sgt i8 %a, %b
1119   %and = and i1 %cmp1, %cmp2
1120   ret i1 %and
1121 }
1122
1123 define i1 @ult_sle(i8 %a, i8 %b) {
1124 ; CHECK-LABEL: @ult_sle(
1125 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ult i8 [[A:%.*]], [[B:%.*]]
1126 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp sle i8 [[A]], [[B]]
1127 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
1128 ; CHECK-NEXT:    ret i1 [[AND]]
1129 ;
1130   %cmp1 = icmp ult i8 %a, %b
1131   %cmp2 = icmp sle i8 %a, %b
1132   %and = and i1 %cmp1, %cmp2
1133   ret i1 %and
1134 }
1135
1136 define i1 @ult_slt(i8 %a, i8 %b) {
1137 ; CHECK-LABEL: @ult_slt(
1138 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ult i8 [[A:%.*]], [[B:%.*]]
1139 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp slt i8 [[A]], [[B]]
1140 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
1141 ; CHECK-NEXT:    ret i1 [[AND]]
1142 ;
1143   %cmp1 = icmp ult i8 %a, %b
1144   %cmp2 = icmp slt i8 %a, %b
1145   %and = and i1 %cmp1, %cmp2
1146   ret i1 %and
1147 }
1148
1149 define i1 @ult_uge(i8 %a, i8 %b) {
1150 ; CHECK-LABEL: @ult_uge(
1151 ; CHECK-NEXT:    ret i1 false
1152 ;
1153   %cmp1 = icmp ult i8 %a, %b
1154   %cmp2 = icmp uge i8 %a, %b
1155   %and = and i1 %cmp1, %cmp2
1156   ret i1 %and
1157 }
1158
1159 define i1 @ult_ugt(i8 %a, i8 %b) {
1160 ; CHECK-LABEL: @ult_ugt(
1161 ; CHECK-NEXT:    ret i1 false
1162 ;
1163   %cmp1 = icmp ult i8 %a, %b
1164   %cmp2 = icmp ugt i8 %a, %b
1165   %and = and i1 %cmp1, %cmp2
1166   ret i1 %and
1167 }
1168
1169 define i1 @ult_ule(i8 %a, i8 %b) {
1170 ; CHECK-LABEL: @ult_ule(
1171 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ult i8 [[A:%.*]], [[B:%.*]]
1172 ; CHECK-NEXT:    ret i1 [[CMP1]]
1173 ;
1174   %cmp1 = icmp ult i8 %a, %b
1175   %cmp2 = icmp ule i8 %a, %b
1176   %and = and i1 %cmp1, %cmp2
1177   ret i1 %and
1178 }
1179
1180 define i1 @ult_ult(i8 %a, i8 %b) {
1181 ; CHECK-LABEL: @ult_ult(
1182 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ult i8 [[A:%.*]], [[B:%.*]]
1183 ; CHECK-NEXT:    ret i1 [[CMP1]]
1184 ;
1185   %cmp1 = icmp ult i8 %a, %b
1186   %cmp2 = icmp ult i8 %a, %b
1187   %and = and i1 %cmp1, %cmp2
1188   ret i1 %and
1189 }
1190
1191 ; Check a couple of vector variants to make sure those work too.
1192
1193 define <2 x i1> @ult_uge_vec(<2 x i8> %a, <2 x i8> %b) {
1194 ; CHECK-LABEL: @ult_uge_vec(
1195 ; CHECK-NEXT:    ret <2 x i1> zeroinitializer
1196 ;
1197   %cmp1 = icmp ult <2 x i8> %a, %b
1198   %cmp2 = icmp uge <2 x i8> %a, %b
1199   %and = and <2 x i1> %cmp1, %cmp2
1200   ret <2 x i1> %and
1201 }
1202
1203 define <2 x i1> @ult_ule_vec(<2 x i8> %a, <2 x i8> %b) {
1204 ; CHECK-LABEL: @ult_ule_vec(
1205 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ult <2 x i8> [[A:%.*]], [[B:%.*]]
1206 ; CHECK-NEXT:    ret <2 x i1> [[CMP1]]
1207 ;
1208   %cmp1 = icmp ult <2 x i8> %a, %b
1209   %cmp2 = icmp ule <2 x i8> %a, %b
1210   %and = and <2 x i1> %cmp1, %cmp2
1211   ret <2 x i1> %and
1212 }
1213
1214 define i1 @ult_uge_swap(i8 %a, i8 %b) {
1215 ; CHECK-LABEL: @ult_uge_swap(
1216 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp ult i8 [[A:%.*]], [[B:%.*]]
1217 ; CHECK-NEXT:    ret i1 [[CMP1]]
1218 ;
1219   %cmp1 = icmp ult i8 %a, %b
1220   %cmp2 = icmp uge i8 %b, %a
1221   %and = and i1 %cmp1, %cmp2
1222   ret i1 %and
1223 }
1224
1225 define i1 @ult_ult_swap(i8 %a, i8 %b) {
1226 ; CHECK-LABEL: @ult_ult_swap(
1227 ; CHECK-NEXT:    ret i1 false
1228 ;
1229   %cmp1 = icmp ult i8 %a, %b
1230   %cmp2 = icmp ult i8 %b, %a
1231   %and = and i1 %cmp1, %cmp2
1232   ret i1 %and
1233 }