From 09a9d673322ebf4ca2fcb7d48f13a44e015ea33f Mon Sep 17 00:00:00 2001 From: Yong He Date: Mon, 9 Dec 2024 04:48:03 -0800 Subject: Allow pointers to existential values. (#5793) * Fix pointer offset logic and add executable tests. * Fix. * Fix test. * Add existential ptr test. * Allow pointers to existential values. * Fix. * Fix. --------- Co-authored-by: Ellie Hermaszewska --- tests/spirv/ptr-unsized-array-3.slang | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 tests/spirv/ptr-unsized-array-3.slang (limited to 'tests/spirv/ptr-unsized-array-3.slang') diff --git a/tests/spirv/ptr-unsized-array-3.slang b/tests/spirv/ptr-unsized-array-3.slang new file mode 100644 index 000000000..ffd1345ea --- /dev/null +++ b/tests/spirv/ptr-unsized-array-3.slang @@ -0,0 +1,29 @@ +//TEST:COMPARE_COMPUTE(filecheck-buffer=CHECK): -vk -emit-spirv-directly +//DISABLED_TEST: COMPARE_COMPUTE(filecheck-buffer=CHECK): -wgpu +//DISABLED_TEST: COMPARE_COMPUTE(filecheck-buffer=CHECK): -d3d11 +//DISABLED_TEST: COMPARE_COMPUTE(filecheck-buffer=CHECK): -d3d12 +//DISABLED_TEST: COMPARE_COMPUTE(filecheck-buffer=CHECK): -metal + +// Test a pointer to a struct with a trailing unsized array. + +struct MeshStorage { + int foo; + uint64_t QuadData[]; +}; + +//TEST_INPUT: set pStorage = ubuffer(data=[1 2 3 4 5 6 7 8],stride=4); +uniform MeshStorage* pStorage; + +//TEST_INPUT: set outputBuffer = out ubuffer(data=[0 0 0 0],stride=4); +uniform RWStructuredBuffer outputBuffer; + +[numthreads(1,1,1)] +void computeMain() +{ + // CHECK: 5 + // CHECK: 6 + // CHECK: 1 + outputBuffer[0] = (int)(pStorage.QuadData[1]&0xFFFFFFFF); + outputBuffer[1] = (int)(pStorage.QuadData[1]>>32); + outputBuffer[2] = pStorage.foo; +} \ No newline at end of file -- cgit v1.2.3