| # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py |
| # RUN: llc -march=amdgcn -mcpu=fiji -run-pass=regbankselect %s -verify-machineinstrs -o - -regbankselect-fast | FileCheck %s |
| # RUN: llc -march=amdgcn -mcpu=fiji -run-pass=regbankselect %s -verify-machineinstrs -o - -regbankselect-greedy | FileCheck %s |
| |
| --- |
| name: and_s1_sgpr_sgpr |
| legalized: true |
| |
| body: | |
| bb.0: |
| liveins: $sgpr0, $sgpr1 |
| ; CHECK-LABEL: name: and_s1_sgpr_sgpr |
| ; CHECK: [[COPY:%[0-9]+]]:sgpr(s32) = COPY $sgpr0 |
| ; CHECK: [[COPY1:%[0-9]+]]:sgpr(s32) = COPY $sgpr1 |
| ; CHECK: [[TRUNC:%[0-9]+]]:sgpr(s1) = G_TRUNC [[COPY]](s32) |
| ; CHECK: [[TRUNC1:%[0-9]+]]:sgpr(s1) = G_TRUNC [[COPY1]](s32) |
| ; CHECK: [[ANYEXT:%[0-9]+]]:sgpr(s32) = G_ANYEXT [[TRUNC]](s1) |
| ; CHECK: [[ANYEXT1:%[0-9]+]]:sgpr(s32) = G_ANYEXT [[TRUNC1]](s1) |
| ; CHECK: [[AND:%[0-9]+]]:sgpr(s32) = G_AND [[ANYEXT]], [[ANYEXT1]] |
| ; CHECK: [[TRUNC2:%[0-9]+]]:sgpr(s1) = G_TRUNC [[AND]](s32) |
| %0:_(s32) = COPY $sgpr0 |
| %1:_(s32) = COPY $sgpr1 |
| %2:_(s1) = G_TRUNC %0 |
| %3:_(s1) = G_TRUNC %1 |
| %4:_(s1) = G_AND %2, %3 |
| ... |
| |
| --- |
| name: and_s1_scc_scc |
| legalized: true |
| |
| body: | |
| bb.0: |
| liveins: $sgpr0, $sgpr1 |
| ; CHECK-LABEL: name: and_s1_scc_scc |
| ; CHECK: [[COPY:%[0-9]+]]:sgpr(s32) = COPY $sgpr0 |
| ; CHECK: [[COPY1:%[0-9]+]]:sgpr(s32) = COPY $sgpr1 |
| ; CHECK: [[C:%[0-9]+]]:sgpr(s32) = G_CONSTANT i32 0 |
| ; CHECK: [[ICMP:%[0-9]+]]:sgpr(s32) = G_ICMP intpred(eq), [[COPY]](s32), [[C]] |
| ; CHECK: [[TRUNC:%[0-9]+]]:sgpr(s1) = G_TRUNC [[ICMP]](s32) |
| ; CHECK: [[ICMP1:%[0-9]+]]:sgpr(s32) = G_ICMP intpred(eq), [[COPY1]](s32), [[C]] |
| ; CHECK: [[TRUNC1:%[0-9]+]]:sgpr(s1) = G_TRUNC [[ICMP1]](s32) |
| ; CHECK: [[ANYEXT:%[0-9]+]]:sgpr(s32) = G_ANYEXT [[TRUNC]](s1) |
| ; CHECK: [[ANYEXT1:%[0-9]+]]:sgpr(s32) = G_ANYEXT [[TRUNC1]](s1) |
| ; CHECK: [[AND:%[0-9]+]]:sgpr(s32) = G_AND [[ANYEXT]], [[ANYEXT1]] |
| ; CHECK: [[TRUNC2:%[0-9]+]]:sgpr(s1) = G_TRUNC [[AND]](s32) |
| %0:_(s32) = COPY $sgpr0 |
| %1:_(s32) = COPY $sgpr1 |
| %2:_(s32) = G_CONSTANT i32 0 |
| %3:_(s1) = G_ICMP intpred(eq), %0, %2 |
| %4:_(s1) = G_ICMP intpred(eq), %1, %2 |
| %5:_(s1) = G_AND %3, %4 |
| ... |
| |
| --- |
| name: and_s1_vgpr_vgpr |
| legalized: true |
| |
| body: | |
| bb.0: |
| liveins: $vgpr0, $vgpr1 |
| ; CHECK-LABEL: name: and_s1_vgpr_vgpr |
| ; CHECK: [[COPY:%[0-9]+]]:vgpr(s32) = COPY $vgpr0 |
| ; CHECK: [[COPY1:%[0-9]+]]:vgpr(s32) = COPY $vgpr1 |
| ; CHECK: [[TRUNC:%[0-9]+]]:vgpr(s1) = G_TRUNC [[COPY]](s32) |
| ; CHECK: [[TRUNC1:%[0-9]+]]:vgpr(s1) = G_TRUNC [[COPY1]](s32) |
| ; CHECK: [[ANYEXT:%[0-9]+]]:vgpr(s32) = G_ANYEXT [[TRUNC]](s1) |
| ; CHECK: [[ANYEXT1:%[0-9]+]]:vgpr(s32) = G_ANYEXT [[TRUNC1]](s1) |
| ; CHECK: [[AND:%[0-9]+]]:vgpr(s32) = G_AND [[ANYEXT]], [[ANYEXT1]] |
| ; CHECK: [[TRUNC2:%[0-9]+]]:vgpr(s1) = G_TRUNC [[AND]](s32) |
| %0:_(s32) = COPY $vgpr0 |
| %1:_(s32) = COPY $vgpr1 |
| %2:_(s1) = G_TRUNC %0 |
| %3:_(s1) = G_TRUNC %1 |
| %4:_(s1) = G_AND %2, %3 |
| ... |
| |
| --- |
| name: and_s1_vcc_vcc |
| legalized: true |
| |
| body: | |
| bb.0: |
| liveins: $vgpr0, $vgpr1 |
| ; CHECK-LABEL: name: and_s1_vcc_vcc |
| ; CHECK: [[COPY:%[0-9]+]]:vgpr(s32) = COPY $vgpr0 |
| ; CHECK: [[COPY1:%[0-9]+]]:vgpr(s32) = COPY $vgpr1 |
| ; CHECK: [[C:%[0-9]+]]:sgpr(s32) = G_CONSTANT i32 0 |
| ; CHECK: [[COPY2:%[0-9]+]]:vgpr(s32) = COPY [[C]](s32) |
| ; CHECK: [[ICMP:%[0-9]+]]:vcc(s1) = G_ICMP intpred(eq), [[COPY]](s32), [[COPY2]] |
| ; CHECK: [[COPY3:%[0-9]+]]:vgpr(s32) = COPY [[C]](s32) |
| ; CHECK: [[ICMP1:%[0-9]+]]:vcc(s1) = G_ICMP intpred(eq), [[COPY1]](s32), [[COPY3]] |
| ; CHECK: [[AND:%[0-9]+]]:vcc(s1) = G_AND [[ICMP]], [[ICMP1]] |
| %0:_(s32) = COPY $vgpr0 |
| %1:_(s32) = COPY $vgpr1 |
| %2:_(s32) = G_CONSTANT i32 0 |
| %3:_(s1) = G_ICMP intpred(eq), %0, %2 |
| %4:_(s1) = G_ICMP intpred(eq), %1, %2 |
| %5:_(s1) = G_AND %3, %4 |
| ... |
| |
| --- |
| name: and_s1_sgpr_vgpr |
| legalized: true |
| |
| body: | |
| bb.0: |
| liveins: $sgpr0, $vgpr0 |
| ; CHECK-LABEL: name: and_s1_sgpr_vgpr |
| ; CHECK: [[COPY:%[0-9]+]]:sgpr(s32) = COPY $sgpr0 |
| ; CHECK: [[COPY1:%[0-9]+]]:vgpr(s32) = COPY $vgpr0 |
| ; CHECK: [[TRUNC:%[0-9]+]]:sgpr(s1) = G_TRUNC [[COPY]](s32) |
| ; CHECK: [[TRUNC1:%[0-9]+]]:vgpr(s1) = G_TRUNC [[COPY1]](s32) |
| ; CHECK: [[ANYEXT:%[0-9]+]]:vgpr(s32) = G_ANYEXT [[TRUNC]](s1) |
| ; CHECK: [[ANYEXT1:%[0-9]+]]:vgpr(s32) = G_ANYEXT [[TRUNC1]](s1) |
| ; CHECK: [[AND:%[0-9]+]]:vgpr(s32) = G_AND [[ANYEXT]], [[ANYEXT1]] |
| ; CHECK: [[TRUNC2:%[0-9]+]]:vgpr(s1) = G_TRUNC [[AND]](s32) |
| %0:_(s32) = COPY $sgpr0 |
| %1:_(s32) = COPY $vgpr0 |
| %2:_(s1) = G_TRUNC %0 |
| %3:_(s1) = G_TRUNC %1 |
| %4:_(s1) = G_AND %2, %3 |
| ... |
| |
| --- |
| name: and_s1_vgpr_sgpr |
| legalized: true |
| |
| body: | |
| bb.0: |
| liveins: $vgpr0, $vgpr0 |
| ; CHECK-LABEL: name: and_s1_vgpr_sgpr |
| ; CHECK: [[COPY:%[0-9]+]]:vgpr(s32) = COPY $vgpr0 |
| ; CHECK: [[COPY1:%[0-9]+]]:sgpr(s32) = COPY $sgpr0 |
| ; CHECK: [[TRUNC:%[0-9]+]]:vgpr(s1) = G_TRUNC [[COPY]](s32) |
| ; CHECK: [[TRUNC1:%[0-9]+]]:sgpr(s1) = G_TRUNC [[COPY1]](s32) |
| ; CHECK: [[ANYEXT:%[0-9]+]]:vgpr(s32) = G_ANYEXT [[TRUNC]](s1) |
| ; CHECK: [[ANYEXT1:%[0-9]+]]:vgpr(s32) = G_ANYEXT [[TRUNC1]](s1) |
| ; CHECK: [[AND:%[0-9]+]]:vgpr(s32) = G_AND [[ANYEXT]], [[ANYEXT1]] |
| ; CHECK: [[TRUNC2:%[0-9]+]]:vgpr(s1) = G_TRUNC [[AND]](s32) |
| %0:_(s32) = COPY $vgpr0 |
| %1:_(s32) = COPY $sgpr0 |
| %2:_(s1) = G_TRUNC %0 |
| %3:_(s1) = G_TRUNC %1 |
| %4:_(s1) = G_AND %2, %3 |
| ... |
| |
| # FIXME: Should just change the result bank of the scc compare. |
| --- |
| name: and_s1_scc_vcc |
| legalized: true |
| |
| body: | |
| bb.0: |
| liveins: $sgpr0, $vgpr0 |
| ; CHECK-LABEL: name: and_s1_scc_vcc |
| ; CHECK: [[COPY:%[0-9]+]]:sgpr(s32) = COPY $sgpr0 |
| ; CHECK: [[COPY1:%[0-9]+]]:vgpr(s32) = COPY $vgpr0 |
| ; CHECK: [[C:%[0-9]+]]:sgpr(s32) = G_CONSTANT i32 0 |
| ; CHECK: [[ICMP:%[0-9]+]]:sgpr(s32) = G_ICMP intpred(eq), [[COPY]](s32), [[C]] |
| ; CHECK: [[TRUNC:%[0-9]+]]:sgpr(s1) = G_TRUNC [[ICMP]](s32) |
| ; CHECK: [[COPY2:%[0-9]+]]:vgpr(s32) = COPY [[C]](s32) |
| ; CHECK: [[ICMP1:%[0-9]+]]:vcc(s1) = G_ICMP intpred(eq), [[COPY1]](s32), [[COPY2]] |
| ; CHECK: [[COPY3:%[0-9]+]]:vcc(s1) = COPY [[TRUNC]](s1) |
| ; CHECK: [[AND:%[0-9]+]]:vcc(s1) = G_AND [[COPY3]], [[ICMP1]] |
| %0:_(s32) = COPY $sgpr0 |
| %1:_(s32) = COPY $vgpr0 |
| %2:_(s32) = G_CONSTANT i32 0 |
| %3:_(s1) = G_ICMP intpred(eq), %0, %2 |
| %4:_(s1) = G_ICMP intpred(eq), %1, %2 |
| %5:_(s1) = G_AND %3, %4 |
| ... |
| |
| --- |
| name: and_s1_vcc_scc |
| legalized: true |
| |
| body: | |
| bb.0: |
| liveins: $vgpr0, $vgpr1 |
| ; CHECK-LABEL: name: and_s1_vcc_scc |
| ; CHECK: [[COPY:%[0-9]+]]:vgpr(s32) = COPY $vgpr0 |
| ; CHECK: [[COPY1:%[0-9]+]]:vgpr(s32) = COPY $vgpr1 |
| ; CHECK: [[C:%[0-9]+]]:sgpr(s32) = G_CONSTANT i32 0 |
| ; CHECK: [[COPY2:%[0-9]+]]:vgpr(s32) = COPY [[C]](s32) |
| ; CHECK: [[ICMP:%[0-9]+]]:vcc(s1) = G_ICMP intpred(eq), [[COPY]](s32), [[COPY2]] |
| ; CHECK: [[COPY3:%[0-9]+]]:vgpr(s32) = COPY [[C]](s32) |
| ; CHECK: [[ICMP1:%[0-9]+]]:vcc(s1) = G_ICMP intpred(eq), [[COPY1]](s32), [[COPY3]] |
| ; CHECK: [[AND:%[0-9]+]]:vcc(s1) = G_AND [[ICMP]], [[ICMP1]] |
| %0:_(s32) = COPY $vgpr0 |
| %1:_(s32) = COPY $vgpr1 |
| %2:_(s32) = G_CONSTANT i32 0 |
| %3:_(s1) = G_ICMP intpred(eq), %0, %2 |
| %4:_(s1) = G_ICMP intpred(eq), %1, %2 |
| %5:_(s1) = G_AND %3, %4 |
| ... |
| |
| |
| # Test with a known result bank |
| # --- |
| # name: and_s1_vcc_sgpr_sgpr |
| # legalized: true |
| |
| # body: | |
| # bb.0: |
| # liveins: $sgpr0, $sgpr1 |
| |
| # %0:_(s32) = COPY $sgpr0 |
| # %1:_(s32) = COPY $sgpr1 |
| # %2:_(s1) = G_TRUNC %0 |
| # %3:_(s1) = G_TRUNC %1 |
| # %4:vcc(s1) = G_AND %2, %3 |
| # ... |
| |
| # --- |
| # name: and_s1_vcc_vgpr_vgpr |
| # legalized: true |
| |
| # body: | |
| # bb.0: |
| # liveins: $vgpr0, $vgpr1 |
| |
| # %0:_(s32) = COPY $vgpr0 |
| # %1:_(s32) = COPY $vgpr1 |
| # %2:_(s1) = G_TRUNC %0 |
| # %3:_(s1) = G_TRUNC %1 |
| # %4:vcc(s1) = G_AND %2, %3 |
| # ... |
| |
| # --- |
| # name: and_s1_vcc_vgpr_sgpr |
| # legalized: true |
| |
| # body: | |
| # bb.0: |
| # liveins: $vgpr0, $sgpr0 |
| # %0:_(s32) = COPY $vgpr0 |
| # %1:_(s32) = COPY $sgpr0 |
| # %2:_(s1) = G_TRUNC %0 |
| # %3:_(s1) = G_TRUNC %1 |
| # %4:vcc(s1) = G_AND %2, %3 |
| # ... |
| |
| # --- |
| # name: and_s1_vcc_sgpr_vgpr |
| # legalized: true |
| |
| # body: | |
| # bb.0: |
| # liveins: $vgpr0, $sgpr0 |
| # %0:_(s32) = COPY $sgpr0 |
| # %1:_(s32) = COPY $vgpr0 |
| # %2:_(s1) = G_TRUNC %0 |
| # %3:_(s1) = G_TRUNC %1 |
| # %4:vcc(s1) = G_AND %2, %3 |
| # ... |
| |
| --- |
| name: and_s1_vgpr_sgpr_sgpr |
| legalized: true |
| |
| body: | |
| bb.0: |
| liveins: $sgpr0, $sgpr1 |
| ; CHECK-LABEL: name: and_s1_vgpr_sgpr_sgpr |
| ; CHECK: [[COPY:%[0-9]+]]:sgpr(s32) = COPY $sgpr0 |
| ; CHECK: [[COPY1:%[0-9]+]]:sgpr(s32) = COPY $sgpr1 |
| ; CHECK: [[TRUNC:%[0-9]+]]:sgpr(s1) = G_TRUNC [[COPY]](s32) |
| ; CHECK: [[TRUNC1:%[0-9]+]]:sgpr(s1) = G_TRUNC [[COPY1]](s32) |
| ; CHECK: [[ANYEXT:%[0-9]+]]:vgpr(s32) = G_ANYEXT [[TRUNC]](s1) |
| ; CHECK: [[ANYEXT1:%[0-9]+]]:vgpr(s32) = G_ANYEXT [[TRUNC1]](s1) |
| ; CHECK: [[AND:%[0-9]+]]:vgpr(s32) = G_AND [[ANYEXT]], [[ANYEXT1]] |
| ; CHECK: [[TRUNC2:%[0-9]+]]:vgpr(s1) = G_TRUNC [[AND]](s32) |
| %0:_(s32) = COPY $sgpr0 |
| %1:_(s32) = COPY $sgpr1 |
| %2:_(s1) = G_TRUNC %0 |
| %3:_(s1) = G_TRUNC %1 |
| %4:vgpr(s1) = G_AND %2, %3 |
| ... |
| |
| --- |
| name: and_s1_sgpr_sgpr_sgpr |
| legalized: true |
| |
| body: | |
| bb.0: |
| liveins: $sgpr0, $sgpr1 |
| ; CHECK-LABEL: name: and_s1_sgpr_sgpr_sgpr |
| ; CHECK: [[COPY:%[0-9]+]]:sgpr(s32) = COPY $sgpr0 |
| ; CHECK: [[COPY1:%[0-9]+]]:sgpr(s32) = COPY $sgpr1 |
| ; CHECK: [[TRUNC:%[0-9]+]]:sgpr(s1) = G_TRUNC [[COPY]](s32) |
| ; CHECK: [[TRUNC1:%[0-9]+]]:sgpr(s1) = G_TRUNC [[COPY1]](s32) |
| ; CHECK: [[ANYEXT:%[0-9]+]]:sgpr(s32) = G_ANYEXT [[TRUNC]](s1) |
| ; CHECK: [[ANYEXT1:%[0-9]+]]:sgpr(s32) = G_ANYEXT [[TRUNC1]](s1) |
| ; CHECK: [[AND:%[0-9]+]]:sgpr(s32) = G_AND [[ANYEXT]], [[ANYEXT1]] |
| ; CHECK: [[TRUNC2:%[0-9]+]]:sgpr(s1) = G_TRUNC [[AND]](s32) |
| %0:_(s32) = COPY $sgpr0 |
| %1:_(s32) = COPY $sgpr1 |
| %2:_(s1) = G_TRUNC %0 |
| %3:_(s1) = G_TRUNC %1 |
| %4:sgpr(s1) = G_AND %2, %3 |
| ... |