KhronosGroup / KhronosGroup/SPIRV-Tools
spirv-fuzz: Make synonyms involving OpAny and OpAll in the TransformationAddSynonym class
- Dominant language
- C++
- Stars
- 1.4k
- Forks
- 709
- Avg merge
- 1d 22h
- Merged PRs (30d)
- 28
Description
Extend the `TransformationAddSynonym` class by including the following cases:
- Make a synonym of `%true` as `OpAny` (a vector with `%true` somewhere in it)
- Make a synonym of `%true` as `OpAll` (a vector with `%true` everywhere in it)
- Make a synonym of `%false` in a similar manner
- Make a synonym of a boolean id `%b` via `OpAny` (a vector with `%b` somewhere and `%false` everywhere else)
Contributor guide
Research direction
Start by reading the TransformationAddSynonym class and tracing how it currently creates boolean synonyms. Add coverage for OpAny and OpAll with %true, %false, and a boolean id %b, including the specified vector contents; done means all four listed cases are supported and the relevant spirv-fuzz tests pass.
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
- Mostly clear
- Newbie friendliness
- 35/100