summaryrefslogtreecommitdiffstats
path: root/tests/language-feature/pointer/get-address-validation.slang
blob: 3931c13a2c10c06bc7d4a416f4c3ba8875d5903a (plain)
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
//TEST:SIMPLE(filecheck=CHECK):-stage compute -entry computeMain -target spirv

// Tests for invalid/valid use of `__getAddress`

struct DeviceStruct
{
    int data1;
    int data2;
}

struct StructPtrInStruct
{
    DeviceStruct* ptr;
}

uniform int* bufferUserPointer;
RWStructuredBuffer<int> bufferStorage;
groupshared int bufferGroupShared[100];
uniform DeviceStruct* bufferUserPointerStruct;
uniform int2* bufferUserPointerVector;

int* output;

typealias GroupSharedPtr<T> = Ptr<T, Access::ReadWrite, AddressSpace::GroupShared>;

GroupSharedPtr<T> paramGroupShared<T : __BuiltinIntegerType>(out groupshared T[100] ptr)
{
    // CHECK: ([[# @LINE+1]]): error 30019
    T* ptr1 = __getAddress(ptr[5]);

    // CHECK-NOT: ([[# @LINE+1]]): error
    GroupSharedPtr<T> ptr2 = __getAddress(ptr[5]);

    return ptr2;
}

[numthreads(1, 1, 1)]
void computeMain(int id : SV_DispatchThreadID)
{
    // CHECK: ([[# @LINE+1]]): error 31160
    int* ptr1 = __getAddress(bufferStorage[id.x]);

    // CHECK ([[# @LINE+1]]): error
    int[100]* ptr2 = __getAddress(bufferGroupShared);

    // CHECK: ([[# @LINE+1]]): error
    int* ptr3 = __getAddress(bufferGroupShared[id.x]);

    // CHECK-NOT: ([[# @LINE+1]]): error
    int* ptr4 = __getAddress(bufferUserPointer[id.x]);

    // CHECK-NOT: ([[# @LINE+1]]): error
    GroupSharedPtr<int[100]> ptr5 = __getAddress(bufferGroupShared);

    // CHECK-NOT: ([[# @LINE+1]]): error
    GroupSharedPtr<int> ptr6 = __getAddress(bufferGroupShared[id.x]);

    // CHECK-NOT: ([[# @LINE+1]]): error
    GroupSharedPtr<int> ptr7 = paramGroupShared(bufferGroupShared);

    // CHECK-NOT: ([[# @LINE+1]]): error
    int* ptr8 = __getAddress(bufferUserPointerStruct.data1);

    StructPtrInStruct structPtrInStruct;
    structPtrInStruct.ptr = bufferUserPointerStruct;
    // CHECK-NOT: ([[# @LINE+1]]): error
    int* ptr9 = __getAddress(structPtrInStruct.ptr[id.x].data1);

    // CHECK-NOT: ([[# @LINE+1]]): error
    int* ptr10 = __getAddress(bufferUserPointerVector[0].x);

    output[id] = ptr1[id];
    output[id] = ptr2[id][0];
    output[id] = ptr3[id];
    output[id] = ptr4[id];
    output[id] = ptr5[id];
    output[id] = ptr6[id];
    output[id] = ptr7[id];
    output[id] = ptr8[id];
    output[id] = ptr9[id];
    output[id] = ptr10[id];
}