llvm.org GIT mirror llvm / stable test / CodeGen / AMDGPU / GlobalISel / legalize-addrspacecast.mir
stable

Tree @stable (Download .tar.gz)

legalize-addrspacecast.mir @stableraw · history · blame

# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
# RUN: llc -march=amdgcn -mcpu=fiji -O0 -run-pass=legalizer -global-isel-abort=0 -o - %s  | FileCheck -check-prefix=VI %s
# RUN: llc -march=amdgcn -mcpu=gfx900 -O0 -run-pass=legalizer -global-isel-abort=0 -o - %s  | FileCheck -check-prefix=GFX9 %s

---
name: test_addrspacecast_p0_to_p1
body: |
  bb.0:
    liveins: $vgpr0_vgpr1

    ; VI-LABEL: name: test_addrspacecast_p0_to_p1
    ; VI: [[COPY:%[0-9]+]]:_(p0) = COPY $vgpr0_vgpr1
    ; VI: [[BITCAST:%[0-9]+]]:_(p1) = G_BITCAST [[COPY]](p0)
    ; VI: $vgpr0_vgpr1 = COPY [[BITCAST]](p1)
    ; GFX9-LABEL: name: test_addrspacecast_p0_to_p1
    ; GFX9: [[COPY:%[0-9]+]]:_(p0) = COPY $vgpr0_vgpr1
    ; GFX9: [[BITCAST:%[0-9]+]]:_(p1) = G_BITCAST [[COPY]](p0)
    ; GFX9: $vgpr0_vgpr1 = COPY [[BITCAST]](p1)
    %0:_(p0) = COPY $vgpr0_vgpr1
    %1:_(p1) = G_ADDRSPACE_CAST %0
    $vgpr0_vgpr1 = COPY %1
...

---
name: test_addrspacecast_p1_to_p0
body: |
  bb.0:
    liveins: $vgpr0_vgpr1

    ; VI-LABEL: name: test_addrspacecast_p1_to_p0
    ; VI: [[COPY:%[0-9]+]]:_(p1) = COPY $vgpr0_vgpr1
    ; VI: [[BITCAST:%[0-9]+]]:_(p0) = G_BITCAST [[COPY]](p1)
    ; VI: $vgpr0_vgpr1 = COPY [[BITCAST]](p0)
    ; GFX9-LABEL: name: test_addrspacecast_p1_to_p0
    ; GFX9: [[COPY:%[0-9]+]]:_(p1) = COPY $vgpr0_vgpr1
    ; GFX9: [[BITCAST:%[0-9]+]]:_(p0) = G_BITCAST [[COPY]](p1)
    ; GFX9: $vgpr0_vgpr1 = COPY [[BITCAST]](p0)
    %0:_(p1) = COPY $vgpr0_vgpr1
    %1:_(p0) = G_ADDRSPACE_CAST %0
    $vgpr0_vgpr1 = COPY %1
...

---
name: test_addrspacecast_p0_to_p4
body: |
  bb.0:
    liveins: $vgpr0_vgpr1

    ; VI-LABEL: name: test_addrspacecast_p0_to_p4
    ; VI: [[COPY:%[0-9]+]]:_(p0) = COPY $vgpr0_vgpr1
    ; VI: [[BITCAST:%[0-9]+]]:_(p4) = G_BITCAST [[COPY]](p0)
    ; VI: $vgpr0_vgpr1 = COPY [[BITCAST]](p4)
    ; GFX9-LABEL: name: test_addrspacecast_p0_to_p4
    ; GFX9: [[COPY:%[0-9]+]]:_(p0) = COPY $vgpr0_vgpr1
    ; GFX9: [[BITCAST:%[0-9]+]]:_(p4) = G_BITCAST [[COPY]](p0)
    ; GFX9: $vgpr0_vgpr1 = COPY [[BITCAST]](p4)
    %0:_(p0) = COPY $vgpr0_vgpr1
    %1:_(p4) = G_ADDRSPACE_CAST %0
    $vgpr0_vgpr1 = COPY %1
...

