# REQUIRES: amdgpu-registered-target
# RUN: llvm-reduce -abort-on-invalid-reduction -mtriple=amdgcn-amd-amdhsa --test FileCheck --test-arg --check-prefix=CHECK-INTERESTINGNESS --test-arg %s --test-arg --input-file %s -o %t 2> %t.log
# RUN: FileCheck --match-full-lines --check-prefix=RESULT %s < %t
# Verify that reduction works with generic virtual registers, and the
# properties like register banks, types and names.
# CHECK-INTERESTINGNESS: G_IMPLICIT_DEF
# CHECK-INTERESTINGNESS: G_BITCAST
# CHECK-INTERESTINGNESS: S_NOP 0, implicit %unused_load_ptr
# CHECK-INTERESTINGNESS: G_ADD
# CHECK-INTERESTINGNESS: G_IMPLICIT_DEF
# CHECK-INTERESTINGNESS: G_STORE
# CHECK-INTERESTINGNESS: S_ENDPGM 0, implicit %add(s64), implicit %v1(<2 x s16>), implicit %{{[0-9]+}}(s64)
# RESULT: %{{[0-9]+}}:vgpr(s32) = G_IMPLICIT_DEF
# RESULT-NEXT: %{{[0-9]+}}:vreg_64(s64) = IMPLICIT_DEF
# RESULT-NEXT: %{{[0-9]+}}:_(<2 x s32>) = G_IMPLICIT_DEF
# RESULT-NEXT: %v1:vgpr(<2 x s16>) = G_IMPLICIT_DEF
# RESULT-NEXT: %unused_load_ptr:sgpr(p1) = G_IMPLICIT_DEF
# RESULT-NEXT: %aoeu:_(s64) = G_BITCAST %{{[0-9]+}}(<2 x s32>)
# RESULT-NEXT: S_NOP 0, implicit %unused_load_ptr(p1)
# RESULT-NEXT: %add:_(s64) = G_ADD %aoeu, %aoeu
# RESULT-NEXT: %ptr:_(p1) = G_IMPLICIT_DEF
# RESULT-NEXT: G_STORE %{{[0-9]+}}(s32), %ptr(p1) :: (store (s32), addrspace 1)
# RESULT-NEXT: S_ENDPGM 0, implicit %add(s64), implicit %v1(<2 x s16>), implicit %14(s64)
---
name: f
tracksRegLiveness: true
body: |
bb.0:
liveins: $vgpr0, $vgpr1, $vgpr2_vgpr3
%v0:vgpr(s32) = COPY $vgpr0
%v1:vgpr(<2 x s16>) = COPY $vgpr1
%unused_load_ptr:sgpr(p1) = G_IMPLICIT_DEF
%unused_load:_(s64) = G_LOAD %unused_load_ptr :: (load (s64), addrspace 1)
G_STORE %unused_load, %unused_load_ptr :: (store (s64), addrspace 1)
%2:vreg_64(s64) = COPY $vgpr2_vgpr3
%arst:_(<2 x s32>) = G_IMPLICIT_DEF
%aoeu:_(s64) = G_BITCAST %arst
S_NOP 0, implicit %unused_load_ptr
%add:_(s64) = G_ADD %aoeu, %aoeu
%ptr:_(p1) = G_IMPLICIT_DEF
G_STORE %v0, %ptr :: (store 4, addrspace 1)
S_ENDPGM 0, implicit %add, implicit %v1, implicit %2
...