1# RUN: llc -march=amdgcn -run-pass simple-register-coalescing -verify-machineinstrs -o - %s | FileCheck --check-prefix=GCN %s 2# 3# See bug http://llvm.org/PR33152 for details of the bug this test is checking 4# for. 5# This test will provoke a subrange join during simple register 6# coalescing. Withough a fix for PR33152 this causes an unreachable in SubRange 7# Join 8# 9# The lines where the problem exhibits are the last 2 copy instructions in the 10# 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, 0, implicit $exec 15# 16 17--- | 18 target datalayout = "e-p:64:64-p1:64:64-p2:32:32-p3:32:32-p4:64:64-p5:32:32-p6:32:32-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024-v2048:2048-n32:64-S32-A5" 19 target triple = "amdgcn--amdpal" 20 21 define amdgpu_ps void @main() #0 { 22 ret void 23 } 24 25 attributes #0 = { "target-cpu"="gfx803" } 26... 27 28--- 29name: main 30tracksRegLiveness: true 31body: | 32 bb.0: 33 successors: %bb.2(0x40000000), %bb.1(0x40000000) 34 S_CBRANCH_SCC0 %bb.2, implicit undef $scc 35 36 bb.1: 37 successors: %bb.9(0x80000000) 38 %0:vreg_128 = IMPLICIT_DEF 39 S_BRANCH %bb.9 40 41 bb.2: 42 successors: %bb.4(0x40000000), %bb.3(0x40000000) 43 S_CBRANCH_SCC0 %bb.4, implicit undef $scc 44 45 bb.3: 46 successors: %bb.5(0x80000000) 47 %1:vreg_128 = IMPLICIT_DEF 48 S_BRANCH %bb.5 49 50 bb.4: 51 successors: %bb.6(0x80000000) 52 %2:sreg_64 = S_MOV_B64 0 53 %3:sreg_32_xm0 = S_MOV_B32 61440 54 %4:sreg_32_xm0 = S_MOV_B32 -1 55 %5:sreg_64 = COPY killed %2 56 %6:vreg_128 = IMPLICIT_DEF 57 S_BRANCH %bb.6 58 59 bb.5: 60 successors: %bb.9(0x80000000) 61 %7:vreg_128 = COPY killed %1 62 %8:vreg_128 = COPY killed %7 63 %0:vreg_128 = COPY killed %8 64 S_BRANCH %bb.9 65 66 bb.6: 67 successors: %bb.7(0x40000000), %bb.18(0x40000000) 68 %9:vreg_128 = COPY killed %6 69 %10:sreg_64 = COPY killed %5 70 undef %11.sub2:sgpr_128 = COPY %4 71 %11.sub3:sgpr_128 = COPY %3 72 %12:vreg_128 = BUFFER_LOAD_DWORDX4_OFFSET killed %11, 0, 0, 0, 0, 0, implicit $exec 73 undef %13.sub1:vreg_128 = COPY %9.sub1 74 %13.sub2:vreg_128 = COPY %9.sub2 75 %14:sreg_64 = nofpexcept V_CMP_GT_F32_e64 0, target-flags(amdgpu-rel32-lo) 0, 0, killed %12.sub3, 0, implicit $mode, implicit $exec 76 %15:vgpr_32 = nofpexcept V_ADD_F32_e32 1065353216, undef %16:vgpr_32, implicit $mode, implicit $exec 77 %17:sreg_64 = nofpexcept V_CMP_GT_F32_e64 0, 0, 0, killed %15, 0, implicit $mode, implicit $exec 78 %18:sreg_64 = S_AND_B64 killed %17, killed %14, implicit-def dead $scc 79 %19:sreg_64 = COPY %10 80 %20:vreg_128 = COPY %13 81 %21:vreg_128 = IMPLICIT_DEF 82 %22:sreg_64 = COPY $exec, implicit-def $exec 83 %23:sreg_64 = S_AND_B64 %22, %18, implicit-def dead $scc 84 %24:sreg_64 = S_XOR_B64 %23, %22, implicit-def dead $scc 85 $exec = S_MOV_B64_term killed %23 86 S_CBRANCH_EXECZ %bb.7, implicit $exec 87 S_BRANCH %bb.18 88 89 bb.7: 90 successors: %bb.6(0x40000000), %bb.8(0x40000000) 91 $exec = S_OR_B64 $exec, %24, implicit-def $scc 92 %25:vreg_128 = COPY killed %21 93 %26:vreg_128 = COPY killed %20 94 %27:sreg_64 = COPY killed %19 95 %28:sreg_64 = S_OR_B64 %24, killed %27, implicit-def dead $scc 96 %5:sreg_64 = COPY %28 97 %6:vreg_128 = COPY killed %25 98 $exec = S_ANDN2_B64_term $exec, %28, implicit-def $scc 99 S_CBRANCH_EXECNZ %bb.6, implicit $exec 100 S_BRANCH %bb.8 101 102 bb.8: 103 successors: %bb.5(0x80000000) 104 $exec = S_OR_B64 $exec, killed %28, implicit-def $scc 105 %29:vreg_128 = COPY killed %26 106 %1:vreg_128 = COPY killed %29 107 S_BRANCH %bb.5 108 109 bb.9: 110 successors: %bb.10(0x80000000) 111 %30:vreg_128 = COPY killed %0 112 S_BRANCH %bb.10 113 114 bb.10: 115 successors: %bb.12(0x40000000), %bb.11(0x40000000) 116 S_CBRANCH_SCC0 %bb.12, implicit undef $scc 117 118 bb.11: 119 successors: %bb.14(0x80000000) 120 %31:vreg_128 = IMPLICIT_DEF 121 S_BRANCH %bb.14 122 123 bb.12: 124 successors: %bb.13(0x80000000) 125 S_CBRANCH_SCC1 %bb.13, implicit undef $scc 126 S_BRANCH %bb.13 127 128 bb.13: 129 successors: %bb.14(0x80000000) 130 %32:vgpr_32 = nofpexcept V_MUL_F32_e32 undef %33:vgpr_32, killed %30.sub1, implicit $mode, implicit $exec 131 %34:vgpr_32 = nofpexcept V_MUL_F32_e32 undef %35:vgpr_32, killed %32, implicit $mode, implicit $exec 132 undef %36.sub0:vreg_128 = COPY %34 133 %31:vreg_128 = COPY killed %36 134 135 bb.14: 136 successors: %bb.16(0x40000000), %bb.15(0x40000000) 137 %37:vreg_128 = COPY killed %31 138 S_CBRANCH_SCC0 %bb.16, implicit undef $scc 139 140 bb.15: 141 successors: %bb.17(0x80000000) 142 %38:vreg_128 = IMPLICIT_DEF 143 S_BRANCH %bb.17 144 145 bb.16: 146 successors: %bb.17(0x80000000) 147 %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 $exec 148 %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 $exec 149 %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 $exec 150 dead %48:vgpr_32 = nofpexcept V_MUL_F32_e32 undef %49:vgpr_32, killed %45, implicit $mode, implicit $exec 151 %50:vgpr_32 = nofpexcept V_MUL_F32_e32 undef %51:vgpr_32, undef %52:vgpr_32, implicit $mode, implicit $exec 152 undef %53.sub1:vreg_128 = COPY %50 153 %38:vreg_128 = COPY killed %53 154 155 bb.17: 156 %54:vreg_128 = COPY killed %38 157 %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 $exec 158 EXP 1, undef %56:vgpr_32, killed %55, undef %57:vgpr_32, undef %58:vgpr_32, -1, 0, 15, implicit $exec 159 S_ENDPGM 0 160 161 bb.18: 162 successors: %bb.7(0x80000000) 163 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 $exec 164 dead %62:vgpr_32 = BUFFER_LOAD_DWORD_OFFEN undef %63:vgpr_32, undef %64:sgpr_128, undef %65:sreg_32, 0, 0, 0, 0, implicit $exec 165 undef %66.sub1:vreg_128 = COPY %13.sub1 166 %66.sub2:vreg_128 = COPY %13.sub2 167 %67:sreg_64 = nofpexcept V_CMP_NGT_F32_e64 0, 0, 0, undef %68:vgpr_32, 0, implicit $mode, implicit $exec 168 %69:vgpr_32 = nofpexcept V_ADD_F32_e32 1065353216, undef %70:vgpr_32, implicit $mode, implicit $exec 169 %71:vgpr_32 = nofpexcept V_ADD_F32_e32 1065353216, killed %69, implicit $mode, implicit $exec 170 %72:sreg_64 = nofpexcept V_CMP_NGT_F32_e64 0, 0, 0, killed %71, 0, implicit $mode, implicit $exec 171 %73:sreg_64 = S_OR_B64 killed %72, killed %67, implicit-def dead $scc 172 %74:sreg_64 = S_OR_B64 killed %73, killed %10, implicit-def dead $scc 173 %19:sreg_64 = COPY killed %74 174 %20:vreg_128 = COPY %66 175 %21:vreg_128 = COPY killed %66 176 S_BRANCH %bb.7 177... 178