1# RUN: llc -mtriple=amdgcn--amdpal -mcpu=gfx803 -run-pass=simple-register-coalescing -o - %s | FileCheck -check-prefix=GCN %s
2
3# With one version of the D48102 fix, this test failed with
4# Assertion failed: (Id != S.end() && T != S.end() && T->valno == Id->valno), function pruneSubRegValues, file ../lib/CodeGen/RegisterCoalescer.cpp, line 2875.
5
6# GCN: {{^body}}
7
8--- |
9  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"
10  target triple = "amdgcn--amdpal"
11
12  ; Function Attrs: nounwind
13  define amdgpu_ps void @_amdgpu_ps_main(float %arg) #0 {
14    ret void
15  }
16
17  attributes #0 = { nounwind "InitialPSInputAddr"="3842" "target-cpu"="gfx803" }
18...
19
20---
21name:            _amdgpu_ps_main
22tracksRegLiveness: true
23body:             |
24  bb.0:
25    successors: %bb.2(0x40000000), %bb.1(0x40000000)
26    %0:sreg_64 = COPY $exec
27    %1:sgpr_32 = S_MOV_B32 0
28    undef %2.sub0:sgpr_128 = COPY %1
29    %2.sub1:sgpr_128 = COPY %1
30    %2.sub2:sgpr_128 = COPY %1
31    %2.sub3:sgpr_128 = COPY %1
32    $exec = S_WQM_B64 $exec, implicit-def dead $scc
33    S_CBRANCH_SCC0 %bb.2, implicit undef $scc
34
35  bb.1:
36    successors: %bb.3(0x80000000)
37    %3:sgpr_128 = COPY killed %2
38    %4:vreg_128 = COPY killed %3
39    %5:vreg_128 = COPY killed %4
40    S_BRANCH %bb.3
41
42  bb.2:
43    successors: %bb.4(0x80000000)
44    %6:vgpr_32 = nofpexcept V_MUL_F32_e32 1031798784, undef %7:vgpr_32, implicit $mode, implicit $exec
45    %8:vgpr_32 = nofpexcept V_FLOOR_F32_e32 killed %6, implicit $mode, implicit $exec
46    %9:vgpr_32 = nofpexcept V_ADD_F32_e32 0, killed %8, implicit $mode, implicit $exec
47    %10:vgpr_32 = nofpexcept V_CVT_U32_F32_e32 killed %9, implicit $mode, implicit $exec
48    %11:vgpr_32 = V_LSHLREV_B32_e32 1, killed %10, implicit $exec
49    %12:sreg_64 = S_MOV_B64 0
50    %13:sgpr_128 = COPY killed %2
51    %14:vgpr_32 = V_MOV_B32_e32 0, implicit $exec
52    %15:vreg_128 = COPY killed %13
53    %16:sreg_64 = COPY killed %12
54    %17:vreg_128 = IMPLICIT_DEF
55    %18:vgpr_32 = COPY killed %14
56    %19:vreg_128 = COPY killed %15
57    S_BRANCH %bb.4
58
59  bb.3:
60    successors: %bb.17(0x80000000)
61    %20:vreg_128 = COPY killed %5
62    S_BRANCH %bb.17
63
64  bb.4:
65    successors: %bb.8(0x40000000), %bb.9(0x40000000)
66    %21:vreg_128 = COPY killed %19
67    %22:vgpr_32 = COPY killed %18
68    %23:vreg_128 = COPY killed %17
69    %24:sreg_64 = COPY killed %16
70    %25:vgpr_32 = V_OR_B32_e32 %22, %11, implicit $exec
71    %26:vreg_128 = BUFFER_LOAD_FORMAT_XYZW_IDXEN killed %25, undef %27:sgpr_128, 0, 0, 0, 0, 0, 0, 0, implicit $exec :: (dereferenceable load 16 from constant-pool, align 1, addrspace 4)
72    %28:vgpr_32 = V_LSHRREV_B32_e32 30, killed %26.sub0, implicit $exec
73    %29:vreg_128 = COPY killed %21
74    %29.sub0:vreg_128 = COPY %1
75    %30:sreg_64 = V_CMP_NE_U32_e64 0, %28, implicit $exec
76    %31:sreg_64_xexec = V_CMP_EQ_U32_e64 0, %28, implicit $exec
77    dead %32:vgpr_32 = V_CNDMASK_B32_e64 0, 0, 0, -1, killed %31, implicit $exec
78    %33:vreg_128 = COPY %29
79    %33.sub1:vreg_128 = COPY undef %32
80    %34:vgpr_32 = V_MOV_B32_e32 -1, implicit $exec
81    %35:vgpr_32 = V_MOV_B32_e32 0, implicit $exec
82    %36:sreg_64 = COPY %24
83    %37:vreg_128 = COPY %23
84    %38:vreg_128 = IMPLICIT_DEF
85    %39:vreg_128 = IMPLICIT_DEF
86    %40:vgpr_32 = IMPLICIT_DEF
87    %41:vgpr_32 = COPY killed %35
88    %42:vgpr_32 = COPY killed %34
89    %43:sreg_64 = COPY $exec, implicit-def $exec
90    %44:sreg_64 = S_AND_B64 %43, %30, implicit-def dead $scc
91    %45:sreg_64 = S_XOR_B64 %44, %43, implicit-def dead $scc
92    $exec = S_MOV_B64_term killed %44
93    SI_MASK_BRANCH %bb.9, implicit $exec
94    S_BRANCH %bb.8
95
96  bb.5:
97    successors: %bb.9(0x80000000)
98    $exec = S_OR_B64 $exec, %46, implicit-def $scc
99    %47:vgpr_32 = COPY killed %48
100    %49:vgpr_32 = COPY killed %50
101    %51:vreg_128 = COPY killed %52
102    %53:vreg_128 = COPY killed %54
103    %55:sreg_64 = COPY killed %56
104    %57:sreg_64 = S_AND_B64 $exec, %46, implicit-def $scc
105    %57:sreg_64 = S_OR_B64 %57, killed %55, implicit-def $scc
106    %58:vgpr_32 = V_MOV_B32_e32 0, implicit $exec
107    %36:sreg_64 = COPY killed %57
108    %37:vreg_128 = COPY killed %53
109    %38:vreg_128 = COPY killed %59
110    %39:vreg_128 = COPY killed %51
111    %40:vgpr_32 = COPY killed %49
112    %41:vgpr_32 = COPY killed %47
113    %42:vgpr_32 = COPY killed %58
114    S_BRANCH %bb.9
115
116  bb.6:
117    successors: %bb.7(0x40000000), %bb.13(0x40000000)
118    $exec = S_OR_B64 $exec, killed %60, implicit-def $scc
119    %61:sreg_64 = V_CMP_NE_U32_e64 0, killed %62, implicit $exec
120    %63:vreg_128 = COPY killed %64
121    %65:vgpr_32 = COPY killed %66
122    %67:sreg_64 = COPY $exec, implicit-def $exec
123    %68:sreg_64 = S_AND_B64 %67, %61, implicit-def dead $scc
124    $exec = S_MOV_B64_term killed %68
125    SI_MASK_BRANCH %bb.13, implicit $exec
126    S_BRANCH %bb.7
127
128  bb.7:
129    successors: %bb.13(0x80000000)
130    %69:vgpr_32 = V_MOV_B32_e32 -1, implicit $exec
131    %70:vreg_128 = COPY killed %33
132    %63:vreg_128 = COPY killed %70
133    %65:vgpr_32 = COPY killed %69
134    S_BRANCH %bb.13
135
136  bb.8:
137    successors: %bb.10(0x80000000)
138    %71:sreg_64 = S_MOV_B64 0
139    %72:vreg_128 = COPY %33
140    %73:sreg_64 = COPY killed %71
141    %74:vreg_128 = COPY killed %72
142    %75:vreg_128 = COPY killed %29
143    S_BRANCH %bb.10
144
145  bb.9:
146    successors: %bb.6(0x04000000), %bb.4(0x7c000000)
147    $exec = S_OR_B64 $exec, %45, implicit-def $scc
148    %62:vgpr_32 = COPY killed %42
149    %66:vgpr_32 = COPY killed %41
150    %76:vgpr_32 = COPY killed %40
151    %77:vreg_128 = COPY killed %39
152    %64:vreg_128 = COPY killed %38
153    %78:vreg_128 = COPY killed %37
154    %79:sreg_64 = COPY killed %36
155    %60:sreg_64 = S_AND_B64 $exec, %45, implicit-def $scc
156    %60:sreg_64 = S_OR_B64 %60, killed %79, implicit-def $scc
157    %80:vreg_128 = COPY %78
158    %16:sreg_64 = COPY %60
159    %17:vreg_128 = COPY killed %80
160    %18:vgpr_32 = COPY killed %76
161    %19:vreg_128 = COPY killed %77
162    $exec = S_ANDN2_B64_term $exec, %60, implicit-def $scc
163    S_CBRANCH_EXECNZ %bb.4, implicit $exec
164    S_BRANCH %bb.6
165
166  bb.10:
167    successors: %bb.11(0x80000000)
168    %81:vreg_128 = COPY killed %75
169    %82:vreg_128 = COPY killed %74
170    %83:sreg_64 = COPY killed %73
171
172  bb.11:
173    successors: %bb.12(0x04000000), %bb.10(0x7c000000)
174    undef %59.sub0:vreg_128 = COPY %81.sub0
175    %59.sub2:vreg_128 = COPY %82.sub2
176    %59.sub3:vreg_128 = COPY killed %82.sub3
177    %84:sreg_64 = V_CMP_GE_U32_e64 killed %81.sub0, %28, implicit $exec
178    %85:sreg_64 = S_OR_B64 killed %84, killed %83, implicit-def $scc
179    %86:vreg_128 = COPY %59
180    %73:sreg_64 = COPY %85
181    %74:vreg_128 = COPY %59
182    %75:vreg_128 = COPY killed %86
183    $exec = S_ANDN2_B64_term $exec, %85, implicit-def $scc
184    S_CBRANCH_EXECNZ %bb.10, implicit $exec
185    S_BRANCH %bb.12
186
187  bb.12:
188    successors: %bb.15(0x40000000), %bb.5(0x40000000)
189    $exec = S_OR_B64 $exec, killed %85, implicit-def $scc
190    %87:sreg_64 = V_CMP_LT_U32_e64 11, killed %28, implicit $exec
191    %88:vgpr_32 = V_MOV_B32_e32 -1, implicit $exec
192    %56:sreg_64 = COPY %24
193    %54:vreg_128 = COPY killed %23
194    %52:vreg_128 = IMPLICIT_DEF
195    %50:vgpr_32 = IMPLICIT_DEF
196    %48:vgpr_32 = COPY killed %88
197    %89:sreg_64 = COPY $exec, implicit-def $exec
198    %90:sreg_64 = S_AND_B64 %89, %87, implicit-def dead $scc
199    %46:sreg_64 = S_XOR_B64 %90, %89, implicit-def dead $scc
200    $exec = S_MOV_B64_term killed %90
201    SI_MASK_BRANCH %bb.5, implicit $exec
202    S_BRANCH %bb.15
203
204  bb.13:
205    successors: %bb.14(0x40000000), %bb.16(0x40000000)
206    $exec = S_OR_B64 $exec, killed %67, implicit-def $scc
207    %91:vgpr_32 = COPY killed %65
208    %92:vreg_128 = COPY killed %63
209    %93:sreg_64 = V_CMP_NE_U32_e64 0, killed %91, implicit $exec
210    %94:vreg_128 = COPY killed %78
211    %95:sreg_64 = COPY $exec, implicit-def $exec
212    %96:sreg_64 = S_AND_B64 %95, %93, implicit-def dead $scc
213    $exec = S_MOV_B64_term killed %96
214    SI_MASK_BRANCH %bb.16, implicit $exec
215    S_BRANCH %bb.14
216
217  bb.14:
218    successors: %bb.16(0x80000000)
219    %97:vreg_128 = COPY killed %92
220    %94:vreg_128 = COPY killed %97
221    S_BRANCH %bb.16
222
223  bb.15:
224    successors: %bb.5(0x80000000)
225    %98:vgpr_32 = V_MOV_B32_e32 0, implicit $exec
226    %99:sreg_64 = V_CMP_NE_U32_e64 0, killed %22, implicit $exec
227    %100:sreg_64 = S_OR_B64 killed %99, killed %24, implicit-def $scc
228    %101:vreg_128 = COPY %59
229    %102:vgpr_32 = V_MOV_B32_e32 1, implicit $exec
230    %56:sreg_64 = COPY killed %100
231    %54:vreg_128 = COPY killed %101
232    %52:vreg_128 = COPY %59
233    %50:vgpr_32 = COPY killed %102
234    %48:vgpr_32 = COPY killed %98
235    S_BRANCH %bb.5
236
237  bb.16:
238    successors: %bb.3(0x80000000)
239    $exec = S_OR_B64 $exec, killed %95, implicit-def $scc
240    %103:vreg_128 = COPY killed %94
241    %104:vreg_128 = COPY killed %103
242    %5:vreg_128 = COPY killed %104
243    S_BRANCH %bb.3
244
245  bb.17:
246    %105:vgpr_32 = nofpexcept V_ADD_F32_e32 target-flags(amdgpu-rel32-lo) 0, %20.sub3, implicit $mode, implicit $exec
247    %106:vgpr_32 = nofpexcept V_ADD_F32_e32 target-flags(amdgpu-gotprel32-hi) 0, killed %20.sub2, implicit $mode, implicit $exec
248    undef %107.sub0:vreg_64 = COPY killed %106
249    %107.sub1:vreg_64 = COPY killed %105
250    $exec = S_AND_B64 $exec, killed %0, implicit-def dead $scc
251    %108:sreg_32_xm0 = S_MOV_B32 0
252    undef %109.sub0:sgpr_256 = COPY %108
253    %109.sub1:sgpr_256 = COPY %108
254    %109.sub2:sgpr_256 = COPY %108
255    %109.sub3:sgpr_256 = COPY %108
256    %109.sub4:sgpr_256 = COPY %108
257    %109.sub5:sgpr_256 = COPY %108
258    %109.sub6:sgpr_256 = COPY %108
259    %109.sub7:sgpr_256 = COPY killed %108
260    %110:vgpr_32 = IMAGE_SAMPLE_V1_V2 killed %107, killed %109, undef %111:sgpr_128, 8, 0, 0, 0, 0, 0, 0, 0, 0, implicit $exec :: (dereferenceable load 16 from constant-pool, addrspace 4)
261    %112:vgpr_32 = nofpexcept V_MUL_F32_e32 0, killed %110, implicit $mode, implicit $exec
262    %113:vgpr_32 = nofpexcept V_MUL_F32_e32 0, killed %112, implicit $mode, implicit $exec
263    %114:vgpr_32 = nofpexcept V_MAD_F32 0, killed %113, 0, 0, 0, 0, 0, 0, implicit $mode, implicit $exec
264    %115:vgpr_32 = nofpexcept V_MAX_F32_e32 0, killed %114, implicit $mode, implicit $exec
265    %116:vgpr_32 = nofpexcept V_CVT_PKRTZ_F16_F32_e64 0, killed %115, 0, 1065353216, 0, 0, implicit $mode, implicit $exec
266    EXP 0, undef %117:vgpr_32, killed %116, undef %118:vgpr_32, undef %119:vgpr_32, -1, -1, 15, implicit $exec
267    S_ENDPGM 0
268...
269