mirror of
https://github.com/KhronosGroup/SPIRV-Tools
synced 2024-11-30 06:50:06 +00:00
3724cfbea8
When a data synonym fact about two composites is added, data synonym facts between all sub-components of the composites are also added. Furthermore, when data synonym facts been all sub-components of two composites are known, a data synonym fact relating the two composites is added. Identification of this case is done in a lazy manner, when questions about data synonym facts are asked. The change introduces helper methods to get the size of an array type and the number of elements of a struct type, and fixes TransformationCompositeExtract to invalidate analyses appropriately.
1179 lines
50 KiB
C++
1179 lines
50 KiB
C++
// Copyright (c) 2019 Google LLC
|
|
//
|
|
// Licensed under the Apache License, Version 2.0 (the "License");
|
|
// you may not use this file except in compliance with the License.
|
|
// You may obtain a copy of the License at
|
|
//
|
|
// http://www.apache.org/licenses/LICENSE-2.0
|
|
//
|
|
// Unless required by applicable law or agreed to in writing, software
|
|
// distributed under the License is distributed on an "AS IS" BASIS,
|
|
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
// See the License for the specific language governing permissions and
|
|
// limitations under the License.
|
|
|
|
#include <limits>
|
|
|
|
#include "source/fuzz/fact_manager.h"
|
|
#include "source/fuzz/uniform_buffer_element_descriptor.h"
|
|
#include "test/fuzz/fuzz_test_util.h"
|
|
|
|
namespace spvtools {
|
|
namespace fuzz {
|
|
namespace {
|
|
|
|
using opt::analysis::BoolConstant;
|
|
using opt::analysis::FloatConstant;
|
|
using opt::analysis::IntConstant;
|
|
using opt::analysis::ScalarConstant;
|
|
|
|
using opt::analysis::Bool;
|
|
using opt::analysis::Float;
|
|
using opt::analysis::Integer;
|
|
using opt::analysis::Type;
|
|
|
|
bool AddFactHelper(
|
|
FactManager* fact_manager, opt::IRContext* context,
|
|
std::vector<uint32_t>&& words,
|
|
const protobufs::UniformBufferElementDescriptor& descriptor) {
|
|
protobufs::FactConstantUniform constant_uniform_fact;
|
|
for (auto word : words) {
|
|
constant_uniform_fact.add_constant_word(word);
|
|
}
|
|
*constant_uniform_fact.mutable_uniform_buffer_element_descriptor() =
|
|
descriptor;
|
|
protobufs::Fact fact;
|
|
*fact.mutable_constant_uniform_fact() = constant_uniform_fact;
|
|
return fact_manager->AddFact(fact, context);
|
|
}
|
|
|
|
TEST(FactManagerTest, ConstantsAvailableViaUniforms) {
|
|
std::string shader = R"(
|
|
OpCapability Shader
|
|
OpCapability Int64
|
|
OpCapability Float64
|
|
%1 = OpExtInstImport "GLSL.std.450"
|
|
OpMemoryModel Logical GLSL450
|
|
OpEntryPoint Fragment %4 "main"
|
|
OpExecutionMode %4 OriginUpperLeft
|
|
OpSource GLSL 450
|
|
OpName %4 "main"
|
|
OpDecorate %100 DescriptorSet 0
|
|
OpDecorate %100 Binding 0
|
|
OpDecorate %200 DescriptorSet 0
|
|
OpDecorate %200 Binding 1
|
|
OpDecorate %300 DescriptorSet 0
|
|
OpDecorate %300 Binding 2
|
|
OpDecorate %400 DescriptorSet 0
|
|
OpDecorate %400 Binding 3
|
|
OpDecorate %500 DescriptorSet 0
|
|
OpDecorate %500 Binding 4
|
|
OpDecorate %600 DescriptorSet 0
|
|
OpDecorate %600 Binding 5
|
|
OpDecorate %700 DescriptorSet 0
|
|
OpDecorate %700 Binding 6
|
|
OpDecorate %800 DescriptorSet 1
|
|
OpDecorate %800 Binding 0
|
|
OpDecorate %900 DescriptorSet 1
|
|
OpDecorate %900 Binding 1
|
|
OpDecorate %1000 DescriptorSet 1
|
|
OpDecorate %1000 Binding 2
|
|
OpDecorate %1100 DescriptorSet 1
|
|
OpDecorate %1100 Binding 3
|
|
OpDecorate %1200 DescriptorSet 1
|
|
OpDecorate %1200 Binding 4
|
|
OpDecorate %1300 DescriptorSet 1
|
|
OpDecorate %1300 Binding 5
|
|
OpDecorate %1400 DescriptorSet 1
|
|
OpDecorate %1400 Binding 6
|
|
OpDecorate %1500 DescriptorSet 2
|
|
OpDecorate %1500 Binding 0
|
|
OpDecorate %1600 DescriptorSet 2
|
|
OpDecorate %1600 Binding 1
|
|
OpDecorate %1700 DescriptorSet 2
|
|
OpDecorate %1700 Binding 2
|
|
OpDecorate %1800 DescriptorSet 2
|
|
OpDecorate %1800 Binding 3
|
|
OpDecorate %1900 DescriptorSet 2
|
|
OpDecorate %1900 Binding 4
|
|
%2 = OpTypeVoid
|
|
%3 = OpTypeFunction %2
|
|
%10 = OpTypeInt 32 0
|
|
%11 = OpTypeInt 32 1
|
|
%12 = OpTypeInt 64 0
|
|
%13 = OpTypeInt 64 1
|
|
%15 = OpTypeFloat 32
|
|
%16 = OpTypeFloat 64
|
|
%17 = OpConstant %11 5
|
|
%18 = OpConstant %11 20
|
|
%19 = OpTypeVector %10 4
|
|
%20 = OpConstant %11 6
|
|
%21 = OpTypeVector %12 4
|
|
%22 = OpConstant %11 10
|
|
%23 = OpTypeVector %11 4
|
|
|
|
%102 = OpTypeStruct %10 %10 %23
|
|
%101 = OpTypePointer Uniform %102
|
|
%100 = OpVariable %101 Uniform
|
|
|
|
%203 = OpTypeArray %23 %17
|
|
%202 = OpTypeArray %203 %18
|
|
%201 = OpTypePointer Uniform %202
|
|
%200 = OpVariable %201 Uniform
|
|
|
|
%305 = OpTypeStruct %16 %16 %16 %11 %16
|
|
%304 = OpTypeStruct %16 %16 %305
|
|
%303 = OpTypeStruct %304
|
|
%302 = OpTypeStruct %10 %303
|
|
%301 = OpTypePointer Uniform %302
|
|
%300 = OpVariable %301 Uniform
|
|
|
|
%400 = OpVariable %101 Uniform
|
|
|
|
%500 = OpVariable %201 Uniform
|
|
|
|
%604 = OpTypeArray %13 %20
|
|
%603 = OpTypeArray %604 %20
|
|
%602 = OpTypeArray %603 %20
|
|
%601 = OpTypePointer Uniform %602
|
|
%600 = OpVariable %601 Uniform
|
|
|
|
%703 = OpTypeArray %13 %20
|
|
%702 = OpTypeArray %703 %20
|
|
%701 = OpTypePointer Uniform %702
|
|
%700 = OpVariable %701 Uniform
|
|
|
|
%802 = OpTypeStruct %702 %602 %19 %202 %302
|
|
%801 = OpTypePointer Uniform %802
|
|
%800 = OpVariable %801 Uniform
|
|
|
|
%902 = OpTypeStruct %702 %802 %19 %202 %302
|
|
%901 = OpTypePointer Uniform %902
|
|
%900 = OpVariable %901 Uniform
|
|
|
|
%1003 = OpTypeStruct %802
|
|
%1002 = OpTypeArray %1003 %20
|
|
%1001 = OpTypePointer Uniform %1002
|
|
%1000 = OpVariable %1001 Uniform
|
|
|
|
%1101 = OpTypePointer Uniform %21
|
|
%1100 = OpVariable %1101 Uniform
|
|
|
|
%1202 = OpTypeArray %21 %20
|
|
%1201 = OpTypePointer Uniform %1202
|
|
%1200 = OpVariable %1201 Uniform
|
|
|
|
%1302 = OpTypeArray %21 %20
|
|
%1301 = OpTypePointer Uniform %1302
|
|
%1300 = OpVariable %1301 Uniform
|
|
|
|
%1402 = OpTypeArray %15 %22
|
|
%1401 = OpTypePointer Uniform %1402
|
|
%1400 = OpVariable %1401 Uniform
|
|
|
|
%1501 = OpTypePointer Uniform %1402
|
|
%1500 = OpVariable %1501 Uniform
|
|
|
|
%1602 = OpTypeArray %1402 %22
|
|
%1601 = OpTypePointer Uniform %1602
|
|
%1600 = OpVariable %1601 Uniform
|
|
|
|
%1704 = OpTypeStruct %16 %16 %16
|
|
%1703 = OpTypeArray %1704 %22
|
|
%1702 = OpTypeArray %1703 %22
|
|
%1701 = OpTypePointer Uniform %1702
|
|
%1700 = OpVariable %1701 Uniform
|
|
|
|
%1800 = OpVariable %1701 Uniform
|
|
|
|
%1906 = OpTypeStruct %16
|
|
%1905 = OpTypeStruct %1906
|
|
%1904 = OpTypeStruct %1905
|
|
%1903 = OpTypeStruct %1904
|
|
%1902 = OpTypeStruct %1903
|
|
%1901 = OpTypePointer Uniform %1902
|
|
%1900 = OpVariable %1901 Uniform
|
|
|
|
%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);
|
|
ASSERT_TRUE(IsValid(env, context.get()));
|
|
|
|
uint32_t buffer_int32_min[1];
|
|
uint32_t buffer_int64_1[2];
|
|
uint32_t buffer_int64_max[2];
|
|
uint32_t buffer_uint64_1[2];
|
|
uint32_t buffer_uint64_max[2];
|
|
uint32_t buffer_float_10[1];
|
|
uint32_t buffer_double_10[2];
|
|
uint32_t buffer_double_20[2];
|
|
|
|
{
|
|
int32_t temp = std::numeric_limits<int32_t>::min();
|
|
std::memcpy(&buffer_int32_min, &temp, sizeof(temp));
|
|
}
|
|
|
|
{
|
|
int64_t temp = 1;
|
|
std::memcpy(&buffer_int64_1, &temp, sizeof(temp));
|
|
}
|
|
|
|
{
|
|
int64_t temp = std::numeric_limits<int64_t>::max();
|
|
std::memcpy(&buffer_int64_max, &temp, sizeof(temp));
|
|
}
|
|
|
|
{
|
|
uint64_t temp = 1;
|
|
std::memcpy(&buffer_uint64_1, &temp, sizeof(temp));
|
|
}
|
|
|
|
{
|
|
uint64_t temp = std::numeric_limits<uint64_t>::max();
|
|
std::memcpy(&buffer_uint64_max, &temp, sizeof(temp));
|
|
}
|
|
|
|
{
|
|
float temp = 10.0f;
|
|
std::memcpy(&buffer_float_10, &temp, sizeof(float));
|
|
}
|
|
|
|
{
|
|
double temp = 10.0;
|
|
std::memcpy(&buffer_double_10, &temp, sizeof(temp));
|
|
}
|
|
|
|
{
|
|
double temp = 20.0;
|
|
std::memcpy(&buffer_double_20, &temp, sizeof(temp));
|
|
}
|
|
|
|
FactManager fact_manager;
|
|
|
|
uint32_t type_int32_id = 11;
|
|
uint32_t type_int64_id = 13;
|
|
uint32_t type_uint32_id = 10;
|
|
uint32_t type_uint64_id = 12;
|
|
uint32_t type_float_id = 15;
|
|
uint32_t type_double_id = 16;
|
|
|
|
// Initially there should be no facts about uniforms.
|
|
ASSERT_TRUE(fact_manager
|
|
.GetConstantsAvailableFromUniformsForType(context.get(),
|
|
type_uint32_id)
|
|
.empty());
|
|
|
|
// In the comments that follow we write v[...][...] to refer to uniform
|
|
// variable v indexed with some given indices, when in practice v is
|
|
// identified via a (descriptor set, binding) pair.
|
|
|
|
// 100[2][3] == int(1)
|
|
ASSERT_TRUE(AddFactHelper(&fact_manager, context.get(), {1},
|
|
MakeUniformBufferElementDescriptor(0, 0, {2, 3})));
|
|
|
|
// 200[1][2][3] == int(1)
|
|
ASSERT_TRUE(
|
|
AddFactHelper(&fact_manager, context.get(), {1},
|
|
MakeUniformBufferElementDescriptor(0, 1, {1, 2, 3})));
|
|
|
|
// 300[1][0][2][3] == int(1)
|
|
ASSERT_TRUE(
|
|
AddFactHelper(&fact_manager, context.get(), {1},
|
|
MakeUniformBufferElementDescriptor(0, 2, {1, 0, 2, 3})));
|
|
|
|
// 400[2][3] = int32_min
|
|
ASSERT_TRUE(AddFactHelper(&fact_manager, context.get(), {buffer_int32_min[0]},
|
|
MakeUniformBufferElementDescriptor(0, 3, {2, 3})));
|
|
|
|
// 500[1][2][3] = int32_min
|
|
ASSERT_TRUE(
|
|
AddFactHelper(&fact_manager, context.get(), {buffer_int32_min[0]},
|
|
MakeUniformBufferElementDescriptor(0, 4, {1, 2, 3})));
|
|
|
|
// 600[1][2][3] = int64_max
|
|
ASSERT_TRUE(AddFactHelper(
|
|
&fact_manager, context.get(), {buffer_int64_max[0], buffer_int64_max[1]},
|
|
MakeUniformBufferElementDescriptor(0, 5, {1, 2, 3})));
|
|
|
|
// 700[1][1] = int64_max
|
|
ASSERT_TRUE(AddFactHelper(&fact_manager, context.get(),
|
|
{buffer_int64_max[0], buffer_int64_max[1]},
|
|
MakeUniformBufferElementDescriptor(0, 6, {1, 1})));
|
|
|
|
// 800[2][3] = uint(1)
|
|
ASSERT_TRUE(AddFactHelper(&fact_manager, context.get(), {1},
|
|
MakeUniformBufferElementDescriptor(1, 0, {2, 3})));
|
|
|
|
// 900[1][2][3] = uint(1)
|
|
ASSERT_TRUE(
|
|
AddFactHelper(&fact_manager, context.get(), {1},
|
|
MakeUniformBufferElementDescriptor(1, 1, {1, 2, 3})));
|
|
|
|
// 1000[1][0][2][3] = uint(1)
|
|
ASSERT_TRUE(
|
|
AddFactHelper(&fact_manager, context.get(), {1},
|
|
MakeUniformBufferElementDescriptor(1, 2, {1, 0, 2, 3})));
|
|
|
|
// 1100[0] = uint64(1)
|
|
ASSERT_TRUE(AddFactHelper(&fact_manager, context.get(),
|
|
{buffer_uint64_1[0], buffer_uint64_1[1]},
|
|
MakeUniformBufferElementDescriptor(1, 3, {0})));
|
|
|
|
// 1200[0][0] = uint64_max
|
|
ASSERT_TRUE(AddFactHelper(&fact_manager, context.get(),
|
|
{buffer_uint64_max[0], buffer_uint64_max[1]},
|
|
MakeUniformBufferElementDescriptor(1, 4, {0, 0})));
|
|
|
|
// 1300[1][0] = uint64_max
|
|
ASSERT_TRUE(AddFactHelper(&fact_manager, context.get(),
|
|
{buffer_uint64_max[0], buffer_uint64_max[1]},
|
|
MakeUniformBufferElementDescriptor(1, 5, {1, 0})));
|
|
|
|
// 1400[6] = float(10.0)
|
|
ASSERT_TRUE(AddFactHelper(&fact_manager, context.get(), {buffer_float_10[0]},
|
|
MakeUniformBufferElementDescriptor(1, 6, {6})));
|
|
|
|
// 1500[7] = float(10.0)
|
|
ASSERT_TRUE(AddFactHelper(&fact_manager, context.get(), {buffer_float_10[0]},
|
|
MakeUniformBufferElementDescriptor(2, 0, {7})));
|
|
|
|
// 1600[9][9] = float(10.0)
|
|
ASSERT_TRUE(AddFactHelper(&fact_manager, context.get(), {buffer_float_10[0]},
|
|
MakeUniformBufferElementDescriptor(2, 1, {9, 9})));
|
|
|
|
// 1700[9][9][1] = double(10.0)
|
|
ASSERT_TRUE(AddFactHelper(
|
|
&fact_manager, context.get(), {buffer_double_10[0], buffer_double_10[1]},
|
|
MakeUniformBufferElementDescriptor(2, 2, {9, 9, 1})));
|
|
|
|
// 1800[9][9][2] = double(10.0)
|
|
ASSERT_TRUE(AddFactHelper(
|
|
&fact_manager, context.get(), {buffer_double_10[0], buffer_double_10[1]},
|
|
MakeUniformBufferElementDescriptor(2, 3, {9, 9, 2})));
|
|
|
|
// 1900[0][0][0][0][0] = double(20.0)
|
|
ASSERT_TRUE(AddFactHelper(
|
|
&fact_manager, context.get(), {buffer_double_20[0], buffer_double_20[1]},
|
|
MakeUniformBufferElementDescriptor(2, 4, {0, 0, 0, 0, 0})));
|
|
|
|
opt::Instruction::OperandList operands = {
|
|
{SPV_OPERAND_TYPE_LITERAL_INTEGER, {1}}};
|
|
context->module()->AddGlobalValue(MakeUnique<opt::Instruction>(
|
|
context.get(), SpvOpConstant, type_int32_id, 50, operands));
|
|
operands = {{SPV_OPERAND_TYPE_LITERAL_INTEGER, {buffer_int32_min[0]}}};
|
|
context->module()->AddGlobalValue(MakeUnique<opt::Instruction>(
|
|
context.get(), SpvOpConstant, type_int32_id, 51, operands));
|
|
operands = {{SPV_OPERAND_TYPE_LITERAL_INTEGER, {buffer_int64_max[0]}},
|
|
{SPV_OPERAND_TYPE_LITERAL_INTEGER, {buffer_int64_max[1]}}};
|
|
context->module()->AddGlobalValue(MakeUnique<opt::Instruction>(
|
|
context.get(), SpvOpConstant, type_int64_id, 52, operands));
|
|
operands = {{SPV_OPERAND_TYPE_LITERAL_INTEGER, {1}}};
|
|
context->module()->AddGlobalValue(MakeUnique<opt::Instruction>(
|
|
context.get(), SpvOpConstant, type_uint32_id, 53, operands));
|
|
operands = {{SPV_OPERAND_TYPE_LITERAL_INTEGER, {buffer_uint64_1[0]}},
|
|
{SPV_OPERAND_TYPE_LITERAL_INTEGER, {buffer_uint64_1[1]}}};
|
|
context->module()->AddGlobalValue(MakeUnique<opt::Instruction>(
|
|
context.get(), SpvOpConstant, type_uint64_id, 54, operands));
|
|
operands = {{SPV_OPERAND_TYPE_LITERAL_INTEGER, {buffer_uint64_max[0]}},
|
|
{SPV_OPERAND_TYPE_LITERAL_INTEGER, {buffer_uint64_max[1]}}};
|
|
context->module()->AddGlobalValue(MakeUnique<opt::Instruction>(
|
|
context.get(), SpvOpConstant, type_uint64_id, 55, operands));
|
|
operands = {{SPV_OPERAND_TYPE_LITERAL_INTEGER, {buffer_float_10[0]}}};
|
|
context->module()->AddGlobalValue(MakeUnique<opt::Instruction>(
|
|
context.get(), SpvOpConstant, type_float_id, 56, operands));
|
|
operands = {{SPV_OPERAND_TYPE_LITERAL_INTEGER, {buffer_double_10[0]}},
|
|
{SPV_OPERAND_TYPE_LITERAL_INTEGER, {buffer_double_10[1]}}};
|
|
context->module()->AddGlobalValue(MakeUnique<opt::Instruction>(
|
|
context.get(), SpvOpConstant, type_double_id, 57, operands));
|
|
operands = {{SPV_OPERAND_TYPE_LITERAL_INTEGER, {buffer_double_20[0]}},
|
|
{SPV_OPERAND_TYPE_LITERAL_INTEGER, {buffer_double_20[1]}}};
|
|
context->module()->AddGlobalValue(MakeUnique<opt::Instruction>(
|
|
context.get(), SpvOpConstant, type_double_id, 58, operands));
|
|
|
|
// A duplicate of the constant with id 59.
|
|
operands = {{SPV_OPERAND_TYPE_LITERAL_INTEGER, {1}}};
|
|
context->module()->AddGlobalValue(MakeUnique<opt::Instruction>(
|
|
context.get(), SpvOpConstant, type_int32_id, 59, operands));
|
|
|
|
context->InvalidateAnalysesExceptFor(opt::IRContext::Analysis::kAnalysisNone);
|
|
|
|
// Constants 1 and int32_min are available.
|
|
ASSERT_EQ(2, fact_manager
|
|
.GetConstantsAvailableFromUniformsForType(context.get(),
|
|
type_int32_id)
|
|
.size());
|
|
// Constant int64_max is available.
|
|
ASSERT_EQ(1, fact_manager
|
|
.GetConstantsAvailableFromUniformsForType(context.get(),
|
|
type_int64_id)
|
|
.size());
|
|
// Constant 1u is available.
|
|
ASSERT_EQ(1, fact_manager
|
|
.GetConstantsAvailableFromUniformsForType(context.get(),
|
|
type_uint32_id)
|
|
.size());
|
|
// Constants 1u and uint64_max are available.
|
|
ASSERT_EQ(2, fact_manager
|
|
.GetConstantsAvailableFromUniformsForType(context.get(),
|
|
type_uint64_id)
|
|
.size());
|
|
// Constant 10.0 is available.
|
|
ASSERT_EQ(1, fact_manager
|
|
.GetConstantsAvailableFromUniformsForType(context.get(),
|
|
type_float_id)
|
|
.size());
|
|
// Constants 10.0 and 20.0 are available.
|
|
ASSERT_EQ(2, fact_manager
|
|
.GetConstantsAvailableFromUniformsForType(context.get(),
|
|
type_double_id)
|
|
.size());
|
|
|
|
ASSERT_EQ(std::numeric_limits<int64_t>::max(),
|
|
context->get_constant_mgr()
|
|
->FindDeclaredConstant(
|
|
fact_manager.GetConstantsAvailableFromUniformsForType(
|
|
context.get(), type_int64_id)[0])
|
|
->AsIntConstant()
|
|
->GetS64());
|
|
ASSERT_EQ(1, context->get_constant_mgr()
|
|
->FindDeclaredConstant(
|
|
fact_manager.GetConstantsAvailableFromUniformsForType(
|
|
context.get(), type_uint32_id)[0])
|
|
->AsIntConstant()
|
|
->GetU32());
|
|
ASSERT_EQ(10.0f,
|
|
context->get_constant_mgr()
|
|
->FindDeclaredConstant(
|
|
fact_manager.GetConstantsAvailableFromUniformsForType(
|
|
context.get(), type_float_id)[0])
|
|
->AsFloatConstant()
|
|
->GetFloat());
|
|
const std::vector<uint32_t>& double_constant_ids =
|
|
fact_manager.GetConstantsAvailableFromUniformsForType(context.get(),
|
|
type_double_id);
|
|
ASSERT_EQ(10.0, context->get_constant_mgr()
|
|
->FindDeclaredConstant(double_constant_ids[0])
|
|
->AsFloatConstant()
|
|
->GetDouble());
|
|
ASSERT_EQ(20.0, context->get_constant_mgr()
|
|
->FindDeclaredConstant(double_constant_ids[1])
|
|
->AsFloatConstant()
|
|
->GetDouble());
|
|
|
|
const std::vector<protobufs::UniformBufferElementDescriptor>
|
|
descriptors_for_double_10 = fact_manager.GetUniformDescriptorsForConstant(
|
|
context.get(), double_constant_ids[0]);
|
|
ASSERT_EQ(2, descriptors_for_double_10.size());
|
|
{
|
|
auto temp = MakeUniformBufferElementDescriptor(2, 2, {9, 9, 1});
|
|
ASSERT_TRUE(UniformBufferElementDescriptorEquals()(
|
|
&temp, &descriptors_for_double_10[0]));
|
|
}
|
|
{
|
|
auto temp = MakeUniformBufferElementDescriptor(2, 3, {9, 9, 2});
|
|
ASSERT_TRUE(UniformBufferElementDescriptorEquals()(
|
|
&temp, &descriptors_for_double_10[1]));
|
|
}
|
|
const std::vector<protobufs::UniformBufferElementDescriptor>
|
|
descriptors_for_double_20 = fact_manager.GetUniformDescriptorsForConstant(
|
|
context.get(), double_constant_ids[1]);
|
|
ASSERT_EQ(1, descriptors_for_double_20.size());
|
|
{
|
|
auto temp = MakeUniformBufferElementDescriptor(2, 4, {0, 0, 0, 0, 0});
|
|
ASSERT_TRUE(UniformBufferElementDescriptorEquals()(
|
|
&temp, &descriptors_for_double_20[0]));
|
|
}
|
|
|
|
auto constant_1_id = fact_manager.GetConstantFromUniformDescriptor(
|
|
context.get(), MakeUniformBufferElementDescriptor(2, 3, {9, 9, 2}));
|
|
ASSERT_TRUE(constant_1_id);
|
|
|
|
auto constant_2_id = fact_manager.GetConstantFromUniformDescriptor(
|
|
context.get(), MakeUniformBufferElementDescriptor(2, 4, {0, 0, 0, 0, 0}));
|
|
ASSERT_TRUE(constant_2_id);
|
|
|
|
ASSERT_EQ(double_constant_ids[0], constant_1_id);
|
|
|
|
ASSERT_EQ(double_constant_ids[1], constant_2_id);
|
|
}
|
|
|
|
TEST(FactManagerTest, TwoConstantsWithSameValue) {
|
|
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 "x"
|
|
OpName %10 "buf"
|
|
OpMemberName %10 0 "a"
|
|
OpName %12 ""
|
|
OpDecorate %8 RelaxedPrecision
|
|
OpMemberDecorate %10 0 RelaxedPrecision
|
|
OpMemberDecorate %10 0 Offset 0
|
|
OpDecorate %10 Block
|
|
OpDecorate %12 DescriptorSet 0
|
|
OpDecorate %12 Binding 0
|
|
%2 = OpTypeVoid
|
|
%3 = OpTypeFunction %2
|
|
%6 = OpTypeInt 32 1
|
|
%7 = OpTypePointer Function %6
|
|
%9 = OpConstant %6 1
|
|
%20 = OpConstant %6 1
|
|
%10 = OpTypeStruct %6
|
|
%11 = OpTypePointer Uniform %10
|
|
%12 = OpVariable %11 Uniform
|
|
%4 = OpFunction %2 None %3
|
|
%5 = OpLabel
|
|
%8 = OpVariable %7 Function
|
|
OpStore %8 %9
|
|
OpReturn
|
|
OpFunctionEnd
|
|
)";
|
|
|
|
const auto env = SPV_ENV_UNIVERSAL_1_3;
|
|
const auto consumer = nullptr;
|
|
const auto context = BuildModule(env, consumer, shader, kFuzzAssembleOption);
|
|
ASSERT_TRUE(IsValid(env, context.get()));
|
|
|
|
FactManager fact_manager;
|
|
|
|
auto uniform_buffer_element_descriptor =
|
|
MakeUniformBufferElementDescriptor(0, 0, {0});
|
|
|
|
// (0, 0, [0]) = int(1)
|
|
ASSERT_TRUE(AddFactHelper(&fact_manager, context.get(), {1},
|
|
uniform_buffer_element_descriptor));
|
|
auto constants =
|
|
fact_manager.GetConstantsAvailableFromUniformsForType(context.get(), 6);
|
|
ASSERT_EQ(1, constants.size());
|
|
ASSERT_TRUE(constants[0] == 9 || constants[0] == 20);
|
|
|
|
auto constant = fact_manager.GetConstantFromUniformDescriptor(
|
|
context.get(), uniform_buffer_element_descriptor);
|
|
ASSERT_TRUE(constant == 9 || constant == 20);
|
|
|
|
// Because the constants with ids 9 and 20 are equal, we should get the same
|
|
// single uniform buffer element descriptor when we look up the descriptors
|
|
// for either one of them.
|
|
for (auto constant_id : {9u, 20u}) {
|
|
auto descriptors = fact_manager.GetUniformDescriptorsForConstant(
|
|
context.get(), constant_id);
|
|
ASSERT_EQ(1, descriptors.size());
|
|
ASSERT_TRUE(UniformBufferElementDescriptorEquals()(
|
|
&uniform_buffer_element_descriptor, &descriptors[0]));
|
|
}
|
|
}
|
|
|
|
TEST(FactManagerTest, NonFiniteFactsAreNotValid) {
|
|
std::string shader = R"(
|
|
OpCapability Shader
|
|
OpCapability Float64
|
|
%1 = OpExtInstImport "GLSL.std.450"
|
|
OpMemoryModel Logical GLSL450
|
|
OpEntryPoint Fragment %4 "main"
|
|
OpExecutionMode %4 OriginUpperLeft
|
|
OpSource ESSL 310
|
|
OpName %4 "main"
|
|
OpName %7 "buf"
|
|
OpMemberName %7 0 "f"
|
|
OpMemberName %7 1 "d"
|
|
OpName %9 ""
|
|
OpMemberDecorate %7 0 Offset 0
|
|
OpMemberDecorate %7 1 Offset 8
|
|
OpDecorate %7 Block
|
|
OpDecorate %9 DescriptorSet 0
|
|
OpDecorate %9 Binding 0
|
|
%2 = OpTypeVoid
|
|
%3 = OpTypeFunction %2
|
|
%6 = OpTypeFloat 32
|
|
%10 = OpTypeFloat 64
|
|
%7 = OpTypeStruct %6 %10
|
|
%8 = OpTypePointer Uniform %7
|
|
%9 = OpVariable %8 Uniform
|
|
%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);
|
|
ASSERT_TRUE(IsValid(env, context.get()));
|
|
|
|
FactManager fact_manager;
|
|
auto uniform_buffer_element_descriptor_f =
|
|
MakeUniformBufferElementDescriptor(0, 0, {0});
|
|
|
|
auto uniform_buffer_element_descriptor_d =
|
|
MakeUniformBufferElementDescriptor(0, 0, {1});
|
|
|
|
if (std::numeric_limits<float>::has_infinity) {
|
|
// f == +inf
|
|
float positive_infinity_float = std::numeric_limits<float>::infinity();
|
|
uint32_t words[1];
|
|
memcpy(words, &positive_infinity_float, sizeof(float));
|
|
ASSERT_FALSE(AddFactHelper(&fact_manager, context.get(), {words[0]},
|
|
uniform_buffer_element_descriptor_f));
|
|
// f == -inf
|
|
float negative_infinity_float = std::numeric_limits<float>::infinity();
|
|
memcpy(words, &negative_infinity_float, sizeof(float));
|
|
ASSERT_FALSE(AddFactHelper(&fact_manager, context.get(), {words[0]},
|
|
uniform_buffer_element_descriptor_f));
|
|
}
|
|
|
|
if (std::numeric_limits<float>::has_quiet_NaN) {
|
|
// f == NaN
|
|
float quiet_nan_float = std::numeric_limits<float>::quiet_NaN();
|
|
uint32_t words[1];
|
|
memcpy(words, &quiet_nan_float, sizeof(float));
|
|
ASSERT_FALSE(AddFactHelper(&fact_manager, context.get(), {words[0]},
|
|
uniform_buffer_element_descriptor_f));
|
|
}
|
|
|
|
if (std::numeric_limits<double>::has_infinity) {
|
|
// d == +inf
|
|
double positive_infinity_double = std::numeric_limits<double>::infinity();
|
|
uint32_t words[2];
|
|
memcpy(words, &positive_infinity_double, sizeof(double));
|
|
ASSERT_FALSE(AddFactHelper(&fact_manager, context.get(),
|
|
{words[0], words[1]},
|
|
uniform_buffer_element_descriptor_d));
|
|
// d == -inf
|
|
double negative_infinity_double = -std::numeric_limits<double>::infinity();
|
|
memcpy(words, &negative_infinity_double, sizeof(double));
|
|
ASSERT_FALSE(AddFactHelper(&fact_manager, context.get(),
|
|
{words[0], words[1]},
|
|
uniform_buffer_element_descriptor_d));
|
|
}
|
|
|
|
if (std::numeric_limits<double>::has_quiet_NaN) {
|
|
// d == NaN
|
|
double quiet_nan_double = std::numeric_limits<double>::quiet_NaN();
|
|
uint32_t words[2];
|
|
memcpy(words, &quiet_nan_double, sizeof(double));
|
|
ASSERT_FALSE(AddFactHelper(&fact_manager, context.get(),
|
|
{words[0], words[1]},
|
|
uniform_buffer_element_descriptor_d));
|
|
}
|
|
}
|
|
|
|
TEST(FactManagerTest, AmbiguousFact) {
|
|
// This test came from the following GLSL:
|
|
//
|
|
// #version 310 es
|
|
//
|
|
// precision highp float;
|
|
//
|
|
// layout(set = 0, binding = 0) uniform buf {
|
|
// float f;
|
|
// };
|
|
//
|
|
// layout(set = 0, binding = 0) uniform buf2 {
|
|
// float g;
|
|
// };
|
|
//
|
|
// void main() {
|
|
//
|
|
// }
|
|
|
|
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 %7 "buf"
|
|
OpMemberName %7 0 "f"
|
|
OpName %9 ""
|
|
OpName %10 "buf2"
|
|
OpMemberName %10 0 "g"
|
|
OpName %12 ""
|
|
OpMemberDecorate %7 0 Offset 0
|
|
OpDecorate %7 Block
|
|
OpDecorate %9 DescriptorSet 0
|
|
OpDecorate %9 Binding 0
|
|
OpMemberDecorate %10 0 Offset 0
|
|
OpDecorate %10 Block
|
|
OpDecorate %12 DescriptorSet 0
|
|
OpDecorate %12 Binding 0
|
|
%2 = OpTypeVoid
|
|
%3 = OpTypeFunction %2
|
|
%6 = OpTypeFloat 32
|
|
%7 = OpTypeStruct %6
|
|
%8 = OpTypePointer Uniform %7
|
|
%9 = OpVariable %8 Uniform
|
|
%10 = OpTypeStruct %6
|
|
%11 = OpTypePointer Uniform %10
|
|
%12 = OpVariable %11 Uniform
|
|
%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);
|
|
ASSERT_TRUE(IsValid(env, context.get()));
|
|
|
|
FactManager fact_manager;
|
|
auto uniform_buffer_element_descriptor =
|
|
MakeUniformBufferElementDescriptor(0, 0, {0});
|
|
|
|
// The fact cannot be added because it is ambiguous: there are two uniforms
|
|
// with descriptor set 0 and binding 0.
|
|
ASSERT_FALSE(AddFactHelper(&fact_manager, context.get(), {1},
|
|
uniform_buffer_element_descriptor));
|
|
}
|
|
|
|
TEST(FactManagerTest, DataSynonymFacts) {
|
|
// The SPIR-V types and constants come from the following code. The body of
|
|
// the SPIR-V function then constructs a composite that is synonymous with
|
|
// myT.
|
|
//
|
|
// #version 310 es
|
|
//
|
|
// precision highp float;
|
|
//
|
|
// struct S {
|
|
// int a;
|
|
// uvec2 b;
|
|
// };
|
|
//
|
|
// struct T {
|
|
// bool c[5];
|
|
// mat4x2 d;
|
|
// S e;
|
|
// };
|
|
//
|
|
// void main() {
|
|
// T myT = T(bool[5](true, false, true, false, true),
|
|
// mat4x2(vec2(1.0, 2.0), vec2(3.0, 4.0),
|
|
// vec2(5.0, 6.0), vec2(7.0, 8.0)),
|
|
// S(10, uvec2(100u, 200u)));
|
|
// }
|
|
|
|
std::string shader = R"(
|
|
OpCapability Shader
|
|
%1 = OpExtInstImport "GLSL.std.450"
|
|
OpMemoryModel Logical GLSL450
|
|
OpEntryPoint Fragment %4 "main"
|
|
OpExecutionMode %4 OriginUpperLeft
|
|
OpSource ESSL 310
|
|
OpName %4 "main"
|
|
OpName %15 "S"
|
|
OpMemberName %15 0 "a"
|
|
OpMemberName %15 1 "b"
|
|
OpName %16 "T"
|
|
OpMemberName %16 0 "c"
|
|
OpMemberName %16 1 "d"
|
|
OpMemberName %16 2 "e"
|
|
OpName %18 "myT"
|
|
OpMemberDecorate %15 0 RelaxedPrecision
|
|
OpMemberDecorate %15 1 RelaxedPrecision
|
|
%2 = OpTypeVoid
|
|
%3 = OpTypeFunction %2
|
|
%6 = OpTypeBool
|
|
%7 = OpTypeInt 32 0
|
|
%8 = OpConstant %7 5
|
|
%9 = OpTypeArray %6 %8
|
|
%10 = OpTypeFloat 32
|
|
%11 = OpTypeVector %10 2
|
|
%12 = OpTypeMatrix %11 4
|
|
%13 = OpTypeInt 32 1
|
|
%14 = OpTypeVector %7 2
|
|
%15 = OpTypeStruct %13 %14
|
|
%16 = OpTypeStruct %9 %12 %15
|
|
%17 = OpTypePointer Function %16
|
|
%19 = OpConstantTrue %6
|
|
%20 = OpConstantFalse %6
|
|
%21 = OpConstantComposite %9 %19 %20 %19 %20 %19
|
|
%22 = OpConstant %10 1
|
|
%23 = OpConstant %10 2
|
|
%24 = OpConstantComposite %11 %22 %23
|
|
%25 = OpConstant %10 3
|
|
%26 = OpConstant %10 4
|
|
%27 = OpConstantComposite %11 %25 %26
|
|
%28 = OpConstant %10 5
|
|
%29 = OpConstant %10 6
|
|
%30 = OpConstantComposite %11 %28 %29
|
|
%31 = OpConstant %10 7
|
|
%32 = OpConstant %10 8
|
|
%33 = OpConstantComposite %11 %31 %32
|
|
%34 = OpConstantComposite %12 %24 %27 %30 %33
|
|
%35 = OpConstant %13 10
|
|
%36 = OpConstant %7 100
|
|
%37 = OpConstant %7 200
|
|
%38 = OpConstantComposite %14 %36 %37
|
|
%39 = OpConstantComposite %15 %35 %38
|
|
%40 = OpConstantComposite %16 %21 %34 %39
|
|
%4 = OpFunction %2 None %3
|
|
%5 = OpLabel
|
|
%18 = OpVariable %17 Function
|
|
OpStore %18 %40
|
|
%100 = OpCompositeConstruct %9 %19 %20 %19 %20 %19
|
|
%101 = OpCompositeConstruct %11 %22 %23
|
|
%102 = OpCompositeConstruct %11 %25 %26
|
|
%103 = OpCompositeConstruct %11 %28 %29
|
|
%104 = OpCompositeConstruct %11 %31 %32
|
|
%105 = OpCompositeConstruct %12 %101 %102 %103 %104
|
|
%106 = OpCompositeConstruct %14 %36 %37
|
|
%107 = OpCompositeConstruct %15 %35 %106
|
|
%108 = OpCompositeConstruct %16 %100 %105 %107
|
|
OpReturn
|
|
OpFunctionEnd
|
|
)";
|
|
|
|
const auto env = SPV_ENV_UNIVERSAL_1_3;
|
|
const auto consumer = nullptr;
|
|
const auto context = BuildModule(env, consumer, shader, kFuzzAssembleOption);
|
|
ASSERT_TRUE(IsValid(env, context.get()));
|
|
|
|
FactManager fact_manager;
|
|
|
|
ASSERT_FALSE(fact_manager.IsSynonymous(
|
|
MakeDataDescriptor(24, {}), MakeDataDescriptor(101, {}), context.get()));
|
|
ASSERT_FALSE(fact_manager.IsSynonymous(MakeDataDescriptor(24, {0}),
|
|
MakeDataDescriptor(101, {0}),
|
|
context.get()));
|
|
ASSERT_FALSE(fact_manager.IsSynonymous(MakeDataDescriptor(24, {1}),
|
|
MakeDataDescriptor(101, {1}),
|
|
context.get()));
|
|
ASSERT_FALSE(fact_manager.IsSynonymous(MakeDataDescriptor(24, {0}),
|
|
MakeDataDescriptor(101, {1}),
|
|
context.get()));
|
|
|
|
fact_manager.AddFactDataSynonym(MakeDataDescriptor(24, {}),
|
|
MakeDataDescriptor(101, {}), context.get());
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(
|
|
MakeDataDescriptor(24, {}), MakeDataDescriptor(101, {}), context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(24, {0}),
|
|
MakeDataDescriptor(101, {0}),
|
|
context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(24, {1}),
|
|
MakeDataDescriptor(101, {1}),
|
|
context.get()));
|
|
ASSERT_FALSE(fact_manager.IsSynonymous(MakeDataDescriptor(24, {0}),
|
|
MakeDataDescriptor(101, {1}),
|
|
context.get()));
|
|
|
|
ASSERT_FALSE(fact_manager.IsSynonymous(
|
|
MakeDataDescriptor(27, {}), MakeDataDescriptor(102, {}), context.get()));
|
|
ASSERT_FALSE(fact_manager.IsSynonymous(MakeDataDescriptor(27, {0}),
|
|
MakeDataDescriptor(102, {0}),
|
|
context.get()));
|
|
ASSERT_FALSE(fact_manager.IsSynonymous(MakeDataDescriptor(27, {1}),
|
|
MakeDataDescriptor(102, {1}),
|
|
context.get()));
|
|
fact_manager.AddFactDataSynonym(MakeDataDescriptor(27, {0}),
|
|
MakeDataDescriptor(102, {0}), context.get());
|
|
ASSERT_FALSE(fact_manager.IsSynonymous(
|
|
MakeDataDescriptor(27, {}), MakeDataDescriptor(102, {}), context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(27, {0}),
|
|
MakeDataDescriptor(102, {0}),
|
|
context.get()));
|
|
ASSERT_FALSE(fact_manager.IsSynonymous(MakeDataDescriptor(27, {1}),
|
|
MakeDataDescriptor(102, {1}),
|
|
context.get()));
|
|
fact_manager.AddFactDataSynonym(MakeDataDescriptor(27, {1}),
|
|
MakeDataDescriptor(102, {1}), context.get());
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(
|
|
MakeDataDescriptor(27, {}), MakeDataDescriptor(102, {}), context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(27, {0}),
|
|
MakeDataDescriptor(102, {0}),
|
|
context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(27, {1}),
|
|
MakeDataDescriptor(102, {1}),
|
|
context.get()));
|
|
|
|
ASSERT_FALSE(fact_manager.IsSynonymous(
|
|
MakeDataDescriptor(30, {}), MakeDataDescriptor(103, {}), context.get()));
|
|
ASSERT_FALSE(fact_manager.IsSynonymous(MakeDataDescriptor(30, {0}),
|
|
MakeDataDescriptor(103, {0}),
|
|
context.get()));
|
|
ASSERT_FALSE(fact_manager.IsSynonymous(MakeDataDescriptor(30, {1}),
|
|
MakeDataDescriptor(103, {1}),
|
|
context.get()));
|
|
ASSERT_FALSE(fact_manager.IsSynonymous(
|
|
MakeDataDescriptor(33, {}), MakeDataDescriptor(104, {}), context.get()));
|
|
ASSERT_FALSE(fact_manager.IsSynonymous(MakeDataDescriptor(33, {0}),
|
|
MakeDataDescriptor(104, {0}),
|
|
context.get()));
|
|
ASSERT_FALSE(fact_manager.IsSynonymous(MakeDataDescriptor(33, {1}),
|
|
MakeDataDescriptor(104, {1}),
|
|
context.get()));
|
|
ASSERT_FALSE(fact_manager.IsSynonymous(
|
|
MakeDataDescriptor(34, {}), MakeDataDescriptor(105, {}), context.get()));
|
|
ASSERT_FALSE(fact_manager.IsSynonymous(MakeDataDescriptor(34, {0}),
|
|
MakeDataDescriptor(105, {0}),
|
|
context.get()));
|
|
ASSERT_FALSE(fact_manager.IsSynonymous(MakeDataDescriptor(34, {1}),
|
|
MakeDataDescriptor(105, {1}),
|
|
context.get()));
|
|
ASSERT_FALSE(fact_manager.IsSynonymous(MakeDataDescriptor(34, {2}),
|
|
MakeDataDescriptor(105, {2}),
|
|
context.get()));
|
|
ASSERT_FALSE(fact_manager.IsSynonymous(MakeDataDescriptor(34, {3}),
|
|
MakeDataDescriptor(105, {3}),
|
|
context.get()));
|
|
fact_manager.AddFactDataSynonym(MakeDataDescriptor(30, {}),
|
|
MakeDataDescriptor(103, {}), context.get());
|
|
fact_manager.AddFactDataSynonym(MakeDataDescriptor(33, {}),
|
|
MakeDataDescriptor(104, {}), context.get());
|
|
fact_manager.AddFactDataSynonym(MakeDataDescriptor(34, {0}),
|
|
MakeDataDescriptor(105, {0}), context.get());
|
|
fact_manager.AddFactDataSynonym(MakeDataDescriptor(34, {1}),
|
|
MakeDataDescriptor(105, {1}), context.get());
|
|
fact_manager.AddFactDataSynonym(MakeDataDescriptor(34, {2}),
|
|
MakeDataDescriptor(105, {2}), context.get());
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(
|
|
MakeDataDescriptor(30, {}), MakeDataDescriptor(103, {}), context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(30, {0}),
|
|
MakeDataDescriptor(103, {0}),
|
|
context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(30, {1}),
|
|
MakeDataDescriptor(103, {1}),
|
|
context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(
|
|
MakeDataDescriptor(33, {}), MakeDataDescriptor(104, {}), context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(33, {0}),
|
|
MakeDataDescriptor(104, {0}),
|
|
context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(33, {1}),
|
|
MakeDataDescriptor(104, {1}),
|
|
context.get()));
|
|
ASSERT_FALSE(fact_manager.IsSynonymous(
|
|
MakeDataDescriptor(34, {}), MakeDataDescriptor(105, {}), context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(34, {0}),
|
|
MakeDataDescriptor(105, {0}),
|
|
context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(34, {1}),
|
|
MakeDataDescriptor(105, {1}),
|
|
context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(34, {2}),
|
|
MakeDataDescriptor(105, {2}),
|
|
context.get()));
|
|
ASSERT_FALSE(fact_manager.IsSynonymous(MakeDataDescriptor(34, {3}),
|
|
MakeDataDescriptor(105, {3}),
|
|
context.get()));
|
|
|
|
fact_manager.AddFactDataSynonym(MakeDataDescriptor(34, {3}),
|
|
MakeDataDescriptor(105, {3}), context.get());
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(33, {0}),
|
|
MakeDataDescriptor(104, {0}),
|
|
context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(34, {3}),
|
|
MakeDataDescriptor(105, {3}),
|
|
context.get()));
|
|
|
|
ASSERT_FALSE(fact_manager.IsSynonymous(
|
|
MakeDataDescriptor(21, {}), MakeDataDescriptor(100, {}), context.get()));
|
|
fact_manager.AddFactDataSynonym(MakeDataDescriptor(21, {0}),
|
|
MakeDataDescriptor(100, {0}), context.get());
|
|
fact_manager.AddFactDataSynonym(MakeDataDescriptor(21, {1}),
|
|
MakeDataDescriptor(100, {1}), context.get());
|
|
fact_manager.AddFactDataSynonym(MakeDataDescriptor(21, {2}),
|
|
MakeDataDescriptor(100, {2}), context.get());
|
|
fact_manager.AddFactDataSynonym(MakeDataDescriptor(21, {3}),
|
|
MakeDataDescriptor(100, {3}), context.get());
|
|
fact_manager.AddFactDataSynonym(MakeDataDescriptor(21, {4}),
|
|
MakeDataDescriptor(100, {4}), context.get());
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(
|
|
MakeDataDescriptor(21, {}), MakeDataDescriptor(100, {}), context.get()));
|
|
|
|
ASSERT_FALSE(fact_manager.IsSynonymous(MakeDataDescriptor(39, {0}),
|
|
MakeDataDescriptor(107, {0}),
|
|
context.get()));
|
|
ASSERT_FALSE(fact_manager.IsSynonymous(
|
|
MakeDataDescriptor(35, {}), MakeDataDescriptor(39, {0}), context.get()));
|
|
fact_manager.AddFactDataSynonym(MakeDataDescriptor(39, {0}),
|
|
MakeDataDescriptor(35, {}), context.get());
|
|
ASSERT_FALSE(fact_manager.IsSynonymous(MakeDataDescriptor(39, {0}),
|
|
MakeDataDescriptor(107, {0}),
|
|
context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(
|
|
MakeDataDescriptor(35, {}), MakeDataDescriptor(39, {0}), context.get()));
|
|
|
|
ASSERT_FALSE(fact_manager.IsSynonymous(
|
|
MakeDataDescriptor(38, {0}), MakeDataDescriptor(36, {}), context.get()));
|
|
ASSERT_FALSE(fact_manager.IsSynonymous(
|
|
MakeDataDescriptor(38, {1}), MakeDataDescriptor(37, {}), context.get()));
|
|
ASSERT_FALSE(fact_manager.IsSynonymous(
|
|
MakeDataDescriptor(106, {0}), MakeDataDescriptor(36, {}), context.get()));
|
|
ASSERT_FALSE(fact_manager.IsSynonymous(
|
|
MakeDataDescriptor(106, {1}), MakeDataDescriptor(37, {}), context.get()));
|
|
ASSERT_FALSE(fact_manager.IsSynonymous(
|
|
MakeDataDescriptor(38, {}), MakeDataDescriptor(106, {}), context.get()));
|
|
fact_manager.AddFactDataSynonym(MakeDataDescriptor(38, {0}),
|
|
MakeDataDescriptor(36, {}), context.get());
|
|
fact_manager.AddFactDataSynonym(MakeDataDescriptor(106, {0}),
|
|
MakeDataDescriptor(36, {}), context.get());
|
|
fact_manager.AddFactDataSynonym(MakeDataDescriptor(38, {1}),
|
|
MakeDataDescriptor(37, {}), context.get());
|
|
fact_manager.AddFactDataSynonym(MakeDataDescriptor(106, {1}),
|
|
MakeDataDescriptor(37, {}), context.get());
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(
|
|
MakeDataDescriptor(38, {0}), MakeDataDescriptor(36, {}), context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(
|
|
MakeDataDescriptor(38, {1}), MakeDataDescriptor(37, {}), context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(
|
|
MakeDataDescriptor(106, {0}), MakeDataDescriptor(36, {}), context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(
|
|
MakeDataDescriptor(106, {1}), MakeDataDescriptor(37, {}), context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(
|
|
MakeDataDescriptor(38, {}), MakeDataDescriptor(106, {}), context.get()));
|
|
|
|
ASSERT_FALSE(fact_manager.IsSynonymous(
|
|
MakeDataDescriptor(40, {}), MakeDataDescriptor(108, {}), context.get()));
|
|
fact_manager.AddFactDataSynonym(MakeDataDescriptor(107, {0}),
|
|
MakeDataDescriptor(35, {}), context.get());
|
|
fact_manager.AddFactDataSynonym(MakeDataDescriptor(40, {0}),
|
|
MakeDataDescriptor(108, {0}), context.get());
|
|
fact_manager.AddFactDataSynonym(MakeDataDescriptor(40, {1}),
|
|
MakeDataDescriptor(108, {1}), context.get());
|
|
fact_manager.AddFactDataSynonym(MakeDataDescriptor(40, {2}),
|
|
MakeDataDescriptor(108, {2}), context.get());
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(
|
|
MakeDataDescriptor(40, {}), MakeDataDescriptor(108, {}), context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(40, {0}),
|
|
MakeDataDescriptor(108, {0}),
|
|
context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(40, {1}),
|
|
MakeDataDescriptor(108, {1}),
|
|
context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(40, {2}),
|
|
MakeDataDescriptor(108, {2}),
|
|
context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(40, {0, 0}),
|
|
MakeDataDescriptor(108, {0, 0}),
|
|
context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(40, {0, 1}),
|
|
MakeDataDescriptor(108, {0, 1}),
|
|
context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(40, {0, 2}),
|
|
MakeDataDescriptor(108, {0, 2}),
|
|
context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(40, {0, 3}),
|
|
MakeDataDescriptor(108, {0, 3}),
|
|
context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(40, {0, 4}),
|
|
MakeDataDescriptor(108, {0, 4}),
|
|
context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(40, {1, 0}),
|
|
MakeDataDescriptor(108, {1, 0}),
|
|
context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(40, {1, 1}),
|
|
MakeDataDescriptor(108, {1, 1}),
|
|
context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(40, {1, 2}),
|
|
MakeDataDescriptor(108, {1, 2}),
|
|
context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(40, {1, 3}),
|
|
MakeDataDescriptor(108, {1, 3}),
|
|
context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(40, {1, 0, 0}),
|
|
MakeDataDescriptor(108, {1, 0, 0}),
|
|
context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(40, {1, 1, 0}),
|
|
MakeDataDescriptor(108, {1, 1, 0}),
|
|
context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(40, {1, 2, 0}),
|
|
MakeDataDescriptor(108, {1, 2, 0}),
|
|
context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(40, {1, 3, 0}),
|
|
MakeDataDescriptor(108, {1, 3, 0}),
|
|
context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(40, {1, 0, 1}),
|
|
MakeDataDescriptor(108, {1, 0, 1}),
|
|
context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(40, {1, 1, 1}),
|
|
MakeDataDescriptor(108, {1, 1, 1}),
|
|
context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(40, {1, 2, 1}),
|
|
MakeDataDescriptor(108, {1, 2, 1}),
|
|
context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(40, {1, 3, 1}),
|
|
MakeDataDescriptor(108, {1, 3, 1}),
|
|
context.get()));
|
|
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(40, {2, 0}),
|
|
MakeDataDescriptor(108, {2, 0}),
|
|
context.get()));
|
|
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(40, {2, 1}),
|
|
MakeDataDescriptor(108, {2, 1}),
|
|
context.get()));
|
|
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(40, {2, 1, 0}),
|
|
MakeDataDescriptor(108, {2, 1, 0}),
|
|
context.get()));
|
|
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(40, {2, 1, 1}),
|
|
MakeDataDescriptor(108, {2, 1, 1}),
|
|
context.get()));
|
|
}
|
|
|
|
TEST(FactManagerTest, RecursiveAdditionOfFacts) {
|
|
std::string shader = R"(
|
|
OpCapability Shader
|
|
%1 = OpExtInstImport "GLSL.std.450"
|
|
OpMemoryModel Logical GLSL450
|
|
OpEntryPoint Fragment %12 "main"
|
|
OpExecutionMode %12 OriginUpperLeft
|
|
OpSource ESSL 310
|
|
%2 = OpTypeVoid
|
|
%3 = OpTypeFunction %2
|
|
%6 = OpTypeFloat 32
|
|
%7 = OpTypeVector %6 4
|
|
%8 = OpTypeMatrix %7 4
|
|
%9 = OpConstant %6 0
|
|
%10 = OpConstantComposite %7 %9 %9 %9 %9
|
|
%11 = OpConstantComposite %8 %10 %10 %10 %10
|
|
%12 = OpFunction %2 None %3
|
|
%13 = OpLabel
|
|
OpReturn
|
|
OpFunctionEnd
|
|
)";
|
|
|
|
const auto env = SPV_ENV_UNIVERSAL_1_3;
|
|
const auto consumer = nullptr;
|
|
const auto context = BuildModule(env, consumer, shader, kFuzzAssembleOption);
|
|
ASSERT_TRUE(IsValid(env, context.get()));
|
|
|
|
FactManager fact_manager;
|
|
|
|
fact_manager.AddFactDataSynonym(MakeDataDescriptor(10, {}),
|
|
MakeDataDescriptor(11, {2}), context.get());
|
|
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(
|
|
MakeDataDescriptor(10, {}), MakeDataDescriptor(11, {2}), context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(10, {0}),
|
|
MakeDataDescriptor(11, {2, 0}),
|
|
context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(10, {1}),
|
|
MakeDataDescriptor(11, {2, 1}),
|
|
context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(10, {2}),
|
|
MakeDataDescriptor(11, {2, 2}),
|
|
context.get()));
|
|
ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(10, {3}),
|
|
MakeDataDescriptor(11, {2, 3}),
|
|
context.get()));
|
|
}
|
|
|
|
} // namespace
|
|
} // namespace fuzz
|
|
} // namespace spvtools
|