KhronosGroup / KhronosGroup/SPIRV-Tools
assert when calling SpirvToolsAnalyzeDeadOutputStores()
Open
component:optimization
- Dominant language
- C++
- Stars
- 1.4k
- Forks
- 709
- Avg merge
- 1d 22h
- Merged PRs (30d)
- 28
Description
After first calling SpirvToolsEliminateDeadInputComponents(), which doesn't seem to change the SPIRV, SpirvToolsAnalyzeDeadOutputStores() will then raise an assertion on the attached SPIRV.
Thanks
[spirv1.txt](https://github.com/user-attachments/files/16430365/spirv1.txt)
Contributor guide
Research direction
Reproduce the issue with the attached spirv1.txt by calling SpirvToolsEliminateDeadInputComponents() followed by SpirvToolsAnalyzeDeadOutputStores(). Trace the assertion through those entry points and verify that analyzing the unchanged SPIR-V no longer asserts after the elimination call.
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
- 35/100