---
name: test_addrspacecast_p4_to_p0
body: |
  bb.0:
    liveins: $vgpr0_vgpr1

    ; VI-LABEL: name: test_addrspacecast_p4_to_p0
    ; VI: [[COPY:%[0-9]+]]:_(p4) = COPY $vgpr0_vgpr1
    ; VI: [[BITCAST:%[0-9]+]]:_(p0) = G_BITCAST [[COPY]](p4)
    ; VI: $vgpr0_vgpr1 = COPY [[BITCAST]](p0)
    ; GFX9-LABEL: name: test_addrspacecast_p4_to_p0
    ; GFX9: [[COPY:%[0-9]+]]:_(p4) = COPY $vgpr0_vgpr1
    ; GFX9: [[BITCAST:%[0-9]+]]:_(p0) = G_BITCAST [[COPY]](p4)
    ; GFX9: $vgpr0_vgpr1 = COPY [[BITCAST]](p0)
    %0:_(p4) = COPY $vgpr0_vgpr1
    %1:_(p0) = G_ADDRSPACE_CAST %0
    $vgpr0_vgpr1 = COPY %1
...

---
name: test_addrspacecast_p0_to_p999
body: |
  bb.0:
    liveins: $vgpr0_vgpr1

    ; VI-LABEL: name: test_addrspacecast_p0_to_p999
    ; VI: [[COPY:%[0-9]+]]:_(p0) = COPY $vgpr0_vgpr1
    ; VI: [[BITCAST:%[0-9]+]]:_(p999) = G_BITCAST [[COPY]](p0)
    ; VI: $vgpr0_vgpr1 = COPY [[BITCAST]](p999)
    ; GFX9-LABEL: name: test_addrspacecast_p0_to_p999
    ; GFX9: [[COPY:%[0-9]+]]:_(p0) = COPY $vgpr0_vgpr1
    ; GFX9: [[BITCAST:%[0-9]+]]:_(p999) = G_BITCAST [[COPY]](p0)
    ; GFX9: $vgpr0_vgpr1 = COPY [[BITCAST]](p999)
    %0:_(p0) = COPY $vgpr0_vgpr1
    %1:_(p999) = G_ADDRSPACE_CAST %0
    $vgpr0_vgpr1 = COPY %1
...

---
name: test_addrspacecast_p999_to_p0
body: |
  bb.0:
    liveins: $vgpr0_vgpr1

    ; VI-LABEL: name: test_addrspacecast_p999_to_p0
    ; VI: [[COPY:%[0-9]+]]:_(p999) = COPY $vgpr0_vgpr1
    ; VI: [[BITCAST:%[0-9]+]]:_(p0) = G_BITCAST [[COPY]](p999)
    ; VI: $vgpr0_vgpr1 = COPY [[BITCAST]](p0)
    ; GFX9-LABEL: name: test_addrspacecast_p999_to_p0
    ; GFX9: [[COPY:%[0-9]+]]:_(p999) = COPY $vgpr0_vgpr1
    ; GFX9: [[BITCAST:%[0-9]+]]:_(p0) = G_BITCAST [[COPY]](p999)
    ; GFX9: $vgpr0_vgpr1 = COPY [[BITCAST]](p0)
    %0:_(p999) = COPY $vgpr0_vgpr1
    %1:_(p0) = G_ADDRSPACE_CAST %0
    $vgpr0_vgpr1 = COPY %1
...

