Matt Arsenault | 2510a31 | 2016-09-03 06:57:55 +0000 | [diff] [blame] | 1 | ; 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 Olsak | 79c0587 | 2016-11-25 17:37:09 +0000 | [diff] [blame] | 2 | ; 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 Arsenault | 2510a31 | 2016-09-03 06:57:55 +0000 | [diff] [blame] | 3 | ; 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 Olsak | 79c0587 | 2016-11-25 17:37:09 +0000 | [diff] [blame] | 4 | ; 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 Arsenault | 2510a31 | 2016-09-03 06:57:55 +0000 | [diff] [blame] | 6 | |
| 7 | ; XXX - Why does it like to use vcc? |
| 8 | |
| 9 | ; GCN-LABEL: {{^}}spill_m0: |
Marek Olsak | 79c0587 | 2016-11-25 17:37:09 +0000 | [diff] [blame] | 10 | ; TOSMEM: s_mov_b32 s84, SCRATCH_RSRC_DWORD0 |
Matt Arsenault | 08906a3 | 2016-10-28 19:43:31 +0000 | [diff] [blame] | 11 | |
Marek Olsak | 79c0587 | 2016-11-25 17:37:09 +0000 | [diff] [blame] | 12 | ; GCN-DAG: s_cmp_lg_u32 |
Matt Arsenault | 2510a31 | 2016-09-03 06:57:55 +0000 | [diff] [blame] | 13 | |
Marek Olsak | 79c0587 | 2016-11-25 17:37:09 +0000 | [diff] [blame] | 14 | ; 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 Arsenault | 2510a31 | 2016-09-03 06:57:55 +0000 | [diff] [blame] | 16 | |
Marek Olsak | 79c0587 | 2016-11-25 17:37:09 +0000 | [diff] [blame] | 17 | ; 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 Arsenault | 2510a31 | 2016-09-03 06:57:55 +0000 | [diff] [blame] | 19 | ; 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 Olsak | 79c0587 | 2016-11-25 17:37:09 +0000 | [diff] [blame] | 21 | |
| 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 Arsenault | 2510a31 | 2016-09-03 06:57:55 +0000 | [diff] [blame] | 28 | ; GCN: s_cbranch_scc1 [[ENDIF:BB[0-9]+_[0-9]+]] |
| 29 | |
| 30 | ; GCN: [[ENDIF]]: |
Marek Olsak | 79c0587 | 2016-11-25 17:37:09 +0000 | [diff] [blame] | 31 | ; TOVGPR: v_readlane_b32 [[M0_RESTORE:s[0-9]+]], [[SPILL_VREG]], 0 |
| 32 | ; TOVGPR: s_mov_b32 m0, [[M0_RESTORE]] |
Matt Arsenault | 2510a31 | 2016-09-03 06:57:55 +0000 | [diff] [blame] | 33 | |
| 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 Olsak | 79c0587 | 2016-11-25 17:37:09 +0000 | [diff] [blame] | 36 | ; TOVMEM: v_readfirstlane_b32 [[M0_RESTORE:s[0-9]+]], [[RELOAD_VREG]] |
| 37 | ; TOVMEM: s_mov_b32 m0, [[M0_RESTORE]] |
Matt Arsenault | 2510a31 | 2016-09-03 06:57:55 +0000 | [diff] [blame] | 38 | |
Marek Olsak | 79c0587 | 2016-11-25 17:37:09 +0000 | [diff] [blame] | 39 | ; 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 Arsenault | 2510a31 | 2016-09-03 06:57:55 +0000 | [diff] [blame] | 45 | define void @spill_m0(i32 %cond, i32 addrspace(1)* %out) #0 { |
| 46 | entry: |
| 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 | |
| 51 | if: |
| 52 | call void asm sideeffect "v_nop", ""() #0 |
| 53 | br label %endif |
| 54 | |
| 55 | endif: |
| 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 Arsenault | 640c44b | 2016-11-29 19:39:53 +0000 | [diff] [blame^] | 63 | ; m0 is killed, so it isn't necessary during the entry block spill to preserve it |
| 64 | ; GCN-LABEL: {{^}}spill_kill_m0_lds: |
Marek Olsak | 79c0587 | 2016-11-25 17:37:09 +0000 | [diff] [blame] | 65 | ; GCN: s_mov_b32 m0, s6 |
| 66 | ; GCN: v_interp_mov_f32 |
| 67 | |
Matt Arsenault | 640c44b | 2016-11-29 19:39:53 +0000 | [diff] [blame^] | 68 | ; TOSMEM-NOT: s_m0 |
Marek Olsak | 79c0587 | 2016-11-25 17:37:09 +0000 | [diff] [blame] | 69 | ; 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 Arsenault | 640c44b | 2016-11-29 19:39:53 +0000 | [diff] [blame^] | 71 | ; TOSMEM-NOT: m0 |
Marek Olsak | 79c0587 | 2016-11-25 17:37:09 +0000 | [diff] [blame] | 72 | |
Matt Arsenault | 640c44b | 2016-11-29 19:39:53 +0000 | [diff] [blame^] | 73 | ; TOSMEM-NOT: m0 |
Marek Olsak | 79c0587 | 2016-11-25 17:37:09 +0000 | [diff] [blame] | 74 | ; TOSMEM: s_add_u32 m0, s7, 0x100 |
| 75 | ; TOSMEM: s_buffer_store_dword s{{[0-9]+}}, s{{\[[0-9]+:[0-9]+\]}}, m0 ; 4-byte Folded Spill |
| 76 | ; TOSMEM: s_add_u32 m0, s7, 0x200 |
| 77 | ; TOSMEM: s_buffer_store_dword s{{[0-9]+}}, s{{\[[0-9]+:[0-9]+\]}}, m0 ; 4-byte Folded Spill |
Matt Arsenault | 640c44b | 2016-11-29 19:39:53 +0000 | [diff] [blame^] | 78 | ; TOSMEM-NOT: m0 |
Marek Olsak | 79c0587 | 2016-11-25 17:37:09 +0000 | [diff] [blame] | 79 | |
| 80 | ; TOSMEM: s_mov_b64 exec, |
| 81 | ; TOSMEM: s_cbranch_execz |
| 82 | ; TOSMEM: s_branch |
| 83 | |
| 84 | ; TOSMEM: BB{{[0-9]+_[0-9]+}}: |
| 85 | ; TOSMEM-NEXT: s_add_u32 m0, s7, 0x100 |
| 86 | ; TOSMEM-NEXT: s_buffer_load_dword s{{[0-9]+}}, s{{\[[0-9]+:[0-9]+\]}}, m0 ; 4-byte Folded Reload |
| 87 | |
| 88 | |
Matt Arsenault | 2510a31 | 2016-09-03 06:57:55 +0000 | [diff] [blame] | 89 | ; GCN-NOT: v_readlane_b32 m0 |
Marek Olsak | 79c0587 | 2016-11-25 17:37:09 +0000 | [diff] [blame] | 90 | ; GCN-NOT: s_buffer_store_dword m0 |
| 91 | ; GCN-NOT: s_buffer_load_dword m0 |
Matt Arsenault | 640c44b | 2016-11-29 19:39:53 +0000 | [diff] [blame^] | 92 | define 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 Arsenault | 2510a31 | 2016-09-03 06:57:55 +0000 | [diff] [blame] | 93 | main_body: |
Matt Arsenault | 640c44b | 2016-11-29 19:39:53 +0000 | [diff] [blame^] | 94 | %tmp = call float @llvm.SI.fs.constant(i32 0, i32 0, i32 %arg3) |
| 95 | %cmp = fcmp ueq float 0.000000e+00, %tmp |
Matt Arsenault | 2510a31 | 2016-09-03 06:57:55 +0000 | [diff] [blame] | 96 | br i1 %cmp, label %if, label %else |
| 97 | |
Matt Arsenault | 640c44b | 2016-11-29 19:39:53 +0000 | [diff] [blame^] | 98 | if: ; preds = %main_body |
Matt Arsenault | 2510a31 | 2016-09-03 06:57:55 +0000 | [diff] [blame] | 99 | %lds_ptr = getelementptr [64 x float], [64 x float] addrspace(3)* @lds, i32 0, i32 0 |
| 100 | %lds_data = load float, float addrspace(3)* %lds_ptr |
| 101 | br label %endif |
| 102 | |
Matt Arsenault | 640c44b | 2016-11-29 19:39:53 +0000 | [diff] [blame^] | 103 | else: ; preds = %main_body |
| 104 | %interp = call float @llvm.SI.fs.constant(i32 0, i32 0, i32 %arg3) |
| 105 | br label %endif |
| 106 | |
| 107 | endif: ; preds = %else, %if |
| 108 | %export = phi float [ %lds_data, %if ], [ %interp, %else ] |
| 109 | %tmp4 = call i32 @llvm.SI.packf16(float %export, float %export) |
| 110 | %tmp5 = bitcast i32 %tmp4 to float |
| 111 | call void @llvm.SI.export(i32 15, i32 1, i32 1, i32 0, i32 1, float %tmp5, float %tmp5, float %tmp5, float %tmp5) |
| 112 | ret void |
| 113 | } |
| 114 | |
| 115 | ; Force save and restore of m0 during SMEM spill |
| 116 | ; GCN-LABEL: {{^}}m0_unavailable_spill: |
| 117 | |
| 118 | ; GCN: ; def m0, 1 |
| 119 | |
| 120 | ; GCN: s_mov_b32 m0, s2 |
| 121 | ; GCN: v_interp_mov_f32 |
| 122 | |
| 123 | ; GCN: ; clobber m0 |
| 124 | |
| 125 | ; TOSMEM: s_mov_b32 vcc_hi, m0 |
| 126 | ; TOSMEM: s_mov_b32 m0, s3 |
| 127 | ; TOSMEM-NEXT: s_buffer_store_dword s{{[0-9]+}}, s{{\[[0-9]+:[0-9]+\]}}, m0 ; 4-byte Folded Spill |
| 128 | ; TOSMEM: s_add_u32 m0, s3, 0x100 |
| 129 | ; TOSMEM: s_buffer_store_dword s{{[0-9]+}}, s{{\[[0-9]+:[0-9]+\]}}, m0 ; 4-byte Folded Spill |
| 130 | ; TOSMEM: s_mov_b32 m0, vcc_hi |
| 131 | |
| 132 | ; TOSMEM: s_mov_b64 exec, |
| 133 | ; TOSMEM: s_cbranch_execz |
| 134 | ; TOSMEM: s_branch |
| 135 | |
| 136 | ; TOSMEM: BB{{[0-9]+_[0-9]+}}: |
| 137 | ; TOSMEM-NEXT: s_mov_b32 m0, s3 |
| 138 | ; TOSMEM-NEXT: s_buffer_load_dword s{{[0-9]+}}, s{{\[[0-9]+:[0-9]+\]}}, m0 ; 4-byte Folded Reload |
| 139 | ; TOSMEM-NEXT: s_add_u32 m0, s3, 0x100 |
| 140 | |
| 141 | ; FIXME: Could delay this wait |
| 142 | ; TOSMEM-NEXT: s_waitcnt lgkmcnt(0) |
| 143 | ; TOSMEM-NEXT: s_buffer_load_dword s{{[0-9]+}}, s{{\[[0-9]+:[0-9]+\]}}, m0 ; 4-byte Folded Reload |
| 144 | |
| 145 | |
| 146 | ; GCN-NOT: v_readlane_b32 m0 |
| 147 | ; GCN-NOT: s_buffer_store_dword m0 |
| 148 | ; GCN-NOT: s_buffer_load_dword m0 |
| 149 | define void @m0_unavailable_spill(i32 %arg3) #0 { |
| 150 | main_body: |
| 151 | %m0 = call i32 asm sideeffect "; def $0, 1", "={M0}"() #0 |
| 152 | %tmp = call float @llvm.SI.fs.constant(i32 0, i32 0, i32 %arg3) |
| 153 | call void asm sideeffect "; clobber $0", "~{M0}"() #0 |
| 154 | %cmp = fcmp ueq float 0.000000e+00, %tmp |
| 155 | br i1 %cmp, label %if, label %else |
| 156 | |
| 157 | if: ; preds = %main_body |
| 158 | store volatile i32 8, i32 addrspace(1)* undef |
| 159 | br label %endif |
| 160 | |
| 161 | else: ; preds = %main_body |
| 162 | store volatile i32 11, i32 addrspace(1)* undef |
Matt Arsenault | 2510a31 | 2016-09-03 06:57:55 +0000 | [diff] [blame] | 163 | br label %endif |
| 164 | |
| 165 | endif: |
Matt Arsenault | 2510a31 | 2016-09-03 06:57:55 +0000 | [diff] [blame] | 166 | ret void |
| 167 | } |
| 168 | |
Marek Olsak | 79c0587 | 2016-11-25 17:37:09 +0000 | [diff] [blame] | 169 | ; GCN-LABEL: {{^}}restore_m0_lds: |
| 170 | ; TOSMEM: s_cmp_eq_u32 |
Matt Arsenault | 640c44b | 2016-11-29 19:39:53 +0000 | [diff] [blame^] | 171 | ; TOSMEM-NOT: m0 |
Marek Olsak | 79c0587 | 2016-11-25 17:37:09 +0000 | [diff] [blame] | 172 | ; TOSMEM: s_mov_b32 m0, s3 |
| 173 | ; TOSMEM: s_buffer_store_dword s4, s[84:87], m0 ; 4-byte Folded Spill |
Matt Arsenault | 640c44b | 2016-11-29 19:39:53 +0000 | [diff] [blame^] | 174 | ; TOSMEM-NOT: m0 |
Marek Olsak | 79c0587 | 2016-11-25 17:37:09 +0000 | [diff] [blame] | 175 | ; TOSMEM: s_cbranch_scc1 |
| 176 | |
| 177 | ; TOSMEM: s_mov_b32 m0, -1 |
| 178 | |
| 179 | ; TOSMEM: s_mov_b32 vcc_hi, m0 |
| 180 | ; TOSMEM: s_mov_b32 m0, s3 |
| 181 | ; TOSMEM: s_buffer_load_dword s4, s[84:87], m0 ; 4-byte Folded Reload |
| 182 | ; TOSMEM: s_add_u32 m0, s3, 0x100 |
| 183 | ; TOSMEM: s_waitcnt lgkmcnt(0) |
| 184 | ; TOSMEM: s_buffer_load_dword s5, s[84:87], m0 ; 4-byte Folded Reload |
| 185 | ; TOSMEM: s_mov_b32 m0, vcc_hi |
| 186 | ; TOSMEM: s_waitcnt lgkmcnt(0) |
| 187 | |
| 188 | ; TOSMEM: ds_write_b64 |
| 189 | |
Matt Arsenault | 640c44b | 2016-11-29 19:39:53 +0000 | [diff] [blame^] | 190 | ; TOSMEM-NOT: m0 |
Marek Olsak | 79c0587 | 2016-11-25 17:37:09 +0000 | [diff] [blame] | 191 | ; TOSMEM: s_add_u32 m0, s3, 0x200 |
| 192 | ; TOSMEM: s_buffer_load_dword s0, s[84:87], m0 ; 4-byte Folded Reload |
Matt Arsenault | 640c44b | 2016-11-29 19:39:53 +0000 | [diff] [blame^] | 193 | ; TOSMEM-NOT: m0 |
Marek Olsak | 79c0587 | 2016-11-25 17:37:09 +0000 | [diff] [blame] | 194 | ; TOSMEM: s_waitcnt lgkmcnt(0) |
Matt Arsenault | 640c44b | 2016-11-29 19:39:53 +0000 | [diff] [blame^] | 195 | ; TOSMEM-NOT: m0 |
Marek Olsak | 79c0587 | 2016-11-25 17:37:09 +0000 | [diff] [blame] | 196 | ; TOSMEM: s_mov_b32 m0, s0 |
| 197 | ; TOSMEM: ; use m0 |
| 198 | |
| 199 | ; TOSMEM: s_dcache_wb |
| 200 | ; TOSMEM: s_endpgm |
| 201 | define void @restore_m0_lds(i32 %arg) { |
| 202 | %m0 = call i32 asm sideeffect "s_mov_b32 m0, 0", "={M0}"() #0 |
| 203 | %sval = load volatile i64, i64 addrspace(2)* undef |
| 204 | %cmp = icmp eq i32 %arg, 0 |
| 205 | br i1 %cmp, label %ret, label %bb |
| 206 | |
| 207 | bb: |
| 208 | store volatile i64 %sval, i64 addrspace(3)* undef |
| 209 | call void asm sideeffect "; use $0", "{M0}"(i32 %m0) #0 |
| 210 | br label %ret |
| 211 | |
| 212 | ret: |
| 213 | ret void |
| 214 | } |
| 215 | |
Matt Arsenault | 2510a31 | 2016-09-03 06:57:55 +0000 | [diff] [blame] | 216 | declare float @llvm.SI.fs.constant(i32, i32, i32) readnone |
| 217 | |
| 218 | declare i32 @llvm.SI.packf16(float, float) readnone |
| 219 | |
| 220 | declare void @llvm.SI.export(i32, i32, i32, i32, i32, float, float, float, float) |
| 221 | |
| 222 | attributes #0 = { nounwind } |