llvm/test/CodeGen/X86/GlobalISel/legalize-ashr-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=legalizer %s -o - | FileCheck %s
   3 --- |
   4
   5   define void @test_ashr() { ret void }
   6   define void @test_ashr_i1() { ret void }
   7 ...
   8 ---
   9 name:            test_ashr
  10 alignment:       16
  11 legalized:       false
  12 regBankSelected: false
  13 tracksRegLiveness: true
  14 registers:
  15   - { id: 0, class: _, preferred-register: '' }
  16   - { id: 1, class: _, preferred-register: '' }
  17   - { id: 2, class: _, preferred-register: '' }
  18   - { id: 3, class: _, preferred-register: '' }
  19   - { id: 4, class: _, preferred-register: '' }
  20   - { id: 5, class: _, preferred-register: '' }
  21   - { id: 6, class: _, preferred-register: '' }
  22   - { id: 7, class: _, preferred-register: '' }
  23   - { id: 8, class: _, preferred-register: '' }
  24   - { id: 9, class: _, preferred-register: '' }
  25   - { id: 10, class: _, preferred-register: '' }
  26   - { id: 11, class: _, preferred-register: '' }
  27 body:             |
  28   bb.1 (%ir-block.0):
  29     liveins: $rdi, $rsi
  30
  31     ; CHECK-LABEL: name: test_ashr
  32     ; CHECK: liveins: $rdi, $rsi
  33     ; CHECK: RET 0
  34     %0(s64) = COPY $rdi
  35     %1(s64) = COPY $rsi
  36     %2(s64) = G_ASHR %0, %1
  37
  38     %3(s32) = G_TRUNC %0
  39     %4(s32) = G_TRUNC %1
  40     %5(s32) = G_ASHR %3, %4
  41
  42     %6(s16) = G_TRUNC %0
  43     %7(s16) = G_TRUNC %1
  44     %8(s16) = G_ASHR %6, %7
  45
  46     %9(s8) = G_TRUNC %0
  47     %10(s8) = G_TRUNC %1
  48     %11(s8) = G_ASHR %9, %10
  49
  50     RET 0
  51
  52 ...
  53 ---
  54 name:            test_ashr_i1
  55 alignment:       16
  56 legalized:       false
  57 regBankSelected: false
  58 tracksRegLiveness: true
  59 registers:
  60   - { id: 0, class: _, preferred-register: '' }
  61   - { id: 1, class: _, preferred-register: '' }
  62   - { id: 2, class: _, preferred-register: '' }
  63   - { id: 3, class: _, preferred-register: '' }
  64   - { id: 4, class: _, preferred-register: '' }
  65 body:             |
  66   bb.1 (%ir-block.0):
  67     liveins: $rdi, $rsi
  68
  69     ; CHECK-LABEL: name: test_ashr_i1
  70     ; CHECK: liveins: $rdi, $rsi
  71     ; CHECK: RET 0
  72     %0(s64) = COPY $rdi
  73     %1(s64) = COPY $rsi
  74     %2(s1) = G_TRUNC %0
  75     %3(s1) = G_TRUNC %1
  76     %4(s1) = G_ASHR %2, %3
  77
  78     RET 0
  79
  80 ...