# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py # RUN: llc -O0 -mtriple=amdgcn-mesa-mesa3d -mcpu=tahiti -run-pass=legalizer -global-isel-abort=0 %s -o - | FileCheck %s # RUN: llc -O0 -mtriple=amdgcn-mesa-mesa3d -mcpu=fiji -run-pass=legalizer -global-isel-abort=0 %s -o - | FileCheck %s --- name: test_implicit_def_s1 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_s1 ; CHECK: [[DEF:%[0-9]+]]:_(s32) = G_IMPLICIT_DEF ; CHECK: $vgpr0 = COPY [[DEF]](s32) %0:_(s1) = G_IMPLICIT_DEF %1:_(s32) = G_ANYEXT %0 $vgpr0 = COPY %1 ... --- name: test_implicit_def_s7 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_s7 ; CHECK: [[DEF:%[0-9]+]]:_(s32) = G_IMPLICIT_DEF ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY [[DEF]](s32) ; CHECK: $vgpr0 = COPY [[COPY]](s32) %0:_(s7) = G_IMPLICIT_DEF %1:_(s32) = G_ANYEXT %0 $vgpr0 = COPY %1 ... --- name: test_implicit_def_s8 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_s8 ; CHECK: [[DEF:%[0-9]+]]:_(s32) = G_IMPLICIT_DEF ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY [[DEF]](s32) ; CHECK: $vgpr0 = COPY [[COPY]](s32) %0:_(s8) = G_IMPLICIT_DEF %1:_(s32) = G_ANYEXT %0 $vgpr0 = COPY %1 ... --- name: test_implicit_def_s16 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_s16 ; CHECK: [[DEF:%[0-9]+]]:_(s32) = G_IMPLICIT_DEF ; CHECK: $vgpr0 = COPY [[DEF]](s32) %0:_(s16) = G_IMPLICIT_DEF %1:_(s32) = G_ANYEXT %0 $vgpr0 = COPY %1 ... --- name: test_implicit_def_s32 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_s32 ; CHECK: [[DEF:%[0-9]+]]:_(s32) = G_IMPLICIT_DEF ; CHECK: $vgpr0 = COPY [[DEF]](s32) %0:_(s32) = G_IMPLICIT_DEF $vgpr0 = COPY %0 ... --- name: test_implicit_def_48 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_48 ; CHECK: [[DEF:%[0-9]+]]:_(s64) = G_IMPLICIT_DEF ; CHECK: [[COPY:%[0-9]+]]:_(s64) = COPY [[DEF]](s64) ; CHECK: $vgpr0_vgpr1 = COPY [[COPY]](s64) %0:_(s48) = G_IMPLICIT_DEF %1:_(s64) = G_ANYEXT %0 $vgpr0_vgpr1 = COPY %1 ... --- name: test_implicit_def_s64 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_s64 ; CHECK: [[DEF:%[0-9]+]]:_(s64) = G_IMPLICIT_DEF ; CHECK: $vgpr0_vgpr1 = COPY [[DEF]](s64) %0:_(s64) = G_IMPLICIT_DEF $vgpr0_vgpr1 = COPY %0 ... --- name: test_implicit_def_s65 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_s65 ; CHECK: [[DEF:%[0-9]+]]:_(s128) = G_IMPLICIT_DEF ; CHECK: [[TRUNC:%[0-9]+]]:_(s96) = G_TRUNC [[DEF]](s128) ; CHECK: $vgpr0_vgpr1_vgpr2 = COPY [[TRUNC]](s96) %0:_(s65) = G_IMPLICIT_DEF %1:_(s96) = G_ANYEXT %0 $vgpr0_vgpr1_vgpr2 = COPY %1 ... --- name: test_implicit_def_s128 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_s128 ; CHECK: [[DEF:%[0-9]+]]:_(s128) = G_IMPLICIT_DEF ; CHECK: $vgpr0_vgpr1_vgpr2_vgpr3 = COPY [[DEF]](s128) %0:_(s128) = G_IMPLICIT_DEF $vgpr0_vgpr1_vgpr2_vgpr3 = COPY %0 ... --- name: test_implicit_def_256 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_256 ; CHECK: [[DEF:%[0-9]+]]:_(s256) = G_IMPLICIT_DEF ; CHECK: $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7 = COPY [[DEF]](s256) %0:_(s256) = G_IMPLICIT_DEF $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7 = COPY %0 ... --- name: test_implicit_def_s448 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_s448 ; CHECK: [[DEF:%[0-9]+]]:_(s448) = G_IMPLICIT_DEF ; CHECK: [[EXTRACT:%[0-9]+]]:_(s32) = G_EXTRACT [[DEF]](s448), 0 ; CHECK: $vgpr0 = COPY [[EXTRACT]](s32) %0:_(s448) = G_IMPLICIT_DEF %1:_(s32) = G_EXTRACT %0, 0 $vgpr0 = COPY %1 ... --- name: test_implicit_def_s512 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_s512 ; CHECK: [[DEF:%[0-9]+]]:_(s512) = G_IMPLICIT_DEF ; CHECK: [[EXTRACT:%[0-9]+]]:_(s32) = G_EXTRACT [[DEF]](s512), 0 ; CHECK: $vgpr0 = COPY [[EXTRACT]](s32) %0:_(s512) = G_IMPLICIT_DEF %1:_(s32) = G_EXTRACT %0, 0 $vgpr0 = COPY %1 ... --- name: test_implicit_def_s1024 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_s1024 ; CHECK: [[DEF:%[0-9]+]]:_(s1024) = G_IMPLICIT_DEF ; CHECK: [[EXTRACT:%[0-9]+]]:_(s32) = G_EXTRACT [[DEF]](s1024), 0 ; CHECK: $vgpr0 = COPY [[EXTRACT]](s32) %0:_(s1024) = G_IMPLICIT_DEF %1:_(s32) = G_EXTRACT %0, 0 $vgpr0 = COPY %1 ... --- name: test_implicit_def_v2s32 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_v2s32 ; CHECK: [[DEF:%[0-9]+]]:_(<2 x s32>) = G_IMPLICIT_DEF ; CHECK: $vgpr0_vgpr1 = COPY [[DEF]](<2 x s32>) %0:_(<2 x s32>) = G_IMPLICIT_DEF $vgpr0_vgpr1 = COPY %0 ... --- name: test_implicit_def_v3s32 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_v3s32 ; CHECK: [[DEF:%[0-9]+]]:_(<3 x s32>) = G_IMPLICIT_DEF ; CHECK: $vgpr0_vgpr1_vgpr2 = COPY [[DEF]](<3 x s32>) %0:_(<3 x s32>) = G_IMPLICIT_DEF $vgpr0_vgpr1_vgpr2 = COPY %0 ... --- name: test_implicit_def_v4s32 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_v4s32 ; CHECK: [[DEF:%[0-9]+]]:_(<4 x s32>) = G_IMPLICIT_DEF ; CHECK: $vgpr0_vgpr1_vgpr2_vgpr3 = COPY [[DEF]](<4 x s32>) %0:_(<4 x s32>) = G_IMPLICIT_DEF $vgpr0_vgpr1_vgpr2_vgpr3 = COPY %0 ... --- name: test_implicit_def_v5s32 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_v5s32 ; CHECK: [[DEF:%[0-9]+]]:_(<5 x s32>) = G_IMPLICIT_DEF ; CHECK: S_NOP 0, implicit [[DEF]](<5 x s32>) %0:_(<5 x s32>) = G_IMPLICIT_DEF S_NOP 0, implicit %0 ... --- name: test_implicit_def_v6s32 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_v6s32 ; CHECK: [[DEF:%[0-9]+]]:_(<6 x s32>) = G_IMPLICIT_DEF ; CHECK: S_NOP 0, implicit [[DEF]](<6 x s32>) %0:_(<6 x s32>) = G_IMPLICIT_DEF S_NOP 0, implicit %0 ... --- name: test_implicit_def_v7s32 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_v7s32 ; CHECK: [[DEF:%[0-9]+]]:_(<7 x s32>) = G_IMPLICIT_DEF ; CHECK: S_NOP 0, implicit [[DEF]](<7 x s32>) %0:_(<7 x s32>) = G_IMPLICIT_DEF S_NOP 0, implicit %0 ... --- name: test_implicit_def_v8s32 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_v8s32 ; CHECK: [[DEF:%[0-9]+]]:_(<8 x s32>) = G_IMPLICIT_DEF ; CHECK: $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7 = COPY [[DEF]](<8 x s32>) %0:_(<8 x s32>) = G_IMPLICIT_DEF $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7 = COPY %0 ... --- name: test_implicit_def_v16s32 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_v16s32 ; CHECK: [[DEF:%[0-9]+]]:_(<16 x s32>) = G_IMPLICIT_DEF ; CHECK: $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7_vgpr8_vgpr9_vgpr10_vgpr11_vgpr12_vgpr13_vgpr14_vgpr15 = COPY [[DEF]](<16 x s32>) %0:_(<16 x s32>) = G_IMPLICIT_DEF $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5_vgpr6_vgpr7_vgpr8_vgpr9_vgpr10_vgpr11_vgpr12_vgpr13_vgpr14_vgpr15 = COPY %0 ... --- name: test_implicit_def_v17s32 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_v17s32 ; CHECK: [[DEF:%[0-9]+]]:_(<17 x s32>) = G_IMPLICIT_DEF ; CHECK: S_NOP 0, implicit [[DEF]](<17 x s32>) %0:_(<17 x s32>) = G_IMPLICIT_DEF S_NOP 0, implicit %0 ... --- name: test_implicit_def_v32s32 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_v32s32 ; CHECK: [[DEF:%[0-9]+]]:_(<32 x s32>) = G_IMPLICIT_DEF ; CHECK: S_NOP 0, implicit [[DEF]](<32 x s32>) %0:_(<32 x s32>) = G_IMPLICIT_DEF S_NOP 0, implicit %0 ... --- name: test_implicit_def_v2s1 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_v2s1 ; CHECK: [[DEF:%[0-9]+]]:_(<2 x s32>) = G_IMPLICIT_DEF ; CHECK: [[COPY:%[0-9]+]]:_(<2 x s32>) = COPY [[DEF]](<2 x s32>) ; CHECK: $vgpr0_vgpr1 = COPY [[COPY]](<2 x s32>) %0:_(<2 x s1>) = G_IMPLICIT_DEF %1:_(<2 x s32>) = G_ANYEXT %0 $vgpr0_vgpr1 = COPY %1 ... --- name: test_implicit_def_v3s1 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_v3s1 ; CHECK: [[DEF:%[0-9]+]]:_(<4 x s32>) = G_IMPLICIT_DEF ; CHECK: [[TRUNC:%[0-9]+]]:_(<4 x s1>) = G_TRUNC [[DEF]](<4 x s32>) ; CHECK: [[EXTRACT:%[0-9]+]]:_(<3 x s1>) = G_EXTRACT [[TRUNC]](<4 x s1>), 0 ; CHECK: [[UV:%[0-9]+]]:_(s1), [[UV1:%[0-9]+]]:_(s1), [[UV2:%[0-9]+]]:_(s1) = G_UNMERGE_VALUES [[EXTRACT]](<3 x s1>) ; CHECK: [[ANYEXT:%[0-9]+]]:_(s32) = G_ANYEXT [[UV]](s1) ; CHECK: [[ANYEXT1:%[0-9]+]]:_(s32) = G_ANYEXT [[UV1]](s1) ; CHECK: [[ANYEXT2:%[0-9]+]]:_(s32) = G_ANYEXT [[UV2]](s1) ; CHECK: [[BUILD_VECTOR:%[0-9]+]]:_(<3 x s32>) = G_BUILD_VECTOR [[ANYEXT]](s32), [[ANYEXT1]](s32), [[ANYEXT2]](s32) ; CHECK: $vgpr0_vgpr1_vgpr2 = COPY [[BUILD_VECTOR]](<3 x s32>) %0:_(<3 x s1>) = G_IMPLICIT_DEF %1:_(<3 x s32>) = G_ANYEXT %0 $vgpr0_vgpr1_vgpr2 = COPY %1 ... --- name: test_implicit_def_v2s8 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_v2s8 ; CHECK: [[DEF:%[0-9]+]]:_(<2 x s32>) = G_IMPLICIT_DEF ; CHECK: [[COPY:%[0-9]+]]:_(<2 x s32>) = COPY [[DEF]](<2 x s32>) ; CHECK: $vgpr0_vgpr1 = COPY [[COPY]](<2 x s32>) %0:_(<2 x s8>) = G_IMPLICIT_DEF %1:_(<2 x s32>) = G_ANYEXT %0 $vgpr0_vgpr1 = COPY %1 ... --- name: test_implicit_def_v3s8 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_v3s8 ; CHECK: [[DEF:%[0-9]+]]:_(<4 x s32>) = G_IMPLICIT_DEF ; CHECK: [[TRUNC:%[0-9]+]]:_(<4 x s8>) = G_TRUNC [[DEF]](<4 x s32>) ; CHECK: [[EXTRACT:%[0-9]+]]:_(<3 x s8>) = G_EXTRACT [[TRUNC]](<4 x s8>), 0 ; CHECK: [[UV:%[0-9]+]]:_(s8), [[UV1:%[0-9]+]]:_(s8), [[UV2:%[0-9]+]]:_(s8) = G_UNMERGE_VALUES [[EXTRACT]](<3 x s8>) ; CHECK: [[ANYEXT:%[0-9]+]]:_(s32) = G_ANYEXT [[UV]](s8) ; CHECK: [[ANYEXT1:%[0-9]+]]:_(s32) = G_ANYEXT [[UV1]](s8) ; CHECK: [[ANYEXT2:%[0-9]+]]:_(s32) = G_ANYEXT [[UV2]](s8) ; CHECK: [[BUILD_VECTOR:%[0-9]+]]:_(<3 x s32>) = G_BUILD_VECTOR [[ANYEXT]](s32), [[ANYEXT1]](s32), [[ANYEXT2]](s32) ; CHECK: $vgpr0_vgpr1_vgpr2 = COPY [[BUILD_VECTOR]](<3 x s32>) %0:_(<3 x s8>) = G_IMPLICIT_DEF %1:_(<3 x s32>) = G_ANYEXT %0 $vgpr0_vgpr1_vgpr2 = COPY %1 ... --- name: test_implicit_def_v2s16 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_v2s16 ; CHECK: [[DEF:%[0-9]+]]:_(<2 x s16>) = G_IMPLICIT_DEF ; CHECK: $vgpr0 = COPY [[DEF]](<2 x s16>) %0:_(<2 x s16>) = G_IMPLICIT_DEF $vgpr0 = COPY %0 ... --- name: test_implicit_def_v3s16 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_v3s16 ; CHECK: [[DEF:%[0-9]+]]:_(<4 x s16>) = G_IMPLICIT_DEF ; CHECK: [[EXTRACT:%[0-9]+]]:_(<3 x s16>) = G_EXTRACT [[DEF]](<4 x s16>), 0 ; CHECK: [[DEF1:%[0-9]+]]:_(<4 x s16>) = G_IMPLICIT_DEF ; CHECK: [[INSERT:%[0-9]+]]:_(<4 x s16>) = G_INSERT [[DEF1]], [[EXTRACT]](<3 x s16>), 0 ; CHECK: $vgpr0_vgpr1 = COPY [[INSERT]](<4 x s16>) %0:_(<3 x s16>) = G_IMPLICIT_DEF %1:_(<4 x s16>) = G_IMPLICIT_DEF %2:_(<4 x s16>) = G_INSERT %1, %0, 0 $vgpr0_vgpr1 = COPY %2 ... --- name: test_implicit_def_v4s16 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_v4s16 ; CHECK: [[DEF:%[0-9]+]]:_(<4 x s16>) = G_IMPLICIT_DEF ; CHECK: $vgpr0_vgpr1 = COPY [[DEF]](<4 x s16>) %0:_(<4 x s16>) = G_IMPLICIT_DEF $vgpr0_vgpr1 = COPY %0 ... --- name: test_implicit_def_v5s16 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_v5s16 ; CHECK: [[DEF:%[0-9]+]]:_(<6 x s32>) = G_IMPLICIT_DEF ; CHECK: [[TRUNC:%[0-9]+]]:_(<6 x s16>) = G_TRUNC [[DEF]](<6 x s32>) ; CHECK: [[EXTRACT:%[0-9]+]]:_(<5 x s16>) = G_EXTRACT [[TRUNC]](<6 x s16>), 0 ; CHECK: [[DEF1:%[0-9]+]]:_(<8 x s32>) = G_IMPLICIT_DEF ; CHECK: [[TRUNC1:%[0-9]+]]:_(<8 x s16>) = G_TRUNC [[DEF1]](<8 x s32>) ; CHECK: [[INSERT:%[0-9]+]]:_(<8 x s16>) = G_INSERT [[TRUNC1]], [[EXTRACT]](<5 x s16>), 0 ; CHECK: $vgpr0_vgpr1_vgpr2_vgpr3 = COPY [[INSERT]](<8 x s16>) %0:_(<5 x s16>) = G_IMPLICIT_DEF %1:_(<8 x s16>) = G_IMPLICIT_DEF %2:_(<8 x s16>) = G_INSERT %1, %0, 0 $vgpr0_vgpr1_vgpr2_vgpr3 = COPY %2 ... --- name: test_implicit_def_v6s16 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_v6s16 ; CHECK: [[DEF:%[0-9]+]]:_(<6 x s32>) = G_IMPLICIT_DEF ; CHECK: [[TRUNC:%[0-9]+]]:_(<6 x s16>) = G_TRUNC [[DEF]](<6 x s32>) ; CHECK: [[DEF1:%[0-9]+]]:_(<8 x s32>) = G_IMPLICIT_DEF ; CHECK: [[TRUNC1:%[0-9]+]]:_(<8 x s16>) = G_TRUNC [[DEF1]](<8 x s32>) ; CHECK: [[INSERT:%[0-9]+]]:_(<8 x s16>) = G_INSERT [[TRUNC1]], [[TRUNC]](<6 x s16>), 0 ; CHECK: $vgpr0_vgpr1_vgpr2_vgpr3 = COPY [[INSERT]](<8 x s16>) %0:_(<6 x s16>) = G_IMPLICIT_DEF %1:_(<8 x s16>) = G_IMPLICIT_DEF %2:_(<8 x s16>) = G_INSERT %1, %0, 0 $vgpr0_vgpr1_vgpr2_vgpr3 = COPY %2 ... --- name: test_implicit_def_v8s16 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_v8s16 ; CHECK: [[DEF:%[0-9]+]]:_(<8 x s32>) = G_IMPLICIT_DEF ; CHECK: [[TRUNC:%[0-9]+]]:_(<8 x s16>) = G_TRUNC [[DEF]](<8 x s32>) ; CHECK: $vgpr0_vgpr1_vgpr2_vgpr3 = COPY [[TRUNC]](<8 x s16>) %0:_(<8 x s16>) = G_IMPLICIT_DEF $vgpr0_vgpr1_vgpr2_vgpr3 = COPY %0 ... --- name: test_implicit_def_v2s64 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_v2s64 ; CHECK: [[DEF:%[0-9]+]]:_(<2 x s64>) = G_IMPLICIT_DEF ; CHECK: $vgpr0_vgpr1_vgpr2_vgpr3 = COPY [[DEF]](<2 x s64>) %0:_(<2 x s64>) = G_IMPLICIT_DEF $vgpr0_vgpr1_vgpr2_vgpr3 = COPY %0 ... --- name: test_implicit_def_v4s8 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_v4s8 ; CHECK: [[DEF:%[0-9]+]]:_(<4 x s32>) = G_IMPLICIT_DEF ; CHECK: [[TRUNC:%[0-9]+]]:_(<4 x s8>) = G_TRUNC [[DEF]](<4 x s32>) ; CHECK: $vgpr0 = COPY [[TRUNC]](<4 x s8>) %0:_(<4 x s8>) = G_IMPLICIT_DEF $vgpr0 = COPY %0 ... --- name: test_implicit_def_p0 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_p0 ; CHECK: [[DEF:%[0-9]+]]:_(p0) = G_IMPLICIT_DEF ; CHECK: $vgpr0_vgpr1 = COPY [[DEF]](p0) %0:_(p0) = G_IMPLICIT_DEF $vgpr0_vgpr1 = COPY %0 ... --- name: test_implicit_def_p1 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_p1 ; CHECK: [[DEF:%[0-9]+]]:_(p1) = G_IMPLICIT_DEF ; CHECK: $vgpr0_vgpr1 = COPY [[DEF]](p1) %0:_(p1) = G_IMPLICIT_DEF $vgpr0_vgpr1 = COPY %0 ... --- name: test_implicit_def_p2 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_p2 ; CHECK: [[DEF:%[0-9]+]]:_(p2) = G_IMPLICIT_DEF ; CHECK: $vgpr0 = COPY [[DEF]](p2) %0:_(p2) = G_IMPLICIT_DEF $vgpr0 = COPY %0 ... --- name: test_implicit_def_p3 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_p3 ; CHECK: [[DEF:%[0-9]+]]:_(p3) = G_IMPLICIT_DEF ; CHECK: $vgpr0 = COPY [[DEF]](p3) %0:_(p3) = G_IMPLICIT_DEF $vgpr0 = COPY %0 ... --- name: test_implicit_def_p4 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_p4 ; CHECK: [[DEF:%[0-9]+]]:_(p4) = G_IMPLICIT_DEF ; CHECK: $vgpr0_vgpr1 = COPY [[DEF]](p4) %0:_(p4) = G_IMPLICIT_DEF $vgpr0_vgpr1 = COPY %0 ... --- name: test_implicit_def_p5 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_p5 ; CHECK: [[DEF:%[0-9]+]]:_(p5) = G_IMPLICIT_DEF ; CHECK: $vgpr0 = COPY [[DEF]](p5) %0:_(p5) = G_IMPLICIT_DEF $vgpr0 = COPY %0 ... --- name: test_implicit_def_p999 body: | bb.0: ; CHECK-LABEL: name: test_implicit_def_p999 ; CHECK: [[DEF:%[0-9]+]]:_(p999) = G_IMPLICIT_DEF ; CHECK: $vgpr0_vgpr1 = COPY [[DEF]](p999) %0:_(p999) = G_IMPLICIT_DEF $vgpr0_vgpr1 = COPY %0 ...