KhronosGroup / KhronosGroup/SPIRV-Tools

spirv-val: doesn't seem to check for `VK_KHR_workgroup_memory_explicit_layout` extension and capability

Open
#6,081 1 comment 0 reactions 0 assignees View on GitHub
Dominant language
C++
Stars
1.4k
Forks
709
Avg merge
1d 22h
Merged PRs (30d)
28

Description

Validation doesn't seem to check for `VK_KHR_workgroup_memory_explicit_layout` extension and capability when `Offset` decoration is added to a `groupshared` variable.

This passes validation: https://godbolt.org/z/crPdhdfPG
Expected: https://godbolt.org/z/jYcxsvx7a

Contributor guide

Open the contributing guide

Research direction

Start by reproducing the validation difference using the two linked Godbolt examples and the spirv-val entry point. Trace validation for an Offset decoration on a groupshared variable, then confirm that the VK_KHR_workgroup_memory_explicit_layout extension and capability are enforced as shown by the expected example.

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
Stale
Clarity
Mostly clear
Newbie friendliness
38/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.