AuroraMiddleware/SPIRV-Tools
1
0
Fork 0
mirror of https://github.com/KhronosGroup/SPIRV-Tools synced 2024-11-27 05:40:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

spirv-fuzz: support floating-point in TransformationInvertComparisonOperator (#3551)

Browse Source
This commit is contained in:
Antoni Karpiński 2020-07-17 17:55:26 +02:00 committed by GitHub
parent fb32c40741
commit bcc78b3e99
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 36 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
source/fuzz/transformation_invert_comparison_operator.cpp
View File

@ -94,6 +94,18 @@ bool TransformationInvertComparisonOperator::IsInversionSupported(
case SpvOpULessThanEqual:
case SpvOpIEqual:
case SpvOpINotEqual:
case SpvOpFOrdEqual:
case SpvOpFUnordEqual:
case SpvOpFOrdNotEqual:
case SpvOpFUnordNotEqual:
case SpvOpFOrdLessThan:
case SpvOpFUnordLessThan:
case SpvOpFOrdLessThanEqual:
case SpvOpFUnordLessThanEqual:
case SpvOpFOrdGreaterThan:
case SpvOpFUnordGreaterThan:
case SpvOpFOrdGreaterThanEqual:
case SpvOpFUnordGreaterThanEqual:
return true;
default:
return false;
@ -124,6 +136,30 @@ SpvOp TransformationInvertComparisonOperator::InvertOpcode(SpvOp opcode) {
return SpvOpINotEqual;
case SpvOpINotEqual:
return SpvOpIEqual;
case SpvOpFOrdEqual:
return SpvOpFUnordNotEqual;
case SpvOpFUnordEqual:
return SpvOpFOrdNotEqual;
case SpvOpFOrdNotEqual:
return SpvOpFUnordEqual;
case SpvOpFUnordNotEqual:
return SpvOpFOrdEqual;
case SpvOpFOrdLessThan:
return SpvOpFUnordGreaterThanEqual;
case SpvOpFUnordLessThan:
return SpvOpFOrdGreaterThanEqual;
case SpvOpFOrdLessThanEqual:
return SpvOpFUnordGreaterThan;
case SpvOpFUnordLessThanEqual:
return SpvOpFOrdGreaterThan;
case SpvOpFOrdGreaterThan:
return SpvOpFUnordLessThanEqual;
case SpvOpFUnordGreaterThan:
return SpvOpFOrdLessThanEqual;
case SpvOpFOrdGreaterThanEqual:
return SpvOpFUnordLessThan;
case SpvOpFUnordGreaterThanEqual:
return SpvOpFOrdLessThan;
default:
// The program will fail in the debug mode because of the assertion
// at the beginning of the function.