blob: a7b522165ab891b714c3262f02d5425e30326d3a [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
Marek Olsak79c05872016-11-25 17:37:09 +000021
22; TOSMEM-DAG: s_mov_b32 [[M0_COPY:s[0-9]+]], m0
Matt Arsenault707780b2017-02-22 21:05:25 +000023; TOSMEM: s_add_u32 m0, s3, 0x100{{$}}
Marek Olsak79c05872016-11-25 17:37:09 +000024; TOSMEM-NOT: [[M0_COPY]]
Marek Olsak693e9be2016-12-09 19:49:48 +000025; TOSMEM: s_buffer_store_dword [[M0_COPY]], s{{\[}}[[LO]]:[[HI]]], m0 ; 4-byte Folded Spill
Marek Olsak79c05872016-11-25 17:37:09 +000026
Matt Arsenault2510a312016-09-03 06:57:55 +000027; GCN: s_cbranch_scc1 [[ENDIF:BB[0-9]+_[0-9]+]]
28
29; GCN: [[ENDIF]]:
Marek Olsak79c05872016-11-25 17:37:09 +000030; TOVGPR: v_readlane_b32 [[M0_RESTORE:s[0-9]+]], [[SPILL_VREG]], 0
31; TOVGPR: s_mov_b32 m0, [[M0_RESTORE]]
Matt Arsenault2510a312016-09-03 06:57:55 +000032
Matt Arsenault707780b2017-02-22 21:05:25 +000033; 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 +000034; TOVMEM: s_waitcnt vmcnt(0)
Marek Olsak79c05872016-11-25 17:37:09 +000035; TOVMEM: v_readfirstlane_b32 [[M0_RESTORE:s[0-9]+]], [[RELOAD_VREG]]
36; TOVMEM: s_mov_b32 m0, [[M0_RESTORE]]
Matt Arsenault2510a312016-09-03 06:57:55 +000037
Matt Arsenault707780b2017-02-22 21:05:25 +000038; TOSMEM: s_add_u32 m0, s3, 0x100{{$}}
Marek Olsak693e9be2016-12-09 19:49:48 +000039; 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 +000040; TOSMEM-NOT: [[M0_RESTORE]]
41; TOSMEM: s_mov_b32 m0, [[M0_RESTORE]]
42
43; GCN: s_add_i32 s{{[0-9]+}}, m0, 1
Matt Arsenault3dbeefa2017-03-21 21:39:51 +000044define amdgpu_kernel void @spill_m0(i32 %cond, i32 addrspace(1)* %out) #0 {
Matt Arsenault2510a312016-09-03 06:57:55 +000045entry:
46 %m0 = call i32 asm sideeffect "s_mov_b32 m0, 0", "={M0}"() #0
47 %cmp0 = icmp eq i32 %cond, 0
48 br i1 %cmp0, label %if, label %endif
49
50if:
51 call void asm sideeffect "v_nop", ""() #0
52 br label %endif
53
54endif:
55 %foo = call i32 asm sideeffect "s_add_i32 $0, $1, 1", "=s,{M0}"(i32 %m0) #0
56 store i32 %foo, i32 addrspace(1)* %out
57 ret void
58}
59
60@lds = internal addrspace(3) global [64 x float] undef
61
Matt Arsenault640c44b2016-11-29 19:39:53 +000062; m0 is killed, so it isn't necessary during the entry block spill to preserve it
63; GCN-LABEL: {{^}}spill_kill_m0_lds:
Marek Olsak79c05872016-11-25 17:37:09 +000064; GCN: s_mov_b32 m0, s6
65; GCN: v_interp_mov_f32
66
Matt Arsenault640c44b2016-11-29 19:39:53 +000067; TOSMEM-NOT: s_m0
Matt Arsenault707780b2017-02-22 21:05:25 +000068; TOSMEM: s_add_u32 m0, s7, 0x100
Tim Renouf660ba2b2017-09-11 13:55:39 +000069; TOSMEM-NEXT: s_buffer_store_dwordx2 s{{\[[0-9]+:[0-9]+\]}}, s{{\[[0-9]+:[0-9]+\]}}, m0 ; 8-byte Folded Spill
Stanislav Mekhanoshinbd5394b2017-04-24 19:37:54 +000070; FIXME: RegScavenger::isRegUsed() always returns true if m0 is reserved, so we have to save and restore it
71; FIXME-TOSMEM-NOT: m0
Marek Olsak79c05872016-11-25 17:37:09 +000072
Stanislav Mekhanoshinbd5394b2017-04-24 19:37:54 +000073; FIXME-TOSMEM-NOT: m0
Tim Renouf660ba2b2017-09-11 13:55:39 +000074; TOSMEM: s_add_u32 m0, s7, 0x300
75; TOSMEM: s_buffer_store_dword s{{[0-9]+}}, s{{\[[0-9]+:[0-9]+\]}}, m0 ; 4-byte Folded Spill
Stanislav Mekhanoshinbd5394b2017-04-24 19:37:54 +000076; FIXME-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]+}}:
Tim Renouf660ba2b2017-09-11 13:55:39 +000083; TOSMEM: s_add_u32 m0, s7, 0x400
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 Arsenaultd2c8a332017-02-16 02:01:13 +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 %m0) #0 {
Matt Arsenault2510a312016-09-03 06:57:55 +000091main_body:
Matt Arsenaultd2c8a332017-02-16 02:01:13 +000092 %tmp = call float @llvm.amdgcn.interp.mov(i32 2, i32 0, i32 0, i32 %m0)
Matt Arsenault640c44b2016-11-29 19:39:53 +000093 %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
Matt Arsenaultd2c8a332017-02-16 02:01:13 +0000102 %interp = call float @llvm.amdgcn.interp.mov(i32 2, i32 0, i32 0, i32 %m0)
Matt Arsenault640c44b2016-11-29 19:39:53 +0000103 br label %endif
104
105endif: ; preds = %else, %if
106 %export = phi float [ %lds_data, %if ], [ %interp, %else ]
Matt Arsenault1f17c662017-02-22 00:27:34 +0000107 %tmp4 = call <2 x half> @llvm.amdgcn.cvt.pkrtz(float %export, float %export)
108 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 +0000109 ret void
110}
111
112; Force save and restore of m0 during SMEM spill
113; GCN-LABEL: {{^}}m0_unavailable_spill:
114
115; GCN: ; def m0, 1
116
117; GCN: s_mov_b32 m0, s2
118; GCN: v_interp_mov_f32
119
120; GCN: ; clobber m0
121
Matthias Braun7a482e22017-06-20 18:43:14 +0000122; TOSMEM: s_mov_b32 s2, m0
Matt Arsenault707780b2017-02-22 21:05:25 +0000123; TOSMEM: s_add_u32 m0, s3, 0x100
Matt Arsenaultc47701c2016-12-02 00:54:45 +0000124; TOSMEM-NEXT: s_buffer_store_dwordx2 s{{\[[0-9]+:[0-9]+\]}}, s{{\[[0-9]+:[0-9]+\]}}, m0 ; 8-byte Folded Spill
Matthias Braun7a482e22017-06-20 18:43:14 +0000125; TOSMEM: s_mov_b32 m0, s2
Matt Arsenault640c44b2016-11-29 19:39:53 +0000126
127; TOSMEM: s_mov_b64 exec,
128; TOSMEM: s_cbranch_execz
129; TOSMEM: s_branch
130
131; TOSMEM: BB{{[0-9]+_[0-9]+}}:
Stanislav Mekhanoshinbd5394b2017-04-24 19:37:54 +0000132; TOSMEM: s_add_u32 m0, s3, 0x100
Matt Arsenaultc47701c2016-12-02 00:54:45 +0000133; 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 +0000134
135; GCN-NOT: v_readlane_b32 m0
136; GCN-NOT: s_buffer_store_dword m0
137; GCN-NOT: s_buffer_load_dword m0
Matt Arsenault3dbeefa2017-03-21 21:39:51 +0000138define amdgpu_kernel void @m0_unavailable_spill(i32 %m0.arg) #0 {
Matt Arsenault640c44b2016-11-29 19:39:53 +0000139main_body:
140 %m0 = call i32 asm sideeffect "; def $0, 1", "={M0}"() #0
Matt Arsenaultd2c8a332017-02-16 02:01:13 +0000141 %tmp = call float @llvm.amdgcn.interp.mov(i32 2, i32 0, i32 0, i32 %m0.arg)
Matt Arsenault640c44b2016-11-29 19:39:53 +0000142 call void asm sideeffect "; clobber $0", "~{M0}"() #0
143 %cmp = fcmp ueq float 0.000000e+00, %tmp
144 br i1 %cmp, label %if, label %else
145
146if: ; preds = %main_body
147 store volatile i32 8, i32 addrspace(1)* undef
148 br label %endif
149
150else: ; preds = %main_body
151 store volatile i32 11, i32 addrspace(1)* undef
Matt Arsenault2510a312016-09-03 06:57:55 +0000152 br label %endif
153
154endif:
Matt Arsenault2510a312016-09-03 06:57:55 +0000155 ret void
156}
157
Marek Olsak79c05872016-11-25 17:37:09 +0000158; GCN-LABEL: {{^}}restore_m0_lds:
Matt Arsenaultc47701c2016-12-02 00:54:45 +0000159; TOSMEM: s_load_dwordx2 [[REG:s\[[0-9]+:[0-9]+\]]]
Marek Olsak79c05872016-11-25 17:37:09 +0000160; TOSMEM: s_cmp_eq_u32
Stanislav Mekhanoshinbd5394b2017-04-24 19:37:54 +0000161; FIXME: RegScavenger::isRegUsed() always returns true if m0 is reserved, so we have to save and restore it
162; FIXME-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
Stanislav Mekhanoshinbd5394b2017-04-24 19:37:54 +0000165; FIXME-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
Stanislav Mekhanoshinbd5394b2017-04-24 19:37:54 +0000168; FIXME-TOSMEM-NOT: m0
Marek Olsak79c05872016-11-25 17:37:09 +0000169; TOSMEM: s_cbranch_scc1
170
171; TOSMEM: s_mov_b32 m0, -1
172
Matthias Braun7a482e22017-06-20 18:43:14 +0000173; TOSMEM: s_mov_b32 s0, 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
Matthias Braun7a482e22017-06-20 18:43:14 +0000176; TOSMEM: s_mov_b32 m0, s0
Marek Olsak79c05872016-11-25 17:37:09 +0000177; TOSMEM: s_waitcnt lgkmcnt(0)
178
179; TOSMEM: ds_write_b64
180
Stanislav Mekhanoshinbd5394b2017-04-24 19:37:54 +0000181; FIXME-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
Stanislav Mekhanoshinbd5394b2017-04-24 19:37:54 +0000184; FIXME-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 }