---
name: test_addrspacecast_p5_to_p0
body: |
  bb.0:
    liveins: $vgpr0

    ; VI-LABEL: name: test_addrspacecast_p5_to_p0
    ; VI: [[COPY:%[0-9]+]]:_(p5) = COPY $vgpr0
    ; VI: [[C:%[0-9]+]]:_(p5) = G_CONSTANT i32 0
    ; VI: [[C1:%[0-9]+]]:_(p0) = G_CONSTANT i64 0
    ; VI: [[C2:%[0-9]+]]:_(p4) = G_CONSTANT i64 3735928559
    ; VI: [[C3:%[0-9]+]]:_(s64) = G_CONSTANT i64 68
    ; VI: [[GEP:%[0-9]+]]:_(p4) = G_GEP [[C2]], [[C3]](s64)
    ; VI: [[LOAD:%[0-9]+]]:_(s32) = G_LOAD [[GEP]](p4) :: (dereferenceable invariant load 4 from `i8 addrspace(4)* undef` + 68, addrspace 4)
    ; VI: [[ICMP:%[0-9]+]]:_(s1) = G_ICMP intpred(ne), [[COPY]](p5), [[C]]
    ; VI: [[PTRTOINT:%[0-9]+]]:_(s32) = G_PTRTOINT [[COPY]](p5)
    ; VI: [[MV:%[0-9]+]]:_(p0) = G_MERGE_VALUES [[PTRTOINT]](s32), [[LOAD]](s32)
    ; VI: [[SELECT:%[0-9]+]]:_(p0) = G_SELECT [[ICMP]](s1), [[MV]], [[C1]]
    ; VI: $vgpr0_vgpr1 = COPY [[SELECT]](p0)
    ; GFX9-LABEL: name: test_addrspacecast_p5_to_p0
    ; GFX9: [[COPY:%[0-9]+]]:_(p5) = COPY $vgpr0
    ; GFX9: [[C:%[0-9]+]]:_(p5) = G_CONSTANT i32 0
    ; GFX9: [[C1:%[0-9]+]]:_(p0) = G_CONSTANT i64 0
    ; GFX9: [[S_GETREG_B32_:%[0-9]+]]:sreg_32(s32) = S_GETREG_B32 30735
    ; GFX9: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 16
    ; GFX9: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[S_GETREG_B32_]], [[C2]](s32)
    ; GFX9: [[ICMP:%[0-9]+]]:_(s1) = G_ICMP intpred(ne), [[COPY]](p5), [[C]]
    ; GFX9: [[PTRTOINT:%[0-9]+]]:_(s32) = G_PTRTOINT [[COPY]](p5)
    ; GFX9: [[MV:%[0-9]+]]:_(p0) = G_MERGE_VALUES [[PTRTOINT]](s32), [[SHL]](s32)
    ; GFX9: [[SELECT:%[0-9]+]]:_(p0) = G_SELECT [[ICMP]](s1), [[MV]], [[C1]]
    ; GFX9: $vgpr0_vgpr1 = COPY [[SELECT]](p0)
    %0:_(p5) = COPY $vgpr0
    %1:_(p0) = G_ADDRSPACE_CAST %0
    $vgpr0_vgpr1 = COPY %1
...

---
name: test_addrspacecast_p0_to_p5
body: |
  bb.0:
    liveins: $vgpr0_vgpr1

    ; VI-LABEL: name: test_addrspacecast_p0_to_p5
    ; VI: [[COPY:%[0-9]+]]:_(p0) = COPY $vgpr0_vgpr1
    ; VI: [[C:%[0-9]+]]:_(p5) = G_CONSTANT i32 0
    ; VI: [[C1:%[0-9]+]]:_(p0) = G_CONSTANT i64 0
    ; VI: [[EXTRACT:%[0-9]+]]:_(p5) = G_EXTRACT [[COPY]](p0), 0
    ; VI: [[ICMP:%[0-9]+]]:_(s1) = G_ICMP intpred(ne), [[COPY]](p0), [[C1]]
    ; VI: [[SELECT:%[0-9]+]]:_(p5) = G_SELECT [[ICMP]](s1), [[EXTRACT]], [[C]]
    ; VI: $vgpr0 = COPY [[SELECT]](p5)
    ; GFX9-LABEL: name: test_addrspacecast_p0_to_p5
    ; GFX9: [[COPY:%[0-9]+]]:_(p0) = COPY $vgpr0_vgpr1
    ; GFX9: [[C:%[0-9]+]]:_(p5) = G_CONSTANT i32 0
    ; GFX9: [[C1:%[0-9]+]]:_(p0) = G_CONSTANT i64 0
    ; GFX9: [[EXTRACT:%[0-9]+]]:_(p5) = G_EXTRACT [[COPY]](p0), 0
    ; GFX9: [[ICMP:%[0-9]+]]:_(s1) = G_ICMP intpred(ne), [[COPY]](p0), [[C1]]
    ; GFX9: [[SELECT:%[0-9]+]]:_(p5) = G_SELECT [[ICMP]](s1), [[EXTRACT]], [[C]]
    ; GFX9: $vgpr0 = COPY [[SELECT]](p5)
    %0:_(p0) = COPY $vgpr0_vgpr1
    %1:_(p5) = G_ADDRSPACE_CAST %0
    $vgpr0 = COPY %1
