mirror of
https://github.com/KhronosGroup/SPIRV-Tools
synced 2024-11-30 06:50:06 +00:00
67f4838659
The fact manager maintains an equivalence relation on data descriptors that tracks when one data descriptor could be used in place of another. An algorithm to compute the closure of such facts allows deducing new synonym facts from existing facts. E.g., for two 2D vectors u and v it is known that u.x is synonymous with v.x and u.y is synonymous with v.y, it can be deduced that u and v are synonymous. The closure computation algorithm is very expensive if we get large equivalence relations. This change addresses this in three ways: - The size of equivalence relations is reduced by limiting the extent to which the components of a composite are recursively noted as being equivalent, so that when we have large synonymous arrays we do not record all array elements as being pairwise equivalent. - When computing the closure of facts, equivalence classes above a certain size are simply skipped (which can lead to missed facts) - The closure computation is performed less frequently - it is invoked explicitly before fuzzer passes that will benefit from data synonym facts. A new transformation is used to control its invocation, so that fuzzing and replaying do not get out of sync. The change also tidies up the order in which some getters are declared in FuzzerContext.
1226 lines
50 KiB
C++
1226 lines
50 KiB
C++
// Copyright (c) 2019 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/data_descriptor.h"
|
|
#include "source/fuzz/id_use_descriptor.h"
|
|
#include "source/fuzz/instruction_descriptor.h"
|
|
#include "source/fuzz/transformation_composite_extract.h"
|
|
#include "source/fuzz/transformation_replace_id_with_synonym.h"
|
|
#include "source/fuzz/transformation_vector_shuffle.h"
|
|
#include "test/fuzz/fuzz_test_util.h"
|
|
|
|
namespace spvtools {
|
|
namespace fuzz {
|
|
namespace {
|
|
|
|
// This file captures tests that check correctness of the collective use of a
|
|
// number of transformations that relate to data synonyms.
|
|
|
|
protobufs::Fact MakeSynonymFact(uint32_t first_id,
|
|
std::vector<uint32_t>&& first_indices,
|
|
uint32_t second_id,
|
|
std::vector<uint32_t>&& second_indices) {
|
|
protobufs::FactDataSynonym data_synonym_fact;
|
|
*data_synonym_fact.mutable_data1() =
|
|
MakeDataDescriptor(first_id, std::move(first_indices));
|
|
*data_synonym_fact.mutable_data2() =
|
|
MakeDataDescriptor(second_id, std::move(second_indices));
|
|
protobufs::Fact result;
|
|
*result.mutable_data_synonym_fact() = data_synonym_fact;
|
|
return result;
|
|
}
|
|
|
|
TEST(DataSynonymTransformationTest, ArrayCompositeSynonyms) {
|
|
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 %11 "A"
|
|
OpName %20 "B"
|
|
OpName %31 "g"
|
|
OpName %35 "h"
|
|
OpDecorate %11 RelaxedPrecision
|
|
OpDecorate %22 RelaxedPrecision
|
|
OpDecorate %27 RelaxedPrecision
|
|
OpDecorate %35 RelaxedPrecision
|
|
OpDecorate %36 RelaxedPrecision
|
|
OpDecorate %40 RelaxedPrecision
|
|
OpDecorate %41 RelaxedPrecision
|
|
%2 = OpTypeVoid
|
|
%3 = OpTypeFunction %2
|
|
%6 = OpTypeInt 32 1
|
|
%7 = OpTypeInt 32 0
|
|
%8 = OpConstant %7 3
|
|
%9 = OpTypeArray %6 %8
|
|
%10 = OpTypePointer Function %9
|
|
%12 = OpConstant %6 0
|
|
%13 = OpConstant %6 3
|
|
%14 = OpTypePointer Function %6
|
|
%16 = OpTypeFloat 32
|
|
%17 = OpConstant %7 4
|
|
%18 = OpTypeArray %16 %17
|
|
%19 = OpTypePointer Function %18
|
|
%24 = OpTypePointer Function %16
|
|
%28 = OpConstant %16 42
|
|
%30 = OpConstant %6 2
|
|
%34 = OpConstant %6 1
|
|
%38 = OpConstant %6 42
|
|
%4 = OpFunction %2 None %3
|
|
%5 = OpLabel
|
|
%11 = OpVariable %10 Function
|
|
%20 = OpVariable %19 Function
|
|
%31 = OpVariable %24 Function
|
|
%35 = OpVariable %14 Function
|
|
%15 = OpAccessChain %14 %11 %12
|
|
%21 = OpAccessChain %14 %11 %12
|
|
%22 = OpLoad %6 %21
|
|
%100 = OpCompositeConstruct %9 %12 %13 %22
|
|
OpStore %15 %13
|
|
%23 = OpConvertSToF %16 %22
|
|
%25 = OpAccessChain %24 %20 %12
|
|
OpStore %25 %23
|
|
%26 = OpAccessChain %14 %11 %12
|
|
%27 = OpLoad %6 %26
|
|
%29 = OpAccessChain %24 %20 %27
|
|
OpStore %29 %28
|
|
%32 = OpLoad %16 %31
|
|
%101 = OpCompositeConstruct %18 %28 %23 %32 %23
|
|
%50 = OpCopyObject %16 %23
|
|
%51 = OpCopyObject %16 %23
|
|
%33 = OpAccessChain %24 %20 %30
|
|
OpStore %33 %28
|
|
OpStore %33 %32
|
|
%36 = OpLoad %6 %35
|
|
%37 = OpAccessChain %14 %11 %34
|
|
OpStore %37 %36
|
|
%39 = OpAccessChain %14 %11 %12
|
|
%40 = OpLoad %6 %39
|
|
%41 = OpIAdd %6 %38 %40
|
|
%42 = OpAccessChain %14 %11 %30
|
|
OpStore %42 %41
|
|
OpReturn
|
|
OpFunctionEnd
|
|
)";
|
|
|
|
const auto env = SPV_ENV_UNIVERSAL_1_3;
|
|
const auto consumer = nullptr;
|
|
const auto context = BuildModule(env, consumer, shader, kFuzzAssembleOption);
|
|
ASSERT_TRUE(IsValid(env, context.get()));
|
|
|
|
FactManager fact_manager;
|
|
spvtools::ValidatorOptions validator_options;
|
|
TransformationContext transformation_context(&fact_manager,
|
|
validator_options);
|
|
|
|
transformation_context.GetFactManager()->AddFact(
|
|
MakeSynonymFact(12, {}, 100, {0}), context.get());
|
|
transformation_context.GetFactManager()->AddFact(
|
|
MakeSynonymFact(13, {}, 100, {1}), context.get());
|
|
transformation_context.GetFactManager()->AddFact(
|
|
MakeSynonymFact(22, {}, 100, {2}), context.get());
|
|
transformation_context.GetFactManager()->AddFact(
|
|
MakeSynonymFact(28, {}, 101, {0}), context.get());
|
|
transformation_context.GetFactManager()->AddFact(
|
|
MakeSynonymFact(23, {}, 101, {1}), context.get());
|
|
transformation_context.GetFactManager()->AddFact(
|
|
MakeSynonymFact(32, {}, 101, {2}), context.get());
|
|
transformation_context.GetFactManager()->AddFact(
|
|
MakeSynonymFact(23, {}, 101, {3}), context.get());
|
|
|
|
// Replace %12 with %100[0] in '%25 = OpAccessChain %24 %20 %12'
|
|
auto instruction_descriptor_1 =
|
|
MakeInstructionDescriptor(25, SpvOpAccessChain, 0);
|
|
auto good_extract_1 =
|
|
TransformationCompositeExtract(instruction_descriptor_1, 102, 100, {0});
|
|
// Bad: id already in use
|
|
auto bad_extract_1 = TransformationCompositeExtract(
|
|
MakeInstructionDescriptor(25, SpvOpAccessChain, 0), 25, 100, {0});
|
|
ASSERT_TRUE(
|
|
good_extract_1.IsApplicable(context.get(), transformation_context));
|
|
ASSERT_FALSE(
|
|
bad_extract_1.IsApplicable(context.get(), transformation_context));
|
|
good_extract_1.Apply(context.get(), &transformation_context);
|
|
auto replacement_1 = TransformationReplaceIdWithSynonym(
|
|
MakeIdUseDescriptor(12, instruction_descriptor_1, 1), 102);
|
|
ASSERT_TRUE(
|
|
replacement_1.IsApplicable(context.get(), transformation_context));
|
|
replacement_1.Apply(context.get(), &transformation_context);
|
|
ASSERT_TRUE(IsValid(env, context.get()));
|
|
|
|
// Replace %13 with %100[1] in 'OpStore %15 %13'
|
|
auto instruction_descriptor_2 = MakeInstructionDescriptor(100, SpvOpStore, 0);
|
|
auto good_extract_2 =
|
|
TransformationCompositeExtract(instruction_descriptor_2, 103, 100, {1});
|
|
// No bad example provided here.
|
|
ASSERT_TRUE(
|
|
good_extract_2.IsApplicable(context.get(), transformation_context));
|
|
good_extract_2.Apply(context.get(), &transformation_context);
|
|
auto replacement_2 = TransformationReplaceIdWithSynonym(
|
|
MakeIdUseDescriptor(13, instruction_descriptor_2, 1), 103);
|
|
ASSERT_TRUE(
|
|
replacement_2.IsApplicable(context.get(), transformation_context));
|
|
replacement_2.Apply(context.get(), &transformation_context);
|
|
ASSERT_TRUE(IsValid(env, context.get()));
|
|
|
|
// Replace %22 with %100[2] in '%23 = OpConvertSToF %16 %22'
|
|
auto instruction_descriptor_3 =
|
|
MakeInstructionDescriptor(23, SpvOpConvertSToF, 0);
|
|
auto good_extract_3 =
|
|
TransformationCompositeExtract(instruction_descriptor_3, 104, 100, {2});
|
|
ASSERT_TRUE(
|
|
good_extract_3.IsApplicable(context.get(), transformation_context));
|
|
good_extract_3.Apply(context.get(), &transformation_context);
|
|
auto replacement_3 = TransformationReplaceIdWithSynonym(
|
|
MakeIdUseDescriptor(22, instruction_descriptor_3, 0), 104);
|
|
// Bad: wrong input operand index
|
|
auto bad_replacement_3 = TransformationReplaceIdWithSynonym(
|
|
MakeIdUseDescriptor(22, instruction_descriptor_3, 1), 104);
|
|
ASSERT_TRUE(
|
|
replacement_3.IsApplicable(context.get(), transformation_context));
|
|
ASSERT_FALSE(
|
|
bad_replacement_3.IsApplicable(context.get(), transformation_context));
|
|
replacement_3.Apply(context.get(), &transformation_context);
|
|
ASSERT_TRUE(IsValid(env, context.get()));
|
|
|
|
// Replace %28 with %101[0] in 'OpStore %33 %28'
|
|
auto instruction_descriptor_4 = MakeInstructionDescriptor(33, SpvOpStore, 0);
|
|
auto good_extract_4 =
|
|
TransformationCompositeExtract(instruction_descriptor_4, 105, 101, {0});
|
|
// Bad: instruction descriptor does not identify an appropriate instruction
|
|
auto bad_extract_4 = TransformationCompositeExtract(
|
|
MakeInstructionDescriptor(33, SpvOpCopyObject, 0), 105, 101, {0});
|
|
ASSERT_TRUE(
|
|
good_extract_4.IsApplicable(context.get(), transformation_context));
|
|
ASSERT_FALSE(
|
|
bad_extract_4.IsApplicable(context.get(), transformation_context));
|
|
good_extract_4.Apply(context.get(), &transformation_context);
|
|
auto replacement_4 = TransformationReplaceIdWithSynonym(
|
|
MakeIdUseDescriptor(28, instruction_descriptor_4, 1), 105);
|
|
ASSERT_TRUE(
|
|
replacement_4.IsApplicable(context.get(), transformation_context));
|
|
replacement_4.Apply(context.get(), &transformation_context);
|
|
ASSERT_TRUE(IsValid(env, context.get()));
|
|
|
|
// Replace %23 with %101[1] in '%50 = OpCopyObject %16 %23'
|
|
auto instruction_descriptor_5 =
|
|
MakeInstructionDescriptor(50, SpvOpCopyObject, 0);
|
|
auto good_extract_5 =
|
|
TransformationCompositeExtract(instruction_descriptor_5, 106, 101, {1});
|
|
ASSERT_TRUE(
|
|
good_extract_5.IsApplicable(context.get(), transformation_context));
|
|
good_extract_5.Apply(context.get(), &transformation_context);
|
|
auto replacement_5 = TransformationReplaceIdWithSynonym(
|
|
MakeIdUseDescriptor(23, instruction_descriptor_5, 0), 106);
|
|
// Bad: wrong synonym fact being used
|
|
auto bad_replacement_5 = TransformationReplaceIdWithSynonym(
|
|
MakeIdUseDescriptor(23, instruction_descriptor_5, 0), 105);
|
|
ASSERT_TRUE(
|
|
replacement_5.IsApplicable(context.get(), transformation_context));
|
|
ASSERT_FALSE(
|
|
bad_replacement_5.IsApplicable(context.get(), transformation_context));
|
|
replacement_5.Apply(context.get(), &transformation_context);
|
|
ASSERT_TRUE(IsValid(env, context.get()));
|
|
|
|
// Replace %32 with %101[2] in 'OpStore %33 %32'
|
|
auto instruction_descriptor_6 = MakeInstructionDescriptor(33, SpvOpStore, 1);
|
|
auto good_extract_6 =
|
|
TransformationCompositeExtract(instruction_descriptor_6, 107, 101, {2});
|
|
// Bad: id 1001 does not exist
|
|
auto bad_extract_6 =
|
|
TransformationCompositeExtract(instruction_descriptor_6, 107, 1001, {2});
|
|
ASSERT_TRUE(
|
|
good_extract_6.IsApplicable(context.get(), transformation_context));
|
|
ASSERT_FALSE(
|
|
bad_extract_6.IsApplicable(context.get(), transformation_context));
|
|
good_extract_6.Apply(context.get(), &transformation_context);
|
|
auto replacement_6 = TransformationReplaceIdWithSynonym(
|
|
MakeIdUseDescriptor(32, instruction_descriptor_6, 1), 107);
|
|
ASSERT_TRUE(
|
|
replacement_6.IsApplicable(context.get(), transformation_context));
|
|
replacement_6.Apply(context.get(), &transformation_context);
|
|
ASSERT_TRUE(IsValid(env, context.get()));
|
|
|
|
// Replace %23 with %101[3] in '%51 = OpCopyObject %16 %23'
|
|
auto instruction_descriptor_7 =
|
|
MakeInstructionDescriptor(51, SpvOpCopyObject, 0);
|
|
auto good_extract_7 =
|
|
TransformationCompositeExtract(instruction_descriptor_7, 108, 101, {3});
|
|
ASSERT_TRUE(
|
|
good_extract_7.IsApplicable(context.get(), transformation_context));
|
|
good_extract_7.Apply(context.get(), &transformation_context);
|
|
auto replacement_7 = TransformationReplaceIdWithSynonym(
|
|
MakeIdUseDescriptor(23, instruction_descriptor_7, 0), 108);
|
|
// Bad: use id 0 is invalid
|
|
auto bad_replacement_7 = TransformationReplaceIdWithSynonym(
|
|
MakeIdUseDescriptor(0, instruction_descriptor_7, 0), 108);
|
|
ASSERT_TRUE(
|
|
replacement_7.IsApplicable(context.get(), transformation_context));
|
|
ASSERT_FALSE(
|
|
bad_replacement_7.IsApplicable(context.get(), transformation_context));
|
|
replacement_7.Apply(context.get(), &transformation_context);
|
|
ASSERT_TRUE(IsValid(env, context.get()));
|
|
|
|
const std::string after_transformation = 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 %11 "A"
|
|
OpName %20 "B"
|
|
OpName %31 "g"
|
|
OpName %35 "h"
|
|
OpDecorate %11 RelaxedPrecision
|
|
OpDecorate %22 RelaxedPrecision
|
|
OpDecorate %27 RelaxedPrecision
|
|
OpDecorate %35 RelaxedPrecision
|
|
OpDecorate %36 RelaxedPrecision
|
|
OpDecorate %40 RelaxedPrecision
|
|
OpDecorate %41 RelaxedPrecision
|
|
%2 = OpTypeVoid
|
|
%3 = OpTypeFunction %2
|
|
%6 = OpTypeInt 32 1
|
|
%7 = OpTypeInt 32 0
|
|
%8 = OpConstant %7 3
|
|
%9 = OpTypeArray %6 %8
|
|
%10 = OpTypePointer Function %9
|
|
%12 = OpConstant %6 0
|
|
%13 = OpConstant %6 3
|
|
%14 = OpTypePointer Function %6
|
|
%16 = OpTypeFloat 32
|
|
%17 = OpConstant %7 4
|
|
%18 = OpTypeArray %16 %17
|
|
%19 = OpTypePointer Function %18
|
|
%24 = OpTypePointer Function %16
|
|
%28 = OpConstant %16 42
|
|
%30 = OpConstant %6 2
|
|
%34 = OpConstant %6 1
|
|
%38 = OpConstant %6 42
|
|
%4 = OpFunction %2 None %3
|
|
%5 = OpLabel
|
|
%11 = OpVariable %10 Function
|
|
%20 = OpVariable %19 Function
|
|
%31 = OpVariable %24 Function
|
|
%35 = OpVariable %14 Function
|
|
%15 = OpAccessChain %14 %11 %12
|
|
%21 = OpAccessChain %14 %11 %12
|
|
%22 = OpLoad %6 %21
|
|
%100 = OpCompositeConstruct %9 %12 %13 %22
|
|
%103 = OpCompositeExtract %6 %100 1
|
|
OpStore %15 %103
|
|
%104 = OpCompositeExtract %6 %100 2
|
|
%23 = OpConvertSToF %16 %104
|
|
%102 = OpCompositeExtract %6 %100 0
|
|
%25 = OpAccessChain %24 %20 %102
|
|
OpStore %25 %23
|
|
%26 = OpAccessChain %14 %11 %12
|
|
%27 = OpLoad %6 %26
|
|
%29 = OpAccessChain %24 %20 %27
|
|
OpStore %29 %28
|
|
%32 = OpLoad %16 %31
|
|
%101 = OpCompositeConstruct %18 %28 %23 %32 %23
|
|
%106 = OpCompositeExtract %16 %101 1
|
|
%50 = OpCopyObject %16 %106
|
|
%108 = OpCompositeExtract %16 %101 3
|
|
%51 = OpCopyObject %16 %108
|
|
%33 = OpAccessChain %24 %20 %30
|
|
%105 = OpCompositeExtract %16 %101 0
|
|
OpStore %33 %105
|
|
%107 = OpCompositeExtract %16 %101 2
|
|
OpStore %33 %107
|
|
%36 = OpLoad %6 %35
|
|
%37 = OpAccessChain %14 %11 %34
|
|
OpStore %37 %36
|
|
%39 = OpAccessChain %14 %11 %12
|
|
%40 = OpLoad %6 %39
|
|
%41 = OpIAdd %6 %38 %40
|
|
%42 = OpAccessChain %14 %11 %30
|
|
OpStore %42 %41
|
|
OpReturn
|
|
OpFunctionEnd
|
|
)";
|
|
|
|
ASSERT_TRUE(IsEqual(env, after_transformation, context.get()));
|
|
}
|
|
|
|
TEST(DataSynonymTransformationTest, MatrixCompositeSynonyms) {
|
|
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 %10 "m"
|
|
%2 = OpTypeVoid
|
|
%3 = OpTypeFunction %2
|
|
%6 = OpTypeFloat 32
|
|
%7 = OpTypeVector %6 4
|
|
%50 = OpUndef %7
|
|
%8 = OpTypeMatrix %7 3
|
|
%9 = OpTypePointer Function %8
|
|
%11 = OpTypeInt 32 1
|
|
%12 = OpConstant %11 0
|
|
%13 = OpConstant %6 1
|
|
%14 = OpConstantComposite %7 %13 %13 %13 %13
|
|
%15 = OpTypePointer Function %7
|
|
%17 = OpConstant %11 1
|
|
%18 = OpConstant %6 2
|
|
%19 = OpConstantComposite %7 %18 %18 %18 %18
|
|
%21 = OpConstant %11 2
|
|
%4 = OpFunction %2 None %3
|
|
%5 = OpLabel
|
|
%10 = OpVariable %9 Function
|
|
%16 = OpAccessChain %15 %10 %12
|
|
OpStore %16 %14
|
|
%20 = OpAccessChain %15 %10 %17
|
|
OpStore %20 %19
|
|
%22 = OpAccessChain %15 %10 %12
|
|
%23 = OpLoad %7 %22
|
|
%24 = OpAccessChain %15 %10 %17
|
|
%25 = OpLoad %7 %24
|
|
%100 = OpCompositeConstruct %8 %23 %25 %50
|
|
%26 = OpFAdd %7 %23 %25
|
|
%27 = OpAccessChain %15 %10 %21
|
|
OpStore %27 %26
|
|
OpReturn
|
|
OpFunctionEnd
|
|
)";
|
|
|
|
const auto env = SPV_ENV_UNIVERSAL_1_3;
|
|
const auto consumer = nullptr;
|
|
const auto context = BuildModule(env, consumer, shader, kFuzzAssembleOption);
|
|
ASSERT_TRUE(IsValid(env, context.get()));
|
|
|
|
FactManager fact_manager;
|
|
spvtools::ValidatorOptions validator_options;
|
|
TransformationContext transformation_context(&fact_manager,
|
|
validator_options);
|
|
|
|
transformation_context.GetFactManager()->AddFact(
|
|
MakeSynonymFact(23, {}, 100, {0}), context.get());
|
|
transformation_context.GetFactManager()->AddFact(
|
|
MakeSynonymFact(25, {}, 100, {1}), context.get());
|
|
transformation_context.GetFactManager()->AddFact(
|
|
MakeSynonymFact(50, {}, 100, {2}), context.get());
|
|
|
|
// Replace %23 with %100[0] in '%26 = OpFAdd %7 %23 %25'
|
|
auto instruction_descriptor_1 = MakeInstructionDescriptor(26, SpvOpFAdd, 0);
|
|
auto extract_1 =
|
|
TransformationCompositeExtract(instruction_descriptor_1, 101, 100, {0});
|
|
ASSERT_TRUE(extract_1.IsApplicable(context.get(), transformation_context));
|
|
extract_1.Apply(context.get(), &transformation_context);
|
|
auto replacement_1 = TransformationReplaceIdWithSynonym(
|
|
MakeIdUseDescriptor(23, instruction_descriptor_1, 0), 101);
|
|
ASSERT_TRUE(
|
|
replacement_1.IsApplicable(context.get(), transformation_context));
|
|
replacement_1.Apply(context.get(), &transformation_context);
|
|
ASSERT_TRUE(IsValid(env, context.get()));
|
|
|
|
// Replace %25 with %100[1] in '%26 = OpFAdd %7 %23 %25'
|
|
auto instruction_descriptor_2 = MakeInstructionDescriptor(26, SpvOpFAdd, 0);
|
|
auto extract_2 =
|
|
TransformationCompositeExtract(instruction_descriptor_2, 102, 100, {1});
|
|
ASSERT_TRUE(extract_2.IsApplicable(context.get(), transformation_context));
|
|
extract_2.Apply(context.get(), &transformation_context);
|
|
auto replacement_2 = TransformationReplaceIdWithSynonym(
|
|
MakeIdUseDescriptor(25, instruction_descriptor_2, 1), 102);
|
|
ASSERT_TRUE(
|
|
replacement_2.IsApplicable(context.get(), transformation_context));
|
|
replacement_2.Apply(context.get(), &transformation_context);
|
|
ASSERT_TRUE(IsValid(env, context.get()));
|
|
|
|
const std::string after_transformation = 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 %10 "m"
|
|
%2 = OpTypeVoid
|
|
%3 = OpTypeFunction %2
|
|
%6 = OpTypeFloat 32
|
|
%7 = OpTypeVector %6 4
|
|
%50 = OpUndef %7
|
|
%8 = OpTypeMatrix %7 3
|
|
%9 = OpTypePointer Function %8
|
|
%11 = OpTypeInt 32 1
|
|
%12 = OpConstant %11 0
|
|
%13 = OpConstant %6 1
|
|
%14 = OpConstantComposite %7 %13 %13 %13 %13
|
|
%15 = OpTypePointer Function %7
|
|
%17 = OpConstant %11 1
|
|
%18 = OpConstant %6 2
|
|
%19 = OpConstantComposite %7 %18 %18 %18 %18
|
|
%21 = OpConstant %11 2
|
|
%4 = OpFunction %2 None %3
|
|
%5 = OpLabel
|
|
%10 = OpVariable %9 Function
|
|
%16 = OpAccessChain %15 %10 %12
|
|
OpStore %16 %14
|
|
%20 = OpAccessChain %15 %10 %17
|
|
OpStore %20 %19
|
|
%22 = OpAccessChain %15 %10 %12
|
|
%23 = OpLoad %7 %22
|
|
%24 = OpAccessChain %15 %10 %17
|
|
%25 = OpLoad %7 %24
|
|
%100 = OpCompositeConstruct %8 %23 %25 %50
|
|
%101 = OpCompositeExtract %7 %100 0
|
|
%102 = OpCompositeExtract %7 %100 1
|
|
%26 = OpFAdd %7 %101 %102
|
|
%27 = OpAccessChain %15 %10 %21
|
|
OpStore %27 %26
|
|
OpReturn
|
|
OpFunctionEnd
|
|
)";
|
|
|
|
ASSERT_TRUE(IsEqual(env, after_transformation, context.get()));
|
|
}
|
|
|
|
TEST(DataSynonymTransformationTest, StructCompositeSynonyms) {
|
|
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 %9 "Inner"
|
|
OpMemberName %9 0 "a"
|
|
OpMemberName %9 1 "b"
|
|
OpName %11 "i1"
|
|
OpName %17 "i2"
|
|
OpName %31 "Point"
|
|
OpMemberName %31 0 "x"
|
|
OpMemberName %31 1 "y"
|
|
OpMemberName %31 2 "z"
|
|
OpName %32 "Outer"
|
|
OpMemberName %32 0 "c"
|
|
OpMemberName %32 1 "d"
|
|
OpName %34 "o1"
|
|
%2 = OpTypeVoid
|
|
%3 = OpTypeFunction %2
|
|
%6 = OpTypeInt 32 1
|
|
%7 = OpTypeFloat 32
|
|
%8 = OpTypeVector %7 2
|
|
%9 = OpTypeStruct %6 %8
|
|
%10 = OpTypePointer Function %9
|
|
%12 = OpConstant %6 1
|
|
%13 = OpConstant %7 2
|
|
%14 = OpConstant %7 3
|
|
%15 = OpConstantComposite %8 %13 %14
|
|
%16 = OpConstantComposite %9 %12 %15
|
|
%18 = OpConstant %6 0
|
|
%19 = OpTypePointer Function %6
|
|
%24 = OpTypePointer Function %8
|
|
%27 = OpConstant %7 4
|
|
%31 = OpTypeStruct %7 %7 %7
|
|
%32 = OpTypeStruct %9 %31
|
|
%33 = OpTypePointer Function %32
|
|
%36 = OpConstant %7 10
|
|
%37 = OpTypeInt 32 0
|
|
%38 = OpConstant %37 0
|
|
%39 = OpTypePointer Function %7
|
|
%42 = OpConstant %37 1
|
|
%4 = OpFunction %2 None %3
|
|
%5 = OpLabel
|
|
%11 = OpVariable %10 Function
|
|
%17 = OpVariable %10 Function
|
|
%34 = OpVariable %33 Function
|
|
%101 = OpCompositeConstruct %31 %27 %36 %27
|
|
OpStore %11 %16
|
|
%20 = OpAccessChain %19 %11 %18
|
|
%21 = OpLoad %6 %20
|
|
%22 = OpIAdd %6 %21 %12
|
|
%102 = OpCompositeConstruct %9 %22 %15
|
|
%23 = OpAccessChain %19 %17 %18
|
|
OpStore %23 %22
|
|
%25 = OpAccessChain %24 %17 %12
|
|
%26 = OpLoad %8 %25
|
|
%28 = OpCompositeConstruct %8 %27 %27
|
|
%29 = OpFAdd %8 %26 %28
|
|
%30 = OpAccessChain %24 %17 %12
|
|
OpStore %30 %29
|
|
%35 = OpLoad %9 %11
|
|
%40 = OpAccessChain %39 %11 %12 %38
|
|
%41 = OpLoad %7 %40
|
|
%43 = OpAccessChain %39 %11 %12 %42
|
|
%44 = OpLoad %7 %43
|
|
%45 = OpCompositeConstruct %31 %36 %41 %44
|
|
%100 = OpCompositeConstruct %32 %16 %45
|
|
%46 = OpCompositeConstruct %32 %35 %45
|
|
OpStore %34 %46
|
|
OpReturn
|
|
OpFunctionEnd
|
|
)";
|
|
|
|
const auto env = SPV_ENV_UNIVERSAL_1_3;
|
|
const auto consumer = nullptr;
|
|
const auto context = BuildModule(env, consumer, shader, kFuzzAssembleOption);
|
|
ASSERT_TRUE(IsValid(env, context.get()));
|
|
|
|
FactManager fact_manager;
|
|
spvtools::ValidatorOptions validator_options;
|
|
TransformationContext transformation_context(&fact_manager,
|
|
validator_options);
|
|
|
|
transformation_context.GetFactManager()->AddFact(
|
|
MakeSynonymFact(16, {}, 100, {0}), context.get());
|
|
transformation_context.GetFactManager()->AddFact(
|
|
MakeSynonymFact(45, {}, 100, {1}), context.get());
|
|
transformation_context.GetFactManager()->AddFact(
|
|
MakeSynonymFact(27, {}, 101, {0}), context.get());
|
|
transformation_context.GetFactManager()->AddFact(
|
|
MakeSynonymFact(36, {}, 101, {1}), context.get());
|
|
transformation_context.GetFactManager()->AddFact(
|
|
MakeSynonymFact(27, {}, 101, {2}), context.get());
|
|
transformation_context.GetFactManager()->AddFact(
|
|
MakeSynonymFact(22, {}, 102, {0}), context.get());
|
|
transformation_context.GetFactManager()->AddFact(
|
|
MakeSynonymFact(15, {}, 102, {1}), context.get());
|
|
|
|
// Replace %45 with %100[1] in '%46 = OpCompositeConstruct %32 %35 %45'
|
|
auto instruction_descriptor_1 =
|
|
MakeInstructionDescriptor(46, SpvOpCompositeConstruct, 0);
|
|
auto extract_1 =
|
|
TransformationCompositeExtract(instruction_descriptor_1, 201, 100, {1});
|
|
ASSERT_TRUE(extract_1.IsApplicable(context.get(), transformation_context));
|
|
extract_1.Apply(context.get(), &transformation_context);
|
|
auto replacement_1 = TransformationReplaceIdWithSynonym(
|
|
MakeIdUseDescriptor(45, instruction_descriptor_1, 1), 201);
|
|
ASSERT_TRUE(
|
|
replacement_1.IsApplicable(context.get(), transformation_context));
|
|
replacement_1.Apply(context.get(), &transformation_context);
|
|
ASSERT_TRUE(IsValid(env, context.get()));
|
|
|
|
// Replace second occurrence of %27 with %101[0] in '%28 =
|
|
// OpCompositeConstruct %8 %27 %27'
|
|
auto instruction_descriptor_2 =
|
|
MakeInstructionDescriptor(28, SpvOpCompositeConstruct, 0);
|
|
auto extract_2 =
|
|
TransformationCompositeExtract(instruction_descriptor_2, 202, 101, {0});
|
|
ASSERT_TRUE(extract_2.IsApplicable(context.get(), transformation_context));
|
|
extract_2.Apply(context.get(), &transformation_context);
|
|
auto replacement_2 = TransformationReplaceIdWithSynonym(
|
|
MakeIdUseDescriptor(27, instruction_descriptor_2, 1), 202);
|
|
ASSERT_TRUE(
|
|
replacement_2.IsApplicable(context.get(), transformation_context));
|
|
replacement_2.Apply(context.get(), &transformation_context);
|
|
ASSERT_TRUE(IsValid(env, context.get()));
|
|
|
|
// Replace %36 with %101[1] in '%45 = OpCompositeConstruct %31 %36 %41 %44'
|
|
auto instruction_descriptor_3 =
|
|
MakeInstructionDescriptor(45, SpvOpCompositeConstruct, 0);
|
|
auto extract_3 =
|
|
TransformationCompositeExtract(instruction_descriptor_3, 203, 101, {1});
|
|
ASSERT_TRUE(extract_3.IsApplicable(context.get(), transformation_context));
|
|
extract_3.Apply(context.get(), &transformation_context);
|
|
auto replacement_3 = TransformationReplaceIdWithSynonym(
|
|
MakeIdUseDescriptor(36, instruction_descriptor_3, 0), 203);
|
|
ASSERT_TRUE(
|
|
replacement_3.IsApplicable(context.get(), transformation_context));
|
|
replacement_3.Apply(context.get(), &transformation_context);
|
|
ASSERT_TRUE(IsValid(env, context.get()));
|
|
|
|
// Replace first occurrence of %27 with %101[2] in '%28 = OpCompositeConstruct
|
|
// %8 %27 %27'
|
|
auto instruction_descriptor_4 =
|
|
MakeInstructionDescriptor(28, SpvOpCompositeConstruct, 0);
|
|
auto extract_4 =
|
|
TransformationCompositeExtract(instruction_descriptor_4, 204, 101, {2});
|
|
ASSERT_TRUE(extract_4.IsApplicable(context.get(), transformation_context));
|
|
extract_4.Apply(context.get(), &transformation_context);
|
|
auto replacement_4 = TransformationReplaceIdWithSynonym(
|
|
MakeIdUseDescriptor(27, instruction_descriptor_4, 0), 204);
|
|
ASSERT_TRUE(
|
|
replacement_4.IsApplicable(context.get(), transformation_context));
|
|
replacement_4.Apply(context.get(), &transformation_context);
|
|
ASSERT_TRUE(IsValid(env, context.get()));
|
|
|
|
// Replace %22 with %102[0] in 'OpStore %23 %22'
|
|
auto instruction_descriptor_5 = MakeInstructionDescriptor(23, SpvOpStore, 0);
|
|
auto extract_5 =
|
|
TransformationCompositeExtract(instruction_descriptor_5, 205, 102, {0});
|
|
ASSERT_TRUE(extract_5.IsApplicable(context.get(), transformation_context));
|
|
extract_5.Apply(context.get(), &transformation_context);
|
|
auto replacement_5 = TransformationReplaceIdWithSynonym(
|
|
MakeIdUseDescriptor(22, instruction_descriptor_5, 1), 205);
|
|
ASSERT_TRUE(
|
|
replacement_5.IsApplicable(context.get(), transformation_context));
|
|
replacement_5.Apply(context.get(), &transformation_context);
|
|
ASSERT_TRUE(IsValid(env, context.get()));
|
|
|
|
const std::string after_transformation = 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 %9 "Inner"
|
|
OpMemberName %9 0 "a"
|
|
OpMemberName %9 1 "b"
|
|
OpName %11 "i1"
|
|
OpName %17 "i2"
|
|
OpName %31 "Point"
|
|
OpMemberName %31 0 "x"
|
|
OpMemberName %31 1 "y"
|
|
OpMemberName %31 2 "z"
|
|
OpName %32 "Outer"
|
|
OpMemberName %32 0 "c"
|
|
OpMemberName %32 1 "d"
|
|
OpName %34 "o1"
|
|
%2 = OpTypeVoid
|
|
%3 = OpTypeFunction %2
|
|
%6 = OpTypeInt 32 1
|
|
%7 = OpTypeFloat 32
|
|
%8 = OpTypeVector %7 2
|
|
%9 = OpTypeStruct %6 %8
|
|
%10 = OpTypePointer Function %9
|
|
%12 = OpConstant %6 1
|
|
%13 = OpConstant %7 2
|
|
%14 = OpConstant %7 3
|
|
%15 = OpConstantComposite %8 %13 %14
|
|
%16 = OpConstantComposite %9 %12 %15
|
|
%18 = OpConstant %6 0
|
|
%19 = OpTypePointer Function %6
|
|
%24 = OpTypePointer Function %8
|
|
%27 = OpConstant %7 4
|
|
%31 = OpTypeStruct %7 %7 %7
|
|
%32 = OpTypeStruct %9 %31
|
|
%33 = OpTypePointer Function %32
|
|
%36 = OpConstant %7 10
|
|
%37 = OpTypeInt 32 0
|
|
%38 = OpConstant %37 0
|
|
%39 = OpTypePointer Function %7
|
|
%42 = OpConstant %37 1
|
|
%4 = OpFunction %2 None %3
|
|
%5 = OpLabel
|
|
%11 = OpVariable %10 Function
|
|
%17 = OpVariable %10 Function
|
|
%34 = OpVariable %33 Function
|
|
%101 = OpCompositeConstruct %31 %27 %36 %27
|
|
OpStore %11 %16
|
|
%20 = OpAccessChain %19 %11 %18
|
|
%21 = OpLoad %6 %20
|
|
%22 = OpIAdd %6 %21 %12
|
|
%102 = OpCompositeConstruct %9 %22 %15
|
|
%23 = OpAccessChain %19 %17 %18
|
|
%205 = OpCompositeExtract %6 %102 0
|
|
OpStore %23 %205
|
|
%25 = OpAccessChain %24 %17 %12
|
|
%26 = OpLoad %8 %25
|
|
%202 = OpCompositeExtract %7 %101 0
|
|
%204 = OpCompositeExtract %7 %101 2
|
|
%28 = OpCompositeConstruct %8 %204 %202
|
|
%29 = OpFAdd %8 %26 %28
|
|
%30 = OpAccessChain %24 %17 %12
|
|
OpStore %30 %29
|
|
%35 = OpLoad %9 %11
|
|
%40 = OpAccessChain %39 %11 %12 %38
|
|
%41 = OpLoad %7 %40
|
|
%43 = OpAccessChain %39 %11 %12 %42
|
|
%44 = OpLoad %7 %43
|
|
%203 = OpCompositeExtract %7 %101 1
|
|
%45 = OpCompositeConstruct %31 %203 %41 %44
|
|
%100 = OpCompositeConstruct %32 %16 %45
|
|
%201 = OpCompositeExtract %31 %100 1
|
|
%46 = OpCompositeConstruct %32 %35 %201
|
|
OpStore %34 %46
|
|
OpReturn
|
|
OpFunctionEnd
|
|
)";
|
|
|
|
ASSERT_TRUE(IsEqual(env, after_transformation, context.get()));
|
|
}
|
|
|
|
TEST(DataSynonymTransformationTest, VectorCompositeSynonyms) {
|
|
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 %8 "f"
|
|
OpName %12 "v2"
|
|
OpName %18 "v3"
|
|
OpName %23 "v4"
|
|
OpName %32 "b"
|
|
OpName %36 "bv2"
|
|
OpName %41 "bv3"
|
|
OpName %50 "bv4"
|
|
%2 = OpTypeVoid
|
|
%3 = OpTypeFunction %2
|
|
%6 = OpTypeFloat 32
|
|
%7 = OpTypePointer Function %6
|
|
%9 = OpConstant %6 42
|
|
%10 = OpTypeVector %6 2
|
|
%11 = OpTypePointer Function %10
|
|
%16 = OpTypeVector %6 3
|
|
%17 = OpTypePointer Function %16
|
|
%21 = OpTypeVector %6 4
|
|
%22 = OpTypePointer Function %21
|
|
%30 = OpTypeBool
|
|
%31 = OpTypePointer Function %30
|
|
%33 = OpConstantFalse %30
|
|
%34 = OpTypeVector %30 2
|
|
%35 = OpTypePointer Function %34
|
|
%37 = OpConstantTrue %30
|
|
%38 = OpConstantComposite %34 %37 %37
|
|
%39 = OpTypeVector %30 3
|
|
%40 = OpTypePointer Function %39
|
|
%48 = OpTypeVector %30 4
|
|
%49 = OpTypePointer Function %48
|
|
%51 = OpTypeInt 32 0
|
|
%52 = OpConstant %51 2
|
|
%55 = OpConstant %6 0
|
|
%57 = OpConstant %51 1
|
|
%4 = OpFunction %2 None %3
|
|
%5 = OpLabel
|
|
%8 = OpVariable %7 Function
|
|
%12 = OpVariable %11 Function
|
|
%18 = OpVariable %17 Function
|
|
%23 = OpVariable %22 Function
|
|
%32 = OpVariable %31 Function
|
|
%36 = OpVariable %35 Function
|
|
%41 = OpVariable %40 Function
|
|
%50 = OpVariable %49 Function
|
|
OpStore %8 %9
|
|
%13 = OpLoad %6 %8
|
|
%14 = OpLoad %6 %8
|
|
%15 = OpCompositeConstruct %10 %13 %14
|
|
OpStore %12 %15
|
|
%19 = OpLoad %10 %12
|
|
%20 = OpVectorShuffle %16 %19 %19 0 0 1
|
|
OpStore %18 %20
|
|
%24 = OpLoad %16 %18
|
|
%25 = OpLoad %6 %8
|
|
%26 = OpCompositeExtract %6 %24 0
|
|
%27 = OpCompositeExtract %6 %24 1
|
|
%28 = OpCompositeExtract %6 %24 2
|
|
%29 = OpCompositeConstruct %21 %26 %27 %28 %25
|
|
OpStore %23 %29
|
|
OpStore %32 %33
|
|
OpStore %36 %38
|
|
%42 = OpLoad %30 %32
|
|
%43 = OpLoad %34 %36
|
|
%44 = OpVectorShuffle %34 %43 %43 0 0
|
|
%45 = OpCompositeExtract %30 %44 0
|
|
%46 = OpCompositeExtract %30 %44 1
|
|
%47 = OpCompositeConstruct %39 %42 %45 %46
|
|
OpStore %41 %47
|
|
%53 = OpAccessChain %7 %23 %52
|
|
%54 = OpLoad %6 %53
|
|
|
|
%100 = OpCompositeConstruct %21 %20 %54
|
|
%101 = OpCompositeConstruct %21 %15 %19
|
|
%102 = OpCompositeConstruct %16 %27 %15
|
|
%103 = OpCompositeConstruct %48 %33 %47
|
|
%104 = OpCompositeConstruct %34 %42 %45
|
|
%105 = OpCompositeConstruct %39 %38 %46
|
|
|
|
%86 = OpCopyObject %30 %33
|
|
%56 = OpFOrdNotEqual %30 %54 %55
|
|
%80 = OpCopyObject %16 %20
|
|
%58 = OpAccessChain %7 %18 %57
|
|
%59 = OpLoad %6 %58
|
|
%60 = OpFOrdNotEqual %30 %59 %55
|
|
%61 = OpLoad %34 %36
|
|
%62 = OpLogicalAnd %30 %45 %46
|
|
%63 = OpLogicalOr %30 %45 %46
|
|
%64 = OpCompositeConstruct %48 %56 %60 %62 %63
|
|
OpStore %12 %15
|
|
%81 = OpVectorShuffle %16 %19 %19 0 0 1
|
|
%82 = OpCompositeConstruct %21 %26 %27 %28 %25
|
|
%83 = OpCopyObject %10 %15
|
|
%84 = OpCopyObject %39 %47
|
|
OpStore %50 %64
|
|
%85 = OpCopyObject %30 %42
|
|
OpStore %36 %38
|
|
OpReturn
|
|
OpFunctionEnd
|
|
)";
|
|
|
|
const auto env = SPV_ENV_UNIVERSAL_1_3;
|
|
const auto consumer = nullptr;
|
|
const auto context = BuildModule(env, consumer, shader, kFuzzAssembleOption);
|
|
ASSERT_TRUE(IsValid(env, context.get()));
|
|
|
|
FactManager fact_manager;
|
|
spvtools::ValidatorOptions validator_options;
|
|
TransformationContext transformation_context(&fact_manager,
|
|
validator_options);
|
|
|
|
transformation_context.GetFactManager()->AddFact(
|
|
MakeSynonymFact(20, {0}, 100, {0}), context.get());
|
|
transformation_context.GetFactManager()->AddFact(
|
|
MakeSynonymFact(20, {1}, 100, {1}), context.get());
|
|
transformation_context.GetFactManager()->AddFact(
|
|
MakeSynonymFact(20, {2}, 100, {2}), context.get());
|
|
transformation_context.GetFactManager()->AddFact(
|
|
MakeSynonymFact(54, {}, 100, {3}), context.get());
|
|
transformation_context.GetFactManager()->AddFact(
|
|
MakeSynonymFact(15, {0}, 101, {0}), context.get());
|
|
transformation_context.GetFactManager()->AddFact(
|
|
MakeSynonymFact(15, {1}, 101, {1}), context.get());
|
|
transformation_context.GetFactManager()->AddFact(
|
|
MakeSynonymFact(19, {0}, 101, {2}), context.get());
|
|
transformation_context.GetFactManager()->AddFact(
|
|
MakeSynonymFact(19, {1}, 101, {3}), context.get());
|
|
transformation_context.GetFactManager()->AddFact(
|
|
MakeSynonymFact(27, {}, 102, {0}), context.get());
|
|
transformation_context.GetFactManager()->AddFact(
|
|
MakeSynonymFact(15, {0}, 102, {1}), context.get());
|
|
transformation_context.GetFactManager()->AddFact(
|
|
MakeSynonymFact(15, {1}, 102, {2}), context.get());
|
|
transformation_context.GetFactManager()->AddFact(
|
|
MakeSynonymFact(33, {}, 103, {0}), context.get());
|
|
transformation_context.GetFactManager()->AddFact(
|
|
MakeSynonymFact(47, {0}, 103, {1}), context.get());
|
|
transformation_context.GetFactManager()->AddFact(
|
|
MakeSynonymFact(47, {1}, 103, {2}), context.get());
|
|
transformation_context.GetFactManager()->AddFact(
|
|
MakeSynonymFact(47, {2}, 103, {3}), context.get());
|
|
transformation_context.GetFactManager()->AddFact(
|
|
MakeSynonymFact(42, {}, 104, {0}), context.get());
|
|
transformation_context.GetFactManager()->AddFact(
|
|
MakeSynonymFact(45, {}, 104, {1}), context.get());
|
|
transformation_context.GetFactManager()->AddFact(
|
|
MakeSynonymFact(38, {0}, 105, {0}), context.get());
|
|
transformation_context.GetFactManager()->AddFact(
|
|
MakeSynonymFact(38, {1}, 105, {1}), context.get());
|
|
transformation_context.GetFactManager()->AddFact(
|
|
MakeSynonymFact(46, {}, 105, {2}), context.get());
|
|
|
|
// Replace %20 with %100[0:2] in '%80 = OpCopyObject %16 %20'
|
|
auto instruction_descriptor_1 =
|
|
MakeInstructionDescriptor(80, SpvOpCopyObject, 0);
|
|
auto shuffle_1 = TransformationVectorShuffle(instruction_descriptor_1, 200,
|
|
100, 100, {0, 1, 2});
|
|
ASSERT_TRUE(shuffle_1.IsApplicable(context.get(), transformation_context));
|
|
shuffle_1.Apply(context.get(), &transformation_context);
|
|
fact_manager.ComputeClosureOfFacts(context.get(), 100);
|
|
|
|
auto replacement_1 = TransformationReplaceIdWithSynonym(
|
|
MakeIdUseDescriptor(20, instruction_descriptor_1, 0), 200);
|
|
ASSERT_TRUE(
|
|
replacement_1.IsApplicable(context.get(), transformation_context));
|
|
replacement_1.Apply(context.get(), &transformation_context);
|
|
ASSERT_TRUE(IsValid(env, context.get()));
|
|
|
|
// Replace %54 with %100[3] in '%56 = OpFOrdNotEqual %30 %54 %55'
|
|
auto instruction_descriptor_2 =
|
|
MakeInstructionDescriptor(56, SpvOpFOrdNotEqual, 0);
|
|
auto extract_2 =
|
|
TransformationCompositeExtract(instruction_descriptor_2, 201, 100, {3});
|
|
|
|
ASSERT_TRUE(extract_2.IsApplicable(context.get(), transformation_context));
|
|
extract_2.Apply(context.get(), &transformation_context);
|
|
auto replacement_2 = TransformationReplaceIdWithSynonym(
|
|
MakeIdUseDescriptor(54, instruction_descriptor_2, 0), 201);
|
|
ASSERT_TRUE(
|
|
replacement_2.IsApplicable(context.get(), transformation_context));
|
|
replacement_2.Apply(context.get(), &transformation_context);
|
|
ASSERT_TRUE(IsValid(env, context.get()));
|
|
|
|
// Replace %15 with %101[0:1] in 'OpStore %12 %15'
|
|
auto instruction_descriptor_3 = MakeInstructionDescriptor(64, SpvOpStore, 0);
|
|
auto shuffle_3 = TransformationVectorShuffle(instruction_descriptor_3, 202,
|
|
101, 101, {0, 1});
|
|
ASSERT_TRUE(shuffle_3.IsApplicable(context.get(), transformation_context));
|
|
shuffle_3.Apply(context.get(), &transformation_context);
|
|
fact_manager.ComputeClosureOfFacts(context.get(), 100);
|
|
|
|
auto replacement_3 = TransformationReplaceIdWithSynonym(
|
|
MakeIdUseDescriptor(15, instruction_descriptor_3, 1), 202);
|
|
ASSERT_TRUE(
|
|
replacement_3.IsApplicable(context.get(), transformation_context));
|
|
replacement_3.Apply(context.get(), &transformation_context);
|
|
ASSERT_TRUE(IsValid(env, context.get()));
|
|
|
|
// Replace %19 with %101[2:3] in '%81 = OpVectorShuffle %16 %19 %19 0 0 1'
|
|
auto instruction_descriptor_4 =
|
|
MakeInstructionDescriptor(81, SpvOpVectorShuffle, 0);
|
|
auto shuffle_4 = TransformationVectorShuffle(instruction_descriptor_4, 203,
|
|
101, 101, {2, 3});
|
|
ASSERT_TRUE(shuffle_4.IsApplicable(context.get(), transformation_context));
|
|
shuffle_4.Apply(context.get(), &transformation_context);
|
|
fact_manager.ComputeClosureOfFacts(context.get(), 100);
|
|
|
|
auto replacement_4 = TransformationReplaceIdWithSynonym(
|
|
MakeIdUseDescriptor(19, instruction_descriptor_4, 0), 203);
|
|
ASSERT_TRUE(
|
|
replacement_4.IsApplicable(context.get(), transformation_context));
|
|
replacement_4.Apply(context.get(), &transformation_context);
|
|
ASSERT_TRUE(IsValid(env, context.get()));
|
|
|
|
// Replace %27 with %102[0] in '%82 = OpCompositeConstruct %21 %26 %27 %28
|
|
// %25'
|
|
auto instruction_descriptor_5 =
|
|
MakeInstructionDescriptor(82, SpvOpCompositeConstruct, 0);
|
|
auto extract_5 =
|
|
TransformationCompositeExtract(instruction_descriptor_5, 204, 102, {0});
|
|
|
|
ASSERT_TRUE(extract_5.IsApplicable(context.get(), transformation_context));
|
|
extract_5.Apply(context.get(), &transformation_context);
|
|
auto replacement_5 = TransformationReplaceIdWithSynonym(
|
|
MakeIdUseDescriptor(27, instruction_descriptor_5, 1), 204);
|
|
ASSERT_TRUE(
|
|
replacement_5.IsApplicable(context.get(), transformation_context));
|
|
replacement_5.Apply(context.get(), &transformation_context);
|
|
ASSERT_TRUE(IsValid(env, context.get()));
|
|
|
|
// Replace %15 with %102[1:2] in '%83 = OpCopyObject %10 %15'
|
|
auto instruction_descriptor_6 =
|
|
MakeInstructionDescriptor(83, SpvOpCopyObject, 0);
|
|
auto shuffle_6 = TransformationVectorShuffle(instruction_descriptor_6, 205,
|
|
102, 102, {1, 2});
|
|
ASSERT_TRUE(shuffle_6.IsApplicable(context.get(), transformation_context));
|
|
shuffle_6.Apply(context.get(), &transformation_context);
|
|
fact_manager.ComputeClosureOfFacts(context.get(), 100);
|
|
|
|
auto replacement_6 = TransformationReplaceIdWithSynonym(
|
|
MakeIdUseDescriptor(15, instruction_descriptor_6, 0), 205);
|
|
ASSERT_TRUE(
|
|
replacement_6.IsApplicable(context.get(), transformation_context));
|
|
replacement_6.Apply(context.get(), &transformation_context);
|
|
ASSERT_TRUE(IsValid(env, context.get()));
|
|
|
|
// Replace %33 with %103[0] in '%86 = OpCopyObject %30 %33'
|
|
auto instruction_descriptor_7 =
|
|
MakeInstructionDescriptor(86, SpvOpCopyObject, 0);
|
|
auto extract_7 =
|
|
TransformationCompositeExtract(instruction_descriptor_7, 206, 103, {0});
|
|
ASSERT_TRUE(extract_7.IsApplicable(context.get(), transformation_context));
|
|
extract_7.Apply(context.get(), &transformation_context);
|
|
auto replacement_7 = TransformationReplaceIdWithSynonym(
|
|
MakeIdUseDescriptor(33, instruction_descriptor_7, 0), 206);
|
|
ASSERT_TRUE(
|
|
replacement_7.IsApplicable(context.get(), transformation_context));
|
|
replacement_7.Apply(context.get(), &transformation_context);
|
|
ASSERT_TRUE(IsValid(env, context.get()));
|
|
|
|
// Replace %47 with %103[1:3] in '%84 = OpCopyObject %39 %47'
|
|
auto instruction_descriptor_8 =
|
|
MakeInstructionDescriptor(84, SpvOpCopyObject, 0);
|
|
auto shuffle_8 = TransformationVectorShuffle(instruction_descriptor_8, 207,
|
|
103, 103, {1, 2, 3});
|
|
ASSERT_TRUE(shuffle_8.IsApplicable(context.get(), transformation_context));
|
|
shuffle_8.Apply(context.get(), &transformation_context);
|
|
fact_manager.ComputeClosureOfFacts(context.get(), 100);
|
|
|
|
auto replacement_8 = TransformationReplaceIdWithSynonym(
|
|
MakeIdUseDescriptor(47, instruction_descriptor_8, 0), 207);
|
|
ASSERT_TRUE(
|
|
replacement_8.IsApplicable(context.get(), transformation_context));
|
|
replacement_8.Apply(context.get(), &transformation_context);
|
|
ASSERT_TRUE(IsValid(env, context.get()));
|
|
|
|
// Replace %42 with %104[0] in '%85 = OpCopyObject %30 %42'
|
|
auto instruction_descriptor_9 =
|
|
MakeInstructionDescriptor(85, SpvOpCopyObject, 0);
|
|
auto extract_9 =
|
|
TransformationCompositeExtract(instruction_descriptor_9, 208, 104, {0});
|
|
ASSERT_TRUE(extract_9.IsApplicable(context.get(), transformation_context));
|
|
extract_9.Apply(context.get(), &transformation_context);
|
|
auto replacement_9 = TransformationReplaceIdWithSynonym(
|
|
MakeIdUseDescriptor(42, instruction_descriptor_9, 0), 208);
|
|
ASSERT_TRUE(
|
|
replacement_9.IsApplicable(context.get(), transformation_context));
|
|
replacement_9.Apply(context.get(), &transformation_context);
|
|
ASSERT_TRUE(IsValid(env, context.get()));
|
|
|
|
// Replace %45 with %104[1] in '%63 = OpLogicalOr %30 %45 %46'
|
|
auto instruction_descriptor_10 =
|
|
MakeInstructionDescriptor(63, SpvOpLogicalOr, 0);
|
|
auto extract_10 =
|
|
TransformationCompositeExtract(instruction_descriptor_10, 209, 104, {1});
|
|
ASSERT_TRUE(extract_10.IsApplicable(context.get(), transformation_context));
|
|
extract_10.Apply(context.get(), &transformation_context);
|
|
auto replacement_10 = TransformationReplaceIdWithSynonym(
|
|
MakeIdUseDescriptor(45, instruction_descriptor_10, 0), 209);
|
|
ASSERT_TRUE(
|
|
replacement_10.IsApplicable(context.get(), transformation_context));
|
|
replacement_10.Apply(context.get(), &transformation_context);
|
|
ASSERT_TRUE(IsValid(env, context.get()));
|
|
|
|
// Replace %38 with %105[0:1] in 'OpStore %36 %38'
|
|
auto instruction_descriptor_11 = MakeInstructionDescriptor(85, SpvOpStore, 0);
|
|
auto shuffle_11 = TransformationVectorShuffle(instruction_descriptor_11, 210,
|
|
105, 105, {0, 1});
|
|
ASSERT_TRUE(shuffle_11.IsApplicable(context.get(), transformation_context));
|
|
shuffle_11.Apply(context.get(), &transformation_context);
|
|
fact_manager.ComputeClosureOfFacts(context.get(), 100);
|
|
|
|
auto replacement_11 = TransformationReplaceIdWithSynonym(
|
|
MakeIdUseDescriptor(38, instruction_descriptor_11, 1), 210);
|
|
ASSERT_TRUE(
|
|
replacement_11.IsApplicable(context.get(), transformation_context));
|
|
replacement_11.Apply(context.get(), &transformation_context);
|
|
ASSERT_TRUE(IsValid(env, context.get()));
|
|
|
|
// Replace %46 with %105[2] in '%62 = OpLogicalAnd %30 %45 %46'
|
|
auto instruction_descriptor_12 =
|
|
MakeInstructionDescriptor(62, SpvOpLogicalAnd, 0);
|
|
auto extract_12 =
|
|
TransformationCompositeExtract(instruction_descriptor_12, 211, 105, {2});
|
|
ASSERT_TRUE(extract_12.IsApplicable(context.get(), transformation_context));
|
|
extract_12.Apply(context.get(), &transformation_context);
|
|
auto replacement_12 = TransformationReplaceIdWithSynonym(
|
|
MakeIdUseDescriptor(46, instruction_descriptor_12, 1), 211);
|
|
ASSERT_TRUE(
|
|
replacement_12.IsApplicable(context.get(), transformation_context));
|
|
replacement_12.Apply(context.get(), &transformation_context);
|
|
ASSERT_TRUE(IsValid(env, context.get()));
|
|
|
|
const std::string after_transformation = 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 %8 "f"
|
|
OpName %12 "v2"
|
|
OpName %18 "v3"
|
|
OpName %23 "v4"
|
|
OpName %32 "b"
|
|
OpName %36 "bv2"
|
|
OpName %41 "bv3"
|
|
OpName %50 "bv4"
|
|
%2 = OpTypeVoid
|
|
%3 = OpTypeFunction %2
|
|
%6 = OpTypeFloat 32
|
|
%7 = OpTypePointer Function %6
|
|
%9 = OpConstant %6 42
|
|
%10 = OpTypeVector %6 2
|
|
%11 = OpTypePointer Function %10
|
|
%16 = OpTypeVector %6 3
|
|
%17 = OpTypePointer Function %16
|
|
%21 = OpTypeVector %6 4
|
|
%22 = OpTypePointer Function %21
|
|
%30 = OpTypeBool
|
|
%31 = OpTypePointer Function %30
|
|
%33 = OpConstantFalse %30
|
|
%34 = OpTypeVector %30 2
|
|
%35 = OpTypePointer Function %34
|
|
%37 = OpConstantTrue %30
|
|
%38 = OpConstantComposite %34 %37 %37
|
|
%39 = OpTypeVector %30 3
|
|
%40 = OpTypePointer Function %39
|
|
%48 = OpTypeVector %30 4
|
|
%49 = OpTypePointer Function %48
|
|
%51 = OpTypeInt 32 0
|
|
%52 = OpConstant %51 2
|
|
%55 = OpConstant %6 0
|
|
%57 = OpConstant %51 1
|
|
%4 = OpFunction %2 None %3
|
|
%5 = OpLabel
|
|
%8 = OpVariable %7 Function
|
|
%12 = OpVariable %11 Function
|
|
%18 = OpVariable %17 Function
|
|
%23 = OpVariable %22 Function
|
|
%32 = OpVariable %31 Function
|
|
%36 = OpVariable %35 Function
|
|
%41 = OpVariable %40 Function
|
|
%50 = OpVariable %49 Function
|
|
OpStore %8 %9
|
|
%13 = OpLoad %6 %8
|
|
%14 = OpLoad %6 %8
|
|
%15 = OpCompositeConstruct %10 %13 %14
|
|
OpStore %12 %15
|
|
%19 = OpLoad %10 %12
|
|
%20 = OpVectorShuffle %16 %19 %19 0 0 1
|
|
OpStore %18 %20
|
|
%24 = OpLoad %16 %18
|
|
%25 = OpLoad %6 %8
|
|
%26 = OpCompositeExtract %6 %24 0
|
|
%27 = OpCompositeExtract %6 %24 1
|
|
%28 = OpCompositeExtract %6 %24 2
|
|
%29 = OpCompositeConstruct %21 %26 %27 %28 %25
|
|
OpStore %23 %29
|
|
OpStore %32 %33
|
|
OpStore %36 %38
|
|
%42 = OpLoad %30 %32
|
|
%43 = OpLoad %34 %36
|
|
%44 = OpVectorShuffle %34 %43 %43 0 0
|
|
%45 = OpCompositeExtract %30 %44 0
|
|
%46 = OpCompositeExtract %30 %44 1
|
|
%47 = OpCompositeConstruct %39 %42 %45 %46
|
|
OpStore %41 %47
|
|
%53 = OpAccessChain %7 %23 %52
|
|
%54 = OpLoad %6 %53
|
|
|
|
%100 = OpCompositeConstruct %21 %20 %54
|
|
%101 = OpCompositeConstruct %21 %15 %19
|
|
%102 = OpCompositeConstruct %16 %27 %15
|
|
%103 = OpCompositeConstruct %48 %33 %47
|
|
%104 = OpCompositeConstruct %34 %42 %45
|
|
%105 = OpCompositeConstruct %39 %38 %46
|
|
|
|
%206 = OpCompositeExtract %30 %103 0
|
|
%86 = OpCopyObject %30 %206
|
|
%201 = OpCompositeExtract %6 %100 3
|
|
%56 = OpFOrdNotEqual %30 %201 %55
|
|
%200 = OpVectorShuffle %16 %100 %100 0 1 2
|
|
%80 = OpCopyObject %16 %200
|
|
%58 = OpAccessChain %7 %18 %57
|
|
%59 = OpLoad %6 %58
|
|
%60 = OpFOrdNotEqual %30 %59 %55
|
|
%61 = OpLoad %34 %36
|
|
%211 = OpCompositeExtract %30 %105 2
|
|
%62 = OpLogicalAnd %30 %45 %211
|
|
%209 = OpCompositeExtract %30 %104 1
|
|
%63 = OpLogicalOr %30 %209 %46
|
|
%64 = OpCompositeConstruct %48 %56 %60 %62 %63
|
|
%202 = OpVectorShuffle %10 %101 %101 0 1
|
|
OpStore %12 %202
|
|
%203 = OpVectorShuffle %10 %101 %101 2 3
|
|
%81 = OpVectorShuffle %16 %203 %19 0 0 1
|
|
%204 = OpCompositeExtract %6 %102 0
|
|
%82 = OpCompositeConstruct %21 %26 %204 %28 %25
|
|
%205 = OpVectorShuffle %10 %102 %102 1 2
|
|
%83 = OpCopyObject %10 %205
|
|
%207 = OpVectorShuffle %39 %103 %103 1 2 3
|
|
%84 = OpCopyObject %39 %207
|
|
OpStore %50 %64
|
|
%208 = OpCompositeExtract %30 %104 0
|
|
%85 = OpCopyObject %30 %208
|
|
%210 = OpVectorShuffle %34 %105 %105 0 1
|
|
OpStore %36 %210
|
|
OpReturn
|
|
OpFunctionEnd
|
|
)";
|
|
|
|
ASSERT_TRUE(IsEqual(env, after_transformation, context.get()));
|
|
}
|
|
|
|
} // namespace
|
|
} // namespace fuzz
|
|
} // namespace spvtools
|