llvm/test/CodeGen/AArch64/GlobalISel/opt-shifted-reg-compare.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -mtriple aarch64-unknown-unknown -run-pass=instruction-select -verify-machineinstrs %s -o - | FileCheck %s
   3 #
   4 # Verify that we can fold shifts into G_ICMP variants.
   5 #
   6 # Because these are selected as a SUBS, we can fold a shift into the addressing
   7 # mode in the same way.
   8 #
   9 # We should not have shifts in any of the compares below. These should be
  10 # folded into the SUBSWrs instruction.
  11
  12 ...
  13 ---
  14 name:            eq_shl
  15 legalized:       true
  16 regBankSelected: true
  17 tracksRegLiveness: true
  18 body:             |
  19   bb.0:
  20     liveins: $w0, $w1
  21
  22     ; CHECK-LABEL: name: eq_shl
  23     ; CHECK: liveins: $w0, $w1
  24     ; CHECK: %copy0:gpr32 = COPY $w0
  25     ; CHECK: %copy1:gpr32 = COPY $w1
  26     ; CHECK: [[SUBSWrs:%[0-9]+]]:gpr32 = SUBSWrs %copy1, %copy0, 3, implicit-def $nzcv
  27     ; CHECK: %cmp:gpr32 = CSINCWr $wzr, $wzr, 1, implicit $nzcv
  28     ; CHECK: $w0 = COPY %cmp
  29     ; CHECK: RET_ReallyLR implicit $w0
  30     %copy0:gpr(s32) = COPY $w0
  31     %copy1:gpr(s32) = COPY $w1
  32     %three:gpr(s32) = G_CONSTANT i32 3
  33     %shift:gpr(s32) = G_SHL %copy0, %three(s32)
  34     %cmp:gpr(s32) = G_ICMP intpred(eq), %copy1(s32), %shift
  35     $w0 = COPY %cmp(s32)
  36     RET_ReallyLR implicit $w0
  37
  38 ...
  39 ---
  40 name:            eq_ashr
  41 legalized:       true
  42 regBankSelected: true
  43 tracksRegLiveness: true
  44 body:             |
  45   bb.0:
  46     liveins: $w0, $w1
  47
  48     ; CHECK-LABEL: name: eq_ashr
  49     ; CHECK: liveins: $w0, $w1
  50     ; CHECK: %copy0:gpr32 = COPY $w0
  51     ; CHECK: %copy1:gpr32 = COPY $w1
  52     ; CHECK: [[SUBSWrs:%[0-9]+]]:gpr32 = SUBSWrs %copy1, %copy0, 131, implicit-def $nzcv
  53     ; CHECK: %cmp:gpr32 = CSINCWr $wzr, $wzr, 1, implicit $nzcv
  54     ; CHECK: $w0 = COPY %cmp
  55     ; CHECK: RET_ReallyLR implicit $w0
  56     %copy0:gpr(s32) = COPY $w0
  57     %copy1:gpr(s32) = COPY $w1
  58     %three:gpr(s32) = G_CONSTANT i32 3
  59     %shift:gpr(s32) = G_ASHR %copy0, %three(s32)
  60     %cmp:gpr(s32) = G_ICMP intpred(eq), %copy1(s32), %shift
  61     $w0 = COPY %cmp(s32)
  62     RET_ReallyLR implicit $w0
  63
  64 ...
  65 ---
  66 name:            eq_lshr
  67 legalized:       true
  68 regBankSelected: true
  69 tracksRegLiveness: true
  70 body:             |
  71   bb.0:
  72     liveins: $w0, $w1
  73
  74     ; CHECK-LABEL: name: eq_lshr
  75     ; CHECK: liveins: $w0, $w1
  76     ; CHECK: %copy0:gpr32 = COPY $w0
  77     ; CHECK: %copy1:gpr32 = COPY $w1
  78     ; CHECK: [[SUBSWrs:%[0-9]+]]:gpr32 = SUBSWrs %copy1, %copy0, 67, implicit-def $nzcv
  79     ; CHECK: %cmp:gpr32 = CSINCWr $wzr, $wzr, 1, implicit $nzcv
  80     ; CHECK: $w0 = COPY %cmp
  81     ; CHECK: RET_ReallyLR implicit $w0
  82     %copy0:gpr(s32) = COPY $w0
  83     %copy1:gpr(s32) = COPY $w1
  84     %three:gpr(s32) = G_CONSTANT i32 3
  85     %shift:gpr(s32) = G_LSHR %copy0, %three(s32)
  86     %cmp:gpr(s32) = G_ICMP intpred(eq), %copy1(s32), %shift
  87     $w0 = COPY %cmp(s32)
  88     RET_ReallyLR implicit $w0
  89
  90 ...
  91 ---
  92 name:            ne_shl
  93 legalized:       true
  94 regBankSelected: true
  95 tracksRegLiveness: true
  96 body:             |
  97   bb.0:
  98     liveins: $w0, $w1
  99
 100     ; CHECK-LABEL: name: ne_shl
 101     ; CHECK: liveins: $w0, $w1
 102     ; CHECK: %copy0:gpr32 = COPY $w0
 103     ; CHECK: %copy1:gpr32 = COPY $w1
 104     ; CHECK: [[SUBSWrs:%[0-9]+]]:gpr32 = SUBSWrs %copy1, %copy0, 3, implicit-def $nzcv
 105     ; CHECK: %cmp:gpr32 = CSINCWr $wzr, $wzr, 0, implicit $nzcv
 106     ; CHECK: $w0 = COPY %cmp
 107     ; CHECK: RET_ReallyLR implicit $w0
 108     %copy0:gpr(s32) = COPY $w0
 109     %copy1:gpr(s32) = COPY $w1
 110     %three:gpr(s32) = G_CONSTANT i32 3
 111     %shift:gpr(s32) = G_SHL %copy0, %three(s32)
 112     %cmp:gpr(s32) = G_ICMP intpred(ne), %copy1(s32), %shift
 113     $w0 = COPY %cmp(s32)
 114     RET_ReallyLR implicit $w0
 115
 116 ...
 117 ---
 118 name:            ne_ashr
 119 legalized:       true
 120 regBankSelected: true
 121 tracksRegLiveness: true
 122 body:             |
 123   bb.0:
 124     liveins: $w0, $w1
 125
 126     ; CHECK-LABEL: name: ne_ashr
 127     ; CHECK: liveins: $w0, $w1
 128     ; CHECK: %copy0:gpr32 = COPY $w0
 129     ; CHECK: %copy1:gpr32 = COPY $w1
 130     ; CHECK: [[SUBSWrs:%[0-9]+]]:gpr32 = SUBSWrs %copy1, %copy0, 131, implicit-def $nzcv
 131     ; CHECK: %cmp:gpr32 = CSINCWr $wzr, $wzr, 0, implicit $nzcv
 132     ; CHECK: $w0 = COPY %cmp
 133     ; CHECK: RET_ReallyLR implicit $w0
 134     %copy0:gpr(s32) = COPY $w0
 135     %copy1:gpr(s32) = COPY $w1
 136     %three:gpr(s32) = G_CONSTANT i32 3
 137     %shift:gpr(s32) = G_ASHR %copy0, %three(s32)
 138     %cmp:gpr(s32) = G_ICMP intpred(ne), %copy1(s32), %shift
 139     $w0 = COPY %cmp(s32)
 140     RET_ReallyLR implicit $w0
 141
 142 ...
 143 ---
 144 name:            ne_lshr
 145 legalized:       true
 146 regBankSelected: true
 147 tracksRegLiveness: true
 148 body:             |
 149   bb.0:
 150     liveins: $w0, $w1
 151
 152     ; CHECK-LABEL: name: ne_lshr
 153     ; CHECK: liveins: $w0, $w1
 154     ; CHECK: %copy0:gpr32 = COPY $w0
 155     ; CHECK: %copy1:gpr32 = COPY $w1
 156     ; CHECK: [[SUBSWrs:%[0-9]+]]:gpr32 = SUBSWrs %copy1, %copy0, 67, implicit-def $nzcv
 157     ; CHECK: %cmp:gpr32 = CSINCWr $wzr, $wzr, 0, implicit $nzcv
 158     ; CHECK: $w0 = COPY %cmp
 159     ; CHECK: RET_ReallyLR implicit $w0
 160     %copy0:gpr(s32) = COPY $w0
 161     %copy1:gpr(s32) = COPY $w1
 162     %three:gpr(s32) = G_CONSTANT i32 3
 163     %shift:gpr(s32) = G_LSHR %copy0, %three(s32)
 164     %cmp:gpr(s32) = G_ICMP intpred(ne), %copy1(s32), %shift
 165     $w0 = COPY %cmp(s32)
 166     RET_ReallyLR implicit $w0
 167
 168 ...
 169 ---
 170 name:            ult_shl
 171 legalized:       true
 172 regBankSelected: true
 173 tracksRegLiveness: true
 174 body:             |
 175   bb.0:
 176     liveins: $w0, $w1
 177
 178     ; CHECK-LABEL: name: ult_shl
 179     ; CHECK: liveins: $w0, $w1
 180     ; CHECK: %copy0:gpr32 = COPY $w0
 181     ; CHECK: %copy1:gpr32 = COPY $w1
 182     ; CHECK: [[SUBSWrs:%[0-9]+]]:gpr32 = SUBSWrs %copy1, %copy0, 3, implicit-def $nzcv
 183     ; CHECK: %cmp:gpr32 = CSINCWr $wzr, $wzr, 2, implicit $nzcv
 184     ; CHECK: $w0 = COPY %cmp
 185     ; CHECK: RET_ReallyLR implicit $w0
 186     %copy0:gpr(s32) = COPY $w0
 187     %copy1:gpr(s32) = COPY $w1
 188     %three:gpr(s32) = G_CONSTANT i32 3
 189     %shift:gpr(s32) = G_SHL %copy0, %three(s32)
 190     %cmp:gpr(s32) = G_ICMP intpred(ult), %copy1(s32), %shift
 191     $w0 = COPY %cmp(s32)
 192     RET_ReallyLR implicit $w0
 193 ...
 194 ---
 195 name:            ult_ashr
 196 legalized:       true
 197 regBankSelected: true
 198 tracksRegLiveness: true
 199 body:             |
 200   bb.0:
 201     liveins: $w0, $w1
 202
 203     ; CHECK-LABEL: name: ult_ashr
 204     ; CHECK: liveins: $w0, $w1
 205     ; CHECK: %copy0:gpr32 = COPY $w0
 206     ; CHECK: %copy1:gpr32 = COPY $w1
 207     ; CHECK: [[SUBSWrs:%[0-9]+]]:gpr32 = SUBSWrs %copy1, %copy0, 131, implicit-def $nzcv
 208     ; CHECK: %cmp:gpr32 = CSINCWr $wzr, $wzr, 2, implicit $nzcv
 209     ; CHECK: $w0 = COPY %cmp
 210     ; CHECK: RET_ReallyLR implicit $w0
 211     %copy0:gpr(s32) = COPY $w0
 212     %copy1:gpr(s32) = COPY $w1
 213     %three:gpr(s32) = G_CONSTANT i32 3
 214     %shift:gpr(s32) = G_ASHR %copy0, %three(s32)
 215     %cmp:gpr(s32) = G_ICMP intpred(ult), %copy1(s32), %shift
 216     $w0 = COPY %cmp(s32)
 217     RET_ReallyLR implicit $w0
 218 ...
 219 ---
 220 name:            ult_lshr
 221 legalized:       true
 222 regBankSelected: true
 223 tracksRegLiveness: true
 224 body:             |
 225   bb.0:
 226     liveins: $w0, $w1
 227
 228     ; CHECK-LABEL: name: ult_lshr
 229     ; CHECK: liveins: $w0, $w1
 230     ; CHECK: %copy0:gpr32 = COPY $w0
 231     ; CHECK: %copy1:gpr32 = COPY $w1
 232     ; CHECK: [[SUBSWrs:%[0-9]+]]:gpr32 = SUBSWrs %copy1, %copy0, 67, implicit-def $nzcv
 233     ; CHECK: %cmp:gpr32 = CSINCWr $wzr, $wzr, 2, implicit $nzcv
 234     ; CHECK: $w0 = COPY %cmp
 235     ; CHECK: RET_ReallyLR implicit $w0
 236     %copy0:gpr(s32) = COPY $w0
 237     %copy1:gpr(s32) = COPY $w1
 238     %three:gpr(s32) = G_CONSTANT i32 3
 239     %shift:gpr(s32) = G_LSHR %copy0, %three(s32)
 240     %cmp:gpr(s32) = G_ICMP intpred(ult), %copy1(s32), %shift
 241     $w0 = COPY %cmp(s32)
 242     RET_ReallyLR implicit $w0
 243 ...
 244 ---
 245 name:            ugt_shl
 246 legalized:       true
 247 regBankSelected: true
 248 tracksRegLiveness: true
 249 body:             |
 250   bb.0:
 251     liveins: $w0, $w1
 252
 253     ; CHECK-LABEL: name: ugt_shl
 254     ; CHECK: liveins: $w0, $w1
 255     ; CHECK: %copy0:gpr32 = COPY $w0
 256     ; CHECK: %copy1:gpr32 = COPY $w1
 257     ; CHECK: [[SUBSWrs:%[0-9]+]]:gpr32 = SUBSWrs %copy1, %copy0, 3, implicit-def $nzcv
 258     ; CHECK: %cmp:gpr32 = CSINCWr $wzr, $wzr, 9, implicit $nzcv
 259     ; CHECK: $w0 = COPY %cmp
 260     ; CHECK: RET_ReallyLR implicit $w0
 261     %copy0:gpr(s32) = COPY $w0
 262     %copy1:gpr(s32) = COPY $w1
 263     %three:gpr(s32) = G_CONSTANT i32 3
 264     %shift:gpr(s32) = G_SHL %copy0, %three(s32)
 265     %cmp:gpr(s32) = G_ICMP intpred(ugt), %copy1(s32), %shift
 266     $w0 = COPY %cmp(s32)
 267     RET_ReallyLR implicit $w0
 268 ...
 269 ---
 270 name:            ugt_ashr
 271 legalized:       true
 272 regBankSelected: true
 273 tracksRegLiveness: true
 274 body:             |
 275   bb.0:
 276     liveins: $w0, $w1
 277
 278     ; CHECK-LABEL: name: ugt_ashr
 279     ; CHECK: liveins: $w0, $w1
 280     ; CHECK: %copy0:gpr32 = COPY $w0
 281     ; CHECK: %copy1:gpr32 = COPY $w1
 282     ; CHECK: [[SUBSWrs:%[0-9]+]]:gpr32 = SUBSWrs %copy1, %copy0, 131, implicit-def $nzcv
 283     ; CHECK: %cmp:gpr32 = CSINCWr $wzr, $wzr, 9, implicit $nzcv
 284     ; CHECK: $w0 = COPY %cmp
 285     ; CHECK: RET_ReallyLR implicit $w0
 286     %copy0:gpr(s32) = COPY $w0
 287     %copy1:gpr(s32) = COPY $w1
 288     %three:gpr(s32) = G_CONSTANT i32 3
 289     %shift:gpr(s32) = G_ASHR %copy0, %three(s32)
 290     %cmp:gpr(s32) = G_ICMP intpred(ugt), %copy1(s32), %shift
 291     $w0 = COPY %cmp(s32)
 292     RET_ReallyLR implicit $w0
 293 ...
 294 ---
 295 name:            ugt_lshr
 296 legalized:       true
 297 regBankSelected: true
 298 tracksRegLiveness: true
 299 body:             |
 300   bb.0:
 301     liveins: $w0, $w1
 302
 303     ; CHECK-LABEL: name: ugt_lshr
 304     ; CHECK: liveins: $w0, $w1
 305     ; CHECK: %copy0:gpr32 = COPY $w0
 306     ; CHECK: %copy1:gpr32 = COPY $w1
 307     ; CHECK: [[SUBSWrs:%[0-9]+]]:gpr32 = SUBSWrs %copy1, %copy0, 67, implicit-def $nzcv
 308     ; CHECK: %cmp:gpr32 = CSINCWr $wzr, $wzr, 9, implicit $nzcv
 309     ; CHECK: $w0 = COPY %cmp
 310     ; CHECK: RET_ReallyLR implicit $w0
 311     %copy0:gpr(s32) = COPY $w0
 312     %copy1:gpr(s32) = COPY $w1
 313     %three:gpr(s32) = G_CONSTANT i32 3
 314     %shift:gpr(s32) = G_LSHR %copy0, %three(s32)
 315     %cmp:gpr(s32) = G_ICMP intpred(ugt), %copy1(s32), %shift
 316     $w0 = COPY %cmp(s32)
 317     RET_ReallyLR implicit $w0
 318 ...
 319
 320 ...
 321 ---
 322 name:            uge_shl
 323 legalized:       true
 324 regBankSelected: true
 325 tracksRegLiveness: true
 326 body:             |
 327   bb.0:
 328     liveins: $w0, $w1
 329
 330     ; CHECK-LABEL: name: uge_shl
 331     ; CHECK: liveins: $w0, $w1
 332     ; CHECK: %copy0:gpr32 = COPY $w0
 333     ; CHECK: %copy1:gpr32 = COPY $w1
 334     ; CHECK: [[SUBSWrs:%[0-9]+]]:gpr32 = SUBSWrs %copy1, %copy0, 3, implicit-def $nzcv
 335     ; CHECK: %cmp:gpr32 = CSINCWr $wzr, $wzr, 3, implicit $nzcv
 336     ; CHECK: $w0 = COPY %cmp
 337     ; CHECK: RET_ReallyLR implicit $w0
 338     %copy0:gpr(s32) = COPY $w0
 339     %copy1:gpr(s32) = COPY $w1
 340     %three:gpr(s32) = G_CONSTANT i32 3
 341     %shift:gpr(s32) = G_SHL %copy0, %three(s32)
 342     %cmp:gpr(s32) = G_ICMP intpred(uge), %copy1(s32), %shift
 343     $w0 = COPY %cmp(s32)
 344     RET_ReallyLR implicit $w0
 345 ...
 346 ---
 347 name:            uge_ashr
 348 legalized:       true
 349 regBankSelected: true
 350 tracksRegLiveness: true
 351 body:             |
 352   bb.0:
 353     liveins: $w0, $w1
 354
 355     ; CHECK-LABEL: name: uge_ashr
 356     ; CHECK: liveins: $w0, $w1
 357     ; CHECK: %copy0:gpr32 = COPY $w0
 358     ; CHECK: %copy1:gpr32 = COPY $w1
 359     ; CHECK: [[SUBSWrs:%[0-9]+]]:gpr32 = SUBSWrs %copy1, %copy0, 131, implicit-def $nzcv
 360     ; CHECK: %cmp:gpr32 = CSINCWr $wzr, $wzr, 3, implicit $nzcv
 361     ; CHECK: $w0 = COPY %cmp
 362     ; CHECK: RET_ReallyLR implicit $w0
 363     %copy0:gpr(s32) = COPY $w0
 364     %copy1:gpr(s32) = COPY $w1
 365     %three:gpr(s32) = G_CONSTANT i32 3
 366     %shift:gpr(s32) = G_ASHR %copy0, %three(s32)
 367     %cmp:gpr(s32) = G_ICMP intpred(uge), %copy1(s32), %shift
 368     $w0 = COPY %cmp(s32)
 369     RET_ReallyLR implicit $w0
 370 ...
 371 ---
 372 name:            uge_lshr
 373 legalized:       true
 374 regBankSelected: true
 375 tracksRegLiveness: true
 376 body:             |
 377   bb.0:
 378     liveins: $w0, $w1
 379
 380     ; CHECK-LABEL: name: uge_lshr
 381     ; CHECK: liveins: $w0, $w1
 382     ; CHECK: %copy0:gpr32 = COPY $w0
 383     ; CHECK: %copy1:gpr32 = COPY $w1
 384     ; CHECK: [[SUBSWrs:%[0-9]+]]:gpr32 = SUBSWrs %copy1, %copy0, 67, implicit-def $nzcv
 385     ; CHECK: %cmp:gpr32 = CSINCWr $wzr, $wzr, 3, implicit $nzcv
 386     ; CHECK: $w0 = COPY %cmp
 387     ; CHECK: RET_ReallyLR implicit $w0
 388     %copy0:gpr(s32) = COPY $w0
 389     %copy1:gpr(s32) = COPY $w1
 390     %three:gpr(s32) = G_CONSTANT i32 3
 391     %shift:gpr(s32) = G_LSHR %copy0, %three(s32)
 392     %cmp:gpr(s32) = G_ICMP intpred(uge), %copy1(s32), %shift
 393     $w0 = COPY %cmp(s32)
 394     RET_ReallyLR implicit $w0
 395 ...
 396
 397 ...
 398 ---
 399 name:            ule_shl
 400 legalized:       true
 401 regBankSelected: true
 402 tracksRegLiveness: true
 403 body:             |
 404   bb.0:
 405     liveins: $w0, $w1
 406
 407     ; CHECK-LABEL: name: ule_shl
 408     ; CHECK: liveins: $w0, $w1
 409     ; CHECK: %copy0:gpr32 = COPY $w0
 410     ; CHECK: %copy1:gpr32 = COPY $w1
 411     ; CHECK: [[SUBSWrs:%[0-9]+]]:gpr32 = SUBSWrs %copy1, %copy0, 3, implicit-def $nzcv
 412     ; CHECK: %cmp:gpr32 = CSINCWr $wzr, $wzr, 8, implicit $nzcv
 413     ; CHECK: $w0 = COPY %cmp
 414     ; CHECK: RET_ReallyLR implicit $w0
 415     %copy0:gpr(s32) = COPY $w0
 416     %copy1:gpr(s32) = COPY $w1
 417     %three:gpr(s32) = G_CONSTANT i32 3
 418     %shift:gpr(s32) = G_SHL %copy0, %three(s32)
 419     %cmp:gpr(s32) = G_ICMP intpred(ule), %copy1(s32), %shift
 420     $w0 = COPY %cmp(s32)
 421     RET_ReallyLR implicit $w0
 422 ...
 423 ---
 424 name:            ule_ashr
 425 legalized:       true
 426 regBankSelected: true
 427 tracksRegLiveness: true
 428 body:             |
 429   bb.0:
 430     liveins: $w0, $w1
 431
 432     ; CHECK-LABEL: name: ule_ashr
 433     ; CHECK: liveins: $w0, $w1
 434     ; CHECK: %copy0:gpr32 = COPY $w0
 435     ; CHECK: %copy1:gpr32 = COPY $w1
 436     ; CHECK: [[SUBSWrs:%[0-9]+]]:gpr32 = SUBSWrs %copy1, %copy0, 131, implicit-def $nzcv
 437     ; CHECK: %cmp:gpr32 = CSINCWr $wzr, $wzr, 8, implicit $nzcv
 438     ; CHECK: $w0 = COPY %cmp
 439     ; CHECK: RET_ReallyLR implicit $w0
 440     %copy0:gpr(s32) = COPY $w0
 441     %copy1:gpr(s32) = COPY $w1
 442     %three:gpr(s32) = G_CONSTANT i32 3
 443     %shift:gpr(s32) = G_ASHR %copy0, %three(s32)
 444     %cmp:gpr(s32) = G_ICMP intpred(ule), %copy1(s32), %shift
 445     $w0 = COPY %cmp(s32)
 446     RET_ReallyLR implicit $w0
 447 ...
 448 ---
 449 name:            ule_lshr
 450 legalized:       true
 451 regBankSelected: true
 452 tracksRegLiveness: true
 453 body:             |
 454   bb.0:
 455     liveins: $w0, $w1
 456
 457     ; CHECK-LABEL: name: ule_lshr
 458     ; CHECK: liveins: $w0, $w1
 459     ; CHECK: %copy0:gpr32 = COPY $w0
 460     ; CHECK: %copy1:gpr32 = COPY $w1
 461     ; CHECK: [[SUBSWrs:%[0-9]+]]:gpr32 = SUBSWrs %copy1, %copy0, 67, implicit-def $nzcv
 462     ; CHECK: %cmp:gpr32 = CSINCWr $wzr, $wzr, 8, implicit $nzcv
 463     ; CHECK: $w0 = COPY %cmp
 464     ; CHECK: RET_ReallyLR implicit $w0
 465     %copy0:gpr(s32) = COPY $w0
 466     %copy1:gpr(s32) = COPY $w1
 467     %three:gpr(s32) = G_CONSTANT i32 3
 468     %shift:gpr(s32) = G_LSHR %copy0, %three(s32)
 469     %cmp:gpr(s32) = G_ICMP intpred(ule), %copy1(s32), %shift
 470     $w0 = COPY %cmp(s32)
 471     RET_ReallyLR implicit $w0
 472 ...
 473 ...
 474 ---
 475 name:            slt_shl
 476 legalized:       true
 477 regBankSelected: true
 478 tracksRegLiveness: true
 479 body:             |
 480   bb.0:
 481     liveins: $w0, $w1
 482
 483     ; CHECK-LABEL: name: slt_shl
 484     ; CHECK: liveins: $w0, $w1
 485     ; CHECK: %copy0:gpr32 = COPY $w0
 486     ; CHECK: %copy1:gpr32 = COPY $w1
 487     ; CHECK: [[SUBSWrs:%[0-9]+]]:gpr32 = SUBSWrs %copy1, %copy0, 3, implicit-def $nzcv
 488     ; CHECK: %cmp:gpr32 = CSINCWr $wzr, $wzr, 10, implicit $nzcv
 489     ; CHECK: $w0 = COPY %cmp
 490     ; CHECK: RET_ReallyLR implicit $w0
 491     %copy0:gpr(s32) = COPY $w0
 492     %copy1:gpr(s32) = COPY $w1
 493     %three:gpr(s32) = G_CONSTANT i32 3
 494     %shift:gpr(s32) = G_SHL %copy0, %three(s32)
 495     %cmp:gpr(s32) = G_ICMP intpred(slt), %copy1(s32), %shift
 496     $w0 = COPY %cmp(s32)
 497     RET_ReallyLR implicit $w0
 498 ...
 499 ---
 500 name:            slt_ashr
 501 legalized:       true
 502 regBankSelected: true
 503 tracksRegLiveness: true
 504 body:             |
 505   bb.0:
 506     liveins: $w0, $w1
 507
 508     ; CHECK-LABEL: name: slt_ashr
 509     ; CHECK: liveins: $w0, $w1
 510     ; CHECK: %copy0:gpr32 = COPY $w0
 511     ; CHECK: %copy1:gpr32 = COPY $w1
 512     ; CHECK: [[SUBSWrs:%[0-9]+]]:gpr32 = SUBSWrs %copy1, %copy0, 131, implicit-def $nzcv
 513     ; CHECK: %cmp:gpr32 = CSINCWr $wzr, $wzr, 10, implicit $nzcv
 514     ; CHECK: $w0 = COPY %cmp
 515     ; CHECK: RET_ReallyLR implicit $w0
 516     %copy0:gpr(s32) = COPY $w0
 517     %copy1:gpr(s32) = COPY $w1
 518     %three:gpr(s32) = G_CONSTANT i32 3
 519     %shift:gpr(s32) = G_ASHR %copy0, %three(s32)
 520     %cmp:gpr(s32) = G_ICMP intpred(slt), %copy1(s32), %shift
 521     $w0 = COPY %cmp(s32)
 522     RET_ReallyLR implicit $w0
 523 ...
 524 ---
 525 name:            slt_lshr
 526 legalized:       true
 527 regBankSelected: true
 528 tracksRegLiveness: true
 529 body:             |
 530   bb.0:
 531     liveins: $w0, $w1
 532
 533     ; CHECK-LABEL: name: slt_lshr
 534     ; CHECK: liveins: $w0, $w1
 535     ; CHECK: %copy0:gpr32 = COPY $w0
 536     ; CHECK: %copy1:gpr32 = COPY $w1
 537     ; CHECK: [[SUBSWrs:%[0-9]+]]:gpr32 = SUBSWrs %copy1, %copy0, 67, implicit-def $nzcv
 538     ; CHECK: %cmp:gpr32 = CSINCWr $wzr, $wzr, 10, implicit $nzcv
 539     ; CHECK: $w0 = COPY %cmp
 540     ; CHECK: RET_ReallyLR implicit $w0
 541     %copy0:gpr(s32) = COPY $w0
 542     %copy1:gpr(s32) = COPY $w1
 543     %three:gpr(s32) = G_CONSTANT i32 3
 544     %shift:gpr(s32) = G_LSHR %copy0, %three(s32)
 545     %cmp:gpr(s32) = G_ICMP intpred(slt), %copy1(s32), %shift
 546     $w0 = COPY %cmp(s32)
 547     RET_ReallyLR implicit $w0
 548 ...
 549 ---
 550 name:            sgt_shl
 551 legalized:       true
 552 regBankSelected: true
 553 tracksRegLiveness: true
 554 body:             |
 555   bb.0:
 556     liveins: $w0, $w1
 557
 558     ; CHECK-LABEL: name: sgt_shl
 559     ; CHECK: liveins: $w0, $w1
 560     ; CHECK: %copy0:gpr32 = COPY $w0
 561     ; CHECK: %copy1:gpr32 = COPY $w1
 562     ; CHECK: [[SUBSWrs:%[0-9]+]]:gpr32 = SUBSWrs %copy1, %copy0, 3, implicit-def $nzcv
 563     ; CHECK: %cmp:gpr32 = CSINCWr $wzr, $wzr, 13, implicit $nzcv
 564     ; CHECK: $w0 = COPY %cmp
 565     ; CHECK: RET_ReallyLR implicit $w0
 566     %copy0:gpr(s32) = COPY $w0
 567     %copy1:gpr(s32) = COPY $w1
 568     %three:gpr(s32) = G_CONSTANT i32 3
 569     %shift:gpr(s32) = G_SHL %copy0, %three(s32)
 570     %cmp:gpr(s32) = G_ICMP intpred(sgt), %copy1(s32), %shift
 571     $w0 = COPY %cmp(s32)
 572     RET_ReallyLR implicit $w0
 573 ...
 574 ---
 575 name:            sgt_ashr
 576 legalized:       true
 577 regBankSelected: true
 578 tracksRegLiveness: true
 579 body:             |
 580   bb.0:
 581     liveins: $w0, $w1
 582
 583     ; CHECK-LABEL: name: sgt_ashr
 584     ; CHECK: liveins: $w0, $w1
 585     ; CHECK: %copy0:gpr32 = COPY $w0
 586     ; CHECK: %copy1:gpr32 = COPY $w1
 587     ; CHECK: [[SUBSWrs:%[0-9]+]]:gpr32 = SUBSWrs %copy1, %copy0, 131, implicit-def $nzcv
 588     ; CHECK: %cmp:gpr32 = CSINCWr $wzr, $wzr, 13, implicit $nzcv
 589     ; CHECK: $w0 = COPY %cmp
 590     ; CHECK: RET_ReallyLR implicit $w0
 591     %copy0:gpr(s32) = COPY $w0
 592     %copy1:gpr(s32) = COPY $w1
 593     %three:gpr(s32) = G_CONSTANT i32 3
 594     %shift:gpr(s32) = G_ASHR %copy0, %three(s32)
 595     %cmp:gpr(s32) = G_ICMP intpred(sgt), %copy1(s32), %shift
 596     $w0 = COPY %cmp(s32)
 597     RET_ReallyLR implicit $w0
 598 ...
 599 ---
 600 name:            sgt_lshr
 601 legalized:       true
 602 regBankSelected: true
 603 tracksRegLiveness: true
 604 body:             |
 605   bb.0:
 606     liveins: $w0, $w1
 607
 608     ; CHECK-LABEL: name: sgt_lshr
 609     ; CHECK: liveins: $w0, $w1
 610     ; CHECK: %copy0:gpr32 = COPY $w0
 611     ; CHECK: %copy1:gpr32 = COPY $w1
 612     ; CHECK: [[SUBSWrs:%[0-9]+]]:gpr32 = SUBSWrs %copy1, %copy0, 67, implicit-def $nzcv
 613     ; CHECK: %cmp:gpr32 = CSINCWr $wzr, $wzr, 13, implicit $nzcv
 614     ; CHECK: $w0 = COPY %cmp
 615     ; CHECK: RET_ReallyLR implicit $w0
 616     %copy0:gpr(s32) = COPY $w0
 617     %copy1:gpr(s32) = COPY $w1
 618     %three:gpr(s32) = G_CONSTANT i32 3
 619     %shift:gpr(s32) = G_LSHR %copy0, %three(s32)
 620     %cmp:gpr(s32) = G_ICMP intpred(sgt), %copy1(s32), %shift
 621     $w0 = COPY %cmp(s32)
 622     RET_ReallyLR implicit $w0
 623 ...
 624 ---
 625 name:            sge_shl
 626 legalized:       true
 627 regBankSelected: true
 628 tracksRegLiveness: true
 629 body:             |
 630   bb.0:
 631     liveins: $w0, $w1
 632
 633     ; CHECK-LABEL: name: sge_shl
 634     ; CHECK: liveins: $w0, $w1
 635     ; CHECK: %copy0:gpr32 = COPY $w0
 636     ; CHECK: %copy1:gpr32 = COPY $w1
 637     ; CHECK: [[SUBSWrs:%[0-9]+]]:gpr32 = SUBSWrs %copy1, %copy0, 3, implicit-def $nzcv
 638     ; CHECK: %cmp:gpr32 = CSINCWr $wzr, $wzr, 11, implicit $nzcv
 639     ; CHECK: $w0 = COPY %cmp
 640     ; CHECK: RET_ReallyLR implicit $w0
 641     %copy0:gpr(s32) = COPY $w0
 642     %copy1:gpr(s32) = COPY $w1
 643     %three:gpr(s32) = G_CONSTANT i32 3
 644     %shift:gpr(s32) = G_SHL %copy0, %three(s32)
 645     %cmp:gpr(s32) = G_ICMP intpred(sge), %copy1(s32), %shift
 646     $w0 = COPY %cmp(s32)
 647     RET_ReallyLR implicit $w0
 648 ...
 649 ---
 650 name:            sge_ashr
 651 legalized:       true
 652 regBankSelected: true
 653 tracksRegLiveness: true
 654 body:             |
 655   bb.0:
 656     liveins: $w0, $w1
 657
 658     ; CHECK-LABEL: name: sge_ashr
 659     ; CHECK: liveins: $w0, $w1
 660     ; CHECK: %copy0:gpr32 = COPY $w0
 661     ; CHECK: %copy1:gpr32 = COPY $w1
 662     ; CHECK: [[SUBSWrs:%[0-9]+]]:gpr32 = SUBSWrs %copy1, %copy0, 131, implicit-def $nzcv
 663     ; CHECK: %cmp:gpr32 = CSINCWr $wzr, $wzr, 11, implicit $nzcv
 664     ; CHECK: $w0 = COPY %cmp
 665     ; CHECK: RET_ReallyLR implicit $w0
 666     %copy0:gpr(s32) = COPY $w0
 667     %copy1:gpr(s32) = COPY $w1
 668     %three:gpr(s32) = G_CONSTANT i32 3
 669     %shift:gpr(s32) = G_ASHR %copy0, %three(s32)
 670     %cmp:gpr(s32) = G_ICMP intpred(sge), %copy1(s32), %shift
 671     $w0 = COPY %cmp(s32)
 672     RET_ReallyLR implicit $w0
 673 ...
 674 ---
 675 name:            sge_lshr
 676 legalized:       true
 677 regBankSelected: true
 678 tracksRegLiveness: true
 679 body:             |
 680   bb.0:
 681     liveins: $w0, $w1
 682
 683     ; CHECK-LABEL: name: sge_lshr
 684     ; CHECK: liveins: $w0, $w1
 685     ; CHECK: %copy0:gpr32 = COPY $w0
 686     ; CHECK: %copy1:gpr32 = COPY $w1
 687     ; CHECK: [[SUBSWrs:%[0-9]+]]:gpr32 = SUBSWrs %copy1, %copy0, 67, implicit-def $nzcv
 688     ; CHECK: %cmp:gpr32 = CSINCWr $wzr, $wzr, 11, implicit $nzcv
 689     ; CHECK: $w0 = COPY %cmp
 690     ; CHECK: RET_ReallyLR implicit $w0
 691     %copy0:gpr(s32) = COPY $w0
 692     %copy1:gpr(s32) = COPY $w1
 693     %three:gpr(s32) = G_CONSTANT i32 3
 694     %shift:gpr(s32) = G_LSHR %copy0, %three(s32)
 695     %cmp:gpr(s32) = G_ICMP intpred(sge), %copy1(s32), %shift
 696     $w0 = COPY %cmp(s32)
 697     RET_ReallyLR implicit $w0
 698 ...
 699
 700 ...
 701 ---
 702 name:            sle_shl
 703 legalized:       true
 704 regBankSelected: true
 705 tracksRegLiveness: true
 706 body:             |
 707   bb.0:
 708     liveins: $w0, $w1
 709
 710     ; CHECK-LABEL: name: sle_shl
 711     ; CHECK: liveins: $w0, $w1
 712     ; CHECK: %copy0:gpr32 = COPY $w0
 713     ; CHECK: %copy1:gpr32 = COPY $w1
 714     ; CHECK: [[SUBSWrs:%[0-9]+]]:gpr32 = SUBSWrs %copy1, %copy0, 3, implicit-def $nzcv
 715     ; CHECK: %cmp:gpr32 = CSINCWr $wzr, $wzr, 12, implicit $nzcv
 716     ; CHECK: $w0 = COPY %cmp
 717     ; CHECK: RET_ReallyLR implicit $w0
 718     %copy0:gpr(s32) = COPY $w0
 719     %copy1:gpr(s32) = COPY $w1
 720     %three:gpr(s32) = G_CONSTANT i32 3
 721     %shift:gpr(s32) = G_SHL %copy0, %three(s32)
 722     %cmp:gpr(s32) = G_ICMP intpred(sle), %copy1(s32), %shift
 723     $w0 = COPY %cmp(s32)
 724     RET_ReallyLR implicit $w0
 725 ...
 726 ---
 727 name:            sle_ashr
 728 legalized:       true
 729 regBankSelected: true
 730 tracksRegLiveness: true
 731 body:             |
 732   bb.0:
 733     liveins: $w0, $w1
 734
 735     ; CHECK-LABEL: name: sle_ashr
 736     ; CHECK: liveins: $w0, $w1
 737     ; CHECK: %copy0:gpr32 = COPY $w0
 738     ; CHECK: %copy1:gpr32 = COPY $w1
 739     ; CHECK: [[SUBSWrs:%[0-9]+]]:gpr32 = SUBSWrs %copy1, %copy0, 131, implicit-def $nzcv
 740     ; CHECK: %cmp:gpr32 = CSINCWr $wzr, $wzr, 12, implicit $nzcv
 741     ; CHECK: $w0 = COPY %cmp
 742     ; CHECK: RET_ReallyLR implicit $w0
 743     %copy0:gpr(s32) = COPY $w0
 744     %copy1:gpr(s32) = COPY $w1
 745     %three:gpr(s32) = G_CONSTANT i32 3
 746     %shift:gpr(s32) = G_ASHR %copy0, %three(s32)
 747     %cmp:gpr(s32) = G_ICMP intpred(sle), %copy1(s32), %shift
 748     $w0 = COPY %cmp(s32)
 749     RET_ReallyLR implicit $w0
 750 ...
 751 ---
 752 name:            sle_lshr
 753 legalized:       true
 754 regBankSelected: true
 755 tracksRegLiveness: true
 756 body:             |
 757   bb.0:
 758     liveins: $w0, $w1
 759
 760     ; CHECK-LABEL: name: sle_lshr
 761     ; CHECK: liveins: $w0, $w1
 762     ; CHECK: %copy0:gpr32 = COPY $w0
 763     ; CHECK: %copy1:gpr32 = COPY $w1
 764     ; CHECK: [[SUBSWrs:%[0-9]+]]:gpr32 = SUBSWrs %copy1, %copy0, 67, implicit-def $nzcv
 765     ; CHECK: %cmp:gpr32 = CSINCWr $wzr, $wzr, 12, implicit $nzcv
 766     ; CHECK: $w0 = COPY %cmp
 767     ; CHECK: RET_ReallyLR implicit $w0
 768     %copy0:gpr(s32) = COPY $w0
 769     %copy1:gpr(s32) = COPY $w1
 770     %three:gpr(s32) = G_CONSTANT i32 3
 771     %shift:gpr(s32) = G_LSHR %copy0, %three(s32)
 772     %cmp:gpr(s32) = G_ICMP intpred(sle), %copy1(s32), %shift
 773     $w0 = COPY %cmp(s32)
 774     RET_ReallyLR implicit $w0
 775 ...