blob: 24b0a81c18ec5ffc71d0b48e1f511a44a9a68d93 [file] [log] [blame]
Matt Arsenault2510a312016-09-03 06:57:55 +00001; RUN: llc -O0 -amdgpu-spill-sgpr-to-vgpr=1 -march=amdgcn -mattr=+vgpr-spilling -verify-machineinstrs < %s | FileCheck -check-prefix=TOVGPR -check-prefix=GCN %s
Marek Olsak79c05872016-11-25 17:37:09 +00002; RUN: llc -O0 -amdgpu-spill-sgpr-to-vgpr=1 -amdgpu-spill-sgpr-to-smem=0 -march=amdgcn -mcpu=tonga -mattr=+vgpr-spilling -verify-machineinstrs < %s | FileCheck -check-prefix=TOVGPR -check-prefix=GCN %s
Matt Arsenault2510a312016-09-03 06:57:55 +00003; RUN: llc -O0 -amdgpu-spill-sgpr-to-vgpr=0 -march=amdgcn -mattr=+vgpr-spilling -verify-machineinstrs < %s | FileCheck -check-prefix=TOVMEM -check-prefix=GCN %s
Marek Olsak79c05872016-11-25 17:37:09 +00004; RUN: llc -O0 -amdgpu-spill-sgpr-to-vgpr=0 -amdgpu-spill-sgpr-to-smem=0 -march=amdgcn -mcpu=tonga -mattr=+vgpr-spilling -verify-machineinstrs < %s | FileCheck -check-prefix=TOVMEM -check-prefix=GCN %s
5; RUN: llc -O0 -amdgpu-spill-sgpr-to-vgpr=0 -amdgpu-spill-sgpr-to-smem=1 -march=amdgcn -mcpu=tonga -mattr=+vgpr-spilling -verify-machineinstrs < %s | FileCheck -check-prefix=TOSMEM -check-prefix=GCN %s
Matt Arsenault2510a312016-09-03 06:57:55 +00006
7; XXX - Why does it like to use vcc?
8
9; GCN-LABEL: {{^}}spill_m0:
Marek Olsak79c05872016-11-25 17:37:09 +000010; TOSMEM: s_mov_b32 s84, SCRATCH_RSRC_DWORD0
Matt Arsenault08906a32016-10-28 19:43:31 +000011
Marek Olsak79c05872016-11-25 17:37:09 +000012; GCN-DAG: s_cmp_lg_u32
Matt Arsenault2510a312016-09-03 06:57:55 +000013
Marek Olsak79c05872016-11-25 17:37:09 +000014; TOVGPR-DAG: s_mov_b32 [[M0_COPY:s[0-9]+]], m0
15; TOVGPR: v_writelane_b32 [[SPILL_VREG:v[0-9]+]], [[M0_COPY]], 0
Matt Arsenault2510a312016-09-03 06:57:55 +000016
Marek Olsak79c05872016-11-25 17:37:09 +000017; TOVMEM-DAG: s_mov_b32 [[M0_COPY:s[0-9]+]], m0
18; TOVMEM-DAG: v_mov_b32_e32 [[SPILL_VREG:v[0-9]+]], [[M0_COPY]]
Matt Arsenault2510a312016-09-03 06:57:55 +000019; TOVMEM: buffer_store_dword [[SPILL_VREG]], off, s{{\[[0-9]+:[0-9]+\]}}, s{{[0-9]+}} ; 4-byte Folded Spill
20; TOVMEM: s_waitcnt vmcnt(0)
Marek Olsak79c05872016-11-25 17:37:09 +000021
22; TOSMEM-DAG: s_mov_b32 [[M0_COPY:s[0-9]+]], m0
23; TOSMEM: s_mov_b32 m0, s3{{$}}
24; TOSMEM-NOT: [[M0_COPY]]
25; TOSMEM: s_buffer_store_dword [[M0_COPY]], s[84:87], m0 ; 4-byte Folded Spill
26; TOSMEM: s_waitcnt lgkmcnt(0)
27
Matt Arsenault2510a312016-09-03 06:57:55 +000028; GCN: s_cbranch_scc1 [[ENDIF:BB[0-9]+_[0-9]+]]
29
30; GCN: [[ENDIF]]:
Marek Olsak79c05872016-11-25 17:37:09 +000031; TOVGPR: v_readlane_b32 [[M0_RESTORE:s[0-9]+]], [[SPILL_VREG]], 0
32; TOVGPR: s_mov_b32 m0, [[M0_RESTORE]]
Matt Arsenault2510a312016-09-03 06:57:55 +000033
34; TOVMEM: buffer_load_dword [[RELOAD_VREG:v[0-9]+]], off, s{{\[[0-9]+:[0-9]+\]}}, s{{[0-9]+}} ; 4-byte Folded Reload
35; TOVMEM: s_waitcnt vmcnt(0)
Marek Olsak79c05872016-11-25 17:37:09 +000036; TOVMEM: v_readfirstlane_b32 [[M0_RESTORE:s[0-9]+]], [[RELOAD_VREG]]
37; TOVMEM: s_mov_b32 m0, [[M0_RESTORE]]
Matt Arsenault2510a312016-09-03 06:57:55 +000038
Marek Olsak79c05872016-11-25 17:37:09 +000039; TOSMEM: s_mov_b32 m0, s3{{$}}
40; TOSMEM: s_buffer_load_dword [[M0_RESTORE:s[0-9]+]], s[84:87], m0 ; 4-byte Folded Reload
41; TOSMEM-NOT: [[M0_RESTORE]]
42; TOSMEM: s_mov_b32 m0, [[M0_RESTORE]]
43
44; GCN: s_add_i32 s{{[0-9]+}}, m0, 1
Matt Arsenault2510a312016-09-03 06:57:55 +000045define void @spill_m0(i32 %cond, i32 addrspace(1)* %out) #0 {
46entry:
47 %m0 = call i32 asm sideeffect "s_mov_b32 m0, 0", "={M0}"() #0
48 %cmp0 = icmp eq i32 %cond, 0
49 br i1 %cmp0, label %if, label %endif
50
51if:
52 call void asm sideeffect "v_nop", ""() #0
53 br label %endif
54
55endif:
56 %foo = call i32 asm sideeffect "s_add_i32 $0, $1, 1", "=s,{M0}"(i32 %m0) #0
57 store i32 %foo, i32 addrspace(1)* %out
58 ret void
59}
60
61@lds = internal addrspace(3) global [64 x float] undef
62
Matt Arsenault640c44b2016-11-29 19:39:53 +000063; m0 is killed, so it isn't necessary during the entry block spill to preserve it
64; GCN-LABEL: {{^}}spill_kill_m0_lds:
Marek Olsak79c05872016-11-25 17:37:09 +000065; GCN: s_mov_b32 m0, s6
66; GCN: v_interp_mov_f32
67
Matt Arsenault640c44b2016-11-29 19:39:53 +000068; TOSMEM-NOT: s_m0
Marek Olsak79c05872016-11-25 17:37:09 +000069; TOSMEM: s_mov_b32 m0, s7
70; TOSMEM-NEXT: s_buffer_store_dword s{{[0-9]+}}, s{{\[[0-9]+:[0-9]+\]}}, m0 ; 4-byte Folded Spill
Matt Arsenault640c44b2016-11-29 19:39:53 +000071; TOSMEM-NOT: m0
Marek Olsak79c05872016-11-25 17:37:09 +000072
Matt Arsenault640c44b2016-11-29 19:39:53 +000073; TOSMEM-NOT: m0
Marek Olsak79c05872016-11-25 17:37:09 +000074; TOSMEM: s_add_u32 m0, s7, 0x100
Matt Arsenaultc47701c2016-12-02 00:54:45 +000075; TOSMEM: s_buffer_store_dwordx2 s{{\[[0-9]+:[0-9]+\]}}, s{{\[[0-9]+:[0-9]+\]}}, m0 ; 8-byte Folded Spill
Matt Arsenault640c44b2016-11-29 19:39:53 +000076; TOSMEM-NOT: m0
Marek Olsak79c05872016-11-25 17:37:09 +000077
78; TOSMEM: s_mov_b64 exec,
79; TOSMEM: s_cbranch_execz
80; TOSMEM: s_branch
81
82; TOSMEM: BB{{[0-9]+_[0-9]+}}:
83; TOSMEM-NEXT: s_add_u32 m0, s7, 0x100
Matt Arsenaultc47701c2016-12-02 00:54:45 +000084; TOSMEM-NEXT: s_buffer_load_dwordx2 s{{\[[0-9]+:[0-9]+\]}}, s{{\[[0-9]+:[0-9]+\]}}, m0 ; 8-byte Folded Reload
Marek Olsak79c05872016-11-25 17:37:09 +000085
86
Matt Arsenault2510a312016-09-03 06:57:55 +000087; GCN-NOT: v_readlane_b32 m0
Marek Olsak79c05872016-11-25 17:37:09 +000088; GCN-NOT: s_buffer_store_dword m0
89; GCN-NOT: s_buffer_load_dword m0
Matt Arsenault640c44b2016-11-29 19:39:53 +000090define amdgpu_ps void @spill_kill_m0_lds(<16 x i8> addrspace(2)* inreg %arg, <16 x i8> addrspace(2)* inreg %arg1, <32 x i8> addrspace(2)* inreg %arg2, i32 inreg %arg3) #0 {
Matt Arsenault2510a312016-09-03 06:57:55 +000091main_body:
Matt Arsenault640c44b2016-11-29 19:39:53 +000092 %tmp = call float @llvm.SI.fs.constant(i32 0, i32 0, i32 %arg3)
93 %cmp = fcmp ueq float 0.000000e+00, %tmp
Matt Arsenault2510a312016-09-03 06:57:55 +000094 br i1 %cmp, label %if, label %else
95
Matt Arsenault640c44b2016-11-29 19:39:53 +000096if: ; preds = %main_body
Matt Arsenault2510a312016-09-03 06:57:55 +000097 %lds_ptr = getelementptr [64 x float], [64 x float] addrspace(3)* @lds, i32 0, i32 0
98 %lds_data = load float, float addrspace(3)* %lds_ptr
99 br label %endif
100
Matt Arsenault640c44b2016-11-29 19:39:53 +0000101else: ; preds = %main_body
102 %interp = call float @llvm.SI.fs.constant(i32 0, i32 0, i32 %arg3)
103 br label %endif
104
105endif: ; preds = %else, %if
106 %export = phi float [ %lds_data, %if ], [ %interp, %else ]
107 %tmp4 = call i32 @llvm.SI.packf16(float %export, float %export)
108 %tmp5 = bitcast i32 %tmp4 to float
109 call void @llvm.SI.export(i32 15, i32 1, i32 1, i32 0, i32 1, float %tmp5, float %tmp5, float %tmp5, float %tmp5)
110 ret void
111}
112
113; Force save and restore of m0 during SMEM spill
114; GCN-LABEL: {{^}}m0_unavailable_spill:
115
116; GCN: ; def m0, 1
117
118; GCN: s_mov_b32 m0, s2
119; GCN: v_interp_mov_f32
120
121; GCN: ; clobber m0
122
123; TOSMEM: s_mov_b32 vcc_hi, m0
124; TOSMEM: s_mov_b32 m0, s3
Matt Arsenaultc47701c2016-12-02 00:54:45 +0000125; TOSMEM-NEXT: s_buffer_store_dwordx2 s{{\[[0-9]+:[0-9]+\]}}, s{{\[[0-9]+:[0-9]+\]}}, m0 ; 8-byte Folded Spill
Matt Arsenault640c44b2016-11-29 19:39:53 +0000126; TOSMEM: s_mov_b32 m0, vcc_hi
127
128; TOSMEM: s_mov_b64 exec,
129; TOSMEM: s_cbranch_execz
130; TOSMEM: s_branch
131
132; TOSMEM: BB{{[0-9]+_[0-9]+}}:
133; TOSMEM-NEXT: s_mov_b32 m0, s3
Matt Arsenaultc47701c2016-12-02 00:54:45 +0000134; TOSMEM-NEXT: s_buffer_load_dwordx2 s{{\[[0-9]+:[0-9]+\]}}, s{{\[[0-9]+:[0-9]+\]}}, m0 ; 8-byte Folded Reload
Matt Arsenault640c44b2016-11-29 19:39:53 +0000135
136; GCN-NOT: v_readlane_b32 m0
137; GCN-NOT: s_buffer_store_dword m0
138; GCN-NOT: s_buffer_load_dword m0
139define void @m0_unavailable_spill(i32 %arg3) #0 {
140main_body:
141 %m0 = call i32 asm sideeffect "; def $0, 1", "={M0}"() #0
142 %tmp = call float @llvm.SI.fs.constant(i32 0, i32 0, i32 %arg3)
143 call void asm sideeffect "; clobber $0", "~{M0}"() #0
144 %cmp = fcmp ueq float 0.000000e+00, %tmp
145 br i1 %cmp, label %if, label %else
146
147if: ; preds = %main_body
148 store volatile i32 8, i32 addrspace(1)* undef
149 br label %endif
150
151else: ; preds = %main_body
152 store volatile i32 11, i32 addrspace(1)* undef
Matt Arsenault2510a312016-09-03 06:57:55 +0000153 br label %endif
154
155endif:
Matt Arsenault2510a312016-09-03 06:57:55 +0000156 ret void
157}
158
Marek Olsak79c05872016-11-25 17:37:09 +0000159; GCN-LABEL: {{^}}restore_m0_lds:
Matt Arsenaultc47701c2016-12-02 00:54:45 +0000160; TOSMEM: s_load_dwordx2 [[REG:s\[[0-9]+:[0-9]+\]]]
Marek Olsak79c05872016-11-25 17:37:09 +0000161; TOSMEM: s_cmp_eq_u32
Matt Arsenault640c44b2016-11-29 19:39:53 +0000162; TOSMEM-NOT: m0
Marek Olsak79c05872016-11-25 17:37:09 +0000163; TOSMEM: s_mov_b32 m0, s3
Matt Arsenaultc47701c2016-12-02 00:54:45 +0000164; TOSMEM: s_buffer_store_dwordx2 [[REG]], s[84:87], m0 ; 8-byte Folded Spill
165; TOSMEM-NOT: m0
166; TOSMEM: s_add_u32 m0, s3, 0x200
167; TOSMEM: s_buffer_store_dword s{{[0-9]+}}, s[84:87], m0 ; 4-byte Folded Spill
Matt Arsenault640c44b2016-11-29 19:39:53 +0000168; TOSMEM-NOT: m0
Marek Olsak79c05872016-11-25 17:37:09 +0000169; TOSMEM: s_cbranch_scc1
170
171; TOSMEM: s_mov_b32 m0, -1
172
173; TOSMEM: s_mov_b32 vcc_hi, m0
174; TOSMEM: s_mov_b32 m0, s3
Matt Arsenaultc47701c2016-12-02 00:54:45 +0000175; TOSMEM: s_buffer_load_dwordx2 s{{\[[0-9]+:[0-9]+\]}}, s[84:87], m0 ; 8-byte Folded Reload
Marek Olsak79c05872016-11-25 17:37:09 +0000176; TOSMEM: s_mov_b32 m0, vcc_hi
177; TOSMEM: s_waitcnt lgkmcnt(0)
178
179; TOSMEM: ds_write_b64
180
Matt Arsenault640c44b2016-11-29 19:39:53 +0000181; TOSMEM-NOT: m0
Marek Olsak79c05872016-11-25 17:37:09 +0000182; TOSMEM: s_add_u32 m0, s3, 0x200
183; TOSMEM: s_buffer_load_dword s0, s[84:87], m0 ; 4-byte Folded Reload
Matt Arsenault640c44b2016-11-29 19:39:53 +0000184; TOSMEM-NOT: m0
Marek Olsak79c05872016-11-25 17:37:09 +0000185; TOSMEM: s_waitcnt lgkmcnt(0)
Matt Arsenault640c44b2016-11-29 19:39:53 +0000186; TOSMEM-NOT: m0
Marek Olsak79c05872016-11-25 17:37:09 +0000187; TOSMEM: s_mov_b32 m0, s0
188; TOSMEM: ; use m0
189
190; TOSMEM: s_dcache_wb
191; TOSMEM: s_endpgm
192define void @restore_m0_lds(i32 %arg) {
193 %m0 = call i32 asm sideeffect "s_mov_b32 m0, 0", "={M0}"() #0
194 %sval = load volatile i64, i64 addrspace(2)* undef
195 %cmp = icmp eq i32 %arg, 0
196 br i1 %cmp, label %ret, label %bb
197
198bb:
199 store volatile i64 %sval, i64 addrspace(3)* undef
200 call void asm sideeffect "; use $0", "{M0}"(i32 %m0) #0
201 br label %ret
202
203ret:
204 ret void
205}
206
Matt Arsenault2510a312016-09-03 06:57:55 +0000207declare float @llvm.SI.fs.constant(i32, i32, i32) readnone
208
209declare i32 @llvm.SI.packf16(float, float) readnone
210
211declare void @llvm.SI.export(i32, i32, i32, i32, i32, float, float, float, float)
212
213attributes #0 = { nounwind }