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