...

---
name: test_addrspacecast_p3_to_p0
body: |
  bb.0:
    liveins: $vgpr0

    ; VI-LABEL: name: test_addrspacecast_p3_to_p0
    ; VI: [[COPY:%[0-9]+]]:_(p3) = COPY $vgpr0
    ; VI: [[C:%[0-9]+]]:_(p3) = G_CONSTANT i32 -1
    ; VI: [[C1:%[0-9]+]]:_(p0) = G_CONSTANT i64 0
    ; VI: [[C2:%[0-9]+]]:_(p4) = G_CONSTANT i64 3735928559
    ; VI: [[C3:%[0-9]+]]:_(s64) = G_CONSTANT i64 68
    ; VI: [[GEP:%[0-9]+]]:_(p4) = G_GEP [[C2]], [[C3]](s64)
    ; VI: [[LOAD:%[0-9]+]]:_(s32) = G_LOAD [[GEP]](p4) :: (dereferenceable invariant load 4 from `i8 addrspace(4)* undef` + 68, addrspace 4)
    ; VI: [[ICMP:%[0-9]+]]:_(s1) = G_ICMP intpred(ne), [[COPY]](p3), [[C]]
    ; VI: [[PTRTOINT:%[0-9]+]]:_(s32) = G_PTRTOINT [[COPY]](p3)
    ; VI: [[MV:%[0-9]+]]:_(p0) = G_MERGE_VALUES [[PTRTOINT]](s32), [[LOAD]](s32)
    ; VI: [[SELECT:%[0-9]+]]:_(p0) = G_SELECT [[ICMP]](s1), [[MV]], [[C1]]
    ; VI: $vgpr0_vgpr1 = COPY [[SELECT]](p0)
    ; GFX9-LABEL: name: test_addrspacecast_p3_to_p0
    ; GFX9: [[COPY:%[0-9]+]]:_(p3) = COPY $vgpr0
    ; GFX9: [[C:%[0-9]+]]:_(p3) = G_CONSTANT i32 -1
    ; GFX9: [[C1:%[0-9]+]]:_(p0) = G_CONSTANT i64 0
    ; GFX9: [[S_GETREG_B32_:%[0-9]+]]:sreg_32(s32) = S_GETREG_B32 30735
    ; GFX9: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 16
    ; GFX9: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[S_GETREG_B32_]], [[C2]](s32)
    ; GFX9: [[ICMP:%[0-9]+]]:_(s1) = G_ICMP intpred(ne), [[COPY]](p3), [[C]]
    ; GFX9: [[PTRTOINT:%[0-9]+]]:_(s32) = G_PTRTOINT [[COPY]](p3)
    ; GFX9: [[MV:%[0-9]+]]:_(p0) = G_MERGE_VALUES [[PTRTOINT]](s32), [[SHL]](s32)
    ; GFX9: [[SELECT:%[0-9]+]]:_(p0) = G_SELECT [[ICMP]](s1), [[MV]], [[C1]]
    ; GFX9: $vgpr0_vgpr1 = COPY [[SELECT]](p0)
    %0:_(p3) = COPY $vgpr0
    %1:_(p0) = G_ADDRSPACE_CAST %0
    $vgpr0_vgpr1 = COPY %1
...

