KhronosGroup / KhronosGroup/SPIRV-Tools

spirv-fuzz: Flatten conditional branches produces invalid OpSelects pre SPIR-V 1.4

Open
#3,894 0 comments 0 reactions 1 assignee Claimed by @afd View on GitHub
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

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.