AuroraMiddleware/SPIRV-Tools
1
0
Fork 0
mirror of https://github.com/KhronosGroup/SPIRV-Tools synced 2024-12-27 02:10:15 +00:00
Code Issues Packages Projects Releases Wiki Activity

spirv-fuzz: Added test to increase coverage of the add_parameter transformation (#4305)

Browse Source 
Fixes #4294 by achieving full coverage of this transformation.
This commit is contained in:
EGJ1996 2021-06-02 18:44:42 +02:00 committed by GitHub
parent 126a826d3a
commit c853a91144
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 19 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
test/fuzz/transformation_add_parameter_test.cpp
View File

@ -35,6 +35,10 @@ TEST(TransformationAddParameterTest, NonPointerBasicTest) {
%7 = OpTypeBool %7 = OpTypeBool
%11 = OpTypeInt 32 1 %11 = OpTypeInt 32 1
%16 = OpTypeFloat 32 %16 = OpTypeFloat 32
%51 = OpConstant %11 2
%52 = OpTypeArray %16 %51
%53 = OpConstant %16 7
%54 = OpConstantComposite %52 %53 %53
%3 = OpTypeFunction %2 %3 = OpTypeFunction %2
%6 = OpTypeFunction %7 %7 %6 = OpTypeFunction %7 %7
%8 = OpConstant %11 23 %8 = OpConstant %11 23
@ -140,6 +144,14 @@ TEST(TransformationAddParameterTest, NonPointerBasicTest) {
context.get(), validator_options, kConsoleMessageConsumer)); context.get(), validator_options, kConsoleMessageConsumer));
ASSERT_TRUE(transformation_context.GetFactManager()->IdIsIrrelevant(60)); ASSERT_TRUE(transformation_context.GetFactManager()->IdIsIrrelevant(60));
} }
{
TransformationAddParameter correct(9, 68, 52, {{{13, 54}}}, 69);
ASSERT_TRUE(correct.IsApplicable(context.get(), transformation_context));
ApplyAndCheckFreshIds(correct, context.get(), &transformation_context);
ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(
context.get(), validator_options, kConsoleMessageConsumer));
ASSERT_TRUE(transformation_context.GetFactManager()->IdIsIrrelevant(68));
}
{ {
TransformationAddParameter correct(17, 62, 7, {{}}, 63); TransformationAddParameter correct(17, 62, 7, {{}}, 63);
ASSERT_TRUE(correct.IsApplicable(context.get(), transformation_context)); ASSERT_TRUE(correct.IsApplicable(context.get(), transformation_context));
@ -177,6 +189,10 @@ TEST(TransformationAddParameterTest, NonPointerBasicTest) {
%7 = OpTypeBool %7 = OpTypeBool
%11 = OpTypeInt 32 1 %11 = OpTypeInt 32 1
%16 = OpTypeFloat 32 %16 = OpTypeFloat 32
%51 = OpConstant %11 2
%52 = OpTypeArray %16 %51
%53 = OpConstant %16 7
%54 = OpConstantComposite %52 %53 %53
%3 = OpTypeFunction %2 %3 = OpTypeFunction %2
%8 = OpConstant %11 23 %8 = OpConstant %11 23
%12 = OpConstantTrue %7 %12 = OpConstantTrue %7
@ -188,11 +204,11 @@ TEST(TransformationAddParameterTest, NonPointerBasicTest) {
%41 = OpTypeStruct %11 %16 %41 = OpTypeStruct %11 %16
%42 = OpConstantComposite %41 %8 %32 %42 = OpConstantComposite %41 %8 %32
%44 = OpTypeFunction %2 %41 %7 %44 = OpTypeFunction %2 %41 %7
%6 = OpTypeFunction %7 %7 %11 %6 = OpTypeFunction %7 %7 %11 %52
%65 = OpTypeFunction %2 %31 %65 = OpTypeFunction %2 %31
%4 = OpFunction %2 None %3 %4 = OpFunction %2 None %3
%5 = OpLabel %5 = OpLabel
%13 = OpFunctionCall %7 %9 %12 %8 %13 = OpFunctionCall %7 %9 %12 %8 %54
OpReturn OpReturn
OpFunctionEnd OpFunctionEnd
@ -200,6 +216,7 @@ TEST(TransformationAddParameterTest, NonPointerBasicTest) {
%9 = OpFunction %7 None %6 %9 = OpFunction %7 None %6
%14 = OpFunctionParameter %7 %14 = OpFunctionParameter %7
%60 = OpFunctionParameter %11 %60 = OpFunctionParameter %11
%68 = OpFunctionParameter %52
%10 = OpLabel %10 = OpLabel
OpReturnValue %12 OpReturnValue %12
OpFunctionEnd OpFunctionEnd