blob: 995b2605f69011faab1530326ed2d69fb641876c [file] [log] [blame]
// 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