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
|
// RUN: mlir-opt -convert-spirv-to-llvm -verify-diagnostics %s | FileCheck %s --check-prefixes=CHECK-UNKNOWN,CHECK-ALL
// RUN: mlir-opt -convert-spirv-to-llvm='client-api=OpenCL' -verify-diagnostics %s | FileCheck %s --check-prefixes=CHECK-OPENCL,CHECK-ALL
// CHECK-OPENCL: llvm.func @pointerUniformConstant(!llvm.ptr<2>)
// CHECK-UNKNOWN: llvm.func @pointerUniformConstant(!llvm.ptr)
spirv.func @pointerUniformConstant(!spirv.ptr<i1, UniformConstant>) "None"
// CHECK-OPENCL: llvm.mlir.global external constant @varUniformConstant() {addr_space = 2 : i32} : i1
// CHECK-UNKNOWN: llvm.mlir.global external constant @varUniformConstant() {addr_space = 0 : i32} : i1
spirv.GlobalVariable @varUniformConstant : !spirv.ptr<i1, UniformConstant>
// CHECK-OPENCL: llvm.func @pointerInput(!llvm.ptr<1>)
// CHECK-UNKNOWN: llvm.func @pointerInput(!llvm.ptr)
spirv.func @pointerInput(!spirv.ptr<i1, Input>) "None"
// CHECK-OPENCL: llvm.mlir.global external constant @varInput() {addr_space = 1 : i32} : i1
// CHECK-UNKNOWN: llvm.mlir.global external constant @varInput() {addr_space = 0 : i32} : i1
spirv.GlobalVariable @varInput : !spirv.ptr<i1, Input>
// CHECK-ALL: llvm.func @pointerUniform(!llvm.ptr)
spirv.func @pointerUniform(!spirv.ptr<i1, Uniform>) "None"
// CHECK-ALL: llvm.func @pointerOutput(!llvm.ptr)
spirv.func @pointerOutput(!spirv.ptr<i1, Output>) "None"
// CHECK-ALL: llvm.mlir.global external @varOutput() {addr_space = 0 : i32} : i1
spirv.GlobalVariable @varOutput : !spirv.ptr<i1, Output>
// CHECK-OPENCL: llvm.func @pointerWorkgroup(!llvm.ptr<3>)
// CHECK-UNKNOWN: llvm.func @pointerWorkgroup(!llvm.ptr)
spirv.func @pointerWorkgroup(!spirv.ptr<i1, Workgroup>) "None"
// CHECK-OPENCL: llvm.func @pointerCrossWorkgroup(!llvm.ptr<1>)
// CHECK-UNKNOWN: llvm.func @pointerCrossWorkgroup(!llvm.ptr)
spirv.func @pointerCrossWorkgroup(!spirv.ptr<i1, CrossWorkgroup>) "None"
// CHECK-ALL: llvm.func @pointerPrivate(!llvm.ptr)
spirv.func @pointerPrivate(!spirv.ptr<i1, Private>) "None"
// CHECK-ALL: llvm.mlir.global private @varPrivate() {addr_space = 0 : i32} : i1
spirv.GlobalVariable @varPrivate : !spirv.ptr<i1, Private>
// CHECK-ALL: llvm.func @pointerFunction(!llvm.ptr)
spirv.func @pointerFunction(!spirv.ptr<i1, Function>) "None"
// CHECK-OPENCL: llvm.func @pointerGeneric(!llvm.ptr<4>)
// CHECK-UNKNOWN: llvm.func @pointerGeneric(!llvm.ptr)
spirv.func @pointerGeneric(!spirv.ptr<i1, Generic>) "None"
// CHECK-ALL: llvm.func @pointerPushConstant(!llvm.ptr)
spirv.func @pointerPushConstant(!spirv.ptr<i1, PushConstant>) "None"
// CHECK-ALL: llvm.func @pointerAtomicCounter(!llvm.ptr)
spirv.func @pointerAtomicCounter(!spirv.ptr<i1, AtomicCounter>) "None"
// CHECK-ALL: llvm.func @pointerImage(!llvm.ptr)
spirv.func @pointerImage(!spirv.ptr<i1, Image>) "None"
// CHECK-ALL: llvm.func @pointerStorageBuffer(!llvm.ptr)
spirv.func @pointerStorageBuffer(!spirv.ptr<i1, StorageBuffer>) "None"
// CHECK-ALL: llvm.mlir.global external @varStorageBuffer() {addr_space = 0 : i32} : i1
spirv.GlobalVariable @varStorageBuffer : !spirv.ptr<i1, StorageBuffer>
// CHECK-ALL: llvm.func @pointerCallableDataKHR(!llvm.ptr)
spirv.func @pointerCallableDataKHR(!spirv.ptr<i1, CallableDataKHR>) "None"
// CHECK-ALL: llvm.func @pointerIncomingCallableDataKHR(!llvm.ptr)
spirv.func @pointerIncomingCallableDataKHR(!spirv.ptr<i1, IncomingCallableDataKHR>) "None"
// CHECK-ALL: llvm.func @pointerRayPayloadKHR(!llvm.ptr)
spirv.func @pointerRayPayloadKHR(!spirv.ptr<i1, RayPayloadKHR>) "None"
// CHECK-ALL: llvm.func @pointerHitAttributeKHR(!llvm.ptr)
spirv.func @pointerHitAttributeKHR(!spirv.ptr<i1, HitAttributeKHR>) "None"
// CHECK-ALL: llvm.func @pointerIncomingRayPayloadKHR(!llvm.ptr)
spirv.func @pointerIncomingRayPayloadKHR(!spirv.ptr<i1, IncomingRayPayloadKHR>) "None"
// CHECK-ALL: llvm.func @pointerShaderRecordBufferKHR(!llvm.ptr)
spirv.func @pointerShaderRecordBufferKHR(!spirv.ptr<i1, ShaderRecordBufferKHR>) "None"
// CHECK-ALL: llvm.func @pointerPhysicalStorageBuffer(!llvm.ptr)
spirv.func @pointerPhysicalStorageBuffer(!spirv.ptr<i1, PhysicalStorageBuffer> { spirv.decoration = #spirv.decoration<Aliased> }) "None"
// CHECK-ALL: llvm.func @pointerCodeSectionINTEL(!llvm.ptr)
spirv.func @pointerCodeSectionINTEL(!spirv.ptr<i1, CodeSectionINTEL>) "None"
// CHECK-OPENCL: llvm.func @pointerDeviceOnlyINTEL(!llvm.ptr<5>)
// CHECK-UNKNOWN: llvm.func @pointerDeviceOnlyINTEL(!llvm.ptr)
spirv.func @pointerDeviceOnlyINTEL(!spirv.ptr<i1, DeviceOnlyINTEL>) "None"
// CHECK-OPENCL: llvm.func @pointerHostOnlyINTEL(!llvm.ptr<6>)
// CHECK-UNKNOWN: llvm.func @pointerHostOnlyINTEL(!llvm.ptr)
spirv.func @pointerHostOnlyINTEL(!spirv.ptr<i1, HostOnlyINTEL>) "None"
|
