test/CodeGen/AMDGPU/GlobalISel/regbankselect-and.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -march=amdgcn -mcpu=fiji -run-pass=regbankselect %s -verify-machineinstrs -o - -regbankselect-fast | FileCheck %s
   3 # RUN: llc -march=amdgcn -mcpu=fiji -run-pass=regbankselect %s -verify-machineinstrs -o - -regbankselect-greedy | FileCheck %s
   4
   5 ---
   6 name: and_s32_ss
   7 legalized: true
   8
   9 body: |
  10   bb.0:
  11     liveins: $sgpr0, $sgpr1
  12     ; CHECK-LABEL: name: and_s32_ss
  13     ; CHECK: [[COPY:%[0-9]+]]:sgpr(s32) = COPY $sgpr0
  14     ; CHECK: [[COPY1:%[0-9]+]]:sgpr(s32) = COPY $sgpr1
  15     ; CHECK: [[AND:%[0-9]+]]:sgpr(s32) = G_AND [[COPY]], [[COPY1]]
  16     %0:_(s32) = COPY $sgpr0
  17     %1:_(s32) = COPY $sgpr1
  18     %2:_(s32) = G_AND %0, %1
  19 ...
  20
  21 ---
  22 name: and_s32_sv
  23 legalized: true
  24
  25 body: |
  26   bb.0:
  27     liveins: $sgpr0, $vgpr0
  28     ; CHECK-LABEL: name: and_s32_sv
  29     ; CHECK: [[COPY:%[0-9]+]]:sgpr(s32) = COPY $sgpr0
  30     ; CHECK: [[COPY1:%[0-9]+]]:vgpr(s32) = COPY $vgpr0
  31     ; CHECK: [[AND:%[0-9]+]]:vgpr(s32) = G_AND [[COPY]], [[COPY1]]
  32     %0:_(s32) = COPY $sgpr0
  33     %1:_(s32) = COPY $vgpr0
  34     %2:_(s32) = G_AND %0, %1
  35 ...
  36
  37 ---
  38 name: and_s32_vs
  39 legalized: true
  40
  41 body: |
  42   bb.0:
  43     liveins: $sgpr0, $vgpr0
  44     ; CHECK-LABEL: name: and_s32_vs
  45     ; CHECK: [[COPY:%[0-9]+]]:vgpr(s32) = COPY $vgpr0
  46     ; CHECK: [[COPY1:%[0-9]+]]:sgpr(s32) = COPY $sgpr0
  47     ; CHECK: [[COPY2:%[0-9]+]]:vgpr(s32) = COPY [[COPY1]](s32)
  48     ; CHECK: [[AND:%[0-9]+]]:vgpr(s32) = G_AND [[COPY]], [[COPY2]]
  49     %0:_(s32) = COPY $vgpr0
  50     %1:_(s32) = COPY $sgpr0
  51     %2:_(s32) = G_AND %0, %1
  52 ...
  53
  54 ---
  55 name: and_s32_vv
  56 legalized: true
  57
  58 body: |
  59   bb.0:
  60     liveins: $vgpr0, $vgpr1
  61     ; CHECK-LABEL: name: and_s32_vv
  62     ; CHECK: [[COPY:%[0-9]+]]:vgpr(s32) = COPY $vgpr0
  63     ; CHECK: [[COPY1:%[0-9]+]]:vgpr(s32) = COPY $vgpr1
  64     ; CHECK: [[AND:%[0-9]+]]:vgpr(s32) = G_AND [[COPY]], [[COPY1]]
  65     %0:_(s32) = COPY $vgpr0
  66     %1:_(s32) = COPY $vgpr1
  67     %2:_(s32) = G_AND %0, %1
  68 ...
  69
  70 ---
  71 name: and_s64_ss
  72 legalized: true
  73
  74 body: |
  75   bb.0:
  76     liveins: $sgpr0_sgpr1, $sgpr2_sgpr3
  77     ; CHECK-LABEL: name: and_s64_ss
  78     ; CHECK: [[COPY:%[0-9]+]]:sgpr(s64) = COPY $sgpr0_sgpr1
  79     ; CHECK: [[COPY1:%[0-9]+]]:sgpr(s64) = COPY $sgpr2_sgpr3
  80     ; CHECK: [[AND:%[0-9]+]]:sgpr(s64) = G_AND [[COPY]], [[COPY1]]
  81     %0:_(s64) = COPY $sgpr0_sgpr1
  82     %1:_(s64) = COPY $sgpr2_sgpr3
  83     %2:_(s64) = G_AND %0, %1
  84 ...
  85
  86 ---
  87 name: and_s64_sv
  88 legalized: true
  89
  90 body: |
  91   bb.0:
  92     liveins: $sgpr0_sgpr1, $vgpr0_vgpr1
  93     ; CHECK-LABEL: name: and_s64_sv
  94     ; CHECK: [[COPY:%[0-9]+]]:sgpr(s64) = COPY $sgpr0_sgpr1
  95     ; CHECK: [[COPY1:%[0-9]+]]:vgpr(s64) = COPY $vgpr0_vgpr1
  96     ; CHECK: [[UV:%[0-9]+]]:sgpr(s32), [[UV1:%[0-9]+]]:sgpr(s32) = G_UNMERGE_VALUES [[COPY]](s64)
  97     ; CHECK: [[UV2:%[0-9]+]]:vgpr(s32), [[UV3:%[0-9]+]]:vgpr(s32) = G_UNMERGE_VALUES [[COPY1]](s64)
  98     ; CHECK: [[AND:%[0-9]+]]:vgpr(s32) = G_AND [[UV]], [[UV2]]
  99     ; CHECK: [[AND1:%[0-9]+]]:vgpr(s32) = G_AND [[UV1]], [[UV3]]
 100     ; CHECK: [[MV:%[0-9]+]]:vgpr(s64) = G_MERGE_VALUES [[AND]](s32), [[AND1]](s32)
 101     %0:_(s64) = COPY $sgpr0_sgpr1
 102     %1:_(s64) = COPY $vgpr0_vgpr1
 103     %2:_(s64) = G_AND %0, %1
 104 ...
 105
 106 ---
 107 name: and_s64_vs
 108 legalized: true
 109
 110 body: |
 111   bb.0:
 112     liveins: $sgpr0_sgpr1, $vgpr0_vgpr1
 113     ; CHECK-LABEL: name: and_s64_vs
 114     ; CHECK: [[COPY:%[0-9]+]]:vgpr(s64) = COPY $vgpr0_vgpr1
 115     ; CHECK: [[COPY1:%[0-9]+]]:sgpr(s64) = COPY $sgpr0_sgpr1
 116     ; CHECK: [[UV:%[0-9]+]]:vgpr(s32), [[UV1:%[0-9]+]]:vgpr(s32) = G_UNMERGE_VALUES [[COPY]](s64)
 117     ; CHECK: [[UV2:%[0-9]+]]:sgpr(s32), [[UV3:%[0-9]+]]:sgpr(s32) = G_UNMERGE_VALUES [[COPY1]](s64)
 118     ; CHECK: [[AND:%[0-9]+]]:vgpr(s32) = G_AND [[UV]], [[UV2]]
 119     ; CHECK: [[AND1:%[0-9]+]]:vgpr(s32) = G_AND [[UV1]], [[UV3]]
 120     ; CHECK: [[MV:%[0-9]+]]:vgpr(s64) = G_MERGE_VALUES [[AND]](s32), [[AND1]](s32)
 121     %0:_(s64) = COPY $vgpr0_vgpr1
 122     %1:_(s64) = COPY $sgpr0_sgpr1
 123     %2:_(s64) = G_AND %0, %1
 124 ...
 125
 126 ---
 127 name: and_s64_vv
 128 legalized: true
 129
 130 body: |
 131   bb.0:
 132     liveins: $vgpr0_vgpr1, $vgpr2_vgpr3
 133     ; CHECK-LABEL: name: and_s64_vv
 134     ; CHECK: [[COPY:%[0-9]+]]:vgpr(s64) = COPY $vgpr0_vgpr1
 135     ; CHECK: [[COPY1:%[0-9]+]]:vgpr(s64) = COPY $vgpr2_vgpr3
 136     ; CHECK: [[UV:%[0-9]+]]:vgpr(s32), [[UV1:%[0-9]+]]:vgpr(s32) = G_UNMERGE_VALUES [[COPY]](s64)
 137     ; CHECK: [[UV2:%[0-9]+]]:vgpr(s32), [[UV3:%[0-9]+]]:vgpr(s32) = G_UNMERGE_VALUES [[COPY1]](s64)
 138     ; CHECK: [[AND:%[0-9]+]]:vgpr(s32) = G_AND [[UV]], [[UV2]]
 139     ; CHECK: [[AND1:%[0-9]+]]:vgpr(s32) = G_AND [[UV1]], [[UV3]]
 140     ; CHECK: [[MV:%[0-9]+]]:vgpr(s64) = G_MERGE_VALUES [[AND]](s32), [[AND1]](s32)
 141     %0:_(s64) = COPY $vgpr0_vgpr1
 142     %1:_(s64) = COPY $vgpr2_vgpr3
 143     %2:_(s64) = G_AND %0, %1
 144 ...
 145
 146 ---
 147 name: and_s64_vv_user
 148 legalized: true
 149
 150 body: |
 151   bb.0:
 152     liveins: $vgpr0_vgpr1, $vgpr2_vgpr3
 153     ; CHECK-LABEL: name: and_s64_vv_user
 154     ; CHECK: [[COPY:%[0-9]+]]:vgpr(s64) = COPY $vgpr0_vgpr1
 155     ; CHECK: [[COPY1:%[0-9]+]]:vgpr(s64) = COPY $vgpr2_vgpr3
 156     ; CHECK: [[UV:%[0-9]+]]:vgpr(s32), [[UV1:%[0-9]+]]:vgpr(s32) = G_UNMERGE_VALUES [[COPY]](s64)
 157     ; CHECK: [[UV2:%[0-9]+]]:vgpr(s32), [[UV3:%[0-9]+]]:vgpr(s32) = G_UNMERGE_VALUES [[COPY1]](s64)
 158     ; CHECK: [[AND:%[0-9]+]]:vgpr(s32) = G_AND [[UV]], [[UV2]]
 159     ; CHECK: [[AND1:%[0-9]+]]:vgpr(s32) = G_AND [[UV1]], [[UV3]]
 160     ; CHECK: [[MV:%[0-9]+]]:vgpr(s64) = G_MERGE_VALUES [[AND]](s32), [[AND1]](s32)
 161     ; CHECK: S_NOP 0, implicit [[MV]](s64)
 162     %0:_(s64) = COPY $vgpr0_vgpr1
 163     %1:_(s64) = COPY $vgpr2_vgpr3
 164     %2:_(s64) = G_AND %0, %1
 165     S_NOP 0, implicit %2
 166 ...
 167 ---
 168 name: and_s64_ss_ss_merge
 169 legalized: true
 170
 171 body: |
 172   bb.0:
 173     liveins: $sgpr0, $sgpr1, $sgpr2, $sgpr3
 174     ; CHECK-LABEL: name: and_s64_ss_ss_merge
 175     ; CHECK: [[COPY:%[0-9]+]]:sgpr(s32) = COPY $sgpr0
 176     ; CHECK: [[COPY1:%[0-9]+]]:sgpr(s32) = COPY $sgpr1
 177     ; CHECK: [[COPY2:%[0-9]+]]:sgpr(s32) = COPY $sgpr2
 178     ; CHECK: [[COPY3:%[0-9]+]]:sgpr(s32) = COPY $sgpr3
 179     ; CHECK: [[MV:%[0-9]+]]:sgpr(s64) = G_MERGE_VALUES [[COPY]](s32), [[COPY1]](s32)
 180     ; CHECK: [[MV1:%[0-9]+]]:sgpr(s64) = G_MERGE_VALUES [[COPY2]](s32), [[COPY3]](s32)
 181     ; CHECK: [[AND:%[0-9]+]]:sgpr(s64) = G_AND [[MV]], [[MV1]]
 182     ; CHECK: S_NOP 0, implicit [[AND]](s64)
 183     %0:_(s32) = COPY $sgpr0
 184     %1:_(s32) = COPY $sgpr1
 185     %2:_(s32) = COPY $sgpr2
 186     %3:_(s32) = COPY $sgpr3
 187     %4:_(s64) = G_MERGE_VALUES %0, %1
 188     %5:_(s64) = G_MERGE_VALUES %2, %3
 189     %6:_(s64) = G_AND %4, %5
 190     S_NOP 0, implicit %6
 191 ...
 192
 193 ---
 194 name: and_s64_vv_vv_merge
 195 legalized: true
 196
 197 body: |
 198   bb.0:
 199     liveins: $vgpr0, $vgpr1, $vgpr2, $vgpr3
 200     ; CHECK-LABEL: name: and_s64_vv_vv_merge
 201     ; CHECK: [[COPY:%[0-9]+]]:vgpr(s32) = COPY $vgpr0
 202     ; CHECK: [[COPY1:%[0-9]+]]:vgpr(s32) = COPY $vgpr1
 203     ; CHECK: [[COPY2:%[0-9]+]]:vgpr(s32) = COPY $vgpr2
 204     ; CHECK: [[COPY3:%[0-9]+]]:vgpr(s32) = COPY $vgpr3
 205     ; CHECK: [[MV:%[0-9]+]]:vgpr(s64) = G_MERGE_VALUES [[COPY]](s32), [[COPY1]](s32)
 206     ; CHECK: [[MV1:%[0-9]+]]:vgpr(s64) = G_MERGE_VALUES [[COPY2]](s32), [[COPY3]](s32)
 207     ; CHECK: [[UV:%[0-9]+]]:vgpr(s32), [[UV1:%[0-9]+]]:vgpr(s32) = G_UNMERGE_VALUES [[MV]](s64)
 208     ; CHECK: [[UV2:%[0-9]+]]:vgpr(s32), [[UV3:%[0-9]+]]:vgpr(s32) = G_UNMERGE_VALUES [[MV1]](s64)
 209     ; CHECK: [[AND:%[0-9]+]]:vgpr(s32) = G_AND [[UV]], [[UV2]]
 210     ; CHECK: [[AND1:%[0-9]+]]:vgpr(s32) = G_AND [[UV1]], [[UV3]]
 211     ; CHECK: [[MV2:%[0-9]+]]:vgpr(s64) = G_MERGE_VALUES [[AND]](s32), [[AND1]](s32)
 212     ; CHECK: S_NOP 0, implicit [[MV2]](s64)
 213     %0:_(s32) = COPY $vgpr0
 214     %1:_(s32) = COPY $vgpr1
 215     %2:_(s32) = COPY $vgpr2
 216     %3:_(s32) = COPY $vgpr3
 217     %4:_(s64) = G_MERGE_VALUES %0, %1
 218     %5:_(s64) = G_MERGE_VALUES %2, %3
 219     %6:_(s64) = G_AND %4, %5
 220     S_NOP 0, implicit %6
 221 ...
 222
 223 ---
 224 name: and_s64_s_sv_merge
 225 legalized: true
 226
 227 body: |
 228   bb.0:
 229     liveins: $sgpr0_sgpr1, $sgpr2, $vgpr0
 230     ; CHECK-LABEL: name: and_s64_s_sv_merge
 231     ; CHECK: [[COPY:%[0-9]+]]:sgpr(s64) = COPY $sgpr0_sgpr1
 232     ; CHECK: [[COPY1:%[0-9]+]]:sgpr(s32) = COPY $sgpr2
 233     ; CHECK: [[COPY2:%[0-9]+]]:vgpr(s32) = COPY $vgpr0
 234     ; CHECK: [[COPY3:%[0-9]+]]:vgpr(s32) = COPY [[COPY1]](s32)
 235     ; CHECK: [[MV:%[0-9]+]]:vgpr(s64) = G_MERGE_VALUES [[COPY3]](s32), [[COPY2]](s32)
 236     ; CHECK: [[UV:%[0-9]+]]:sgpr(s32), [[UV1:%[0-9]+]]:sgpr(s32) = G_UNMERGE_VALUES [[COPY]](s64)
 237     ; CHECK: [[UV2:%[0-9]+]]:vgpr(s32), [[UV3:%[0-9]+]]:vgpr(s32) = G_UNMERGE_VALUES [[MV]](s64)
 238     ; CHECK: [[AND:%[0-9]+]]:vgpr(s32) = G_AND [[UV]], [[UV2]]
 239     ; CHECK: [[AND1:%[0-9]+]]:vgpr(s32) = G_AND [[UV1]], [[UV3]]
 240     ; CHECK: [[MV1:%[0-9]+]]:vgpr(s64) = G_MERGE_VALUES [[AND]](s32), [[AND1]](s32)
 241     ; CHECK: S_NOP 0, implicit [[MV1]](s64)
 242     %0:_(s64) = COPY $sgpr0_sgpr1
 243     %1:_(s32) = COPY $sgpr2
 244     %2:_(s32) = COPY $vgpr0
 245     %3:_(s64) = G_MERGE_VALUES %1, %2
 246     %4:_(s64) = G_AND %0, %3
 247     S_NOP 0, implicit %4
 248 ...
 249
 250 ---
 251 name: and_s64_s_vs_merge
 252 legalized: true
 253
 254 body: |
 255   bb.0:
 256     liveins: $sgpr0_sgpr1, $sgpr2, $vgpr0
 257     ; CHECK-LABEL: name: and_s64_s_vs_merge
 258     ; CHECK: [[COPY:%[0-9]+]]:sgpr(s64) = COPY $sgpr0_sgpr1
 259     ; CHECK: [[COPY1:%[0-9]+]]:sgpr(s32) = COPY $sgpr2
 260     ; CHECK: [[COPY2:%[0-9]+]]:vgpr(s32) = COPY $vgpr0
 261     ; CHECK: [[COPY3:%[0-9]+]]:vgpr(s32) = COPY [[COPY1]](s32)
 262     ; CHECK: [[MV:%[0-9]+]]:vgpr(s64) = G_MERGE_VALUES [[COPY2]](s32), [[COPY3]](s32)
 263     ; CHECK: [[UV:%[0-9]+]]:sgpr(s32), [[UV1:%[0-9]+]]:sgpr(s32) = G_UNMERGE_VALUES [[COPY]](s64)
 264     ; CHECK: [[UV2:%[0-9]+]]:vgpr(s32), [[UV3:%[0-9]+]]:vgpr(s32) = G_UNMERGE_VALUES [[MV]](s64)
 265     ; CHECK: [[AND:%[0-9]+]]:vgpr(s32) = G_AND [[UV]], [[UV2]]
 266     ; CHECK: [[AND1:%[0-9]+]]:vgpr(s32) = G_AND [[UV1]], [[UV3]]
 267     ; CHECK: [[MV1:%[0-9]+]]:vgpr(s64) = G_MERGE_VALUES [[AND]](s32), [[AND1]](s32)
 268     ; CHECK: S_NOP 0, implicit [[MV1]](s64)
 269     %0:_(s64) = COPY $sgpr0_sgpr1
 270     %1:_(s32) = COPY $sgpr2
 271     %2:_(s32) = COPY $vgpr0
 272     %3:_(s64) = G_MERGE_VALUES %2, %1
 273     %4:_(s64) = G_AND %0, %3
 274     S_NOP 0, implicit %4
 275 ...
 276
 277 ---
 278 name: and_s64_sv_sv_merge
 279 legalized: true
 280
 281 body: |
 282   bb.0:
 283     liveins: $sgpr0, $sgpr1, $vgpr0, $vgpr1
 284     ; CHECK-LABEL: name: and_s64_sv_sv_merge
 285     ; CHECK: [[COPY:%[0-9]+]]:sgpr(s32) = COPY $sgpr0
 286     ; CHECK: [[COPY1:%[0-9]+]]:sgpr(s32) = COPY $sgpr1
 287     ; CHECK: [[COPY2:%[0-9]+]]:vgpr(s32) = COPY $vgpr0
 288     ; CHECK: [[COPY3:%[0-9]+]]:vgpr(s32) = COPY $vgpr1
 289     ; CHECK: [[COPY4:%[0-9]+]]:vgpr(s32) = COPY [[COPY]](s32)
 290     ; CHECK: [[MV:%[0-9]+]]:vgpr(s64) = G_MERGE_VALUES [[COPY4]](s32), [[COPY2]](s32)
 291     ; CHECK: [[COPY5:%[0-9]+]]:vgpr(s32) = COPY [[COPY1]](s32)
 292     ; CHECK: [[MV1:%[0-9]+]]:vgpr(s64) = G_MERGE_VALUES [[COPY5]](s32), [[COPY3]](s32)
 293     ; CHECK: [[UV:%[0-9]+]]:vgpr(s32), [[UV1:%[0-9]+]]:vgpr(s32) = G_UNMERGE_VALUES [[MV]](s64)
 294     ; CHECK: [[UV2:%[0-9]+]]:vgpr(s32), [[UV3:%[0-9]+]]:vgpr(s32) = G_UNMERGE_VALUES [[MV1]](s64)
 295     ; CHECK: [[AND:%[0-9]+]]:vgpr(s32) = G_AND [[UV]], [[UV2]]
 296     ; CHECK: [[AND1:%[0-9]+]]:vgpr(s32) = G_AND [[UV1]], [[UV3]]
 297     ; CHECK: [[MV2:%[0-9]+]]:vgpr(s64) = G_MERGE_VALUES [[AND]](s32), [[AND1]](s32)
 298     ; CHECK: S_NOP 0, implicit [[MV2]](s64)
 299     %0:_(s32) = COPY $sgpr0
 300     %1:_(s32) = COPY $sgpr1
 301     %2:_(s32) = COPY $vgpr0
 302     %3:_(s32) = COPY $vgpr1
 303     %4:_(s64) = G_MERGE_VALUES %0, %2
 304     %5:_(s64) = G_MERGE_VALUES %1, %3
 305     %6:_(s64) = G_AND %4, %5
 306     S_NOP 0, implicit %6
 307 ...
 308
 309 ---
 310 name: and_s64_sv_vs_merge
 311 legalized: true
 312
 313 body: |
 314   bb.0:
 315     liveins: $sgpr0, $sgpr1, $vgpr0, $vgpr1
 316     ; CHECK-LABEL: name: and_s64_sv_vs_merge
 317     ; CHECK: [[COPY:%[0-9]+]]:sgpr(s32) = COPY $sgpr0
 318     ; CHECK: [[COPY1:%[0-9]+]]:sgpr(s32) = COPY $sgpr1
 319     ; CHECK: [[COPY2:%[0-9]+]]:vgpr(s32) = COPY $vgpr0
 320     ; CHECK: [[COPY3:%[0-9]+]]:vgpr(s32) = COPY $vgpr1
 321     ; CHECK: [[COPY4:%[0-9]+]]:vgpr(s32) = COPY [[COPY]](s32)
 322     ; CHECK: [[MV:%[0-9]+]]:vgpr(s64) = G_MERGE_VALUES [[COPY4]](s32), [[COPY2]](s32)
 323     ; CHECK: [[COPY5:%[0-9]+]]:vgpr(s32) = COPY [[COPY1]](s32)
 324     ; CHECK: [[MV1:%[0-9]+]]:vgpr(s64) = G_MERGE_VALUES [[COPY3]](s32), [[COPY5]](s32)
 325     ; CHECK: [[UV:%[0-9]+]]:vgpr(s32), [[UV1:%[0-9]+]]:vgpr(s32) = G_UNMERGE_VALUES [[MV]](s64)
 326     ; CHECK: [[UV2:%[0-9]+]]:vgpr(s32), [[UV3:%[0-9]+]]:vgpr(s32) = G_UNMERGE_VALUES [[MV1]](s64)
 327     ; CHECK: [[AND:%[0-9]+]]:vgpr(s32) = G_AND [[UV]], [[UV2]]
 328     ; CHECK: [[AND1:%[0-9]+]]:vgpr(s32) = G_AND [[UV1]], [[UV3]]
 329     ; CHECK: [[MV2:%[0-9]+]]:vgpr(s64) = G_MERGE_VALUES [[AND]](s32), [[AND1]](s32)
 330     ; CHECK: S_NOP 0, implicit [[MV2]](s64)
 331     %0:_(s32) = COPY $sgpr0
 332     %1:_(s32) = COPY $sgpr1
 333     %2:_(s32) = COPY $vgpr0
 334     %3:_(s32) = COPY $vgpr1
 335     %4:_(s64) = G_MERGE_VALUES %0, %2
 336     %5:_(s64) = G_MERGE_VALUES %3, %1
 337     %6:_(s64) = G_AND %4, %5
 338     S_NOP 0, implicit %6
 339 ...
 340
 341 ---
 342 name: and_chain_s64_sv
 343 legalized: true
 344
 345 body: |
 346   bb.0:
 347     liveins: $sgpr0_sgpr1, $sgpr2_sgpr3, $vgpr0_vgpr1
 348     ; CHECK-LABEL: name: and_chain_s64_sv
 349     ; CHECK: [[COPY:%[0-9]+]]:sgpr(s64) = COPY $sgpr0_sgpr1
 350     ; CHECK: [[COPY1:%[0-9]+]]:sgpr(s64) = COPY $sgpr2_sgpr3
 351     ; CHECK: [[COPY2:%[0-9]+]]:vgpr(s64) = COPY $vgpr0_vgpr1
 352     ; CHECK: [[UV:%[0-9]+]]:sgpr(s32), [[UV1:%[0-9]+]]:sgpr(s32) = G_UNMERGE_VALUES [[COPY]](s64)
 353     ; CHECK: [[UV2:%[0-9]+]]:vgpr(s32), [[UV3:%[0-9]+]]:vgpr(s32) = G_UNMERGE_VALUES [[COPY2]](s64)
 354     ; CHECK: [[AND:%[0-9]+]]:vgpr(s32) = G_AND [[UV]], [[UV2]]
 355     ; CHECK: [[AND1:%[0-9]+]]:vgpr(s32) = G_AND [[UV1]], [[UV3]]
 356     ; CHECK: [[MV:%[0-9]+]]:vgpr(s64) = G_MERGE_VALUES [[AND]](s32), [[AND1]](s32)
 357     ; CHECK: [[UV4:%[0-9]+]]:sgpr(s32), [[UV5:%[0-9]+]]:sgpr(s32) = G_UNMERGE_VALUES [[COPY1]](s64)
 358     ; CHECK: [[UV6:%[0-9]+]]:vgpr(s32), [[UV7:%[0-9]+]]:vgpr(s32) = G_UNMERGE_VALUES [[MV]](s64)
 359     ; CHECK: [[AND2:%[0-9]+]]:vgpr(s32) = G_AND [[UV4]], [[UV6]]
 360     ; CHECK: [[AND3:%[0-9]+]]:vgpr(s32) = G_AND [[UV5]], [[UV7]]
 361     ; CHECK: [[MV1:%[0-9]+]]:vgpr(s64) = G_MERGE_VALUES [[AND2]](s32), [[AND3]](s32)
 362     ; CHECK: S_NOP 0, implicit [[MV1]](s64)
 363     %0:_(s64) = COPY $sgpr0_sgpr1
 364     %1:_(s64) = COPY $sgpr2_sgpr3
 365     %2:_(s64) = COPY $vgpr0_vgpr1
 366     %3:_(s64) = G_AND %0, %2
 367     %4:_(s64) = G_AND %1, %3
 368     S_NOP 0, implicit %4
 369 ...
 370
 371 ---
 372 name: and_v2i32_ss
 373 legalized: true
 374
 375 body: |
 376   bb.0:
 377     liveins: $sgpr0_sgpr1, $sgpr2_sgpr3
 378     ; CHECK-LABEL: name: and_v2i32_ss
 379     ; CHECK: [[COPY:%[0-9]+]]:sgpr(<2 x s32>) = COPY $sgpr0_sgpr1
 380     ; CHECK: [[COPY1:%[0-9]+]]:sgpr(<2 x s32>) = COPY $sgpr2_sgpr3
 381     ; CHECK: [[AND:%[0-9]+]]:sgpr(<2 x s32>) = G_AND [[COPY]], [[COPY1]]
 382     ; CHECK: S_NOP 0, implicit [[AND]](<2 x s32>)
 383     %0:_(<2 x s32>) = COPY $sgpr0_sgpr1
 384     %1:_(<2 x s32>) = COPY $sgpr2_sgpr3
 385     %2:_(<2 x s32>) = G_AND %0, %1
 386     S_NOP 0, implicit %2
 387 ...
 388
 389 ---
 390 name: and_v2i32_sv
 391 legalized: true
 392
 393 body: |
 394   bb.0:
 395     liveins: $sgpr0_sgpr1, $vgpr0_vgpr1
 396     ; CHECK-LABEL: name: and_v2i32_sv
 397     ; CHECK: [[COPY:%[0-9]+]]:sgpr(<2 x s32>) = COPY $sgpr0_sgpr1
 398     ; CHECK: [[COPY1:%[0-9]+]]:vgpr(<2 x s32>) = COPY $vgpr0_vgpr1
 399     ; CHECK: [[UV:%[0-9]+]]:sgpr(s32), [[UV1:%[0-9]+]]:sgpr(s32) = G_UNMERGE_VALUES [[COPY]](<2 x s32>)
 400     ; CHECK: [[UV2:%[0-9]+]]:vgpr(s32), [[UV3:%[0-9]+]]:vgpr(s32) = G_UNMERGE_VALUES [[COPY1]](<2 x s32>)
 401     ; CHECK: [[AND:%[0-9]+]]:vgpr(s32) = G_AND [[UV]], [[UV2]]
 402     ; CHECK: [[AND1:%[0-9]+]]:vgpr(s32) = G_AND [[UV1]], [[UV3]]
 403     ; CHECK: [[BUILD_VECTOR:%[0-9]+]]:vgpr(<2 x s32>) = G_BUILD_VECTOR [[AND]](s32), [[AND1]](s32)
 404     ; CHECK: S_NOP 0, implicit [[BUILD_VECTOR]](<2 x s32>)
 405     %0:_(<2 x s32>) = COPY $sgpr0_sgpr1
 406     %1:_(<2 x s32>) = COPY $vgpr0_vgpr1
 407     %2:_(<2 x s32>) = G_AND %0, %1
 408     S_NOP 0, implicit %2
 409 ...
 410
 411 ---
 412 name: and_v2i32_vs
 413 legalized: true
 414
 415 body: |
 416   bb.0:
 417     liveins: $sgpr0_sgpr1, $vgpr0_vgpr1
 418
 419     ; CHECK-LABEL: name: and_v2i32_vs
 420     ; CHECK: [[COPY:%[0-9]+]]:vgpr(<2 x s32>) = COPY $vgpr0_vgpr1
 421     ; CHECK: [[COPY1:%[0-9]+]]:sgpr(<2 x s32>) = COPY $sgpr0_sgpr1
 422     ; CHECK: [[UV:%[0-9]+]]:vgpr(s32), [[UV1:%[0-9]+]]:vgpr(s32) = G_UNMERGE_VALUES [[COPY]](<2 x s32>)
 423     ; CHECK: [[UV2:%[0-9]+]]:sgpr(s32), [[UV3:%[0-9]+]]:sgpr(s32) = G_UNMERGE_VALUES [[COPY1]](<2 x s32>)
 424     ; CHECK: [[AND:%[0-9]+]]:vgpr(s32) = G_AND [[UV]], [[UV2]]
 425     ; CHECK: [[AND1:%[0-9]+]]:vgpr(s32) = G_AND [[UV1]], [[UV3]]
 426     ; CHECK: [[BUILD_VECTOR:%[0-9]+]]:vgpr(<2 x s32>) = G_BUILD_VECTOR [[AND]](s32), [[AND1]](s32)
 427     ; CHECK: S_NOP 0, implicit [[BUILD_VECTOR]](<2 x s32>)
 428     %0:_(<2 x s32>) = COPY $vgpr0_vgpr1
 429     %1:_(<2 x s32>) = COPY $sgpr0_sgpr1
 430     %2:_(<2 x s32>) = G_AND %0, %1
 431     S_NOP 0, implicit %2
 432 ...
 433
 434 ---
 435 name: and_v2i32_vv
 436 legalized: true
 437
 438 body: |
 439   bb.0:
 440     liveins: $vgpr0_vgpr1, $vgpr2_vgpr3
 441     ; CHECK-LABEL: name: and_v2i32_vv
 442     ; CHECK: [[COPY:%[0-9]+]]:vgpr(<2 x s32>) = COPY $vgpr0_vgpr1
 443     ; CHECK: [[COPY1:%[0-9]+]]:vgpr(<2 x s32>) = COPY $vgpr2_vgpr3
 444     ; CHECK: [[UV:%[0-9]+]]:vgpr(s32), [[UV1:%[0-9]+]]:vgpr(s32) = G_UNMERGE_VALUES [[COPY]](<2 x s32>)
 445     ; CHECK: [[UV2:%[0-9]+]]:vgpr(s32), [[UV3:%[0-9]+]]:vgpr(s32) = G_UNMERGE_VALUES [[COPY1]](<2 x s32>)
 446     ; CHECK: [[AND:%[0-9]+]]:vgpr(s32) = G_AND [[UV]], [[UV2]]
 447     ; CHECK: [[AND1:%[0-9]+]]:vgpr(s32) = G_AND [[UV1]], [[UV3]]
 448     ; CHECK: [[BUILD_VECTOR:%[0-9]+]]:vgpr(<2 x s32>) = G_BUILD_VECTOR [[AND]](s32), [[AND1]](s32)
 449     ; CHECK: S_NOP 0, implicit [[BUILD_VECTOR]](<2 x s32>)
 450     %0:_(<2 x s32>) = COPY $vgpr0_vgpr1
 451     %1:_(<2 x s32>) = COPY $vgpr2_vgpr3
 452     %2:_(<2 x s32>) = G_AND %0, %1
 453     S_NOP 0, implicit %2
 454 ...
 455
 456 ---
 457 name: and_v4s16_ss
 458 legalized: true
 459
 460 body: |
 461   bb.0:
 462     liveins: $sgpr0_sgpr1, $sgpr2_sgpr3
 463     ; CHECK-LABEL: name: and_v4s16_ss
 464     ; CHECK: [[COPY:%[0-9]+]]:sgpr(<4 x s16>) = COPY $sgpr0_sgpr1
 465     ; CHECK: [[COPY1:%[0-9]+]]:sgpr(<4 x s16>) = COPY $sgpr2_sgpr3
 466     ; CHECK: [[AND:%[0-9]+]]:sgpr(<4 x s16>) = G_AND [[COPY]], [[COPY1]]
 467     %0:_(<4 x s16>) = COPY $sgpr0_sgpr1
 468     %1:_(<4 x s16>) = COPY $sgpr2_sgpr3
 469     %2:_(<4 x s16>) = G_AND %0, %1
 470 ...
 471
 472 ---
 473 name: and_v4s16_sv
 474 legalized: true
 475
 476 body: |
 477   bb.0:
 478     liveins: $sgpr0_sgpr1, $vgpr0_vgpr1
 479     ; CHECK-LABEL: name: and_v4s16_sv
 480     ; CHECK: [[COPY:%[0-9]+]]:sgpr(<4 x s16>) = COPY $sgpr0_sgpr1
 481     ; CHECK: [[COPY1:%[0-9]+]]:vgpr(<4 x s16>) = COPY $vgpr0_vgpr1
 482     ; CHECK: [[UV:%[0-9]+]]:sgpr(<2 x s16>), [[UV1:%[0-9]+]]:sgpr(<2 x s16>) = G_UNMERGE_VALUES [[COPY]](<4 x s16>)
 483     ; CHECK: [[UV2:%[0-9]+]]:vgpr(<2 x s16>), [[UV3:%[0-9]+]]:vgpr(<2 x s16>) = G_UNMERGE_VALUES [[COPY1]](<4 x s16>)
 484     ; CHECK: [[AND:%[0-9]+]]:vgpr(<2 x s16>) = G_AND [[UV]], [[UV2]]
 485     ; CHECK: [[AND1:%[0-9]+]]:vgpr(<2 x s16>) = G_AND [[UV1]], [[UV3]]
 486     ; CHECK: [[CONCAT_VECTORS:%[0-9]+]]:vgpr(<4 x s16>) = G_CONCAT_VECTORS [[AND]](<2 x s16>), [[AND1]](<2 x s16>)
 487     %0:_(<4 x s16>) = COPY $sgpr0_sgpr1
 488     %1:_(<4 x s16>) = COPY $vgpr0_vgpr1
 489     %2:_(<4 x s16>) = G_AND %0, %1
 490 ...
 491
 492 ---
 493 name: and_v4s16_vs
 494 legalized: true
 495
 496 body: |
 497   bb.0:
 498     liveins: $sgpr0_sgpr1, $vgpr0_vgpr1
 499     ; CHECK-LABEL: name: and_v4s16_vs
 500     ; CHECK: [[COPY:%[0-9]+]]:vgpr(<4 x s16>) = COPY $vgpr0_vgpr1
 501     ; CHECK: [[COPY1:%[0-9]+]]:sgpr(<4 x s16>) = COPY $sgpr0_sgpr1
 502     ; CHECK: [[UV:%[0-9]+]]:vgpr(<2 x s16>), [[UV1:%[0-9]+]]:vgpr(<2 x s16>) = G_UNMERGE_VALUES [[COPY]](<4 x s16>)
 503     ; CHECK: [[UV2:%[0-9]+]]:sgpr(<2 x s16>), [[UV3:%[0-9]+]]:sgpr(<2 x s16>) = G_UNMERGE_VALUES [[COPY1]](<4 x s16>)
 504     ; CHECK: [[AND:%[0-9]+]]:vgpr(<2 x s16>) = G_AND [[UV]], [[UV2]]
 505     ; CHECK: [[AND1:%[0-9]+]]:vgpr(<2 x s16>) = G_AND [[UV1]], [[UV3]]
 506     ; CHECK: [[CONCAT_VECTORS:%[0-9]+]]:vgpr(<4 x s16>) = G_CONCAT_VECTORS [[AND]](<2 x s16>), [[AND1]](<2 x s16>)
 507     %0:_(<4 x s16>) = COPY $vgpr0_vgpr1
 508     %1:_(<4 x s16>) = COPY $sgpr0_sgpr1
 509     %2:_(<4 x s16>) = G_AND %0, %1
 510 ...
 511
 512 ---
 513 name: and_v4s16_vv
 514 legalized: true
 515
 516 body: |
 517   bb.0:
 518     liveins: $vgpr0_vgpr1, $vgpr2_vgpr3
 519     ; CHECK-LABEL: name: and_v4s16_vv
 520     ; CHECK: [[COPY:%[0-9]+]]:vgpr(<4 x s16>) = COPY $vgpr0_vgpr1
 521     ; CHECK: [[COPY1:%[0-9]+]]:vgpr(<4 x s16>) = COPY $vgpr2_vgpr3
 522     ; CHECK: [[UV:%[0-9]+]]:vgpr(<2 x s16>), [[UV1:%[0-9]+]]:vgpr(<2 x s16>) = G_UNMERGE_VALUES [[COPY]](<4 x s16>)
 523     ; CHECK: [[UV2:%[0-9]+]]:vgpr(<2 x s16>), [[UV3:%[0-9]+]]:vgpr(<2 x s16>) = G_UNMERGE_VALUES [[COPY1]](<4 x s16>)
 524     ; CHECK: [[AND:%[0-9]+]]:vgpr(<2 x s16>) = G_AND [[UV]], [[UV2]]
 525     ; CHECK: [[AND1:%[0-9]+]]:vgpr(<2 x s16>) = G_AND [[UV1]], [[UV3]]
 526     ; CHECK: [[CONCAT_VECTORS:%[0-9]+]]:vgpr(<4 x s16>) = G_CONCAT_VECTORS [[AND]](<2 x s16>), [[AND1]](<2 x s16>)
 527     %0:_(<4 x s16>) = COPY $vgpr0_vgpr1
 528     %1:_(<4 x s16>) = COPY $vgpr2_vgpr3
 529     %2:_(<4 x s16>) = G_AND %0, %1
 530 ...
 531
 532 ---
 533 name: and_v2s16_ss
 534 legalized: true
 535
 536 body: |
 537   bb.0:
 538     liveins: $sgpr0, $sgpr1
 539     ; CHECK-LABEL: name: and_v2s16_ss
 540     ; CHECK: [[COPY:%[0-9]+]]:sgpr(<2 x s16>) = COPY $sgpr0
 541     ; CHECK: [[COPY1:%[0-9]+]]:sgpr(<2 x s16>) = COPY $sgpr1
 542     ; CHECK: [[AND:%[0-9]+]]:sgpr(<2 x s16>) = G_AND [[COPY]], [[COPY1]]
 543     %0:_(<2 x s16>) = COPY $sgpr0
 544     %1:_(<2 x s16>) = COPY $sgpr1
 545     %2:_(<2 x s16>) = G_AND %0, %1
 546 ...
 547
 548 ---
 549 name: and_v2s16_sv
 550 legalized: true
 551
 552 body: |
 553   bb.0:
 554     liveins: $sgpr0, $vgpr0
 555     ; CHECK-LABEL: name: and_v2s16_sv
 556     ; CHECK: [[COPY:%[0-9]+]]:sgpr(<2 x s16>) = COPY $sgpr0
 557     ; CHECK: [[COPY1:%[0-9]+]]:vgpr(<2 x s16>) = COPY $vgpr0
 558     ; CHECK: [[AND:%[0-9]+]]:vgpr(<2 x s16>) = G_AND [[COPY]], [[COPY1]]
 559     %0:_(<2 x s16>) = COPY $sgpr0
 560     %1:_(<2 x s16>) = COPY $vgpr0
 561     %2:_(<2 x s16>) = G_AND %0, %1
 562 ...
 563
 564 ---
 565 name: and_v2s16_vs
 566 legalized: true
 567
 568 body: |
 569   bb.0:
 570     liveins: $sgpr0, $vgpr0
 571     ; CHECK-LABEL: name: and_v2s16_vs
 572     ; CHECK: [[COPY:%[0-9]+]]:vgpr(<2 x s16>) = COPY $vgpr0
 573     ; CHECK: [[COPY1:%[0-9]+]]:sgpr(<2 x s16>) = COPY $sgpr0
 574     ; CHECK: [[COPY2:%[0-9]+]]:vgpr(<2 x s16>) = COPY [[COPY1]](<2 x s16>)
 575     ; CHECK: [[AND:%[0-9]+]]:vgpr(<2 x s16>) = G_AND [[COPY]], [[COPY2]]
 576     %0:_(<2 x s16>) = COPY $vgpr0
 577     %1:_(<2 x s16>) = COPY $sgpr0
 578     %2:_(<2 x s16>) = G_AND %0, %1
 579 ...
 580
 581 ---
 582 name: and_v2s16_vv
 583 legalized: true
 584
 585 body: |
 586   bb.0:
 587     liveins: $vgpr0, $vgpr1
 588     ; CHECK-LABEL: name: and_v2s16_vv
 589     ; CHECK: [[COPY:%[0-9]+]]:vgpr(<2 x s16>) = COPY $vgpr0
 590     ; CHECK: [[COPY1:%[0-9]+]]:vgpr(<2 x s16>) = COPY $vgpr1
 591     ; CHECK: [[AND:%[0-9]+]]:vgpr(<2 x s16>) = G_AND [[COPY]], [[COPY1]]
 592     %0:_(<2 x s16>) = COPY $vgpr0
 593     %1:_(<2 x s16>) = COPY $vgpr1
 594     %2:_(<2 x s16>) = G_AND %0, %1
 595 ...
 596