KhronosGroup / KhronosGroup/SPIRV-Tools

spirv-fuzz: Add all opcodes that are agnostic to signedness of operands to function

Open
#3,582 1 comment 0 reactions 0 assignees View on GitHub
component:fuzzer
Dominant language
C++
Stars
1.4k
Forks
709
Avg merge
1d 22h
Merged PRs (30d)
28

Description

The function IsAgnosticToSignednessOfOperand of
TransformationReplaceIdWithSynonym returns true when the given
opcode is agnostic to the signedness of the operand at the
given index.

The function only recognises some of such opcodes and it should
be completed so that it includes all of the opcodes satisfying the
requirement.

Contributor guide

Open the contributing guide

Research direction

Start at IsAgnosticToSignednessOfOperand in TransformationReplaceIdWithSynonym and review the opcode cases it currently recognizes. Compare them with the full set of signedness-agnostic operand opcodes, then verify that every qualifying opcode is handled consistently; the function should return true for all such opcode and operand-index combinations.

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
45/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.