KhronosGroup / KhronosGroup/SPIRV-Tools
spirv-fuzz: Flatten conditional branches produces invalid OpSelects pre SPIR-V 1.4
Open
component:fuzzer
- Dominant language
- C++
- Stars
- 1.4k
- Forks
- 709
- Avg merge
- 1d 22h
- Merged PRs (30d)
- 28
Description
The "flatten conditional branches" transformation turns OpPhi into OpSelect. Before SPIR-V 1.4 this has two problems:
- An OpPhi on something that isn't a scalar or vector (e.g. a matrix won't work) because OpSelect is restricted to scalar and vector types
- An OpPhi on a vector won't work because it requires a vector of booleans as the selector
Contributor guide
Assessment
This issue has not been assessed yet.