96 lines · plain
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py2# RUN: llc -mtriple=amdgcn-mesa-mesa3d -mcpu=gfx1010 -O0 -run-pass=legalizer %s -o - | FileCheck %s --check-prefix=GFX103 4--- |5 6 define void @value_finder_bug() { ret void }7 define void @value_finder_bug_before_artifact_combine() { ret void }8 9 !0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "llvm", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, enums: !2)10 !1 = !DIFile(filename: "bug-legalization-artifact-combiner-dead-def", directory: "/tmp")11 !2 = !{}12 !3 = !{i32 2, !"Dwarf Version", i32 4}13 !4 = !{i32 2, !"Debug Info Version", i32 3}14 !5 = distinct !DISubprogram(name: "value_finder_bug_before_artifact_combine_dbg_use", scope: !1, file: !1, line: 1, type: !6, isLocal: false, isDefinition: true, scopeLine: 1, flags: DIFlagPrototyped, isOptimized: false, unit: !0, retainedNodes: !2)15 !6 = !DISubroutineType(types: !2)16 !7 = !DILocalVariable(name: "in", arg: 1, scope: !5, file: !1, line: 1, type: !8)17 !8 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)18 !9 = !DILocation(line: 1, column: 1, scope: !5)19...20 21---22name: value_finder_bug23body: |24 bb.0:25 liveins: $vgpr0, $vgpr1, $vgpr226 27 ; GFX10-LABEL: name: value_finder_bug28 ; GFX10: liveins: $vgpr0, $vgpr1, $vgpr229 ; GFX10-NEXT: {{ $}}30 ; GFX10-NEXT: [[COPY:%[0-9]+]]:_(p5) = COPY $vgpr031 ; GFX10-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $vgpr132 ; GFX10-NEXT: [[COPY2:%[0-9]+]]:_(s32) = COPY $vgpr233 ; GFX10-NEXT: [[MV:%[0-9]+]]:_(p4) = G_MERGE_VALUES [[COPY1]](s32), [[COPY2]](s32)34 ; GFX10-NEXT: [[LOAD:%[0-9]+]]:_(<4 x s32>) = G_LOAD [[MV]](p4) :: (load (<4 x s32>), align 4, addrspace 4)35 ; GFX10-NEXT: [[UV:%[0-9]+]]:_(s32), [[UV1:%[0-9]+]]:_(s32), [[UV2:%[0-9]+]]:_(s32), [[UV3:%[0-9]+]]:_(s32) = G_UNMERGE_VALUES [[LOAD]](<4 x s32>)36 ; GFX10-NEXT: [[COPY3:%[0-9]+]]:_(s32) = COPY [[UV3]](s32)37 ; GFX10-NEXT: [[UV4:%[0-9]+]]:_(s32), [[UV5:%[0-9]+]]:_(s32), [[UV6:%[0-9]+]]:_(s32), [[UV7:%[0-9]+]]:_(s32) = G_UNMERGE_VALUES [[LOAD]](<4 x s32>)38 ; GFX10-NEXT: [[COPY4:%[0-9]+]]:_(s32) = COPY [[UV6]](s32)39 ; GFX10-NEXT: G_STORE [[COPY4]](s32), [[COPY]](p5) :: (store (s32), align 8, addrspace 5)40 ; GFX10-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 441 ; GFX10-NEXT: [[PTR_ADD:%[0-9]+]]:_(p5) = nuw inbounds G_PTR_ADD [[COPY]], [[C]](s32)42 ; GFX10-NEXT: G_STORE [[COPY3]](s32), [[PTR_ADD]](p5) :: (store (s32) into unknown-address + 4, addrspace 5)43 %0:_(p5) = COPY $vgpr044 %1:_(s32) = COPY $vgpr145 %2:_(s32) = COPY $vgpr246 %3:_(p4) = G_MERGE_VALUES %1(s32), %2(s32)47 %4:_(<4 x s32>) = G_IMPLICIT_DEF48 %5:_(<4 x s32>) = G_LOAD %3(p4) :: (load (<4 x s32>), align 4, addrspace 4)49 %6:_(s32) = G_CONSTANT i32 350 %7:_(s32) = G_EXTRACT_VECTOR_ELT %5(<4 x s32>), %6(s32)51 %8:_(<2 x s32>) = G_SHUFFLE_VECTOR %5(<4 x s32>), %4, shufflemask(2, undef)52 %9:_(s32) = G_CONSTANT i32 153 %10:_(<2 x s32>) = G_INSERT_VECTOR_ELT %8, %7(s32), %9(s32)54 G_STORE %10(<2 x s32>), %0(p5) :: (store (<2 x s32>), addrspace 5)55...56 57---58name: value_finder_bug_before_artifact_combine59body: |60 bb.0:61 liveins: $vgpr0, $vgpr1, $vgpr262 63 ; GFX10-LABEL: name: value_finder_bug_before_artifact_combine64 ; GFX10: liveins: $vgpr0, $vgpr1, $vgpr265 ; GFX10-NEXT: {{ $}}66 ; GFX10-NEXT: [[COPY:%[0-9]+]]:_(p5) = COPY $vgpr067 ; GFX10-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $vgpr168 ; GFX10-NEXT: [[COPY2:%[0-9]+]]:_(s32) = COPY $vgpr269 ; GFX10-NEXT: [[MV:%[0-9]+]]:_(p4) = G_MERGE_VALUES [[COPY1]](s32), [[COPY2]](s32)70 ; GFX10-NEXT: [[LOAD:%[0-9]+]]:_(<4 x s32>) = G_LOAD [[MV]](p4) :: (load (<4 x s32>), align 4, addrspace 4)71 ; GFX10-NEXT: [[UV:%[0-9]+]]:_(s32), [[UV1:%[0-9]+]]:_(s32), [[UV2:%[0-9]+]]:_(s32), [[UV3:%[0-9]+]]:_(s32) = G_UNMERGE_VALUES [[LOAD]](<4 x s32>)72 ; GFX10-NEXT: [[COPY3:%[0-9]+]]:_(s32) = COPY [[UV3]](s32)73 ; GFX10-NEXT: [[UV4:%[0-9]+]]:_(s32), [[UV5:%[0-9]+]]:_(s32), [[UV6:%[0-9]+]]:_(s32), [[UV7:%[0-9]+]]:_(s32) = G_UNMERGE_VALUES [[LOAD]](<4 x s32>)74 ; GFX10-NEXT: [[COPY4:%[0-9]+]]:_(s32) = COPY [[UV6]](s32)75 ; GFX10-NEXT: G_STORE [[COPY4]](s32), [[COPY]](p5) :: (store (s32), align 8, addrspace 5)76 ; GFX10-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 477 ; GFX10-NEXT: [[PTR_ADD:%[0-9]+]]:_(p5) = G_PTR_ADD [[COPY]], [[C]](s32)78 ; GFX10-NEXT: G_STORE [[COPY3]](s32), [[PTR_ADD]](p5) :: (store (s32) into unknown-address + 4, addrspace 5)79 %0:_(p5) = COPY $vgpr080 %1:_(s32) = COPY $vgpr181 %2:_(s32) = COPY $vgpr282 %3:_(p4) = G_MERGE_VALUES %1(s32), %2(s32)83 %4:_(<4 x s32>) = G_LOAD %3(p4) :: (load (<4 x s32>), align 4, addrspace 4)84 %5:_(s32) = G_EXTRACT %4(<4 x s32>), 9685 %6:_(s32) = G_EXTRACT %4(<4 x s32>), 6486 %7:_(s32) = G_IMPLICIT_DEF87 %8:_(<2 x s32>) = G_BUILD_VECTOR %6(s32), %7(s32)88 %9:_(<2 x s32>) = G_INSERT %8, %5(s32), 3289 %deaf_def:_(s32), %11:_(s32) = G_UNMERGE_VALUES %9(<2 x s32>)90 G_STORE %6(s32), %0(p5) :: (store (s32), align 8, addrspace 5)91 %12:_(s32) = G_CONSTANT i32 492 %13:_(p5) = G_PTR_ADD %0, %12(s32)93 G_STORE %11(s32), %13(p5) :: (store (s32) into unknown-address + 4, addrspace 5)94 95...96