---
name: test_addrspacecast_p0_to_p3
body: |
  bb.0:
    liveins: $vgpr0_vgpr1

    ; VI-LABEL: name: test_addrspacecast_p0_to_p3
    ; VI: [[COPY:%[0-9]+]]:_(p0) = COPY $vgpr0_vgpr1
    ; VI: [[C:%[0-9]+]]:_(p3) = G_CONSTANT i32 -1
    ; VI: [[C1:%[0-9]+]]:_(p0) = G_CONSTANT i64 0
    ; VI: [[EXTRACT:%[0-9]+]]:_(p3) = G_EXTRACT [[COPY]](p0), 0
    ; VI: [[ICMP:%[0-9]+]]:_(s1) = G_ICMP intpred(ne), [[COPY]](p0), [[C1]]
    ; VI: [[SELECT:%[0-9]+]]:_(p3) = G_SELECT [[ICMP]](s1), [[EXTRACT]], [[C]]
    ; VI: $vgpr0 = COPY [[SELECT]](p3)
    ; GFX9-LABEL: name: test_addrspacecast_p0_to_p3
    ; GFX9: [[COPY:%[0-9]+]]:_(p0) = COPY $vgpr0_vgpr1
    ; GFX9: [[C:%[0-9]+]]:_(p3) = G_CONSTANT i32 -1
    ; GFX9: [[C1:%[0-9]+]]:_(p0) = G_CONSTANT i64 0
    ; GFX9: [[EXTRACT:%[0-9]+]]:_(p3) = G_EXTRACT [[COPY]](p0), 0
    ; GFX9: [[ICMP:%[0-9]+]]:_(s1) = G_ICMP intpred(ne), [[COPY]](p0), [[C1]]
    ; GFX9: [[SELECT:%[0-9]+]]:_(p3) = G_SELECT [[ICMP]](s1), [[EXTRACT]], [[C]]
    ; GFX9: $vgpr0 = COPY [[SELECT]](p3)
    %0:_(p0) = COPY $vgpr0_vgpr1
    %1:_(p3) = G_ADDRSPACE_CAST %0
    $vgpr0 = COPY %1
...

