test/CodeGen/ARM/GlobalISel/select-revsh.mir

   1 # RUN: llc -O0 -mtriple arm-- -mattr=+v6 -run-pass=instruction-select -verify-machineinstrs %s -o - | FileCheck %s --check-prefixes=CHECK,ARM
   2 # RUN: llc -O0 -mtriple thumb-- -mattr=+v6t2 -run-pass=instruction-select -verify-machineinstrs %s -o - | FileCheck %s --check-prefixes=CHECK,THUMB
   3 --- |
   4   define void @test_shifts_to_revsh() { ret void }
   5   define void @test_shifts_to_revsh_commutative() { ret void }
   6   define void @test_shifts_no_revsh_constants() { ret void }
   7 ...
   8 ---
   9 name:            test_shifts_to_revsh
  10 # CHECK-LABEL: name: test_shifts_to_revsh
  11 legalized:       true
  12 regBankSelected: true
  13 selected:        false
  14 # CHECK: selected: true
  15 registers:
  16   - { id: 0, class: gprb }
  17   - { id: 1, class: gprb }
  18   - { id: 2, class: gprb }
  19   - { id: 3, class: gprb }
  20   - { id: 4, class: gprb }
  21   - { id: 5, class: gprb }
  22   - { id: 6, class: gprb }
  23   - { id: 7, class: gprb }
  24   - { id: 8, class: gprb }
  25   - { id: 9, class: gprb }
  26 body:             |
  27   bb.0:
  28     liveins: $r0
  29
  30     %0(s32) = COPY $r0
  31     ; ARM: [[VREGX:%[0-9]+]]:gpr = COPY $r0
  32     ; THUMB: [[VREGX:%[0-9]+]]:rgpr = COPY $r0
  33
  34     %1(s32) = G_CONSTANT i32 24
  35     %2(s32) = G_SHL %0(s32), %1(s32)
  36
  37     %3(s32) = G_CONSTANT i32 16
  38     %4(s32) = G_ASHR %2(s32), %3(s32)
  39
  40     %5(s32) = G_CONSTANT i32 8
  41     %6(s32) = G_LSHR %0(s32), %5(s32)
  42
  43     %7(s32) = G_CONSTANT i32 255
  44     %8(s32) = G_AND %6(s32), %7(s32)
  45
  46     %9(s32) = G_OR %4(s32), %8(s32)
  47     ; ARM: [[VREGR:%[0-9]+]]:gpr = REVSH [[VREGX]]
  48     ; THUMB: [[VREGR:%[0-9]+]]:rgpr = t2REVSH [[VREGX]]
  49
  50     $r0 = COPY %9(s32)
  51     ; CHECK: $r0 = COPY [[VREGR]]
  52
  53     BX_RET 14, $noreg, implicit $r0
  54     ; CHECK: BX_RET 14, $noreg, implicit $r0
  55 ...
  56 ---
  57 name:            test_shifts_to_revsh_commutative
  58 # CHECK-LABEL: name: test_shifts_to_revsh_commutative
  59 legalized:       true
  60 regBankSelected: true
  61 selected:        false
  62 # CHECK: selected: true
  63 registers:
  64   - { id: 0, class: gprb }
  65   - { id: 1, class: gprb }
  66   - { id: 2, class: gprb }
  67   - { id: 3, class: gprb }
  68   - { id: 4, class: gprb }
  69   - { id: 5, class: gprb }
  70   - { id: 6, class: gprb }
  71   - { id: 7, class: gprb }
  72   - { id: 8, class: gprb }
  73   - { id: 9, class: gprb }
  74 body:             |
  75   bb.0:
  76     liveins: $r0
  77
  78     %0(s32) = COPY $r0
  79     ; ARM: [[VREGX:%[0-9]+]]:gpr = COPY $r0
  80     ; THUMB: [[VREGX:%[0-9]+]]:rgpr = COPY $r0
  81
  82     %1(s32) = G_CONSTANT i32 24
  83     %2(s32) = G_SHL %0(s32), %1(s32)
  84
  85     %3(s32) = G_CONSTANT i32 16
  86     %4(s32) = G_ASHR %2(s32), %3(s32)
  87
  88     %5(s32) = G_CONSTANT i32 8
  89     %6(s32) = G_LSHR %0(s32), %5(s32)
  90
  91     %7(s32) = G_CONSTANT i32 255
  92     %8(s32) = G_AND %6(s32), %7(s32)
  93
  94     %9(s32) = G_OR %8(s32), %4(s32)
  95     ; ARM: [[VREGR:%[0-9]+]]:gpr = REVSH [[VREGX]]
  96     ; THUMB: [[VREGR:%[0-9]+]]:rgpr = t2REVSH [[VREGX]]
  97
  98     $r0 = COPY %9(s32)
  99     ; CHECK: $r0 = COPY [[VREGR]]
 100
 101     BX_RET 14, $noreg, implicit $r0
 102     ; CHECK: BX_RET 14, $noreg, implicit $r0
 103 ...
 104 ---
 105 name:            test_shifts_no_revsh_constants
 106 # CHECK-LABEL: name: test_shifts_no_revsh_constants
 107 legalized:       true
 108 regBankSelected: true
 109 selected:        false
 110 # CHECK: selected: true
 111 registers:
 112   - { id: 0, class: gprb }
 113   - { id: 1, class: gprb }
 114   - { id: 2, class: gprb }
 115   - { id: 3, class: gprb }
 116   - { id: 4, class: gprb }
 117   - { id: 5, class: gprb }
 118   - { id: 6, class: gprb }
 119   - { id: 7, class: gprb }
 120   - { id: 8, class: gprb }
 121   - { id: 9, class: gprb }
 122 body:             |
 123   bb.0:
 124     liveins: $r0
 125
 126     %0(s32) = COPY $r0
 127
 128     %1(s32) = G_CONSTANT i32 16 ; REVSH needs 24 here
 129     %2(s32) = G_SHL %0(s32), %1(s32)
 130
 131     %3(s32) = G_CONSTANT i32 24 ; REVSH needs 16 here
 132     %4(s32) = G_ASHR %2(s32), %3(s32)
 133
 134     %5(s32) = G_CONSTANT i32 8
 135     %6(s32) = G_LSHR %0(s32), %5(s32)
 136
 137     %7(s32) = G_CONSTANT i32 255
 138     %8(s32) = G_AND %6(s32), %7(s32)
 139
 140     %9(s32) = G_OR %4(s32), %8(s32)
 141     ; We don't really care how this is folded as long as it's not into a REVSH.
 142     ; CHECK-NOT: REVSH
 143
 144     $r0 = COPY %9(s32)
 145
 146     BX_RET 14, $noreg, implicit $r0
 147 ...