177 lines · plain
1# RUN: llc -mtriple=amdgcn -run-pass register-coalescer -verify-machineinstrs -o - %s | FileCheck --check-prefix=GCN %s2#3# See bug http://llvm.org/PR33152 for details of the bug this test is checking4# for.5# This test will provoke a subrange join during simple register6# coalescing. Withough a fix for PR33152 this causes an unreachable in SubRange7# Join8#9# The lines where the problem exhibits are the last 2 copy instructions in the10# BB (bb.25)11#12# GCN-LABEL: bb.6:13# GCN: successors: %bb.7(0x{{[0-9]+}}), %bb.18(0x{{[0-9]+}})14# GCN: %{{[0-9]+}}:vreg_128 = BUFFER_LOAD_DWORDX4_OFFSET %{{[0-9]+}}, 0, 0, 0, 0, implicit $exec15#16 17--- |18 target triple = "amdgcn--amdpal"19 20 define amdgpu_ps void @main() #0 {21 ret void22 }23 24 attributes #0 = { "target-cpu"="gfx803" }25...26 27---28name: main29tracksRegLiveness: true30body: |31 bb.0:32 successors: %bb.2(0x40000000), %bb.1(0x40000000)33 S_CBRANCH_SCC0 %bb.2, implicit undef $scc34 35 bb.1:36 successors: %bb.9(0x80000000)37 %0:vreg_128 = IMPLICIT_DEF38 S_BRANCH %bb.939 40 bb.2:41 successors: %bb.4(0x40000000), %bb.3(0x40000000)42 S_CBRANCH_SCC0 %bb.4, implicit undef $scc43 44 bb.3:45 successors: %bb.5(0x80000000)46 %1:vreg_128 = IMPLICIT_DEF47 S_BRANCH %bb.548 49 bb.4:50 successors: %bb.6(0x80000000)51 %2:sreg_64 = S_MOV_B64 052 %3:sreg_32_xm0 = S_MOV_B32 6144053 %4:sreg_32_xm0 = S_MOV_B32 -154 %5:sreg_64 = COPY killed %255 %6:vreg_128 = IMPLICIT_DEF56 S_BRANCH %bb.657 58 bb.5:59 successors: %bb.9(0x80000000)60 %7:vreg_128 = COPY killed %161 %8:vreg_128 = COPY killed %762 %0:vreg_128 = COPY killed %863 S_BRANCH %bb.964 65 bb.6:66 successors: %bb.7(0x40000000), %bb.18(0x40000000)67 %9:vreg_128 = COPY killed %668 %10:sreg_64 = COPY killed %569 undef %11.sub2:sgpr_128 = COPY %470 %11.sub3:sgpr_128 = COPY %371 %12:vreg_128 = BUFFER_LOAD_DWORDX4_OFFSET killed %11, 0, 0, 0, 0, implicit $exec72 undef %13.sub1:vreg_128 = COPY %9.sub173 %13.sub2:vreg_128 = COPY %9.sub274 %14:sreg_64 = nofpexcept V_CMP_GT_F32_e64 0, target-flags(amdgpu-rel32-lo) 0, 0, killed %12.sub3, 0, implicit $mode, implicit $exec75 %15:vgpr_32 = nofpexcept V_ADD_F32_e32 1065353216, undef %16:vgpr_32, implicit $mode, implicit $exec76 %17:sreg_64 = nofpexcept V_CMP_GT_F32_e64 0, 0, 0, killed %15, 0, implicit $mode, implicit $exec77 %18:sreg_64 = S_AND_B64 killed %17, killed %14, implicit-def dead $scc78 %19:sreg_64 = COPY %1079 %20:vreg_128 = COPY %1380 %21:vreg_128 = IMPLICIT_DEF81 %22:sreg_64 = COPY $exec, implicit-def $exec82 %23:sreg_64 = S_AND_B64 %22, %18, implicit-def dead $scc83 %24:sreg_64 = S_XOR_B64 %23, %22, implicit-def dead $scc84 $exec = S_MOV_B64_term killed %2385 S_CBRANCH_EXECZ %bb.7, implicit $exec86 S_BRANCH %bb.1887 88 bb.7:89 successors: %bb.6(0x40000000), %bb.8(0x40000000)90 $exec = S_OR_B64 $exec, %24, implicit-def $scc91 %25:vreg_128 = COPY killed %2192 %26:vreg_128 = COPY killed %2093 %27:sreg_64 = COPY killed %1994 %28:sreg_64 = S_OR_B64 %24, killed %27, implicit-def dead $scc95 %5:sreg_64 = COPY %2896 %6:vreg_128 = COPY killed %2597 $exec = S_ANDN2_B64_term $exec, %28, implicit-def $scc98 S_CBRANCH_EXECNZ %bb.6, implicit $exec99 S_BRANCH %bb.8100 101 bb.8:102 successors: %bb.5(0x80000000)103 $exec = S_OR_B64 $exec, killed %28, implicit-def $scc104 %29:vreg_128 = COPY killed %26105 %1:vreg_128 = COPY killed %29106 S_BRANCH %bb.5107 108 bb.9:109 successors: %bb.10(0x80000000)110 %30:vreg_128 = COPY killed %0111 S_BRANCH %bb.10112 113 bb.10:114 successors: %bb.12(0x40000000), %bb.11(0x40000000)115 S_CBRANCH_SCC0 %bb.12, implicit undef $scc116 117 bb.11:118 successors: %bb.14(0x80000000)119 %31:vreg_128 = IMPLICIT_DEF120 S_BRANCH %bb.14121 122 bb.12:123 successors: %bb.13(0x80000000)124 S_CBRANCH_SCC1 %bb.13, implicit undef $scc125 S_BRANCH %bb.13126 127 bb.13:128 successors: %bb.14(0x80000000)129 %32:vgpr_32 = nofpexcept V_MUL_F32_e32 undef %33:vgpr_32, killed %30.sub1, implicit $mode, implicit $exec130 %34:vgpr_32 = nofpexcept V_MUL_F32_e32 undef %35:vgpr_32, killed %32, implicit $mode, implicit $exec131 undef %36.sub0:vreg_128 = COPY %34132 %31:vreg_128 = COPY killed %36133 134 bb.14:135 successors: %bb.16(0x40000000), %bb.15(0x40000000)136 %37:vreg_128 = COPY killed %31137 S_CBRANCH_SCC0 %bb.16, implicit undef $scc138 139 bb.15:140 successors: %bb.17(0x80000000)141 %38:vreg_128 = IMPLICIT_DEF142 S_BRANCH %bb.17143 144 bb.16:145 successors: %bb.17(0x80000000)146 %39:vgpr_32 = nofpexcept V_FMA_F32_e64 0, undef %40:vgpr_32, 0, killed %37.sub0, 0, undef %41:vgpr_32, 0, 0, implicit $mode, implicit $exec147 %42:vgpr_32 = nofpexcept V_FMA_F32_e64 0, undef %43:vgpr_32, 0, undef %44:vgpr_32, 0, killed %39, 0, 0, implicit $mode, implicit $exec148 %45:vgpr_32 = nofpexcept V_FMA_F32_e64 0, undef %46:vgpr_32, 0, undef %47:vgpr_32, 0, killed %42, 0, 0, implicit $mode, implicit $exec149 dead %48:vgpr_32 = nofpexcept V_MUL_F32_e32 undef %49:vgpr_32, killed %45, implicit $mode, implicit $exec150 %50:vgpr_32 = nofpexcept V_MUL_F32_e32 undef %51:vgpr_32, undef %52:vgpr_32, implicit $mode, implicit $exec151 undef %53.sub1:vreg_128 = COPY %50152 %38:vreg_128 = COPY killed %53153 154 bb.17:155 %54:vreg_128 = COPY killed %38156 %55:vgpr_32 = nofpexcept V_FMA_F32_e64 0, killed %54.sub1, 0, target-flags(amdgpu-gotprel32-lo) 1056964608, 0, 1056964608, 0, 0, implicit $mode, implicit $exec157 EXP 1, undef %56:vgpr_32, killed %55, undef %57:vgpr_32, undef %58:vgpr_32, -1, 0, 15, implicit $exec158 S_ENDPGM 0159 160 bb.18:161 successors: %bb.7(0x80000000)162 dead %59:vgpr_32 = nofpexcept V_FMA_F32_e64 0, killed %9.sub2, 0, undef %60:vgpr_32, 0, undef %61:vgpr_32, 0, 0, implicit $mode, implicit $exec163 dead %62:vgpr_32 = BUFFER_LOAD_DWORD_OFFEN undef %63:vgpr_32, undef %64:sgpr_128, undef %65:sreg_32, 0, 0, 0, implicit $exec164 undef %66.sub1:vreg_128 = COPY %13.sub1165 %66.sub2:vreg_128 = COPY %13.sub2166 %67:sreg_64 = nofpexcept V_CMP_NGT_F32_e64 0, 0, 0, undef %68:vgpr_32, 0, implicit $mode, implicit $exec167 %69:vgpr_32 = nofpexcept V_ADD_F32_e32 1065353216, undef %70:vgpr_32, implicit $mode, implicit $exec168 %71:vgpr_32 = nofpexcept V_ADD_F32_e32 1065353216, killed %69, implicit $mode, implicit $exec169 %72:sreg_64 = nofpexcept V_CMP_NGT_F32_e64 0, 0, 0, killed %71, 0, implicit $mode, implicit $exec170 %73:sreg_64 = S_OR_B64 killed %72, killed %67, implicit-def dead $scc171 %74:sreg_64 = S_OR_B64 killed %73, killed %10, implicit-def dead $scc172 %19:sreg_64 = COPY killed %74173 %20:vreg_128 = COPY %66174 %21:vreg_128 = COPY killed %66175 S_BRANCH %bb.7176...177