// Copyright (c) 2020 Google LLC // // Licensed under the Apache License, Version 2.0 (the "License"); // you may not use this file except in compliance with the License. // You may obtain a copy of the License at // // http://www.apache.org/licenses/LICENSE-2.0 // // Unless required by applicable law or agreed to in writing, software // distributed under the License is distributed on an "AS IS" BASIS, // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. // See the License for the specific language governing permissions and // limitations under the License. #include "source/fuzz/transformation_add_loop_to_create_int_constant_synonym.h" #include "gtest/gtest.h" #include "source/fuzz/fuzzer_util.h" #include "test/fuzz/fuzz_test_util.h" namespace spvtools { namespace fuzz { namespace { TEST(TransformationAddLoopToCreateIntConstantSynonymTest, ConstantsNotSuitable) { std::string shader = R"( OpCapability Shader OpCapability Int64 %1 = OpExtInstImport "GLSL.std.450" OpMemoryModel Logical GLSL450 OpEntryPoint Fragment %2 "main" OpExecutionMode %2 OriginUpperLeft OpSource ESSL 310 OpName %2 "main" %3 = OpTypeVoid %4 = OpTypeFunction %3 %36 = OpTypeBool %5 = OpTypeInt 32 1 %6 = OpConstant %5 -1 %7 = OpConstant %5 0 %8 = OpConstant %5 1 %9 = OpConstant %5 2 %10 = OpConstant %5 5 %11 = OpConstant %5 10 %12 = OpConstant %5 20 %13 = OpConstant %5 33 %14 = OpTypeVector %5 2 %15 = OpConstantComposite %14 %10 %11 %16 = OpConstantComposite %14 %12 %12 %17 = OpTypeVector %5 3 %18 = OpConstantComposite %17 %11 %7 %11 %19 = OpTypeInt 64 1 %20 = OpConstant %19 0 %21 = OpConstant %19 10 %22 = OpTypeVector %19 2 %23 = OpConstantComposite %22 %21 %20 %24 = OpTypeFloat 32 %25 = OpConstant %24 0 %26 = OpConstant %24 5 %27 = OpConstant %24 10 %28 = OpConstant %24 20 %29 = OpTypeVector %24 3 %30 = OpConstantComposite %29 %26 %27 %26 %31 = OpConstantComposite %29 %28 %28 %28 %32 = OpConstantComposite %29 %27 %25 %27 %2 = OpFunction %3 None %4 %33 = OpLabel %34 = OpCopyObject %5 %11 OpBranch %35 %35 = OpLabel OpReturn OpFunctionEnd )"; const auto env = SPV_ENV_UNIVERSAL_1_5; const auto consumer = nullptr; const auto context = BuildModule(env, consumer, shader, kFuzzAssembleOption); spvtools::ValidatorOptions validator_options; ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options, kConsoleMessageConsumer)); TransformationContext transformation_context( MakeUnique(context.get()), validator_options); // Reminder: the first four parameters of the constructor are the constants // with values for C, I, S, N respectively. // %70 does not correspond to an id in the module. ASSERT_FALSE(TransformationAddLoopToCreateIntConstantSynonym( 70, 12, 10, 9, 35, 100, 101, 102, 103, 104, 105, 106, 107) .IsApplicable(context.get(), transformation_context)); // %35 is not a constant. ASSERT_FALSE(TransformationAddLoopToCreateIntConstantSynonym( 35, 12, 10, 9, 35, 100, 101, 102, 103, 104, 105, 106, 107) .IsApplicable(context.get(), transformation_context)); // %27, %28 and %26 are not integer constants, but scalar floats. ASSERT_FALSE(TransformationAddLoopToCreateIntConstantSynonym( 27, 28, 26, 9, 35, 100, 101, 102, 103, 104, 105, 106, 107) .IsApplicable(context.get(), transformation_context)); // %32, %31 and %30 are not integer constants, but vector floats. ASSERT_FALSE(TransformationAddLoopToCreateIntConstantSynonym( 32, 31, 30, 9, 35, 100, 101, 102, 103, 104, 105, 106, 107) .IsApplicable(context.get(), transformation_context)); // %18=(10, 0, 10) has 3 components, while %16=(20, 20) and %15=(5, 10) // have 2. ASSERT_FALSE(TransformationAddLoopToCreateIntConstantSynonym( 18, 16, 15, 9, 35, 100, 101, 102, 103, 104, 105, 106, 107) .IsApplicable(context.get(), transformation_context)); // %21 has bit width 64, while the width of %12 and %10 is 32. ASSERT_FALSE(TransformationAddLoopToCreateIntConstantSynonym( 21, 12, 10, 9, 35, 100, 101, 102, 103, 104, 105, 106, 107) .IsApplicable(context.get(), transformation_context)); // %13 has component width 64, while the component width of %16 and %15 is 32. ASSERT_FALSE(TransformationAddLoopToCreateIntConstantSynonym( 13, 16, 15, 9, 35, 100, 101, 102, 103, 104, 105, 106, 107) .IsApplicable(context.get(), transformation_context)); // %21 (N) is a 64-bit integer, not 32-bit. ASSERT_FALSE(TransformationAddLoopToCreateIntConstantSynonym( 7, 7, 7, 21, 35, 100, 101, 102, 103, 104, 105, 106, 107) .IsApplicable(context.get(), transformation_context)); // %7 (N) has value 0, so N <= 0. ASSERT_FALSE(TransformationAddLoopToCreateIntConstantSynonym( 7, 7, 7, 7, 35, 100, 101, 102, 103, 104, 105, 106, 107) .IsApplicable(context.get(), transformation_context)); // %6 (N) has value -1, so N <= 1. ASSERT_FALSE(TransformationAddLoopToCreateIntConstantSynonym( 7, 7, 7, 6, 35, 100, 101, 102, 103, 104, 105, 106, 107) .IsApplicable(context.get(), transformation_context)); // %13 (N) has value 33, so N > 32. ASSERT_FALSE(TransformationAddLoopToCreateIntConstantSynonym( 7, 7, 7, 6, 13, 100, 101, 102, 103, 104, 105, 106, 107) .IsApplicable(context.get(), transformation_context)); // C(%11)=10, I(%12)=20, S(%10)=5, N(%8)=1, so C=I-S*N does not hold, as // 20-5*1=15. ASSERT_FALSE(TransformationAddLoopToCreateIntConstantSynonym( 11, 12, 10, 8, 35, 100, 101, 102, 103, 104, 105, 106, 107) .IsApplicable(context.get(), transformation_context)); // C(%15)=(5, 10), I(%16)=(20, 20), S(%15)=(5, 10), N(%8)=1, so C=I-S*N does // not hold, as (20, 20)-1*(5, 10) = (15, 10). ASSERT_FALSE(TransformationAddLoopToCreateIntConstantSynonym( 15, 16, 15, 8, 35, 100, 101, 102, 103, 104, 105, 106, 107) .IsApplicable(context.get(), transformation_context)); } TEST(TransformationAddLoopToCreateIntConstantSynonymTest, MissingConstantsOrBoolType) { { // The shader is missing the boolean type. std::string shader = R"( OpCapability Shader %1 = OpExtInstImport "GLSL.std.450" OpMemoryModel Logical GLSL450 OpEntryPoint Fragment %2 "main" OpExecutionMode %2 OriginUpperLeft OpSource ESSL 310 %3 = OpTypeVoid %4 = OpTypeFunction %3 %5 = OpTypeInt 32 1 %20 = OpConstant %5 0 %6 = OpConstant %5 1 %7 = OpConstant %5 2 %8 = OpConstant %5 5 %9 = OpConstant %5 10 %10 = OpConstant %5 20 %2 = OpFunction %3 None %4 %11 = OpLabel OpBranch %12 %12 = OpLabel OpReturn OpFunctionEnd )"; const auto env = SPV_ENV_UNIVERSAL_1_5; const auto consumer = nullptr; const auto context = BuildModule(env, consumer, shader, kFuzzAssembleOption); spvtools::ValidatorOptions validator_options; ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed( context.get(), validator_options, kConsoleMessageConsumer)); TransformationContext transformation_context( MakeUnique(context.get()), validator_options); ASSERT_FALSE(TransformationAddLoopToCreateIntConstantSynonym( 9, 10, 8, 7, 12, 100, 101, 102, 103, 104, 105, 106, 107) .IsApplicable(context.get(), transformation_context)); } { // The shader is missing a 32-bit integer 0 constant. std::string shader = R"( OpCapability Shader %1 = OpExtInstImport "GLSL.std.450" OpMemoryModel Logical GLSL450 OpEntryPoint Fragment %2 "main" OpExecutionMode %2 OriginUpperLeft OpSource ESSL 310 %3 = OpTypeVoid %4 = OpTypeFunction %3 %20 = OpTypeBool %5 = OpTypeInt 32 1 %6 = OpConstant %5 1 %7 = OpConstant %5 2 %8 = OpConstant %5 5 %9 = OpConstant %5 10 %10 = OpConstant %5 20 %2 = OpFunction %3 None %4 %11 = OpLabel OpBranch %12 %12 = OpLabel OpReturn OpFunctionEnd )"; const auto env = SPV_ENV_UNIVERSAL_1_5; const auto consumer = nullptr; const auto context = BuildModule(env, consumer, shader, kFuzzAssembleOption); spvtools::ValidatorOptions validator_options; ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed( context.get(), validator_options, kConsoleMessageConsumer)); TransformationContext transformation_context( MakeUnique(context.get()), validator_options); ASSERT_FALSE(TransformationAddLoopToCreateIntConstantSynonym( 9, 10, 8, 7, 12, 100, 101, 102, 103, 104, 105, 106, 107) .IsApplicable(context.get(), transformation_context)); } { // The shader is missing a 32-bit integer 1 constant. std::string shader = R"( OpCapability Shader %1 = OpExtInstImport "GLSL.std.450" OpMemoryModel Logical GLSL450 OpEntryPoint Fragment %2 "main" OpExecutionMode %2 OriginUpperLeft OpSource ESSL 310 %3 = OpTypeVoid %4 = OpTypeFunction %3 %20 = OpTypeBool %5 = OpTypeInt 32 1 %6 = OpConstant %5 0 %7 = OpConstant %5 2 %8 = OpConstant %5 5 %9 = OpConstant %5 10 %10 = OpConstant %5 20 %2 = OpFunction %3 None %4 %11 = OpLabel OpBranch %12 %12 = OpLabel OpReturn OpFunctionEnd )"; const auto env = SPV_ENV_UNIVERSAL_1_5; const auto consumer = nullptr; const auto context = BuildModule(env, consumer, shader, kFuzzAssembleOption); spvtools::ValidatorOptions validator_options; ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed( context.get(), validator_options, kConsoleMessageConsumer)); TransformationContext transformation_context( MakeUnique(context.get()), validator_options); ASSERT_FALSE(TransformationAddLoopToCreateIntConstantSynonym( 9, 10, 8, 7, 12, 100, 101, 102, 103, 104, 105, 106, 107) .IsApplicable(context.get(), transformation_context)); } } TEST(TransformationAddLoopToCreateIntConstantSynonymTest, Simple) { std::string shader = R"( OpCapability Shader %1 = OpExtInstImport "GLSL.std.450" OpMemoryModel Logical GLSL450 OpEntryPoint Fragment %2 "main" OpExecutionMode %2 OriginUpperLeft OpSource ESSL 310 %3 = OpTypeVoid %4 = OpTypeFunction %3 %5 = OpTypeBool %6 = OpConstantTrue %5 %7 = OpTypeInt 32 1 %8 = OpConstant %7 0 %9 = OpConstant %7 1 %10 = OpConstant %7 2 %11 = OpConstant %7 5 %12 = OpConstant %7 10 %13 = OpConstant %7 20 %2 = OpFunction %3 None %4 %14 = OpLabel OpBranch %15 %15 = OpLabel %22 = OpPhi %7 %12 %14 OpSelectionMerge %16 None OpBranchConditional %6 %17 %18 %17 = OpLabel %23 = OpPhi %7 %13 %15 OpBranch %18 %18 = OpLabel OpBranch %16 %16 = OpLabel OpBranch %19 %19 = OpLabel OpLoopMerge %20 %19 None OpBranchConditional %6 %20 %19 %20 = OpLabel OpBranch %21 %21 = OpLabel OpBranch %24 %24 = OpLabel OpLoopMerge %27 %25 None OpBranch %25 %25 = OpLabel OpBranch %26 %26 = OpLabel OpBranchConditional %6 %24 %27 %27 = OpLabel OpReturn OpFunctionEnd )"; const auto env = SPV_ENV_UNIVERSAL_1_5; const auto consumer = nullptr; const auto context = BuildModule(env, consumer, shader, kFuzzAssembleOption); spvtools::ValidatorOptions validator_options; ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options, kConsoleMessageConsumer)); TransformationContext transformation_context( MakeUnique(context.get()), validator_options); // Block %14 has no predecessors. ASSERT_FALSE(TransformationAddLoopToCreateIntConstantSynonym( 12, 13, 11, 10, 14, 100, 101, 102, 103, 104, 105, 106, 107) .IsApplicable(context.get(), transformation_context)); // Block %18 has more than one predecessor. ASSERT_FALSE(TransformationAddLoopToCreateIntConstantSynonym( 12, 13, 11, 10, 18, 100, 101, 102, 103, 104, 105, 106, 107) .IsApplicable(context.get(), transformation_context)); // Block %16 is a merge block. ASSERT_FALSE(TransformationAddLoopToCreateIntConstantSynonym( 12, 13, 11, 10, 16, 100, 101, 102, 103, 104, 105, 106, 107) .IsApplicable(context.get(), transformation_context)); // Block %25 is a continue block. ASSERT_FALSE(TransformationAddLoopToCreateIntConstantSynonym( 12, 13, 11, 10, 25, 100, 101, 102, 103, 104, 105, 106, 107) .IsApplicable(context.get(), transformation_context)); // Block %19 has more than one predecessor. ASSERT_FALSE(TransformationAddLoopToCreateIntConstantSynonym( 12, 13, 11, 10, 19, 100, 101, 102, 103, 104, 105, 106, 107) .IsApplicable(context.get(), transformation_context)); // Block %20 is a merge block. ASSERT_FALSE(TransformationAddLoopToCreateIntConstantSynonym( 12, 13, 11, 10, 20, 100, 101, 102, 103, 104, 105, 106, 107) .IsApplicable(context.get(), transformation_context)); // Id %20 is supposed to be fresh, but it is not. ASSERT_FALSE(TransformationAddLoopToCreateIntConstantSynonym( 12, 13, 11, 10, 15, 100, 20, 102, 103, 104, 105, 106, 107) .IsApplicable(context.get(), transformation_context)); // Id %100 is used twice. ASSERT_FALSE(TransformationAddLoopToCreateIntConstantSynonym( 12, 13, 11, 10, 15, 100, 100, 102, 103, 104, 105, 106, 107) .IsApplicable(context.get(), transformation_context)); // Id %100 is used twice. ASSERT_FALSE(TransformationAddLoopToCreateIntConstantSynonym( 12, 13, 11, 10, 15, 100, 101, 102, 103, 104, 105, 106, 100) .IsApplicable(context.get(), transformation_context)); // Only the last id (for the additional block) is optional, so the other ones // cannot be 0. ASSERT_FALSE(TransformationAddLoopToCreateIntConstantSynonym( 12, 13, 11, 10, 15, 0, 101, 102, 103, 104, 105, 106, 100) .IsApplicable(context.get(), transformation_context)); // This transformation will create a synonym of constant %12 from a 1-block // loop. auto transformation1 = TransformationAddLoopToCreateIntConstantSynonym( 12, 13, 11, 10, 15, 100, 101, 102, 103, 104, 105, 106, 0); ASSERT_TRUE( transformation1.IsApplicable(context.get(), transformation_context)); ApplyAndCheckFreshIds(transformation1, context.get(), &transformation_context); ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( MakeDataDescriptor(12, {}), MakeDataDescriptor(100, {}))); ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options, kConsoleMessageConsumer)); // This transformation will create a synonym of constant %12 from a 2-block // loop. auto transformation2 = TransformationAddLoopToCreateIntConstantSynonym( 12, 13, 11, 10, 17, 107, 108, 109, 110, 111, 112, 113, 114); ASSERT_TRUE( transformation2.IsApplicable(context.get(), transformation_context)); ApplyAndCheckFreshIds(transformation2, context.get(), &transformation_context); ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( MakeDataDescriptor(12, {}), MakeDataDescriptor(107, {}))); ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options, kConsoleMessageConsumer)); // This transformation will create a synonym of constant %12 from a 2-block // loop. auto transformation3 = TransformationAddLoopToCreateIntConstantSynonym( 12, 13, 11, 10, 26, 115, 116, 117, 118, 119, 120, 121, 0); ASSERT_TRUE( transformation3.IsApplicable(context.get(), transformation_context)); ApplyAndCheckFreshIds(transformation3, context.get(), &transformation_context); ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( MakeDataDescriptor(12, {}), MakeDataDescriptor(115, {}))); ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options, kConsoleMessageConsumer)); std::string after_transformations = R"( OpCapability Shader %1 = OpExtInstImport "GLSL.std.450" OpMemoryModel Logical GLSL450 OpEntryPoint Fragment %2 "main" OpExecutionMode %2 OriginUpperLeft OpSource ESSL 310 %3 = OpTypeVoid %4 = OpTypeFunction %3 %5 = OpTypeBool %6 = OpConstantTrue %5 %7 = OpTypeInt 32 1 %8 = OpConstant %7 0 %9 = OpConstant %7 1 %10 = OpConstant %7 2 %11 = OpConstant %7 5 %12 = OpConstant %7 10 %13 = OpConstant %7 20 %2 = OpFunction %3 None %4 %14 = OpLabel OpBranch %101 %101 = OpLabel %102 = OpPhi %7 %8 %14 %105 %101 %103 = OpPhi %7 %13 %14 %104 %101 %104 = OpISub %7 %103 %11 %105 = OpIAdd %7 %102 %9 %106 = OpSLessThan %5 %105 %10 OpLoopMerge %15 %101 None OpBranchConditional %106 %101 %15 %15 = OpLabel %100 = OpPhi %7 %104 %101 %22 = OpPhi %7 %12 %101 OpSelectionMerge %16 None OpBranchConditional %6 %108 %18 %108 = OpLabel %109 = OpPhi %7 %8 %15 %112 %114 %110 = OpPhi %7 %13 %15 %111 %114 OpLoopMerge %17 %114 None OpBranch %114 %114 = OpLabel %111 = OpISub %7 %110 %11 %112 = OpIAdd %7 %109 %9 %113 = OpSLessThan %5 %112 %10 OpBranchConditional %113 %108 %17 %17 = OpLabel %107 = OpPhi %7 %111 %114 %23 = OpPhi %7 %13 %114 OpBranch %18 %18 = OpLabel OpBranch %16 %16 = OpLabel OpBranch %19 %19 = OpLabel OpLoopMerge %20 %19 None OpBranchConditional %6 %20 %19 %20 = OpLabel OpBranch %21 %21 = OpLabel OpBranch %24 %24 = OpLabel OpLoopMerge %27 %25 None OpBranch %25 %25 = OpLabel OpBranch %116 %116 = OpLabel %117 = OpPhi %7 %8 %25 %120 %116 %118 = OpPhi %7 %13 %25 %119 %116 %119 = OpISub %7 %118 %11 %120 = OpIAdd %7 %117 %9 %121 = OpSLessThan %5 %120 %10 OpLoopMerge %26 %116 None OpBranchConditional %121 %116 %26 %26 = OpLabel %115 = OpPhi %7 %119 %116 OpBranchConditional %6 %24 %27 %27 = OpLabel OpReturn OpFunctionEnd )"; ASSERT_TRUE(IsEqual(env, after_transformations, context.get())); } TEST(TransformationAddLoopToCreateIntConstantSynonymTest, DifferentSignednessAndVectors) { std::string shader = R"( OpCapability Shader %1 = OpExtInstImport "GLSL.std.450" OpMemoryModel Logical GLSL450 OpEntryPoint Fragment %2 "main" OpExecutionMode %2 OriginUpperLeft OpSource ESSL 310 %3 = OpTypeVoid %4 = OpTypeFunction %3 %5 = OpTypeBool %6 = OpConstantTrue %5 %7 = OpTypeInt 32 1 %8 = OpConstant %7 0 %9 = OpConstant %7 1 %10 = OpConstant %7 2 %11 = OpConstant %7 5 %12 = OpConstant %7 10 %13 = OpConstant %7 20 %14 = OpTypeInt 32 0 %15 = OpConstant %14 0 %16 = OpConstant %14 5 %17 = OpConstant %14 10 %18 = OpConstant %14 20 %19 = OpTypeVector %7 2 %20 = OpTypeVector %14 2 %21 = OpConstantComposite %19 %12 %8 %22 = OpConstantComposite %20 %17 %15 %23 = OpConstantComposite %19 %13 %12 %24 = OpConstantComposite %19 %11 %11 %2 = OpFunction %3 None %4 %25 = OpLabel OpBranch %26 %26 = OpLabel OpBranch %27 %27 = OpLabel OpBranch %28 %28 = OpLabel OpBranch %29 %29 = OpLabel OpBranch %30 %30 = OpLabel OpReturn OpFunctionEnd )"; const auto env = SPV_ENV_UNIVERSAL_1_5; const auto consumer = nullptr; const auto context = BuildModule(env, consumer, shader, kFuzzAssembleOption); spvtools::ValidatorOptions validator_options; ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options, kConsoleMessageConsumer)); TransformationContext transformation_context( MakeUnique(context.get()), validator_options); // These tests check that the transformation is applicable and is applied // correctly with integers, scalar and vectors, of different signedness. // %12 is a signed integer, %18 and %16 are unsigned integers. auto transformation1 = TransformationAddLoopToCreateIntConstantSynonym( 12, 18, 16, 10, 26, 100, 101, 102, 103, 104, 105, 106, 0); ASSERT_TRUE( transformation1.IsApplicable(context.get(), transformation_context)); ApplyAndCheckFreshIds(transformation1, context.get(), &transformation_context); ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( MakeDataDescriptor(12, {}), MakeDataDescriptor(100, {}))); ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options, kConsoleMessageConsumer)); // %12 and %11 are signed integers, %18 is an unsigned integer. auto transformation2 = TransformationAddLoopToCreateIntConstantSynonym( 12, 18, 11, 10, 27, 108, 109, 110, 111, 112, 113, 114, 0); ASSERT_TRUE( transformation2.IsApplicable(context.get(), transformation_context)); ApplyAndCheckFreshIds(transformation2, context.get(), &transformation_context); ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( MakeDataDescriptor(12, {}), MakeDataDescriptor(108, {}))); ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options, kConsoleMessageConsumer)); // %17, %18 and %16 are all signed integers. auto transformation3 = TransformationAddLoopToCreateIntConstantSynonym( 17, 18, 16, 10, 28, 115, 116, 117, 118, 119, 120, 121, 0); ASSERT_TRUE( transformation3.IsApplicable(context.get(), transformation_context)); ApplyAndCheckFreshIds(transformation3, context.get(), &transformation_context); ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( MakeDataDescriptor(17, {}), MakeDataDescriptor(115, {}))); ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options, kConsoleMessageConsumer)); // %22 is an unsigned integer vector, %23 and %24 are signed integer vectors. auto transformation4 = TransformationAddLoopToCreateIntConstantSynonym( 22, 23, 24, 10, 29, 122, 123, 124, 125, 126, 127, 128, 0); ASSERT_TRUE( transformation4.IsApplicable(context.get(), transformation_context)); ApplyAndCheckFreshIds(transformation4, context.get(), &transformation_context); ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( MakeDataDescriptor(22, {}), MakeDataDescriptor(122, {}))); ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options, kConsoleMessageConsumer)); // %21, %23 and %24 are all signed integer vectors. auto transformation5 = TransformationAddLoopToCreateIntConstantSynonym( 21, 23, 24, 10, 30, 129, 130, 131, 132, 133, 134, 135, 0); ASSERT_TRUE( transformation5.IsApplicable(context.get(), transformation_context)); ApplyAndCheckFreshIds(transformation5, context.get(), &transformation_context); ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( MakeDataDescriptor(21, {}), MakeDataDescriptor(129, {}))); ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options, kConsoleMessageConsumer)); std::string after_transformations = R"( OpCapability Shader %1 = OpExtInstImport "GLSL.std.450" OpMemoryModel Logical GLSL450 OpEntryPoint Fragment %2 "main" OpExecutionMode %2 OriginUpperLeft OpSource ESSL 310 %3 = OpTypeVoid %4 = OpTypeFunction %3 %5 = OpTypeBool %6 = OpConstantTrue %5 %7 = OpTypeInt 32 1 %8 = OpConstant %7 0 %9 = OpConstant %7 1 %10 = OpConstant %7 2 %11 = OpConstant %7 5 %12 = OpConstant %7 10 %13 = OpConstant %7 20 %14 = OpTypeInt 32 0 %15 = OpConstant %14 0 %16 = OpConstant %14 5 %17 = OpConstant %14 10 %18 = OpConstant %14 20 %19 = OpTypeVector %7 2 %20 = OpTypeVector %14 2 %21 = OpConstantComposite %19 %12 %8 %22 = OpConstantComposite %20 %17 %15 %23 = OpConstantComposite %19 %13 %12 %24 = OpConstantComposite %19 %11 %11 %2 = OpFunction %3 None %4 %25 = OpLabel OpBranch %101 %101 = OpLabel %102 = OpPhi %7 %8 %25 %105 %101 %103 = OpPhi %14 %18 %25 %104 %101 %104 = OpISub %14 %103 %16 %105 = OpIAdd %7 %102 %9 %106 = OpSLessThan %5 %105 %10 OpLoopMerge %26 %101 None OpBranchConditional %106 %101 %26 %26 = OpLabel %100 = OpPhi %14 %104 %101 OpBranch %109 %109 = OpLabel %110 = OpPhi %7 %8 %26 %113 %109 %111 = OpPhi %14 %18 %26 %112 %109 %112 = OpISub %14 %111 %11 %113 = OpIAdd %7 %110 %9 %114 = OpSLessThan %5 %113 %10 OpLoopMerge %27 %109 None OpBranchConditional %114 %109 %27 %27 = OpLabel %108 = OpPhi %14 %112 %109 OpBranch %116 %116 = OpLabel %117 = OpPhi %7 %8 %27 %120 %116 %118 = OpPhi %14 %18 %27 %119 %116 %119 = OpISub %14 %118 %16 %120 = OpIAdd %7 %117 %9 %121 = OpSLessThan %5 %120 %10 OpLoopMerge %28 %116 None OpBranchConditional %121 %116 %28 %28 = OpLabel %115 = OpPhi %14 %119 %116 OpBranch %123 %123 = OpLabel %124 = OpPhi %7 %8 %28 %127 %123 %125 = OpPhi %19 %23 %28 %126 %123 %126 = OpISub %19 %125 %24 %127 = OpIAdd %7 %124 %9 %128 = OpSLessThan %5 %127 %10 OpLoopMerge %29 %123 None OpBranchConditional %128 %123 %29 %29 = OpLabel %122 = OpPhi %19 %126 %123 OpBranch %130 %130 = OpLabel %131 = OpPhi %7 %8 %29 %134 %130 %132 = OpPhi %19 %23 %29 %133 %130 %133 = OpISub %19 %132 %24 %134 = OpIAdd %7 %131 %9 %135 = OpSLessThan %5 %134 %10 OpLoopMerge %30 %130 None OpBranchConditional %135 %130 %30 %30 = OpLabel %129 = OpPhi %19 %133 %130 OpReturn OpFunctionEnd )"; ASSERT_TRUE(IsEqual(env, after_transformations, context.get())); } TEST(TransformationAddLoopToCreateIntConstantSynonymTest, 64BitConstants) { std::string shader = R"( OpCapability Shader OpCapability Int64 %1 = OpExtInstImport "GLSL.std.450" OpMemoryModel Logical GLSL450 OpEntryPoint Fragment %2 "main" OpExecutionMode %2 OriginUpperLeft OpSource ESSL 310 %3 = OpTypeVoid %4 = OpTypeFunction %3 %5 = OpTypeBool %6 = OpConstantTrue %5 %7 = OpTypeInt 32 1 %8 = OpConstant %7 0 %9 = OpConstant %7 1 %10 = OpConstant %7 2 %11 = OpTypeInt 64 1 %12 = OpConstant %11 5 %13 = OpConstant %11 10 %14 = OpConstant %11 20 %15 = OpTypeVector %11 2 %16 = OpConstantComposite %15 %13 %13 %17 = OpConstantComposite %15 %14 %14 %18 = OpConstantComposite %15 %12 %12 %2 = OpFunction %3 None %4 %19 = OpLabel OpBranch %20 %20 = OpLabel OpBranch %21 %21 = OpLabel OpReturn OpFunctionEnd )"; const auto env = SPV_ENV_UNIVERSAL_1_5; const auto consumer = nullptr; const auto context = BuildModule(env, consumer, shader, kFuzzAssembleOption); spvtools::ValidatorOptions validator_options; ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options, kConsoleMessageConsumer)); TransformationContext transformation_context( MakeUnique(context.get()), validator_options); // These tests check that the transformation can be applied, and is applied // correctly, to 64-bit integer (scalar and vector) constants. // 64-bit scalar integers. auto transformation1 = TransformationAddLoopToCreateIntConstantSynonym( 13, 14, 12, 10, 20, 100, 101, 102, 103, 104, 105, 106, 0); ASSERT_TRUE( transformation1.IsApplicable(context.get(), transformation_context)); ApplyAndCheckFreshIds(transformation1, context.get(), &transformation_context); ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( MakeDataDescriptor(13, {}), MakeDataDescriptor(100, {}))); ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options, kConsoleMessageConsumer)); // 64-bit vector integers. auto transformation2 = TransformationAddLoopToCreateIntConstantSynonym( 16, 17, 18, 10, 21, 107, 108, 109, 110, 111, 112, 113, 0); ASSERT_TRUE( transformation2.IsApplicable(context.get(), transformation_context)); ApplyAndCheckFreshIds(transformation2, context.get(), &transformation_context); ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( MakeDataDescriptor(16, {}), MakeDataDescriptor(107, {}))); ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options, kConsoleMessageConsumer)); std::string after_transformations = R"( OpCapability Shader OpCapability Int64 %1 = OpExtInstImport "GLSL.std.450" OpMemoryModel Logical GLSL450 OpEntryPoint Fragment %2 "main" OpExecutionMode %2 OriginUpperLeft OpSource ESSL 310 %3 = OpTypeVoid %4 = OpTypeFunction %3 %5 = OpTypeBool %6 = OpConstantTrue %5 %7 = OpTypeInt 32 1 %8 = OpConstant %7 0 %9 = OpConstant %7 1 %10 = OpConstant %7 2 %11 = OpTypeInt 64 1 %12 = OpConstant %11 5 %13 = OpConstant %11 10 %14 = OpConstant %11 20 %15 = OpTypeVector %11 2 %16 = OpConstantComposite %15 %13 %13 %17 = OpConstantComposite %15 %14 %14 %18 = OpConstantComposite %15 %12 %12 %2 = OpFunction %3 None %4 %19 = OpLabel OpBranch %101 %101 = OpLabel %102 = OpPhi %7 %8 %19 %105 %101 %103 = OpPhi %11 %14 %19 %104 %101 %104 = OpISub %11 %103 %12 %105 = OpIAdd %7 %102 %9 %106 = OpSLessThan %5 %105 %10 OpLoopMerge %20 %101 None OpBranchConditional %106 %101 %20 %20 = OpLabel %100 = OpPhi %11 %104 %101 OpBranch %108 %108 = OpLabel %109 = OpPhi %7 %8 %20 %112 %108 %110 = OpPhi %15 %17 %20 %111 %108 %111 = OpISub %15 %110 %18 %112 = OpIAdd %7 %109 %9 %113 = OpSLessThan %5 %112 %10 OpLoopMerge %21 %108 None OpBranchConditional %113 %108 %21 %21 = OpLabel %107 = OpPhi %15 %111 %108 OpReturn OpFunctionEnd )"; ASSERT_TRUE(IsEqual(env, after_transformations, context.get())); } TEST(TransformationAddLoopToCreateIntConstantSynonymTest, Underflow) { std::string shader = R"( OpCapability Shader %1 = OpExtInstImport "GLSL.std.450" OpMemoryModel Logical GLSL450 OpEntryPoint Fragment %2 "main" OpExecutionMode %2 OriginUpperLeft OpSource ESSL 310 %3 = OpTypeVoid %4 = OpTypeFunction %3 %5 = OpTypeBool %6 = OpConstantTrue %5 %7 = OpTypeInt 32 1 %8 = OpConstant %7 0 %9 = OpConstant %7 1 %10 = OpConstant %7 2 %11 = OpConstant %7 20 %12 = OpConstant %7 -4 %13 = OpTypeInt 32 0 %14 = OpConstant %13 214748365 %15 = OpConstant %13 4294967256 %2 = OpFunction %3 None %4 %16 = OpLabel OpBranch %17 %17 = OpLabel OpBranch %18 %18 = OpLabel OpReturn OpFunctionEnd )"; const auto env = SPV_ENV_UNIVERSAL_1_5; const auto consumer = nullptr; const auto context = BuildModule(env, consumer, shader, kFuzzAssembleOption); spvtools::ValidatorOptions validator_options; ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options, kConsoleMessageConsumer)); TransformationContext transformation_context( MakeUnique(context.get()), validator_options); // These tests check that underflows are taken into consideration when // deciding if transformation is applicable. // Subtracting 2147483648 20 times from 32-bit integer 0 underflows 2 times // and the result is equivalent to -4. auto transformation1 = TransformationAddLoopToCreateIntConstantSynonym( 12, 8, 14, 11, 17, 100, 101, 102, 103, 104, 105, 106, 0); ASSERT_TRUE( transformation1.IsApplicable(context.get(), transformation_context)); ApplyAndCheckFreshIds(transformation1, context.get(), &transformation_context); ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( MakeDataDescriptor(12, {}), MakeDataDescriptor(100, {}))); ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options, kConsoleMessageConsumer)); // Subtracting 20 twice from 0 underflows and gives the unsigned integer // 4294967256. auto transformation2 = TransformationAddLoopToCreateIntConstantSynonym( 15, 8, 11, 10, 18, 107, 108, 109, 110, 111, 112, 113, 0); ASSERT_TRUE( transformation2.IsApplicable(context.get(), transformation_context)); ApplyAndCheckFreshIds(transformation2, context.get(), &transformation_context); ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( MakeDataDescriptor(15, {}), MakeDataDescriptor(107, {}))); ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options, kConsoleMessageConsumer)); std::string after_transformations = R"( OpCapability Shader %1 = OpExtInstImport "GLSL.std.450" OpMemoryModel Logical GLSL450 OpEntryPoint Fragment %2 "main" OpExecutionMode %2 OriginUpperLeft OpSource ESSL 310 %3 = OpTypeVoid %4 = OpTypeFunction %3 %5 = OpTypeBool %6 = OpConstantTrue %5 %7 = OpTypeInt 32 1 %8 = OpConstant %7 0 %9 = OpConstant %7 1 %10 = OpConstant %7 2 %11 = OpConstant %7 20 %12 = OpConstant %7 -4 %13 = OpTypeInt 32 0 %14 = OpConstant %13 214748365 %15 = OpConstant %13 4294967256 %2 = OpFunction %3 None %4 %16 = OpLabel OpBranch %101 %101 = OpLabel %102 = OpPhi %7 %8 %16 %105 %101 %103 = OpPhi %7 %8 %16 %104 %101 %104 = OpISub %7 %103 %14 %105 = OpIAdd %7 %102 %9 %106 = OpSLessThan %5 %105 %11 OpLoopMerge %17 %101 None OpBranchConditional %106 %101 %17 %17 = OpLabel %100 = OpPhi %7 %104 %101 OpBranch %108 %108 = OpLabel %109 = OpPhi %7 %8 %17 %112 %108 %110 = OpPhi %7 %8 %17 %111 %108 %111 = OpISub %7 %110 %11 %112 = OpIAdd %7 %109 %9 %113 = OpSLessThan %5 %112 %10 OpLoopMerge %18 %108 None OpBranchConditional %113 %108 %18 %18 = OpLabel %107 = OpPhi %7 %111 %108 OpReturn OpFunctionEnd )"; ASSERT_TRUE(IsEqual(env, after_transformations, context.get())); } TEST(TransformationAddLoopToCreateIntConstantSynonymTest, InapplicableDueToDeadBlockOrIrrelevantId) { std::string shader = R"( OpCapability Shader %1 = OpExtInstImport "GLSL.std.450" OpMemoryModel Logical GLSL450 OpEntryPoint Fragment %2 "main" OpExecutionMode %2 OriginUpperLeft OpSource ESSL 310 %3 = OpTypeVoid %4 = OpTypeFunction %3 %5 = OpTypeBool %6 = OpConstantTrue %5 %7 = OpTypeInt 32 1 %8 = OpConstant %7 0 %9 = OpConstant %7 1 %10 = OpConstant %7 2 %11 = OpConstant %7 5 %12 = OpConstant %7 10 %13 = OpConstant %7 20 %1010 = OpConstant %7 2 %1011 = OpConstant %7 5 %1012 = OpConstant %7 10 %1013 = OpConstant %7 20 %2 = OpFunction %3 None %4 %14 = OpLabel OpSelectionMerge %16 None OpBranchConditional %6 %16 %15 %15 = OpLabel OpBranch %16 %16 = OpLabel OpBranch %17 %17 = OpLabel OpReturn OpFunctionEnd )"; const auto env = SPV_ENV_UNIVERSAL_1_5; const auto consumer = nullptr; const auto context = BuildModule(env, consumer, shader, kFuzzAssembleOption); spvtools::ValidatorOptions validator_options; ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options, kConsoleMessageConsumer)); TransformationContext transformation_context( MakeUnique(context.get()), validator_options); transformation_context.GetFactManager()->AddFactBlockIsDead(15); transformation_context.GetFactManager()->AddFactIdIsIrrelevant(1010); transformation_context.GetFactManager()->AddFactIdIsIrrelevant(1011); transformation_context.GetFactManager()->AddFactIdIsIrrelevant(1012); transformation_context.GetFactManager()->AddFactIdIsIrrelevant(1013); // Bad because the block before which the loop would be inserted is dead. ASSERT_FALSE(TransformationAddLoopToCreateIntConstantSynonym( 12, 13, 11, 10, 15, 100, 101, 102, 103, 104, 105, 106, 0) .IsApplicable(context.get(), transformation_context)); // OK ASSERT_TRUE(TransformationAddLoopToCreateIntConstantSynonym( 12, 13, 11, 10, 17, 100, 101, 102, 103, 104, 105, 106, 0) .IsApplicable(context.get(), transformation_context)); // Bad because in each case one of the constants involved is irrelevant. ASSERT_FALSE(TransformationAddLoopToCreateIntConstantSynonym( 1012, 13, 11, 10, 17, 100, 101, 102, 103, 104, 105, 106, 0) .IsApplicable(context.get(), transformation_context)); ASSERT_FALSE(TransformationAddLoopToCreateIntConstantSynonym( 12, 1013, 11, 10, 17, 100, 101, 102, 103, 104, 105, 106, 0) .IsApplicable(context.get(), transformation_context)); ASSERT_FALSE(TransformationAddLoopToCreateIntConstantSynonym( 12, 13, 1011, 10, 17, 100, 101, 102, 103, 104, 105, 106, 0) .IsApplicable(context.get(), transformation_context)); ASSERT_FALSE(TransformationAddLoopToCreateIntConstantSynonym( 12, 13, 11, 1010, 17, 100, 101, 102, 103, 104, 105, 106, 0) .IsApplicable(context.get(), transformation_context)); } TEST(TransformationAddLoopToCreateIntConstantSynonymTest, InserBeforeOpSwitch) { // Checks that it is acceptable for a loop to be added before a target of an // OpSwitch instruction. std::string shader = R"( OpCapability Shader %1 = OpExtInstImport "GLSL.std.450" OpMemoryModel Logical GLSL450 OpEntryPoint Fragment %4 "main" OpExecutionMode %4 OriginUpperLeft OpSource ESSL 320 %2 = OpTypeVoid %3 = OpTypeFunction %2 %6 = OpTypeInt 32 1 %7 = OpConstant %6 0 %20 = OpConstant %6 1 %21 = OpConstant %6 2 %22 = OpTypeBool %4 = OpFunction %2 None %3 %5 = OpLabel OpSelectionMerge %10 None OpSwitch %7 %9 0 %8 %9 = OpLabel OpBranch %10 %8 = OpLabel OpBranch %10 %10 = OpLabel OpReturn OpFunctionEnd )"; const auto env = SPV_ENV_UNIVERSAL_1_5; const auto consumer = nullptr; const auto context = BuildModule(env, consumer, shader, kFuzzAssembleOption); spvtools::ValidatorOptions validator_options; ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options, kConsoleMessageConsumer)); TransformationContext transformation_context( MakeUnique(context.get()), validator_options); auto transformation1 = TransformationAddLoopToCreateIntConstantSynonym( 20, 21, 20, 20, 9, 100, 101, 102, 103, 104, 105, 106, 0); ASSERT_TRUE( transformation1.IsApplicable(context.get(), transformation_context)); ApplyAndCheckFreshIds(transformation1, context.get(), &transformation_context); ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( MakeDataDescriptor(20, {}), MakeDataDescriptor(100, {}))); ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options, kConsoleMessageConsumer)); auto transformation2 = TransformationAddLoopToCreateIntConstantSynonym( 20, 21, 20, 20, 8, 200, 201, 202, 203, 204, 205, 206, 0); ASSERT_TRUE( transformation2.IsApplicable(context.get(), transformation_context)); ApplyAndCheckFreshIds(transformation2, context.get(), &transformation_context); ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( MakeDataDescriptor(20, {}), MakeDataDescriptor(200, {}))); ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options, kConsoleMessageConsumer)); std::string after_transformations = R"( OpCapability Shader %1 = OpExtInstImport "GLSL.std.450" OpMemoryModel Logical GLSL450 OpEntryPoint Fragment %4 "main" OpExecutionMode %4 OriginUpperLeft OpSource ESSL 320 %2 = OpTypeVoid %3 = OpTypeFunction %2 %6 = OpTypeInt 32 1 %7 = OpConstant %6 0 %20 = OpConstant %6 1 %21 = OpConstant %6 2 %22 = OpTypeBool %4 = OpFunction %2 None %3 %5 = OpLabel OpSelectionMerge %10 None OpSwitch %7 %101 0 %201 %101 = OpLabel %102 = OpPhi %6 %7 %5 %105 %101 %103 = OpPhi %6 %21 %5 %104 %101 %104 = OpISub %6 %103 %20 %105 = OpIAdd %6 %102 %20 %106 = OpSLessThan %22 %105 %20 OpLoopMerge %9 %101 None OpBranchConditional %106 %101 %9 %9 = OpLabel %100 = OpPhi %6 %104 %101 OpBranch %10 %201 = OpLabel %202 = OpPhi %6 %7 %5 %205 %201 %203 = OpPhi %6 %21 %5 %204 %201 %204 = OpISub %6 %203 %20 %205 = OpIAdd %6 %202 %20 %206 = OpSLessThan %22 %205 %20 OpLoopMerge %8 %201 None OpBranchConditional %206 %201 %8 %8 = OpLabel %200 = OpPhi %6 %204 %201 OpBranch %10 %10 = OpLabel OpReturn OpFunctionEnd )"; ASSERT_TRUE(IsEqual(env, after_transformations, context.get())); } } // namespace } // namespace fuzz } // namespace spvtools