KhronosGroup / KhronosGroup/SPIRV-Tools
Validator should error out for `OpDot` on integer vectors
Open
component:validation
enhancement
- Dominant language
- C++
- Stars
- 1.4k
- Forks
- 709
- Avg merge
- 1d 22h
- Merged PRs (30d)
- 28
Description
The spec mandates the operands for `OpDot` to be vector of floats.
Contributor guide
Research direction
Read the SPIR-V specification requirement for OpDot operands, then locate the validator's OpDot operand checks and existing validation tests. Add coverage for integer-vector operands and verify that they are rejected while valid float-vector operands remain accepted.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- cpp
- Domain
- compilers
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 45/100