KhronosGroup / KhronosGroup/SPIRV-Tools
spirv-opt: SSA rewrite with loop unroll causes segmentation fault
Open
component:optimization
- Dominant language
- C++
- Stars
- 1.4k
- Forks
- 709
- Avg merge
- 1d 22h
- Merged PRs (30d)
- 28
Description
The shader in the archive [data.zip](https://github.com/KhronosGroup/SPIRV-Tools/files/5447275/data.zip) causes a segmentation fault when executed with `spirv-opt --validate-after-all --ssa-rewrite --loop-unroll -o out.spv`.
Can be reproduced on 34ae8a47.
Contributor guide
Research direction
Start by downloading data.zip and reproducing the command `spirv-opt --validate-after-all --ssa-rewrite --loop-unroll -o out.spv` at commit 34ae8a47. Trace the failure through the SSA rewrite and loop-unroll passes; done means the shader no longer causes a segmentation fault with validation enabled.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- cpp
- Domain
- compilers, tooling
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100