1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
;=========================== begin_copyright_notice ============================
;
; Copyright (C) 2023 Intel Corporation
;
; SPDX-License-Identifier: MIT
;
;============================ end_copyright_notice =============================
;
; RUN: igc_opt %s -S -o - --igc-legalize-function-signatures | FileCheck %s
; ------------------------------------------------
; LegalizeFunctionSignatures
; ------------------------------------------------
; The test checks if struct argument passed as generic pointer with byval attribute is correctly legalized
%structtype = type { i32, i32 }
define spir_kernel void @kernel() {
; CHECK-LABEL: @kernel(
; CHECK: [[AL:%.*]] = alloca %structtype
; CHECK: [[TMP0:%.*]] = addrspacecast %structtype* [[AL]] to %structtype addrspace(4)*
; CHECK: [[GEP0:%.*]] = getelementptr inbounds %structtype, %structtype addrspace(4)* [[TMP0]], i32 0, i32 0
; CHECK: [[L0:%.*]] = load i32, i32 addrspace(4)* [[GEP0]]
; CHECK: [[I0:%.*]] = insertvalue %structtype undef, i32 [[L0]], 0
; CHECK: [[GEP1:%.*]] = getelementptr inbounds %structtype, %structtype addrspace(4)* [[TMP0]], i32 0, i32 1
; CHECK: [[L1:%.*]] = load i32, i32 addrspace(4)* [[GEP1]]
; CHECK: [[I1:%.*]] = insertvalue %structtype [[I0]], i32 [[L1]], 1
; CHECK: call i32 @foo(%structtype [[I1]])
; CHECK: ret void
%1 = alloca %structtype
%2 = addrspacecast %structtype* %1 to %structtype addrspace(4)*
call i32 @foo(%structtype addrspace(4)* byval(%structtype) %2)
ret void
}
define spir_func i32 @foo(%structtype addrspace(4)* byval(%structtype) %src) #0 {
; CHECK-LABEL: define spir_func i32 @foo(%structtype %src)
; CHECK: [[AL:%.*]] = alloca %structtype
; CHECK: [[GEP0:%.*]] = getelementptr inbounds %structtype, %structtype* [[AL]], i32 0, i32 0
; CHECK: [[E0:%.*]] = extractvalue %structtype %src, 0
; CHECK: store i32 [[E0]], i32* [[GEP0]]
; CHECK: [[GEP1:%.*]] = getelementptr inbounds %structtype, %structtype* [[AL]], i32 0, i32 1
; CHECK: [[E1:%.*]] = extractvalue %structtype %src, 1
; CHECK: store i32 [[E1]], i32* [[GEP1]]
;
; CHECK: [[ASC:%.*]] = addrspacecast %structtype* [[AL]] to %structtype addrspace(4)*
; CHECK: [[GEP2:%.*]] = getelementptr inbounds %structtype, %structtype addrspace(4)* [[ASC]], i64 0, i32 1
; CHECK: [[LOAD:%.*]] = load i32, i32 addrspace(4)* [[GEP2]]
; CHECK: ret i32 [[LOAD]]
%1 = getelementptr inbounds %structtype, %structtype addrspace(4)* %src, i64 0, i32 1
%2 = load i32, i32 addrspace(4)* %1
ret i32 %2
}
attributes #0 = { "visaStackCall" }
|
