llvm/test/Transforms/InstCombine/icmp-shr-lt-gt.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
   3
   4 define i1 @lshrugt_01_00(i4 %x) {
   5 ; CHECK-LABEL: @lshrugt_01_00(
   6 ; CHECK-NEXT:    [[C:%.*]] = icmp ugt i4 [[X:%.*]], 1
   7 ; CHECK-NEXT:    ret i1 [[C]]
   8 ;
   9   %s = lshr i4 %x, 1
  10   %c = icmp ugt i4 %s, 0
  11   ret i1 %c
  12 }
  13
  14 define i1 @lshrugt_01_01(i4 %x) {
  15 ; CHECK-LABEL: @lshrugt_01_01(
  16 ; CHECK-NEXT:    [[C:%.*]] = icmp ugt i4 [[X:%.*]], 3
  17 ; CHECK-NEXT:    ret i1 [[C]]
  18 ;
  19   %s = lshr i4 %x, 1
  20   %c = icmp ugt i4 %s, 1
  21   ret i1 %c
  22 }
  23
  24 define i1 @lshrugt_01_02(i4 %x) {
  25 ; CHECK-LABEL: @lshrugt_01_02(
  26 ; CHECK-NEXT:    [[C:%.*]] = icmp ugt i4 [[X:%.*]], 5
  27 ; CHECK-NEXT:    ret i1 [[C]]
  28 ;
  29   %s = lshr i4 %x, 1
  30   %c = icmp ugt i4 %s, 2
  31   ret i1 %c
  32 }
  33
  34 define i1 @lshrugt_01_03(i4 %x) {
  35 ; CHECK-LABEL: @lshrugt_01_03(
  36 ; CHECK-NEXT:    [[C:%.*]] = icmp slt i4 [[X:%.*]], 0
  37 ; CHECK-NEXT:    ret i1 [[C]]
  38 ;
  39   %s = lshr i4 %x, 1
  40   %c = icmp ugt i4 %s, 3
  41   ret i1 %c
  42 }
  43
  44 define i1 @lshrugt_01_04(i4 %x) {
  45 ; CHECK-LABEL: @lshrugt_01_04(
  46 ; CHECK-NEXT:    [[C:%.*]] = icmp ugt i4 [[X:%.*]], -7
  47 ; CHECK-NEXT:    ret i1 [[C]]
  48 ;
  49   %s = lshr i4 %x, 1
  50   %c = icmp ugt i4 %s, 4
  51   ret i1 %c
  52 }
  53
  54 define i1 @lshrugt_01_05(i4 %x) {
  55 ; CHECK-LABEL: @lshrugt_01_05(
  56 ; CHECK-NEXT:    [[C:%.*]] = icmp ugt i4 [[X:%.*]], -5
  57 ; CHECK-NEXT:    ret i1 [[C]]
  58 ;
  59   %s = lshr i4 %x, 1
  60   %c = icmp ugt i4 %s, 5
  61   ret i1 %c
  62 }
  63
  64 define i1 @lshrugt_01_06(i4 %x) {
  65 ; CHECK-LABEL: @lshrugt_01_06(
  66 ; CHECK-NEXT:    [[C:%.*]] = icmp ugt i4 [[X:%.*]], -3
  67 ; CHECK-NEXT:    ret i1 [[C]]
  68 ;
  69   %s = lshr i4 %x, 1
  70   %c = icmp ugt i4 %s, 6
  71   ret i1 %c
  72 }
  73
  74 define i1 @lshrugt_01_07(i4 %x) {
  75 ; CHECK-LABEL: @lshrugt_01_07(
  76 ; CHECK-NEXT:    ret i1 false
  77 ;
  78   %s = lshr i4 %x, 1
  79   %c = icmp ugt i4 %s, 7
  80   ret i1 %c
  81 }
  82
  83 define i1 @lshrugt_01_08(i4 %x) {
  84 ; CHECK-LABEL: @lshrugt_01_08(
  85 ; CHECK-NEXT:    ret i1 false
  86 ;
  87   %s = lshr i4 %x, 1
  88   %c = icmp ugt i4 %s, 8
  89   ret i1 %c
  90 }
  91
  92 define i1 @lshrugt_01_09(i4 %x) {
  93 ; CHECK-LABEL: @lshrugt_01_09(
  94 ; CHECK-NEXT:    ret i1 false
  95 ;
  96   %s = lshr i4 %x, 1
  97   %c = icmp ugt i4 %s, 9
  98   ret i1 %c
  99 }
 100
 101 define i1 @lshrugt_01_10(i4 %x) {
 102 ; CHECK-LABEL: @lshrugt_01_10(
 103 ; CHECK-NEXT:    ret i1 false
 104 ;
 105   %s = lshr i4 %x, 1
 106   %c = icmp ugt i4 %s, 10
 107   ret i1 %c
 108 }
 109
 110 define i1 @lshrugt_01_11(i4 %x) {
 111 ; CHECK-LABEL: @lshrugt_01_11(
 112 ; CHECK-NEXT:    ret i1 false
 113 ;
 114   %s = lshr i4 %x, 1
 115   %c = icmp ugt i4 %s, 11
 116   ret i1 %c
 117 }
 118
 119 define i1 @lshrugt_01_12(i4 %x) {
 120 ; CHECK-LABEL: @lshrugt_01_12(
 121 ; CHECK-NEXT:    ret i1 false
 122 ;
 123   %s = lshr i4 %x, 1
 124   %c = icmp ugt i4 %s, 12
 125   ret i1 %c
 126 }
 127
 128 define i1 @lshrugt_01_13(i4 %x) {
 129 ; CHECK-LABEL: @lshrugt_01_13(
 130 ; CHECK-NEXT:    ret i1 false
 131 ;
 132   %s = lshr i4 %x, 1
 133   %c = icmp ugt i4 %s, 13
 134   ret i1 %c
 135 }
 136
 137 define i1 @lshrugt_01_14(i4 %x) {
 138 ; CHECK-LABEL: @lshrugt_01_14(
 139 ; CHECK-NEXT:    ret i1 false
 140 ;
 141   %s = lshr i4 %x, 1
 142   %c = icmp ugt i4 %s, 14
 143   ret i1 %c
 144 }
 145
 146 define i1 @lshrugt_01_15(i4 %x) {
 147 ; CHECK-LABEL: @lshrugt_01_15(
 148 ; CHECK-NEXT:    ret i1 false
 149 ;
 150   %s = lshr i4 %x, 1
 151   %c = icmp ugt i4 %s, 15
 152   ret i1 %c
 153 }
 154
 155 define i1 @lshrugt_02_00(i4 %x) {
 156 ; CHECK-LABEL: @lshrugt_02_00(
 157 ; CHECK-NEXT:    [[C:%.*]] = icmp ugt i4 [[X:%.*]], 3
 158 ; CHECK-NEXT:    ret i1 [[C]]
 159 ;
 160   %s = lshr i4 %x, 2
 161   %c = icmp ugt i4 %s, 0
 162   ret i1 %c
 163 }
 164
 165 define i1 @lshrugt_02_01(i4 %x) {
 166 ; CHECK-LABEL: @lshrugt_02_01(
 167 ; CHECK-NEXT:    [[C:%.*]] = icmp slt i4 [[X:%.*]], 0
 168 ; CHECK-NEXT:    ret i1 [[C]]
 169 ;
 170   %s = lshr i4 %x, 2
 171   %c = icmp ugt i4 %s, 1
 172   ret i1 %c
 173 }
 174
 175 define i1 @lshrugt_02_02(i4 %x) {
 176 ; CHECK-LABEL: @lshrugt_02_02(
 177 ; CHECK-NEXT:    [[C:%.*]] = icmp ugt i4 [[X:%.*]], -5
 178 ; CHECK-NEXT:    ret i1 [[C]]
 179 ;
 180   %s = lshr i4 %x, 2
 181   %c = icmp ugt i4 %s, 2
 182   ret i1 %c
 183 }
 184
 185 define i1 @lshrugt_02_03(i4 %x) {
 186 ; CHECK-LABEL: @lshrugt_02_03(
 187 ; CHECK-NEXT:    ret i1 false
 188 ;
 189   %s = lshr i4 %x, 2
 190   %c = icmp ugt i4 %s, 3
 191   ret i1 %c
 192 }
 193
 194 define i1 @lshrugt_02_04(i4 %x) {
 195 ; CHECK-LABEL: @lshrugt_02_04(
 196 ; CHECK-NEXT:    ret i1 false
 197 ;
 198   %s = lshr i4 %x, 2
 199   %c = icmp ugt i4 %s, 4
 200   ret i1 %c
 201 }
 202
 203 define i1 @lshrugt_02_05(i4 %x) {
 204 ; CHECK-LABEL: @lshrugt_02_05(
 205 ; CHECK-NEXT:    ret i1 false
 206 ;
 207   %s = lshr i4 %x, 2
 208   %c = icmp ugt i4 %s, 5
 209   ret i1 %c
 210 }
 211
 212 define i1 @lshrugt_02_06(i4 %x) {
 213 ; CHECK-LABEL: @lshrugt_02_06(
 214 ; CHECK-NEXT:    ret i1 false
 215 ;
 216   %s = lshr i4 %x, 2
 217   %c = icmp ugt i4 %s, 6
 218   ret i1 %c
 219 }
 220
 221 define i1 @lshrugt_02_07(i4 %x) {
 222 ; CHECK-LABEL: @lshrugt_02_07(
 223 ; CHECK-NEXT:    ret i1 false
 224 ;
 225   %s = lshr i4 %x, 2
 226   %c = icmp ugt i4 %s, 7
 227   ret i1 %c
 228 }
 229
 230 define i1 @lshrugt_02_08(i4 %x) {
 231 ; CHECK-LABEL: @lshrugt_02_08(
 232 ; CHECK-NEXT:    ret i1 false
 233 ;
 234   %s = lshr i4 %x, 2
 235   %c = icmp ugt i4 %s, 8
 236   ret i1 %c
 237 }
 238
 239 define i1 @lshrugt_02_09(i4 %x) {
 240 ; CHECK-LABEL: @lshrugt_02_09(
 241 ; CHECK-NEXT:    ret i1 false
 242 ;
 243   %s = lshr i4 %x, 2
 244   %c = icmp ugt i4 %s, 9
 245   ret i1 %c
 246 }
 247
 248 define i1 @lshrugt_02_10(i4 %x) {
 249 ; CHECK-LABEL: @lshrugt_02_10(
 250 ; CHECK-NEXT:    ret i1 false
 251 ;
 252   %s = lshr i4 %x, 2
 253   %c = icmp ugt i4 %s, 10
 254   ret i1 %c
 255 }
 256
 257 define i1 @lshrugt_02_11(i4 %x) {
 258 ; CHECK-LABEL: @lshrugt_02_11(
 259 ; CHECK-NEXT:    ret i1 false
 260 ;
 261   %s = lshr i4 %x, 2
 262   %c = icmp ugt i4 %s, 11
 263   ret i1 %c
 264 }
 265
 266 define i1 @lshrugt_02_12(i4 %x) {
 267 ; CHECK-LABEL: @lshrugt_02_12(
 268 ; CHECK-NEXT:    ret i1 false
 269 ;
 270   %s = lshr i4 %x, 2
 271   %c = icmp ugt i4 %s, 12
 272   ret i1 %c
 273 }
 274
 275 define i1 @lshrugt_02_13(i4 %x) {
 276 ; CHECK-LABEL: @lshrugt_02_13(
 277 ; CHECK-NEXT:    ret i1 false
 278 ;
 279   %s = lshr i4 %x, 2
 280   %c = icmp ugt i4 %s, 13
 281   ret i1 %c
 282 }
 283
 284 define i1 @lshrugt_02_14(i4 %x) {
 285 ; CHECK-LABEL: @lshrugt_02_14(
 286 ; CHECK-NEXT:    ret i1 false
 287 ;
 288   %s = lshr i4 %x, 2
 289   %c = icmp ugt i4 %s, 14
 290   ret i1 %c
 291 }
 292
 293 define i1 @lshrugt_02_15(i4 %x) {
 294 ; CHECK-LABEL: @lshrugt_02_15(
 295 ; CHECK-NEXT:    ret i1 false
 296 ;
 297   %s = lshr i4 %x, 2
 298   %c = icmp ugt i4 %s, 15
 299   ret i1 %c
 300 }
 301
 302 define i1 @lshrugt_03_00(i4 %x) {
 303 ; CHECK-LABEL: @lshrugt_03_00(
 304 ; CHECK-NEXT:    [[C:%.*]] = icmp slt i4 [[X:%.*]], 0
 305 ; CHECK-NEXT:    ret i1 [[C]]
 306 ;
 307   %s = lshr i4 %x, 3
 308   %c = icmp ugt i4 %s, 0
 309   ret i1 %c
 310 }
 311
 312 define i1 @lshrugt_03_01(i4 %x) {
 313 ; CHECK-LABEL: @lshrugt_03_01(
 314 ; CHECK-NEXT:    ret i1 false
 315 ;
 316   %s = lshr i4 %x, 3
 317   %c = icmp ugt i4 %s, 1
 318   ret i1 %c
 319 }
 320
 321 define i1 @lshrugt_03_02(i4 %x) {
 322 ; CHECK-LABEL: @lshrugt_03_02(
 323 ; CHECK-NEXT:    ret i1 false
 324 ;
 325   %s = lshr i4 %x, 3
 326   %c = icmp ugt i4 %s, 2
 327   ret i1 %c
 328 }
 329
 330 define i1 @lshrugt_03_03(i4 %x) {
 331 ; CHECK-LABEL: @lshrugt_03_03(
 332 ; CHECK-NEXT:    ret i1 false
 333 ;
 334   %s = lshr i4 %x, 3
 335   %c = icmp ugt i4 %s, 3
 336   ret i1 %c
 337 }
 338
 339 define i1 @lshrugt_03_04(i4 %x) {
 340 ; CHECK-LABEL: @lshrugt_03_04(
 341 ; CHECK-NEXT:    ret i1 false
 342 ;
 343   %s = lshr i4 %x, 3
 344   %c = icmp ugt i4 %s, 4
 345   ret i1 %c
 346 }
 347
 348 define i1 @lshrugt_03_05(i4 %x) {
 349 ; CHECK-LABEL: @lshrugt_03_05(
 350 ; CHECK-NEXT:    ret i1 false
 351 ;
 352   %s = lshr i4 %x, 3
 353   %c = icmp ugt i4 %s, 5
 354   ret i1 %c
 355 }
 356
 357 define i1 @lshrugt_03_06(i4 %x) {
 358 ; CHECK-LABEL: @lshrugt_03_06(
 359 ; CHECK-NEXT:    ret i1 false
 360 ;
 361   %s = lshr i4 %x, 3
 362   %c = icmp ugt i4 %s, 6
 363   ret i1 %c
 364 }
 365
 366 define i1 @lshrugt_03_07(i4 %x) {
 367 ; CHECK-LABEL: @lshrugt_03_07(
 368 ; CHECK-NEXT:    ret i1 false
 369 ;
 370   %s = lshr i4 %x, 3
 371   %c = icmp ugt i4 %s, 7
 372   ret i1 %c
 373 }
 374
 375 define i1 @lshrugt_03_08(i4 %x) {
 376 ; CHECK-LABEL: @lshrugt_03_08(
 377 ; CHECK-NEXT:    ret i1 false
 378 ;
 379   %s = lshr i4 %x, 3
 380   %c = icmp ugt i4 %s, 8
 381   ret i1 %c
 382 }
 383
 384 define i1 @lshrugt_03_09(i4 %x) {
 385 ; CHECK-LABEL: @lshrugt_03_09(
 386 ; CHECK-NEXT:    ret i1 false
 387 ;
 388   %s = lshr i4 %x, 3
 389   %c = icmp ugt i4 %s, 9
 390   ret i1 %c
 391 }
 392
 393 define i1 @lshrugt_03_10(i4 %x) {
 394 ; CHECK-LABEL: @lshrugt_03_10(
 395 ; CHECK-NEXT:    ret i1 false
 396 ;
 397   %s = lshr i4 %x, 3
 398   %c = icmp ugt i4 %s, 10
 399   ret i1 %c
 400 }
 401
 402 define i1 @lshrugt_03_11(i4 %x) {
 403 ; CHECK-LABEL: @lshrugt_03_11(
 404 ; CHECK-NEXT:    ret i1 false
 405 ;
 406   %s = lshr i4 %x, 3
 407   %c = icmp ugt i4 %s, 11
 408   ret i1 %c
 409 }
 410
 411 define i1 @lshrugt_03_12(i4 %x) {
 412 ; CHECK-LABEL: @lshrugt_03_12(
 413 ; CHECK-NEXT:    ret i1 false
 414 ;
 415   %s = lshr i4 %x, 3
 416   %c = icmp ugt i4 %s, 12
 417   ret i1 %c
 418 }
 419
 420 define i1 @lshrugt_03_13(i4 %x) {
 421 ; CHECK-LABEL: @lshrugt_03_13(
 422 ; CHECK-NEXT:    ret i1 false
 423 ;
 424   %s = lshr i4 %x, 3
 425   %c = icmp ugt i4 %s, 13
 426   ret i1 %c
 427 }
 428
 429 define i1 @lshrugt_03_14(i4 %x) {
 430 ; CHECK-LABEL: @lshrugt_03_14(
 431 ; CHECK-NEXT:    ret i1 false
 432 ;
 433   %s = lshr i4 %x, 3
 434   %c = icmp ugt i4 %s, 14
 435   ret i1 %c
 436 }
 437
 438 define i1 @lshrugt_03_15(i4 %x) {
 439 ; CHECK-LABEL: @lshrugt_03_15(
 440 ; CHECK-NEXT:    ret i1 false
 441 ;
 442   %s = lshr i4 %x, 3
 443   %c = icmp ugt i4 %s, 15
 444   ret i1 %c
 445 }
 446
 447 define i1 @lshrult_01_00(i4 %x) {
 448 ; CHECK-LABEL: @lshrult_01_00(
 449 ; CHECK-NEXT:    ret i1 false
 450 ;
 451   %s = lshr i4 %x, 1
 452   %c = icmp ult i4 %s, 0
 453   ret i1 %c
 454 }
 455
 456 define i1 @lshrult_01_01(i4 %x) {
 457 ; CHECK-LABEL: @lshrult_01_01(
 458 ; CHECK-NEXT:    [[C:%.*]] = icmp ult i4 [[X:%.*]], 2
 459 ; CHECK-NEXT:    ret i1 [[C]]
 460 ;
 461   %s = lshr i4 %x, 1
 462   %c = icmp ult i4 %s, 1
 463   ret i1 %c
 464 }
 465
 466 define i1 @lshrult_01_02(i4 %x) {
 467 ; CHECK-LABEL: @lshrult_01_02(
 468 ; CHECK-NEXT:    [[C:%.*]] = icmp ult i4 [[X:%.*]], 4
 469 ; CHECK-NEXT:    ret i1 [[C]]
 470 ;
 471   %s = lshr i4 %x, 1
 472   %c = icmp ult i4 %s, 2
 473   ret i1 %c
 474 }
 475
 476 define i1 @lshrult_01_03(i4 %x) {
 477 ; CHECK-LABEL: @lshrult_01_03(
 478 ; CHECK-NEXT:    [[C:%.*]] = icmp ult i4 [[X:%.*]], 6
 479 ; CHECK-NEXT:    ret i1 [[C]]
 480 ;
 481   %s = lshr i4 %x, 1
 482   %c = icmp ult i4 %s, 3
 483   ret i1 %c
 484 }
 485
 486 define i1 @lshrult_01_04(i4 %x) {
 487 ; CHECK-LABEL: @lshrult_01_04(
 488 ; CHECK-NEXT:    [[C:%.*]] = icmp sgt i4 [[X:%.*]], -1
 489 ; CHECK-NEXT:    ret i1 [[C]]
 490 ;
 491   %s = lshr i4 %x, 1
 492   %c = icmp ult i4 %s, 4
 493   ret i1 %c
 494 }
 495
 496 define i1 @lshrult_01_05(i4 %x) {
 497 ; CHECK-LABEL: @lshrult_01_05(
 498 ; CHECK-NEXT:    [[C:%.*]] = icmp ult i4 [[X:%.*]], -6
 499 ; CHECK-NEXT:    ret i1 [[C]]
 500 ;
 501   %s = lshr i4 %x, 1
 502   %c = icmp ult i4 %s, 5
 503   ret i1 %c
 504 }
 505
 506 define i1 @lshrult_01_06(i4 %x) {
 507 ; CHECK-LABEL: @lshrult_01_06(
 508 ; CHECK-NEXT:    [[C:%.*]] = icmp ult i4 [[X:%.*]], -4
 509 ; CHECK-NEXT:    ret i1 [[C]]
 510 ;
 511   %s = lshr i4 %x, 1
 512   %c = icmp ult i4 %s, 6
 513   ret i1 %c
 514 }
 515
 516 define i1 @lshrult_01_07(i4 %x) {
 517 ; CHECK-LABEL: @lshrult_01_07(
 518 ; CHECK-NEXT:    [[C:%.*]] = icmp ult i4 [[X:%.*]], -2
 519 ; CHECK-NEXT:    ret i1 [[C]]
 520 ;
 521   %s = lshr i4 %x, 1
 522   %c = icmp ult i4 %s, 7
 523   ret i1 %c
 524 }
 525
 526 define i1 @lshrult_01_08(i4 %x) {
 527 ; CHECK-LABEL: @lshrult_01_08(
 528 ; CHECK-NEXT:    ret i1 true
 529 ;
 530   %s = lshr i4 %x, 1
 531   %c = icmp ult i4 %s, 8
 532   ret i1 %c
 533 }
 534
 535 define i1 @lshrult_01_09(i4 %x) {
 536 ; CHECK-LABEL: @lshrult_01_09(
 537 ; CHECK-NEXT:    ret i1 true
 538 ;
 539   %s = lshr i4 %x, 1
 540   %c = icmp ult i4 %s, 9
 541   ret i1 %c
 542 }
 543
 544 define i1 @lshrult_01_10(i4 %x) {
 545 ; CHECK-LABEL: @lshrult_01_10(
 546 ; CHECK-NEXT:    ret i1 true
 547 ;
 548   %s = lshr i4 %x, 1
 549   %c = icmp ult i4 %s, 10
 550   ret i1 %c
 551 }
 552
 553 define i1 @lshrult_01_11(i4 %x) {
 554 ; CHECK-LABEL: @lshrult_01_11(
 555 ; CHECK-NEXT:    ret i1 true
 556 ;
 557   %s = lshr i4 %x, 1
 558   %c = icmp ult i4 %s, 11
 559   ret i1 %c
 560 }
 561
 562 define i1 @lshrult_01_12(i4 %x) {
 563 ; CHECK-LABEL: @lshrult_01_12(
 564 ; CHECK-NEXT:    ret i1 true
 565 ;
 566   %s = lshr i4 %x, 1
 567   %c = icmp ult i4 %s, 12
 568   ret i1 %c
 569 }
 570
 571 define i1 @lshrult_01_13(i4 %x) {
 572 ; CHECK-LABEL: @lshrult_01_13(
 573 ; CHECK-NEXT:    ret i1 true
 574 ;
 575   %s = lshr i4 %x, 1
 576   %c = icmp ult i4 %s, 13
 577   ret i1 %c
 578 }
 579
 580 define i1 @lshrult_01_14(i4 %x) {
 581 ; CHECK-LABEL: @lshrult_01_14(
 582 ; CHECK-NEXT:    ret i1 true
 583 ;
 584   %s = lshr i4 %x, 1
 585   %c = icmp ult i4 %s, 14
 586   ret i1 %c
 587 }
 588
 589 define i1 @lshrult_01_15(i4 %x) {
 590 ; CHECK-LABEL: @lshrult_01_15(
 591 ; CHECK-NEXT:    ret i1 true
 592 ;
 593   %s = lshr i4 %x, 1
 594   %c = icmp ult i4 %s, 15
 595   ret i1 %c
 596 }
 597
 598 define i1 @lshrult_02_00(i4 %x) {
 599 ; CHECK-LABEL: @lshrult_02_00(
 600 ; CHECK-NEXT:    ret i1 false
 601 ;
 602   %s = lshr i4 %x, 2
 603   %c = icmp ult i4 %s, 0
 604   ret i1 %c
 605 }
 606
 607 define i1 @lshrult_02_01(i4 %x) {
 608 ; CHECK-LABEL: @lshrult_02_01(
 609 ; CHECK-NEXT:    [[C:%.*]] = icmp ult i4 [[X:%.*]], 4
 610 ; CHECK-NEXT:    ret i1 [[C]]
 611 ;
 612   %s = lshr i4 %x, 2
 613   %c = icmp ult i4 %s, 1
 614   ret i1 %c
 615 }
 616
 617 define i1 @lshrult_02_02(i4 %x) {
 618 ; CHECK-LABEL: @lshrult_02_02(
 619 ; CHECK-NEXT:    [[C:%.*]] = icmp sgt i4 [[X:%.*]], -1
 620 ; CHECK-NEXT:    ret i1 [[C]]
 621 ;
 622   %s = lshr i4 %x, 2
 623   %c = icmp ult i4 %s, 2
 624   ret i1 %c
 625 }
 626
 627 define i1 @lshrult_02_03(i4 %x) {
 628 ; CHECK-LABEL: @lshrult_02_03(
 629 ; CHECK-NEXT:    [[C:%.*]] = icmp ult i4 [[X:%.*]], -4
 630 ; CHECK-NEXT:    ret i1 [[C]]
 631 ;
 632   %s = lshr i4 %x, 2
 633   %c = icmp ult i4 %s, 3
 634   ret i1 %c
 635 }
 636
 637 define i1 @lshrult_02_04(i4 %x) {
 638 ; CHECK-LABEL: @lshrult_02_04(
 639 ; CHECK-NEXT:    ret i1 true
 640 ;
 641   %s = lshr i4 %x, 2
 642   %c = icmp ult i4 %s, 4
 643   ret i1 %c
 644 }
 645
 646 define i1 @lshrult_02_05(i4 %x) {
 647 ; CHECK-LABEL: @lshrult_02_05(
 648 ; CHECK-NEXT:    ret i1 true
 649 ;
 650   %s = lshr i4 %x, 2
 651   %c = icmp ult i4 %s, 5
 652   ret i1 %c
 653 }
 654
 655 define i1 @lshrult_02_06(i4 %x) {
 656 ; CHECK-LABEL: @lshrult_02_06(
 657 ; CHECK-NEXT:    ret i1 true
 658 ;
 659   %s = lshr i4 %x, 2
 660   %c = icmp ult i4 %s, 6
 661   ret i1 %c
 662 }
 663
 664 define i1 @lshrult_02_07(i4 %x) {
 665 ; CHECK-LABEL: @lshrult_02_07(
 666 ; CHECK-NEXT:    ret i1 true
 667 ;
 668   %s = lshr i4 %x, 2
 669   %c = icmp ult i4 %s, 7
 670   ret i1 %c
 671 }
 672
 673 define i1 @lshrult_02_08(i4 %x) {
 674 ; CHECK-LABEL: @lshrult_02_08(
 675 ; CHECK-NEXT:    ret i1 true
 676 ;
 677   %s = lshr i4 %x, 2
 678   %c = icmp ult i4 %s, 8
 679   ret i1 %c
 680 }
 681
 682 define i1 @lshrult_02_09(i4 %x) {
 683 ; CHECK-LABEL: @lshrult_02_09(
 684 ; CHECK-NEXT:    ret i1 true
 685 ;
 686   %s = lshr i4 %x, 2
 687   %c = icmp ult i4 %s, 9
 688   ret i1 %c
 689 }
 690
 691 define i1 @lshrult_02_10(i4 %x) {
 692 ; CHECK-LABEL: @lshrult_02_10(
 693 ; CHECK-NEXT:    ret i1 true
 694 ;
 695   %s = lshr i4 %x, 2
 696   %c = icmp ult i4 %s, 10
 697   ret i1 %c
 698 }
 699
 700 define i1 @lshrult_02_11(i4 %x) {
 701 ; CHECK-LABEL: @lshrult_02_11(
 702 ; CHECK-NEXT:    ret i1 true
 703 ;
 704   %s = lshr i4 %x, 2
 705   %c = icmp ult i4 %s, 11
 706   ret i1 %c
 707 }
 708
 709 define i1 @lshrult_02_12(i4 %x) {
 710 ; CHECK-LABEL: @lshrult_02_12(
 711 ; CHECK-NEXT:    ret i1 true
 712 ;
 713   %s = lshr i4 %x, 2
 714   %c = icmp ult i4 %s, 12
 715   ret i1 %c
 716 }
 717
 718 define i1 @lshrult_02_13(i4 %x) {
 719 ; CHECK-LABEL: @lshrult_02_13(
 720 ; CHECK-NEXT:    ret i1 true
 721 ;
 722   %s = lshr i4 %x, 2
 723   %c = icmp ult i4 %s, 13
 724   ret i1 %c
 725 }
 726
 727 define i1 @lshrult_02_14(i4 %x) {
 728 ; CHECK-LABEL: @lshrult_02_14(
 729 ; CHECK-NEXT:    ret i1 true
 730 ;
 731   %s = lshr i4 %x, 2
 732   %c = icmp ult i4 %s, 14
 733   ret i1 %c
 734 }
 735
 736 define i1 @lshrult_02_15(i4 %x) {
 737 ; CHECK-LABEL: @lshrult_02_15(
 738 ; CHECK-NEXT:    ret i1 true
 739 ;
 740   %s = lshr i4 %x, 2
 741   %c = icmp ult i4 %s, 15
 742   ret i1 %c
 743 }
 744
 745 define i1 @lshrult_03_00(i4 %x) {
 746 ; CHECK-LABEL: @lshrult_03_00(
 747 ; CHECK-NEXT:    ret i1 false
 748 ;
 749   %s = lshr i4 %x, 3
 750   %c = icmp ult i4 %s, 0
 751   ret i1 %c
 752 }
 753
 754 define i1 @lshrult_03_01(i4 %x) {
 755 ; CHECK-LABEL: @lshrult_03_01(
 756 ; CHECK-NEXT:    [[C:%.*]] = icmp sgt i4 [[X:%.*]], -1
 757 ; CHECK-NEXT:    ret i1 [[C]]
 758 ;
 759   %s = lshr i4 %x, 3
 760   %c = icmp ult i4 %s, 1
 761   ret i1 %c
 762 }
 763
 764 define i1 @lshrult_03_02(i4 %x) {
 765 ; CHECK-LABEL: @lshrult_03_02(
 766 ; CHECK-NEXT:    ret i1 true
 767 ;
 768   %s = lshr i4 %x, 3
 769   %c = icmp ult i4 %s, 2
 770   ret i1 %c
 771 }
 772
 773 define i1 @lshrult_03_03(i4 %x) {
 774 ; CHECK-LABEL: @lshrult_03_03(
 775 ; CHECK-NEXT:    ret i1 true
 776 ;
 777   %s = lshr i4 %x, 3
 778   %c = icmp ult i4 %s, 3
 779   ret i1 %c
 780 }
 781
 782 define i1 @lshrult_03_04(i4 %x) {
 783 ; CHECK-LABEL: @lshrult_03_04(
 784 ; CHECK-NEXT:    ret i1 true
 785 ;
 786   %s = lshr i4 %x, 3
 787   %c = icmp ult i4 %s, 4
 788   ret i1 %c
 789 }
 790
 791 define i1 @lshrult_03_05(i4 %x) {
 792 ; CHECK-LABEL: @lshrult_03_05(
 793 ; CHECK-NEXT:    ret i1 true
 794 ;
 795   %s = lshr i4 %x, 3
 796   %c = icmp ult i4 %s, 5
 797   ret i1 %c
 798 }
 799
 800 define i1 @lshrult_03_06(i4 %x) {
 801 ; CHECK-LABEL: @lshrult_03_06(
 802 ; CHECK-NEXT:    ret i1 true
 803 ;
 804   %s = lshr i4 %x, 3
 805   %c = icmp ult i4 %s, 6
 806   ret i1 %c
 807 }
 808
 809 define i1 @lshrult_03_07(i4 %x) {
 810 ; CHECK-LABEL: @lshrult_03_07(
 811 ; CHECK-NEXT:    ret i1 true
 812 ;
 813   %s = lshr i4 %x, 3
 814   %c = icmp ult i4 %s, 7
 815   ret i1 %c
 816 }
 817
 818 define i1 @lshrult_03_08(i4 %x) {
 819 ; CHECK-LABEL: @lshrult_03_08(
 820 ; CHECK-NEXT:    ret i1 true
 821 ;
 822   %s = lshr i4 %x, 3
 823   %c = icmp ult i4 %s, 8
 824   ret i1 %c
 825 }
 826
 827 define i1 @lshrult_03_09(i4 %x) {
 828 ; CHECK-LABEL: @lshrult_03_09(
 829 ; CHECK-NEXT:    ret i1 true
 830 ;
 831   %s = lshr i4 %x, 3
 832   %c = icmp ult i4 %s, 9
 833   ret i1 %c
 834 }
 835
 836 define i1 @lshrult_03_10(i4 %x) {
 837 ; CHECK-LABEL: @lshrult_03_10(
 838 ; CHECK-NEXT:    ret i1 true
 839 ;
 840   %s = lshr i4 %x, 3
 841   %c = icmp ult i4 %s, 10
 842   ret i1 %c
 843 }
 844
 845 define i1 @lshrult_03_11(i4 %x) {
 846 ; CHECK-LABEL: @lshrult_03_11(
 847 ; CHECK-NEXT:    ret i1 true
 848 ;
 849   %s = lshr i4 %x, 3
 850   %c = icmp ult i4 %s, 11
 851   ret i1 %c
 852 }
 853
 854 define i1 @lshrult_03_12(i4 %x) {
 855 ; CHECK-LABEL: @lshrult_03_12(
 856 ; CHECK-NEXT:    ret i1 true
 857 ;
 858   %s = lshr i4 %x, 3
 859   %c = icmp ult i4 %s, 12
 860   ret i1 %c
 861 }
 862
 863 define i1 @lshrult_03_13(i4 %x) {
 864 ; CHECK-LABEL: @lshrult_03_13(
 865 ; CHECK-NEXT:    ret i1 true
 866 ;
 867   %s = lshr i4 %x, 3
 868   %c = icmp ult i4 %s, 13
 869   ret i1 %c
 870 }
 871
 872 define i1 @lshrult_03_14(i4 %x) {
 873 ; CHECK-LABEL: @lshrult_03_14(
 874 ; CHECK-NEXT:    ret i1 true
 875 ;
 876   %s = lshr i4 %x, 3
 877   %c = icmp ult i4 %s, 14
 878   ret i1 %c
 879 }
 880
 881 define i1 @lshrult_03_15(i4 %x) {
 882 ; CHECK-LABEL: @lshrult_03_15(
 883 ; CHECK-NEXT:    ret i1 true
 884 ;
 885   %s = lshr i4 %x, 3
 886   %c = icmp ult i4 %s, 15
 887   ret i1 %c
 888 }
 889
 890 define i1 @ashrsgt_01_00(i4 %x) {
 891 ; CHECK-LABEL: @ashrsgt_01_00(
 892 ; CHECK-NEXT:    [[C:%.*]] = icmp sgt i4 [[X:%.*]], 1
 893 ; CHECK-NEXT:    ret i1 [[C]]
 894 ;
 895   %s = ashr i4 %x, 1
 896   %c = icmp sgt i4 %s, 0
 897   ret i1 %c
 898 }
 899
 900 define i1 @ashrsgt_01_01(i4 %x) {
 901 ; CHECK-LABEL: @ashrsgt_01_01(
 902 ; CHECK-NEXT:    [[C:%.*]] = icmp sgt i4 [[X:%.*]], 3
 903 ; CHECK-NEXT:    ret i1 [[C]]
 904 ;
 905   %s = ashr i4 %x, 1
 906   %c = icmp sgt i4 %s, 1
 907   ret i1 %c
 908 }
 909
 910 define i1 @ashrsgt_01_02(i4 %x) {
 911 ; CHECK-LABEL: @ashrsgt_01_02(
 912 ; CHECK-NEXT:    [[C:%.*]] = icmp sgt i4 [[X:%.*]], 5
 913 ; CHECK-NEXT:    ret i1 [[C]]
 914 ;
 915   %s = ashr i4 %x, 1
 916   %c = icmp sgt i4 %s, 2
 917   ret i1 %c
 918 }
 919
 920 define i1 @ashrsgt_01_03(i4 %x) {
 921 ; CHECK-LABEL: @ashrsgt_01_03(
 922 ; CHECK-NEXT:    ret i1 false
 923 ;
 924   %s = ashr i4 %x, 1
 925   %c = icmp sgt i4 %s, 3
 926   ret i1 %c
 927 }
 928
 929 define i1 @ashrsgt_01_04(i4 %x) {
 930 ; CHECK-LABEL: @ashrsgt_01_04(
 931 ; CHECK-NEXT:    ret i1 false
 932 ;
 933   %s = ashr i4 %x, 1
 934   %c = icmp sgt i4 %s, 4
 935   ret i1 %c
 936 }
 937
 938 define i1 @ashrsgt_01_05(i4 %x) {
 939 ; CHECK-LABEL: @ashrsgt_01_05(
 940 ; CHECK-NEXT:    ret i1 false
 941 ;
 942   %s = ashr i4 %x, 1
 943   %c = icmp sgt i4 %s, 5
 944   ret i1 %c
 945 }
 946
 947 define i1 @ashrsgt_01_06(i4 %x) {
 948 ; CHECK-LABEL: @ashrsgt_01_06(
 949 ; CHECK-NEXT:    ret i1 false
 950 ;
 951   %s = ashr i4 %x, 1
 952   %c = icmp sgt i4 %s, 6
 953   ret i1 %c
 954 }
 955
 956 define i1 @ashrsgt_01_07(i4 %x) {
 957 ; CHECK-LABEL: @ashrsgt_01_07(
 958 ; CHECK-NEXT:    ret i1 false
 959 ;
 960   %s = ashr i4 %x, 1
 961   %c = icmp sgt i4 %s, 7
 962   ret i1 %c
 963 }
 964
 965 define i1 @ashrsgt_01_08(i4 %x) {
 966 ; CHECK-LABEL: @ashrsgt_01_08(
 967 ; CHECK-NEXT:    ret i1 true
 968 ;
 969   %s = ashr i4 %x, 1
 970   %c = icmp sgt i4 %s, 8
 971   ret i1 %c
 972 }
 973
 974 define i1 @ashrsgt_01_09(i4 %x) {
 975 ; CHECK-LABEL: @ashrsgt_01_09(
 976 ; CHECK-NEXT:    ret i1 true
 977 ;
 978   %s = ashr i4 %x, 1
 979   %c = icmp sgt i4 %s, 9
 980   ret i1 %c
 981 }
 982
 983 define i1 @ashrsgt_01_10(i4 %x) {
 984 ; CHECK-LABEL: @ashrsgt_01_10(
 985 ; CHECK-NEXT:    ret i1 true
 986 ;
 987   %s = ashr i4 %x, 1
 988   %c = icmp sgt i4 %s, 10
 989   ret i1 %c
 990 }
 991
 992 define i1 @ashrsgt_01_11(i4 %x) {
 993 ; CHECK-LABEL: @ashrsgt_01_11(
 994 ; CHECK-NEXT:    ret i1 true
 995 ;
 996   %s = ashr i4 %x, 1
 997   %c = icmp sgt i4 %s, 11
 998   ret i1 %c
 999 }
1000
1001 define i1 @ashrsgt_01_12(i4 %x) {
1002 ; CHECK-LABEL: @ashrsgt_01_12(
1003 ; CHECK-NEXT:    [[C:%.*]] = icmp sgt i4 [[X:%.*]], -7
1004 ; CHECK-NEXT:    ret i1 [[C]]
1005 ;
1006   %s = ashr i4 %x, 1
1007   %c = icmp sgt i4 %s, 12
1008   ret i1 %c
1009 }
1010
1011 define i1 @ashrsgt_01_13(i4 %x) {
1012 ; CHECK-LABEL: @ashrsgt_01_13(
1013 ; CHECK-NEXT:    [[C:%.*]] = icmp sgt i4 [[X:%.*]], -5
1014 ; CHECK-NEXT:    ret i1 [[C]]
1015 ;
1016   %s = ashr i4 %x, 1
1017   %c = icmp sgt i4 %s, 13
1018   ret i1 %c
1019 }
1020
1021 define i1 @ashrsgt_01_14(i4 %x) {
1022 ; CHECK-LABEL: @ashrsgt_01_14(
1023 ; CHECK-NEXT:    [[C:%.*]] = icmp sgt i4 [[X:%.*]], -3
1024 ; CHECK-NEXT:    ret i1 [[C]]
1025 ;
1026   %s = ashr i4 %x, 1
1027   %c = icmp sgt i4 %s, 14
1028   ret i1 %c
1029 }
1030
1031 define i1 @ashrsgt_01_15(i4 %x) {
1032 ; CHECK-LABEL: @ashrsgt_01_15(
1033 ; CHECK-NEXT:    [[C:%.*]] = icmp sgt i4 [[X:%.*]], -1
1034 ; CHECK-NEXT:    ret i1 [[C]]
1035 ;
1036   %s = ashr i4 %x, 1
1037   %c = icmp sgt i4 %s, 15
1038   ret i1 %c
1039 }
1040
1041 define i1 @ashrsgt_02_00(i4 %x) {
1042 ; CHECK-LABEL: @ashrsgt_02_00(
1043 ; CHECK-NEXT:    [[C:%.*]] = icmp sgt i4 [[X:%.*]], 3
1044 ; CHECK-NEXT:    ret i1 [[C]]
1045 ;
1046   %s = ashr i4 %x, 2
1047   %c = icmp sgt i4 %s, 0
1048   ret i1 %c
1049 }
1050
1051 define i1 @ashrsgt_02_01(i4 %x) {
1052 ; CHECK-LABEL: @ashrsgt_02_01(
1053 ; CHECK-NEXT:    ret i1 false
1054 ;
1055   %s = ashr i4 %x, 2
1056   %c = icmp sgt i4 %s, 1
1057   ret i1 %c
1058 }
1059
1060 define i1 @ashrsgt_02_02(i4 %x) {
1061 ; CHECK-LABEL: @ashrsgt_02_02(
1062 ; CHECK-NEXT:    ret i1 false
1063 ;
1064   %s = ashr i4 %x, 2
1065   %c = icmp sgt i4 %s, 2
1066   ret i1 %c
1067 }
1068
1069 define i1 @ashrsgt_02_03(i4 %x) {
1070 ; CHECK-LABEL: @ashrsgt_02_03(
1071 ; CHECK-NEXT:    ret i1 false
1072 ;
1073   %s = ashr i4 %x, 2
1074   %c = icmp sgt i4 %s, 3
1075   ret i1 %c
1076 }
1077
1078 define i1 @ashrsgt_02_04(i4 %x) {
1079 ; CHECK-LABEL: @ashrsgt_02_04(
1080 ; CHECK-NEXT:    ret i1 false
1081 ;
1082   %s = ashr i4 %x, 2
1083   %c = icmp sgt i4 %s, 4
1084   ret i1 %c
1085 }
1086
1087 define i1 @ashrsgt_02_05(i4 %x) {
1088 ; CHECK-LABEL: @ashrsgt_02_05(
1089 ; CHECK-NEXT:    ret i1 false
1090 ;
1091   %s = ashr i4 %x, 2
1092   %c = icmp sgt i4 %s, 5
1093   ret i1 %c
1094 }
1095
1096 define i1 @ashrsgt_02_06(i4 %x) {
1097 ; CHECK-LABEL: @ashrsgt_02_06(
1098 ; CHECK-NEXT:    ret i1 false
1099 ;
1100   %s = ashr i4 %x, 2
1101   %c = icmp sgt i4 %s, 6
1102   ret i1 %c
1103 }
1104
1105 define i1 @ashrsgt_02_07(i4 %x) {
1106 ; CHECK-LABEL: @ashrsgt_02_07(
1107 ; CHECK-NEXT:    ret i1 false
1108 ;
1109   %s = ashr i4 %x, 2
1110   %c = icmp sgt i4 %s, 7
1111   ret i1 %c
1112 }
1113
1114 define i1 @ashrsgt_02_08(i4 %x) {
1115 ; CHECK-LABEL: @ashrsgt_02_08(
1116 ; CHECK-NEXT:    ret i1 true
1117 ;
1118   %s = ashr i4 %x, 2
1119   %c = icmp sgt i4 %s, 8
1120   ret i1 %c
1121 }
1122
1123 define i1 @ashrsgt_02_09(i4 %x) {
1124 ; CHECK-LABEL: @ashrsgt_02_09(
1125 ; CHECK-NEXT:    ret i1 true
1126 ;
1127   %s = ashr i4 %x, 2
1128   %c = icmp sgt i4 %s, 9
1129   ret i1 %c
1130 }
1131
1132 define i1 @ashrsgt_02_10(i4 %x) {
1133 ; CHECK-LABEL: @ashrsgt_02_10(
1134 ; CHECK-NEXT:    ret i1 true
1135 ;
1136   %s = ashr i4 %x, 2
1137   %c = icmp sgt i4 %s, 10
1138   ret i1 %c
1139 }
1140
1141 define i1 @ashrsgt_02_11(i4 %x) {
1142 ; CHECK-LABEL: @ashrsgt_02_11(
1143 ; CHECK-NEXT:    ret i1 true
1144 ;
1145   %s = ashr i4 %x, 2
1146   %c = icmp sgt i4 %s, 11
1147   ret i1 %c
1148 }
1149
1150 define i1 @ashrsgt_02_12(i4 %x) {
1151 ; CHECK-LABEL: @ashrsgt_02_12(
1152 ; CHECK-NEXT:    ret i1 true
1153 ;
1154   %s = ashr i4 %x, 2
1155   %c = icmp sgt i4 %s, 12
1156   ret i1 %c
1157 }
1158
1159 define i1 @ashrsgt_02_13(i4 %x) {
1160 ; CHECK-LABEL: @ashrsgt_02_13(
1161 ; CHECK-NEXT:    ret i1 true
1162 ;
1163   %s = ashr i4 %x, 2
1164   %c = icmp sgt i4 %s, 13
1165   ret i1 %c
1166 }
1167
1168 define i1 @ashrsgt_02_14(i4 %x) {
1169 ; CHECK-LABEL: @ashrsgt_02_14(
1170 ; CHECK-NEXT:    [[C:%.*]] = icmp sgt i4 [[X:%.*]], -5
1171 ; CHECK-NEXT:    ret i1 [[C]]
1172 ;
1173   %s = ashr i4 %x, 2
1174   %c = icmp sgt i4 %s, 14
1175   ret i1 %c
1176 }
1177
1178 define i1 @ashrsgt_02_15(i4 %x) {
1179 ; CHECK-LABEL: @ashrsgt_02_15(
1180 ; CHECK-NEXT:    [[C:%.*]] = icmp sgt i4 [[X:%.*]], -1
1181 ; CHECK-NEXT:    ret i1 [[C]]
1182 ;
1183   %s = ashr i4 %x, 2
1184   %c = icmp sgt i4 %s, 15
1185   ret i1 %c
1186 }
1187
1188 define i1 @ashrsgt_03_00(i4 %x) {
1189 ; CHECK-LABEL: @ashrsgt_03_00(
1190 ; CHECK-NEXT:    ret i1 false
1191 ;
1192   %s = ashr i4 %x, 3
1193   %c = icmp sgt i4 %s, 0
1194   ret i1 %c
1195 }
1196
1197 define i1 @ashrsgt_03_01(i4 %x) {
1198 ; CHECK-LABEL: @ashrsgt_03_01(
1199 ; CHECK-NEXT:    ret i1 false
1200 ;
1201   %s = ashr i4 %x, 3
1202   %c = icmp sgt i4 %s, 1
1203   ret i1 %c
1204 }
1205
1206 define i1 @ashrsgt_03_02(i4 %x) {
1207 ; CHECK-LABEL: @ashrsgt_03_02(
1208 ; CHECK-NEXT:    ret i1 false
1209 ;
1210   %s = ashr i4 %x, 3
1211   %c = icmp sgt i4 %s, 2
1212   ret i1 %c
1213 }
1214
1215 define i1 @ashrsgt_03_03(i4 %x) {
1216 ; CHECK-LABEL: @ashrsgt_03_03(
1217 ; CHECK-NEXT:    ret i1 false
1218 ;
1219   %s = ashr i4 %x, 3
1220   %c = icmp sgt i4 %s, 3
1221   ret i1 %c
1222 }
1223
1224 define i1 @ashrsgt_03_04(i4 %x) {
1225 ; CHECK-LABEL: @ashrsgt_03_04(
1226 ; CHECK-NEXT:    ret i1 false
1227 ;
1228   %s = ashr i4 %x, 3
1229   %c = icmp sgt i4 %s, 4
1230   ret i1 %c
1231 }
1232
1233 define i1 @ashrsgt_03_05(i4 %x) {
1234 ; CHECK-LABEL: @ashrsgt_03_05(
1235 ; CHECK-NEXT:    ret i1 false
1236 ;
1237   %s = ashr i4 %x, 3
1238   %c = icmp sgt i4 %s, 5
1239   ret i1 %c
1240 }
1241
1242 define i1 @ashrsgt_03_06(i4 %x) {
1243 ; CHECK-LABEL: @ashrsgt_03_06(
1244 ; CHECK-NEXT:    ret i1 false
1245 ;
1246   %s = ashr i4 %x, 3
1247   %c = icmp sgt i4 %s, 6
1248   ret i1 %c
1249 }
1250
1251 define i1 @ashrsgt_03_07(i4 %x) {
1252 ; CHECK-LABEL: @ashrsgt_03_07(
1253 ; CHECK-NEXT:    ret i1 false
1254 ;
1255   %s = ashr i4 %x, 3
1256   %c = icmp sgt i4 %s, 7
1257   ret i1 %c
1258 }
1259
1260 define i1 @ashrsgt_03_08(i4 %x) {
1261 ; CHECK-LABEL: @ashrsgt_03_08(
1262 ; CHECK-NEXT:    ret i1 true
1263 ;
1264   %s = ashr i4 %x, 3
1265   %c = icmp sgt i4 %s, 8
1266   ret i1 %c
1267 }
1268
1269 define i1 @ashrsgt_03_09(i4 %x) {
1270 ; CHECK-LABEL: @ashrsgt_03_09(
1271 ; CHECK-NEXT:    ret i1 true
1272 ;
1273   %s = ashr i4 %x, 3
1274   %c = icmp sgt i4 %s, 9
1275   ret i1 %c
1276 }
1277
1278 define i1 @ashrsgt_03_10(i4 %x) {
1279 ; CHECK-LABEL: @ashrsgt_03_10(
1280 ; CHECK-NEXT:    ret i1 true
1281 ;
1282   %s = ashr i4 %x, 3
1283   %c = icmp sgt i4 %s, 10
1284   ret i1 %c
1285 }
1286
1287 define i1 @ashrsgt_03_11(i4 %x) {
1288 ; CHECK-LABEL: @ashrsgt_03_11(
1289 ; CHECK-NEXT:    ret i1 true
1290 ;
1291   %s = ashr i4 %x, 3
1292   %c = icmp sgt i4 %s, 11
1293   ret i1 %c
1294 }
1295
1296 define i1 @ashrsgt_03_12(i4 %x) {
1297 ; CHECK-LABEL: @ashrsgt_03_12(
1298 ; CHECK-NEXT:    ret i1 true
1299 ;
1300   %s = ashr i4 %x, 3
1301   %c = icmp sgt i4 %s, 12
1302   ret i1 %c
1303 }
1304
1305 define i1 @ashrsgt_03_13(i4 %x) {
1306 ; CHECK-LABEL: @ashrsgt_03_13(
1307 ; CHECK-NEXT:    ret i1 true
1308 ;
1309   %s = ashr i4 %x, 3
1310   %c = icmp sgt i4 %s, 13
1311   ret i1 %c
1312 }
1313
1314 define i1 @ashrsgt_03_14(i4 %x) {
1315 ; CHECK-LABEL: @ashrsgt_03_14(
1316 ; CHECK-NEXT:    ret i1 true
1317 ;
1318   %s = ashr i4 %x, 3
1319   %c = icmp sgt i4 %s, 14
1320   ret i1 %c
1321 }
1322
1323 define i1 @ashrsgt_03_15(i4 %x) {
1324 ; CHECK-LABEL: @ashrsgt_03_15(
1325 ; CHECK-NEXT:    [[C:%.*]] = icmp sgt i4 [[X:%.*]], -1
1326 ; CHECK-NEXT:    ret i1 [[C]]
1327 ;
1328   %s = ashr i4 %x, 3
1329   %c = icmp sgt i4 %s, 15
1330   ret i1 %c
1331 }
1332
1333 define i1 @ashrslt_01_00(i4 %x) {
1334 ; CHECK-LABEL: @ashrslt_01_00(
1335 ; CHECK-NEXT:    [[C:%.*]] = icmp slt i4 [[X:%.*]], 0
1336 ; CHECK-NEXT:    ret i1 [[C]]
1337 ;
1338   %s = ashr i4 %x, 1
1339   %c = icmp slt i4 %s, 0
1340   ret i1 %c
1341 }
1342
1343 define i1 @ashrslt_01_01(i4 %x) {
1344 ; CHECK-LABEL: @ashrslt_01_01(
1345 ; CHECK-NEXT:    [[C:%.*]] = icmp slt i4 [[X:%.*]], 2
1346 ; CHECK-NEXT:    ret i1 [[C]]
1347 ;
1348   %s = ashr i4 %x, 1
1349   %c = icmp slt i4 %s, 1
1350   ret i1 %c
1351 }
1352
1353 define i1 @ashrslt_01_02(i4 %x) {
1354 ; CHECK-LABEL: @ashrslt_01_02(
1355 ; CHECK-NEXT:    [[C:%.*]] = icmp slt i4 [[X:%.*]], 4
1356 ; CHECK-NEXT:    ret i1 [[C]]
1357 ;
1358   %s = ashr i4 %x, 1
1359   %c = icmp slt i4 %s, 2
1360   ret i1 %c
1361 }
1362
1363 define i1 @ashrslt_01_03(i4 %x) {
1364 ; CHECK-LABEL: @ashrslt_01_03(
1365 ; CHECK-NEXT:    [[C:%.*]] = icmp slt i4 [[X:%.*]], 6
1366 ; CHECK-NEXT:    ret i1 [[C]]
1367 ;
1368   %s = ashr i4 %x, 1
1369   %c = icmp slt i4 %s, 3
1370   ret i1 %c
1371 }
1372
1373 define i1 @ashrslt_01_04(i4 %x) {
1374 ; CHECK-LABEL: @ashrslt_01_04(
1375 ; CHECK-NEXT:    ret i1 true
1376 ;
1377   %s = ashr i4 %x, 1
1378   %c = icmp slt i4 %s, 4
1379   ret i1 %c
1380 }
1381
1382 define i1 @ashrslt_01_05(i4 %x) {
1383 ; CHECK-LABEL: @ashrslt_01_05(
1384 ; CHECK-NEXT:    ret i1 true
1385 ;
1386   %s = ashr i4 %x, 1
1387   %c = icmp slt i4 %s, 5
1388   ret i1 %c
1389 }
1390
1391 define i1 @ashrslt_01_06(i4 %x) {
1392 ; CHECK-LABEL: @ashrslt_01_06(
1393 ; CHECK-NEXT:    ret i1 true
1394 ;
1395   %s = ashr i4 %x, 1
1396   %c = icmp slt i4 %s, 6
1397   ret i1 %c
1398 }
1399
1400 define i1 @ashrslt_01_07(i4 %x) {
1401 ; CHECK-LABEL: @ashrslt_01_07(
1402 ; CHECK-NEXT:    ret i1 true
1403 ;
1404   %s = ashr i4 %x, 1
1405   %c = icmp slt i4 %s, 7
1406   ret i1 %c
1407 }
1408
1409 define i1 @ashrslt_01_08(i4 %x) {
1410 ; CHECK-LABEL: @ashrslt_01_08(
1411 ; CHECK-NEXT:    ret i1 false
1412 ;
1413   %s = ashr i4 %x, 1
1414   %c = icmp slt i4 %s, 8
1415   ret i1 %c
1416 }
1417
1418 define i1 @ashrslt_01_09(i4 %x) {
1419 ; CHECK-LABEL: @ashrslt_01_09(
1420 ; CHECK-NEXT:    ret i1 false
1421 ;
1422   %s = ashr i4 %x, 1
1423   %c = icmp slt i4 %s, 9
1424   ret i1 %c
1425 }
1426
1427 define i1 @ashrslt_01_10(i4 %x) {
1428 ; CHECK-LABEL: @ashrslt_01_10(
1429 ; CHECK-NEXT:    ret i1 false
1430 ;
1431   %s = ashr i4 %x, 1
1432   %c = icmp slt i4 %s, 10
1433   ret i1 %c
1434 }
1435
1436 define i1 @ashrslt_01_11(i4 %x) {
1437 ; CHECK-LABEL: @ashrslt_01_11(
1438 ; CHECK-NEXT:    ret i1 false
1439 ;
1440   %s = ashr i4 %x, 1
1441   %c = icmp slt i4 %s, 11
1442   ret i1 %c
1443 }
1444
1445 define i1 @ashrslt_01_12(i4 %x) {
1446 ; CHECK-LABEL: @ashrslt_01_12(
1447 ; CHECK-NEXT:    ret i1 false
1448 ;
1449   %s = ashr i4 %x, 1
1450   %c = icmp slt i4 %s, 12
1451   ret i1 %c
1452 }
1453
1454 define i1 @ashrslt_01_13(i4 %x) {
1455 ; CHECK-LABEL: @ashrslt_01_13(
1456 ; CHECK-NEXT:    [[C:%.*]] = icmp slt i4 [[X:%.*]], -6
1457 ; CHECK-NEXT:    ret i1 [[C]]
1458 ;
1459   %s = ashr i4 %x, 1
1460   %c = icmp slt i4 %s, 13
1461   ret i1 %c
1462 }
1463
1464 define i1 @ashrslt_01_14(i4 %x) {
1465 ; CHECK-LABEL: @ashrslt_01_14(
1466 ; CHECK-NEXT:    [[C:%.*]] = icmp slt i4 [[X:%.*]], -4
1467 ; CHECK-NEXT:    ret i1 [[C]]
1468 ;
1469   %s = ashr i4 %x, 1
1470   %c = icmp slt i4 %s, 14
1471   ret i1 %c
1472 }
1473
1474 define i1 @ashrslt_01_15(i4 %x) {
1475 ; CHECK-LABEL: @ashrslt_01_15(
1476 ; CHECK-NEXT:    [[C:%.*]] = icmp slt i4 [[X:%.*]], -2
1477 ; CHECK-NEXT:    ret i1 [[C]]
1478 ;
1479   %s = ashr i4 %x, 1
1480   %c = icmp slt i4 %s, 15
1481   ret i1 %c
1482 }
1483
1484 define i1 @ashrslt_02_00(i4 %x) {
1485 ; CHECK-LABEL: @ashrslt_02_00(
1486 ; CHECK-NEXT:    [[C:%.*]] = icmp slt i4 [[X:%.*]], 0
1487 ; CHECK-NEXT:    ret i1 [[C]]
1488 ;
1489   %s = ashr i4 %x, 2
1490   %c = icmp slt i4 %s, 0
1491   ret i1 %c
1492 }
1493
1494 define i1 @ashrslt_02_01(i4 %x) {
1495 ; CHECK-LABEL: @ashrslt_02_01(
1496 ; CHECK-NEXT:    [[C:%.*]] = icmp slt i4 [[X:%.*]], 4
1497 ; CHECK-NEXT:    ret i1 [[C]]
1498 ;
1499   %s = ashr i4 %x, 2
1500   %c = icmp slt i4 %s, 1
1501   ret i1 %c
1502 }
1503
1504 define i1 @ashrslt_02_02(i4 %x) {
1505 ; CHECK-LABEL: @ashrslt_02_02(
1506 ; CHECK-NEXT:    ret i1 true
1507 ;
1508   %s = ashr i4 %x, 2
1509   %c = icmp slt i4 %s, 2
1510   ret i1 %c
1511 }
1512
1513 define i1 @ashrslt_02_03(i4 %x) {
1514 ; CHECK-LABEL: @ashrslt_02_03(
1515 ; CHECK-NEXT:    ret i1 true
1516 ;
1517   %s = ashr i4 %x, 2
1518   %c = icmp slt i4 %s, 3
1519   ret i1 %c
1520 }
1521
1522 define i1 @ashrslt_02_04(i4 %x) {
1523 ; CHECK-LABEL: @ashrslt_02_04(
1524 ; CHECK-NEXT:    ret i1 true
1525 ;
1526   %s = ashr i4 %x, 2
1527   %c = icmp slt i4 %s, 4
1528   ret i1 %c
1529 }
1530
1531 define i1 @ashrslt_02_05(i4 %x) {
1532 ; CHECK-LABEL: @ashrslt_02_05(
1533 ; CHECK-NEXT:    ret i1 true
1534 ;
1535   %s = ashr i4 %x, 2
1536   %c = icmp slt i4 %s, 5
1537   ret i1 %c
1538 }
1539
1540 define i1 @ashrslt_02_06(i4 %x) {
1541 ; CHECK-LABEL: @ashrslt_02_06(
1542 ; CHECK-NEXT:    ret i1 true
1543 ;
1544   %s = ashr i4 %x, 2
1545   %c = icmp slt i4 %s, 6
1546   ret i1 %c
1547 }
1548
1549 define i1 @ashrslt_02_07(i4 %x) {
1550 ; CHECK-LABEL: @ashrslt_02_07(
1551 ; CHECK-NEXT:    ret i1 true
1552 ;
1553   %s = ashr i4 %x, 2
1554   %c = icmp slt i4 %s, 7
1555   ret i1 %c
1556 }
1557
1558 define i1 @ashrslt_02_08(i4 %x) {
1559 ; CHECK-LABEL: @ashrslt_02_08(
1560 ; CHECK-NEXT:    ret i1 false
1561 ;
1562   %s = ashr i4 %x, 2
1563   %c = icmp slt i4 %s, 8
1564   ret i1 %c
1565 }
1566
1567 define i1 @ashrslt_02_09(i4 %x) {
1568 ; CHECK-LABEL: @ashrslt_02_09(
1569 ; CHECK-NEXT:    ret i1 false
1570 ;
1571   %s = ashr i4 %x, 2
1572   %c = icmp slt i4 %s, 9
1573   ret i1 %c
1574 }
1575
1576 define i1 @ashrslt_02_10(i4 %x) {
1577 ; CHECK-LABEL: @ashrslt_02_10(
1578 ; CHECK-NEXT:    ret i1 false
1579 ;
1580   %s = ashr i4 %x, 2
1581   %c = icmp slt i4 %s, 10
1582   ret i1 %c
1583 }
1584
1585 define i1 @ashrslt_02_11(i4 %x) {
1586 ; CHECK-LABEL: @ashrslt_02_11(
1587 ; CHECK-NEXT:    ret i1 false
1588 ;
1589   %s = ashr i4 %x, 2
1590   %c = icmp slt i4 %s, 11
1591   ret i1 %c
1592 }
1593
1594 define i1 @ashrslt_02_12(i4 %x) {
1595 ; CHECK-LABEL: @ashrslt_02_12(
1596 ; CHECK-NEXT:    ret i1 false
1597 ;
1598   %s = ashr i4 %x, 2
1599   %c = icmp slt i4 %s, 12
1600   ret i1 %c
1601 }
1602
1603 define i1 @ashrslt_02_13(i4 %x) {
1604 ; CHECK-LABEL: @ashrslt_02_13(
1605 ; CHECK-NEXT:    ret i1 false
1606 ;
1607   %s = ashr i4 %x, 2
1608   %c = icmp slt i4 %s, 13
1609   ret i1 %c
1610 }
1611
1612 define i1 @ashrslt_02_14(i4 %x) {
1613 ; CHECK-LABEL: @ashrslt_02_14(
1614 ; CHECK-NEXT:    ret i1 false
1615 ;
1616   %s = ashr i4 %x, 2
1617   %c = icmp slt i4 %s, 14
1618   ret i1 %c
1619 }
1620
1621 define i1 @ashrslt_02_15(i4 %x) {
1622 ; CHECK-LABEL: @ashrslt_02_15(
1623 ; CHECK-NEXT:    [[C:%.*]] = icmp slt i4 [[X:%.*]], -4
1624 ; CHECK-NEXT:    ret i1 [[C]]
1625 ;
1626   %s = ashr i4 %x, 2
1627   %c = icmp slt i4 %s, 15
1628   ret i1 %c
1629 }
1630
1631 define i1 @ashrslt_03_00(i4 %x) {
1632 ; CHECK-LABEL: @ashrslt_03_00(
1633 ; CHECK-NEXT:    [[C:%.*]] = icmp slt i4 [[X:%.*]], 0
1634 ; CHECK-NEXT:    ret i1 [[C]]
1635 ;
1636   %s = ashr i4 %x, 3
1637   %c = icmp slt i4 %s, 0
1638   ret i1 %c
1639 }
1640
1641 define i1 @ashrslt_03_01(i4 %x) {
1642 ; CHECK-LABEL: @ashrslt_03_01(
1643 ; CHECK-NEXT:    ret i1 true
1644 ;
1645   %s = ashr i4 %x, 3
1646   %c = icmp slt i4 %s, 1
1647   ret i1 %c
1648 }
1649
1650 define i1 @ashrslt_03_02(i4 %x) {
1651 ; CHECK-LABEL: @ashrslt_03_02(
1652 ; CHECK-NEXT:    ret i1 true
1653 ;
1654   %s = ashr i4 %x, 3
1655   %c = icmp slt i4 %s, 2
1656   ret i1 %c
1657 }
1658
1659 define i1 @ashrslt_03_03(i4 %x) {
1660 ; CHECK-LABEL: @ashrslt_03_03(
1661 ; CHECK-NEXT:    ret i1 true
1662 ;
1663   %s = ashr i4 %x, 3
1664   %c = icmp slt i4 %s, 3
1665   ret i1 %c
1666 }
1667
1668 define i1 @ashrslt_03_04(i4 %x) {
1669 ; CHECK-LABEL: @ashrslt_03_04(
1670 ; CHECK-NEXT:    ret i1 true
1671 ;
1672   %s = ashr i4 %x, 3
1673   %c = icmp slt i4 %s, 4
1674   ret i1 %c
1675 }
1676
1677 define i1 @ashrslt_03_05(i4 %x) {
1678 ; CHECK-LABEL: @ashrslt_03_05(
1679 ; CHECK-NEXT:    ret i1 true
1680 ;
1681   %s = ashr i4 %x, 3
1682   %c = icmp slt i4 %s, 5
1683   ret i1 %c
1684 }
1685
1686 define i1 @ashrslt_03_06(i4 %x) {
1687 ; CHECK-LABEL: @ashrslt_03_06(
1688 ; CHECK-NEXT:    ret i1 true
1689 ;
1690   %s = ashr i4 %x, 3
1691   %c = icmp slt i4 %s, 6
1692   ret i1 %c
1693 }
1694
1695 define i1 @ashrslt_03_07(i4 %x) {
1696 ; CHECK-LABEL: @ashrslt_03_07(
1697 ; CHECK-NEXT:    ret i1 true
1698 ;
1699   %s = ashr i4 %x, 3
1700   %c = icmp slt i4 %s, 7
1701   ret i1 %c
1702 }
1703
1704 define i1 @ashrslt_03_08(i4 %x) {
1705 ; CHECK-LABEL: @ashrslt_03_08(
1706 ; CHECK-NEXT:    ret i1 false
1707 ;
1708   %s = ashr i4 %x, 3
1709   %c = icmp slt i4 %s, 8
1710   ret i1 %c
1711 }
1712
1713 define i1 @ashrslt_03_09(i4 %x) {
1714 ; CHECK-LABEL: @ashrslt_03_09(
1715 ; CHECK-NEXT:    ret i1 false
1716 ;
1717   %s = ashr i4 %x, 3
1718   %c = icmp slt i4 %s, 9
1719   ret i1 %c
1720 }
1721
1722 define i1 @ashrslt_03_10(i4 %x) {
1723 ; CHECK-LABEL: @ashrslt_03_10(
1724 ; CHECK-NEXT:    ret i1 false
1725 ;
1726   %s = ashr i4 %x, 3
1727   %c = icmp slt i4 %s, 10
1728   ret i1 %c
1729 }
1730
1731 define i1 @ashrslt_03_11(i4 %x) {
1732 ; CHECK-LABEL: @ashrslt_03_11(
1733 ; CHECK-NEXT:    ret i1 false
1734 ;
1735   %s = ashr i4 %x, 3
1736   %c = icmp slt i4 %s, 11
1737   ret i1 %c
1738 }
1739
1740 define i1 @ashrslt_03_12(i4 %x) {
1741 ; CHECK-LABEL: @ashrslt_03_12(
1742 ; CHECK-NEXT:    ret i1 false
1743 ;
1744   %s = ashr i4 %x, 3
1745   %c = icmp slt i4 %s, 12
1746   ret i1 %c
1747 }
1748
1749 define i1 @ashrslt_03_13(i4 %x) {
1750 ; CHECK-LABEL: @ashrslt_03_13(
1751 ; CHECK-NEXT:    ret i1 false
1752 ;
1753   %s = ashr i4 %x, 3
1754   %c = icmp slt i4 %s, 13
1755   ret i1 %c
1756 }
1757
1758 define i1 @ashrslt_03_14(i4 %x) {
1759 ; CHECK-LABEL: @ashrslt_03_14(
1760 ; CHECK-NEXT:    ret i1 false
1761 ;
1762   %s = ashr i4 %x, 3
1763   %c = icmp slt i4 %s, 14
1764   ret i1 %c
1765 }
1766
1767 define i1 @ashrslt_03_15(i4 %x) {
1768 ; CHECK-LABEL: @ashrslt_03_15(
1769 ; CHECK-NEXT:    ret i1 false
1770 ;
1771   %s = ashr i4 %x, 3
1772   %c = icmp slt i4 %s, 15
1773   ret i1 %c
1774 }
1775
1776 define i1 @lshrugt_01_00_exact(i4 %x) {
1777 ; CHECK-LABEL: @lshrugt_01_00_exact(
1778 ; CHECK-NEXT:    [[C:%.*]] = icmp ne i4 [[X:%.*]], 0
1779 ; CHECK-NEXT:    ret i1 [[C]]
1780 ;
1781   %s = lshr exact i4 %x, 1
1782   %c = icmp ugt i4 %s, 0
1783   ret i1 %c
1784 }
1785
1786 define i1 @lshrugt_01_01_exact(i4 %x) {
1787 ; CHECK-LABEL: @lshrugt_01_01_exact(
1788 ; CHECK-NEXT:    [[C:%.*]] = icmp ugt i4 [[X:%.*]], 2
1789 ; CHECK-NEXT:    ret i1 [[C]]
1790 ;
1791   %s = lshr exact i4 %x, 1
1792   %c = icmp ugt i4 %s, 1
1793   ret i1 %c
1794 }
1795
1796 define i1 @lshrugt_01_02_exact(i4 %x) {
1797 ; CHECK-LABEL: @lshrugt_01_02_exact(
1798 ; CHECK-NEXT:    [[C:%.*]] = icmp ugt i4 [[X:%.*]], 4
1799 ; CHECK-NEXT:    ret i1 [[C]]
1800 ;
1801   %s = lshr exact i4 %x, 1
1802   %c = icmp ugt i4 %s, 2
1803   ret i1 %c
1804 }
1805
1806 define i1 @lshrugt_01_03_exact(i4 %x) {
1807 ; CHECK-LABEL: @lshrugt_01_03_exact(
1808 ; CHECK-NEXT:    [[C:%.*]] = icmp ugt i4 [[X:%.*]], 6
1809 ; CHECK-NEXT:    ret i1 [[C]]
1810 ;
1811   %s = lshr exact i4 %x, 1
1812   %c = icmp ugt i4 %s, 3
1813   ret i1 %c
1814 }
1815
1816 define i1 @lshrugt_01_04_exact(i4 %x) {
1817 ; CHECK-LABEL: @lshrugt_01_04_exact(
1818 ; CHECK-NEXT:    [[C:%.*]] = icmp ugt i4 [[X:%.*]], -8
1819 ; CHECK-NEXT:    ret i1 [[C]]
1820 ;
1821   %s = lshr exact i4 %x, 1
1822   %c = icmp ugt i4 %s, 4
1823   ret i1 %c
1824 }
1825
1826 define i1 @lshrugt_01_05_exact(i4 %x) {
1827 ; CHECK-LABEL: @lshrugt_01_05_exact(
1828 ; CHECK-NEXT:    [[C:%.*]] = icmp ugt i4 [[X:%.*]], -6
1829 ; CHECK-NEXT:    ret i1 [[C]]
1830 ;
1831   %s = lshr exact i4 %x, 1
1832   %c = icmp ugt i4 %s, 5
1833   ret i1 %c
1834 }
1835
1836 define i1 @lshrugt_01_06_exact(i4 %x) {
1837 ; CHECK-LABEL: @lshrugt_01_06_exact(
1838 ; CHECK-NEXT:    [[C:%.*]] = icmp eq i4 [[X:%.*]], -2
1839 ; CHECK-NEXT:    ret i1 [[C]]
1840 ;
1841   %s = lshr exact i4 %x, 1
1842   %c = icmp ugt i4 %s, 6
1843   ret i1 %c
1844 }
1845
1846 define i1 @lshrugt_01_07_exact(i4 %x) {
1847 ; CHECK-LABEL: @lshrugt_01_07_exact(
1848 ; CHECK-NEXT:    ret i1 false
1849 ;
1850   %s = lshr exact i4 %x, 1
1851   %c = icmp ugt i4 %s, 7
1852   ret i1 %c
1853 }
1854
1855 define i1 @lshrugt_01_08_exact(i4 %x) {
1856 ; CHECK-LABEL: @lshrugt_01_08_exact(
1857 ; CHECK-NEXT:    ret i1 false
1858 ;
1859   %s = lshr exact i4 %x, 1
1860   %c = icmp ugt i4 %s, 8
1861   ret i1 %c
1862 }
1863
1864 define i1 @lshrugt_01_09_exact(i4 %x) {
1865 ; CHECK-LABEL: @lshrugt_01_09_exact(
1866 ; CHECK-NEXT:    ret i1 false
1867 ;
1868   %s = lshr exact i4 %x, 1
1869   %c = icmp ugt i4 %s, 9
1870   ret i1 %c
1871 }
1872
1873 define i1 @lshrugt_01_10_exact(i4 %x) {
1874 ; CHECK-LABEL: @lshrugt_01_10_exact(
1875 ; CHECK-NEXT:    ret i1 false
1876 ;
1877   %s = lshr exact i4 %x, 1
1878   %c = icmp ugt i4 %s, 10
1879   ret i1 %c
1880 }
1881
1882 define i1 @lshrugt_01_11_exact(i4 %x) {
1883 ; CHECK-LABEL: @lshrugt_01_11_exact(
1884 ; CHECK-NEXT:    ret i1 false
1885 ;
1886   %s = lshr exact i4 %x, 1
1887   %c = icmp ugt i4 %s, 11
1888   ret i1 %c
1889 }
1890
1891 define i1 @lshrugt_01_12_exact(i4 %x) {
1892 ; CHECK-LABEL: @lshrugt_01_12_exact(
1893 ; CHECK-NEXT:    ret i1 false
1894 ;
1895   %s = lshr exact i4 %x, 1
1896   %c = icmp ugt i4 %s, 12
1897   ret i1 %c
1898 }
1899
1900 define i1 @lshrugt_01_13_exact(i4 %x) {
1901 ; CHECK-LABEL: @lshrugt_01_13_exact(
1902 ; CHECK-NEXT:    ret i1 false
1903 ;
1904   %s = lshr exact i4 %x, 1
1905   %c = icmp ugt i4 %s, 13
1906   ret i1 %c
1907 }
1908
1909 define i1 @lshrugt_01_14_exact(i4 %x) {
1910 ; CHECK-LABEL: @lshrugt_01_14_exact(
1911 ; CHECK-NEXT:    ret i1 false
1912 ;
1913   %s = lshr exact i4 %x, 1
1914   %c = icmp ugt i4 %s, 14
1915   ret i1 %c
1916 }
1917
1918 define i1 @lshrugt_01_15_exact(i4 %x) {
1919 ; CHECK-LABEL: @lshrugt_01_15_exact(
1920 ; CHECK-NEXT:    ret i1 false
1921 ;
1922   %s = lshr exact i4 %x, 1
1923   %c = icmp ugt i4 %s, 15
1924   ret i1 %c
1925 }
1926
1927 define i1 @lshrugt_02_00_exact(i4 %x) {
1928 ; CHECK-LABEL: @lshrugt_02_00_exact(
1929 ; CHECK-NEXT:    [[C:%.*]] = icmp ne i4 [[X:%.*]], 0
1930 ; CHECK-NEXT:    ret i1 [[C]]
1931 ;
1932   %s = lshr exact i4 %x, 2
1933   %c = icmp ugt i4 %s, 0
1934   ret i1 %c
1935 }
1936
1937 define i1 @lshrugt_02_01_exact(i4 %x) {
1938 ; CHECK-LABEL: @lshrugt_02_01_exact(
1939 ; CHECK-NEXT:    [[C:%.*]] = icmp ugt i4 [[X:%.*]], 4
1940 ; CHECK-NEXT:    ret i1 [[C]]
1941 ;
1942   %s = lshr exact i4 %x, 2
1943   %c = icmp ugt i4 %s, 1
1944   ret i1 %c
1945 }
1946
1947 define i1 @lshrugt_02_02_exact(i4 %x) {
1948 ; CHECK-LABEL: @lshrugt_02_02_exact(
1949 ; CHECK-NEXT:    [[C:%.*]] = icmp eq i4 [[X:%.*]], -4
1950 ; CHECK-NEXT:    ret i1 [[C]]
1951 ;
1952   %s = lshr exact i4 %x, 2
1953   %c = icmp ugt i4 %s, 2
1954   ret i1 %c
1955 }
1956
1957 define i1 @lshrugt_02_03_exact(i4 %x) {
1958 ; CHECK-LABEL: @lshrugt_02_03_exact(
1959 ; CHECK-NEXT:    ret i1 false
1960 ;
1961   %s = lshr exact i4 %x, 2
1962   %c = icmp ugt i4 %s, 3
1963   ret i1 %c
1964 }
1965
1966 define i1 @lshrugt_02_04_exact(i4 %x) {
1967 ; CHECK-LABEL: @lshrugt_02_04_exact(
1968 ; CHECK-NEXT:    ret i1 false
1969 ;
1970   %s = lshr exact i4 %x, 2
1971   %c = icmp ugt i4 %s, 4
1972   ret i1 %c
1973 }
1974
1975 define i1 @lshrugt_02_05_exact(i4 %x) {
1976 ; CHECK-LABEL: @lshrugt_02_05_exact(
1977 ; CHECK-NEXT:    ret i1 false
1978 ;
1979   %s = lshr exact i4 %x, 2
1980   %c = icmp ugt i4 %s, 5
1981   ret i1 %c
1982 }
1983
1984 define i1 @lshrugt_02_06_exact(i4 %x) {
1985 ; CHECK-LABEL: @lshrugt_02_06_exact(
1986 ; CHECK-NEXT:    ret i1 false
1987 ;
1988   %s = lshr exact i4 %x, 2
1989   %c = icmp ugt i4 %s, 6
1990   ret i1 %c
1991 }
1992
1993 define i1 @lshrugt_02_07_exact(i4 %x) {
1994 ; CHECK-LABEL: @lshrugt_02_07_exact(
1995 ; CHECK-NEXT:    ret i1 false
1996 ;
1997   %s = lshr exact i4 %x, 2
1998   %c = icmp ugt i4 %s, 7
1999   ret i1 %c
2000 }
2001
2002 define i1 @lshrugt_02_08_exact(i4 %x) {
2003 ; CHECK-LABEL: @lshrugt_02_08_exact(
2004 ; CHECK-NEXT:    ret i1 false
2005 ;
2006   %s = lshr exact i4 %x, 2
2007   %c = icmp ugt i4 %s, 8
2008   ret i1 %c
2009 }
2010
2011 define i1 @lshrugt_02_09_exact(i4 %x) {
2012 ; CHECK-LABEL: @lshrugt_02_09_exact(
2013 ; CHECK-NEXT:    ret i1 false
2014 ;
2015   %s = lshr exact i4 %x, 2
2016   %c = icmp ugt i4 %s, 9
2017   ret i1 %c
2018 }
2019
2020 define i1 @lshrugt_02_10_exact(i4 %x) {
2021 ; CHECK-LABEL: @lshrugt_02_10_exact(
2022 ; CHECK-NEXT:    ret i1 false
2023 ;
2024   %s = lshr exact i4 %x, 2
2025   %c = icmp ugt i4 %s, 10
2026   ret i1 %c
2027 }
2028
2029 define i1 @lshrugt_02_11_exact(i4 %x) {
2030 ; CHECK-LABEL: @lshrugt_02_11_exact(
2031 ; CHECK-NEXT:    ret i1 false
2032 ;
2033   %s = lshr exact i4 %x, 2
2034   %c = icmp ugt i4 %s, 11
2035   ret i1 %c
2036 }
2037
2038 define i1 @lshrugt_02_12_exact(i4 %x) {
2039 ; CHECK-LABEL: @lshrugt_02_12_exact(
2040 ; CHECK-NEXT:    ret i1 false
2041 ;
2042   %s = lshr exact i4 %x, 2
2043   %c = icmp ugt i4 %s, 12
2044   ret i1 %c
2045 }
2046
2047 define i1 @lshrugt_02_13_exact(i4 %x) {
2048 ; CHECK-LABEL: @lshrugt_02_13_exact(
2049 ; CHECK-NEXT:    ret i1 false
2050 ;
2051   %s = lshr exact i4 %x, 2
2052   %c = icmp ugt i4 %s, 13
2053   ret i1 %c
2054 }
2055
2056 define i1 @lshrugt_02_14_exact(i4 %x) {
2057 ; CHECK-LABEL: @lshrugt_02_14_exact(
2058 ; CHECK-NEXT:    ret i1 false
2059 ;
2060   %s = lshr exact i4 %x, 2
2061   %c = icmp ugt i4 %s, 14
2062   ret i1 %c
2063 }
2064
2065 define i1 @lshrugt_02_15_exact(i4 %x) {
2066 ; CHECK-LABEL: @lshrugt_02_15_exact(
2067 ; CHECK-NEXT:    ret i1 false
2068 ;
2069   %s = lshr exact i4 %x, 2
2070   %c = icmp ugt i4 %s, 15
2071   ret i1 %c
2072 }
2073
2074 define i1 @lshrugt_03_00_exact(i4 %x) {
2075 ; CHECK-LABEL: @lshrugt_03_00_exact(
2076 ; CHECK-NEXT:    [[C:%.*]] = icmp ne i4 [[X:%.*]], 0
2077 ; CHECK-NEXT:    ret i1 [[C]]
2078 ;
2079   %s = lshr exact i4 %x, 3
2080   %c = icmp ugt i4 %s, 0
2081   ret i1 %c
2082 }
2083
2084 define i1 @lshrugt_03_01_exact(i4 %x) {
2085 ; CHECK-LABEL: @lshrugt_03_01_exact(
2086 ; CHECK-NEXT:    ret i1 false
2087 ;
2088   %s = lshr exact i4 %x, 3
2089   %c = icmp ugt i4 %s, 1
2090   ret i1 %c
2091 }
2092
2093 define i1 @lshrugt_03_02_exact(i4 %x) {
2094 ; CHECK-LABEL: @lshrugt_03_02_exact(
2095 ; CHECK-NEXT:    ret i1 false
2096 ;
2097   %s = lshr exact i4 %x, 3
2098   %c = icmp ugt i4 %s, 2
2099   ret i1 %c
2100 }
2101
2102 define i1 @lshrugt_03_03_exact(i4 %x) {
2103 ; CHECK-LABEL: @lshrugt_03_03_exact(
2104 ; CHECK-NEXT:    ret i1 false
2105 ;
2106   %s = lshr exact i4 %x, 3
2107   %c = icmp ugt i4 %s, 3
2108   ret i1 %c
2109 }
2110
2111 define i1 @lshrugt_03_04_exact(i4 %x) {
2112 ; CHECK-LABEL: @lshrugt_03_04_exact(
2113 ; CHECK-NEXT:    ret i1 false
2114 ;
2115   %s = lshr exact i4 %x, 3
2116   %c = icmp ugt i4 %s, 4
2117   ret i1 %c
2118 }
2119
2120 define i1 @lshrugt_03_05_exact(i4 %x) {
2121 ; CHECK-LABEL: @lshrugt_03_05_exact(
2122 ; CHECK-NEXT:    ret i1 false
2123 ;
2124   %s = lshr exact i4 %x, 3
2125   %c = icmp ugt i4 %s, 5
2126   ret i1 %c
2127 }
2128
2129 define i1 @lshrugt_03_06_exact(i4 %x) {
2130 ; CHECK-LABEL: @lshrugt_03_06_exact(
2131 ; CHECK-NEXT:    ret i1 false
2132 ;
2133   %s = lshr exact i4 %x, 3
2134   %c = icmp ugt i4 %s, 6
2135   ret i1 %c
2136 }
2137
2138 define i1 @lshrugt_03_07_exact(i4 %x) {
2139 ; CHECK-LABEL: @lshrugt_03_07_exact(
2140 ; CHECK-NEXT:    ret i1 false
2141 ;
2142   %s = lshr exact i4 %x, 3
2143   %c = icmp ugt i4 %s, 7
2144   ret i1 %c
2145 }
2146
2147 define i1 @lshrugt_03_08_exact(i4 %x) {
2148 ; CHECK-LABEL: @lshrugt_03_08_exact(
2149 ; CHECK-NEXT:    ret i1 false
2150 ;
2151   %s = lshr exact i4 %x, 3
2152   %c = icmp ugt i4 %s, 8
2153   ret i1 %c
2154 }
2155
2156 define i1 @lshrugt_03_09_exact(i4 %x) {
2157 ; CHECK-LABEL: @lshrugt_03_09_exact(
2158 ; CHECK-NEXT:    ret i1 false
2159 ;
2160   %s = lshr exact i4 %x, 3
2161   %c = icmp ugt i4 %s, 9
2162   ret i1 %c
2163 }
2164
2165 define i1 @lshrugt_03_10_exact(i4 %x) {
2166 ; CHECK-LABEL: @lshrugt_03_10_exact(
2167 ; CHECK-NEXT:    ret i1 false
2168 ;
2169   %s = lshr exact i4 %x, 3
2170   %c = icmp ugt i4 %s, 10
2171   ret i1 %c
2172 }
2173
2174 define i1 @lshrugt_03_11_exact(i4 %x) {
2175 ; CHECK-LABEL: @lshrugt_03_11_exact(
2176 ; CHECK-NEXT:    ret i1 false
2177 ;
2178   %s = lshr exact i4 %x, 3
2179   %c = icmp ugt i4 %s, 11
2180   ret i1 %c
2181 }
2182
2183 define i1 @lshrugt_03_12_exact(i4 %x) {
2184 ; CHECK-LABEL: @lshrugt_03_12_exact(
2185 ; CHECK-NEXT:    ret i1 false
2186 ;
2187   %s = lshr exact i4 %x, 3
2188   %c = icmp ugt i4 %s, 12
2189   ret i1 %c
2190 }
2191
2192 define i1 @lshrugt_03_13_exact(i4 %x) {
2193 ; CHECK-LABEL: @lshrugt_03_13_exact(
2194 ; CHECK-NEXT:    ret i1 false
2195 ;
2196   %s = lshr exact i4 %x, 3
2197   %c = icmp ugt i4 %s, 13
2198   ret i1 %c
2199 }
2200
2201 define i1 @lshrugt_03_14_exact(i4 %x) {
2202 ; CHECK-LABEL: @lshrugt_03_14_exact(
2203 ; CHECK-NEXT:    ret i1 false
2204 ;
2205   %s = lshr exact i4 %x, 3
2206   %c = icmp ugt i4 %s, 14
2207   ret i1 %c
2208 }
2209
2210 define i1 @lshrugt_03_15_exact(i4 %x) {
2211 ; CHECK-LABEL: @lshrugt_03_15_exact(
2212 ; CHECK-NEXT:    ret i1 false
2213 ;
2214   %s = lshr exact i4 %x, 3
2215   %c = icmp ugt i4 %s, 15
2216   ret i1 %c
2217 }
2218
2219 define i1 @ashr_eq_exact(i8 %x) {
2220 ; CHECK-LABEL: @ashr_eq_exact(
2221 ; CHECK-NEXT:    [[C:%.*]] = icmp eq i8 [[X:%.*]], 80
2222 ; CHECK-NEXT:    ret i1 [[C]]
2223 ;
2224   %s = ashr exact i8 %x, 3
2225   %c = icmp eq i8 %s, 10
2226   ret i1 %c
2227 }
2228
2229 define i1 @ashr_ne_exact(i8 %x) {
2230 ; CHECK-LABEL: @ashr_ne_exact(
2231 ; CHECK-NEXT:    [[C:%.*]] = icmp ne i8 [[X:%.*]], 80
2232 ; CHECK-NEXT:    ret i1 [[C]]
2233 ;
2234   %s = ashr exact i8 %x, 3
2235   %c = icmp ne i8 %s, 10
2236   ret i1 %c
2237 }
2238
2239 define i1 @ashr_ugt_exact(i8 %x) {
2240 ; CHECK-LABEL: @ashr_ugt_exact(
2241 ; CHECK-NEXT:    [[C:%.*]] = icmp ugt i8 [[X:%.*]], 80
2242 ; CHECK-NEXT:    ret i1 [[C]]
2243 ;
2244   %s = ashr exact i8 %x, 3
2245   %c = icmp ugt i8 %s, 10
2246   ret i1 %c
2247 }
2248
2249
2250 define i1 @ashr_uge_exact(i8 %x) {
2251 ; CHECK-LABEL: @ashr_uge_exact(
2252 ; CHECK-NEXT:    [[C:%.*]] = icmp ugt i8 [[X:%.*]], 72
2253 ; CHECK-NEXT:    ret i1 [[C]]
2254 ;
2255   %s = ashr exact i8 %x, 3
2256   %c = icmp uge i8 %s, 10
2257   ret i1 %c
2258 }
2259
2260 define i1 @ashr_ult_exact(i8 %x) {
2261 ; CHECK-LABEL: @ashr_ult_exact(
2262 ; CHECK-NEXT:    [[C:%.*]] = icmp ult i8 [[X:%.*]], 80
2263 ; CHECK-NEXT:    ret i1 [[C]]
2264 ;
2265   %s = ashr exact i8 %x, 3
2266   %c = icmp ult i8 %s, 10
2267   ret i1 %c
2268 }
2269
2270
2271 define i1 @ashr_ule_exact(i8 %x) {
2272 ; CHECK-LABEL: @ashr_ule_exact(
2273 ; CHECK-NEXT:    [[C:%.*]] = icmp ult i8 [[X:%.*]], 88
2274 ; CHECK-NEXT:    ret i1 [[C]]
2275 ;
2276   %s = ashr exact i8 %x, 3
2277   %c = icmp ule i8 %s, 10
2278   ret i1 %c
2279 }
2280
2281
2282 define i1 @ashr_sgt_exact(i8 %x) {
2283 ; CHECK-LABEL: @ashr_sgt_exact(
2284 ; CHECK-NEXT:    [[C:%.*]] = icmp sgt i8 [[X:%.*]], 80
2285 ; CHECK-NEXT:    ret i1 [[C]]
2286 ;
2287   %s = ashr exact i8 %x, 3
2288   %c = icmp sgt i8 %s, 10
2289   ret i1 %c
2290 }
2291
2292
2293 define i1 @ashr_sge_exact(i8 %x) {
2294 ; CHECK-LABEL: @ashr_sge_exact(
2295 ; CHECK-NEXT:    [[C:%.*]] = icmp sgt i8 [[X:%.*]], 72
2296 ; CHECK-NEXT:    ret i1 [[C]]
2297 ;
2298   %s = ashr exact i8 %x, 3
2299   %c = icmp sge i8 %s, 10
2300   ret i1 %c
2301 }
2302
2303 define i1 @ashr_slt_exact(i8 %x) {
2304 ; CHECK-LABEL: @ashr_slt_exact(
2305 ; CHECK-NEXT:    [[C:%.*]] = icmp slt i8 [[X:%.*]], 80
2306 ; CHECK-NEXT:    ret i1 [[C]]
2307 ;
2308   %s = ashr exact i8 %x, 3
2309   %c = icmp slt i8 %s, 10
2310   ret i1 %c
2311 }
2312
2313 define i1 @ashr_sle_exact(i8 %x) {
2314 ; CHECK-LABEL: @ashr_sle_exact(
2315 ; CHECK-NEXT:    [[C:%.*]] = icmp slt i8 [[X:%.*]], 88
2316 ; CHECK-NEXT:    ret i1 [[C]]
2317 ;
2318   %s = ashr exact i8 %x, 3
2319   %c = icmp sle i8 %s, 10
2320   ret i1 %c
2321 }
2322
2323 define i1 @ashr_eq_noexact(i8 %x) {
2324 ; CHECK-LABEL: @ashr_eq_noexact(
2325 ; CHECK-NEXT:    [[S_MASK:%.*]] = and i8 [[X:%.*]], -8
2326 ; CHECK-NEXT:    [[C:%.*]] = icmp eq i8 [[S_MASK]], 80
2327 ; CHECK-NEXT:    ret i1 [[C]]
2328 ;
2329   %s = ashr i8 %x, 3
2330   %c = icmp eq i8 %s, 10
2331   ret i1 %c
2332 }
2333
2334 define i1 @ashr_ne_noexact(i8 %x) {
2335 ; CHECK-LABEL: @ashr_ne_noexact(
2336 ; CHECK-NEXT:    [[S_MASK:%.*]] = and i8 [[X:%.*]], -8
2337 ; CHECK-NEXT:    [[C:%.*]] = icmp ne i8 [[S_MASK]], 80
2338 ; CHECK-NEXT:    ret i1 [[C]]
2339 ;
2340   %s = ashr i8 %x, 3
2341   %c = icmp ne i8 %s, 10
2342   ret i1 %c
2343 }
2344
2345 define i1 @ashr_ugt_noexact(i8 %x) {
2346 ; CHECK-LABEL: @ashr_ugt_noexact(
2347 ; CHECK-NEXT:    [[C:%.*]] = icmp ugt i8 [[X:%.*]], 87
2348 ; CHECK-NEXT:    ret i1 [[C]]
2349 ;
2350   %s = ashr i8 %x, 3
2351   %c = icmp ugt i8 %s, 10
2352   ret i1 %c
2353 }
2354
2355
2356 define i1 @ashr_uge_noexact(i8 %x) {
2357 ; CHECK-LABEL: @ashr_uge_noexact(
2358 ; CHECK-NEXT:    [[C:%.*]] = icmp ugt i8 [[X:%.*]], 79
2359 ; CHECK-NEXT:    ret i1 [[C]]
2360 ;
2361   %s = ashr i8 %x, 3
2362   %c = icmp uge i8 %s, 10
2363   ret i1 %c
2364 }
2365
2366 define i1 @ashr_ult_noexact(i8 %x) {
2367 ; CHECK-LABEL: @ashr_ult_noexact(
2368 ; CHECK-NEXT:    [[C:%.*]] = icmp ult i8 [[X:%.*]], 80
2369 ; CHECK-NEXT:    ret i1 [[C]]
2370 ;
2371   %s = ashr i8 %x, 3
2372   %c = icmp ult i8 %s, 10
2373   ret i1 %c
2374 }
2375
2376
2377 define i1 @ashr_ule_noexact(i8 %x) {
2378 ; CHECK-LABEL: @ashr_ule_noexact(
2379 ; CHECK-NEXT:    [[C:%.*]] = icmp ult i8 [[X:%.*]], 88
2380 ; CHECK-NEXT:    ret i1 [[C]]
2381 ;
2382   %s = ashr i8 %x, 3
2383   %c = icmp ule i8 %s, 10
2384   ret i1 %c
2385 }
2386
2387
2388 define i1 @ashr_sgt_noexact(i8 %x) {
2389 ; CHECK-LABEL: @ashr_sgt_noexact(
2390 ; CHECK-NEXT:    [[C:%.*]] = icmp sgt i8 [[X:%.*]], 87
2391 ; CHECK-NEXT:    ret i1 [[C]]
2392 ;
2393   %s = ashr i8 %x, 3
2394   %c = icmp sgt i8 %s, 10
2395   ret i1 %c
2396 }
2397
2398
2399 define i1 @ashr_sge_noexact(i8 %x) {
2400 ; CHECK-LABEL: @ashr_sge_noexact(
2401 ; CHECK-NEXT:    [[C:%.*]] = icmp sgt i8 [[X:%.*]], 79
2402 ; CHECK-NEXT:    ret i1 [[C]]
2403 ;
2404   %s = ashr i8 %x, 3
2405   %c = icmp sge i8 %s, 10
2406   ret i1 %c
2407 }
2408
2409 define i1 @ashr_slt_noexact(i8 %x) {
2410 ; CHECK-LABEL: @ashr_slt_noexact(
2411 ; CHECK-NEXT:    [[C:%.*]] = icmp slt i8 [[X:%.*]], 80
2412 ; CHECK-NEXT:    ret i1 [[C]]
2413 ;
2414   %s = ashr i8 %x, 3
2415   %c = icmp slt i8 %s, 10
2416   ret i1 %c
2417 }
2418
2419 define i1 @ashr_sle_noexact(i8 %x) {
2420 ; CHECK-LABEL: @ashr_sle_noexact(
2421 ; CHECK-NEXT:    [[C:%.*]] = icmp slt i8 [[X:%.*]], 88
2422 ; CHECK-NEXT:    ret i1 [[C]]
2423 ;
2424   %s = ashr i8 %x, 3
2425   %c = icmp sle i8 %s, 10
2426   ret i1 %c
2427 }
2428
2429 define i1 @ashr_00_00_ashr_extra_use(i8 %x, i8* %ptr) {
2430 ; CHECK-LABEL: @ashr_00_00_ashr_extra_use(
2431 ; CHECK-NEXT:    [[S:%.*]] = ashr exact i8 [[X:%.*]], 3
2432 ; CHECK-NEXT:    [[C:%.*]] = icmp ult i8 [[X]], 88
2433 ; CHECK-NEXT:    store i8 [[S]], i8* [[PTR:%.*]], align 1
2434 ; CHECK-NEXT:    ret i1 [[C]]
2435 ;
2436   %s = ashr exact i8 %x, 3
2437   %c = icmp ule i8 %s, 10
2438   store i8 %s, i8* %ptr
2439   ret i1 %c
2440 }
2441
2442 define <4 x i1> @ashr_00_00_vec(<4 x i8> %x) {
2443 ; CHECK-LABEL: @ashr_00_00_vec(
2444 ; CHECK-NEXT:    [[C:%.*]] = icmp ult <4 x i8> [[X:%.*]], <i8 88, i8 88, i8 88, i8 88>
2445 ; CHECK-NEXT:    ret <4 x i1> [[C]]
2446 ;
2447   %s = ashr exact <4 x i8> %x, <i8 3,i8 3, i8 3, i8 3>
2448   %c = icmp ule <4 x i8> %s, <i8 10,i8 10,i8 10,i8 10>
2449   ret <4 x i1> %c
2450 }
2451
2452 define i1 @ashr_sgt_overflow(i8 %x) {
2453 ; CHECK-LABEL: @ashr_sgt_overflow(
2454 ; CHECK-NEXT:    ret i1 false
2455 ;
2456   %s = ashr i8 %x, 1
2457   %c = icmp sgt i8 %s, 63
2458   ret i1 %c
2459 }
2460
2461 define i1 @lshrult_01_00_exact(i4 %x) {
2462 ; CHECK-LABEL: @lshrult_01_00_exact(
2463 ; CHECK-NEXT:    ret i1 false
2464 ;
2465   %s = lshr exact i4 %x, 1
2466   %c = icmp ult i4 %s, 0
2467   ret i1 %c
2468 }
2469
2470 define i1 @lshrult_01_01_exact(i4 %x) {
2471 ; CHECK-LABEL: @lshrult_01_01_exact(
2472 ; CHECK-NEXT:    [[C:%.*]] = icmp eq i4 [[X:%.*]], 0
2473 ; CHECK-NEXT:    ret i1 [[C]]
2474 ;
2475   %s = lshr exact i4 %x, 1
2476   %c = icmp ult i4 %s, 1
2477   ret i1 %c
2478 }
2479
2480 define i1 @lshrult_01_02_exact(i4 %x) {
2481 ; CHECK-LABEL: @lshrult_01_02_exact(
2482 ; CHECK-NEXT:    [[C:%.*]] = icmp ult i4 [[X:%.*]], 4
2483 ; CHECK-NEXT:    ret i1 [[C]]
2484 ;
2485   %s = lshr exact i4 %x, 1
2486   %c = icmp ult i4 %s, 2
2487   ret i1 %c
2488 }
2489
2490 define i1 @lshrult_01_03_exact(i4 %x) {
2491 ; CHECK-LABEL: @lshrult_01_03_exact(
2492 ; CHECK-NEXT:    [[C:%.*]] = icmp ult i4 [[X:%.*]], 6
2493 ; CHECK-NEXT:    ret i1 [[C]]
2494 ;
2495   %s = lshr exact i4 %x, 1
2496   %c = icmp ult i4 %s, 3
2497   ret i1 %c
2498 }
2499
2500 define i1 @lshrult_01_04_exact(i4 %x) {
2501 ; CHECK-LABEL: @lshrult_01_04_exact(
2502 ; CHECK-NEXT:    [[C:%.*]] = icmp sgt i4 [[X:%.*]], -1
2503 ; CHECK-NEXT:    ret i1 [[C]]
2504 ;
2505   %s = lshr exact i4 %x, 1
2506   %c = icmp ult i4 %s, 4
2507   ret i1 %c
2508 }
2509
2510 define i1 @lshrult_01_05_exact(i4 %x) {
2511 ; CHECK-LABEL: @lshrult_01_05_exact(
2512 ; CHECK-NEXT:    [[C:%.*]] = icmp ult i4 [[X:%.*]], -6
2513 ; CHECK-NEXT:    ret i1 [[C]]
2514 ;
2515   %s = lshr exact i4 %x, 1
2516   %c = icmp ult i4 %s, 5
2517   ret i1 %c
2518 }
2519
2520 define i1 @lshrult_01_06_exact(i4 %x) {
2521 ; CHECK-LABEL: @lshrult_01_06_exact(
2522 ; CHECK-NEXT:    [[C:%.*]] = icmp ult i4 [[X:%.*]], -4
2523 ; CHECK-NEXT:    ret i1 [[C]]
2524 ;
2525   %s = lshr exact i4 %x, 1
2526   %c = icmp ult i4 %s, 6
2527   ret i1 %c
2528 }
2529
2530 define i1 @lshrult_01_07_exact(i4 %x) {
2531 ; CHECK-LABEL: @lshrult_01_07_exact(
2532 ; CHECK-NEXT:    [[C:%.*]] = icmp ne i4 [[X:%.*]], -2
2533 ; CHECK-NEXT:    ret i1 [[C]]
2534 ;
2535   %s = lshr exact i4 %x, 1
2536   %c = icmp ult i4 %s, 7
2537   ret i1 %c
2538 }
2539
2540 define i1 @lshrult_01_08_exact(i4 %x) {
2541 ; CHECK-LABEL: @lshrult_01_08_exact(
2542 ; CHECK-NEXT:    ret i1 true
2543 ;
2544   %s = lshr exact i4 %x, 1
2545   %c = icmp ult i4 %s, 8
2546   ret i1 %c
2547 }
2548
2549 define i1 @lshrult_01_09_exact(i4 %x) {
2550 ; CHECK-LABEL: @lshrult_01_09_exact(
2551 ; CHECK-NEXT:    ret i1 true
2552 ;
2553   %s = lshr exact i4 %x, 1
2554   %c = icmp ult i4 %s, 9
2555   ret i1 %c
2556 }
2557
2558 define i1 @lshrult_01_10_exact(i4 %x) {
2559 ; CHECK-LABEL: @lshrult_01_10_exact(
2560 ; CHECK-NEXT:    ret i1 true
2561 ;
2562   %s = lshr exact i4 %x, 1
2563   %c = icmp ult i4 %s, 10
2564   ret i1 %c
2565 }
2566
2567 define i1 @lshrult_01_11_exact(i4 %x) {
2568 ; CHECK-LABEL: @lshrult_01_11_exact(
2569 ; CHECK-NEXT:    ret i1 true
2570 ;
2571   %s = lshr exact i4 %x, 1
2572   %c = icmp ult i4 %s, 11
2573   ret i1 %c
2574 }
2575
2576 define i1 @lshrult_01_12_exact(i4 %x) {
2577 ; CHECK-LABEL: @lshrult_01_12_exact(
2578 ; CHECK-NEXT:    ret i1 true
2579 ;
2580   %s = lshr exact i4 %x, 1
2581   %c = icmp ult i4 %s, 12
2582   ret i1 %c
2583 }
2584
2585 define i1 @lshrult_01_13_exact(i4 %x) {
2586 ; CHECK-LABEL: @lshrult_01_13_exact(
2587 ; CHECK-NEXT:    ret i1 true
2588 ;
2589   %s = lshr exact i4 %x, 1
2590   %c = icmp ult i4 %s, 13
2591   ret i1 %c
2592 }
2593
2594 define i1 @lshrult_01_14_exact(i4 %x) {
2595 ; CHECK-LABEL: @lshrult_01_14_exact(
2596 ; CHECK-NEXT:    ret i1 true
2597 ;
2598   %s = lshr exact i4 %x, 1
2599   %c = icmp ult i4 %s, 14
2600   ret i1 %c
2601 }
2602
2603 define i1 @lshrult_01_15_exact(i4 %x) {
2604 ; CHECK-LABEL: @lshrult_01_15_exact(
2605 ; CHECK-NEXT:    ret i1 true
2606 ;
2607   %s = lshr exact i4 %x, 1
2608   %c = icmp ult i4 %s, 15
2609   ret i1 %c
2610 }
2611
2612 define i1 @lshrult_02_00_exact(i4 %x) {
2613 ; CHECK-LABEL: @lshrult_02_00_exact(
2614 ; CHECK-NEXT:    ret i1 false
2615 ;
2616   %s = lshr exact i4 %x, 2
2617   %c = icmp ult i4 %s, 0
2618   ret i1 %c
2619 }
2620
2621 define i1 @lshrult_02_01_exact(i4 %x) {
2622 ; CHECK-LABEL: @lshrult_02_01_exact(
2623 ; CHECK-NEXT:    [[C:%.*]] = icmp eq i4 [[X:%.*]], 0
2624 ; CHECK-NEXT:    ret i1 [[C]]
2625 ;
2626   %s = lshr exact i4 %x, 2
2627   %c = icmp ult i4 %s, 1
2628   ret i1 %c
2629 }
2630
2631 define i1 @lshrult_02_02_exact(i4 %x) {
2632 ; CHECK-LABEL: @lshrult_02_02_exact(
2633 ; CHECK-NEXT:    [[C:%.*]] = icmp sgt i4 [[X:%.*]], -1
2634 ; CHECK-NEXT:    ret i1 [[C]]
2635 ;
2636   %s = lshr exact i4 %x, 2
2637   %c = icmp ult i4 %s, 2
2638   ret i1 %c
2639 }
2640
2641 define i1 @lshrult_02_03_exact(i4 %x) {
2642 ; CHECK-LABEL: @lshrult_02_03_exact(
2643 ; CHECK-NEXT:    [[C:%.*]] = icmp ne i4 [[X:%.*]], -4
2644 ; CHECK-NEXT:    ret i1 [[C]]
2645 ;
2646   %s = lshr exact i4 %x, 2
2647   %c = icmp ult i4 %s, 3
2648   ret i1 %c
2649 }
2650
2651 define i1 @lshrult_02_04_exact(i4 %x) {
2652 ; CHECK-LABEL: @lshrult_02_04_exact(
2653 ; CHECK-NEXT:    ret i1 true
2654 ;
2655   %s = lshr exact i4 %x, 2
2656   %c = icmp ult i4 %s, 4
2657   ret i1 %c
2658 }
2659
2660 define i1 @lshrult_02_05_exact(i4 %x) {
2661 ; CHECK-LABEL: @lshrult_02_05_exact(
2662 ; CHECK-NEXT:    ret i1 true
2663 ;
2664   %s = lshr exact i4 %x, 2
2665   %c = icmp ult i4 %s, 5
2666   ret i1 %c
2667 }
2668
2669 define i1 @lshrult_02_06_exact(i4 %x) {
2670 ; CHECK-LABEL: @lshrult_02_06_exact(
2671 ; CHECK-NEXT:    ret i1 true
2672 ;
2673   %s = lshr exact i4 %x, 2
2674   %c = icmp ult i4 %s, 6
2675   ret i1 %c
2676 }
2677
2678 define i1 @lshrult_02_07_exact(i4 %x) {
2679 ; CHECK-LABEL: @lshrult_02_07_exact(
2680 ; CHECK-NEXT:    ret i1 true
2681 ;
2682   %s = lshr exact i4 %x, 2
2683   %c = icmp ult i4 %s, 7
2684   ret i1 %c
2685 }
2686
2687 define i1 @lshrult_02_08_exact(i4 %x) {
2688 ; CHECK-LABEL: @lshrult_02_08_exact(
2689 ; CHECK-NEXT:    ret i1 true
2690 ;
2691   %s = lshr exact i4 %x, 2
2692   %c = icmp ult i4 %s, 8
2693   ret i1 %c
2694 }
2695
2696 define i1 @lshrult_02_09_exact(i4 %x) {
2697 ; CHECK-LABEL: @lshrult_02_09_exact(
2698 ; CHECK-NEXT:    ret i1 true
2699 ;
2700   %s = lshr exact i4 %x, 2
2701   %c = icmp ult i4 %s, 9
2702   ret i1 %c
2703 }
2704
2705 define i1 @lshrult_02_10_exact(i4 %x) {
2706 ; CHECK-LABEL: @lshrult_02_10_exact(
2707 ; CHECK-NEXT:    ret i1 true
2708 ;
2709   %s = lshr exact i4 %x, 2
2710   %c = icmp ult i4 %s, 10
2711   ret i1 %c
2712 }
2713
2714 define i1 @lshrult_02_11_exact(i4 %x) {
2715 ; CHECK-LABEL: @lshrult_02_11_exact(
2716 ; CHECK-NEXT:    ret i1 true
2717 ;
2718   %s = lshr exact i4 %x, 2
2719   %c = icmp ult i4 %s, 11
2720   ret i1 %c
2721 }
2722
2723 define i1 @lshrult_02_12_exact(i4 %x) {
2724 ; CHECK-LABEL: @lshrult_02_12_exact(
2725 ; CHECK-NEXT:    ret i1 true
2726 ;
2727   %s = lshr exact i4 %x, 2
2728   %c = icmp ult i4 %s, 12
2729   ret i1 %c
2730 }
2731
2732 define i1 @lshrult_02_13_exact(i4 %x) {
2733 ; CHECK-LABEL: @lshrult_02_13_exact(
2734 ; CHECK-NEXT:    ret i1 true
2735 ;
2736   %s = lshr exact i4 %x, 2
2737   %c = icmp ult i4 %s, 13
2738   ret i1 %c
2739 }
2740
2741 define i1 @lshrult_02_14_exact(i4 %x) {
2742 ; CHECK-LABEL: @lshrult_02_14_exact(
2743 ; CHECK-NEXT:    ret i1 true
2744 ;
2745   %s = lshr exact i4 %x, 2
2746   %c = icmp ult i4 %s, 14
2747   ret i1 %c
2748 }
2749
2750 define i1 @lshrult_02_15_exact(i4 %x) {
2751 ; CHECK-LABEL: @lshrult_02_15_exact(
2752 ; CHECK-NEXT:    ret i1 true
2753 ;
2754   %s = lshr exact i4 %x, 2
2755   %c = icmp ult i4 %s, 15
2756   ret i1 %c
2757 }
2758
2759 define i1 @lshrult_03_00_exact(i4 %x) {
2760 ; CHECK-LABEL: @lshrult_03_00_exact(
2761 ; CHECK-NEXT:    ret i1 false
2762 ;
2763   %s = lshr exact i4 %x, 3
2764   %c = icmp ult i4 %s, 0
2765   ret i1 %c
2766 }
2767
2768 define i1 @lshrult_03_01_exact(i4 %x) {
2769 ; CHECK-LABEL: @lshrult_03_01_exact(
2770 ; CHECK-NEXT:    [[C:%.*]] = icmp ne i4 [[X:%.*]], -8
2771 ; CHECK-NEXT:    ret i1 [[C]]
2772 ;
2773   %s = lshr exact i4 %x, 3
2774   %c = icmp ult i4 %s, 1
2775   ret i1 %c
2776 }
2777
2778 define i1 @lshrult_03_02_exact(i4 %x) {
2779 ; CHECK-LABEL: @lshrult_03_02_exact(
2780 ; CHECK-NEXT:    ret i1 true
2781 ;
2782   %s = lshr exact i4 %x, 3
2783   %c = icmp ult i4 %s, 2
2784   ret i1 %c
2785 }
2786
2787 define i1 @lshrult_03_03_exact(i4 %x) {
2788 ; CHECK-LABEL: @lshrult_03_03_exact(
2789 ; CHECK-NEXT:    ret i1 true
2790 ;
2791   %s = lshr exact i4 %x, 3
2792   %c = icmp ult i4 %s, 3
2793   ret i1 %c
2794 }
2795
2796 define i1 @lshrult_03_04_exact(i4 %x) {
2797 ; CHECK-LABEL: @lshrult_03_04_exact(
2798 ; CHECK-NEXT:    ret i1 true
2799 ;
2800   %s = lshr exact i4 %x, 3
2801   %c = icmp ult i4 %s, 4
2802   ret i1 %c
2803 }
2804
2805 define i1 @lshrult_03_05_exact(i4 %x) {
2806 ; CHECK-LABEL: @lshrult_03_05_exact(
2807 ; CHECK-NEXT:    ret i1 true
2808 ;
2809   %s = lshr exact i4 %x, 3
2810   %c = icmp ult i4 %s, 5
2811   ret i1 %c
2812 }
2813
2814 define i1 @lshrult_03_06_exact(i4 %x) {
2815 ; CHECK-LABEL: @lshrult_03_06_exact(
2816 ; CHECK-NEXT:    ret i1 true
2817 ;
2818   %s = lshr exact i4 %x, 3
2819   %c = icmp ult i4 %s, 6
2820   ret i1 %c
2821 }
2822
2823 define i1 @lshrult_03_07_exact(i4 %x) {
2824 ; CHECK-LABEL: @lshrult_03_07_exact(
2825 ; CHECK-NEXT:    ret i1 true
2826 ;
2827   %s = lshr exact i4 %x, 3
2828   %c = icmp ult i4 %s, 7
2829   ret i1 %c
2830 }
2831
2832 define i1 @lshrult_03_08_exact(i4 %x) {
2833 ; CHECK-LABEL: @lshrult_03_08_exact(
2834 ; CHECK-NEXT:    ret i1 true
2835 ;
2836   %s = lshr exact i4 %x, 3
2837   %c = icmp ult i4 %s, 8
2838   ret i1 %c
2839 }
2840
2841 define i1 @lshrult_03_09_exact(i4 %x) {
2842 ; CHECK-LABEL: @lshrult_03_09_exact(
2843 ; CHECK-NEXT:    ret i1 true
2844 ;
2845   %s = lshr exact i4 %x, 3
2846   %c = icmp ult i4 %s, 9
2847   ret i1 %c
2848 }
2849
2850 define i1 @lshrult_03_10_exact(i4 %x) {
2851 ; CHECK-LABEL: @lshrult_03_10_exact(
2852 ; CHECK-NEXT:    ret i1 true
2853 ;
2854   %s = lshr exact i4 %x, 3
2855   %c = icmp ult i4 %s, 10
2856   ret i1 %c
2857 }
2858
2859 define i1 @lshrult_03_11_exact(i4 %x) {
2860 ; CHECK-LABEL: @lshrult_03_11_exact(
2861 ; CHECK-NEXT:    ret i1 true
2862 ;
2863   %s = lshr exact i4 %x, 3
2864   %c = icmp ult i4 %s, 11
2865   ret i1 %c
2866 }
2867
2868 define i1 @lshrult_03_12_exact(i4 %x) {
2869 ; CHECK-LABEL: @lshrult_03_12_exact(
2870 ; CHECK-NEXT:    ret i1 true
2871 ;
2872   %s = lshr exact i4 %x, 3
2873   %c = icmp ult i4 %s, 12
2874   ret i1 %c
2875 }
2876
2877 define i1 @lshrult_03_13_exact(i4 %x) {
2878 ; CHECK-LABEL: @lshrult_03_13_exact(
2879 ; CHECK-NEXT:    ret i1 true
2880 ;
2881   %s = lshr exact i4 %x, 3
2882   %c = icmp ult i4 %s, 13
2883   ret i1 %c
2884 }
2885
2886 define i1 @lshrult_03_14_exact(i4 %x) {
2887 ; CHECK-LABEL: @lshrult_03_14_exact(
2888 ; CHECK-NEXT:    ret i1 true
2889 ;
2890   %s = lshr exact i4 %x, 3
2891   %c = icmp ult i4 %s, 14
2892   ret i1 %c
2893 }
2894
2895 define i1 @lshrult_03_15_exact(i4 %x) {
2896 ; CHECK-LABEL: @lshrult_03_15_exact(
2897 ; CHECK-NEXT:    ret i1 true
2898 ;
2899   %s = lshr exact i4 %x, 3
2900   %c = icmp ult i4 %s, 15
2901   ret i1 %c
2902 }
2903
2904 define i1 @ashrsgt_01_00_exact(i4 %x) {
2905 ; CHECK-LABEL: @ashrsgt_01_00_exact(
2906 ; CHECK-NEXT:    [[C:%.*]] = icmp sgt i4 [[X:%.*]], 0
2907 ; CHECK-NEXT:    ret i1 [[C]]
2908 ;
2909   %s = ashr exact i4 %x, 1
2910   %c = icmp sgt i4 %s, 0
2911   ret i1 %c
2912 }
2913
2914 define i1 @ashrsgt_01_01_exact(i4 %x) {
2915 ; CHECK-LABEL: @ashrsgt_01_01_exact(
2916 ; CHECK-NEXT:    [[C:%.*]] = icmp sgt i4 [[X:%.*]], 2
2917 ; CHECK-NEXT:    ret i1 [[C]]
2918 ;
2919   %s = ashr exact i4 %x, 1
2920   %c = icmp sgt i4 %s, 1
2921   ret i1 %c
2922 }
2923
2924 define i1 @ashrsgt_01_02_exact(i4 %x) {
2925 ; CHECK-LABEL: @ashrsgt_01_02_exact(
2926 ; CHECK-NEXT:    [[C:%.*]] = icmp sgt i4 [[X:%.*]], 4
2927 ; CHECK-NEXT:    ret i1 [[C]]
2928 ;
2929   %s = ashr exact i4 %x, 1
2930   %c = icmp sgt i4 %s, 2
2931   ret i1 %c
2932 }
2933
2934 define i1 @ashrsgt_01_03_exact(i4 %x) {
2935 ; CHECK-LABEL: @ashrsgt_01_03_exact(
2936 ; CHECK-NEXT:    ret i1 false
2937 ;
2938   %s = ashr exact i4 %x, 1
2939   %c = icmp sgt i4 %s, 3
2940   ret i1 %c
2941 }
2942
2943 define i1 @ashrsgt_01_04_exact(i4 %x) {
2944 ; CHECK-LABEL: @ashrsgt_01_04_exact(
2945 ; CHECK-NEXT:    ret i1 false
2946 ;
2947   %s = ashr exact i4 %x, 1
2948   %c = icmp sgt i4 %s, 4
2949   ret i1 %c
2950 }
2951
2952 define i1 @ashrsgt_01_05_exact(i4 %x) {
2953 ; CHECK-LABEL: @ashrsgt_01_05_exact(
2954 ; CHECK-NEXT:    ret i1 false
2955 ;
2956   %s = ashr exact i4 %x, 1
2957   %c = icmp sgt i4 %s, 5
2958   ret i1 %c
2959 }
2960
2961 define i1 @ashrsgt_01_06_exact(i4 %x) {
2962 ; CHECK-LABEL: @ashrsgt_01_06_exact(
2963 ; CHECK-NEXT:    ret i1 false
2964 ;
2965   %s = ashr exact i4 %x, 1
2966   %c = icmp sgt i4 %s, 6
2967   ret i1 %c
2968 }
2969
2970 define i1 @ashrsgt_01_07_exact(i4 %x) {
2971 ; CHECK-LABEL: @ashrsgt_01_07_exact(
2972 ; CHECK-NEXT:    ret i1 false
2973 ;
2974   %s = ashr exact i4 %x, 1
2975   %c = icmp sgt i4 %s, 7
2976   ret i1 %c
2977 }
2978
2979 define i1 @ashrsgt_01_08_exact(i4 %x) {
2980 ; CHECK-LABEL: @ashrsgt_01_08_exact(
2981 ; CHECK-NEXT:    ret i1 true
2982 ;
2983   %s = ashr exact i4 %x, 1
2984   %c = icmp sgt i4 %s, 8
2985   ret i1 %c
2986 }
2987
2988 define i1 @ashrsgt_01_09_exact(i4 %x) {
2989 ; CHECK-LABEL: @ashrsgt_01_09_exact(
2990 ; CHECK-NEXT:    ret i1 true
2991 ;
2992   %s = ashr exact i4 %x, 1
2993   %c = icmp sgt i4 %s, 9
2994   ret i1 %c
2995 }
2996
2997 define i1 @ashrsgt_01_10_exact(i4 %x) {
2998 ; CHECK-LABEL: @ashrsgt_01_10_exact(
2999 ; CHECK-NEXT:    ret i1 true
3000 ;
3001   %s = ashr exact i4 %x, 1
3002   %c = icmp sgt i4 %s, 10
3003   ret i1 %c
3004 }
3005
3006 define i1 @ashrsgt_01_11_exact(i4 %x) {
3007 ; CHECK-LABEL: @ashrsgt_01_11_exact(
3008 ; CHECK-NEXT:    ret i1 true
3009 ;
3010   %s = ashr exact i4 %x, 1
3011   %c = icmp sgt i4 %s, 11
3012   ret i1 %c
3013 }
3014
3015 define i1 @ashrsgt_01_12_exact(i4 %x) {
3016 ; CHECK-LABEL: @ashrsgt_01_12_exact(
3017 ; CHECK-NEXT:    [[C:%.*]] = icmp ne i4 [[X:%.*]], -8
3018 ; CHECK-NEXT:    ret i1 [[C]]
3019 ;
3020   %s = ashr exact i4 %x, 1
3021   %c = icmp sgt i4 %s, 12
3022   ret i1 %c
3023 }
3024
3025 define i1 @ashrsgt_01_13_exact(i4 %x) {
3026 ; CHECK-LABEL: @ashrsgt_01_13_exact(
3027 ; CHECK-NEXT:    [[C:%.*]] = icmp sgt i4 [[X:%.*]], -6
3028 ; CHECK-NEXT:    ret i1 [[C]]
3029 ;
3030   %s = ashr exact i4 %x, 1
3031   %c = icmp sgt i4 %s, 13
3032   ret i1 %c
3033 }
3034
3035 define i1 @ashrsgt_01_14_exact(i4 %x) {
3036 ; CHECK-LABEL: @ashrsgt_01_14_exact(
3037 ; CHECK-NEXT:    [[C:%.*]] = icmp sgt i4 [[X:%.*]], -4
3038 ; CHECK-NEXT:    ret i1 [[C]]
3039 ;
3040   %s = ashr exact i4 %x, 1
3041   %c = icmp sgt i4 %s, 14
3042   ret i1 %c
3043 }
3044
3045 define i1 @ashrsgt_01_15_exact(i4 %x) {
3046 ; CHECK-LABEL: @ashrsgt_01_15_exact(
3047 ; CHECK-NEXT:    [[C:%.*]] = icmp sgt i4 [[X:%.*]], -1
3048 ; CHECK-NEXT:    ret i1 [[C]]
3049 ;
3050   %s = ashr exact i4 %x, 1
3051   %c = icmp sgt i4 %s, 15
3052   ret i1 %c
3053 }
3054
3055 define i1 @ashrsgt_02_00_exact(i4 %x) {
3056 ; CHECK-LABEL: @ashrsgt_02_00_exact(
3057 ; CHECK-NEXT:    [[C:%.*]] = icmp sgt i4 [[X:%.*]], 0
3058 ; CHECK-NEXT:    ret i1 [[C]]
3059 ;
3060   %s = ashr exact i4 %x, 2
3061   %c = icmp sgt i4 %s, 0
3062   ret i1 %c
3063 }
3064
3065 define i1 @ashrsgt_02_01_exact(i4 %x) {
3066 ; CHECK-LABEL: @ashrsgt_02_01_exact(
3067 ; CHECK-NEXT:    ret i1 false
3068 ;
3069   %s = ashr exact i4 %x, 2
3070   %c = icmp sgt i4 %s, 1
3071   ret i1 %c
3072 }
3073
3074 define i1 @ashrsgt_02_02_exact(i4 %x) {
3075 ; CHECK-LABEL: @ashrsgt_02_02_exact(
3076 ; CHECK-NEXT:    ret i1 false
3077 ;
3078   %s = ashr exact i4 %x, 2
3079   %c = icmp sgt i4 %s, 2
3080   ret i1 %c
3081 }
3082
3083 define i1 @ashrsgt_02_03_exact(i4 %x) {
3084 ; CHECK-LABEL: @ashrsgt_02_03_exact(
3085 ; CHECK-NEXT:    ret i1 false
3086 ;
3087   %s = ashr exact i4 %x, 2
3088   %c = icmp sgt i4 %s, 3
3089   ret i1 %c
3090 }
3091
3092 define i1 @ashrsgt_02_04_exact(i4 %x) {
3093 ; CHECK-LABEL: @ashrsgt_02_04_exact(
3094 ; CHECK-NEXT:    ret i1 false
3095 ;
3096   %s = ashr exact i4 %x, 2
3097   %c = icmp sgt i4 %s, 4
3098   ret i1 %c
3099 }
3100
3101 define i1 @ashrsgt_02_05_exact(i4 %x) {
3102 ; CHECK-LABEL: @ashrsgt_02_05_exact(
3103 ; CHECK-NEXT:    ret i1 false
3104 ;
3105   %s = ashr exact i4 %x, 2
3106   %c = icmp sgt i4 %s, 5
3107   ret i1 %c
3108 }
3109
3110 define i1 @ashrsgt_02_06_exact(i4 %x) {
3111 ; CHECK-LABEL: @ashrsgt_02_06_exact(
3112 ; CHECK-NEXT:    ret i1 false
3113 ;
3114   %s = ashr exact i4 %x, 2
3115   %c = icmp sgt i4 %s, 6
3116   ret i1 %c
3117 }
3118
3119 define i1 @ashrsgt_02_07_exact(i4 %x) {
3120 ; CHECK-LABEL: @ashrsgt_02_07_exact(
3121 ; CHECK-NEXT:    ret i1 false
3122 ;
3123   %s = ashr exact i4 %x, 2
3124   %c = icmp sgt i4 %s, 7
3125   ret i1 %c
3126 }
3127
3128 define i1 @ashrsgt_02_08_exact(i4 %x) {
3129 ; CHECK-LABEL: @ashrsgt_02_08_exact(
3130 ; CHECK-NEXT:    ret i1 true
3131 ;
3132   %s = ashr exact i4 %x, 2
3133   %c = icmp sgt i4 %s, 8
3134   ret i1 %c
3135 }
3136
3137 define i1 @ashrsgt_02_09_exact(i4 %x) {
3138 ; CHECK-LABEL: @ashrsgt_02_09_exact(
3139 ; CHECK-NEXT:    ret i1 true
3140 ;
3141   %s = ashr exact i4 %x, 2
3142   %c = icmp sgt i4 %s, 9
3143   ret i1 %c
3144 }
3145
3146 define i1 @ashrsgt_02_10_exact(i4 %x) {
3147 ; CHECK-LABEL: @ashrsgt_02_10_exact(
3148 ; CHECK-NEXT:    ret i1 true
3149 ;
3150   %s = ashr exact i4 %x, 2
3151   %c = icmp sgt i4 %s, 10
3152   ret i1 %c
3153 }
3154
3155 define i1 @ashrsgt_02_11_exact(i4 %x) {
3156 ; CHECK-LABEL: @ashrsgt_02_11_exact(
3157 ; CHECK-NEXT:    ret i1 true
3158 ;
3159   %s = ashr exact i4 %x, 2
3160   %c = icmp sgt i4 %s, 11
3161   ret i1 %c
3162 }
3163
3164 define i1 @ashrsgt_02_12_exact(i4 %x) {
3165 ; CHECK-LABEL: @ashrsgt_02_12_exact(
3166 ; CHECK-NEXT:    ret i1 true
3167 ;
3168   %s = ashr exact i4 %x, 2
3169   %c = icmp sgt i4 %s, 12
3170   ret i1 %c
3171 }
3172
3173 define i1 @ashrsgt_02_13_exact(i4 %x) {
3174 ; CHECK-LABEL: @ashrsgt_02_13_exact(
3175 ; CHECK-NEXT:    ret i1 true
3176 ;
3177   %s = ashr exact i4 %x, 2
3178   %c = icmp sgt i4 %s, 13
3179   ret i1 %c
3180 }
3181
3182 define i1 @ashrsgt_02_14_exact(i4 %x) {
3183 ; CHECK-LABEL: @ashrsgt_02_14_exact(
3184 ; CHECK-NEXT:    [[C:%.*]] = icmp ne i4 [[X:%.*]], -8
3185 ; CHECK-NEXT:    ret i1 [[C]]
3186 ;
3187   %s = ashr exact i4 %x, 2
3188   %c = icmp sgt i4 %s, 14
3189   ret i1 %c
3190 }
3191
3192 define i1 @ashrsgt_02_15_exact(i4 %x) {
3193 ; CHECK-LABEL: @ashrsgt_02_15_exact(
3194 ; CHECK-NEXT:    [[C:%.*]] = icmp sgt i4 [[X:%.*]], -1
3195 ; CHECK-NEXT:    ret i1 [[C]]
3196 ;
3197   %s = ashr exact i4 %x, 2
3198   %c = icmp sgt i4 %s, 15
3199   ret i1 %c
3200 }
3201
3202 define i1 @ashrsgt_03_00_exact(i4 %x) {
3203 ; CHECK-LABEL: @ashrsgt_03_00_exact(
3204 ; CHECK-NEXT:    ret i1 false
3205 ;
3206   %s = ashr exact i4 %x, 3
3207   %c = icmp sgt i4 %s, 0
3208   ret i1 %c
3209 }
3210
3211 define i1 @ashrsgt_03_01_exact(i4 %x) {
3212 ; CHECK-LABEL: @ashrsgt_03_01_exact(
3213 ; CHECK-NEXT:    ret i1 false
3214 ;
3215   %s = ashr exact i4 %x, 3
3216   %c = icmp sgt i4 %s, 1
3217   ret i1 %c
3218 }
3219
3220 define i1 @ashrsgt_03_02_exact(i4 %x) {
3221 ; CHECK-LABEL: @ashrsgt_03_02_exact(
3222 ; CHECK-NEXT:    ret i1 false
3223 ;
3224   %s = ashr exact i4 %x, 3
3225   %c = icmp sgt i4 %s, 2
3226   ret i1 %c
3227 }
3228
3229 define i1 @ashrsgt_03_03_exact(i4 %x) {
3230 ; CHECK-LABEL: @ashrsgt_03_03_exact(
3231 ; CHECK-NEXT:    ret i1 false
3232 ;
3233   %s = ashr exact i4 %x, 3
3234   %c = icmp sgt i4 %s, 3
3235   ret i1 %c
3236 }
3237
3238 define i1 @ashrsgt_03_04_exact(i4 %x) {
3239 ; CHECK-LABEL: @ashrsgt_03_04_exact(
3240 ; CHECK-NEXT:    ret i1 false
3241 ;
3242   %s = ashr exact i4 %x, 3
3243   %c = icmp sgt i4 %s, 4
3244   ret i1 %c
3245 }
3246
3247 define i1 @ashrsgt_03_05_exact(i4 %x) {
3248 ; CHECK-LABEL: @ashrsgt_03_05_exact(
3249 ; CHECK-NEXT:    ret i1 false
3250 ;
3251   %s = ashr exact i4 %x, 3
3252   %c = icmp sgt i4 %s, 5
3253   ret i1 %c
3254 }
3255
3256 define i1 @ashrsgt_03_06_exact(i4 %x) {
3257 ; CHECK-LABEL: @ashrsgt_03_06_exact(
3258 ; CHECK-NEXT:    ret i1 false
3259 ;
3260   %s = ashr exact i4 %x, 3
3261   %c = icmp sgt i4 %s, 6
3262   ret i1 %c
3263 }
3264
3265 define i1 @ashrsgt_03_07_exact(i4 %x) {
3266 ; CHECK-LABEL: @ashrsgt_03_07_exact(
3267 ; CHECK-NEXT:    ret i1 false
3268 ;
3269   %s = ashr exact i4 %x, 3
3270   %c = icmp sgt i4 %s, 7
3271   ret i1 %c
3272 }
3273
3274 define i1 @ashrsgt_03_08_exact(i4 %x) {
3275 ; CHECK-LABEL: @ashrsgt_03_08_exact(
3276 ; CHECK-NEXT:    ret i1 true
3277 ;
3278   %s = ashr exact i4 %x, 3
3279   %c = icmp sgt i4 %s, 8
3280   ret i1 %c
3281 }
3282
3283 define i1 @ashrsgt_03_09_exact(i4 %x) {
3284 ; CHECK-LABEL: @ashrsgt_03_09_exact(
3285 ; CHECK-NEXT:    ret i1 true
3286 ;
3287   %s = ashr exact i4 %x, 3
3288   %c = icmp sgt i4 %s, 9
3289   ret i1 %c
3290 }
3291
3292 define i1 @ashrsgt_03_10_exact(i4 %x) {
3293 ; CHECK-LABEL: @ashrsgt_03_10_exact(
3294 ; CHECK-NEXT:    ret i1 true
3295 ;
3296   %s = ashr exact i4 %x, 3
3297   %c = icmp sgt i4 %s, 10
3298   ret i1 %c
3299 }
3300
3301 define i1 @ashrsgt_03_11_exact(i4 %x) {
3302 ; CHECK-LABEL: @ashrsgt_03_11_exact(
3303 ; CHECK-NEXT:    ret i1 true
3304 ;
3305   %s = ashr exact i4 %x, 3
3306   %c = icmp sgt i4 %s, 11
3307   ret i1 %c
3308 }
3309
3310 define i1 @ashrsgt_03_12_exact(i4 %x) {
3311 ; CHECK-LABEL: @ashrsgt_03_12_exact(
3312 ; CHECK-NEXT:    ret i1 true
3313 ;
3314   %s = ashr exact i4 %x, 3
3315   %c = icmp sgt i4 %s, 12
3316   ret i1 %c
3317 }
3318
3319 define i1 @ashrsgt_03_13_exact(i4 %x) {
3320 ; CHECK-LABEL: @ashrsgt_03_13_exact(
3321 ; CHECK-NEXT:    ret i1 true
3322 ;
3323   %s = ashr exact i4 %x, 3
3324   %c = icmp sgt i4 %s, 13
3325   ret i1 %c
3326 }
3327
3328 define i1 @ashrsgt_03_14_exact(i4 %x) {
3329 ; CHECK-LABEL: @ashrsgt_03_14_exact(
3330 ; CHECK-NEXT:    ret i1 true
3331 ;
3332   %s = ashr exact i4 %x, 3
3333   %c = icmp sgt i4 %s, 14
3334   ret i1 %c
3335 }
3336
3337 define i1 @ashrsgt_03_15_exact(i4 %x) {
3338 ; CHECK-LABEL: @ashrsgt_03_15_exact(
3339 ; CHECK-NEXT:    [[C:%.*]] = icmp sgt i4 [[X:%.*]], -1
3340 ; CHECK-NEXT:    ret i1 [[C]]
3341 ;
3342   %s = ashr exact i4 %x, 3
3343   %c = icmp sgt i4 %s, 15
3344   ret i1 %c
3345 }
3346
3347 define i1 @ashrslt_01_00_exact(i4 %x) {
3348 ; CHECK-LABEL: @ashrslt_01_00_exact(
3349 ; CHECK-NEXT:    [[C:%.*]] = icmp slt i4 [[X:%.*]], 0
3350 ; CHECK-NEXT:    ret i1 [[C]]
3351 ;
3352   %s = ashr exact i4 %x, 1
3353   %c = icmp slt i4 %s, 0
3354   ret i1 %c
3355 }
3356
3357 define i1 @ashrslt_01_01_exact(i4 %x) {
3358 ; CHECK-LABEL: @ashrslt_01_01_exact(
3359 ; CHECK-NEXT:    [[C:%.*]] = icmp slt i4 [[X:%.*]], 2
3360 ; CHECK-NEXT:    ret i1 [[C]]
3361 ;
3362   %s = ashr exact i4 %x, 1
3363   %c = icmp slt i4 %s, 1
3364   ret i1 %c
3365 }
3366
3367 define i1 @ashrslt_01_02_exact(i4 %x) {
3368 ; CHECK-LABEL: @ashrslt_01_02_exact(
3369 ; CHECK-NEXT:    [[C:%.*]] = icmp slt i4 [[X:%.*]], 4
3370 ; CHECK-NEXT:    ret i1 [[C]]
3371 ;
3372   %s = ashr exact i4 %x, 1
3373   %c = icmp slt i4 %s, 2
3374   ret i1 %c
3375 }
3376
3377 define i1 @ashrslt_01_03_exact(i4 %x) {
3378 ; CHECK-LABEL: @ashrslt_01_03_exact(
3379 ; CHECK-NEXT:    [[C:%.*]] = icmp slt i4 [[X:%.*]], 6
3380 ; CHECK-NEXT:    ret i1 [[C]]
3381 ;
3382   %s = ashr exact i4 %x, 1
3383   %c = icmp slt i4 %s, 3
3384   ret i1 %c
3385 }
3386
3387 define i1 @ashrslt_01_04_exact(i4 %x) {
3388 ; CHECK-LABEL: @ashrslt_01_04_exact(
3389 ; CHECK-NEXT:    ret i1 true
3390 ;
3391   %s = ashr exact i4 %x, 1
3392   %c = icmp slt i4 %s, 4
3393   ret i1 %c
3394 }
3395
3396 define i1 @ashrslt_01_05_exact(i4 %x) {
3397 ; CHECK-LABEL: @ashrslt_01_05_exact(
3398 ; CHECK-NEXT:    ret i1 true
3399 ;
3400   %s = ashr exact i4 %x, 1
3401   %c = icmp slt i4 %s, 5
3402   ret i1 %c
3403 }
3404
3405 define i1 @ashrslt_01_06_exact(i4 %x) {
3406 ; CHECK-LABEL: @ashrslt_01_06_exact(
3407 ; CHECK-NEXT:    ret i1 true
3408 ;
3409   %s = ashr exact i4 %x, 1
3410   %c = icmp slt i4 %s, 6
3411   ret i1 %c
3412 }
3413
3414 define i1 @ashrslt_01_07_exact(i4 %x) {
3415 ; CHECK-LABEL: @ashrslt_01_07_exact(
3416 ; CHECK-NEXT:    ret i1 true
3417 ;
3418   %s = ashr exact i4 %x, 1
3419   %c = icmp slt i4 %s, 7
3420   ret i1 %c
3421 }
3422
3423 define i1 @ashrslt_01_08_exact(i4 %x) {
3424 ; CHECK-LABEL: @ashrslt_01_08_exact(
3425 ; CHECK-NEXT:    ret i1 false
3426 ;
3427   %s = ashr exact i4 %x, 1
3428   %c = icmp slt i4 %s, 8
3429   ret i1 %c
3430 }
3431
3432 define i1 @ashrslt_01_09_exact(i4 %x) {
3433 ; CHECK-LABEL: @ashrslt_01_09_exact(
3434 ; CHECK-NEXT:    ret i1 false
3435 ;
3436   %s = ashr exact i4 %x, 1
3437   %c = icmp slt i4 %s, 9
3438   ret i1 %c
3439 }
3440
3441 define i1 @ashrslt_01_10_exact(i4 %x) {
3442 ; CHECK-LABEL: @ashrslt_01_10_exact(
3443 ; CHECK-NEXT:    ret i1 false
3444 ;
3445   %s = ashr exact i4 %x, 1
3446   %c = icmp slt i4 %s, 10
3447   ret i1 %c
3448 }
3449
3450 define i1 @ashrslt_01_11_exact(i4 %x) {
3451 ; CHECK-LABEL: @ashrslt_01_11_exact(
3452 ; CHECK-NEXT:    ret i1 false
3453 ;
3454   %s = ashr exact i4 %x, 1
3455   %c = icmp slt i4 %s, 11
3456   ret i1 %c
3457 }
3458
3459 define i1 @ashrslt_01_12_exact(i4 %x) {
3460 ; CHECK-LABEL: @ashrslt_01_12_exact(
3461 ; CHECK-NEXT:    ret i1 false
3462 ;
3463   %s = ashr exact i4 %x, 1
3464   %c = icmp slt i4 %s, 12
3465   ret i1 %c
3466 }
3467
3468 define i1 @ashrslt_01_13_exact(i4 %x) {
3469 ; CHECK-LABEL: @ashrslt_01_13_exact(
3470 ; CHECK-NEXT:    [[C:%.*]] = icmp slt i4 [[X:%.*]], -6
3471 ; CHECK-NEXT:    ret i1 [[C]]
3472 ;
3473   %s = ashr exact i4 %x, 1
3474   %c = icmp slt i4 %s, 13
3475   ret i1 %c
3476 }
3477
3478 define i1 @ashrslt_01_14_exact(i4 %x) {
3479 ; CHECK-LABEL: @ashrslt_01_14_exact(
3480 ; CHECK-NEXT:    [[C:%.*]] = icmp slt i4 [[X:%.*]], -4
3481 ; CHECK-NEXT:    ret i1 [[C]]
3482 ;
3483   %s = ashr exact i4 %x, 1
3484   %c = icmp slt i4 %s, 14
3485   ret i1 %c
3486 }
3487
3488 define i1 @ashrslt_01_15_exact(i4 %x) {
3489 ; CHECK-LABEL: @ashrslt_01_15_exact(
3490 ; CHECK-NEXT:    [[C:%.*]] = icmp slt i4 [[X:%.*]], -2
3491 ; CHECK-NEXT:    ret i1 [[C]]
3492 ;
3493   %s = ashr exact i4 %x, 1
3494   %c = icmp slt i4 %s, 15
3495   ret i1 %c
3496 }
3497
3498 define i1 @ashrslt_02_00_exact(i4 %x) {
3499 ; CHECK-LABEL: @ashrslt_02_00_exact(
3500 ; CHECK-NEXT:    [[C:%.*]] = icmp slt i4 [[X:%.*]], 0
3501 ; CHECK-NEXT:    ret i1 [[C]]
3502 ;
3503   %s = ashr exact i4 %x, 2
3504   %c = icmp slt i4 %s, 0
3505   ret i1 %c
3506 }
3507
3508 define i1 @ashrslt_02_01_exact(i4 %x) {
3509 ; CHECK-LABEL: @ashrslt_02_01_exact(
3510 ; CHECK-NEXT:    [[C:%.*]] = icmp slt i4 [[X:%.*]], 4
3511 ; CHECK-NEXT:    ret i1 [[C]]
3512 ;
3513   %s = ashr exact i4 %x, 2
3514   %c = icmp slt i4 %s, 1
3515   ret i1 %c
3516 }
3517
3518 define i1 @ashrslt_02_02_exact(i4 %x) {
3519 ; CHECK-LABEL: @ashrslt_02_02_exact(
3520 ; CHECK-NEXT:    ret i1 true
3521 ;
3522   %s = ashr exact i4 %x, 2
3523   %c = icmp slt i4 %s, 2
3524   ret i1 %c
3525 }
3526
3527 define i1 @ashrslt_02_03_exact(i4 %x) {
3528 ; CHECK-LABEL: @ashrslt_02_03_exact(
3529 ; CHECK-NEXT:    ret i1 true
3530 ;
3531   %s = ashr exact i4 %x, 2
3532   %c = icmp slt i4 %s, 3
3533   ret i1 %c
3534 }
3535
3536 define i1 @ashrslt_02_04_exact(i4 %x) {
3537 ; CHECK-LABEL: @ashrslt_02_04_exact(
3538 ; CHECK-NEXT:    ret i1 true
3539 ;
3540   %s = ashr exact i4 %x, 2
3541   %c = icmp slt i4 %s, 4
3542   ret i1 %c
3543 }
3544
3545 define i1 @ashrslt_02_05_exact(i4 %x) {
3546 ; CHECK-LABEL: @ashrslt_02_05_exact(
3547 ; CHECK-NEXT:    ret i1 true
3548 ;
3549   %s = ashr exact i4 %x, 2
3550   %c = icmp slt i4 %s, 5
3551   ret i1 %c
3552 }
3553
3554 define i1 @ashrslt_02_06_exact(i4 %x) {
3555 ; CHECK-LABEL: @ashrslt_02_06_exact(
3556 ; CHECK-NEXT:    ret i1 true
3557 ;
3558   %s = ashr exact i4 %x, 2
3559   %c = icmp slt i4 %s, 6
3560   ret i1 %c
3561 }
3562
3563 define i1 @ashrslt_02_07_exact(i4 %x) {
3564 ; CHECK-LABEL: @ashrslt_02_07_exact(
3565 ; CHECK-NEXT:    ret i1 true
3566 ;
3567   %s = ashr exact i4 %x, 2
3568   %c = icmp slt i4 %s, 7
3569   ret i1 %c
3570 }
3571
3572 define i1 @ashrslt_02_08_exact(i4 %x) {
3573 ; CHECK-LABEL: @ashrslt_02_08_exact(
3574 ; CHECK-NEXT:    ret i1 false
3575 ;
3576   %s = ashr exact i4 %x, 2
3577   %c = icmp slt i4 %s, 8
3578   ret i1 %c
3579 }
3580
3581 define i1 @ashrslt_02_09_exact(i4 %x) {
3582 ; CHECK-LABEL: @ashrslt_02_09_exact(
3583 ; CHECK-NEXT:    ret i1 false
3584 ;
3585   %s = ashr exact i4 %x, 2
3586   %c = icmp slt i4 %s, 9
3587   ret i1 %c
3588 }
3589
3590 define i1 @ashrslt_02_10_exact(i4 %x) {
3591 ; CHECK-LABEL: @ashrslt_02_10_exact(
3592 ; CHECK-NEXT:    ret i1 false
3593 ;
3594   %s = ashr exact i4 %x, 2
3595   %c = icmp slt i4 %s, 10
3596   ret i1 %c
3597 }
3598
3599 define i1 @ashrslt_02_11_exact(i4 %x) {
3600 ; CHECK-LABEL: @ashrslt_02_11_exact(
3601 ; CHECK-NEXT:    ret i1 false
3602 ;
3603   %s = ashr exact i4 %x, 2
3604   %c = icmp slt i4 %s, 11
3605   ret i1 %c
3606 }
3607
3608 define i1 @ashrslt_02_12_exact(i4 %x) {
3609 ; CHECK-LABEL: @ashrslt_02_12_exact(
3610 ; CHECK-NEXT:    ret i1 false
3611 ;
3612   %s = ashr exact i4 %x, 2
3613   %c = icmp slt i4 %s, 12
3614   ret i1 %c
3615 }
3616
3617 define i1 @ashrslt_02_13_exact(i4 %x) {
3618 ; CHECK-LABEL: @ashrslt_02_13_exact(
3619 ; CHECK-NEXT:    ret i1 false
3620 ;
3621   %s = ashr exact i4 %x, 2
3622   %c = icmp slt i4 %s, 13
3623   ret i1 %c
3624 }
3625
3626 define i1 @ashrslt_02_14_exact(i4 %x) {
3627 ; CHECK-LABEL: @ashrslt_02_14_exact(
3628 ; CHECK-NEXT:    ret i1 false
3629 ;
3630   %s = ashr exact i4 %x, 2
3631   %c = icmp slt i4 %s, 14
3632   ret i1 %c
3633 }
3634
3635 define i1 @ashrslt_02_15_exact(i4 %x) {
3636 ; CHECK-LABEL: @ashrslt_02_15_exact(
3637 ; CHECK-NEXT:    [[C:%.*]] = icmp slt i4 [[X:%.*]], -4
3638 ; CHECK-NEXT:    ret i1 [[C]]
3639 ;
3640   %s = ashr exact i4 %x, 2
3641   %c = icmp slt i4 %s, 15
3642   ret i1 %c
3643 }
3644
3645 define i1 @ashrslt_03_00_exact(i4 %x) {
3646 ; CHECK-LABEL: @ashrslt_03_00_exact(
3647 ; CHECK-NEXT:    [[C:%.*]] = icmp slt i4 [[X:%.*]], 0
3648 ; CHECK-NEXT:    ret i1 [[C]]
3649 ;
3650   %s = ashr exact i4 %x, 3
3651   %c = icmp slt i4 %s, 0
3652   ret i1 %c
3653 }
3654
3655 define i1 @ashrslt_03_01_exact(i4 %x) {
3656 ; CHECK-LABEL: @ashrslt_03_01_exact(
3657 ; CHECK-NEXT:    ret i1 true
3658 ;
3659   %s = ashr exact i4 %x, 3
3660   %c = icmp slt i4 %s, 1
3661   ret i1 %c
3662 }
3663
3664 define i1 @ashrslt_03_02_exact(i4 %x) {
3665 ; CHECK-LABEL: @ashrslt_03_02_exact(
3666 ; CHECK-NEXT:    ret i1 true
3667 ;
3668   %s = ashr exact i4 %x, 3
3669   %c = icmp slt i4 %s, 2
3670   ret i1 %c
3671 }
3672
3673 define i1 @ashrslt_03_03_exact(i4 %x) {
3674 ; CHECK-LABEL: @ashrslt_03_03_exact(
3675 ; CHECK-NEXT:    ret i1 true
3676 ;
3677   %s = ashr exact i4 %x, 3
3678   %c = icmp slt i4 %s, 3
3679   ret i1 %c
3680 }
3681
3682 define i1 @ashrslt_03_04_exact(i4 %x) {
3683 ; CHECK-LABEL: @ashrslt_03_04_exact(
3684 ; CHECK-NEXT:    ret i1 true
3685 ;
3686   %s = ashr exact i4 %x, 3
3687   %c = icmp slt i4 %s, 4
3688   ret i1 %c
3689 }
3690
3691 define i1 @ashrslt_03_05_exact(i4 %x) {
3692 ; CHECK-LABEL: @ashrslt_03_05_exact(
3693 ; CHECK-NEXT:    ret i1 true
3694 ;
3695   %s = ashr exact i4 %x, 3
3696   %c = icmp slt i4 %s, 5
3697   ret i1 %c
3698 }
3699
3700 define i1 @ashrslt_03_06_exact(i4 %x) {
3701 ; CHECK-LABEL: @ashrslt_03_06_exact(
3702 ; CHECK-NEXT:    ret i1 true
3703 ;
3704   %s = ashr exact i4 %x, 3
3705   %c = icmp slt i4 %s, 6
3706   ret i1 %c
3707 }
3708
3709 define i1 @ashrslt_03_07_exact(i4 %x) {
3710 ; CHECK-LABEL: @ashrslt_03_07_exact(
3711 ; CHECK-NEXT:    ret i1 true
3712 ;
3713   %s = ashr exact i4 %x, 3
3714   %c = icmp slt i4 %s, 7
3715   ret i1 %c
3716 }
3717
3718 define i1 @ashrslt_03_08_exact(i4 %x) {
3719 ; CHECK-LABEL: @ashrslt_03_08_exact(
3720 ; CHECK-NEXT:    ret i1 false
3721 ;
3722   %s = ashr exact i4 %x, 3
3723   %c = icmp slt i4 %s, 8
3724   ret i1 %c
3725 }
3726
3727 define i1 @ashrslt_03_09_exact(i4 %x) {
3728 ; CHECK-LABEL: @ashrslt_03_09_exact(
3729 ; CHECK-NEXT:    ret i1 false
3730 ;
3731   %s = ashr exact i4 %x, 3
3732   %c = icmp slt i4 %s, 9
3733   ret i1 %c
3734 }
3735
3736 define i1 @ashrslt_03_10_exact(i4 %x) {
3737 ; CHECK-LABEL: @ashrslt_03_10_exact(
3738 ; CHECK-NEXT:    ret i1 false
3739 ;
3740   %s = ashr exact i4 %x, 3
3741   %c = icmp slt i4 %s, 10
3742   ret i1 %c
3743 }
3744
3745 define i1 @ashrslt_03_11_exact(i4 %x) {
3746 ; CHECK-LABEL: @ashrslt_03_11_exact(
3747 ; CHECK-NEXT:    ret i1 false
3748 ;
3749   %s = ashr exact i4 %x, 3
3750   %c = icmp slt i4 %s, 11
3751   ret i1 %c
3752 }
3753
3754 define i1 @ashrslt_03_12_exact(i4 %x) {
3755 ; CHECK-LABEL: @ashrslt_03_12_exact(
3756 ; CHECK-NEXT:    ret i1 false
3757 ;
3758   %s = ashr exact i4 %x, 3
3759   %c = icmp slt i4 %s, 12
3760   ret i1 %c
3761 }
3762
3763 define i1 @ashrslt_03_13_exact(i4 %x) {
3764 ; CHECK-LABEL: @ashrslt_03_13_exact(
3765 ; CHECK-NEXT:    ret i1 false
3766 ;
3767   %s = ashr exact i4 %x, 3
3768   %c = icmp slt i4 %s, 13
3769   ret i1 %c
3770 }
3771
3772 define i1 @ashrslt_03_14_exact(i4 %x) {
3773 ; CHECK-LABEL: @ashrslt_03_14_exact(
3774 ; CHECK-NEXT:    ret i1 false
3775 ;
3776   %s = ashr exact i4 %x, 3
3777   %c = icmp slt i4 %s, 14
3778   ret i1 %c
3779 }
3780
3781 define i1 @ashrslt_03_15_exact(i4 %x) {
3782 ; CHECK-LABEL: @ashrslt_03_15_exact(
3783 ; CHECK-NEXT:    ret i1 false
3784 ;
3785   %s = ashr exact i4 %x, 3
3786   %c = icmp slt i4 %s, 15
3787   ret i1 %c
3788 }
3789