llvm/test/Transforms/SimplifyCFG/implied-cond-matching.ll

   1 ; RUN: opt %s -S -passes=simplifycfg -simplifycfg-require-and-preserve-domtree=1 | FileCheck %s
   2
   3 declare void @dead()
   4 declare void @alive()
   5 declare void @is(i1)
   6
   7 ; Test same condition with swapped operands.
   8 ; void test_swapped_ops(unsigned a, unsigned b) {
   9 ;   if (a > b) {
  10 ;     if (b > a) <- always false
  11 ;       dead();
  12 ;     alive();
  13 ;   }
  14 ; }
  15 ;
  16 ; CHECK-LABEL: @test_swapped_ops
  17 ; CHECK-NOT: call void @dead()
  18 ; CHECK: call void @alive()
  19 ; CHECK: ret
  20 define void @test_swapped_ops(i32 %a, i32 %b) {
  21 entry:
  22   %cmp = icmp ugt i32 %a, %b
  23   br i1 %cmp, label %if.then, label %if.end3
  24
  25 if.then:
  26   %cmp1 = icmp ugt i32 %b, %a
  27   br i1 %cmp1, label %if.then2, label %if.end
  28
  29 if.then2:
  30   call void @dead()
  31   br label %if.end
  32
  33 if.end:
  34   call void @alive()
  35   br label %if.end3
  36
  37 if.end3:
  38   ret void
  39 }
  40
  41 ; void test_swapped_pred(unsigned a, unsigned b) {
  42 ;   if (a > b) {
  43 ;     alive();
  44 ;     if (b < a) <- always true; remove branch
  45 ;       alive();
  46 ;   }
  47 ; }
  48 ;
  49 ; CHECK-LABEL: @test_swapped_pred
  50 ; CHECK: call void @alive()
  51 ; CHECK-NEXT: call void @alive()
  52 ; CHECK: ret
  53 define void @test_swapped_pred(i32 %a, i32 %b) {
  54 entry:
  55   %cmp = icmp ugt i32 %a, %b
  56   br i1 %cmp, label %if.then, label %if.end3
  57
  58 if.then:
  59   call void @alive()
  60   %cmp1 = icmp ult i32 %b, %a
  61   br i1 %cmp1, label %if.then2, label %if.end3
  62
  63 if.then2:
  64   call void @alive()
  65   br label %if.end3
  66
  67 if.end3:
  68   ret void
  69 }
  70
  71 ; A == B implies A == B is true.
  72 ; CHECK-LABEL: @test_eq_eq
  73 ; CHECK: call void @is(i1 true)
  74 ; CHECK-NOT: call void @is(i1 false)
  75 define void @test_eq_eq(i32 %a, i32 %b) {
  76   %cmp1 = icmp eq i32 %a, %b
  77   br i1 %cmp1, label %taken, label %untaken
  78
  79 taken:
  80   %cmp2 = icmp eq i32 %a, %b
  81   br i1 %cmp2, label %eq_eq_istrue, label %eq_eq_isfalse
  82
  83 eq_eq_istrue:
  84   call void @is(i1 true)
  85   ret void
  86
  87 eq_eq_isfalse:
  88   call void @is(i1 false)
  89   ret void
  90
  91 untaken:
  92   ret void
  93 }
  94
  95 ; A == B implies A != B is false.
  96 ; CHECK-LABEL: @test_eq_ne
  97 ; CHECK-NOT: call void @is(i1 true)
  98 ; CHECK: call void @is(i1 false)
  99 define void @test_eq_ne(i32 %a, i32 %b) {
 100   %cmp1 = icmp eq i32 %a, %b
 101   br i1 %cmp1, label %taken, label %untaken
 102
 103 taken:
 104   %cmp2 = icmp ne i32 %a, %b
 105   br i1 %cmp2, label %eq_ne_istrue, label %eq_ne_isfalse
 106
 107 eq_ne_istrue:
 108   call void @is(i1 true)
 109   ret void
 110
 111 eq_ne_isfalse:
 112   call void @is(i1 false)
 113   ret void
 114
 115 untaken:
 116   ret void
 117 }
 118
 119 ; A == B implies A >u B is false.
 120 ; CHECK-LABEL: @test_eq_ugt
 121 ; CHECK-NOT: call void @is(i1 true)
 122 ; CHECK: call void @is(i1 false)
 123 define void @test_eq_ugt(i32 %a, i32 %b) {
 124   %cmp1 = icmp eq i32 %a, %b
 125   br i1 %cmp1, label %taken, label %untaken
 126
 127 taken:
 128   %cmp2 = icmp ugt i32 %a, %b
 129   br i1 %cmp2, label %eq_ugt_istrue, label %eq_ugt_isfalse
 130
 131 eq_ugt_istrue:
 132   call void @is(i1 true)
 133   ret void
 134
 135 eq_ugt_isfalse:
 136   call void @is(i1 false)
 137   ret void
 138
 139 untaken:
 140   ret void
 141 }
 142
 143 ; A == B implies A >=u B is true.
 144 ; CHECK-LABEL: @test_eq_uge
 145 ; CHECK: call void @is(i1 true)
 146 ; CHECK-NOT: call void @is(i1 false)
 147 define void @test_eq_uge(i32 %a, i32 %b) {
 148   %cmp1 = icmp eq i32 %a, %b
 149   br i1 %cmp1, label %taken, label %untaken
 150
 151 taken:
 152   %cmp2 = icmp uge i32 %a, %b
 153   br i1 %cmp2, label %eq_uge_istrue, label %eq_uge_isfalse
 154
 155 eq_uge_istrue:
 156   call void @is(i1 true)
 157   ret void
 158
 159 eq_uge_isfalse:
 160   call void @is(i1 false)
 161   ret void
 162
 163 untaken:
 164   ret void
 165 }
 166
 167 ; A == B implies A <u B is false.
 168 ; CHECK-LABEL: @test_eq_ult
 169 ; CHECK-NOT: call void @is(i1 true)
 170 ; CHECK: call void @is(i1 false)
 171 define void @test_eq_ult(i32 %a, i32 %b) {
 172   %cmp1 = icmp eq i32 %a, %b
 173   br i1 %cmp1, label %taken, label %untaken
 174
 175 taken:
 176   %cmp2 = icmp ult i32 %a, %b
 177   br i1 %cmp2, label %eq_ult_istrue, label %eq_ult_isfalse
 178
 179 eq_ult_istrue:
 180   call void @is(i1 true)
 181   ret void
 182
 183 eq_ult_isfalse:
 184   call void @is(i1 false)
 185   ret void
 186
 187 untaken:
 188   ret void
 189 }
 190
 191 ; A == B implies A <=u B is true.
 192 ; CHECK-LABEL: @test_eq_ule
 193 ; CHECK: call void @is(i1 true)
 194 ; CHECK-NOT: call void @is(i1 false)
 195 define void @test_eq_ule(i32 %a, i32 %b) {
 196   %cmp1 = icmp eq i32 %a, %b
 197   br i1 %cmp1, label %taken, label %untaken
 198
 199 taken:
 200   %cmp2 = icmp ule i32 %a, %b
 201   br i1 %cmp2, label %eq_ule_istrue, label %eq_ule_isfalse
 202
 203 eq_ule_istrue:
 204   call void @is(i1 true)
 205   ret void
 206
 207 eq_ule_isfalse:
 208   call void @is(i1 false)
 209   ret void
 210
 211 untaken:
 212   ret void
 213 }
 214
 215 ; A == B implies A >s B is false.
 216 ; CHECK-LABEL: @test_eq_sgt
 217 ; CHECK-NOT: call void @is(i1 true)
 218 ; CHECK: call void @is(i1 false)
 219 define void @test_eq_sgt(i32 %a, i32 %b) {
 220   %cmp1 = icmp eq i32 %a, %b
 221   br i1 %cmp1, label %taken, label %untaken
 222
 223 taken:
 224   %cmp2 = icmp sgt i32 %a, %b
 225   br i1 %cmp2, label %eq_sgt_istrue, label %eq_sgt_isfalse
 226
 227 eq_sgt_istrue:
 228   call void @is(i1 true)
 229   ret void
 230
 231 eq_sgt_isfalse:
 232   call void @is(i1 false)
 233   ret void
 234
 235 untaken:
 236   ret void
 237 }
 238
 239 ; A == B implies A >=s B is true.
 240 ; CHECK-LABEL: @test_eq_sge
 241 ; CHECK: call void @is(i1 true)
 242 ; CHECK-NOT: call void @is(i1 false)
 243 define void @test_eq_sge(i32 %a, i32 %b) {
 244   %cmp1 = icmp eq i32 %a, %b
 245   br i1 %cmp1, label %taken, label %untaken
 246
 247 taken:
 248   %cmp2 = icmp sge i32 %a, %b
 249   br i1 %cmp2, label %eq_sge_istrue, label %eq_sge_isfalse
 250
 251 eq_sge_istrue:
 252   call void @is(i1 true)
 253   ret void
 254
 255 eq_sge_isfalse:
 256   call void @is(i1 false)
 257   ret void
 258
 259 untaken:
 260   ret void
 261 }
 262
 263 ; A == B implies A <s B is false.
 264 ; CHECK-LABEL: @test_eq_slt
 265 ; CHECK-NOT: call void @is(i1 true)
 266 ; CHECK: call void @is(i1 false)
 267 define void @test_eq_slt(i32 %a, i32 %b) {
 268   %cmp1 = icmp eq i32 %a, %b
 269   br i1 %cmp1, label %taken, label %untaken
 270
 271 taken:
 272   %cmp2 = icmp slt i32 %a, %b
 273   br i1 %cmp2, label %eq_slt_istrue, label %eq_slt_isfalse
 274
 275 eq_slt_istrue:
 276   call void @is(i1 true)
 277   ret void
 278
 279 eq_slt_isfalse:
 280   call void @is(i1 false)
 281   ret void
 282
 283 untaken:
 284   ret void
 285 }
 286
 287 ; A == B implies A <=s B is true.
 288 ; CHECK-LABEL: @test_eq_sle
 289 ; CHECK: call void @is(i1 true)
 290 ; CHECK-NOT: call void @is(i1 false)
 291 define void @test_eq_sle(i32 %a, i32 %b) {
 292   %cmp1 = icmp eq i32 %a, %b
 293   br i1 %cmp1, label %taken, label %untaken
 294
 295 taken:
 296   %cmp2 = icmp sle i32 %a, %b
 297   br i1 %cmp2, label %eq_sle_istrue, label %eq_sle_isfalse
 298
 299 eq_sle_istrue:
 300   call void @is(i1 true)
 301   ret void
 302
 303 eq_sle_isfalse:
 304   call void @is(i1 false)
 305   ret void
 306
 307 untaken:
 308   ret void
 309 }
 310
 311 ; A != B implies A != B is true.
 312 ; CHECK-LABEL: @test_ne_ne
 313 ; CHECK: call void @is(i1 true)
 314 ; CHECK-NOT: call void @is(i1 false)
 315 define void @test_ne_ne(i32 %a, i32 %b) {
 316   %cmp1 = icmp ne i32 %a, %b
 317   br i1 %cmp1, label %taken, label %untaken
 318
 319 taken:
 320   %cmp2 = icmp ne i32 %a, %b
 321   br i1 %cmp2, label %ne_ne_istrue, label %ne_ne_isfalse
 322
 323 ne_ne_istrue:
 324   call void @is(i1 true)
 325   ret void
 326
 327 ne_ne_isfalse:
 328   call void @is(i1 false)
 329   ret void
 330
 331 untaken:
 332   ret void
 333 }
 334
 335 ; A != B implies A >u B is unknown to be true or false.
 336 ; CHECK-LABEL: @test_ne_ugt
 337 ; CHECK: call void @is(i1 true)
 338 ; CHECK: call void @is(i1 false)
 339 define void @test_ne_ugt(i32 %a, i32 %b) {
 340   %cmp1 = icmp ne i32 %a, %b
 341   br i1 %cmp1, label %taken, label %untaken
 342
 343 taken:
 344   %cmp2 = icmp ugt i32 %a, %b
 345   br i1 %cmp2, label %ne_ugt_istrue, label %ne_ugt_isfalse
 346
 347 ne_ugt_istrue:
 348   call void @is(i1 true)
 349   ret void
 350
 351 ne_ugt_isfalse:
 352   call void @is(i1 false)
 353   ret void
 354
 355 untaken:
 356   ret void
 357 }
 358
 359 ; A != B implies A >=u B is unknown to be true or false.
 360 ; CHECK-LABEL: @test_ne_uge
 361 ; CHECK: call void @is(i1 true)
 362 ; CHECK: call void @is(i1 false)
 363 define void @test_ne_uge(i32 %a, i32 %b) {
 364   %cmp1 = icmp ne i32 %a, %b
 365   br i1 %cmp1, label %taken, label %untaken
 366
 367 taken:
 368   %cmp2 = icmp uge i32 %a, %b
 369   br i1 %cmp2, label %ne_uge_istrue, label %ne_uge_isfalse
 370
 371 ne_uge_istrue:
 372   call void @is(i1 true)
 373   ret void
 374
 375 ne_uge_isfalse:
 376   call void @is(i1 false)
 377   ret void
 378
 379 untaken:
 380   ret void
 381 }
 382
 383 ; A != B implies A <u B is unknown to be true or false.
 384 ; CHECK-LABEL: @test_ne_ult
 385 ; CHECK: call void @is(i1 true)
 386 ; CHECK: call void @is(i1 false)
 387 define void @test_ne_ult(i32 %a, i32 %b) {
 388   %cmp1 = icmp ne i32 %a, %b
 389   br i1 %cmp1, label %taken, label %untaken
 390
 391 taken:
 392   %cmp2 = icmp ult i32 %a, %b
 393   br i1 %cmp2, label %ne_ult_istrue, label %ne_ult_isfalse
 394
 395 ne_ult_istrue:
 396   call void @is(i1 true)
 397   ret void
 398
 399 ne_ult_isfalse:
 400   call void @is(i1 false)
 401   ret void
 402
 403 untaken:
 404   ret void
 405 }
 406
 407 ; A != B implies A <=u B is unknown to be true or false.
 408 ; CHECK-LABEL: @test_ne_ule
 409 ; CHECK: call void @is(i1 true)
 410 ; CHECK: call void @is(i1 false)
 411 define void @test_ne_ule(i32 %a, i32 %b) {
 412   %cmp1 = icmp ne i32 %a, %b
 413   br i1 %cmp1, label %taken, label %untaken
 414
 415 taken:
 416   %cmp2 = icmp ule i32 %a, %b
 417   br i1 %cmp2, label %ne_ule_istrue, label %ne_ule_isfalse
 418
 419 ne_ule_istrue:
 420   call void @is(i1 true)
 421   ret void
 422
 423 ne_ule_isfalse:
 424   call void @is(i1 false)
 425   ret void
 426
 427 untaken:
 428   ret void
 429 }
 430
 431 ; A != B implies A >s B is unknown to be true or false.
 432 ; CHECK-LABEL: @test_ne_sgt
 433 ; CHECK: call void @is(i1 true)
 434 ; CHECK: call void @is(i1 false)
 435 define void @test_ne_sgt(i32 %a, i32 %b) {
 436   %cmp1 = icmp ne i32 %a, %b
 437   br i1 %cmp1, label %taken, label %untaken
 438
 439 taken:
 440   %cmp2 = icmp sgt i32 %a, %b
 441   br i1 %cmp2, label %ne_sgt_istrue, label %ne_sgt_isfalse
 442
 443 ne_sgt_istrue:
 444   call void @is(i1 true)
 445   ret void
 446
 447 ne_sgt_isfalse:
 448   call void @is(i1 false)
 449   ret void
 450
 451 untaken:
 452   ret void
 453 }
 454
 455 ; A != B implies A >=s B is unknown to be true or false.
 456 ; CHECK-LABEL: @test_ne_sge
 457 ; CHECK: call void @is(i1 true)
 458 ; CHECK: call void @is(i1 false)
 459 define void @test_ne_sge(i32 %a, i32 %b) {
 460   %cmp1 = icmp ne i32 %a, %b
 461   br i1 %cmp1, label %taken, label %untaken
 462
 463 taken:
 464   %cmp2 = icmp sge i32 %a, %b
 465   br i1 %cmp2, label %ne_sge_istrue, label %ne_sge_isfalse
 466
 467 ne_sge_istrue:
 468   call void @is(i1 true)
 469   ret void
 470
 471 ne_sge_isfalse:
 472   call void @is(i1 false)
 473   ret void
 474
 475 untaken:
 476   ret void
 477 }
 478
 479 ; A != B implies A <s B is unknown to be true or false.
 480 ; CHECK-LABEL: @test_ne_slt
 481 ; CHECK: call void @is(i1 true)
 482 ; CHECK: call void @is(i1 false)
 483 define void @test_ne_slt(i32 %a, i32 %b) {
 484   %cmp1 = icmp ne i32 %a, %b
 485   br i1 %cmp1, label %taken, label %untaken
 486
 487 taken:
 488   %cmp2 = icmp slt i32 %a, %b
 489   br i1 %cmp2, label %ne_slt_istrue, label %ne_slt_isfalse
 490
 491 ne_slt_istrue:
 492   call void @is(i1 true)
 493   ret void
 494
 495 ne_slt_isfalse:
 496   call void @is(i1 false)
 497   ret void
 498
 499 untaken:
 500   ret void
 501 }
 502
 503 ; A != B implies A <=s B is unknown to be true or false.
 504 ; CHECK-LABEL: @test_ne_sle
 505 ; CHECK: call void @is(i1 true)
 506 ; CHECK: call void @is(i1 false)
 507 define void @test_ne_sle(i32 %a, i32 %b) {
 508   %cmp1 = icmp ne i32 %a, %b
 509   br i1 %cmp1, label %taken, label %untaken
 510
 511 taken:
 512   %cmp2 = icmp sle i32 %a, %b
 513   br i1 %cmp2, label %ne_sle_istrue, label %ne_sle_isfalse
 514
 515 ne_sle_istrue:
 516   call void @is(i1 true)
 517   ret void
 518
 519 ne_sle_isfalse:
 520   call void @is(i1 false)
 521   ret void
 522
 523 untaken:
 524   ret void
 525 }
 526
 527 ; A >u B implies A >u B is true.
 528 ; CHECK-LABEL: @test_ugt_ugt
 529 ; CHECK: call void @is(i1 true)
 530 ; CHECK-NOT: call void @is(i1 false)
 531 define void @test_ugt_ugt(i32 %a, i32 %b) {
 532   %cmp1 = icmp ugt i32 %a, %b
 533   br i1 %cmp1, label %taken, label %untaken
 534
 535 taken:
 536   %cmp2 = icmp ugt i32 %a, %b
 537   br i1 %cmp2, label %ugt_ugt_istrue, label %ugt_ugt_isfalse
 538
 539 ugt_ugt_istrue:
 540   call void @is(i1 true)
 541   ret void
 542
 543 ugt_ugt_isfalse:
 544   call void @is(i1 false)
 545   ret void
 546
 547 untaken:
 548   ret void
 549 }
 550
 551 ; A >u B implies A >=u B is true.
 552 ; CHECK-LABEL: @test_ugt_uge
 553 ; CHECK: call void @is(i1 true)
 554 ; CHECK-NOT: call void @is(i1 false)
 555 define void @test_ugt_uge(i32 %a, i32 %b) {
 556   %cmp1 = icmp ugt i32 %a, %b
 557   br i1 %cmp1, label %taken, label %untaken
 558
 559 taken:
 560   %cmp2 = icmp uge i32 %a, %b
 561   br i1 %cmp2, label %ugt_uge_istrue, label %ugt_uge_isfalse
 562
 563 ugt_uge_istrue:
 564   call void @is(i1 true)
 565   ret void
 566
 567 ugt_uge_isfalse:
 568   call void @is(i1 false)
 569   ret void
 570
 571 untaken:
 572   ret void
 573 }
 574
 575 ; A >u B implies A <u B is false.
 576 ; CHECK-LABEL: @test_ugt_ult
 577 ; CHECK-NOT: call void @is(i1 true)
 578 ; CHECK: call void @is(i1 false)
 579 define void @test_ugt_ult(i32 %a, i32 %b) {
 580   %cmp1 = icmp ugt i32 %a, %b
 581   br i1 %cmp1, label %taken, label %untaken
 582
 583 taken:
 584   %cmp2 = icmp ult i32 %a, %b
 585   br i1 %cmp2, label %ugt_ult_istrue, label %ugt_ult_isfalse
 586
 587 ugt_ult_istrue:
 588   call void @is(i1 true)
 589   ret void
 590
 591 ugt_ult_isfalse:
 592   call void @is(i1 false)
 593   ret void
 594
 595 untaken:
 596   ret void
 597 }
 598
 599 ; A >u B implies A <=u B is false.
 600 ; CHECK-LABEL: @test_ugt_ule
 601 ; CHECK-NOT: call void @is(i1 true)
 602 ; CHECK: call void @is(i1 false)
 603 define void @test_ugt_ule(i32 %a, i32 %b) {
 604   %cmp1 = icmp ugt i32 %a, %b
 605   br i1 %cmp1, label %taken, label %untaken
 606
 607 taken:
 608   %cmp2 = icmp ule i32 %a, %b
 609   br i1 %cmp2, label %ugt_ule_istrue, label %ugt_ule_isfalse
 610
 611 ugt_ule_istrue:
 612   call void @is(i1 true)
 613   ret void
 614
 615 ugt_ule_isfalse:
 616   call void @is(i1 false)
 617   ret void
 618
 619 untaken:
 620   ret void
 621 }
 622
 623 ; A >=u B implies A >=u B is true.
 624 ; CHECK-LABEL: @test_uge_uge
 625 ; CHECK: call void @is(i1 true)
 626 ; CHECK-NOT: call void @is(i1 false)
 627 define void @test_uge_uge(i32 %a, i32 %b) {
 628   %cmp1 = icmp uge i32 %a, %b
 629   br i1 %cmp1, label %taken, label %untaken
 630
 631 taken:
 632   %cmp2 = icmp uge i32 %a, %b
 633   br i1 %cmp2, label %uge_uge_istrue, label %uge_uge_isfalse
 634
 635 uge_uge_istrue:
 636   call void @is(i1 true)
 637   ret void
 638
 639 uge_uge_isfalse:
 640   call void @is(i1 false)
 641   ret void
 642
 643 untaken:
 644   ret void
 645 }
 646
 647 ; A >=u B implies A <u B is false.
 648 ; CHECK-LABEL: @test_uge_ult
 649 ; CHECK-NOT: call void @is(i1 true)
 650 ; CHECK: call void @is(i1 false)
 651 define void @test_uge_ult(i32 %a, i32 %b) {
 652   %cmp1 = icmp uge i32 %a, %b
 653   br i1 %cmp1, label %taken, label %untaken
 654
 655 taken:
 656   %cmp2 = icmp ult i32 %a, %b
 657   br i1 %cmp2, label %uge_ult_istrue, label %uge_ult_isfalse
 658
 659 uge_ult_istrue:
 660   call void @is(i1 true)
 661   ret void
 662
 663 uge_ult_isfalse:
 664   call void @is(i1 false)
 665   ret void
 666
 667 untaken:
 668   ret void
 669 }
 670
 671 ; A >=u B implies A <=u B is unknown to be true or false.
 672 ; CHECK-LABEL: @test_uge_ule
 673 ; CHECK: call void @is(i1 true)
 674 ; CHECK: call void @is(i1 false)
 675 define void @test_uge_ule(i32 %a, i32 %b) {
 676   %cmp1 = icmp uge i32 %a, %b
 677   br i1 %cmp1, label %taken, label %untaken
 678
 679 taken:
 680   %cmp2 = icmp ule i32 %a, %b
 681   br i1 %cmp2, label %uge_ule_istrue, label %uge_ule_isfalse
 682
 683 uge_ule_istrue:
 684   call void @is(i1 true)
 685   ret void
 686
 687 uge_ule_isfalse:
 688   call void @is(i1 false)
 689   ret void
 690
 691 untaken:
 692   ret void
 693 }
 694
 695 ; A <u B implies A <u B is true.
 696 ; CHECK-LABEL: @test_ult_ult
 697 ; CHECK: call void @is(i1 true)
 698 ; CHECK-NOT: call void @is(i1 false)
 699 define void @test_ult_ult(i32 %a, i32 %b) {
 700   %cmp1 = icmp ult i32 %a, %b
 701   br i1 %cmp1, label %taken, label %untaken
 702
 703 taken:
 704   %cmp2 = icmp ult i32 %a, %b
 705   br i1 %cmp2, label %ult_ult_istrue, label %ult_ult_isfalse
 706
 707 ult_ult_istrue:
 708   call void @is(i1 true)
 709   ret void
 710
 711 ult_ult_isfalse:
 712   call void @is(i1 false)
 713   ret void
 714
 715 untaken:
 716   ret void
 717 }
 718
 719 ; A <u B implies A <=u B is true.
 720 ; CHECK-LABEL: @test_ult_ule
 721 ; CHECK: call void @is(i1 true)
 722 ; CHECK-NOT: call void @is(i1 false)
 723 define void @test_ult_ule(i32 %a, i32 %b) {
 724   %cmp1 = icmp ult i32 %a, %b
 725   br i1 %cmp1, label %taken, label %untaken
 726
 727 taken:
 728   %cmp2 = icmp ule i32 %a, %b
 729   br i1 %cmp2, label %ult_ule_istrue, label %ult_ule_isfalse
 730
 731 ult_ule_istrue:
 732   call void @is(i1 true)
 733   ret void
 734
 735 ult_ule_isfalse:
 736   call void @is(i1 false)
 737   ret void
 738
 739 untaken:
 740   ret void
 741 }
 742
 743 ; A <=u B implies A <=u B is true.
 744 ; CHECK-LABEL: @test_ule_ule
 745 ; CHECK: call void @is(i1 true)
 746 ; CHECK-NOT: call void @is(i1 false)
 747 define void @test_ule_ule(i32 %a, i32 %b) {
 748   %cmp1 = icmp ule i32 %a, %b
 749   br i1 %cmp1, label %taken, label %untaken
 750
 751 taken:
 752   %cmp2 = icmp ule i32 %a, %b
 753   br i1 %cmp2, label %ule_ule_istrue, label %ule_ule_isfalse
 754
 755 ule_ule_istrue:
 756   call void @is(i1 true)
 757   ret void
 758
 759 ule_ule_isfalse:
 760   call void @is(i1 false)
 761   ret void
 762
 763 untaken:
 764   ret void
 765 }
 766
 767 ; A >s B implies A >s B is true.
 768 ; CHECK-LABEL: @test_sgt_sgt
 769 ; CHECK: call void @is(i1 true)
 770 ; CHECK-NOT: call void @is(i1 false)
 771 define void @test_sgt_sgt(i32 %a, i32 %b) {
 772   %cmp1 = icmp sgt i32 %a, %b
 773   br i1 %cmp1, label %taken, label %untaken
 774
 775 taken:
 776   %cmp2 = icmp sgt i32 %a, %b
 777   br i1 %cmp2, label %sgt_sgt_istrue, label %sgt_sgt_isfalse
 778
 779 sgt_sgt_istrue:
 780   call void @is(i1 true)
 781   ret void
 782
 783 sgt_sgt_isfalse:
 784   call void @is(i1 false)
 785   ret void
 786
 787 untaken:
 788   ret void
 789 }
 790
 791 ; A >s B implies A >=s B is true.
 792 ; CHECK-LABEL: @test_sgt_sge
 793 ; CHECK: call void @is(i1 true)
 794 ; CHECK-NOT: call void @is(i1 false)
 795 define void @test_sgt_sge(i32 %a, i32 %b) {
 796   %cmp1 = icmp sgt i32 %a, %b
 797   br i1 %cmp1, label %taken, label %untaken
 798
 799 taken:
 800   %cmp2 = icmp sge i32 %a, %b
 801   br i1 %cmp2, label %sgt_sge_istrue, label %sgt_sge_isfalse
 802
 803 sgt_sge_istrue:
 804   call void @is(i1 true)
 805   ret void
 806
 807 sgt_sge_isfalse:
 808   call void @is(i1 false)
 809   ret void
 810
 811 untaken:
 812   ret void
 813 }
 814
 815 ; A >s B implies A <s B is false.
 816 ; CHECK-LABEL: @test_sgt_slt
 817 ; CHECK-NOT: call void @is(i1 true)
 818 ; CHECK: call void @is(i1 false)
 819 define void @test_sgt_slt(i32 %a, i32 %b) {
 820   %cmp1 = icmp sgt i32 %a, %b
 821   br i1 %cmp1, label %taken, label %untaken
 822
 823 taken:
 824   %cmp2 = icmp slt i32 %a, %b
 825   br i1 %cmp2, label %sgt_slt_istrue, label %sgt_slt_isfalse
 826
 827 sgt_slt_istrue:
 828   call void @is(i1 true)
 829   ret void
 830
 831 sgt_slt_isfalse:
 832   call void @is(i1 false)
 833   ret void
 834
 835 untaken:
 836   ret void
 837 }
 838
 839 ; A >s B implies A <=s B is false.
 840 ; CHECK-LABEL: @test_sgt_sle
 841 ; CHECK-NOT: call void @is(i1 true)
 842 ; CHECK: call void @is(i1 false)
 843 define void @test_sgt_sle(i32 %a, i32 %b) {
 844   %cmp1 = icmp sgt i32 %a, %b
 845   br i1 %cmp1, label %taken, label %untaken
 846
 847 taken:
 848   %cmp2 = icmp sle i32 %a, %b
 849   br i1 %cmp2, label %sgt_sle_istrue, label %sgt_sle_isfalse
 850
 851 sgt_sle_istrue:
 852   call void @is(i1 true)
 853   ret void
 854
 855 sgt_sle_isfalse:
 856   call void @is(i1 false)
 857   ret void
 858
 859 untaken:
 860   ret void
 861 }
 862
 863 ; A >=s B implies A >=s B is true.
 864 ; CHECK-LABEL: @test_sge_sge
 865 ; CHECK: call void @is(i1 true)
 866 ; CHECK-NOT: call void @is(i1 false)
 867 define void @test_sge_sge(i32 %a, i32 %b) {
 868   %cmp1 = icmp sge i32 %a, %b
 869   br i1 %cmp1, label %taken, label %untaken
 870
 871 taken:
 872   %cmp2 = icmp sge i32 %a, %b
 873   br i1 %cmp2, label %sge_sge_istrue, label %sge_sge_isfalse
 874
 875 sge_sge_istrue:
 876   call void @is(i1 true)
 877   ret void
 878
 879 sge_sge_isfalse:
 880   call void @is(i1 false)
 881   ret void
 882
 883 untaken:
 884   ret void
 885 }
 886
 887 ; A >=s B implies A <s B is false.
 888 ; CHECK-LABEL: @test_sge_slt
 889 ; CHECK-NOT: call void @is(i1 true)
 890 ; CHECK: call void @is(i1 false)
 891 define void @test_sge_slt(i32 %a, i32 %b) {
 892   %cmp1 = icmp sge i32 %a, %b
 893   br i1 %cmp1, label %taken, label %untaken
 894
 895 taken:
 896   %cmp2 = icmp slt i32 %a, %b
 897   br i1 %cmp2, label %sge_slt_istrue, label %sge_slt_isfalse
 898
 899 sge_slt_istrue:
 900   call void @is(i1 true)
 901   ret void
 902
 903 sge_slt_isfalse:
 904   call void @is(i1 false)
 905   ret void
 906
 907 untaken:
 908   ret void
 909 }
 910
 911 ; A >=s B implies A <=s B is unknown to be true or false.
 912 ; CHECK-LABEL: @test_sge_sle
 913 ; CHECK: call void @is(i1 true)
 914 ; CHECK: call void @is(i1 false)
 915 define void @test_sge_sle(i32 %a, i32 %b) {
 916   %cmp1 = icmp sge i32 %a, %b
 917   br i1 %cmp1, label %taken, label %untaken
 918
 919 taken:
 920   %cmp2 = icmp sle i32 %a, %b
 921   br i1 %cmp2, label %sge_sle_istrue, label %sge_sle_isfalse
 922
 923 sge_sle_istrue:
 924   call void @is(i1 true)
 925   ret void
 926
 927 sge_sle_isfalse:
 928   call void @is(i1 false)
 929   ret void
 930
 931 untaken:
 932   ret void
 933 }
 934
 935 ; A <s B implies A <s B is true.
 936 ; CHECK-LABEL: @test_slt_slt
 937 ; CHECK: call void @is(i1 true)
 938 ; CHECK-NOT: call void @is(i1 false)
 939 define void @test_slt_slt(i32 %a, i32 %b) {
 940   %cmp1 = icmp slt i32 %a, %b
 941   br i1 %cmp1, label %taken, label %untaken
 942
 943 taken:
 944   %cmp2 = icmp slt i32 %a, %b
 945   br i1 %cmp2, label %slt_slt_istrue, label %slt_slt_isfalse
 946
 947 slt_slt_istrue:
 948   call void @is(i1 true)
 949   ret void
 950
 951 slt_slt_isfalse:
 952   call void @is(i1 false)
 953   ret void
 954
 955 untaken:
 956   ret void
 957 }
 958
 959 ; A <s B implies A <=s B is true.
 960 ; CHECK-LABEL: @test_slt_sle
 961 ; CHECK: call void @is(i1 true)
 962 ; CHECK-NOT: call void @is(i1 false)
 963 define void @test_slt_sle(i32 %a, i32 %b) {
 964   %cmp1 = icmp slt i32 %a, %b
 965   br i1 %cmp1, label %taken, label %untaken
 966
 967 taken:
 968   %cmp2 = icmp sle i32 %a, %b
 969   br i1 %cmp2, label %slt_sle_istrue, label %slt_sle_isfalse
 970
 971 slt_sle_istrue:
 972   call void @is(i1 true)
 973   ret void
 974
 975 slt_sle_isfalse:
 976   call void @is(i1 false)
 977   ret void
 978
 979 untaken:
 980   ret void
 981 }
 982
 983 ; A <=s B implies A <=s B is true.
 984 ; CHECK-LABEL: @test_sle_sle
 985 ; CHECK: call void @is(i1 true)
 986 ; CHECK-NOT: call void @is(i1 false)
 987 define void @test_sle_sle(i32 %a, i32 %b) {
 988   %cmp1 = icmp sle i32 %a, %b
 989   br i1 %cmp1, label %taken, label %untaken
 990
 991 taken:
 992   %cmp2 = icmp sle i32 %a, %b
 993   br i1 %cmp2, label %sle_sle_istrue, label %sle_sle_isfalse
 994
 995 sle_sle_istrue:
 996   call void @is(i1 true)
 997   ret void
 998
 999 sle_sle_isfalse:
1000   call void @is(i1 false)
1001   ret void
1002
1003 untaken:
1004   ret void
1005 }
1006
1007 ; A >=u 5 implies A <u 5 is false.
1008 ; CHECK-LABEL: @test_uge_ult_const
1009 ; CHECK-NOT: call void @is(i1 true)
1010 ; CHECK: call void @is(i1 false)
1011 define void @test_uge_ult_const(i32 %a, i32 %b) {
1012   %cmp1 = icmp uge i32 %a, 5
1013   br i1 %cmp1, label %taken, label %untaken
1014
1015 taken:
1016   %cmp2 = icmp ult i32 %a, 5
1017   br i1 %cmp2, label %istrue, label %isfalse
1018
1019 istrue:
1020   call void @is(i1 true)
1021   ret void
1022
1023 isfalse:
1024   call void @is(i1 false)
1025   ret void
1026
1027 untaken:
1028   ret void
1029 }