---
name: test_addrspacecast_v2p0_to_v2p1
body: |
  bb.0:
    liveins: $vgpr0_vgpr1_vgpr2_vgpr3

    ; VI-LABEL: name: test_addrspacecast_v2p0_to_v2p1
    ; VI: [[COPY:%[0-9]+]]:_(<2 x p0>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3
    ; VI: [[UV:%[0-9]+]]:_(p0), [[UV1:%[0-9]+]]:_(p0) = G_UNMERGE_VALUES [[COPY]](<2 x p0>)
    ; VI: [[BITCAST:%[0-9]+]]:_(p1) = G_BITCAST [[UV]](p0)
    ; VI: [[BITCAST1:%[0-9]+]]:_(p1) = G_BITCAST [[UV1]](p0)
    ; VI: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x p1>) = G_BUILD_VECTOR [[BITCAST]](p1), [[BITCAST1]](p1)
    ; VI: $vgpr0_vgpr1_vgpr2_vgpr3 = COPY [[BUILD_VECTOR]](<2 x p1>)
    ; GFX9-LABEL: name: test_addrspacecast_v2p0_to_v2p1
    ; GFX9: [[COPY:%[0-9]+]]:_(<2 x p0>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3
    ; GFX9: [[UV:%[0-9]+]]:_(p0), [[UV1:%[0-9]+]]:_(p0) = G_UNMERGE_VALUES [[COPY]](<2 x p0>)
    ; GFX9: [[BITCAST:%[0-9]+]]:_(p1) = G_BITCAST [[UV]](p0)
    ; GFX9: [[BITCAST1:%[0-9]+]]:_(p1) = G_BITCAST [[UV1]](p0)
    ; GFX9: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x p1>) = G_BUILD_VECTOR [[BITCAST]](p1), [[BITCAST1]](p1)
    ; GFX9: $vgpr0_vgpr1_vgpr2_vgpr3 = COPY [[BUILD_VECTOR]](<2 x p1>)
    %0:_(<2 x p0>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3
    %1:_(<2 x p1>) = G_ADDRSPACE_CAST %0
    $vgpr0_vgpr1_vgpr2_vgpr3 = COPY %1
...

---
name: test_addrspacecast_v2p1_to_v2p0
body: |
  bb.0:
    liveins: $vgpr0_vgpr1_vgpr2_vgpr3

    ; VI-LABEL: name: test_addrspacecast_v2p1_to_v2p0
    ; VI: [[COPY:%[0-9]+]]:_(<2 x p1>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3
    ; VI: [[UV:%[0-9]+]]:_(p1), [[UV1:%[0-9]+]]:_(p1) = G_UNMERGE_VALUES [[COPY]](<2 x p1>)
    ; VI: [[BITCAST:%[0-9]+]]:_(p0) = G_BITCAST [[UV]](p1)
    ; VI: [[BITCAST1:%[0-9]+]]:_(p0) = G_BITCAST [[UV1]](p1)
    ; VI: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x p0>) = G_BUILD_VECTOR [[BITCAST]](p0), [[BITCAST1]](p0)
    ; VI: $vgpr0_vgpr1_vgpr2_vgpr3 = COPY [[BUILD_VECTOR]](<2 x p0>)
    ; GFX9-LABEL: name: test_addrspacecast_v2p1_to_v2p0
    ; GFX9: [[COPY:%[0-9]+]]:_(<2 x p1>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3
    ; GFX9: [[UV:%[0-9]+]]:_(p1), [[UV1:%[0-9]+]]:_(p1) = G_UNMERGE_VALUES [[COPY]](<2 x p1>)
    ; GFX9: [[BITCAST:%[0-9]+]]:_(p0) = G_BITCAST [[UV]](p1)
    ; GFX9: [[BITCAST1:%[0-9]+]]:_(p0) = G_BITCAST [[UV1]](p1)
    ; GFX9: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x p0>) = G_BUILD_VECTOR [[BITCAST]](p0), [[BITCAST1]](p0)
    ; GFX9: $vgpr0_vgpr1_vgpr2_vgpr3 = COPY [[BUILD_VECTOR]](<2 x p0>)
    %0:_(<2 x p1>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3
    %1:_(<2 x p0>) = G_ADDRSPACE_CAST %0
    $vgpr0_vgpr1_vgpr2_vgpr3 = COPY %1
...

---
name: test_addrspacecast_v2p0_to_v2p3
body: |
  bb.0:
    liveins: $vgpr0_vgpr1_vgpr2_vgpr3

    ; VI-LABEL: name: test_addrspacecast_v2p0_to_v2p3
    ; VI: [[COPY:%[0-9]+]]:_(<2 x p0>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3
    ; VI: [[UV:%[0-9]+]]:_(p0), [[UV1:%[0-9]+]]:_(p0) = G_UNMERGE_VALUES [[COPY]](<2 x p0>)
    ; VI: [[C:%[0-9]+]]:_(p3) = G_CONSTANT i32 -1
    ; VI: [[C1:%[0-9]+]]:_(p0) = G_CONSTANT i64 0
    ; VI: [[EXTRACT:%[0-9]+]]:_(p3) = G_EXTRACT [[UV]](p0), 0
    ; VI: [[ICMP:%[0-9]+]]:_(s1) = G_ICMP intpred(ne), [[UV]](p0), [[C1]]
    ; VI: [[SELECT:%[0-9]+]]:_(p3) = G_SELECT [[ICMP]](s1), [[EXTRACT]], [[C]]
    ; VI: [[EXTRACT1:%[0-9]+]]:_(p3) = G_EXTRACT [[UV1]](p0), 0
    ; VI: [[ICMP1:%[0-9]+]]:_(s1) = G_ICMP intpred(ne), [[UV1]](p0), [[C1]]
    ; VI: [[SELECT1:%[0-9]+]]:_(p3) = G_SELECT [[ICMP1]](s1), [[EXTRACT1]], [[C]]
    ; VI: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x p3>) = G_BUILD_VECTOR [[SELECT]](p3), [[SELECT1]](p3)
    ; VI: $vgpr0_vgpr1 = COPY [[BUILD_VECTOR]](<2 x p3>)
    ; GFX9-LABEL: name: test_addrspacecast_v2p0_to_v2p3
    ; GFX9: [[COPY:%[0-9]+]]:_(<2 x p0>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3
    ; GFX9: [[UV:%[0-9]+]]:_(p0), [[UV1:%[0-9]+]]:_(p0) = G_UNMERGE_VALUES [[COPY]](<2 x p0>)
    ; GFX9: [[C:%[0-9]+]]:_(p3) = G_CONSTANT i32 -1
    ; GFX9: [[C1:%[0-9]+]]:_(p0) = G_CONSTANT i64 0
    ; GFX9: [[EXTRACT:%[0-9]+]]:_(p3) = G_EXTRACT [[UV]](p0), 0
    ; GFX9: [[ICMP:%[0-9]+]]:_(s1) = G_ICMP intpred(ne), [[UV]](p0), [[C1]]
    ; GFX9: [[SELECT:%[0-9]+]]:_(p3) = G_SELECT [[ICMP]](s1), [[EXTRACT]], [[C]]
    ; GFX9: [[EXTRACT1:%[0-9]+]]:_(p3) = G_EXTRACT [[UV1]](p0), 0
    ; GFX9: [[ICMP1:%[0-9]+]]:_(s1) = G_ICMP intpred(ne), [[UV1]](p0), [[C1]]
    ; GFX9: [[SELECT1:%[0-9]+]]:_(p3) = G_SELECT [[ICMP1]](s1), [[EXTRACT1]], [[C]]
    ; GFX9: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x p3>) = G_BUILD_VECTOR [[SELECT]](p3), [[SELECT1]](p3)
    ; GFX9: $vgpr0_vgpr1 = COPY [[BUILD_VECTOR]](<2 x p3>)
    %0:_(<2 x p0>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3
    %1:_(<2 x p3>) = G_ADDRSPACE_CAST %0
    $vgpr0_vgpr1 = COPY %1
...

---
name: test_addrspacecast_v2p3_to_v2p0
body: |
  bb.0:
    liveins: $vgpr0_vgpr1

    ; VI-LABEL: name: test_addrspacecast_v2p3_to_v2p0
    ; VI: [[COPY:%[0-9]+]]:_(<2 x p3>) = COPY $vgpr0_vgpr1
    ; VI: [[UV:%[0-9]+]]:_(p3), [[UV1:%[0-9]+]]:_(p3) = G_UNMERGE_VALUES [[COPY]](<2 x p3>)
    ; VI: [[C:%[0-9]+]]:_(p3) = G_CONSTANT i32 -1
    ; VI: [[C1:%[0-9]+]]:_(p0) = G_CONSTANT i64 0
    ; VI: [[C2:%[0-9]+]]:_(p4) = G_CONSTANT i64 3735928559
    ; VI: [[COPY1:%[0-9]+]]:_(p4) = COPY [[C2]](p4)
    ; VI: [[C3:%[0-9]+]]:_(s64) = G_CONSTANT i64 68
    ; VI: [[GEP:%[0-9]+]]:_(p4) = G_GEP [[COPY1]], [[C3]](s64)
    ; VI: [[LOAD:%[0-9]+]]:_(s32) = G_LOAD [[GEP]](p4) :: (dereferenceable invariant load 4 from `i8 addrspace(4)* undef` + 68, addrspace 4)
    ; VI: [[ICMP:%[0-9]+]]:_(s1) = G_ICMP intpred(ne), [[UV]](p3), [[C]]
    ; VI: [[PTRTOINT:%[0-9]+]]:_(s32) = G_PTRTOINT [[UV]](p3)
    ; VI: [[MV:%[0-9]+]]:_(p0) = G_MERGE_VALUES [[PTRTOINT]](s32), [[LOAD]](s32)
    ; VI: [[SELECT:%[0-9]+]]:_(p0) = G_SELECT [[ICMP]](s1), [[MV]], [[C1]]
    ; VI: [[GEP1:%[0-9]+]]:_(p4) = G_GEP [[C2]], [[C3]](s64)
    ; VI: [[LOAD1:%[0-9]+]]:_(s32) = G_LOAD [[GEP1]](p4) :: (dereferenceable invariant load 4 from `i8 addrspace(4)* undef` + 68, addrspace 4)
    ; VI: [[ICMP1:%[0-9]+]]:_(s1) = G_ICMP intpred(ne), [[UV1]](p3), [[C]]
    ; VI: [[PTRTOINT1:%[0-9]+]]:_(s32) = G_PTRTOINT [[UV1]](p3)
    ; VI: [[MV1:%[0-9]+]]:_(p0) = G_MERGE_VALUES [[PTRTOINT1]](s32), [[LOAD1]](s32)
    ; VI: [[SELECT1:%[0-9]+]]:_(p0) = G_SELECT [[ICMP1]](s1), [[MV1]], [[C1]]
    ; VI: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x p0>) = G_BUILD_VECTOR [[SELECT]](p0), [[SELECT1]](p0)
    ; VI: $vgpr0_vgpr1_vgpr2_vgpr3 = COPY [[BUILD_VECTOR]](<2 x p0>)
    ; GFX9-LABEL: name: test_addrspacecast_v2p3_to_v2p0
    ; GFX9: [[COPY:%[0-9]+]]:_(<2 x p3>) = COPY $vgpr0_vgpr1
    ; GFX9: [[UV:%[0-9]+]]:_(p3), [[UV1:%[0-9]+]]:_(p3) = G_UNMERGE_VALUES [[COPY]](<2 x p3>)
    ; GFX9: [[C:%[0-9]+]]:_(p3) = G_CONSTANT i32 -1
    ; GFX9: [[C1:%[0-9]+]]:_(p0) = G_CONSTANT i64 0
    ; GFX9: [[S_GETREG_B32_:%[0-9]+]]:sreg_32(s32) = S_GETREG_B32 30735
    ; GFX9: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 16
    ; GFX9: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[S_GETREG_B32_]], [[C2]](s32)
    ; GFX9: [[ICMP:%[0-9]+]]:_(s1) = G_ICMP intpred(ne), [[UV]](p3), [[C]]
    ; GFX9: [[PTRTOINT:%[0-9]+]]:_(s32) = G_PTRTOINT [[UV]](p3)
    ; GFX9: [[MV:%[0-9]+]]:_(p0) = G_MERGE_VALUES [[PTRTOINT]](s32), [[SHL]](s32)
    ; GFX9: [[SELECT:%[0-9]+]]:_(p0) = G_SELECT [[ICMP]](s1), [[MV]], [[C1]]
    ; GFX9: [[S_GETREG_B32_1:%[0-9]+]]:sreg_32(s32) = S_GETREG_B32 30735
    ; GFX9: [[SHL1:%[0-9]+]]:_(s32) = G_SHL [[S_GETREG_B32_1]], [[C2]](s32)
    ; GFX9: [[ICMP1:%[0-9]+]]:_(s1) = G_ICMP intpred(ne), [[UV1]](p3), [[C]]
    ; GFX9: [[PTRTOINT1:%[0-9]+]]:_(s32) = G_PTRTOINT [[UV1]](p3)
    ; GFX9: [[MV1:%[0-9]+]]:_(p0) = G_MERGE_VALUES [[PTRTOINT1]](s32), [[SHL1]](s32)
    ; GFX9: [[SELECT1:%[0-9]+]]:_(p0) = G_SELECT [[ICMP1]](s1), [[MV1]], [[C1]]
    ; GFX9: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x p0>) = G_BUILD_VECTOR [[SELECT]](p0), [[SELECT1]](p0)
    ; GFX9: $vgpr0_vgpr1_vgpr2_vgpr3 = COPY [[BUILD_VECTOR]](<2 x p0>)
    %0:_(<2 x p3>) = COPY $vgpr0_vgpr1
    %1:_(<2 x p0>) = G_ADDRSPACE_CAST %0
    $vgpr0_vgpr1_vgpr2_vgpr3 = COPY %1
...