test/CodeGen/X86/GlobalISel/select-lshr-scalar.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -mtriple=x86_64-linux-gnu -run-pass=instruction-select -verify-machineinstrs %s -o - | FileCheck %s --check-prefix=ALL
   3 --- |
   4
   5   define i64 @test_lshr_i64(i64 %arg1, i64 %arg2) {
   6     %res = lshr i64 %arg1, %arg2
   7     ret i64 %res
   8   }
   9
  10   define i64 @test_lshr_i64_imm(i64 %arg1) {
  11     %res = lshr i64 %arg1, 5
  12     ret i64 %res
  13   }
  14
  15   define i64 @test_lshr_i64_imm1(i64 %arg1) {
  16     %res = lshr i64 %arg1, 1
  17     ret i64 %res
  18   }
  19
  20   define i32 @test_lshr_i32(i32 %arg1, i32 %arg2) {
  21     %res = lshr i32 %arg1, %arg2
  22     ret i32 %res
  23   }
  24
  25   define i32 @test_lshr_i32_imm(i32 %arg1) {
  26     %res = lshr i32 %arg1, 5
  27     ret i32 %res
  28   }
  29
  30   define i32 @test_lshr_i32_imm1(i32 %arg1) {
  31     %res = lshr i32 %arg1, 1
  32     ret i32 %res
  33   }
  34
  35   define i16 @test_lshr_i16(i32 %arg1, i32 %arg2) {
  36     %a = trunc i32 %arg1 to i16
  37     %a2 = trunc i32 %arg2 to i16
  38     %res = lshr i16 %a, %a2
  39     ret i16 %res
  40   }
  41
  42   define i16 @test_lshr_i16_imm(i32 %arg1) {
  43     %a = trunc i32 %arg1 to i16
  44     %res = lshr i16 %a, 5
  45     ret i16 %res
  46   }
  47
  48   define i16 @test_lshr_i16_imm1(i32 %arg1) {
  49     %a = trunc i32 %arg1 to i16
  50     %res = lshr i16 %a, 1
  51     ret i16 %res
  52   }
  53
  54   define i8 @test_lshr_i8(i32 %arg1, i32 %arg2) {
  55     %a = trunc i32 %arg1 to i8
  56     %a2 = trunc i32 %arg2 to i8
  57     %res = lshr i8 %a, %a2
  58     ret i8 %res
  59   }
  60
  61   define i8 @test_lshr_i8_imm(i32 %arg1) {
  62     %a = trunc i32 %arg1 to i8
  63     %res = lshr i8 %a, 5
  64     ret i8 %res
  65   }
  66
  67   define i8 @test_lshr_i8_imm1(i32 %arg1) {
  68     %a = trunc i32 %arg1 to i8
  69     %res = lshr i8 %a, 1
  70     ret i8 %res
  71   }
  72 ...
  73 ---
  74 name:            test_lshr_i64
  75 alignment:       4
  76 legalized:       true
  77 regBankSelected: true
  78 tracksRegLiveness: true
  79 registers:
  80   - { id: 0, class: gpr, preferred-register: '' }
  81   - { id: 1, class: gpr, preferred-register: '' }
  82   - { id: 2, class: gpr, preferred-register: '' }
  83   - { id: 3, class: gpr, preferred-register: '' }
  84 liveins:
  85 fixedStack:
  86 stack:
  87 constants:
  88 body:             |
  89   bb.1 (%ir-block.0):
  90     liveins: $rdi, $rsi
  91
  92     ; ALL-LABEL: name: test_lshr_i64
  93     ; ALL: liveins: $rdi, $rsi
  94     ; ALL: [[COPY:%[0-9]+]]:gr64 = COPY $rdi
  95     ; ALL: [[COPY1:%[0-9]+]]:gr64_with_sub_8bit = COPY $rsi
  96     ; ALL: [[COPY2:%[0-9]+]]:gr8 = COPY [[COPY1]].sub_8bit
  97     ; ALL: $cl = COPY [[COPY2]]
  98     ; ALL: [[SHR64rCL:%[0-9]+]]:gr64 = SHR64rCL [[COPY]], implicit-def $eflags, implicit $cl
  99     ; ALL: $rax = COPY [[SHR64rCL]]
 100     ; ALL: RET 0, implicit $rax
 101     %0(s64) = COPY $rdi
 102     %1(s64) = COPY $rsi
 103     %2(s8) = G_TRUNC %1
 104     %3(s64) = G_LSHR %0, %2
 105     $rax = COPY %3(s64)
 106     RET 0, implicit $rax
 107
 108 ...
 109 ---
 110 name:            test_lshr_i64_imm
 111 alignment:       4
 112 legalized:       true
 113 regBankSelected: true
 114 tracksRegLiveness: true
 115 registers:
 116   - { id: 0, class: gpr, preferred-register: '' }
 117   - { id: 1, class: gpr, preferred-register: '' }
 118   - { id: 2, class: gpr, preferred-register: '' }
 119 liveins:
 120 fixedStack:
 121 stack:
 122 constants:
 123 body:             |
 124   bb.1 (%ir-block.0):
 125     liveins: $rdi
 126
 127     ; ALL-LABEL: name: test_lshr_i64_imm
 128     ; ALL: liveins: $rdi
 129     ; ALL: [[COPY:%[0-9]+]]:gr64 = COPY $rdi
 130     ; ALL: [[SHR64ri:%[0-9]+]]:gr64 = SHR64ri [[COPY]], 5, implicit-def $eflags
 131     ; ALL: $rax = COPY [[SHR64ri]]
 132     ; ALL: RET 0, implicit $rax
 133     %0(s64) = COPY $rdi
 134     %1(s8) = G_CONSTANT i8 5
 135     %2(s64) = G_LSHR %0, %1
 136     $rax = COPY %2(s64)
 137     RET 0, implicit $rax
 138
 139 ...
 140 ---
 141 name:            test_lshr_i64_imm1
 142 alignment:       4
 143 legalized:       true
 144 regBankSelected: true
 145 tracksRegLiveness: true
 146 registers:
 147   - { id: 0, class: gpr, preferred-register: '' }
 148   - { id: 1, class: gpr, preferred-register: '' }
 149   - { id: 2, class: gpr, preferred-register: '' }
 150 liveins:
 151 fixedStack:
 152 stack:
 153 constants:
 154 body:             |
 155   bb.1 (%ir-block.0):
 156     liveins: $rdi
 157
 158     ; ALL-LABEL: name: test_lshr_i64_imm1
 159     ; ALL: liveins: $rdi
 160     ; ALL: [[COPY:%[0-9]+]]:gr64 = COPY $rdi
 161     ; ALL: [[SHR64r1_:%[0-9]+]]:gr64 = SHR64r1 [[COPY]], implicit-def $eflags
 162     ; ALL: $rax = COPY [[SHR64r1_]]
 163     ; ALL: RET 0, implicit $rax
 164     %0(s64) = COPY $rdi
 165     %1(s8) = G_CONSTANT i8 1
 166     %2(s64) = G_LSHR %0, %1
 167     $rax = COPY %2(s64)
 168     RET 0, implicit $rax
 169
 170 ...
 171 ---
 172 name:            test_lshr_i32
 173 alignment:       4
 174 legalized:       true
 175 regBankSelected: true
 176 tracksRegLiveness: true
 177 registers:
 178   - { id: 0, class: gpr, preferred-register: '' }
 179   - { id: 1, class: gpr, preferred-register: '' }
 180   - { id: 2, class: gpr, preferred-register: '' }
 181   - { id: 3, class: gpr, preferred-register: '' }
 182 liveins:
 183 fixedStack:
 184 stack:
 185 constants:
 186 body:             |
 187   bb.1 (%ir-block.0):
 188     liveins: $edi, $esi
 189
 190     ; ALL-LABEL: name: test_lshr_i32
 191     ; ALL: liveins: $edi, $esi
 192     ; ALL: [[COPY:%[0-9]+]]:gr32 = COPY $edi
 193     ; ALL: [[COPY1:%[0-9]+]]:gr32 = COPY $esi
 194     ; ALL: [[COPY2:%[0-9]+]]:gr8 = COPY [[COPY1]].sub_8bit
 195     ; ALL: $cl = COPY [[COPY2]]
 196     ; ALL: [[SHR32rCL:%[0-9]+]]:gr32 = SHR32rCL [[COPY]], implicit-def $eflags, implicit $cl
 197     ; ALL: $eax = COPY [[SHR32rCL]]
 198     ; ALL: RET 0, implicit $eax
 199     %0(s32) = COPY $edi
 200     %1(s32) = COPY $esi
 201     %2(s8) = G_TRUNC %1
 202     %3(s32) = G_LSHR %0, %2
 203     $eax = COPY %3(s32)
 204     RET 0, implicit $eax
 205
 206 ...
 207 ---
 208 name:            test_lshr_i32_imm
 209 alignment:       4
 210 legalized:       true
 211 regBankSelected: true
 212 tracksRegLiveness: true
 213 registers:
 214   - { id: 0, class: gpr, preferred-register: '' }
 215   - { id: 1, class: gpr, preferred-register: '' }
 216   - { id: 2, class: gpr, preferred-register: '' }
 217 liveins:
 218 fixedStack:
 219 stack:
 220 constants:
 221 body:             |
 222   bb.1 (%ir-block.0):
 223     liveins: $edi
 224
 225     ; ALL-LABEL: name: test_lshr_i32_imm
 226     ; ALL: liveins: $edi
 227     ; ALL: [[COPY:%[0-9]+]]:gr32 = COPY $edi
 228     ; ALL: [[SHR32ri:%[0-9]+]]:gr32 = SHR32ri [[COPY]], 5, implicit-def $eflags
 229     ; ALL: $eax = COPY [[SHR32ri]]
 230     ; ALL: RET 0, implicit $eax
 231     %0(s32) = COPY $edi
 232     %1(s8) = G_CONSTANT i8 5
 233     %2(s32) = G_LSHR %0, %1
 234     $eax = COPY %2(s32)
 235     RET 0, implicit $eax
 236
 237 ...
 238 ---
 239 name:            test_lshr_i32_imm1
 240 alignment:       4
 241 legalized:       true
 242 regBankSelected: true
 243 tracksRegLiveness: true
 244 registers:
 245   - { id: 0, class: gpr, preferred-register: '' }
 246   - { id: 1, class: gpr, preferred-register: '' }
 247   - { id: 2, class: gpr, preferred-register: '' }
 248 liveins:
 249 fixedStack:
 250 stack:
 251 constants:
 252 body:             |
 253   bb.1 (%ir-block.0):
 254     liveins: $edi
 255
 256     ; ALL-LABEL: name: test_lshr_i32_imm1
 257     ; ALL: liveins: $edi
 258     ; ALL: [[COPY:%[0-9]+]]:gr32 = COPY $edi
 259     ; ALL: [[SHR32r1_:%[0-9]+]]:gr32 = SHR32r1 [[COPY]], implicit-def $eflags
 260     ; ALL: $eax = COPY [[SHR32r1_]]
 261     ; ALL: RET 0, implicit $eax
 262     %0(s32) = COPY $edi
 263     %1(s8) = G_CONSTANT i8 1
 264     %2(s32) = G_LSHR %0, %1
 265     $eax = COPY %2(s32)
 266     RET 0, implicit $eax
 267
 268 ...
 269 ---
 270 name:            test_lshr_i16
 271 alignment:       4
 272 legalized:       true
 273 regBankSelected: true
 274 tracksRegLiveness: true
 275 registers:
 276   - { id: 0, class: gpr, preferred-register: '' }
 277   - { id: 1, class: gpr, preferred-register: '' }
 278   - { id: 2, class: gpr, preferred-register: '' }
 279   - { id: 3, class: gpr, preferred-register: '' }
 280   - { id: 4, class: gpr, preferred-register: '' }
 281 liveins:
 282 fixedStack:
 283 stack:
 284 constants:
 285 body:             |
 286   bb.1 (%ir-block.0):
 287     liveins: $edi, $esi
 288
 289     ; ALL-LABEL: name: test_lshr_i16
 290     ; ALL: liveins: $edi, $esi
 291     ; ALL: [[COPY:%[0-9]+]]:gr32 = COPY $edi
 292     ; ALL: [[COPY1:%[0-9]+]]:gr32 = COPY $esi
 293     ; ALL: [[COPY2:%[0-9]+]]:gr16 = COPY [[COPY]].sub_16bit
 294     ; ALL: [[COPY3:%[0-9]+]]:gr8 = COPY [[COPY1]].sub_8bit
 295     ; ALL: $cl = COPY [[COPY3]]
 296     ; ALL: [[SHR16rCL:%[0-9]+]]:gr16 = SHR16rCL [[COPY2]], implicit-def $eflags, implicit $cl
 297     ; ALL: $ax = COPY [[SHR16rCL]]
 298     ; ALL: RET 0, implicit $ax
 299     %0(s32) = COPY $edi
 300     %1(s32) = COPY $esi
 301     %2(s16) = G_TRUNC %0(s32)
 302     %3(s8) = G_TRUNC %1(s32)
 303     %4(s16) = G_LSHR %2, %3
 304     $ax = COPY %4(s16)
 305     RET 0, implicit $ax
 306
 307 ...
 308 ---
 309 name:            test_lshr_i16_imm
 310 alignment:       4
 311 legalized:       true
 312 regBankSelected: true
 313 tracksRegLiveness: true
 314 registers:
 315   - { id: 0, class: gpr, preferred-register: '' }
 316   - { id: 1, class: gpr, preferred-register: '' }
 317   - { id: 2, class: gpr, preferred-register: '' }
 318   - { id: 3, class: gpr, preferred-register: '' }
 319 liveins:
 320 fixedStack:
 321 stack:
 322 constants:
 323 body:             |
 324   bb.1 (%ir-block.0):
 325     liveins: $edi
 326
 327     ; ALL-LABEL: name: test_lshr_i16_imm
 328     ; ALL: liveins: $edi
 329     ; ALL: [[COPY:%[0-9]+]]:gr32 = COPY $edi
 330     ; ALL: [[COPY1:%[0-9]+]]:gr16 = COPY [[COPY]].sub_16bit
 331     ; ALL: [[SHR16ri:%[0-9]+]]:gr16 = SHR16ri [[COPY1]], 5, implicit-def $eflags
 332     ; ALL: $ax = COPY [[SHR16ri]]
 333     ; ALL: RET 0, implicit $ax
 334     %0(s32) = COPY $edi
 335     %2(s8) = G_CONSTANT i8 5
 336     %1(s16) = G_TRUNC %0(s32)
 337     %3(s16) = G_LSHR %1, %2
 338     $ax = COPY %3(s16)
 339     RET 0, implicit $ax
 340
 341 ...
 342 ---
 343 name:            test_lshr_i16_imm1
 344 alignment:       4
 345 legalized:       true
 346 regBankSelected: true
 347 tracksRegLiveness: true
 348 registers:
 349   - { id: 0, class: gpr, preferred-register: '' }
 350   - { id: 1, class: gpr, preferred-register: '' }
 351   - { id: 2, class: gpr, preferred-register: '' }
 352   - { id: 3, class: gpr, preferred-register: '' }
 353 liveins:
 354 fixedStack:
 355 stack:
 356 constants:
 357 body:             |
 358   bb.1 (%ir-block.0):
 359     liveins: $edi
 360
 361     ; ALL-LABEL: name: test_lshr_i16_imm1
 362     ; ALL: liveins: $edi
 363     ; ALL: [[COPY:%[0-9]+]]:gr32 = COPY $edi
 364     ; ALL: [[COPY1:%[0-9]+]]:gr16 = COPY [[COPY]].sub_16bit
 365     ; ALL: [[SHR16r1_:%[0-9]+]]:gr16 = SHR16r1 [[COPY1]], implicit-def $eflags
 366     ; ALL: $ax = COPY [[SHR16r1_]]
 367     ; ALL: RET 0, implicit $ax
 368     %0(s32) = COPY $edi
 369     %2(s8) = G_CONSTANT i8 1
 370     %1(s16) = G_TRUNC %0(s32)
 371     %3(s16) = G_LSHR %1, %2
 372     $ax = COPY %3(s16)
 373     RET 0, implicit $ax
 374
 375 ...
 376 ---
 377 name:            test_lshr_i8
 378 alignment:       4
 379 legalized:       true
 380 regBankSelected: true
 381 tracksRegLiveness: true
 382 registers:
 383   - { id: 0, class: gpr, preferred-register: '' }
 384   - { id: 1, class: gpr, preferred-register: '' }
 385   - { id: 2, class: gpr, preferred-register: '' }
 386   - { id: 3, class: gpr, preferred-register: '' }
 387   - { id: 4, class: gpr, preferred-register: '' }
 388 liveins:
 389 fixedStack:
 390 stack:
 391 constants:
 392 body:             |
 393   bb.1 (%ir-block.0):
 394     liveins: $edi, $esi
 395
 396     ; ALL-LABEL: name: test_lshr_i8
 397     ; ALL: liveins: $edi, $esi
 398     ; ALL: [[COPY:%[0-9]+]]:gr32 = COPY $edi
 399     ; ALL: [[COPY1:%[0-9]+]]:gr32 = COPY $esi
 400     ; ALL: [[COPY2:%[0-9]+]]:gr8 = COPY [[COPY]].sub_8bit
 401     ; ALL: [[COPY3:%[0-9]+]]:gr8 = COPY [[COPY1]].sub_8bit
 402     ; ALL: $cl = COPY [[COPY3]]
 403     ; ALL: [[SHR8rCL:%[0-9]+]]:gr8 = SHR8rCL [[COPY2]], implicit-def $eflags, implicit $cl
 404     ; ALL: $al = COPY [[SHR8rCL]]
 405     ; ALL: RET 0, implicit $al
 406     %0(s32) = COPY $edi
 407     %1(s32) = COPY $esi
 408     %2(s8) = G_TRUNC %0(s32)
 409     %3(s8) = G_TRUNC %1(s32)
 410     %4(s8) = G_LSHR %2, %3
 411     $al = COPY %4(s8)
 412     RET 0, implicit $al
 413
 414 ...
 415 ---
 416 name:            test_lshr_i8_imm
 417 alignment:       4
 418 legalized:       true
 419 regBankSelected: true
 420 tracksRegLiveness: true
 421 registers:
 422   - { id: 0, class: gpr, preferred-register: '' }
 423   - { id: 1, class: gpr, preferred-register: '' }
 424   - { id: 2, class: gpr, preferred-register: '' }
 425   - { id: 3, class: gpr, preferred-register: '' }
 426 liveins:
 427 fixedStack:
 428 stack:
 429 constants:
 430 body:             |
 431   bb.1 (%ir-block.0):
 432     liveins: $edi
 433
 434     ; ALL-LABEL: name: test_lshr_i8_imm
 435     ; ALL: liveins: $edi
 436     ; ALL: [[COPY:%[0-9]+]]:gr32 = COPY $edi
 437     ; ALL: [[COPY1:%[0-9]+]]:gr8 = COPY [[COPY]].sub_8bit
 438     ; ALL: [[SHR8ri:%[0-9]+]]:gr8 = SHR8ri [[COPY1]], 5, implicit-def $eflags
 439     ; ALL: $al = COPY [[SHR8ri]]
 440     ; ALL: RET 0, implicit $al
 441     %0(s32) = COPY $edi
 442     %2(s8) = G_CONSTANT i8 5
 443     %1(s8) = G_TRUNC %0(s32)
 444     %3(s8) = G_LSHR %1, %2
 445     $al = COPY %3(s8)
 446     RET 0, implicit $al
 447
 448 ...
 449 ---
 450 name:            test_lshr_i8_imm1
 451 alignment:       4
 452 legalized:       true
 453 regBankSelected: true
 454 tracksRegLiveness: true
 455 registers:
 456   - { id: 0, class: gpr, preferred-register: '' }
 457   - { id: 1, class: gpr, preferred-register: '' }
 458   - { id: 2, class: gpr, preferred-register: '' }
 459   - { id: 3, class: gpr, preferred-register: '' }
 460 liveins:
 461 fixedStack:
 462 stack:
 463 constants:
 464 body:             |
 465   bb.1 (%ir-block.0):
 466     liveins: $edi
 467
 468     ; ALL-LABEL: name: test_lshr_i8_imm1
 469     ; ALL: liveins: $edi
 470     ; ALL: [[COPY:%[0-9]+]]:gr32 = COPY $edi
 471     ; ALL: [[COPY1:%[0-9]+]]:gr8 = COPY [[COPY]].sub_8bit
 472     ; ALL: [[SHR8r1_:%[0-9]+]]:gr8 = SHR8r1 [[COPY1]], implicit-def $eflags
 473     ; ALL: $al = COPY [[SHR8r1_]]
 474     ; ALL: RET 0, implicit $al
 475     %0(s32) = COPY $edi
 476     %2(s8) = G_CONSTANT i8 1
 477     %1(s8) = G_TRUNC %0(s32)
 478     %3(s8) = G_LSHR %1, %2
 479     $al = COPY %3(s8)
 480     RET 0, implicit $al
 481
 482 ...