llvm/test/CodeGen/AMDGPU/GlobalISel/regbankselect-umin.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -march=amdgcn -mcpu=gfx900 -run-pass=amdgpu-regbankselect -verify-machineinstrs -regbankselect-fast -o - %s  | FileCheck %s
   3 # RUN: llc -march=amdgcn -mcpu=gfx900 -run-pass=amdgpu-regbankselect -verify-machineinstrs -regbankselect-greedy -o - %s  | FileCheck %s
   4
   5 ---
   6 name: umin_s32_ss
   7 legalized: true
   8
   9 body: |
  10   bb.0:
  11     liveins: $sgpr0, $sgpr1
  12
  13     ; CHECK-LABEL: name: umin_s32_ss
  14     ; CHECK: liveins: $sgpr0, $sgpr1
  15     ; CHECK-NEXT: {{  $}}
  16     ; CHECK-NEXT: [[COPY:%[0-9]+]]:sgpr(s32) = COPY $sgpr0
  17     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:sgpr(s32) = COPY $sgpr1
  18     ; CHECK-NEXT: [[UMIN:%[0-9]+]]:sgpr(s32) = G_UMIN [[COPY]], [[COPY1]]
  19     ; CHECK-NEXT: $sgpr0 = COPY [[UMIN]](s32)
  20     %0:_(s32) = COPY $sgpr0
  21     %1:_(s32) = COPY $sgpr1
  22     %2:_(s32) = G_UMIN %0, %1
  23     $sgpr0 = COPY %2
  24
  25 ...
  26
  27 ---
  28 name: umin_s32_sv
  29 legalized: true
  30
  31 body: |
  32   bb.0:
  33     liveins: $sgpr0, $vgpr0
  34
  35     ; CHECK-LABEL: name: umin_s32_sv
  36     ; CHECK: liveins: $sgpr0, $vgpr0
  37     ; CHECK-NEXT: {{  $}}
  38     ; CHECK-NEXT: [[COPY:%[0-9]+]]:sgpr(s32) = COPY $sgpr0
  39     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:vgpr(s32) = COPY $vgpr0
  40     ; CHECK-NEXT: [[COPY2:%[0-9]+]]:vgpr(s32) = COPY [[COPY]](s32)
  41     ; CHECK-NEXT: [[UMIN:%[0-9]+]]:vgpr(s32) = G_UMIN [[COPY2]], [[COPY1]]
  42     ; CHECK-NEXT: $vgpr0 = COPY [[UMIN]](s32)
  43     %0:_(s32) = COPY $sgpr0
  44     %1:_(s32) = COPY $vgpr0
  45     %2:_(s32) = G_UMIN %0, %1
  46     $vgpr0 = COPY %2
  47
  48 ...
  49
  50 ---
  51 name: umin_s32_vs
  52 legalized: true
  53
  54 body: |
  55   bb.0:
  56     liveins: $sgpr0, $vgpr0
  57
  58     ; CHECK-LABEL: name: umin_s32_vs
  59     ; CHECK: liveins: $sgpr0, $vgpr0
  60     ; CHECK-NEXT: {{  $}}
  61     ; CHECK-NEXT: [[COPY:%[0-9]+]]:vgpr(s32) = COPY $vgpr0
  62     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:sgpr(s32) = COPY $sgpr0
  63     ; CHECK-NEXT: [[COPY2:%[0-9]+]]:vgpr(s32) = COPY [[COPY1]](s32)
  64     ; CHECK-NEXT: [[UMIN:%[0-9]+]]:vgpr(s32) = G_UMIN [[COPY]], [[COPY2]]
  65     ; CHECK-NEXT: $vgpr0 = COPY [[UMIN]](s32)
  66     %0:_(s32) = COPY $vgpr0
  67     %1:_(s32) = COPY $sgpr0
  68     %2:_(s32) = G_UMIN %0, %1
  69     $vgpr0 = COPY %2
  70
  71 ...
  72
  73 ---
  74 name: umin_s32_vv
  75 legalized: true
  76
  77 body: |
  78   bb.0:
  79     liveins: $vgpr0, $vgpr1
  80
  81     ; CHECK-LABEL: name: umin_s32_vv
  82     ; CHECK: liveins: $vgpr0, $vgpr1
  83     ; CHECK-NEXT: {{  $}}
  84     ; CHECK-NEXT: [[COPY:%[0-9]+]]:vgpr(s32) = COPY $vgpr0
  85     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:vgpr(s32) = COPY $vgpr1
  86     ; CHECK-NEXT: [[UMIN:%[0-9]+]]:vgpr(s32) = G_UMIN [[COPY]], [[COPY1]]
  87     ; CHECK-NEXT: $vgpr0 = COPY [[UMIN]](s32)
  88     %0:_(s32) = COPY $vgpr0
  89     %1:_(s32) = COPY $vgpr1
  90     %2:_(s32) = G_UMIN %0, %1
  91     $vgpr0 = COPY %2
  92
  93 ...
  94
  95 # FIXME: This should use VGPR instruction
  96 ---
  97 name: umin_s32_ss_vgpr_use
  98 legalized: true
  99
 100 body: |
 101   bb.0:
 102     liveins: $sgpr0, $sgpr1
 103
 104     ; CHECK-LABEL: name: umin_s32_ss_vgpr_use
 105     ; CHECK: liveins: $sgpr0, $sgpr1
 106     ; CHECK-NEXT: {{  $}}
 107     ; CHECK-NEXT: [[COPY:%[0-9]+]]:sgpr(s32) = COPY $sgpr0
 108     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:sgpr(s32) = COPY $sgpr1
 109     ; CHECK-NEXT: [[UMIN:%[0-9]+]]:sgpr(s32) = G_UMIN [[COPY]], [[COPY1]]
 110     ; CHECK-NEXT: $vgpr0 = COPY [[UMIN]](s32)
 111     %0:_(s32) = COPY $sgpr0
 112     %1:_(s32) = COPY $sgpr1
 113     %2:_(s32) = G_UMIN %0, %1
 114     $vgpr0 = COPY %2
 115 ...
 116
 117 ---
 118 name: umin_s16_ss
 119 legalized: true
 120
 121 body: |
 122   bb.0:
 123     liveins: $sgpr0, $sgpr1
 124
 125     ; CHECK-LABEL: name: umin_s16_ss
 126     ; CHECK: liveins: $sgpr0, $sgpr1
 127     ; CHECK-NEXT: {{  $}}
 128     ; CHECK-NEXT: [[COPY:%[0-9]+]]:sgpr(s32) = COPY $sgpr0
 129     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:sgpr(s32) = COPY $sgpr1
 130     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:sgpr(s16) = G_TRUNC [[COPY]](s32)
 131     ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:sgpr(s16) = G_TRUNC [[COPY1]](s32)
 132     ; CHECK-NEXT: [[ZEXT:%[0-9]+]]:sgpr(s32) = G_ZEXT [[TRUNC]](s16)
 133     ; CHECK-NEXT: [[ZEXT1:%[0-9]+]]:sgpr(s32) = G_ZEXT [[TRUNC1]](s16)
 134     ; CHECK-NEXT: [[UMIN:%[0-9]+]]:sgpr(s32) = G_UMIN [[ZEXT]], [[ZEXT1]]
 135     ; CHECK-NEXT: [[TRUNC2:%[0-9]+]]:sgpr(s16) = G_TRUNC [[UMIN]](s32)
 136     ; CHECK-NEXT: [[ANYEXT:%[0-9]+]]:sgpr(s32) = G_ANYEXT [[TRUNC2]](s16)
 137     ; CHECK-NEXT: $sgpr0 = COPY [[ANYEXT]](s32)
 138     %0:_(s32) = COPY $sgpr0
 139     %1:_(s32) = COPY $sgpr1
 140     %2:_(s16) = G_TRUNC %0
 141     %3:_(s16) = G_TRUNC %1
 142     %4:_(s16) = G_UMIN %2, %3
 143     %5:_(s32) = G_ANYEXT %4
 144     $sgpr0 = COPY %5
 145
 146 ...
 147
 148 ---
 149 name: umin_s16_ss_vgpr_use
 150 legalized: true
 151
 152 body: |
 153   bb.0:
 154     liveins: $sgpr0, $sgpr1
 155
 156     ; CHECK-LABEL: name: umin_s16_ss_vgpr_use
 157     ; CHECK: liveins: $sgpr0, $sgpr1
 158     ; CHECK-NEXT: {{  $}}
 159     ; CHECK-NEXT: [[COPY:%[0-9]+]]:sgpr(s32) = COPY $sgpr0
 160     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:sgpr(s32) = COPY $sgpr1
 161     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:sgpr(s16) = G_TRUNC [[COPY]](s32)
 162     ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:sgpr(s16) = G_TRUNC [[COPY1]](s32)
 163     ; CHECK-NEXT: [[ZEXT:%[0-9]+]]:sgpr(s32) = G_ZEXT [[TRUNC]](s16)
 164     ; CHECK-NEXT: [[ZEXT1:%[0-9]+]]:sgpr(s32) = G_ZEXT [[TRUNC1]](s16)
 165     ; CHECK-NEXT: [[UMIN:%[0-9]+]]:sgpr(s32) = G_UMIN [[ZEXT]], [[ZEXT1]]
 166     ; CHECK-NEXT: [[TRUNC2:%[0-9]+]]:sgpr(s16) = G_TRUNC [[UMIN]](s32)
 167     ; CHECK-NEXT: [[ANYEXT:%[0-9]+]]:sgpr(s32) = G_ANYEXT [[TRUNC2]](s16)
 168     ; CHECK-NEXT: $vgpr0 = COPY [[ANYEXT]](s32)
 169     %0:_(s32) = COPY $sgpr0
 170     %1:_(s32) = COPY $sgpr1
 171     %2:_(s16) = G_TRUNC %0
 172     %3:_(s16) = G_TRUNC %1
 173     %4:_(s16) = G_UMIN %2, %3
 174     %5:_(s32) = G_ANYEXT %4
 175     $vgpr0 = COPY %5
 176
 177 ...
 178
 179 ---
 180 name: umin_v2s16_ss
 181 legalized: true
 182
 183 body: |
 184   bb.0:
 185     liveins: $sgpr0, $sgpr1
 186
 187     ; CHECK-LABEL: name: umin_v2s16_ss
 188     ; CHECK: liveins: $sgpr0, $sgpr1
 189     ; CHECK-NEXT: {{  $}}
 190     ; CHECK-NEXT: [[COPY:%[0-9]+]]:sgpr(<2 x s16>) = COPY $sgpr0
 191     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:sgpr(<2 x s16>) = COPY $sgpr1
 192     ; CHECK-NEXT: [[BITCAST:%[0-9]+]]:sgpr(s32) = G_BITCAST [[COPY]](<2 x s16>)
 193     ; CHECK-NEXT: [[C:%[0-9]+]]:sgpr(s32) = G_CONSTANT i32 16
 194     ; CHECK-NEXT: [[LSHR:%[0-9]+]]:sgpr(s32) = G_LSHR [[BITCAST]], [[C]](s32)
 195     ; CHECK-NEXT: [[C1:%[0-9]+]]:sgpr(s32) = G_CONSTANT i32 65535
 196     ; CHECK-NEXT: [[AND:%[0-9]+]]:sgpr(s32) = G_AND [[BITCAST]], [[C1]]
 197     ; CHECK-NEXT: [[BITCAST1:%[0-9]+]]:sgpr(s32) = G_BITCAST [[COPY1]](<2 x s16>)
 198     ; CHECK-NEXT: [[C2:%[0-9]+]]:sgpr(s32) = G_CONSTANT i32 16
 199     ; CHECK-NEXT: [[LSHR1:%[0-9]+]]:sgpr(s32) = G_LSHR [[BITCAST1]], [[C2]](s32)
 200     ; CHECK-NEXT: [[C3:%[0-9]+]]:sgpr(s32) = G_CONSTANT i32 65535
 201     ; CHECK-NEXT: [[AND1:%[0-9]+]]:sgpr(s32) = G_AND [[BITCAST1]], [[C3]]
 202     ; CHECK-NEXT: [[UMIN:%[0-9]+]]:sgpr(s32) = G_UMIN [[AND]], [[AND1]]
 203     ; CHECK-NEXT: [[UMIN1:%[0-9]+]]:sgpr(s32) = G_UMIN [[LSHR]], [[LSHR1]]
 204     ; CHECK-NEXT: [[BUILD_VECTOR_TRUNC:%[0-9]+]]:sgpr(<2 x s16>) = G_BUILD_VECTOR_TRUNC [[UMIN]](s32), [[UMIN1]](s32)
 205     ; CHECK-NEXT: $sgpr0 = COPY [[BUILD_VECTOR_TRUNC]](<2 x s16>)
 206     %0:_(<2 x s16>) = COPY $sgpr0
 207     %1:_(<2 x s16>) = COPY $sgpr1
 208     %2:_(<2 x s16>) = G_UMIN %0, %1
 209     $sgpr0 = COPY %2
 210 ...
 211
 212 ---
 213 name: umin_v2s16_sv
 214 legalized: true
 215
 216 body: |
 217   bb.0:
 218     liveins: $sgpr0, $vgpr0
 219
 220     ; CHECK-LABEL: name: umin_v2s16_sv
 221     ; CHECK: liveins: $sgpr0, $vgpr0
 222     ; CHECK-NEXT: {{  $}}
 223     ; CHECK-NEXT: [[COPY:%[0-9]+]]:sgpr(<2 x s16>) = COPY $sgpr0
 224     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:vgpr(<2 x s16>) = COPY $vgpr0
 225     ; CHECK-NEXT: [[COPY2:%[0-9]+]]:vgpr(<2 x s16>) = COPY [[COPY]](<2 x s16>)
 226     ; CHECK-NEXT: [[UMIN:%[0-9]+]]:vgpr(<2 x s16>) = G_UMIN [[COPY2]], [[COPY1]]
 227     ; CHECK-NEXT: $vgpr0 = COPY [[UMIN]](<2 x s16>)
 228     %0:_(<2 x s16>) = COPY $sgpr0
 229     %1:_(<2 x s16>) = COPY $vgpr0
 230     %2:_(<2 x s16>) = G_UMIN %0, %1
 231     $vgpr0 = COPY %2
 232 ...
 233
 234 ---
 235 name: umin_v2s16_vs
 236 legalized: true
 237
 238 body: |
 239   bb.0:
 240     liveins: $sgpr0, $vgpr0
 241
 242     ; CHECK-LABEL: name: umin_v2s16_vs
 243     ; CHECK: liveins: $sgpr0, $vgpr0
 244     ; CHECK-NEXT: {{  $}}
 245     ; CHECK-NEXT: [[COPY:%[0-9]+]]:vgpr(<2 x s16>) = COPY $vgpr0
 246     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:sgpr(<2 x s16>) = COPY $sgpr0
 247     ; CHECK-NEXT: [[COPY2:%[0-9]+]]:vgpr(<2 x s16>) = COPY [[COPY1]](<2 x s16>)
 248     ; CHECK-NEXT: [[UMIN:%[0-9]+]]:vgpr(<2 x s16>) = G_UMIN [[COPY]], [[COPY2]]
 249     ; CHECK-NEXT: $vgpr0 = COPY [[UMIN]](<2 x s16>)
 250     %0:_(<2 x s16>) = COPY $vgpr0
 251     %1:_(<2 x s16>) = COPY $sgpr0
 252     %2:_(<2 x s16>) = G_UMIN %0, %1
 253     $vgpr0 = COPY %2
 254 ...
 255
 256 ---
 257 name: umin_v2s16_vv
 258 legalized: true
 259
 260 body: |
 261   bb.0:
 262     liveins: $vgpr0, $vgpr1
 263
 264     ; CHECK-LABEL: name: umin_v2s16_vv
 265     ; CHECK: liveins: $vgpr0, $vgpr1
 266     ; CHECK-NEXT: {{  $}}
 267     ; CHECK-NEXT: [[COPY:%[0-9]+]]:vgpr(<2 x s16>) = COPY $vgpr0
 268     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:vgpr(<2 x s16>) = COPY $vgpr1
 269     ; CHECK-NEXT: [[UMIN:%[0-9]+]]:vgpr(<2 x s16>) = G_UMIN [[COPY]], [[COPY1]]
 270     ; CHECK-NEXT: $vgpr0 = COPY [[UMIN]](<2 x s16>)
 271     %0:_(<2 x s16>) = COPY $vgpr0
 272     %1:_(<2 x s16>) = COPY $vgpr1
 273     %2:_(<2 x s16>) = G_UMIN %0, %1
 274     $vgpr0 = COPY %2
 275 ...