blob: 0e715c453209e7d5edc9c7ed7143f1110e4c4dd4 [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 Olsak693e9be2016-12-09 19:49:48 +000010; TOSMEM: s_mov_b32 s[[LO:[0-9]+]], SCRATCH_RSRC_DWORD0
11; TOSMEM: s_mov_b32 s[[HI:[0-9]+]], 0xe80000
Matt Arsenault08906a32016-10-28 19:43:31 +000012
Marek Olsak79c05872016-11-25 17:37:09 +000013; GCN-DAG: s_cmp_lg_u32
Matt Arsenault2510a312016-09-03 06:57:55 +000014
Marek Olsak79c05872016-11-25 17:37:09 +000015; TOVGPR-DAG: s_mov_b32 [[M0_COPY:s[0-9]+]], m0
16; TOVGPR: v_writelane_b32 [[SPILL_VREG:v[0-9]+]], [[M0_COPY]], 0
Matt Arsenault2510a312016-09-03 06:57:55 +000017
Marek Olsak79c05872016-11-25 17:37:09 +000018; TOVMEM-DAG: s_mov_b32 [[M0_COPY:s[0-9]+]], m0
19; TOVMEM-DAG: v_mov_b32_e32 [[SPILL_VREG:v[0-9]+]], [[M0_COPY]]
Matt Arsenault707780b2017-02-22 21:05:25 +000020; TOVMEM: buffer_store_dword [[SPILL_VREG]], off, s{{\[[0-9]+:[0-9]+\]}}, s{{[0-9]+}} offset:4 ; 4-byte Folded Spill
Matt Arsenault2510a312016-09-03 06:57:55 +000021; TOVMEM: s_waitcnt vmcnt(0)
Marek Olsak79c05872016-11-25 17:37:09 +000022
23; TOSMEM-DAG: s_mov_b32 [[M0_COPY:s[0-9]+]], m0
Matt Arsenault707780b2017-02-22 21:05:25 +000024; TOSMEM: s_add_u32 m0, s3, 0x100{{$}}
Marek Olsak79c05872016-11-25 17:37:09 +000025; TOSMEM-NOT: [[M0_COPY]]
Marek Olsak693e9be2016-12-09 19:49:48 +000026; TOSMEM: s_buffer_store_dword [[M0_COPY]], s{{\[}}[[LO]]:[[HI]]], m0 ; 4-byte Folded Spill
Marek Olsak79c05872016-11-25 17:37:09 +000027; TOSMEM: s_waitcnt lgkmcnt(0)
28
Matt Arsenault2510a312016-09-03 06:57:55 +000029; GCN: s_cbranch_scc1 [[ENDIF:BB[0-9]+_[0-9]+]]
30
31; GCN: [[ENDIF]]:
Marek Olsak79c05872016-11-25 17:37:09 +000032; TOVGPR: v_readlane_b32 [[M0_RESTORE:s[0-9]+]], [[SPILL_VREG]], 0
33; TOVGPR: s_mov_b32 m0, [[M0_RESTORE]]
Matt Arsenault2510a312016-09-03 06:57:55 +000034
Matt Arsenault707780b2017-02-22 21:05:25 +000035; TOVMEM: buffer_load_dword [[RELOAD_VREG:v[0-9]+]], off, s{{\[[0-9]+:[0-9]+\]}}, s{{[0-9]+}} offset:4 ; 4-byte Folded Reload
Matt Arsenault2510a312016-09-03 06:57:55 +000036; TOVMEM: s_waitcnt vmcnt(0)
Marek Olsak79c05872016-11-25 17:37:09 +000037; TOVMEM: v_readfirstlane_b32 [[M0_RESTORE:s[0-9]+]], [[RELOAD_VREG]]
38; TOVMEM: s_mov_b32 m0, [[M0_RESTORE]]
Matt Arsenault2510a312016-09-03 06:57:55 +000039
Matt Arsenault707780b2017-02-22 21:05:25 +000040; TOSMEM: s_add_u32 m0, s3, 0x100{{$}}
Marek Olsak693e9be2016-12-09 19:49:48 +000041; TOSMEM: s_buffer_load_dword [[M0_RESTORE:s[0-9]+]], s{{\[}}[[LO]]:[[HI]]], m0 ; 4-byte Folded Reload
Marek Olsak79c05872016-11-25 17:37:09 +000042; TOSMEM-NOT: [[M0_RESTORE]]
43; TOSMEM: s_mov_b32 m0, [[M0_RESTORE]]
44
45; GCN: s_add_i32 s{{[0-9]+}}, m0, 1
Matt Arsenault3dbeefa2017-03-21 21:39:51 +000046define amdgpu_kernel void @spill_m0(i32 %cond, i32 addrspace(1)* %out) #0 {
Matt Arsenault2510a312016-09-03 06:57:55 +000047entry:
48 %m0 = call i32 asm sideeffect "s_mov_b32 m0, 0", "={M0}"() #0
49 %cmp0 = icmp eq i32 %cond, 0
50 br i1 %cmp0, label %if, label %endif
51
52if:
53 call void asm sideeffect "v_nop", ""() #0
54 br label %endif
55
56endif:
57 %foo = call i32 asm sideeffect "s_add_i32 $0, $1, 1", "=s,{M0}"(i32 %m0) #0
58 store i32 %foo, i32 addrspace(1)* %out
59 ret void
60}
61
62@lds = internal addrspace(3) global [64 x float] undef
63
Matt Arsenault640c44b2016-11-29 19:39:53 +000064; m0 is killed, so it isn't necessary during the entry block spill to preserve it
65; GCN-LABEL: {{^}}spill_kill_m0_lds:
Marek Olsak79c05872016-11-25 17:37:09 +000066; GCN: s_mov_b32 m0, s6
67; GCN: v_interp_mov_f32
68
Matt Arsenault640c44b2016-11-29 19:39:53 +000069; TOSMEM-NOT: s_m0
Matt Arsenault707780b2017-02-22 21:05:25 +000070; TOSMEM: s_add_u32 m0, s7, 0x100
Marek Olsak79c05872016-11-25 17:37:09 +000071; 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 +000072; TOSMEM-NOT: m0
Marek Olsak79c05872016-11-25 17:37:09 +000073
Matt Arsenault640c44b2016-11-29 19:39:53 +000074; TOSMEM-NOT: m0
Matt Arsenault707780b2017-02-22 21:05:25 +000075; TOSMEM: s_add_u32 m0, s7, 0x200
Matt Arsenaultc47701c2016-12-02 00:54:45 +000076; 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 +000077; TOSMEM-NOT: m0
Marek Olsak79c05872016-11-25 17:37:09 +000078
79; TOSMEM: s_mov_b64 exec,
80; TOSMEM: s_cbranch_execz
81; TOSMEM: s_branch
82
83; TOSMEM: BB{{[0-9]+_[0-9]+}}:
Matt Arsenault707780b2017-02-22 21:05:25 +000084; TOSMEM-NEXT: s_add_u32 m0, s7, 0x200
Matt Arsenaultc47701c2016-12-02 00:54:45 +000085; 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 +000086
87
Matt Arsenault2510a312016-09-03 06:57:55 +000088; GCN-NOT: v_readlane_b32 m0
Marek Olsak79c05872016-11-25 17:37:09 +000089; GCN-NOT: s_buffer_store_dword m0
90; GCN-NOT: s_buffer_load_dword m0
Matt Arsenaultd2c8a332017-02-16 02:01:13 +000091define 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 %m0) #0 {
Matt Arsenault2510a312016-09-03 06:57:55 +000092main_body:
Matt Arsenaultd2c8a332017-02-16 02:01:13 +000093 %tmp = call float @llvm.amdgcn.interp.mov(i32 2, i32 0, i32 0, i32 %m0)
Matt Arsenault640c44b2016-11-29 19:39:53 +000094 %cmp = fcmp ueq float 0.000000e+00, %tmp
Matt Arsenault2510a312016-09-03 06:57:55 +000095 br i1 %cmp, label %if, label %else
96
Matt Arsenault640c44b2016-11-29 19:39:53 +000097if: ; preds = %main_body
Matt Arsenault2510a312016-09-03 06:57:55 +000098 %lds_ptr = getelementptr [64 x float], [64 x float] addrspace(3)* @lds, i32 0, i32 0
99 %lds_data = load float, float addrspace(3)* %lds_ptr
100 br label %endif
101
Matt Arsenault640c44b2016-11-29 19:39:53 +0000102else: ; preds = %main_body
Matt Arsenaultd2c8a332017-02-16 02:01:13 +0000103 %interp = call float @llvm.amdgcn.interp.mov(i32 2, i32 0, i32 0, i32 %m0)
Matt Arsenault640c44b2016-11-29 19:39:53 +0000104 br label %endif
105
106endif: ; preds = %else, %if
107 %export = phi float [ %lds_data, %if ], [ %interp, %else ]
Matt Arsenault1f17c662017-02-22 00:27:34 +0000108 %tmp4 = call <2 x half> @llvm.amdgcn.cvt.pkrtz(float %export, float %export)
109 call void @llvm.amdgcn.exp.compr.v2f16(i32 0, i32 15, <2 x half> %tmp4, <2 x half> %tmp4, i1 true, i1 true) #0
Matt Arsenault640c44b2016-11-29 19:39:53 +0000110 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
Matt Arsenault707780b2017-02-22 21:05:25 +0000124; TOSMEM: s_add_u32 m0, s3, 0x100
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]+}}:
Matt Arsenault707780b2017-02-22 21:05:25 +0000133; TOSMEM-NEXT: s_add_u32 m0, s3, 0x100
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
Matt Arsenault3dbeefa2017-03-21 21:39:51 +0000139define amdgpu_kernel void @m0_unavailable_spill(i32 %m0.arg) #0 {
Matt Arsenault640c44b2016-11-29 19:39:53 +0000140main_body:
141 %m0 = call i32 asm sideeffect "; def $0, 1", "={M0}"() #0
Matt Arsenaultd2c8a332017-02-16 02:01:13 +0000142 %tmp = call float @llvm.amdgcn.interp.mov(i32 2, i32 0, i32 0, i32 %m0.arg)
Matt Arsenault640c44b2016-11-29 19:39:53 +0000143 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
Matt Arsenault707780b2017-02-22 21:05:25 +0000163; TOSMEM: s_add_u32 m0, s3, 0x100
Marek Olsak693e9be2016-12-09 19:49:48 +0000164; TOSMEM: s_buffer_store_dwordx2 [[REG]], s[88:91], m0 ; 8-byte Folded Spill
Matt Arsenaultc47701c2016-12-02 00:54:45 +0000165; TOSMEM-NOT: m0
Matt Arsenault707780b2017-02-22 21:05:25 +0000166; TOSMEM: s_add_u32 m0, s3, 0x300
Marek Olsak693e9be2016-12-09 19:49:48 +0000167; TOSMEM: s_buffer_store_dword s{{[0-9]+}}, s[88:91], 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
Matt Arsenault707780b2017-02-22 21:05:25 +0000174; TOSMEM: s_add_u32 m0, s3, 0x100
Marek Olsak693e9be2016-12-09 19:49:48 +0000175; TOSMEM: s_buffer_load_dwordx2 s{{\[[0-9]+:[0-9]+\]}}, s[88:91], 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
Matt Arsenault707780b2017-02-22 21:05:25 +0000182; TOSMEM: s_add_u32 m0, s3, 0x300
Marek Olsak693e9be2016-12-09 19:49:48 +0000183; TOSMEM: s_buffer_load_dword s0, s[88:91], 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
Matt Arsenault3dbeefa2017-03-21 21:39:51 +0000192define amdgpu_kernel void @restore_m0_lds(i32 %arg) {
Marek Olsak79c05872016-11-25 17:37:09 +0000193 %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 Arsenault3ea06332017-02-22 00:02:21 +0000207declare float @llvm.amdgcn.interp.mov(i32, i32, i32, i32) #1
208declare void @llvm.amdgcn.exp.f32(i32, i32, float, float, float, float, i1, i1) #0
Matt Arsenault1f17c662017-02-22 00:27:34 +0000209declare void @llvm.amdgcn.exp.compr.v2f16(i32, i32, <2 x half>, <2 x half>, i1, i1) #0
210declare <2 x half> @llvm.amdgcn.cvt.pkrtz(float, float) #1
Matt Arsenault2510a312016-09-03 06:57:55 +0000211
212attributes #0 = { nounwind }
Matt Arsenaultd2c8a332017-02-16 02:01:13 +0000213attributes #1 = { nounwind readnone }