KhronosGroup / KhronosGroup/SPIRV-Tools
Validate DebugTypeTemplate, DebugTypeTemplateParameter, DebugGlobalVariable, DebugInlinedAt, DebugValue
Open
component:validation
- Dominant language
- C++
- Stars
- 1.4k
- Forks
- 709
- Avg merge
- 1d 22h
- Merged PRs (30d)
- 28
Description
Validations of DebugTypeTemplate, DebugTypeTemplateParameter, DebugGlobalVariable, DebugInlinedAt, DebugValue are not added in spirv-val yet.
When we use function-inlining pass and opaque types, we have to validate them correctly.
Contributor guide
Research direction
Start by locating the spirv-val validation entry points for DebugTypeTemplate, DebugTypeTemplateParameter, DebugGlobalVariable, DebugInlinedAt, and DebugValue. Review how function-inlining and opaque types represent these instructions, then determine the required validation rules. Done means spirv-val correctly validates these debug constructs in both contexts, with coverage for the relevant cases.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- cpp
- Domain
- compilers
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 20/100