summaryrefslogtreecommitdiffstats
path: root/tests/bugs/mutating/mutating-generic-method.slang
blob: 2355dd9aec9c698d2e87f4d81d026a20311ddb18 (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
//TEST(compute):COMPARE_COMPUTE_EX:-slang -compute -shaderobj
//TEST(compute,vulkan):COMPARE_COMPUTE_EX:-vk -slang -compute -shaderobj

// Confirm that a generic method marked `[mutating]`
// produces an `inout` parameter for `this`.

interface IGenerator
{
    [mutating] int generate();
}

struct SimpleGenerator : IGenerator
{
    int state = 0;

    [mutating] int generate() { return state++; }
}


struct Reducer
{
    int state = 0;
    [mutating] void update<S : IGenerator>(inout S g)
    {
        state = (state << 8) | state;
        state = state + g.generate();
    }
}

int test(int val)
{
    SimpleGenerator g = { 0 };
    Reducer r = { val+1 };

    r.update(g);
    r.update(g);

    return r.state;
}

//TEST_INPUT:ubuffer(data=[0 0 0 0], stride=4):out, name outputBuffer
RWStructuredBuffer<int> outputBuffer;

[numthreads(4, 1, 1)]
void computeMain(int3 dispatchThreadID : SV_DispatchThreadID)
{
    int tid = dispatchThreadID.x;
    int val = test(tid);
    outputBuffer[tid] = val;
}