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

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -mtriple=amdgcn -mcpu=fiji -run-pass=amdgpu-regbankselect %s -verify-machineinstrs -o - -regbankselect-fast | FileCheck %s
   3 # RUN: llc -mtriple=amdgcn -mcpu=fiji -run-pass=amdgpu-regbankselect %s -verify-machineinstrs -o - -regbankselect-greedy | FileCheck %s
   4
   5 ---
   6 name: sext_s32_to_s64_s
   7 legalized: true
   8
   9 body: |
  10   bb.0:
  11     liveins: $sgpr0
  12     ; CHECK-LABEL: name: sext_s32_to_s64_s
  13     ; CHECK: liveins: $sgpr0
  14     ; CHECK-NEXT: {{  $}}
  15     ; CHECK-NEXT: [[COPY:%[0-9]+]]:sgpr(s32) = COPY $sgpr0
  16     ; CHECK-NEXT: [[SEXT:%[0-9]+]]:sgpr(s64) = G_SEXT [[COPY]](s32)
  17     %0:_(s32) = COPY $sgpr0
  18     %1:_(s64) = G_SEXT %0
  19 ...
  20
  21 ---
  22 name: sext_s16_to_s64_s
  23 legalized: true
  24
  25 body: |
  26   bb.0:
  27     liveins: $sgpr0
  28     ; CHECK-LABEL: name: sext_s16_to_s64_s
  29     ; CHECK: liveins: $sgpr0
  30     ; CHECK-NEXT: {{  $}}
  31     ; CHECK-NEXT: [[COPY:%[0-9]+]]:sgpr(s32) = COPY $sgpr0
  32     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:sgpr(s16) = G_TRUNC [[COPY]](s32)
  33     ; CHECK-NEXT: [[SEXT:%[0-9]+]]:sgpr(s64) = G_SEXT [[TRUNC]](s16)
  34     %0:_(s32) = COPY $sgpr0
  35     %1:_(s16) = G_TRUNC %0
  36     %2:_(s64) = G_SEXT %1
  37 ...
  38
  39 ---
  40 name: sext_s32_to_s64_v
  41 legalized: true
  42
  43 body: |
  44   bb.0:
  45     liveins: $vgpr0_vgpr1
  46     ; CHECK-LABEL: name: sext_s32_to_s64_v
  47     ; CHECK: liveins: $vgpr0_vgpr1
  48     ; CHECK-NEXT: {{  $}}
  49     ; CHECK-NEXT: [[COPY:%[0-9]+]]:vgpr(s32) = COPY $vgpr0
  50     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:vgpr(s32) = COPY [[COPY]](s32)
  51     ; CHECK-NEXT: [[C:%[0-9]+]]:vgpr(s32) = G_CONSTANT i32 31
  52     ; CHECK-NEXT: [[ASHR:%[0-9]+]]:vgpr(s32) = G_ASHR [[COPY1]], [[C]](s32)
  53     ; CHECK-NEXT: [[MV:%[0-9]+]]:vgpr(s64) = G_MERGE_VALUES [[COPY1]](s32), [[ASHR]](s32)
  54     %0:_(s32) = COPY $vgpr0
  55     %1:_(s64) = G_SEXT %0
  56 ...
  57
  58 ---
  59 name: sext_s1_to_s16_scc
  60 legalized: true
  61
  62 body: |
  63   bb.0:
  64     liveins: $sgpr0, $sgpr1
  65     ; CHECK-LABEL: name: sext_s1_to_s16_scc
  66     ; CHECK: liveins: $sgpr0, $sgpr1
  67     ; CHECK-NEXT: {{  $}}
  68     ; CHECK-NEXT: [[COPY:%[0-9]+]]:sgpr(s32) = COPY $sgpr0
  69     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:sgpr(s32) = COPY $sgpr1
  70     ; CHECK-NEXT: [[ICMP:%[0-9]+]]:sgpr(s32) = G_ICMP intpred(eq), [[COPY]](s32), [[COPY1]]
  71     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:sgpr(s1) = G_TRUNC [[ICMP]](s32)
  72     ; CHECK-NEXT: [[SEXT:%[0-9]+]]:sgpr(s16) = G_SEXT [[TRUNC]](s1)
  73     %0:_(s32) = COPY $sgpr0
  74     %1:_(s32) = COPY $sgpr1
  75     %2:_(s1) = G_ICMP intpred(eq), %0, %1
  76     %3:_(s16) = G_SEXT %2
  77 ...
  78
  79 ---
  80 name: sext_s1_to_s32_scc
  81 legalized: true
  82
  83 body: |
  84   bb.0:
  85     liveins: $sgpr0, $sgpr1
  86     ; CHECK-LABEL: name: sext_s1_to_s32_scc
  87     ; CHECK: liveins: $sgpr0, $sgpr1
  88     ; CHECK-NEXT: {{  $}}
  89     ; CHECK-NEXT: [[COPY:%[0-9]+]]:sgpr(s32) = COPY $sgpr0
  90     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:sgpr(s32) = COPY $sgpr1
  91     ; CHECK-NEXT: [[ICMP:%[0-9]+]]:sgpr(s32) = G_ICMP intpred(eq), [[COPY]](s32), [[COPY1]]
  92     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:sgpr(s1) = G_TRUNC [[ICMP]](s32)
  93     ; CHECK-NEXT: [[SEXT:%[0-9]+]]:sgpr(s32) = G_SEXT [[TRUNC]](s1)
  94     %0:_(s32) = COPY $sgpr0
  95     %1:_(s32) = COPY $sgpr1
  96     %2:_(s1) = G_ICMP intpred(eq), %0, %1
  97     %3:_(s32) = G_SEXT %2
  98 ...
  99
 100 ---
 101 name: sext_s1_to_s64_scc
 102 legalized: true
 103
 104 body: |
 105   bb.0:
 106     liveins: $sgpr0, $sgpr1
 107     ; CHECK-LABEL: name: sext_s1_to_s64_scc
 108     ; CHECK: liveins: $sgpr0, $sgpr1
 109     ; CHECK-NEXT: {{  $}}
 110     ; CHECK-NEXT: [[COPY:%[0-9]+]]:sgpr(s32) = COPY $sgpr0
 111     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:sgpr(s32) = COPY $sgpr1
 112     ; CHECK-NEXT: [[ICMP:%[0-9]+]]:sgpr(s32) = G_ICMP intpred(eq), [[COPY]](s32), [[COPY1]]
 113     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:sgpr(s1) = G_TRUNC [[ICMP]](s32)
 114     ; CHECK-NEXT: [[SEXT:%[0-9]+]]:sgpr(s64) = G_SEXT [[TRUNC]](s1)
 115     %0:_(s32) = COPY $sgpr0
 116     %1:_(s32) = COPY $sgpr1
 117     %2:_(s1) = G_ICMP intpred(eq), %0, %1
 118     %3:_(s64) = G_SEXT %2
 119 ...
 120
 121 ---
 122 name: sext_s1_to_s16_vcc
 123 legalized: true
 124
 125 body: |
 126   bb.0:
 127     liveins: $vgpr0, $vgpr1
 128     ; CHECK-LABEL: name: sext_s1_to_s16_vcc
 129     ; CHECK: liveins: $vgpr0, $vgpr1
 130     ; CHECK-NEXT: {{  $}}
 131     ; CHECK-NEXT: [[COPY:%[0-9]+]]:vgpr(s32) = COPY $vgpr0
 132     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:vgpr(s32) = COPY $vgpr1
 133     ; CHECK-NEXT: [[ICMP:%[0-9]+]]:vcc(s1) = G_ICMP intpred(eq), [[COPY]](s32), [[COPY1]]
 134     ; CHECK-NEXT: [[C:%[0-9]+]]:vgpr(s32) = G_CONSTANT i32 -1
 135     ; CHECK-NEXT: [[C1:%[0-9]+]]:vgpr(s32) = G_CONSTANT i32 0
 136     ; CHECK-NEXT: [[SELECT:%[0-9]+]]:vgpr(s32) = G_SELECT [[ICMP]](s1), [[C]], [[C1]]
 137     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:vgpr(s16) = G_TRUNC [[SELECT]](s32)
 138     %0:_(s32) = COPY $vgpr0
 139     %1:_(s32) = COPY $vgpr1
 140     %2:_(s1) = G_ICMP intpred(eq), %0, %1
 141     %3:_(s16) = G_SEXT %2
 142 ...
 143
 144 ---
 145 name: sext_s1_to_s32_vcc
 146 legalized: true
 147
 148 body: |
 149   bb.0:
 150     liveins: $vgpr0, $vgpr1
 151     ; CHECK-LABEL: name: sext_s1_to_s32_vcc
 152     ; CHECK: liveins: $vgpr0, $vgpr1
 153     ; CHECK-NEXT: {{  $}}
 154     ; CHECK-NEXT: [[COPY:%[0-9]+]]:vgpr(s32) = COPY $vgpr0
 155     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:vgpr(s32) = COPY $vgpr1
 156     ; CHECK-NEXT: [[ICMP:%[0-9]+]]:vcc(s1) = G_ICMP intpred(eq), [[COPY]](s32), [[COPY1]]
 157     ; CHECK-NEXT: [[C:%[0-9]+]]:vgpr(s32) = G_CONSTANT i32 -1
 158     ; CHECK-NEXT: [[C1:%[0-9]+]]:vgpr(s32) = G_CONSTANT i32 0
 159     ; CHECK-NEXT: [[SELECT:%[0-9]+]]:vgpr(s32) = G_SELECT [[ICMP]](s1), [[C]], [[C1]]
 160     %0:_(s32) = COPY $vgpr0
 161     %1:_(s32) = COPY $vgpr1
 162     %2:_(s1) = G_ICMP intpred(eq), %0, %1
 163     %3:_(s32) = G_SEXT %2
 164 ...
 165
 166 ---
 167 name: sext_s1_to_s64_vcc
 168 legalized: true
 169
 170 body: |
 171   bb.0:
 172     liveins: $vgpr0, $vgpr1
 173     ; CHECK-LABEL: name: sext_s1_to_s64_vcc
 174     ; CHECK: liveins: $vgpr0, $vgpr1
 175     ; CHECK-NEXT: {{  $}}
 176     ; CHECK-NEXT: [[COPY:%[0-9]+]]:vgpr(s32) = COPY $vgpr0
 177     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:vgpr(s32) = COPY $vgpr1
 178     ; CHECK-NEXT: [[ICMP:%[0-9]+]]:vcc(s1) = G_ICMP intpred(eq), [[COPY]](s32), [[COPY1]]
 179     ; CHECK-NEXT: [[C:%[0-9]+]]:vgpr(s32) = G_CONSTANT i32 -1
 180     ; CHECK-NEXT: [[C1:%[0-9]+]]:vgpr(s32) = G_CONSTANT i32 0
 181     ; CHECK-NEXT: [[SELECT:%[0-9]+]]:vgpr(s32) = G_SELECT [[ICMP]](s1), [[C]], [[C1]]
 182     ; CHECK-NEXT: [[COPY2:%[0-9]+]]:vgpr(s32) = COPY [[SELECT]](s32)
 183     ; CHECK-NEXT: [[MV:%[0-9]+]]:vgpr(s64) = G_MERGE_VALUES [[SELECT]](s32), [[COPY2]](s32)
 184     %0:_(s32) = COPY $vgpr0
 185     %1:_(s32) = COPY $vgpr1
 186     %2:_(s1) = G_ICMP intpred(eq), %0, %1
 187     %3:_(s64) = G_SEXT %2
 188 ...
 189
 190 ---
 191 name: sext_s1_to_s16_sgpr
 192 legalized: true
 193
 194 body: |
 195   bb.0:
 196     liveins: $sgpr0
 197     ; CHECK-LABEL: name: sext_s1_to_s16_sgpr
 198     ; CHECK: liveins: $sgpr0
 199     ; CHECK-NEXT: {{  $}}
 200     ; CHECK-NEXT: [[COPY:%[0-9]+]]:sgpr(s32) = COPY $sgpr0
 201     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:sgpr(s1) = G_TRUNC [[COPY]](s32)
 202     ; CHECK-NEXT: [[SEXT:%[0-9]+]]:sgpr(s16) = G_SEXT [[TRUNC]](s1)
 203     %0:_(s32) = COPY $sgpr0
 204     %1:_(s1) = G_TRUNC %0
 205     %2:_(s16) = G_SEXT %1
 206 ...
 207
 208 ---
 209 name: sext_s1_to_s32_sgpr
 210 legalized: true
 211
 212 body: |
 213   bb.0:
 214     liveins: $sgpr0
 215     ; CHECK-LABEL: name: sext_s1_to_s32_sgpr
 216     ; CHECK: liveins: $sgpr0
 217     ; CHECK-NEXT: {{  $}}
 218     ; CHECK-NEXT: [[COPY:%[0-9]+]]:sgpr(s32) = COPY $sgpr0
 219     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:sgpr(s1) = G_TRUNC [[COPY]](s32)
 220     ; CHECK-NEXT: [[SEXT:%[0-9]+]]:sgpr(s32) = G_SEXT [[TRUNC]](s1)
 221     %0:_(s32) = COPY $sgpr0
 222     %1:_(s1) = G_TRUNC %0
 223     %2:_(s32) = G_SEXT %1
 224 ...
 225
 226 ---
 227 name: sext_s1_to_s64_sgpr
 228 legalized: true
 229
 230 body: |
 231   bb.0:
 232     liveins: $sgpr0
 233     ; CHECK-LABEL: name: sext_s1_to_s64_sgpr
 234     ; CHECK: liveins: $sgpr0
 235     ; CHECK-NEXT: {{  $}}
 236     ; CHECK-NEXT: [[COPY:%[0-9]+]]:sgpr(s32) = COPY $sgpr0
 237     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:sgpr(s1) = G_TRUNC [[COPY]](s32)
 238     ; CHECK-NEXT: [[SEXT:%[0-9]+]]:sgpr(s64) = G_SEXT [[TRUNC]](s1)
 239     %0:_(s32) = COPY $sgpr0
 240     %1:_(s1) = G_TRUNC %0
 241     %2:_(s64) = G_SEXT %1
 242 ...
 243
 244 ---
 245 name: sext_s1_to_s16_vgpr
 246 legalized: true
 247
 248 body: |
 249   bb.0:
 250     liveins: $vgpr0
 251     ; CHECK-LABEL: name: sext_s1_to_s16_vgpr
 252     ; CHECK: liveins: $vgpr0
 253     ; CHECK-NEXT: {{  $}}
 254     ; CHECK-NEXT: [[COPY:%[0-9]+]]:vgpr(s32) = COPY $vgpr0
 255     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:vgpr(s1) = G_TRUNC [[COPY]](s32)
 256     ; CHECK-NEXT: [[SEXT:%[0-9]+]]:vgpr(s16) = G_SEXT [[TRUNC]](s1)
 257     %0:_(s32) = COPY $vgpr0
 258     %1:_(s1) = G_TRUNC %0
 259     %2:_(s16) = G_SEXT %1
 260 ...
 261
 262 ---
 263 name: sext_s1_to_s32_vgpr
 264 legalized: true
 265
 266 body: |
 267   bb.0:
 268     liveins: $vgpr0
 269     ; CHECK-LABEL: name: sext_s1_to_s32_vgpr
 270     ; CHECK: liveins: $vgpr0
 271     ; CHECK-NEXT: {{  $}}
 272     ; CHECK-NEXT: [[COPY:%[0-9]+]]:vgpr(s32) = COPY $vgpr0
 273     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:vgpr(s1) = G_TRUNC [[COPY]](s32)
 274     ; CHECK-NEXT: [[SEXT:%[0-9]+]]:vgpr(s32) = G_SEXT [[TRUNC]](s1)
 275     %0:_(s32) = COPY $vgpr0
 276     %1:_(s1) = G_TRUNC %0
 277     %2:_(s32) = G_SEXT %1
 278 ...
 279
 280 ---
 281 name: sext_s1_to_s64_vgpr
 282 legalized: true
 283
 284 body: |
 285   bb.0:
 286     liveins: $vgpr0
 287     ; CHECK-LABEL: name: sext_s1_to_s64_vgpr
 288     ; CHECK: liveins: $vgpr0
 289     ; CHECK-NEXT: {{  $}}
 290     ; CHECK-NEXT: [[COPY:%[0-9]+]]:vgpr(s32) = COPY $vgpr0
 291     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:vgpr(s1) = G_TRUNC [[COPY]](s32)
 292     ; CHECK-NEXT: [[SEXT:%[0-9]+]]:vgpr(s32) = G_SEXT [[TRUNC]](s1)
 293     ; CHECK-NEXT: [[C:%[0-9]+]]:vgpr(s32) = G_CONSTANT i32 31
 294     ; CHECK-NEXT: [[ASHR:%[0-9]+]]:vgpr(s32) = G_ASHR [[SEXT]], [[C]](s32)
 295     ; CHECK-NEXT: [[MV:%[0-9]+]]:vgpr(s64) = G_MERGE_VALUES [[SEXT]](s32), [[ASHR]](s32)
 296     %0:_(s32) = COPY $vgpr0
 297     %1:_(s1) = G_TRUNC %0
 298     %2:_(s64) = G_SEXT %1
 299 ...
 300
 301 ---
 302 name: sext_s16_to_s64_vgpr
 303 legalized: true
 304
 305 body: |
 306   bb.0:
 307     liveins: $vgpr0
 308     ; CHECK-LABEL: name: sext_s16_to_s64_vgpr
 309     ; CHECK: liveins: $vgpr0
 310     ; CHECK-NEXT: {{  $}}
 311     ; CHECK-NEXT: [[COPY:%[0-9]+]]:vgpr(s32) = COPY $vgpr0
 312     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:vgpr(s16) = G_TRUNC [[COPY]](s32)
 313     ; CHECK-NEXT: [[SEXT:%[0-9]+]]:vgpr(s32) = G_SEXT [[TRUNC]](s16)
 314     ; CHECK-NEXT: [[C:%[0-9]+]]:vgpr(s32) = G_CONSTANT i32 31
 315     ; CHECK-NEXT: [[ASHR:%[0-9]+]]:vgpr(s32) = G_ASHR [[SEXT]], [[C]](s32)
 316     ; CHECK-NEXT: [[MV:%[0-9]+]]:vgpr(s64) = G_MERGE_VALUES [[SEXT]](s32), [[ASHR]](s32)
 317     %0:_(s32) = COPY $vgpr0
 318     %1:_(s16) = G_TRUNC %0
 319     %2:_(s64) = G_SEXT %1
 320 ...