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
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
|
;=========================== begin_copyright_notice ============================
;
; Copyright (C) 2021-2025 Intel Corporation
;
; SPDX-License-Identifier: MIT
;
;============================ end_copyright_notice =============================
; Check that bti is assigned to i32 state argument.
; RUN: %opt_legacy_typed %use_old_pass_manager% -GenXBTIAssignment -march=genx64 -mcpu=XeHPG -S < %s | FileCheck %s --check-prefixes=CHECK,CHECK-TYPED-PTRS
; RUN: %opt_legacy_opaque %use_old_pass_manager% -GenXBTIAssignment -march=genx64 -mcpu=XeHPG -S < %s | FileCheck %s --check-prefixes=CHECK,CHECK-OPAQUE-PTRS
; RUN: %opt_new_pm_typed -passes=GenXBTIAssignment -march=genx64 -mcpu=XeHPG -S < %s | FileCheck %s --check-prefixes=CHECK,CHECK-TYPED-PTRS
; RUN: %opt_new_pm_opaque -passes=GenXBTIAssignment -march=genx64 -mcpu=XeHPG -S < %s | FileCheck %s --check-prefixes=CHECK,CHECK-OPAQUE-PTRS
target datalayout = "e-p:64:64-i64:64-n8:16:32:64"
target triple = "spir64-unknown-unknown"
declare void @use_value(i32)
declare void @use_value64(i64)
; CHECK-LABEL: @simple(
define dllexport spir_kernel void @simple(i32 %surf, i32 %samp) #0 {
; CHECK: call void @use_value(i32 0)
; CHECK-NEXT: call void @use_value(i32 0)
call void @use_value(i32 %surf)
call void @use_value(i32 %samp)
ret void
}
; CHECK-LABEL: @mixed_srv_uav(
define dllexport spir_kernel void @mixed_srv_uav(i32 %image_ro, i32 %image_rw, i32 %buf, i32 %image_ro2) #0 {
; CHECK: call void @use_value(i32 0)
; CHECK-NEXT: call void @use_value(i32 2)
; CHECK-NEXT: call void @use_value(i32 3)
; CHECK-NEXT: call void @use_value(i32 1)
call void @use_value(i32 %image_ro)
call void @use_value(i32 %image_rw)
call void @use_value(i32 %buf)
call void @use_value(i32 %image_ro2)
ret void
}
; CHECK-LABEL: @mixed_all(
define dllexport spir_kernel void @mixed_all(i32 %imwo, i32 %imro, i32 %plain, i32 %samp1, i64 %svm, i32 %buf, i32 %samp2) #0 {
; CHECK: call void @use_value(i32 1)
; CHECK-NEXT: call void @use_value(i32 0)
; CHECK-NEXT: call void @use_value(i32 %plain)
; CHECK-NEXT: call void @use_value(i32 0)
; CHECK-NEXT: call void @use_value64(i64 %svm)
; CHECK-NEXT: call void @use_value(i32 2)
; CHECK-NEXT: call void @use_value(i32 1)
call void @use_value(i32 %imwo)
call void @use_value(i32 %imro)
call void @use_value(i32 %plain)
call void @use_value(i32 %samp1)
call void @use_value64(i64 %svm)
call void @use_value(i32 %buf)
call void @use_value(i32 %samp2)
ret void
}
; CHECK-LABEL: @image_array(
define dllexport spir_kernel void @image_array(i32 %im1daro, i32 %im2dawo) #0 {
; CHECK: call void @use_value(i32 0)
; CHECK-NEXT: call void @use_value(i32 1)
call void @use_value(i32 %im1daro)
call void @use_value(i32 %im2dawo)
ret void
}
; CHECK-LABEL: @image_media_block(
define dllexport spir_kernel void @image_media_block(i32 %image) #0 {
; CHECK: call void @use_value(i32 0)
call void @use_value(i32 %image)
ret void
}
attributes #0 = { "CMGenxMain" }
!genx.kernels = !{!0, !5, !10, !15, !20}
!genx.kernel.internal = !{!4, !9, !14, !19, !24}
; CHECK: !genx.kernel.internal = !{[[SIMPLE_NODE:![0-9]+]], [[MIXED_NODE:![0-9]+]], [[MIXED_ALL_NODE:![0-9]+]], [[IMAGE_ARRAY_NODE:![0-9]+]], [[IMAGE_MEDIA_BLOCK_NODE:![0-9]+]]}
; CHECK-TYPED-PTRS-DAG: [[SIMPLE_NODE]] = !{void (i32, i32)* @simple, null, null, null, [[SIMPLE_BTIS:![0-9]+]], i32 0}
; CHECK-OPAQUE-PTRS-DAG: [[SIMPLE_NODE]] = !{ptr @simple, null, null, null, [[SIMPLE_BTIS:![0-9]+]], i32 0}
; CHECK-DAG: [[SIMPLE_BTIS]] = !{i32 0, i32 0}
; CHECK-TYPED-PTRS-DAG: [[MIXED_NODE]] = !{void (i32, i32, i32, i32)* @mixed_srv_uav, null, null, null, [[MIXED_BTIS:![0-9]+]], i32 0}
; CHECK-OPAQUE-PTRS-DAG: [[MIXED_NODE]] = !{ptr @mixed_srv_uav, null, null, null, [[MIXED_BTIS:![0-9]+]], i32 0}
; CHECK-DAG: [[MIXED_BTIS]] = !{i32 0, i32 2, i32 3, i32 1}
; CHECK-TYPED-PTRS-DAG: [[MIXED_ALL_NODE]] = !{void (i32, i32, i32, i32, i64, i32, i32)* @mixed_all, null, null, null, [[MIXED_ALL_BTIS:![0-9]+]], i32 0}
; CHECK-OPAQUE-PTRS-DAG: [[MIXED_ALL_NODE]] = !{ptr @mixed_all, null, null, null, [[MIXED_ALL_BTIS:![0-9]+]], i32 0}
; CHECK-DAG: [[MIXED_ALL_BTIS]] = !{i32 1, i32 0, i32 -1, i32 0, i32 255, i32 2, i32 1}
; CHECK-TYPED-PTRS-DAG: [[IMAGE_ARRAY_NODE]] = !{void (i32, i32)* @image_array, null, null, null, [[IMAGE_ARRAY_BTIS:![0-9]+]], i32 0}
; CHECK-OPAQUE-PTRS-DAG: [[IMAGE_ARRAY_NODE]] = !{ptr @image_array, null, null, null, [[IMAGE_ARRAY_BTIS:![0-9]+]], i32 0}
; CHECK-DAG: [[IMAGE_ARRAY_BTIS]] = !{i32 0, i32 1}
; CHECK-TYPED-PTRS-DAG: [[IMAGE_MEDIA_BLOCK_NODE]] = !{void (i32)* @image_media_block, null, null, null, [[IMAGE_MEDIA_BLOCK_BTIS:![0-9]+]], i32 0}
; CHECK-OPAQUE-PTRS-DAG: [[IMAGE_MEDIA_BLOCK_NODE]] = !{ptr @image_media_block, null, null, null, [[IMAGE_MEDIA_BLOCK_BTIS:![0-9]+]], i32 0}
; CHECK-DAG: [[IMAGE_MEDIA_BLOCK_BTIS]] = !{i32 0}
!0 = !{void (i32, i32)* @simple, !"simple", !1, i32 0, i32 0, !2, !3, i32 0}
!1 = !{i32 2, i32 1}
!2 = !{i32 0, i32 0}
!3 = !{!"buffer_t read_write", !"sampler_t"}
!4 = !{void (i32, i32)* @simple, null, null, null, null}
!5 = !{void (i32, i32, i32, i32)* @mixed_srv_uav, !"mixed_srv_uav", !6, i32 0, i32 0, !7, !8, i32 0}
!6 = !{i32 2, i32 2, i32 2, i32 2}
!7 = !{i32 0, i32 0, i32 0, i32 0}
!8 = !{!"image2d_t read_only", !"image2d_t read_write", !"buffer_t", !"image2d_t read_only"}
!9 = !{void (i32, i32, i32, i32)* @mixed_srv_uav, null, null, null, null}
!10 = !{void (i32, i32, i32, i32, i64, i32, i32)* @mixed_all, !"mixed_srv_uav", !11, i32 0, i32 0, !12, !13, i32 0}
!11 = !{i32 2, i32 2, i32 0, i32 1, i32 0, i32 2, i32 1}
!12 = !{i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0}
!13 = !{!"image2d_t write_only", !"image2d_t read_only", !"", !"sampler_t", !"svmptr_t", !"buffer_t", !"sampler_t"}
!14 = !{void (i32, i32, i32, i32, i64, i32, i32)* @mixed_all, null, null, null, null}
!15 = !{void (i32, i32)* @image_array, !"image_array", !16, i32 0, i32 0, !17, !18, i32 0}
!16 = !{i32 2, i32 2}
!17 = !{i32 0, i32 0}
!18 = !{!"image1d_array_t read_only", !"image2d_array_t write_only"}
!19 = !{void (i32, i32)* @image_array, null, null, null, null}
!20 = !{void (i32)* @image_media_block, !"image_media_block", !21, i32 0, i32 0, !22, !23, i32 0}
!21 = !{i32 2}
!22 = !{i32 0}
!23 = !{!"image2d_media_block_t read_only"}
!24 = !{void (i32)* @image_media_block, null, null, null, null}
|
