tests/bugs/spirv-opt-SROA-of-globals.slang


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

//TEST:SIMPLE(filecheck=CHECK): -target spirv -fvk-use-entrypoint-name -enable-experimental-passes

// This test checks that spirv-opt is running SROA (scalar replacement of aggregates) to 
// hoist out all member variables of a struct. If this sucsessfully runs, we should not see
// any `OpCompositeConstruct` of our `%Data` struct.
// Note: SROA will only run for 100 elements if spirv-opt does not manually set the spirv-opt `scalar-replacement` option

//CHECK-NOT: OpCompositeConstruct %Data
struct Data
{
    uint data0;
    uint data1;
    uint data2;
};

static Data globalVar;
ByteAddressBuffer bab;
RWStructuredBuffer<uint> outputBuffer;

struct Payload_t
{
    uint dataOut;
};

[shader("anyhit")]
void main1(inout Payload_t payload)
{
    globalVar = bab.Load<Data>(0);
    payload.dataOut = globalVar.data0;
}

[shader("anyhit")]
void main2(inout Payload_t payload)
{
    globalVar = bab.Load<Data>(0);
    payload.dataOut = globalVar.data0;
}