mirror of
https://github.com/RPCS3/llvm.git
synced 2026-01-31 01:25:19 +01:00
c6fa88b24e
Because the stack growth direction and addressing is done in the same direction, modifying SP at the beginning of the call sequence was incorrect. If we had a stack passed argument, we would end up skipping that number of bytes before pushing arguments, leaving unused/inconsistent space. The callee creates fixed stack objects in its frame, so the space necessary for these is already logically allocated in the callee, so we just let the callee increment SP if it really requires it. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@313279 91177308-0d34-0410-b5e6-96231b3b80d8
213 lines
9.4 KiB
LLVM
213 lines
9.4 KiB
LLVM
; RUN: llc -mtriple=amdgcn-amd-amdhsa -mcpu=fiji -verify-machineinstrs < %s | FileCheck -enable-var-scope -check-prefixes=GCN,VI %s
|
|
; RUN: llc -mtriple=amdgcn-amd-amdhsa -mcpu=hawaii -verify-machineinstrs < %s | FileCheck -enable-var-scope -check-prefixes=GCN,CI %s
|
|
|
|
%struct.ByValStruct = type { [4 x i32] }
|
|
|
|
; GCN-LABEL: {{^}}void_func_byval_struct:
|
|
; GCN: s_mov_b32 s5, s32
|
|
; GCN: buffer_load_dword [[LOAD0:v[0-9]+]], off, s[0:3], s5 offset:4{{$}}
|
|
; GCN-NOT: s32
|
|
; GCN: buffer_store_dword [[LOAD0]], off, s[0:3], s5 offset:4{{$}}
|
|
; GCN-NOT: s32
|
|
|
|
; GCN: buffer_load_dword [[LOAD1:v[0-9]+]], off, s[0:3], s5 offset:20{{$}}
|
|
; GCN-NOT: s32
|
|
; GCN: buffer_store_dword [[LOAD1]], off, s[0:3], s5 offset:20{{$}}
|
|
; GCN-NOT: s32
|
|
define void @void_func_byval_struct(%struct.ByValStruct* byval noalias nocapture align 4 %arg0, %struct.ByValStruct* byval noalias nocapture align 4 %arg1) #1 {
|
|
entry:
|
|
%arrayidx = getelementptr inbounds %struct.ByValStruct, %struct.ByValStruct* %arg0, i32 0, i32 0, i32 0
|
|
%tmp = load volatile i32, i32* %arrayidx, align 4
|
|
%add = add nsw i32 %tmp, 1
|
|
store volatile i32 %add, i32* %arrayidx, align 4
|
|
%arrayidx2 = getelementptr inbounds %struct.ByValStruct, %struct.ByValStruct* %arg1, i32 0, i32 0, i32 0
|
|
%tmp1 = load volatile i32, i32* %arrayidx2, align 4
|
|
%add3 = add nsw i32 %tmp1, 2
|
|
store volatile i32 %add3, i32* %arrayidx2, align 4
|
|
store volatile i32 9, i32 addrspace(1)* null, align 4
|
|
ret void
|
|
}
|
|
|
|
; GCN-LABEL: {{^}}void_func_byval_struct_non_leaf:
|
|
; GCN: s_mov_b32 s5, s32
|
|
; GCN-DAG: buffer_store_dword v32
|
|
; GCN-DAG: buffer_store_dword v33
|
|
; GCN-NOT: v_writelane_b32 v{{[0-9]+}}, s32
|
|
; GCN: v_writelane_b32
|
|
|
|
; GCN-DAG: s_add_u32 s32, s32, 0xb00{{$}}
|
|
|
|
; GCN-DAG: buffer_load_dword [[LOAD0:v[0-9]+]], off, s[0:3], s5 offset:4{{$}}
|
|
; GCN: v_add_i32_e32 [[ADD0:v[0-9]+]], vcc, 1, [[LOAD0]]
|
|
; GCN: buffer_store_dword [[ADD0]], off, s[0:3], s5 offset:4{{$}}
|
|
|
|
; GCN: buffer_load_dword [[LOAD1:v[0-9]+]], off, s[0:3], s5 offset:20{{$}}
|
|
; GCN: v_add_i32_e32 [[ADD1:v[0-9]+]], vcc, 2, [[LOAD1]]
|
|
|
|
; GCN: s_swappc_b64
|
|
|
|
; GCN: buffer_store_dword [[ADD1]], off, s[0:3], s5 offset:20{{$}}
|
|
|
|
; GCN: v_readlane_b32
|
|
; GCN-NOT: v_readlane_b32 s32
|
|
; GCN: buffer_load_dword v32,
|
|
; GCN: buffer_load_dword v33,
|
|
; GCN: s_sub_u32 s32, s32, 0xb00{{$}}
|
|
; GCN: s_setpc_b64
|
|
define void @void_func_byval_struct_non_leaf(%struct.ByValStruct* byval noalias nocapture align 4 %arg0, %struct.ByValStruct* byval noalias nocapture align 4 %arg1) #1 {
|
|
entry:
|
|
%arrayidx = getelementptr inbounds %struct.ByValStruct, %struct.ByValStruct* %arg0, i32 0, i32 0, i32 0
|
|
%tmp = load volatile i32, i32* %arrayidx, align 4
|
|
%add = add nsw i32 %tmp, 1
|
|
store volatile i32 %add, i32* %arrayidx, align 4
|
|
%arrayidx2 = getelementptr inbounds %struct.ByValStruct, %struct.ByValStruct* %arg1, i32 0, i32 0, i32 0
|
|
%tmp1 = load volatile i32, i32* %arrayidx2, align 4
|
|
%add3 = add nsw i32 %tmp1, 2
|
|
call void @external_void_func_void()
|
|
store volatile i32 %add3, i32* %arrayidx2, align 4
|
|
store volatile i32 9, i32 addrspace(1)* null, align 4
|
|
ret void
|
|
}
|
|
|
|
; GCN-LABEL: {{^}}call_void_func_byval_struct_func:
|
|
; GCN: s_mov_b32 s5, s32
|
|
; GCN-DAG: s_add_u32 s32, s32, 0xc00{{$}}
|
|
; GCN-DAG: v_writelane_b32
|
|
|
|
; GCN-DAG: v_mov_b32_e32 [[NINE:v[0-9]+]], 9
|
|
; GCN-DAG: v_mov_b32_e32 [[THIRTEEN:v[0-9]+]], 13
|
|
|
|
; GCN-DAG: buffer_store_dword [[NINE]], off, s[0:3], s5 offset:8
|
|
; GCN-DAG: buffer_store_dword [[THIRTEEN]], off, s[0:3], s5 offset:24
|
|
|
|
; GCN: buffer_load_dword [[LOAD0:v[0-9]+]], off, s[0:3], s5 offset:8
|
|
; GCN: buffer_load_dword [[LOAD1:v[0-9]+]], off, s[0:3], s5 offset:12
|
|
; GCN: buffer_load_dword [[LOAD2:v[0-9]+]], off, s[0:3], s5 offset:16
|
|
; GCN: buffer_load_dword [[LOAD3:v[0-9]+]], off, s[0:3], s5 offset:20
|
|
|
|
; GCN-NOT: s_add_u32 s32, s32, 0x800
|
|
|
|
; GCN-DAG: buffer_store_dword [[LOAD0]], off, s[0:3], s32 offset:4{{$}}
|
|
; GCN-DAG: buffer_store_dword [[LOAD1]], off, s[0:3], s32 offset:8
|
|
; GCN-DAG: buffer_store_dword [[LOAD2]], off, s[0:3], s32 offset:12
|
|
; GCN-DAG: buffer_store_dword [[LOAD3]], off, s[0:3], s32 offset:16
|
|
|
|
; GCN: buffer_load_dword [[LOAD4:v[0-9]+]], off, s[0:3], s5 offset:24
|
|
; GCN: buffer_load_dword [[LOAD5:v[0-9]+]], off, s[0:3], s5 offset:28
|
|
; GCN: buffer_load_dword [[LOAD6:v[0-9]+]], off, s[0:3], s5 offset:32
|
|
; GCN: buffer_load_dword [[LOAD7:v[0-9]+]], off, s[0:3], s5 offset:36
|
|
|
|
; GCN-DAG: buffer_store_dword [[LOAD4]], off, s[0:3], s32 offset:20
|
|
; GCN-DAG: buffer_store_dword [[LOAD5]], off, s[0:3], s32 offset:24
|
|
; GCN-DAG: buffer_store_dword [[LOAD6]], off, s[0:3], s32 offset:28
|
|
; GCN-DAG: buffer_store_dword [[LOAD7]], off, s[0:3], s32 offset:32
|
|
|
|
; GCN: s_swappc_b64
|
|
; GCN-NOT: v_readlane_b32 s32
|
|
; GCN: v_readlane_b32
|
|
; GCN-NOT: v_readlane_b32 s32
|
|
|
|
; GCN-NOT: s_sub_u32 s32, s32, 0x800
|
|
|
|
; GCN: s_sub_u32 s32, s32, 0xc00{{$}}
|
|
; GCN-NEXT: s_waitcnt
|
|
; GCN-NEXT: s_setpc_b64
|
|
define void @call_void_func_byval_struct_func() #0 {
|
|
entry:
|
|
%arg0 = alloca %struct.ByValStruct, align 4
|
|
%arg1 = alloca %struct.ByValStruct, align 4
|
|
%tmp = bitcast %struct.ByValStruct* %arg0 to i8*
|
|
call void @llvm.lifetime.start.p0i8(i64 32, i8* %tmp)
|
|
%tmp1 = bitcast %struct.ByValStruct* %arg1 to i8*
|
|
call void @llvm.lifetime.start.p0i8(i64 32, i8* %tmp1)
|
|
%arrayidx = getelementptr inbounds %struct.ByValStruct, %struct.ByValStruct* %arg0, i32 0, i32 0, i32 0
|
|
store volatile i32 9, i32* %arrayidx, align 4
|
|
%arrayidx2 = getelementptr inbounds %struct.ByValStruct, %struct.ByValStruct* %arg1, i32 0, i32 0, i32 0
|
|
store volatile i32 13, i32* %arrayidx2, align 4
|
|
call void @void_func_byval_struct(%struct.ByValStruct* byval nonnull align 4 %arg0, %struct.ByValStruct* byval nonnull align 4 %arg1)
|
|
call void @llvm.lifetime.end.p0i8(i64 32, i8* %tmp1)
|
|
call void @llvm.lifetime.end.p0i8(i64 32, i8* %tmp)
|
|
ret void
|
|
}
|
|
|
|
; GCN-LABEL: {{^}}call_void_func_byval_struct_kernel:
|
|
; GCN: s_mov_b32 s33, s7
|
|
; GCN: s_add_u32 s32, s33, 0xa00{{$}}
|
|
|
|
; GCN-DAG: v_mov_b32_e32 [[NINE:v[0-9]+]], 9
|
|
; GCN-DAG: v_mov_b32_e32 [[THIRTEEN:v[0-9]+]], 13
|
|
; GCN-DAG: buffer_store_dword [[NINE]], off, s[0:3], s33 offset:8
|
|
; GCN: buffer_store_dword [[THIRTEEN]], off, s[0:3], s33 offset:24
|
|
|
|
; GCN-NOT: s_add_u32 s32, s32, 0x800
|
|
|
|
; GCN-DAG: buffer_load_dword [[LOAD0:v[0-9]+]], off, s[0:3], s33 offset:8
|
|
; GCN-DAG: buffer_load_dword [[LOAD1:v[0-9]+]], off, s[0:3], s33 offset:12
|
|
; GCN-DAG: buffer_load_dword [[LOAD2:v[0-9]+]], off, s[0:3], s33 offset:16
|
|
; GCN-DAG: buffer_load_dword [[LOAD3:v[0-9]+]], off, s[0:3], s33 offset:20
|
|
|
|
; GCN-DAG: buffer_store_dword [[LOAD0]], off, s[0:3], s32 offset:4{{$}}
|
|
; GCN-DAG: buffer_store_dword [[LOAD1]], off, s[0:3], s32 offset:8
|
|
; GCN-DAG: buffer_store_dword [[LOAD2]], off, s[0:3], s32 offset:12
|
|
; GCN-DAG: buffer_store_dword [[LOAD3]], off, s[0:3], s32 offset:16
|
|
|
|
; GCN-DAG: buffer_load_dword [[LOAD4:v[0-9]+]], off, s[0:3], s33 offset:24
|
|
; GCN-DAG: buffer_load_dword [[LOAD5:v[0-9]+]], off, s[0:3], s33 offset:28
|
|
; GCN-DAG: buffer_load_dword [[LOAD6:v[0-9]+]], off, s[0:3], s33 offset:32
|
|
; GCN-DAG: buffer_load_dword [[LOAD7:v[0-9]+]], off, s[0:3], s33 offset:36
|
|
|
|
; GCN-DAG: buffer_store_dword [[LOAD4]], off, s[0:3], s32 offset:20
|
|
; GCN-DAG: buffer_store_dword [[LOAD5]], off, s[0:3], s32 offset:24
|
|
; GCN-DAG: buffer_store_dword [[LOAD6]], off, s[0:3], s32 offset:28
|
|
; GCN-DAG: buffer_store_dword [[LOAD7]], off, s[0:3], s32 offset:32
|
|
|
|
|
|
; GCN: s_swappc_b64
|
|
; GCN-NOT: s_sub_u32 s32
|
|
; GCN: s_endpgm
|
|
define amdgpu_kernel void @call_void_func_byval_struct_kernel() #0 {
|
|
entry:
|
|
%arg0 = alloca %struct.ByValStruct, align 4
|
|
%arg1 = alloca %struct.ByValStruct, align 4
|
|
%tmp = bitcast %struct.ByValStruct* %arg0 to i8*
|
|
call void @llvm.lifetime.start.p0i8(i64 32, i8* %tmp)
|
|
%tmp1 = bitcast %struct.ByValStruct* %arg1 to i8*
|
|
call void @llvm.lifetime.start.p0i8(i64 32, i8* %tmp1)
|
|
%arrayidx = getelementptr inbounds %struct.ByValStruct, %struct.ByValStruct* %arg0, i32 0, i32 0, i32 0
|
|
store volatile i32 9, i32* %arrayidx, align 4
|
|
%arrayidx2 = getelementptr inbounds %struct.ByValStruct, %struct.ByValStruct* %arg1, i32 0, i32 0, i32 0
|
|
store volatile i32 13, i32* %arrayidx2, align 4
|
|
call void @void_func_byval_struct(%struct.ByValStruct* byval nonnull align 4 %arg0, %struct.ByValStruct* byval nonnull align 4 %arg1)
|
|
call void @llvm.lifetime.end.p0i8(i64 32, i8* %tmp1)
|
|
call void @llvm.lifetime.end.p0i8(i64 32, i8* %tmp)
|
|
ret void
|
|
}
|
|
|
|
; GCN-LABEL: {{^}}call_void_func_byval_struct_kernel_no_frame_pointer_elim:
|
|
define amdgpu_kernel void @call_void_func_byval_struct_kernel_no_frame_pointer_elim() #2 {
|
|
entry:
|
|
%arg0 = alloca %struct.ByValStruct, align 4
|
|
%arg1 = alloca %struct.ByValStruct, align 4
|
|
%tmp = bitcast %struct.ByValStruct* %arg0 to i8*
|
|
call void @llvm.lifetime.start.p0i8(i64 32, i8* %tmp)
|
|
%tmp1 = bitcast %struct.ByValStruct* %arg1 to i8*
|
|
call void @llvm.lifetime.start.p0i8(i64 32, i8* %tmp1)
|
|
%arrayidx = getelementptr inbounds %struct.ByValStruct, %struct.ByValStruct* %arg0, i32 0, i32 0, i32 0
|
|
store volatile i32 9, i32* %arrayidx, align 4
|
|
%arrayidx2 = getelementptr inbounds %struct.ByValStruct, %struct.ByValStruct* %arg1, i32 0, i32 0, i32 0
|
|
store volatile i32 13, i32* %arrayidx2, align 4
|
|
call void @void_func_byval_struct(%struct.ByValStruct* byval nonnull align 4 %arg0, %struct.ByValStruct* byval nonnull align 4 %arg1)
|
|
call void @llvm.lifetime.end.p0i8(i64 32, i8* %tmp1)
|
|
call void @llvm.lifetime.end.p0i8(i64 32, i8* %tmp)
|
|
ret void
|
|
}
|
|
|
|
declare void @external_void_func_void() #0
|
|
|
|
declare void @llvm.lifetime.start.p0i8(i64, i8* nocapture) #3
|
|
declare void @llvm.lifetime.end.p0i8(i64, i8* nocapture) #3
|
|
|
|
attributes #0 = { nounwind }
|
|
attributes #1 = { noinline norecurse nounwind }
|
|
attributes #2 = { nounwind norecurse "no-frame-pointer-elim"="true" }
|