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
|
//TEST:SIMPLE(filecheck=CHECK):-stage compute -entry computeMain -target spirv
// Tests pointer casting rules: Only explicit casting is allowed between pointer types.
// All implicit conversions between pointer types should fail.
int* processMemory;
RWStructuredBuffer<int> output;
[numthreads(1, 1, 1)]
void computeMain(int id : SV_DispatchThreadID)
{
// regular address-of
// CHECK-NOT: ([[# @LINE+1]]): error
Ptr<int, Access::ReadWrite, AddressSpace::Device> rwPtr = processMemory + id.x;
// copying a pointer of T* syntax
// CHECK-NOT: ([[# @LINE+1]]): error
Ptr<int, Access::ReadWrite, AddressSpace::Device> copiedPtrOfLegacySyntax = processMemory;
// casting to Read ptr
// CHECK-NOT: ([[# @LINE+1]]): error
Ptr<int, Access::Read> rPtr = Ptr<int, Access::Read>(processMemory + id.x);
// casting to RW ptr from a R ptr
// CHECK-NOT: ([[# @LINE+1]]): error
Ptr<int, Access::ReadWrite, AddressSpace::Device> p1 = Ptr<int, Access::ReadWrite, AddressSpace::Device>(rPtr);
// casting to R ptr from a RW ptr
// CHECK-NOT: ([[# @LINE+1]]): error
Ptr<int, Access::Read, AddressSpace::Device> p2 = Ptr<int, Access::Read, AddressSpace::Device>(rwPtr);
// casting to ptr of different type
// CHECK-NOT: ([[# @LINE+1]]): error
Ptr<float, Access::ReadWrite, AddressSpace::Device> p3 = Ptr<float, Access::ReadWrite, AddressSpace::Device>(rPtr);
// Cannot implicit cast ptr's
// CHECK: ([[# @LINE+1]]): error 30019
Ptr<float, Access::ReadWrite, AddressSpace::Device> p4 = rPtr;
// cannot implcitly cast between different access qualifiers
// CHECK: ([[# @LINE+1]]): error 30019
Ptr<int, Access::Read> p5 = Ptr<int, Access::ReadWrite>(processMemory + id.x);
// cannot implcitly cast between different access qualifiers
// CHECK: ([[# @LINE+1]]): error 30019
Ptr<int, Access::ReadWrite> p6 = Ptr<int, Access::Read>(processMemory + id.x);
// TODO: Enable this when we allow user-defined group-shared address space, Issue #8173.
// Cannot cast between different address spaces.
// CHECK: ([[# @LINE+1]]): error
Ptr<float, Access::ReadWrite, AddressSpace::GroupShared> p7 = Ptr<float, Access::ReadWrite, AddressSpace::GroupShared>(rwPtr);
// CHECK: ([[# @LINE+1]]): error
Ptr<float, Access::ReadWrite, AddressSpace::GroupShared> p8 = Ptr<float, Access::ReadWrite, AddressSpace::GroupShared>(p1);
// CHECK: ([[# @LINE+1]]): error
Ptr<float, Access::ReadWrite, AddressSpace::GroupShared> p9 = rwPtr;
output[id] = *rwPtr;
}
|
