mirror of
https://github.com/KhronosGroup/SPIRV-Tools
synced 2024-11-28 06:01:04 +00:00
1649 lines
68 KiB
C++
1649 lines
68 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/transformation_composite_construct.h"
|
|
|
|
#include "gtest/gtest.h"
|
|
#include "source/fuzz/data_descriptor.h"
|
|
#include "source/fuzz/fuzzer_util.h"
|
|
#include "source/fuzz/instruction_descriptor.h"
|
|
#include "test/fuzz/fuzz_test_util.h"
|
|
|
|
namespace spvtools {
|
|
namespace fuzz {
|
|
namespace {
|
|
|
|
TEST(TransformationCompositeConstructTest, ConstructArrays) {
|
|
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 "floats"
|
|
OpName %22 "x"
|
|
OpName %39 "vecs"
|
|
OpName %49 "bools"
|
|
OpName %60 "many_uvec3s"
|
|
OpDecorate %60 RelaxedPrecision
|
|
%2 = OpTypeVoid
|
|
%3 = OpTypeFunction %2
|
|
%6 = OpTypeFloat 32
|
|
%7 = OpTypeInt 32 0
|
|
%8 = OpConstant %7 2
|
|
%9 = OpTypeArray %6 %8
|
|
%10 = OpTypePointer Function %9
|
|
%12 = OpTypeInt 32 1
|
|
%13 = OpConstant %12 0
|
|
%14 = OpConstant %6 1
|
|
%15 = OpTypePointer Function %6
|
|
%17 = OpConstant %12 1
|
|
%18 = OpConstant %6 2
|
|
%20 = OpTypeVector %6 2
|
|
%21 = OpTypePointer Function %20
|
|
%32 = OpTypeBool
|
|
%36 = OpConstant %7 3
|
|
%37 = OpTypeArray %20 %36
|
|
%38 = OpTypePointer Private %37
|
|
%39 = OpVariable %38 Private
|
|
%40 = OpConstant %6 3
|
|
%41 = OpConstantComposite %20 %40 %40
|
|
%42 = OpTypePointer Private %20
|
|
%44 = OpConstant %12 2
|
|
%47 = OpTypeArray %32 %36
|
|
%48 = OpTypePointer Function %47
|
|
%50 = OpConstantTrue %32
|
|
%51 = OpTypePointer Function %32
|
|
%56 = OpTypeVector %7 3
|
|
%57 = OpTypeArray %56 %8
|
|
%58 = OpTypeArray %57 %8
|
|
%59 = OpTypePointer Function %58
|
|
%61 = OpConstant %7 4
|
|
%62 = OpConstantComposite %56 %61 %61 %61
|
|
%63 = OpTypePointer Function %56
|
|
%65 = OpConstant %7 5
|
|
%66 = OpConstantComposite %56 %65 %65 %65
|
|
%67 = OpConstant %7 6
|
|
%68 = OpConstantComposite %56 %67 %67 %67
|
|
%69 = OpConstantComposite %57 %66 %68
|
|
%100 = OpUndef %57
|
|
%70 = OpTypePointer Function %57
|
|
%4 = OpFunction %2 None %3
|
|
%5 = OpLabel
|
|
%11 = OpVariable %10 Function
|
|
%22 = OpVariable %21 Function
|
|
%49 = OpVariable %48 Function
|
|
%60 = OpVariable %59 Function
|
|
%16 = OpAccessChain %15 %11 %13
|
|
OpStore %16 %14
|
|
%19 = OpAccessChain %15 %11 %17
|
|
OpStore %19 %18
|
|
%23 = OpAccessChain %15 %11 %13
|
|
%24 = OpLoad %6 %23
|
|
%25 = OpAccessChain %15 %11 %17
|
|
%26 = OpLoad %6 %25
|
|
%27 = OpCompositeConstruct %20 %24 %26
|
|
OpStore %22 %27
|
|
%28 = OpAccessChain %15 %11 %13
|
|
%29 = OpLoad %6 %28
|
|
%30 = OpAccessChain %15 %11 %17
|
|
%31 = OpLoad %6 %30
|
|
%33 = OpFOrdGreaterThan %32 %29 %31
|
|
OpSelectionMerge %35 None
|
|
OpBranchConditional %33 %34 %35
|
|
%34 = OpLabel
|
|
%43 = OpAccessChain %42 %39 %17
|
|
OpStore %43 %41
|
|
%45 = OpLoad %20 %22
|
|
%46 = OpAccessChain %42 %39 %44
|
|
OpStore %46 %45
|
|
OpBranch %35
|
|
%35 = OpLabel
|
|
%52 = OpAccessChain %51 %49 %13
|
|
OpStore %52 %50
|
|
%53 = OpAccessChain %51 %49 %13
|
|
%54 = OpLoad %32 %53
|
|
%55 = OpAccessChain %51 %49 %17
|
|
OpStore %55 %54
|
|
%64 = OpAccessChain %63 %60 %13 %13
|
|
OpStore %64 %62
|
|
%71 = OpAccessChain %70 %60 %17
|
|
OpStore %71 %69
|
|
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);
|
|
// Make a vec2[3]
|
|
TransformationCompositeConstruct make_vec2_array_length_3(
|
|
37, {41, 45, 27}, MakeInstructionDescriptor(46, SpvOpAccessChain, 0),
|
|
200);
|
|
// Bad: there are too many components
|
|
TransformationCompositeConstruct make_vec2_array_length_3_bad(
|
|
37, {41, 45, 27, 27}, MakeInstructionDescriptor(46, SpvOpAccessChain, 0),
|
|
200);
|
|
ASSERT_TRUE(make_vec2_array_length_3.IsApplicable(context.get(),
|
|
transformation_context));
|
|
ASSERT_FALSE(make_vec2_array_length_3_bad.IsApplicable(
|
|
context.get(), transformation_context));
|
|
ApplyAndCheckFreshIds(make_vec2_array_length_3, context.get(),
|
|
&transformation_context);
|
|
ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
|
|
kConsoleMessageConsumer));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(41, {}), MakeDataDescriptor(200, {0})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(45, {}), MakeDataDescriptor(200, {1})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(27, {}), MakeDataDescriptor(200, {2})));
|
|
|
|
// Make a float[2]
|
|
TransformationCompositeConstruct make_float_array_length_2(
|
|
9, {24, 40}, MakeInstructionDescriptor(71, SpvOpStore, 0), 201);
|
|
// Bad: %41 does not have type float
|
|
TransformationCompositeConstruct make_float_array_length_2_bad(
|
|
9, {41, 40}, MakeInstructionDescriptor(71, SpvOpStore, 0), 201);
|
|
ASSERT_TRUE(make_float_array_length_2.IsApplicable(context.get(),
|
|
transformation_context));
|
|
ASSERT_FALSE(make_float_array_length_2_bad.IsApplicable(
|
|
context.get(), transformation_context));
|
|
ApplyAndCheckFreshIds(make_float_array_length_2, context.get(),
|
|
&transformation_context);
|
|
ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
|
|
kConsoleMessageConsumer));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(24, {}), MakeDataDescriptor(201, {0})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(40, {}), MakeDataDescriptor(201, {1})));
|
|
|
|
// Make a bool[3]
|
|
TransformationCompositeConstruct make_bool_array_length_3(
|
|
47, {33, 50, 50}, MakeInstructionDescriptor(33, SpvOpSelectionMerge, 0),
|
|
202);
|
|
// Bad: %54 is not available at the desired program point.
|
|
TransformationCompositeConstruct make_bool_array_length_3_bad(
|
|
47, {33, 54, 50}, MakeInstructionDescriptor(33, SpvOpSelectionMerge, 0),
|
|
202);
|
|
ASSERT_TRUE(make_bool_array_length_3.IsApplicable(context.get(),
|
|
transformation_context));
|
|
ASSERT_FALSE(make_bool_array_length_3_bad.IsApplicable(
|
|
context.get(), transformation_context));
|
|
ApplyAndCheckFreshIds(make_bool_array_length_3, context.get(),
|
|
&transformation_context);
|
|
ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
|
|
kConsoleMessageConsumer));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(33, {}), MakeDataDescriptor(202, {0})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(50, {}), MakeDataDescriptor(202, {1})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(50, {}), MakeDataDescriptor(202, {2})));
|
|
|
|
// make a uvec3[2][2]
|
|
TransformationCompositeConstruct make_uvec3_array_length_2_2(
|
|
58, {69, 100}, MakeInstructionDescriptor(64, SpvOpStore, 0), 203);
|
|
// Bad: Skip count 100 is too large.
|
|
TransformationCompositeConstruct make_uvec3_array_length_2_2_bad(
|
|
58, {33, 54}, MakeInstructionDescriptor(64, SpvOpStore, 100), 203);
|
|
ASSERT_TRUE(make_uvec3_array_length_2_2.IsApplicable(context.get(),
|
|
transformation_context));
|
|
ASSERT_FALSE(make_uvec3_array_length_2_2_bad.IsApplicable(
|
|
context.get(), transformation_context));
|
|
ApplyAndCheckFreshIds(make_uvec3_array_length_2_2, context.get(),
|
|
&transformation_context);
|
|
ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
|
|
kConsoleMessageConsumer));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(69, {}), MakeDataDescriptor(203, {0})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(100, {}), MakeDataDescriptor(203, {1})));
|
|
|
|
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 "floats"
|
|
OpName %22 "x"
|
|
OpName %39 "vecs"
|
|
OpName %49 "bools"
|
|
OpName %60 "many_uvec3s"
|
|
OpDecorate %60 RelaxedPrecision
|
|
%2 = OpTypeVoid
|
|
%3 = OpTypeFunction %2
|
|
%6 = OpTypeFloat 32
|
|
%7 = OpTypeInt 32 0
|
|
%8 = OpConstant %7 2
|
|
%9 = OpTypeArray %6 %8
|
|
%10 = OpTypePointer Function %9
|
|
%12 = OpTypeInt 32 1
|
|
%13 = OpConstant %12 0
|
|
%14 = OpConstant %6 1
|
|
%15 = OpTypePointer Function %6
|
|
%17 = OpConstant %12 1
|
|
%18 = OpConstant %6 2
|
|
%20 = OpTypeVector %6 2
|
|
%21 = OpTypePointer Function %20
|
|
%32 = OpTypeBool
|
|
%36 = OpConstant %7 3
|
|
%37 = OpTypeArray %20 %36
|
|
%38 = OpTypePointer Private %37
|
|
%39 = OpVariable %38 Private
|
|
%40 = OpConstant %6 3
|
|
%41 = OpConstantComposite %20 %40 %40
|
|
%42 = OpTypePointer Private %20
|
|
%44 = OpConstant %12 2
|
|
%47 = OpTypeArray %32 %36
|
|
%48 = OpTypePointer Function %47
|
|
%50 = OpConstantTrue %32
|
|
%51 = OpTypePointer Function %32
|
|
%56 = OpTypeVector %7 3
|
|
%57 = OpTypeArray %56 %8
|
|
%58 = OpTypeArray %57 %8
|
|
%59 = OpTypePointer Function %58
|
|
%61 = OpConstant %7 4
|
|
%62 = OpConstantComposite %56 %61 %61 %61
|
|
%63 = OpTypePointer Function %56
|
|
%65 = OpConstant %7 5
|
|
%66 = OpConstantComposite %56 %65 %65 %65
|
|
%67 = OpConstant %7 6
|
|
%68 = OpConstantComposite %56 %67 %67 %67
|
|
%69 = OpConstantComposite %57 %66 %68
|
|
%100 = OpUndef %57
|
|
%70 = OpTypePointer Function %57
|
|
%4 = OpFunction %2 None %3
|
|
%5 = OpLabel
|
|
%11 = OpVariable %10 Function
|
|
%22 = OpVariable %21 Function
|
|
%49 = OpVariable %48 Function
|
|
%60 = OpVariable %59 Function
|
|
%16 = OpAccessChain %15 %11 %13
|
|
OpStore %16 %14
|
|
%19 = OpAccessChain %15 %11 %17
|
|
OpStore %19 %18
|
|
%23 = OpAccessChain %15 %11 %13
|
|
%24 = OpLoad %6 %23
|
|
%25 = OpAccessChain %15 %11 %17
|
|
%26 = OpLoad %6 %25
|
|
%27 = OpCompositeConstruct %20 %24 %26
|
|
OpStore %22 %27
|
|
%28 = OpAccessChain %15 %11 %13
|
|
%29 = OpLoad %6 %28
|
|
%30 = OpAccessChain %15 %11 %17
|
|
%31 = OpLoad %6 %30
|
|
%33 = OpFOrdGreaterThan %32 %29 %31
|
|
%202 = OpCompositeConstruct %47 %33 %50 %50
|
|
OpSelectionMerge %35 None
|
|
OpBranchConditional %33 %34 %35
|
|
%34 = OpLabel
|
|
%43 = OpAccessChain %42 %39 %17
|
|
OpStore %43 %41
|
|
%45 = OpLoad %20 %22
|
|
%200 = OpCompositeConstruct %37 %41 %45 %27
|
|
%46 = OpAccessChain %42 %39 %44
|
|
OpStore %46 %45
|
|
OpBranch %35
|
|
%35 = OpLabel
|
|
%52 = OpAccessChain %51 %49 %13
|
|
OpStore %52 %50
|
|
%53 = OpAccessChain %51 %49 %13
|
|
%54 = OpLoad %32 %53
|
|
%55 = OpAccessChain %51 %49 %17
|
|
OpStore %55 %54
|
|
%64 = OpAccessChain %63 %60 %13 %13
|
|
%203 = OpCompositeConstruct %58 %69 %100
|
|
OpStore %64 %62
|
|
%71 = OpAccessChain %70 %60 %17
|
|
%201 = OpCompositeConstruct %9 %24 %40
|
|
OpStore %71 %69
|
|
OpReturn
|
|
OpFunctionEnd
|
|
)";
|
|
|
|
ASSERT_TRUE(IsEqual(env, after_transformation, context.get()));
|
|
}
|
|
|
|
TEST(TransformationCompositeConstructTest, ConstructMatrices) {
|
|
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 "v1"
|
|
OpName %12 "v2"
|
|
OpName %14 "v3"
|
|
OpName %19 "v4"
|
|
OpName %26 "v5"
|
|
OpName %29 "v6"
|
|
OpName %34 "m34"
|
|
OpName %37 "m43"
|
|
OpName %43 "vecs"
|
|
%2 = OpTypeVoid
|
|
%3 = OpTypeFunction %2
|
|
%6 = OpTypeFloat 32
|
|
%7 = OpTypeVector %6 3
|
|
%8 = OpTypePointer Function %7
|
|
%10 = OpConstant %6 1
|
|
%11 = OpConstantComposite %7 %10 %10 %10
|
|
%17 = OpTypeVector %6 4
|
|
%18 = OpTypePointer Function %17
|
|
%21 = OpConstant %6 2
|
|
%32 = OpTypeMatrix %17 3
|
|
%33 = OpTypePointer Private %32
|
|
%34 = OpVariable %33 Private
|
|
%35 = OpTypeMatrix %7 4
|
|
%36 = OpTypePointer Private %35
|
|
%37 = OpVariable %36 Private
|
|
%38 = OpTypeVector %6 2
|
|
%39 = OpTypeInt 32 0
|
|
%40 = OpConstant %39 3
|
|
%41 = OpTypeArray %38 %40
|
|
%42 = OpTypePointer Private %41
|
|
%43 = OpVariable %42 Private
|
|
%100 = OpUndef %7
|
|
%101 = OpUndef %17
|
|
%4 = OpFunction %2 None %3
|
|
%5 = OpLabel
|
|
%9 = OpVariable %8 Function
|
|
%12 = OpVariable %8 Function
|
|
%14 = OpVariable %8 Function
|
|
%19 = OpVariable %18 Function
|
|
%26 = OpVariable %18 Function
|
|
%29 = OpVariable %18 Function
|
|
OpStore %9 %11
|
|
%13 = OpLoad %7 %9
|
|
OpStore %12 %13
|
|
%15 = OpLoad %7 %12
|
|
%16 = OpVectorShuffle %7 %15 %15 2 1 0
|
|
OpStore %14 %16
|
|
%20 = OpLoad %7 %14
|
|
%22 = OpCompositeExtract %6 %20 0
|
|
%23 = OpCompositeExtract %6 %20 1
|
|
%24 = OpCompositeExtract %6 %20 2
|
|
%25 = OpCompositeConstruct %17 %22 %23 %24 %21
|
|
OpStore %19 %25
|
|
%27 = OpLoad %17 %19
|
|
%28 = OpVectorShuffle %17 %27 %27 3 2 1 0
|
|
OpStore %26 %28
|
|
%30 = OpLoad %7 %9
|
|
%31 = OpVectorShuffle %17 %30 %30 0 0 1 1
|
|
OpStore %29 %31
|
|
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);
|
|
// make a mat3x4
|
|
TransformationCompositeConstruct make_mat34(
|
|
32, {25, 28, 31}, MakeInstructionDescriptor(31, SpvOpReturn, 0), 200);
|
|
// Bad: %35 is mat4x3, not mat3x4.
|
|
TransformationCompositeConstruct make_mat34_bad(
|
|
35, {25, 28, 31}, MakeInstructionDescriptor(31, SpvOpReturn, 0), 200);
|
|
ASSERT_TRUE(make_mat34.IsApplicable(context.get(), transformation_context));
|
|
ASSERT_FALSE(
|
|
make_mat34_bad.IsApplicable(context.get(), transformation_context));
|
|
ApplyAndCheckFreshIds(make_mat34, context.get(), &transformation_context);
|
|
ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
|
|
kConsoleMessageConsumer));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(25, {}), MakeDataDescriptor(200, {0})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(28, {}), MakeDataDescriptor(200, {1})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(31, {}), MakeDataDescriptor(200, {2})));
|
|
|
|
// make a mat4x3
|
|
TransformationCompositeConstruct make_mat43(
|
|
35, {11, 13, 16, 100}, MakeInstructionDescriptor(31, SpvOpStore, 0), 201);
|
|
// Bad: %25 does not match the matrix's column type.
|
|
TransformationCompositeConstruct make_mat43_bad(
|
|
35, {25, 13, 16, 100}, MakeInstructionDescriptor(31, SpvOpStore, 0), 201);
|
|
ASSERT_TRUE(make_mat43.IsApplicable(context.get(), transformation_context));
|
|
ASSERT_FALSE(
|
|
make_mat43_bad.IsApplicable(context.get(), transformation_context));
|
|
ApplyAndCheckFreshIds(make_mat43, context.get(), &transformation_context);
|
|
ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
|
|
kConsoleMessageConsumer));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(11, {}), MakeDataDescriptor(201, {0})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(13, {}), MakeDataDescriptor(201, {1})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(16, {}), MakeDataDescriptor(201, {2})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(100, {}), MakeDataDescriptor(201, {3})));
|
|
|
|
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 "v1"
|
|
OpName %12 "v2"
|
|
OpName %14 "v3"
|
|
OpName %19 "v4"
|
|
OpName %26 "v5"
|
|
OpName %29 "v6"
|
|
OpName %34 "m34"
|
|
OpName %37 "m43"
|
|
OpName %43 "vecs"
|
|
%2 = OpTypeVoid
|
|
%3 = OpTypeFunction %2
|
|
%6 = OpTypeFloat 32
|
|
%7 = OpTypeVector %6 3
|
|
%8 = OpTypePointer Function %7
|
|
%10 = OpConstant %6 1
|
|
%11 = OpConstantComposite %7 %10 %10 %10
|
|
%17 = OpTypeVector %6 4
|
|
%18 = OpTypePointer Function %17
|
|
%21 = OpConstant %6 2
|
|
%32 = OpTypeMatrix %17 3
|
|
%33 = OpTypePointer Private %32
|
|
%34 = OpVariable %33 Private
|
|
%35 = OpTypeMatrix %7 4
|
|
%36 = OpTypePointer Private %35
|
|
%37 = OpVariable %36 Private
|
|
%38 = OpTypeVector %6 2
|
|
%39 = OpTypeInt 32 0
|
|
%40 = OpConstant %39 3
|
|
%41 = OpTypeArray %38 %40
|
|
%42 = OpTypePointer Private %41
|
|
%43 = OpVariable %42 Private
|
|
%100 = OpUndef %7
|
|
%101 = OpUndef %17
|
|
%4 = OpFunction %2 None %3
|
|
%5 = OpLabel
|
|
%9 = OpVariable %8 Function
|
|
%12 = OpVariable %8 Function
|
|
%14 = OpVariable %8 Function
|
|
%19 = OpVariable %18 Function
|
|
%26 = OpVariable %18 Function
|
|
%29 = OpVariable %18 Function
|
|
OpStore %9 %11
|
|
%13 = OpLoad %7 %9
|
|
OpStore %12 %13
|
|
%15 = OpLoad %7 %12
|
|
%16 = OpVectorShuffle %7 %15 %15 2 1 0
|
|
OpStore %14 %16
|
|
%20 = OpLoad %7 %14
|
|
%22 = OpCompositeExtract %6 %20 0
|
|
%23 = OpCompositeExtract %6 %20 1
|
|
%24 = OpCompositeExtract %6 %20 2
|
|
%25 = OpCompositeConstruct %17 %22 %23 %24 %21
|
|
OpStore %19 %25
|
|
%27 = OpLoad %17 %19
|
|
%28 = OpVectorShuffle %17 %27 %27 3 2 1 0
|
|
OpStore %26 %28
|
|
%30 = OpLoad %7 %9
|
|
%31 = OpVectorShuffle %17 %30 %30 0 0 1 1
|
|
%201 = OpCompositeConstruct %35 %11 %13 %16 %100
|
|
OpStore %29 %31
|
|
%200 = OpCompositeConstruct %32 %25 %28 %31
|
|
OpReturn
|
|
OpFunctionEnd
|
|
)";
|
|
|
|
ASSERT_TRUE(IsEqual(env, after_transformation, context.get()));
|
|
}
|
|
|
|
TEST(TransformationCompositeConstructTest, ConstructStructs) {
|
|
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 %22 "i2"
|
|
OpName %33 "Outer"
|
|
OpMemberName %33 0 "c"
|
|
OpMemberName %33 1 "d"
|
|
OpMemberName %33 2 "e"
|
|
OpName %35 "o"
|
|
%2 = OpTypeVoid
|
|
%3 = OpTypeFunction %2
|
|
%6 = OpTypeFloat 32
|
|
%7 = OpTypeVector %6 2
|
|
%8 = OpTypeInt 32 1
|
|
%9 = OpTypeStruct %7 %8
|
|
%10 = OpTypePointer Function %9
|
|
%12 = OpConstant %8 0
|
|
%13 = OpConstant %6 2
|
|
%14 = OpTypeInt 32 0
|
|
%15 = OpConstant %14 0
|
|
%16 = OpTypePointer Function %6
|
|
%18 = OpConstant %8 1
|
|
%19 = OpConstant %8 3
|
|
%20 = OpTypePointer Function %8
|
|
%23 = OpTypePointer Function %7
|
|
%31 = OpConstant %14 2
|
|
%32 = OpTypeArray %9 %31
|
|
%33 = OpTypeStruct %32 %9 %6
|
|
%34 = OpTypePointer Function %33
|
|
%36 = OpConstant %6 1
|
|
%37 = OpConstantComposite %7 %36 %13
|
|
%38 = OpConstant %8 2
|
|
%39 = OpConstantComposite %9 %37 %38
|
|
%40 = OpConstant %6 3
|
|
%41 = OpConstant %6 4
|
|
%42 = OpConstantComposite %7 %40 %41
|
|
%56 = OpConstant %6 5
|
|
%100 = OpUndef %9
|
|
%4 = OpFunction %2 None %3
|
|
%5 = OpLabel
|
|
%11 = OpVariable %10 Function
|
|
%22 = OpVariable %10 Function
|
|
%35 = OpVariable %34 Function
|
|
%17 = OpAccessChain %16 %11 %12 %15
|
|
OpStore %17 %13
|
|
%21 = OpAccessChain %20 %11 %18
|
|
OpStore %21 %19
|
|
%24 = OpAccessChain %23 %11 %12
|
|
%25 = OpLoad %7 %24
|
|
%26 = OpAccessChain %23 %22 %12
|
|
OpStore %26 %25
|
|
%27 = OpAccessChain %20 %11 %18
|
|
%28 = OpLoad %8 %27
|
|
%29 = OpIAdd %8 %28 %18
|
|
%30 = OpAccessChain %20 %22 %18
|
|
OpStore %30 %29
|
|
%43 = OpAccessChain %20 %11 %18
|
|
%44 = OpLoad %8 %43
|
|
%45 = OpCompositeConstruct %9 %42 %44
|
|
%46 = OpCompositeConstruct %32 %39 %45
|
|
%47 = OpLoad %9 %22
|
|
%48 = OpCompositeConstruct %33 %46 %47 %40
|
|
OpStore %35 %48
|
|
%49 = OpLoad %9 %11
|
|
%50 = OpAccessChain %10 %35 %12 %12
|
|
OpStore %50 %49
|
|
%51 = OpLoad %9 %22
|
|
%52 = OpAccessChain %10 %35 %12 %18
|
|
OpStore %52 %51
|
|
%53 = OpAccessChain %10 %35 %12 %12
|
|
%54 = OpLoad %9 %53
|
|
%55 = OpAccessChain %10 %35 %18
|
|
OpStore %55 %54
|
|
%57 = OpAccessChain %16 %35 %38
|
|
OpStore %57 %56
|
|
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);
|
|
// make an Inner
|
|
TransformationCompositeConstruct make_inner(
|
|
9, {25, 19}, MakeInstructionDescriptor(57, SpvOpAccessChain, 0), 200);
|
|
// Bad: Too few fields to make the struct.
|
|
TransformationCompositeConstruct make_inner_bad(
|
|
9, {25}, MakeInstructionDescriptor(57, SpvOpAccessChain, 0), 200);
|
|
ASSERT_TRUE(make_inner.IsApplicable(context.get(), transformation_context));
|
|
ASSERT_FALSE(
|
|
make_inner_bad.IsApplicable(context.get(), transformation_context));
|
|
ApplyAndCheckFreshIds(make_inner, context.get(), &transformation_context);
|
|
ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
|
|
kConsoleMessageConsumer));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(25, {}), MakeDataDescriptor(200, {0})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(19, {}), MakeDataDescriptor(200, {1})));
|
|
|
|
// make an Outer
|
|
TransformationCompositeConstruct make_outer(
|
|
33, {46, 200, 56}, MakeInstructionDescriptor(200, SpvOpAccessChain, 0),
|
|
201);
|
|
// Bad: %200 is not available at the desired program point.
|
|
TransformationCompositeConstruct make_outer_bad(
|
|
33, {46, 200, 56},
|
|
MakeInstructionDescriptor(200, SpvOpCompositeConstruct, 0), 201);
|
|
ASSERT_TRUE(make_outer.IsApplicable(context.get(), transformation_context));
|
|
ASSERT_FALSE(
|
|
make_outer_bad.IsApplicable(context.get(), transformation_context));
|
|
ApplyAndCheckFreshIds(make_outer, context.get(), &transformation_context);
|
|
ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
|
|
kConsoleMessageConsumer));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(46, {}), MakeDataDescriptor(201, {0})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(200, {}), MakeDataDescriptor(201, {1})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(56, {}), MakeDataDescriptor(201, {2})));
|
|
|
|
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 %22 "i2"
|
|
OpName %33 "Outer"
|
|
OpMemberName %33 0 "c"
|
|
OpMemberName %33 1 "d"
|
|
OpMemberName %33 2 "e"
|
|
OpName %35 "o"
|
|
%2 = OpTypeVoid
|
|
%3 = OpTypeFunction %2
|
|
%6 = OpTypeFloat 32
|
|
%7 = OpTypeVector %6 2
|
|
%8 = OpTypeInt 32 1
|
|
%9 = OpTypeStruct %7 %8
|
|
%10 = OpTypePointer Function %9
|
|
%12 = OpConstant %8 0
|
|
%13 = OpConstant %6 2
|
|
%14 = OpTypeInt 32 0
|
|
%15 = OpConstant %14 0
|
|
%16 = OpTypePointer Function %6
|
|
%18 = OpConstant %8 1
|
|
%19 = OpConstant %8 3
|
|
%20 = OpTypePointer Function %8
|
|
%23 = OpTypePointer Function %7
|
|
%31 = OpConstant %14 2
|
|
%32 = OpTypeArray %9 %31
|
|
%33 = OpTypeStruct %32 %9 %6
|
|
%34 = OpTypePointer Function %33
|
|
%36 = OpConstant %6 1
|
|
%37 = OpConstantComposite %7 %36 %13
|
|
%38 = OpConstant %8 2
|
|
%39 = OpConstantComposite %9 %37 %38
|
|
%40 = OpConstant %6 3
|
|
%41 = OpConstant %6 4
|
|
%42 = OpConstantComposite %7 %40 %41
|
|
%56 = OpConstant %6 5
|
|
%100 = OpUndef %9
|
|
%4 = OpFunction %2 None %3
|
|
%5 = OpLabel
|
|
%11 = OpVariable %10 Function
|
|
%22 = OpVariable %10 Function
|
|
%35 = OpVariable %34 Function
|
|
%17 = OpAccessChain %16 %11 %12 %15
|
|
OpStore %17 %13
|
|
%21 = OpAccessChain %20 %11 %18
|
|
OpStore %21 %19
|
|
%24 = OpAccessChain %23 %11 %12
|
|
%25 = OpLoad %7 %24
|
|
%26 = OpAccessChain %23 %22 %12
|
|
OpStore %26 %25
|
|
%27 = OpAccessChain %20 %11 %18
|
|
%28 = OpLoad %8 %27
|
|
%29 = OpIAdd %8 %28 %18
|
|
%30 = OpAccessChain %20 %22 %18
|
|
OpStore %30 %29
|
|
%43 = OpAccessChain %20 %11 %18
|
|
%44 = OpLoad %8 %43
|
|
%45 = OpCompositeConstruct %9 %42 %44
|
|
%46 = OpCompositeConstruct %32 %39 %45
|
|
%47 = OpLoad %9 %22
|
|
%48 = OpCompositeConstruct %33 %46 %47 %40
|
|
OpStore %35 %48
|
|
%49 = OpLoad %9 %11
|
|
%50 = OpAccessChain %10 %35 %12 %12
|
|
OpStore %50 %49
|
|
%51 = OpLoad %9 %22
|
|
%52 = OpAccessChain %10 %35 %12 %18
|
|
OpStore %52 %51
|
|
%53 = OpAccessChain %10 %35 %12 %12
|
|
%54 = OpLoad %9 %53
|
|
%55 = OpAccessChain %10 %35 %18
|
|
OpStore %55 %54
|
|
%200 = OpCompositeConstruct %9 %25 %19
|
|
%201 = OpCompositeConstruct %33 %46 %200 %56
|
|
%57 = OpAccessChain %16 %35 %38
|
|
OpStore %57 %56
|
|
OpReturn
|
|
OpFunctionEnd
|
|
)";
|
|
|
|
ASSERT_TRUE(IsEqual(env, after_transformation, context.get()));
|
|
}
|
|
|
|
TEST(TransformationCompositeConstructTest, ConstructVectors) {
|
|
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 "v2"
|
|
OpName %27 "v3"
|
|
OpName %46 "v4"
|
|
OpName %53 "iv2"
|
|
OpName %61 "uv3"
|
|
OpName %72 "bv4"
|
|
OpName %88 "uv2"
|
|
OpName %95 "bv3"
|
|
OpName %104 "bv2"
|
|
OpName %116 "iv3"
|
|
OpName %124 "iv4"
|
|
OpName %133 "uv4"
|
|
%2 = OpTypeVoid
|
|
%3 = OpTypeFunction %2
|
|
%6 = OpTypeFloat 32
|
|
%7 = OpTypeVector %6 2
|
|
%8 = OpTypePointer Function %7
|
|
%10 = OpConstant %6 1
|
|
%11 = OpConstant %6 2
|
|
%12 = OpConstantComposite %7 %10 %11
|
|
%13 = OpTypeInt 32 0
|
|
%14 = OpConstant %13 0
|
|
%15 = OpTypePointer Function %6
|
|
%18 = OpConstant %13 1
|
|
%21 = OpTypeBool
|
|
%25 = OpTypeVector %6 3
|
|
%26 = OpTypePointer Function %25
|
|
%33 = OpConstant %6 3
|
|
%34 = OpConstant %6 -0.756802499
|
|
%38 = OpConstant %13 2
|
|
%44 = OpTypeVector %6 4
|
|
%45 = OpTypePointer Function %44
|
|
%50 = OpTypeInt 32 1
|
|
%51 = OpTypeVector %50 2
|
|
%52 = OpTypePointer Function %51
|
|
%57 = OpTypePointer Function %50
|
|
%59 = OpTypeVector %13 3
|
|
%60 = OpTypePointer Function %59
|
|
%65 = OpConstant %13 3
|
|
%67 = OpTypePointer Function %13
|
|
%70 = OpTypeVector %21 4
|
|
%71 = OpTypePointer Function %70
|
|
%73 = OpConstantTrue %21
|
|
%74 = OpTypePointer Function %21
|
|
%86 = OpTypeVector %13 2
|
|
%87 = OpTypePointer Function %86
|
|
%93 = OpTypeVector %21 3
|
|
%94 = OpTypePointer Function %93
|
|
%102 = OpTypeVector %21 2
|
|
%103 = OpTypePointer Function %102
|
|
%111 = OpConstantFalse %21
|
|
%114 = OpTypeVector %50 3
|
|
%115 = OpTypePointer Function %114
|
|
%117 = OpConstant %50 3
|
|
%122 = OpTypeVector %50 4
|
|
%123 = OpTypePointer Function %122
|
|
%131 = OpTypeVector %13 4
|
|
%132 = OpTypePointer Function %131
|
|
%4 = OpFunction %2 None %3
|
|
%5 = OpLabel
|
|
%9 = OpVariable %8 Function
|
|
%27 = OpVariable %26 Function
|
|
%46 = OpVariable %45 Function
|
|
%53 = OpVariable %52 Function
|
|
%61 = OpVariable %60 Function
|
|
%72 = OpVariable %71 Function
|
|
%88 = OpVariable %87 Function
|
|
%95 = OpVariable %94 Function
|
|
%104 = OpVariable %103 Function
|
|
%116 = OpVariable %115 Function
|
|
%124 = OpVariable %123 Function
|
|
%133 = OpVariable %132 Function
|
|
OpStore %9 %12
|
|
%16 = OpAccessChain %15 %9 %14
|
|
%17 = OpLoad %6 %16
|
|
%19 = OpAccessChain %15 %9 %18
|
|
%20 = OpLoad %6 %19
|
|
%22 = OpFOrdGreaterThan %21 %17 %20
|
|
OpSelectionMerge %24 None
|
|
OpBranchConditional %22 %23 %101
|
|
%23 = OpLabel
|
|
%28 = OpAccessChain %15 %9 %14
|
|
%29 = OpLoad %6 %28
|
|
%30 = OpAccessChain %15 %9 %18
|
|
%31 = OpLoad %6 %30
|
|
%32 = OpFAdd %6 %29 %31
|
|
%35 = OpCompositeConstruct %25 %32 %33 %34
|
|
OpStore %27 %35
|
|
%36 = OpAccessChain %15 %27 %14
|
|
%37 = OpLoad %6 %36
|
|
%39 = OpAccessChain %15 %27 %38
|
|
%40 = OpLoad %6 %39
|
|
%41 = OpFOrdLessThan %21 %37 %40
|
|
OpSelectionMerge %43 None
|
|
OpBranchConditional %41 %42 %69
|
|
%42 = OpLabel
|
|
%47 = OpAccessChain %15 %9 %18
|
|
%48 = OpLoad %6 %47
|
|
%49 = OpAccessChain %15 %46 %14
|
|
OpStore %49 %48
|
|
%54 = OpAccessChain %15 %27 %38
|
|
%55 = OpLoad %6 %54
|
|
%56 = OpConvertFToS %50 %55
|
|
%58 = OpAccessChain %57 %53 %14
|
|
OpStore %58 %56
|
|
%62 = OpAccessChain %15 %46 %14
|
|
%63 = OpLoad %6 %62
|
|
%64 = OpConvertFToU %13 %63
|
|
%66 = OpIAdd %13 %64 %65
|
|
%68 = OpAccessChain %67 %61 %14
|
|
OpStore %68 %66
|
|
OpBranch %43
|
|
%69 = OpLabel
|
|
%75 = OpAccessChain %74 %72 %14
|
|
OpStore %75 %73
|
|
%76 = OpAccessChain %74 %72 %14
|
|
%77 = OpLoad %21 %76
|
|
%78 = OpLogicalNot %21 %77
|
|
%79 = OpAccessChain %74 %72 %18
|
|
OpStore %79 %78
|
|
%80 = OpAccessChain %74 %72 %14
|
|
%81 = OpLoad %21 %80
|
|
%82 = OpAccessChain %74 %72 %18
|
|
%83 = OpLoad %21 %82
|
|
%84 = OpLogicalAnd %21 %81 %83
|
|
%85 = OpAccessChain %74 %72 %38
|
|
OpStore %85 %84
|
|
%89 = OpAccessChain %67 %88 %14
|
|
%90 = OpLoad %13 %89
|
|
%91 = OpINotEqual %21 %90 %14
|
|
%92 = OpAccessChain %74 %72 %65
|
|
OpStore %92 %91
|
|
OpBranch %43
|
|
%43 = OpLabel
|
|
%96 = OpLoad %70 %72
|
|
%97 = OpCompositeExtract %21 %96 0
|
|
%98 = OpCompositeExtract %21 %96 1
|
|
%99 = OpCompositeExtract %21 %96 2
|
|
%100 = OpCompositeConstruct %93 %97 %98 %99
|
|
OpStore %95 %100
|
|
OpBranch %24
|
|
%101 = OpLabel
|
|
%105 = OpAccessChain %67 %88 %14
|
|
%106 = OpLoad %13 %105
|
|
%107 = OpINotEqual %21 %106 %14
|
|
%108 = OpCompositeConstruct %102 %107 %107
|
|
OpStore %104 %108
|
|
OpBranch %24
|
|
%24 = OpLabel
|
|
%109 = OpAccessChain %74 %104 %18
|
|
%110 = OpLoad %21 %109
|
|
%112 = OpLogicalOr %21 %110 %111
|
|
%113 = OpAccessChain %74 %104 %14
|
|
OpStore %113 %112
|
|
%118 = OpAccessChain %57 %116 %14
|
|
OpStore %118 %117
|
|
%119 = OpAccessChain %57 %116 %14
|
|
%120 = OpLoad %50 %119
|
|
%121 = OpAccessChain %57 %53 %18
|
|
OpStore %121 %120
|
|
%125 = OpAccessChain %57 %116 %14
|
|
%126 = OpLoad %50 %125
|
|
%127 = OpAccessChain %57 %53 %18
|
|
%128 = OpLoad %50 %127
|
|
%129 = OpIAdd %50 %126 %128
|
|
%130 = OpAccessChain %57 %124 %65
|
|
OpStore %130 %129
|
|
%134 = OpAccessChain %57 %116 %14
|
|
%135 = OpLoad %50 %134
|
|
%136 = OpBitcast %13 %135
|
|
%137 = OpAccessChain %67 %133 %14
|
|
OpStore %137 %136
|
|
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);
|
|
TransformationCompositeConstruct make_vec2(
|
|
7, {17, 11}, MakeInstructionDescriptor(100, SpvOpStore, 0), 200);
|
|
// Bad: not enough data for a vec2
|
|
TransformationCompositeConstruct make_vec2_bad(
|
|
7, {11}, MakeInstructionDescriptor(100, SpvOpStore, 0), 200);
|
|
ASSERT_TRUE(make_vec2.IsApplicable(context.get(), transformation_context));
|
|
ASSERT_FALSE(
|
|
make_vec2_bad.IsApplicable(context.get(), transformation_context));
|
|
ApplyAndCheckFreshIds(make_vec2, context.get(), &transformation_context);
|
|
ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
|
|
kConsoleMessageConsumer));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(17, {}), MakeDataDescriptor(200, {0})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(11, {}), MakeDataDescriptor(200, {1})));
|
|
|
|
TransformationCompositeConstruct make_vec3(
|
|
25, {12, 32}, MakeInstructionDescriptor(35, SpvOpCompositeConstruct, 0),
|
|
201);
|
|
// Bad: too much data for a vec3
|
|
TransformationCompositeConstruct make_vec3_bad(
|
|
25, {12, 32, 32},
|
|
MakeInstructionDescriptor(35, SpvOpCompositeConstruct, 0), 201);
|
|
ASSERT_TRUE(make_vec3.IsApplicable(context.get(), transformation_context));
|
|
ASSERT_FALSE(
|
|
make_vec3_bad.IsApplicable(context.get(), transformation_context));
|
|
ApplyAndCheckFreshIds(make_vec3, context.get(), &transformation_context);
|
|
ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
|
|
kConsoleMessageConsumer));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(12, {0}), MakeDataDescriptor(201, {0})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(12, {1}), MakeDataDescriptor(201, {1})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(32, {}), MakeDataDescriptor(201, {2})));
|
|
|
|
TransformationCompositeConstruct make_vec4(
|
|
44, {32, 32, 10, 11}, MakeInstructionDescriptor(75, SpvOpAccessChain, 0),
|
|
202);
|
|
// Bad: id 48 is not available at the insertion points
|
|
TransformationCompositeConstruct make_vec4_bad(
|
|
44, {48, 32, 10, 11}, MakeInstructionDescriptor(75, SpvOpAccessChain, 0),
|
|
202);
|
|
ASSERT_TRUE(make_vec4.IsApplicable(context.get(), transformation_context));
|
|
ASSERT_FALSE(
|
|
make_vec4_bad.IsApplicable(context.get(), transformation_context));
|
|
ApplyAndCheckFreshIds(make_vec4, context.get(), &transformation_context);
|
|
ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
|
|
kConsoleMessageConsumer));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(32, {}), MakeDataDescriptor(202, {0})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(32, {}), MakeDataDescriptor(202, {1})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(10, {}), MakeDataDescriptor(202, {2})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(11, {}), MakeDataDescriptor(202, {3})));
|
|
|
|
TransformationCompositeConstruct make_ivec2(
|
|
51, {126, 120}, MakeInstructionDescriptor(128, SpvOpLoad, 0), 203);
|
|
// Bad: if 128 is not available at the instruction that defines 128
|
|
TransformationCompositeConstruct make_ivec2_bad(
|
|
51, {128, 120}, MakeInstructionDescriptor(128, SpvOpLoad, 0), 203);
|
|
ASSERT_TRUE(make_ivec2.IsApplicable(context.get(), transformation_context));
|
|
ASSERT_FALSE(
|
|
make_ivec2_bad.IsApplicable(context.get(), transformation_context));
|
|
ApplyAndCheckFreshIds(make_ivec2, context.get(), &transformation_context);
|
|
ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
|
|
kConsoleMessageConsumer));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(126, {}), MakeDataDescriptor(203, {0})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(120, {}), MakeDataDescriptor(203, {1})));
|
|
|
|
TransformationCompositeConstruct make_ivec3(
|
|
114, {56, 117, 56}, MakeInstructionDescriptor(66, SpvOpAccessChain, 0),
|
|
204);
|
|
// Bad because 1300 is not an id
|
|
TransformationCompositeConstruct make_ivec3_bad(
|
|
114, {56, 117, 1300}, MakeInstructionDescriptor(66, SpvOpAccessChain, 0),
|
|
204);
|
|
ASSERT_TRUE(make_ivec3.IsApplicable(context.get(), transformation_context));
|
|
ASSERT_FALSE(
|
|
make_ivec3_bad.IsApplicable(context.get(), transformation_context));
|
|
ApplyAndCheckFreshIds(make_ivec3, context.get(), &transformation_context);
|
|
ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
|
|
kConsoleMessageConsumer));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(56, {}), MakeDataDescriptor(204, {0})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(117, {}), MakeDataDescriptor(204, {1})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(56, {}), MakeDataDescriptor(204, {2})));
|
|
|
|
TransformationCompositeConstruct make_ivec4(
|
|
122, {56, 117, 117, 117}, MakeInstructionDescriptor(66, SpvOpIAdd, 0),
|
|
205);
|
|
// Bad because 86 is the wrong type.
|
|
TransformationCompositeConstruct make_ivec4_bad(
|
|
86, {56, 117, 117, 117}, MakeInstructionDescriptor(66, SpvOpIAdd, 0),
|
|
205);
|
|
ASSERT_TRUE(make_ivec4.IsApplicable(context.get(), transformation_context));
|
|
ASSERT_FALSE(
|
|
make_ivec4_bad.IsApplicable(context.get(), transformation_context));
|
|
ApplyAndCheckFreshIds(make_ivec4, context.get(), &transformation_context);
|
|
ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
|
|
kConsoleMessageConsumer));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(56, {}), MakeDataDescriptor(205, {0})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(117, {}), MakeDataDescriptor(205, {1})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(117, {}), MakeDataDescriptor(205, {2})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(117, {}), MakeDataDescriptor(205, {3})));
|
|
|
|
TransformationCompositeConstruct make_uvec2(
|
|
86, {18, 38}, MakeInstructionDescriptor(133, SpvOpAccessChain, 0), 206);
|
|
TransformationCompositeConstruct make_uvec2_bad(
|
|
86, {18, 38}, MakeInstructionDescriptor(133, SpvOpAccessChain, 200), 206);
|
|
ASSERT_TRUE(make_uvec2.IsApplicable(context.get(), transformation_context));
|
|
ASSERT_FALSE(
|
|
make_uvec2_bad.IsApplicable(context.get(), transformation_context));
|
|
ApplyAndCheckFreshIds(make_uvec2, context.get(), &transformation_context);
|
|
ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
|
|
kConsoleMessageConsumer));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(18, {}), MakeDataDescriptor(206, {0})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(38, {}), MakeDataDescriptor(206, {1})));
|
|
|
|
TransformationCompositeConstruct make_uvec3(
|
|
59, {14, 18, 136}, MakeInstructionDescriptor(137, SpvOpReturn, 0), 207);
|
|
// Bad because 1300 is not an id
|
|
TransformationCompositeConstruct make_uvec3_bad(
|
|
59, {14, 18, 1300}, MakeInstructionDescriptor(137, SpvOpReturn, 0), 207);
|
|
ASSERT_TRUE(make_uvec3.IsApplicable(context.get(), transformation_context));
|
|
ASSERT_FALSE(
|
|
make_uvec3_bad.IsApplicable(context.get(), transformation_context));
|
|
ApplyAndCheckFreshIds(make_uvec3, context.get(), &transformation_context);
|
|
ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
|
|
kConsoleMessageConsumer));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(14, {}), MakeDataDescriptor(207, {0})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(18, {}), MakeDataDescriptor(207, {1})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(136, {}), MakeDataDescriptor(207, {2})));
|
|
|
|
TransformationCompositeConstruct make_uvec4(
|
|
131, {14, 18, 136, 136},
|
|
MakeInstructionDescriptor(137, SpvOpAccessChain, 0), 208);
|
|
// Bad because 86 is the wrong type.
|
|
TransformationCompositeConstruct make_uvec4_bad(
|
|
86, {14, 18, 136, 136},
|
|
MakeInstructionDescriptor(137, SpvOpAccessChain, 0), 208);
|
|
ASSERT_TRUE(make_uvec4.IsApplicable(context.get(), transformation_context));
|
|
ASSERT_FALSE(
|
|
make_uvec4_bad.IsApplicable(context.get(), transformation_context));
|
|
ApplyAndCheckFreshIds(make_uvec4, context.get(), &transformation_context);
|
|
ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
|
|
kConsoleMessageConsumer));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(14, {}), MakeDataDescriptor(208, {0})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(18, {}), MakeDataDescriptor(208, {1})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(136, {}), MakeDataDescriptor(208, {2})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(136, {}), MakeDataDescriptor(208, {3})));
|
|
|
|
TransformationCompositeConstruct make_bvec2(
|
|
102,
|
|
{
|
|
111,
|
|
41,
|
|
},
|
|
MakeInstructionDescriptor(75, SpvOpAccessChain, 0), 209);
|
|
// Bad because 0 is not a valid base instruction id
|
|
TransformationCompositeConstruct make_bvec2_bad(
|
|
102,
|
|
{
|
|
111,
|
|
41,
|
|
},
|
|
MakeInstructionDescriptor(0, SpvOpExtInstImport, 0), 209);
|
|
ASSERT_TRUE(make_bvec2.IsApplicable(context.get(), transformation_context));
|
|
ASSERT_FALSE(
|
|
make_bvec2_bad.IsApplicable(context.get(), transformation_context));
|
|
ApplyAndCheckFreshIds(make_bvec2, context.get(), &transformation_context);
|
|
ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
|
|
kConsoleMessageConsumer));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(111, {}), MakeDataDescriptor(209, {0})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(41, {}), MakeDataDescriptor(209, {1})));
|
|
|
|
TransformationCompositeConstruct make_bvec3(
|
|
93, {108, 73}, MakeInstructionDescriptor(108, SpvOpStore, 0), 210);
|
|
// Bad because there are too many components for a bvec3
|
|
TransformationCompositeConstruct make_bvec3_bad(
|
|
93, {108, 108}, MakeInstructionDescriptor(108, SpvOpStore, 0), 210);
|
|
ASSERT_TRUE(make_bvec3.IsApplicable(context.get(), transformation_context));
|
|
ASSERT_FALSE(
|
|
make_bvec3_bad.IsApplicable(context.get(), transformation_context));
|
|
ApplyAndCheckFreshIds(make_bvec3, context.get(), &transformation_context);
|
|
ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
|
|
kConsoleMessageConsumer));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(108, {0}), MakeDataDescriptor(210, {0})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(108, {1}), MakeDataDescriptor(210, {1})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(73, {}), MakeDataDescriptor(210, {2})));
|
|
|
|
TransformationCompositeConstruct make_bvec4(
|
|
70, {108, 108}, MakeInstructionDescriptor(108, SpvOpBranch, 0), 211);
|
|
// Bad because 21 is a type, not a result id
|
|
TransformationCompositeConstruct make_bvec4_bad(
|
|
70, {21, 108}, MakeInstructionDescriptor(108, SpvOpBranch, 0), 211);
|
|
ASSERT_TRUE(make_bvec4.IsApplicable(context.get(), transformation_context));
|
|
ASSERT_FALSE(
|
|
make_bvec4_bad.IsApplicable(context.get(), transformation_context));
|
|
ApplyAndCheckFreshIds(make_bvec4, context.get(), &transformation_context);
|
|
ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
|
|
kConsoleMessageConsumer));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(108, {0}), MakeDataDescriptor(211, {0})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(108, {1}), MakeDataDescriptor(211, {1})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(108, {0}), MakeDataDescriptor(211, {2})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(108, {1}), MakeDataDescriptor(211, {3})));
|
|
|
|
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 "v2"
|
|
OpName %27 "v3"
|
|
OpName %46 "v4"
|
|
OpName %53 "iv2"
|
|
OpName %61 "uv3"
|
|
OpName %72 "bv4"
|
|
OpName %88 "uv2"
|
|
OpName %95 "bv3"
|
|
OpName %104 "bv2"
|
|
OpName %116 "iv3"
|
|
OpName %124 "iv4"
|
|
OpName %133 "uv4"
|
|
%2 = OpTypeVoid
|
|
%3 = OpTypeFunction %2
|
|
%6 = OpTypeFloat 32
|
|
%7 = OpTypeVector %6 2
|
|
%8 = OpTypePointer Function %7
|
|
%10 = OpConstant %6 1
|
|
%11 = OpConstant %6 2
|
|
%12 = OpConstantComposite %7 %10 %11
|
|
%13 = OpTypeInt 32 0
|
|
%14 = OpConstant %13 0
|
|
%15 = OpTypePointer Function %6
|
|
%18 = OpConstant %13 1
|
|
%21 = OpTypeBool
|
|
%25 = OpTypeVector %6 3
|
|
%26 = OpTypePointer Function %25
|
|
%33 = OpConstant %6 3
|
|
%34 = OpConstant %6 -0.756802499
|
|
%38 = OpConstant %13 2
|
|
%44 = OpTypeVector %6 4
|
|
%45 = OpTypePointer Function %44
|
|
%50 = OpTypeInt 32 1
|
|
%51 = OpTypeVector %50 2
|
|
%52 = OpTypePointer Function %51
|
|
%57 = OpTypePointer Function %50
|
|
%59 = OpTypeVector %13 3
|
|
%60 = OpTypePointer Function %59
|
|
%65 = OpConstant %13 3
|
|
%67 = OpTypePointer Function %13
|
|
%70 = OpTypeVector %21 4
|
|
%71 = OpTypePointer Function %70
|
|
%73 = OpConstantTrue %21
|
|
%74 = OpTypePointer Function %21
|
|
%86 = OpTypeVector %13 2
|
|
%87 = OpTypePointer Function %86
|
|
%93 = OpTypeVector %21 3
|
|
%94 = OpTypePointer Function %93
|
|
%102 = OpTypeVector %21 2
|
|
%103 = OpTypePointer Function %102
|
|
%111 = OpConstantFalse %21
|
|
%114 = OpTypeVector %50 3
|
|
%115 = OpTypePointer Function %114
|
|
%117 = OpConstant %50 3
|
|
%122 = OpTypeVector %50 4
|
|
%123 = OpTypePointer Function %122
|
|
%131 = OpTypeVector %13 4
|
|
%132 = OpTypePointer Function %131
|
|
%4 = OpFunction %2 None %3
|
|
%5 = OpLabel
|
|
%9 = OpVariable %8 Function
|
|
%27 = OpVariable %26 Function
|
|
%46 = OpVariable %45 Function
|
|
%53 = OpVariable %52 Function
|
|
%61 = OpVariable %60 Function
|
|
%72 = OpVariable %71 Function
|
|
%88 = OpVariable %87 Function
|
|
%95 = OpVariable %94 Function
|
|
%104 = OpVariable %103 Function
|
|
%116 = OpVariable %115 Function
|
|
%124 = OpVariable %123 Function
|
|
%133 = OpVariable %132 Function
|
|
OpStore %9 %12
|
|
%206 = OpCompositeConstruct %86 %18 %38
|
|
%16 = OpAccessChain %15 %9 %14
|
|
%17 = OpLoad %6 %16
|
|
%19 = OpAccessChain %15 %9 %18
|
|
%20 = OpLoad %6 %19
|
|
%22 = OpFOrdGreaterThan %21 %17 %20
|
|
OpSelectionMerge %24 None
|
|
OpBranchConditional %22 %23 %101
|
|
%23 = OpLabel
|
|
%28 = OpAccessChain %15 %9 %14
|
|
%29 = OpLoad %6 %28
|
|
%30 = OpAccessChain %15 %9 %18
|
|
%31 = OpLoad %6 %30
|
|
%32 = OpFAdd %6 %29 %31
|
|
%201 = OpCompositeConstruct %25 %12 %32
|
|
%35 = OpCompositeConstruct %25 %32 %33 %34
|
|
OpStore %27 %35
|
|
%36 = OpAccessChain %15 %27 %14
|
|
%37 = OpLoad %6 %36
|
|
%39 = OpAccessChain %15 %27 %38
|
|
%40 = OpLoad %6 %39
|
|
%41 = OpFOrdLessThan %21 %37 %40
|
|
OpSelectionMerge %43 None
|
|
OpBranchConditional %41 %42 %69
|
|
%42 = OpLabel
|
|
%47 = OpAccessChain %15 %9 %18
|
|
%48 = OpLoad %6 %47
|
|
%49 = OpAccessChain %15 %46 %14
|
|
OpStore %49 %48
|
|
%54 = OpAccessChain %15 %27 %38
|
|
%55 = OpLoad %6 %54
|
|
%56 = OpConvertFToS %50 %55
|
|
%58 = OpAccessChain %57 %53 %14
|
|
OpStore %58 %56
|
|
%62 = OpAccessChain %15 %46 %14
|
|
%63 = OpLoad %6 %62
|
|
%64 = OpConvertFToU %13 %63
|
|
%205 = OpCompositeConstruct %122 %56 %117 %117 %117
|
|
%66 = OpIAdd %13 %64 %65
|
|
%204 = OpCompositeConstruct %114 %56 %117 %56
|
|
%68 = OpAccessChain %67 %61 %14
|
|
OpStore %68 %66
|
|
OpBranch %43
|
|
%69 = OpLabel
|
|
%202 = OpCompositeConstruct %44 %32 %32 %10 %11
|
|
%209 = OpCompositeConstruct %102 %111 %41
|
|
%75 = OpAccessChain %74 %72 %14
|
|
OpStore %75 %73
|
|
%76 = OpAccessChain %74 %72 %14
|
|
%77 = OpLoad %21 %76
|
|
%78 = OpLogicalNot %21 %77
|
|
%79 = OpAccessChain %74 %72 %18
|
|
OpStore %79 %78
|
|
%80 = OpAccessChain %74 %72 %14
|
|
%81 = OpLoad %21 %80
|
|
%82 = OpAccessChain %74 %72 %18
|
|
%83 = OpLoad %21 %82
|
|
%84 = OpLogicalAnd %21 %81 %83
|
|
%85 = OpAccessChain %74 %72 %38
|
|
OpStore %85 %84
|
|
%89 = OpAccessChain %67 %88 %14
|
|
%90 = OpLoad %13 %89
|
|
%91 = OpINotEqual %21 %90 %14
|
|
%92 = OpAccessChain %74 %72 %65
|
|
OpStore %92 %91
|
|
OpBranch %43
|
|
%43 = OpLabel
|
|
%96 = OpLoad %70 %72
|
|
%97 = OpCompositeExtract %21 %96 0
|
|
%98 = OpCompositeExtract %21 %96 1
|
|
%99 = OpCompositeExtract %21 %96 2
|
|
%100 = OpCompositeConstruct %93 %97 %98 %99
|
|
%200 = OpCompositeConstruct %7 %17 %11
|
|
OpStore %95 %100
|
|
OpBranch %24
|
|
%101 = OpLabel
|
|
%105 = OpAccessChain %67 %88 %14
|
|
%106 = OpLoad %13 %105
|
|
%107 = OpINotEqual %21 %106 %14
|
|
%108 = OpCompositeConstruct %102 %107 %107
|
|
%210 = OpCompositeConstruct %93 %108 %73
|
|
OpStore %104 %108
|
|
%211 = OpCompositeConstruct %70 %108 %108
|
|
OpBranch %24
|
|
%24 = OpLabel
|
|
%109 = OpAccessChain %74 %104 %18
|
|
%110 = OpLoad %21 %109
|
|
%112 = OpLogicalOr %21 %110 %111
|
|
%113 = OpAccessChain %74 %104 %14
|
|
OpStore %113 %112
|
|
%118 = OpAccessChain %57 %116 %14
|
|
OpStore %118 %117
|
|
%119 = OpAccessChain %57 %116 %14
|
|
%120 = OpLoad %50 %119
|
|
%121 = OpAccessChain %57 %53 %18
|
|
OpStore %121 %120
|
|
%125 = OpAccessChain %57 %116 %14
|
|
%126 = OpLoad %50 %125
|
|
%127 = OpAccessChain %57 %53 %18
|
|
%203 = OpCompositeConstruct %51 %126 %120
|
|
%128 = OpLoad %50 %127
|
|
%129 = OpIAdd %50 %126 %128
|
|
%130 = OpAccessChain %57 %124 %65
|
|
OpStore %130 %129
|
|
%134 = OpAccessChain %57 %116 %14
|
|
%135 = OpLoad %50 %134
|
|
%136 = OpBitcast %13 %135
|
|
%208 = OpCompositeConstruct %131 %14 %18 %136 %136
|
|
%137 = OpAccessChain %67 %133 %14
|
|
OpStore %137 %136
|
|
%207 = OpCompositeConstruct %59 %14 %18 %136
|
|
OpReturn
|
|
OpFunctionEnd
|
|
)";
|
|
|
|
ASSERT_TRUE(IsEqual(env, after_transformation, context.get()));
|
|
}
|
|
|
|
TEST(TransformationCompositeConstructTest, AddSynonymsForRelevantIds) {
|
|
std::string shader = R"(
|
|
OpCapability Shader
|
|
%1 = OpExtInstImport "GLSL.std.450"
|
|
OpMemoryModel Logical GLSL450
|
|
OpEntryPoint Fragment %4 "main"
|
|
OpExecutionMode %4 OriginUpperLeft
|
|
OpSource ESSL 310
|
|
%2 = OpTypeVoid
|
|
%3 = OpTypeFunction %2
|
|
%6 = OpTypeFloat 32
|
|
%7 = OpTypeVector %6 3
|
|
%8 = OpTypePointer Function %7
|
|
%10 = OpConstant %6 1
|
|
%11 = OpConstantComposite %7 %10 %10 %10
|
|
%17 = OpTypeVector %6 4
|
|
%18 = OpTypePointer Function %17
|
|
%21 = OpConstant %6 2
|
|
%32 = OpTypeMatrix %17 3
|
|
%33 = OpTypePointer Private %32
|
|
%34 = OpVariable %33 Private
|
|
%35 = OpTypeMatrix %7 4
|
|
%36 = OpTypePointer Private %35
|
|
%37 = OpVariable %36 Private
|
|
%38 = OpTypeVector %6 2
|
|
%39 = OpTypeInt 32 0
|
|
%40 = OpConstant %39 3
|
|
%41 = OpTypeArray %38 %40
|
|
%42 = OpTypePointer Private %41
|
|
%43 = OpVariable %42 Private
|
|
%100 = OpUndef %7
|
|
%101 = OpUndef %17
|
|
%4 = OpFunction %2 None %3
|
|
%5 = OpLabel
|
|
%9 = OpVariable %8 Function
|
|
%12 = OpVariable %8 Function
|
|
%14 = OpVariable %8 Function
|
|
%19 = OpVariable %18 Function
|
|
%26 = OpVariable %18 Function
|
|
%29 = OpVariable %18 Function
|
|
OpStore %9 %11
|
|
%13 = OpLoad %7 %9
|
|
OpStore %12 %13
|
|
%15 = OpLoad %7 %12
|
|
%16 = OpVectorShuffle %7 %15 %15 2 1 0
|
|
OpStore %14 %16
|
|
%20 = OpLoad %7 %14
|
|
%22 = OpCompositeExtract %6 %20 0
|
|
%23 = OpCompositeExtract %6 %20 1
|
|
%24 = OpCompositeExtract %6 %20 2
|
|
%25 = OpCompositeConstruct %17 %22 %23 %24 %21
|
|
OpStore %19 %25
|
|
%27 = OpLoad %17 %19
|
|
%28 = OpVectorShuffle %17 %27 %27 3 2 1 0
|
|
OpStore %26 %28
|
|
%30 = OpLoad %7 %9
|
|
%31 = OpVectorShuffle %17 %30 %30 0 0 1 1
|
|
OpStore %29 %31
|
|
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);
|
|
TransformationCompositeConstruct transformation(
|
|
32, {25, 28, 31}, MakeInstructionDescriptor(31, SpvOpReturn, 0), 200);
|
|
ASSERT_TRUE(
|
|
transformation.IsApplicable(context.get(), transformation_context));
|
|
ApplyAndCheckFreshIds(transformation, context.get(), &transformation_context);
|
|
ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
|
|
kConsoleMessageConsumer));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(25, {}), MakeDataDescriptor(200, {0})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(28, {}), MakeDataDescriptor(200, {1})));
|
|
}
|
|
|
|
TEST(TransformationCompositeConstructTest, DontAddSynonymsForIrrelevantIds) {
|
|
std::string shader = R"(
|
|
OpCapability Shader
|
|
%1 = OpExtInstImport "GLSL.std.450"
|
|
OpMemoryModel Logical GLSL450
|
|
OpEntryPoint Fragment %4 "main"
|
|
OpExecutionMode %4 OriginUpperLeft
|
|
OpSource ESSL 310
|
|
%2 = OpTypeVoid
|
|
%3 = OpTypeFunction %2
|
|
%6 = OpTypeFloat 32
|
|
%7 = OpTypeVector %6 3
|
|
%8 = OpTypePointer Function %7
|
|
%10 = OpConstant %6 1
|
|
%11 = OpConstantComposite %7 %10 %10 %10
|
|
%17 = OpTypeVector %6 4
|
|
%18 = OpTypePointer Function %17
|
|
%21 = OpConstant %6 2
|
|
%32 = OpTypeMatrix %17 3
|
|
%33 = OpTypePointer Private %32
|
|
%34 = OpVariable %33 Private
|
|
%35 = OpTypeMatrix %7 4
|
|
%36 = OpTypePointer Private %35
|
|
%37 = OpVariable %36 Private
|
|
%38 = OpTypeVector %6 2
|
|
%39 = OpTypeInt 32 0
|
|
%40 = OpConstant %39 3
|
|
%41 = OpTypeArray %38 %40
|
|
%42 = OpTypePointer Private %41
|
|
%43 = OpVariable %42 Private
|
|
%100 = OpUndef %7
|
|
%101 = OpUndef %17
|
|
%4 = OpFunction %2 None %3
|
|
%5 = OpLabel
|
|
%9 = OpVariable %8 Function
|
|
%12 = OpVariable %8 Function
|
|
%14 = OpVariable %8 Function
|
|
%19 = OpVariable %18 Function
|
|
%26 = OpVariable %18 Function
|
|
%29 = OpVariable %18 Function
|
|
OpStore %9 %11
|
|
%13 = OpLoad %7 %9
|
|
OpStore %12 %13
|
|
%15 = OpLoad %7 %12
|
|
%16 = OpVectorShuffle %7 %15 %15 2 1 0
|
|
OpStore %14 %16
|
|
%20 = OpLoad %7 %14
|
|
%22 = OpCompositeExtract %6 %20 0
|
|
%23 = OpCompositeExtract %6 %20 1
|
|
%24 = OpCompositeExtract %6 %20 2
|
|
%25 = OpCompositeConstruct %17 %22 %23 %24 %21
|
|
OpStore %19 %25
|
|
%27 = OpLoad %17 %19
|
|
%28 = OpVectorShuffle %17 %27 %27 3 2 1 0
|
|
OpStore %26 %28
|
|
%30 = OpLoad %7 %9
|
|
%31 = OpVectorShuffle %17 %30 %30 0 0 1 1
|
|
OpStore %29 %31
|
|
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()->AddFactIdIsIrrelevant(25);
|
|
|
|
TransformationCompositeConstruct transformation(
|
|
32, {25, 28, 31}, MakeInstructionDescriptor(31, SpvOpReturn, 0), 200);
|
|
ASSERT_TRUE(
|
|
transformation.IsApplicable(context.get(), transformation_context));
|
|
ApplyAndCheckFreshIds(transformation, context.get(), &transformation_context);
|
|
ASSERT_TRUE(fuzzerutil::IsValidAndWellFormed(context.get(), validator_options,
|
|
kConsoleMessageConsumer));
|
|
ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(25, {}), MakeDataDescriptor(200, {0})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(28, {}), MakeDataDescriptor(200, {1})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(31, {}), MakeDataDescriptor(200, {2})));
|
|
}
|
|
|
|
TEST(TransformationCompositeConstructTest, DontAddSynonymsInDeadBlock) {
|
|
std::string shader = R"(
|
|
OpCapability Shader
|
|
%1 = OpExtInstImport "GLSL.std.450"
|
|
OpMemoryModel Logical GLSL450
|
|
OpEntryPoint Fragment %4 "main"
|
|
OpExecutionMode %4 OriginUpperLeft
|
|
OpSource ESSL 320
|
|
%2 = OpTypeVoid
|
|
%3 = OpTypeFunction %2
|
|
%6 = OpTypeInt 32 1
|
|
%7 = OpTypeVector %6 2
|
|
%8 = OpTypePointer Function %7
|
|
%10 = OpConstant %6 0
|
|
%11 = OpConstant %6 1
|
|
%12 = OpConstantComposite %7 %10 %11
|
|
%13 = OpTypeBool
|
|
%14 = OpConstantFalse %13
|
|
%4 = OpFunction %2 None %3
|
|
%5 = OpLabel
|
|
%9 = OpVariable %8 Function
|
|
OpStore %9 %12
|
|
OpSelectionMerge %16 None
|
|
OpBranchConditional %14 %15 %16
|
|
%15 = OpLabel
|
|
OpBranch %16
|
|
%16 = OpLabel
|
|
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()->AddFactBlockIsDead(15);
|
|
|
|
TransformationCompositeConstruct transformation(
|
|
7, {10, 11}, MakeInstructionDescriptor(15, SpvOpBranch, 0), 100);
|
|
ASSERT_TRUE(
|
|
transformation.IsApplicable(context.get(), transformation_context));
|
|
ApplyAndCheckFreshIds(transformation, context.get(), &transformation_context);
|
|
ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(100, {0}), MakeDataDescriptor(10, {})));
|
|
ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(100, {1}), MakeDataDescriptor(11, {})));
|
|
}
|
|
|
|
TEST(TransformationCompositeConstructTest, OneIrrelevantComponent) {
|
|
std::string shader = R"(
|
|
OpCapability Shader
|
|
%1 = OpExtInstImport "GLSL.std.450"
|
|
OpMemoryModel Logical GLSL450
|
|
OpEntryPoint Fragment %4 "main"
|
|
OpExecutionMode %4 OriginUpperLeft
|
|
OpSource ESSL 320
|
|
%2 = OpTypeVoid
|
|
%3 = OpTypeFunction %2
|
|
%6 = OpTypeInt 32 1
|
|
%7 = OpTypeStruct %6 %6 %6
|
|
%8 = OpConstant %6 42
|
|
%9 = OpConstant %6 50
|
|
%10 = OpConstant %6 51
|
|
%4 = OpFunction %2 None %3
|
|
%5 = OpLabel
|
|
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()->AddFactIdIsIrrelevant(8);
|
|
|
|
TransformationCompositeConstruct transformation(
|
|
7, {8, 9, 10}, MakeInstructionDescriptor(5, SpvOpReturn, 0), 100);
|
|
ASSERT_TRUE(
|
|
transformation.IsApplicable(context.get(), transformation_context));
|
|
ApplyAndCheckFreshIds(transformation, context.get(), &transformation_context);
|
|
ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(100, {0}), MakeDataDescriptor(8, {})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(100, {1}), MakeDataDescriptor(9, {})));
|
|
ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
|
|
MakeDataDescriptor(100, {2}), MakeDataDescriptor(10, {})));
|
|
}
|
|
|
|
} // namespace
|
|
} // namespace fuzz
|
|
} // namespace spvtools
|