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
|
;=========================== begin_copyright_notice ============================
;
; Copyright (C) 2021-2025 Intel Corporation
;
; SPDX-License-Identifier: MIT
;
;============================ end_copyright_notice =============================
; Check that bti is assigned to opaque pointer state arguments.
; RUN: %opt_legacy_typed %use_old_pass_manager% -GenXBTIAssignment -march=genx64 -mcpu=XeHPG -S < %s | FileCheck %s --check-prefixes=CHECK,CHECK-TYPED-PTRS,RAW,RAW-TYPED-PTRS
; RUN: %opt_legacy_typed %use_old_pass_manager% -GenXBTIAssignment -instcombine -march=genx64 -mcpu=XeHPG -S < %s | FileCheck %s --check-prefixes=CHECK,CHECK-TYPED-PTRS,CLEAN
; RUN: %opt_legacy_opaque %use_old_pass_manager% -GenXBTIAssignment -march=genx64 -mcpu=XeHPG -S < %s | FileCheck %s --check-prefixes=CHECK,CHECK-OPAQUE-PTRS,RAW,RAW-OPAQUE-PTRS
; RUN: %opt_legacy_opaque %use_old_pass_manager% -GenXBTIAssignment -instcombine -march=genx64 -mcpu=XeHPG -S < %s | FileCheck %s --check-prefixes=CHECK,CHECK-OPAQUE-PTRS,CLEAN
; RUN: %opt_new_pm_typed -passes=GenXBTIAssignment -march=genx64 -mcpu=XeHPG -S < %s | FileCheck %s --check-prefixes=CHECK,CHECK-TYPED-PTRS,RAW,RAW-TYPED-PTRS
; RUN: %opt_new_pm_typed -passes=GenXBTIAssignment,instcombine -march=genx64 -mcpu=XeHPG -S < %s | FileCheck %s --check-prefixes=CHECK,CHECK-TYPED-PTRS,CLEAN
; RUN: %opt_new_pm_opaque -passes=GenXBTIAssignment -march=genx64 -mcpu=XeHPG -S < %s | FileCheck %s --check-prefixes=CHECK,CHECK-OPAQUE-PTRS,RAW,RAW-OPAQUE-PTRS
; RUN: %opt_new_pm_opaque -passes=GenXBTIAssignment,instcombine -march=genx64 -mcpu=XeHPG -S < %s | FileCheck %s --check-prefixes=CHECK,CHECK-OPAQUE-PTRS,CLEAN
target datalayout = "e-p:64:64-i64:64-n8:16:32:64"
target triple = "spir64-unknown-unknown"
declare void @use_value(i32)
%buf_rw_t = type opaque
%ocl.sampler_t = type opaque
%ocl.image2d_ro_t = type opaque
%ocl.image2d_rw_t = type opaque
; RAW-LABEL: @simple(
; CLEAN-LABEL: @simple(
define dllexport spir_kernel void @simple(%buf_rw_t* %surf, %ocl.sampler_t* %samp) #0 {
; RAW-TYPED-PTRS: [[SURF_INT:%[^ ]+]] = ptrtoint %buf_rw_t* null to i32
; RAW-TYPED-PTRS-NEXT: [[SAMP_INT:%[^ ]+]] = ptrtoint %ocl.sampler_t* null to i32
; RAW-OPAQUE-PTRS: [[SURF_INT:%[^ ]+]] = ptrtoint ptr null to i32
; RAW-OPAQUE-PTRS-NEXT: [[SAMP_INT:%[^ ]+]] = ptrtoint ptr null to i32
; RAW-NEXT: call void @use_value(i32 [[SURF_INT]])
; RAW-NEXT: call void @use_value(i32 [[SAMP_INT]])
; COM: Inst combine cleans extra casts.
; CLEAN: call void @use_value(i32 0)
; CLEAN-NEXT: call void @use_value(i32 0)
%surf.int = ptrtoint %buf_rw_t* %surf to i32
%samp.int = ptrtoint %ocl.sampler_t* %samp to i32
call void @use_value(i32 %surf.int)
call void @use_value(i32 %samp.int)
ret void
}
; RAW-LABEL: @mixed_srv_uav(
; CLEAN-LABEL: @mixed_srv_uav(
define dllexport spir_kernel void @mixed_srv_uav(%ocl.image2d_ro_t* %image_ro,
%ocl.image2d_rw_t* %image_rw,
%buf_rw_t* %buf,
%ocl.image2d_ro_t* %image_ro2) #0 {
; RAW-TYPED-PTRS: [[SURF_INT1:%[^ ]+]] = ptrtoint %ocl.image2d_ro_t* null to i32
; RAW-TYPED-PTRS-NEXT: [[SURF_INT2:%[^ ]+]] = ptrtoint %ocl.image2d_rw_t* inttoptr (i32 2 to %ocl.image2d_rw_t*) to i32
; RAW-TYPED-PTRS-NEXT: [[SURF_INT3:%[^ ]+]] = ptrtoint %buf_rw_t* inttoptr (i32 3 to %buf_rw_t*) to i32
; RAW-TYPED-PTRS-NEXT: [[SURF_INT4:%[^ ]+]] = ptrtoint %ocl.image2d_ro_t* inttoptr (i32 1 to %ocl.image2d_ro_t*) to i32
; RAW-OPAQUE-PTRS: [[SURF_INT1:%[^ ]+]] = ptrtoint ptr null to i32
; RAW-OPAQUE-PTRS-NEXT: [[SURF_INT2:%[^ ]+]] = ptrtoint ptr inttoptr (i32 2 to ptr) to i32
; RAW-OPAQUE-PTRS-NEXT: [[SURF_INT3:%[^ ]+]] = ptrtoint ptr inttoptr (i32 3 to ptr) to i32
; RAW-OPAQUE-PTRS-NEXT: [[SURF_INT4:%[^ ]+]] = ptrtoint ptr inttoptr (i32 1 to ptr) to i32
; RAW-NEXT: call void @use_value(i32 [[SURF_INT1]])
; RAW-NEXT: call void @use_value(i32 [[SURF_INT2]])
; RAW-NEXT: call void @use_value(i32 [[SURF_INT3]])
; RAW-NEXT: call void @use_value(i32 [[SURF_INT4]])
; COM: Inst combine cleanup.
; CLEAN: call void @use_value(i32 0)
; CLEAN-NEXT: call void @use_value(i32 2)
; CLEAN-NEXT: call void @use_value(i32 3)
; CLEAN-NEXT: call void @use_value(i32 1)
%surf.int.1 = ptrtoint %ocl.image2d_ro_t* %image_ro to i32
%surf.int.2 = ptrtoint %ocl.image2d_rw_t* %image_rw to i32
%surf.int.3 = ptrtoint %buf_rw_t* %buf to i32
%surf.int.4 = ptrtoint %ocl.image2d_ro_t* %image_ro2 to i32
call void @use_value(i32 %surf.int.1)
call void @use_value(i32 %surf.int.2)
call void @use_value(i32 %surf.int.3)
call void @use_value(i32 %surf.int.4)
ret void
}
attributes #0 = { "CMGenxMain" }
!genx.kernels = !{!0, !5}
!genx.kernel.internal = !{!4, !9}
; CHECK: !genx.kernel.internal = !{[[SIMPLE_NODE:![0-9]+]], [[MIXED_NODE:![0-9]+]]}
; CHECK-TYPED-PTRS-DAG: [[SIMPLE_NODE]] = !{void (%buf_rw_t*, %ocl.sampler_t*)* @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 (%ocl.image2d_ro_t*, %ocl.image2d_rw_t*, %buf_rw_t*, %ocl.image2d_ro_t*)* @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}
!0 = !{void (%buf_rw_t*, %ocl.sampler_t*)* @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 (%buf_rw_t*, %ocl.sampler_t*)* @simple, null, null, null, null}
!5 = !{void (%ocl.image2d_ro_t*, %ocl.image2d_rw_t*, %buf_rw_t*, %ocl.image2d_ro_t*)* @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 (%ocl.image2d_ro_t*, %ocl.image2d_rw_t*, %buf_rw_t*, %ocl.image2d_ro_t*)* @mixed_srv_uav, null, null, null, null}
|
