| // 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_compute_data_synonym_fact_closure.h" |
| |
| #include "gtest/gtest.h" |
| #include "source/fuzz/fuzzer_util.h" |
| #include "test/fuzz/fuzz_test_util.h" |
| |
| namespace spvtools { |
| namespace fuzz { |
| namespace { |
| |
| TEST(TransformationComputeDataSynonymFactClosureTest, DataSynonymFacts) { |
| // The SPIR-V types and constants come from the following code. The body of |
| // the SPIR-V function then constructs a composite that is synonymous with |
| // myT. |
| // |
| // #version 310 es |
| // |
| // precision highp float; |
| // |
| // struct S { |
| // int a; |
| // uvec2 b; |
| // }; |
| // |
| // struct T { |
| // bool c[5]; |
| // mat4x2 d; |
| // S e; |
| // }; |
| // |
| // void main() { |
| // T myT = T(bool[5](true, false, true, false, true), |
| // mat4x2(vec2(1.0, 2.0), vec2(3.0, 4.0), |
| // vec2(5.0, 6.0), vec2(7.0, 8.0)), |
| // S(10, uvec2(100u, 200u))); |
| // } |
| |
| std::string shader = R"( |
| OpCapability Shader |
| %1 = OpExtInstImport "GLSL.std.450" |
| OpMemoryModel Logical GLSL450 |
| OpEntryPoint Fragment %4 "main" |
| OpExecutionMode %4 OriginUpperLeft |
| OpSource ESSL 310 |
| OpName %4 "main" |
| OpName %15 "S" |
| OpMemberName %15 0 "a" |
| OpMemberName %15 1 "b" |
| OpName %16 "T" |
| OpMemberName %16 0 "c" |
| OpMemberName %16 1 "d" |
| OpMemberName %16 2 "e" |
| OpName %18 "myT" |
| OpMemberDecorate %15 0 RelaxedPrecision |
| OpMemberDecorate %15 1 RelaxedPrecision |
| %2 = OpTypeVoid |
| %3 = OpTypeFunction %2 |
| %6 = OpTypeBool |
| %7 = OpTypeInt 32 0 |
| %8 = OpConstant %7 5 |
| %9 = OpTypeArray %6 %8 |
| %10 = OpTypeFloat 32 |
| %11 = OpTypeVector %10 2 |
| %12 = OpTypeMatrix %11 4 |
| %13 = OpTypeInt 32 1 |
| %14 = OpTypeVector %7 2 |
| %15 = OpTypeStruct %13 %14 |
| %16 = OpTypeStruct %9 %12 %15 |
| %17 = OpTypePointer Function %16 |
| %19 = OpConstantTrue %6 |
| %20 = OpConstantFalse %6 |
| %21 = OpConstantComposite %9 %19 %20 %19 %20 %19 |
| %22 = OpConstant %10 1 |
| %23 = OpConstant %10 2 |
| %24 = OpConstantComposite %11 %22 %23 |
| %25 = OpConstant %10 3 |
| %26 = OpConstant %10 4 |
| %27 = OpConstantComposite %11 %25 %26 |
| %28 = OpConstant %10 5 |
| %29 = OpConstant %10 6 |
| %30 = OpConstantComposite %11 %28 %29 |
| %31 = OpConstant %10 7 |
| %32 = OpConstant %10 8 |
| %33 = OpConstantComposite %11 %31 %32 |
| %34 = OpConstantComposite %12 %24 %27 %30 %33 |
| %35 = OpConstant %13 10 |
| %36 = OpConstant %7 100 |
| %37 = OpConstant %7 200 |
| %38 = OpConstantComposite %14 %36 %37 |
| %39 = OpConstantComposite %15 %35 %38 |
| %40 = OpConstantComposite %16 %21 %34 %39 |
| %4 = OpFunction %2 None %3 |
| %5 = OpLabel |
| %18 = OpVariable %17 Function |
| OpStore %18 %40 |
| %100 = OpCompositeConstruct %9 %19 %20 %19 %20 %19 |
| %101 = OpCompositeConstruct %11 %22 %23 |
| %102 = OpCompositeConstruct %11 %25 %26 |
| %103 = OpCompositeConstruct %11 %28 %29 |
| %104 = OpCompositeConstruct %11 %31 %32 |
| %105 = OpCompositeConstruct %12 %101 %102 %103 %104 |
| %106 = OpCompositeConstruct %14 %36 %37 |
| %107 = OpCompositeConstruct %15 %35 %106 |
| %108 = OpCompositeConstruct %16 %100 %105 %107 |
| OpReturn |
| OpFunctionEnd |
| )"; |
| |
| const auto env = SPV_ENV_UNIVERSAL_1_3; |
| 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<FactManager>(context.get()), validator_options); |
| ASSERT_TRUE(TransformationComputeDataSynonymFactClosure(100).IsApplicable( |
| context.get(), transformation_context)); |
| |
| ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(24, {}), MakeDataDescriptor(101, {}))); |
| ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(24, {0}), MakeDataDescriptor(101, {0}))); |
| ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(24, {1}), MakeDataDescriptor(101, {1}))); |
| ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(24, {0}), MakeDataDescriptor(101, {1}))); |
| |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(24, {}), MakeDataDescriptor(101, {})); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(24, {}), MakeDataDescriptor(101, {}))); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(24, {0}), MakeDataDescriptor(101, {0}))); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(24, {1}), MakeDataDescriptor(101, {1}))); |
| ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(24, {0}), MakeDataDescriptor(101, {1}))); |
| |
| ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(27, {}), MakeDataDescriptor(102, {}))); |
| ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(27, {0}), MakeDataDescriptor(102, {0}))); |
| ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(27, {1}), MakeDataDescriptor(102, {1}))); |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(27, {0}), MakeDataDescriptor(102, {0})); |
| ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(27, {}), MakeDataDescriptor(102, {}))); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(27, {0}), MakeDataDescriptor(102, {0}))); |
| ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(27, {1}), MakeDataDescriptor(102, {1}))); |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(27, {1}), MakeDataDescriptor(102, {1})); |
| |
| ApplyAndCheckFreshIds(TransformationComputeDataSynonymFactClosure(100), |
| context.get(), &transformation_context); |
| |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(27, {}), MakeDataDescriptor(102, {}))); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(27, {0}), MakeDataDescriptor(102, {0}))); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(27, {1}), MakeDataDescriptor(102, {1}))); |
| |
| ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(30, {}), MakeDataDescriptor(103, {}))); |
| ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(30, {0}), MakeDataDescriptor(103, {0}))); |
| ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(30, {1}), MakeDataDescriptor(103, {1}))); |
| ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(33, {}), MakeDataDescriptor(104, {}))); |
| ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(33, {0}), MakeDataDescriptor(104, {0}))); |
| ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(33, {1}), MakeDataDescriptor(104, {1}))); |
| ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(34, {}), MakeDataDescriptor(105, {}))); |
| ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(34, {0}), MakeDataDescriptor(105, {0}))); |
| ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(34, {1}), MakeDataDescriptor(105, {1}))); |
| ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(34, {2}), MakeDataDescriptor(105, {2}))); |
| ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(34, {3}), MakeDataDescriptor(105, {3}))); |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(30, {}), MakeDataDescriptor(103, {})); |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(33, {}), MakeDataDescriptor(104, {})); |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(34, {0}), MakeDataDescriptor(105, {0})); |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(34, {1}), MakeDataDescriptor(105, {1})); |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(34, {2}), MakeDataDescriptor(105, {2})); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(30, {}), MakeDataDescriptor(103, {}))); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(30, {0}), MakeDataDescriptor(103, {0}))); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(30, {1}), MakeDataDescriptor(103, {1}))); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(33, {}), MakeDataDescriptor(104, {}))); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(33, {0}), MakeDataDescriptor(104, {0}))); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(33, {1}), MakeDataDescriptor(104, {1}))); |
| ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(34, {}), MakeDataDescriptor(105, {}))); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(34, {0}), MakeDataDescriptor(105, {0}))); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(34, {1}), MakeDataDescriptor(105, {1}))); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(34, {2}), MakeDataDescriptor(105, {2}))); |
| ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(34, {3}), MakeDataDescriptor(105, {3}))); |
| |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(34, {3}), MakeDataDescriptor(105, {3})); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(33, {0}), MakeDataDescriptor(104, {0}))); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(34, {3}), MakeDataDescriptor(105, {3}))); |
| |
| ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(21, {}), MakeDataDescriptor(100, {}))); |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(21, {0}), MakeDataDescriptor(100, {0})); |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(21, {1}), MakeDataDescriptor(100, {1})); |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(21, {2}), MakeDataDescriptor(100, {2})); |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(21, {3}), MakeDataDescriptor(100, {3})); |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(21, {4}), MakeDataDescriptor(100, {4})); |
| |
| ApplyAndCheckFreshIds(TransformationComputeDataSynonymFactClosure(100), |
| context.get(), &transformation_context); |
| |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(21, {}), MakeDataDescriptor(100, {}))); |
| |
| ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(39, {0}), MakeDataDescriptor(107, {0}))); |
| ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(35, {}), MakeDataDescriptor(39, {0}))); |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(39, {0}), MakeDataDescriptor(35, {})); |
| ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(39, {0}), MakeDataDescriptor(107, {0}))); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(35, {}), MakeDataDescriptor(39, {0}))); |
| |
| ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(38, {0}), MakeDataDescriptor(36, {}))); |
| ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(38, {1}), MakeDataDescriptor(37, {}))); |
| ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(106, {0}), MakeDataDescriptor(36, {}))); |
| ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(106, {1}), MakeDataDescriptor(37, {}))); |
| ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(38, {}), MakeDataDescriptor(106, {}))); |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(38, {0}), MakeDataDescriptor(36, {})); |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(106, {0}), MakeDataDescriptor(36, {})); |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(38, {1}), MakeDataDescriptor(37, {})); |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(106, {1}), MakeDataDescriptor(37, {})); |
| |
| ApplyAndCheckFreshIds(TransformationComputeDataSynonymFactClosure(100), |
| context.get(), &transformation_context); |
| |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(38, {0}), MakeDataDescriptor(36, {}))); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(38, {1}), MakeDataDescriptor(37, {}))); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(106, {0}), MakeDataDescriptor(36, {}))); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(106, {1}), MakeDataDescriptor(37, {}))); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(38, {}), MakeDataDescriptor(106, {}))); |
| |
| ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(40, {}), MakeDataDescriptor(108, {}))); |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(107, {0}), MakeDataDescriptor(35, {})); |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(40, {0}), MakeDataDescriptor(108, {0})); |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(40, {1}), MakeDataDescriptor(108, {1})); |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(40, {2}), MakeDataDescriptor(108, {2})); |
| |
| ApplyAndCheckFreshIds(TransformationComputeDataSynonymFactClosure(100), |
| context.get(), &transformation_context); |
| |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(40, {}), MakeDataDescriptor(108, {}))); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(40, {0}), MakeDataDescriptor(108, {0}))); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(40, {1}), MakeDataDescriptor(108, {1}))); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(40, {2}), MakeDataDescriptor(108, {2}))); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(40, {0, 0}), MakeDataDescriptor(108, {0, 0}))); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(40, {0, 1}), MakeDataDescriptor(108, {0, 1}))); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(40, {0, 2}), MakeDataDescriptor(108, {0, 2}))); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(40, {0, 3}), MakeDataDescriptor(108, {0, 3}))); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(40, {0, 4}), MakeDataDescriptor(108, {0, 4}))); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(40, {1, 0}), MakeDataDescriptor(108, {1, 0}))); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(40, {1, 1}), MakeDataDescriptor(108, {1, 1}))); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(40, {1, 2}), MakeDataDescriptor(108, {1, 2}))); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(40, {1, 3}), MakeDataDescriptor(108, {1, 3}))); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(40, {1, 0, 0}), MakeDataDescriptor(108, {1, 0, 0}))); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(40, {1, 1, 0}), MakeDataDescriptor(108, {1, 1, 0}))); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(40, {1, 2, 0}), MakeDataDescriptor(108, {1, 2, 0}))); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(40, {1, 3, 0}), MakeDataDescriptor(108, {1, 3, 0}))); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(40, {1, 0, 1}), MakeDataDescriptor(108, {1, 0, 1}))); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(40, {1, 1, 1}), MakeDataDescriptor(108, {1, 1, 1}))); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(40, {1, 2, 1}), MakeDataDescriptor(108, {1, 2, 1}))); |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(40, {1, 3, 1}), MakeDataDescriptor(108, {1, 3, 1}))); |
| |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(40, {2, 0}), MakeDataDescriptor(108, {2, 0}))); |
| |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(40, {2, 1}), MakeDataDescriptor(108, {2, 1}))); |
| |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(40, {2, 1, 0}), MakeDataDescriptor(108, {2, 1, 0}))); |
| |
| ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(40, {2, 1, 1}), MakeDataDescriptor(108, {2, 1, 1}))); |
| } |
| |
| TEST(TransformationComputeDataSynonymFactClosureTest, |
| ComputeClosureWithMissingIds) { |
| std::string shader = R"( |
| OpCapability Shader |
| %1 = OpExtInstImport "GLSL.std.450" |
| OpMemoryModel Logical GLSL450 |
| OpEntryPoint Fragment %12 "main" |
| OpExecutionMode %12 OriginUpperLeft |
| OpSource ESSL 310 |
| %2 = OpTypeVoid |
| %3 = OpTypeFunction %2 |
| %6 = OpTypeInt 32 1 |
| %7 = OpTypeVector %6 4 |
| %15 = OpConstant %6 24 |
| %16 = OpConstantComposite %7 %15 %15 %15 %15 |
| %17 = OpConstantComposite %7 %15 %15 %15 %15 |
| %18 = OpTypeStruct %7 |
| %19 = OpConstantComposite %18 %16 |
| %30 = OpConstantComposite %18 %17 |
| %12 = OpFunction %2 None %3 |
| %13 = OpLabel |
| %50 = OpCopyObject %7 %16 |
| %51 = OpCopyObject %7 %17 |
| %20 = OpCopyObject %6 %15 |
| %21 = OpCopyObject %6 %15 |
| %22 = OpCopyObject %6 %15 |
| OpReturn |
| OpFunctionEnd |
| )"; |
| |
| const auto env = SPV_ENV_UNIVERSAL_1_3; |
| const auto consumer = nullptr; |
| const auto context = BuildModule(env, consumer, shader, kFuzzAssembleOption); |
| ValidatorOptions validator_options; |
| ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options, |
| kConsoleMessageConsumer)); |
| |
| TransformationContext transformation_context( |
| MakeUnique<FactManager>(context.get()), validator_options); |
| |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(20, {}), MakeDataDescriptor(15, {})); |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(21, {}), MakeDataDescriptor(15, {})); |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(22, {}), MakeDataDescriptor(15, {})); |
| |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(17, {0}), MakeDataDescriptor(15, {})); |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(17, {1}), MakeDataDescriptor(15, {})); |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(17, {2}), MakeDataDescriptor(15, {})); |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(17, {3}), MakeDataDescriptor(15, {})); |
| |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(16, {0}), MakeDataDescriptor(20, {})); |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(16, {1}), MakeDataDescriptor(21, {})); |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(16, {2}), MakeDataDescriptor(22, {})); |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(16, {3}), MakeDataDescriptor(15, {})); |
| |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(51, {0}), MakeDataDescriptor(15, {})); |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(51, {1}), MakeDataDescriptor(15, {})); |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(51, {2}), MakeDataDescriptor(15, {})); |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(51, {3}), MakeDataDescriptor(15, {})); |
| |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(50, {0}), MakeDataDescriptor(20, {})); |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(50, {1}), MakeDataDescriptor(21, {})); |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(50, {2}), MakeDataDescriptor(22, {})); |
| transformation_context.GetFactManager()->AddFactDataSynonym( |
| MakeDataDescriptor(50, {3}), MakeDataDescriptor(15, {})); |
| |
| ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(19, {}), MakeDataDescriptor(30, {}))); |
| |
| context->KillDef(20); |
| context->KillDef(21); |
| context->KillDef(22); |
| context->KillDef(50); |
| context->KillDef(51); |
| context->InvalidateAnalysesExceptFor(opt::IRContext::kAnalysisNone); |
| |
| ApplyAndCheckFreshIds(TransformationComputeDataSynonymFactClosure(100), |
| context.get(), &transformation_context); |
| ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( |
| MakeDataDescriptor(19, {}), MakeDataDescriptor(30, {}))); |
| } |
| |
| } // namespace |
| } // namespace fuzz |
| } // namespace spvtools |
