SPIRV-Tools/test/fuzz/data_synonym_transformation_test.cpp
Alastair Donaldson 502e982956
spirv-fuzz: Fix to TransformationInlineFunction (#3913)
This fixes a problem where TransformationInlineFunction could lead to
distinct instructions having identical unique ids. It adds a validity
check to detect this problem in general.

Fixes #3911.
2020-10-16 22:58:09 +01:00

1251 lines
53 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 "gtest/gtest.h"
#include "source/fuzz/fuzzer_util.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,
const std::vector<uint32_t>& first_indices,
uint32_t second_id,
const std::vector<uint32_t>& second_indices) {
protobufs::FactDataSynonym data_synonym_fact;
*data_synonym_fact.mutable_data1() =
MakeDataDescriptor(first_id, first_indices);
*data_synonym_fact.mutable_data2() =
MakeDataDescriptor(second_id, 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);
spvtools::ValidatorOptions validator_options;
ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
kConsoleMessageConsumer));
TransformationContext transformation_context(
MakeUnique<FactManager>(context.get()), validator_options);
transformation_context.GetFactManager()->MaybeAddFact(
MakeSynonymFact(12, {}, 100, {0}));
transformation_context.GetFactManager()->MaybeAddFact(
MakeSynonymFact(13, {}, 100, {1}));
transformation_context.GetFactManager()->MaybeAddFact(
MakeSynonymFact(22, {}, 100, {2}));
transformation_context.GetFactManager()->MaybeAddFact(
MakeSynonymFact(28, {}, 101, {0}));
transformation_context.GetFactManager()->MaybeAddFact(
MakeSynonymFact(23, {}, 101, {1}));
transformation_context.GetFactManager()->MaybeAddFact(
MakeSynonymFact(32, {}, 101, {2}));
transformation_context.GetFactManager()->MaybeAddFact(
MakeSynonymFact(23, {}, 101, {3}));
// 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(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
kConsoleMessageConsumer));
// 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(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
kConsoleMessageConsumer));
// 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(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
kConsoleMessageConsumer));
// 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(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
kConsoleMessageConsumer));
// 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(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
kConsoleMessageConsumer));
// 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(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
kConsoleMessageConsumer));
// 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(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
kConsoleMessageConsumer));
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);
spvtools::ValidatorOptions validator_options;
ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
kConsoleMessageConsumer));
TransformationContext transformation_context(
MakeUnique<FactManager>(context.get()), validator_options);
transformation_context.GetFactManager()->MaybeAddFact(
MakeSynonymFact(23, {}, 100, {0}));
transformation_context.GetFactManager()->MaybeAddFact(
MakeSynonymFact(25, {}, 100, {1}));
transformation_context.GetFactManager()->MaybeAddFact(
MakeSynonymFact(50, {}, 100, {2}));
// 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(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
kConsoleMessageConsumer));
// 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(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
kConsoleMessageConsumer));
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);
spvtools::ValidatorOptions validator_options;
ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
kConsoleMessageConsumer));
TransformationContext transformation_context(
MakeUnique<FactManager>(context.get()), validator_options);
transformation_context.GetFactManager()->MaybeAddFact(
MakeSynonymFact(16, {}, 100, {0}));
transformation_context.GetFactManager()->MaybeAddFact(
MakeSynonymFact(45, {}, 100, {1}));
transformation_context.GetFactManager()->MaybeAddFact(
MakeSynonymFact(27, {}, 101, {0}));
transformation_context.GetFactManager()->MaybeAddFact(
MakeSynonymFact(36, {}, 101, {1}));
transformation_context.GetFactManager()->MaybeAddFact(
MakeSynonymFact(27, {}, 101, {2}));
transformation_context.GetFactManager()->MaybeAddFact(
MakeSynonymFact(22, {}, 102, {0}));
transformation_context.GetFactManager()->MaybeAddFact(
MakeSynonymFact(15, {}, 102, {1}));
// 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(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
kConsoleMessageConsumer));
// 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(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
kConsoleMessageConsumer));
// 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(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
kConsoleMessageConsumer));
// 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(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
kConsoleMessageConsumer));
// 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(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
kConsoleMessageConsumer));
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);
spvtools::ValidatorOptions validator_options;
ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
kConsoleMessageConsumer));
TransformationContext transformation_context(
MakeUnique<FactManager>(context.get()), validator_options);
transformation_context.GetFactManager()->MaybeAddFact(
MakeSynonymFact(20, {0}, 100, {0}));
transformation_context.GetFactManager()->MaybeAddFact(
MakeSynonymFact(20, {1}, 100, {1}));
transformation_context.GetFactManager()->MaybeAddFact(
MakeSynonymFact(20, {2}, 100, {2}));
transformation_context.GetFactManager()->MaybeAddFact(
MakeSynonymFact(54, {}, 100, {3}));
transformation_context.GetFactManager()->MaybeAddFact(
MakeSynonymFact(15, {0}, 101, {0}));
transformation_context.GetFactManager()->MaybeAddFact(
MakeSynonymFact(15, {1}, 101, {1}));
transformation_context.GetFactManager()->MaybeAddFact(
MakeSynonymFact(19, {0}, 101, {2}));
transformation_context.GetFactManager()->MaybeAddFact(
MakeSynonymFact(19, {1}, 101, {3}));
transformation_context.GetFactManager()->MaybeAddFact(
MakeSynonymFact(27, {}, 102, {0}));
transformation_context.GetFactManager()->MaybeAddFact(
MakeSynonymFact(15, {0}, 102, {1}));
transformation_context.GetFactManager()->MaybeAddFact(
MakeSynonymFact(15, {1}, 102, {2}));
transformation_context.GetFactManager()->MaybeAddFact(
MakeSynonymFact(33, {}, 103, {0}));
transformation_context.GetFactManager()->MaybeAddFact(
MakeSynonymFact(47, {0}, 103, {1}));
transformation_context.GetFactManager()->MaybeAddFact(
MakeSynonymFact(47, {1}, 103, {2}));
transformation_context.GetFactManager()->MaybeAddFact(
MakeSynonymFact(47, {2}, 103, {3}));
transformation_context.GetFactManager()->MaybeAddFact(
MakeSynonymFact(42, {}, 104, {0}));
transformation_context.GetFactManager()->MaybeAddFact(
MakeSynonymFact(45, {}, 104, {1}));
transformation_context.GetFactManager()->MaybeAddFact(
MakeSynonymFact(38, {0}, 105, {0}));
transformation_context.GetFactManager()->MaybeAddFact(
MakeSynonymFact(38, {1}, 105, {1}));
transformation_context.GetFactManager()->MaybeAddFact(
MakeSynonymFact(46, {}, 105, {2}));
// 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);
transformation_context.GetFactManager()->ComputeClosureOfFacts(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(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
kConsoleMessageConsumer));
// 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(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
kConsoleMessageConsumer));
// 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);
transformation_context.GetFactManager()->ComputeClosureOfFacts(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(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
kConsoleMessageConsumer));
// 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);
transformation_context.GetFactManager()->ComputeClosureOfFacts(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(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
kConsoleMessageConsumer));
// 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(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
kConsoleMessageConsumer));
// 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);
transformation_context.GetFactManager()->ComputeClosureOfFacts(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(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
kConsoleMessageConsumer));
// 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(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
kConsoleMessageConsumer));
// 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);
transformation_context.GetFactManager()->ComputeClosureOfFacts(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(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
kConsoleMessageConsumer));
// 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(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
kConsoleMessageConsumer));
// 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(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
kConsoleMessageConsumer));
// 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);
transformation_context.GetFactManager()->ComputeClosureOfFacts(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(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
kConsoleMessageConsumer));
// 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(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
kConsoleMessageConsumer));
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