microsoft / microsoft/DirectXShaderCompiler

[SPIRV] OpAccessChain storage class mismatch when accessing resource member in struct array

Open
#8,384 0 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

spirv
Dominant language
C++
Stars
3.7k
Forks
900
Avg merge
2d 11h
Merged PRs (30d)
44

Description

When compiling HLSL that creates an array of structs with resource members and accesses them via constant indexing, DXC's SPIRV backend generates invalid SPIR-V:

fatal error: generated SPIR-V is invalid: The result pointer storage class and base pointer storage class in OpAccessChain do not match. %13 = OpAccessChain %_ptr_Uniform_uint %gBuf %uint_0 %uint_0

Repro:

RWByteAddressBuffer gBuf : register(u0);

struct BufStruct { RWByteAddressBuffer buf; };

[numthreads(1,1,1)] 
void main() {  
BufStruct s[2];  
s[0].buf = gBuf;
s[0].buf.Store(0, 42); 
}

Command:

dxc.exe -spirv -fspv-target-env=vulkan1.3 -T cs_6_0 -Fo out.spv repro.hlsl

https://godbolt.org/z/cqj4j1zzb

DXC DXIL compiles and runs this correctly. DXC version: main (built from source).

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start by running the provided HLSL reproducer with dxc.exe using the shown SPIR-V command, then trace the SPIR-V backend handling of OpAccessChain for resource members in struct arrays. Done means the reproducer compiles without the storage-class validation error and the generated SPIR-V is valid.

Written by the indexing model from the issue text.

Assessment

Tech stack
cpp
Domain
compilers
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Quiet
Clarity
Mostly clear
Newbie friendliness
48/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.