Home
last modified time | relevance | path

Searched refs:fact_manager (Results 1 – 25 of 77) sorted by relevance

1234

/third_party/skia/third_party/externals/swiftshader/third_party/SPIRV-Tools/test/fuzz/fact_manager/
Ddata_synonym_and_id_equation_facts_test.cpp72 FactManager fact_manager(context.get()); in TEST() local
74 fact_manager.AddFactDataSynonym(MakeDataDescriptor(10, {}), in TEST()
77 ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(10, {}), in TEST()
79 ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(10, {0}), in TEST()
81 ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(10, {1}), in TEST()
83 ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(10, {2}), in TEST()
85 ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(10, {3}), in TEST()
136 FactManager fact_manager(context.get()); in TEST() local
139 fact_manager.AddFactIdEquation(24, SpvOpConvertSToF, {15}); in TEST()
140 fact_manager.AddFactIdEquation(25, SpvOpConvertSToF, {16}); in TEST()
[all …]
Dirrelevant_value_facts_test.cpp51 FactManager fact_manager(context.get()); in TEST() local
53 ASSERT_FALSE(fact_manager.IdIsIrrelevant(12)); in TEST()
54 ASSERT_FALSE(fact_manager.IdIsIrrelevant(13)); in TEST()
56 fact_manager.AddFactIdIsIrrelevant(12); in TEST()
58 ASSERT_TRUE(fact_manager.IdIsIrrelevant(12)); in TEST()
59 ASSERT_FALSE(fact_manager.IdIsIrrelevant(13)); in TEST()
89 FactManager fact_manager(context.get()); in TEST() local
91 ASSERT_EQ(fact_manager.GetIrrelevantIds(), std::unordered_set<uint32_t>({})); in TEST()
93 fact_manager.AddFactIdIsIrrelevant(12); in TEST()
95 ASSERT_EQ(fact_manager.GetIrrelevantIds(), in TEST()
[all …]
Dconstant_uniform_facts_test.cpp39 FactManager* fact_manager, const std::vector<uint32_t>& words, in AddFactHelper() argument
49 return fact_manager->MaybeAddFact(fact); in AddFactHelper()
261 FactManager fact_manager(context.get()); in TEST() local
272 fact_manager.GetConstantsAvailableFromUniformsForType(type_uint32_id) in TEST()
280 ASSERT_TRUE(AddFactHelper(&fact_manager, {1}, in TEST()
285 &fact_manager, {1}, MakeUniformBufferElementDescriptor(0, 1, {1, 2, 3}))); in TEST()
289 AddFactHelper(&fact_manager, {1}, in TEST()
293 ASSERT_TRUE(AddFactHelper(&fact_manager, {buffer_int32_min[0]}, in TEST()
298 AddFactHelper(&fact_manager, {buffer_int32_min[0]}, in TEST()
303 AddFactHelper(&fact_manager, {buffer_int64_max[0], buffer_int64_max[1]}, in TEST()
[all …]
Ddead_block_facts_test.cpp59 FactManager fact_manager(context.get()); in TEST() local
61 ASSERT_FALSE(fact_manager.BlockIsDead(9)); in TEST()
62 ASSERT_FALSE(fact_manager.BlockIsDead(11)); in TEST()
63 ASSERT_FALSE(fact_manager.BlockIsDead(12)); in TEST()
65 fact_manager.AddFactBlockIsDead(12); in TEST()
67 ASSERT_FALSE(fact_manager.BlockIsDead(9)); in TEST()
68 ASSERT_FALSE(fact_manager.BlockIsDead(11)); in TEST()
69 ASSERT_TRUE(fact_manager.BlockIsDead(12)); in TEST()
/third_party/skia/third_party/externals/spirv-tools/test/fuzz/fact_manager/
Ddata_synonym_and_id_equation_facts_test.cpp72 FactManager fact_manager(context.get()); in TEST() local
74 fact_manager.AddFactDataSynonym(MakeDataDescriptor(10, {}), in TEST()
77 ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(10, {}), in TEST()
79 ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(10, {0}), in TEST()
81 ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(10, {1}), in TEST()
83 ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(10, {2}), in TEST()
85 ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(10, {3}), in TEST()
136 FactManager fact_manager(context.get()); in TEST() local
139 fact_manager.AddFactIdEquation(24, SpvOpConvertSToF, {15}); in TEST()
140 fact_manager.AddFactIdEquation(25, SpvOpConvertSToF, {16}); in TEST()
[all …]
Dirrelevant_value_facts_test.cpp51 FactManager fact_manager(context.get()); in TEST() local
53 ASSERT_FALSE(fact_manager.IdIsIrrelevant(12)); in TEST()
54 ASSERT_FALSE(fact_manager.IdIsIrrelevant(13)); in TEST()
56 fact_manager.AddFactIdIsIrrelevant(12); in TEST()
58 ASSERT_TRUE(fact_manager.IdIsIrrelevant(12)); in TEST()
59 ASSERT_FALSE(fact_manager.IdIsIrrelevant(13)); in TEST()
89 FactManager fact_manager(context.get()); in TEST() local
91 ASSERT_EQ(fact_manager.GetIrrelevantIds(), std::unordered_set<uint32_t>({})); in TEST()
93 fact_manager.AddFactIdIsIrrelevant(12); in TEST()
95 ASSERT_EQ(fact_manager.GetIrrelevantIds(), in TEST()
[all …]
Dconstant_uniform_facts_test.cpp39 FactManager* fact_manager, const std::vector<uint32_t>& words, in AddFactHelper() argument
49 return fact_manager->MaybeAddFact(fact); in AddFactHelper()
261 FactManager fact_manager(context.get()); in TEST() local
272 fact_manager.GetConstantsAvailableFromUniformsForType(type_uint32_id) in TEST()
280 ASSERT_TRUE(AddFactHelper(&fact_manager, {1}, in TEST()
285 &fact_manager, {1}, MakeUniformBufferElementDescriptor(0, 1, {1, 2, 3}))); in TEST()
289 AddFactHelper(&fact_manager, {1}, in TEST()
293 ASSERT_TRUE(AddFactHelper(&fact_manager, {buffer_int32_min[0]}, in TEST()
298 AddFactHelper(&fact_manager, {buffer_int32_min[0]}, in TEST()
303 AddFactHelper(&fact_manager, {buffer_int64_max[0], buffer_int64_max[1]}, in TEST()
[all …]
Ddead_block_facts_test.cpp59 FactManager fact_manager(context.get()); in TEST() local
61 ASSERT_FALSE(fact_manager.BlockIsDead(9)); in TEST()
62 ASSERT_FALSE(fact_manager.BlockIsDead(11)); in TEST()
63 ASSERT_FALSE(fact_manager.BlockIsDead(12)); in TEST()
65 fact_manager.AddFactBlockIsDead(12); in TEST()
67 ASSERT_FALSE(fact_manager.BlockIsDead(9)); in TEST()
68 ASSERT_FALSE(fact_manager.BlockIsDead(11)); in TEST()
69 ASSERT_TRUE(fact_manager.BlockIsDead(12)); in TEST()
/third_party/spirv-tools/test/fuzz/fact_manager/
Ddata_synonym_and_id_equation_facts_test.cpp72 FactManager fact_manager(context.get()); in TEST() local
74 fact_manager.AddFactDataSynonym(MakeDataDescriptor(10, {}), in TEST()
77 ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(10, {}), in TEST()
79 ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(10, {0}), in TEST()
81 ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(10, {1}), in TEST()
83 ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(10, {2}), in TEST()
85 ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(10, {3}), in TEST()
136 FactManager fact_manager(context.get()); in TEST() local
139 fact_manager.AddFactIdEquation(24, SpvOpConvertSToF, {15}); in TEST()
140 fact_manager.AddFactIdEquation(25, SpvOpConvertSToF, {16}); in TEST()
[all …]
Dirrelevant_value_facts_test.cpp51 FactManager fact_manager(context.get()); in TEST() local
53 ASSERT_FALSE(fact_manager.IdIsIrrelevant(12)); in TEST()
54 ASSERT_FALSE(fact_manager.IdIsIrrelevant(13)); in TEST()
56 fact_manager.AddFactIdIsIrrelevant(12); in TEST()
58 ASSERT_TRUE(fact_manager.IdIsIrrelevant(12)); in TEST()
59 ASSERT_FALSE(fact_manager.IdIsIrrelevant(13)); in TEST()
89 FactManager fact_manager(context.get()); in TEST() local
91 ASSERT_EQ(fact_manager.GetIrrelevantIds(), std::unordered_set<uint32_t>({})); in TEST()
93 fact_manager.AddFactIdIsIrrelevant(12); in TEST()
95 ASSERT_EQ(fact_manager.GetIrrelevantIds(), in TEST()
[all …]
Dconstant_uniform_facts_test.cpp39 FactManager* fact_manager, const std::vector<uint32_t>& words, in AddFactHelper() argument
49 return fact_manager->MaybeAddFact(fact); in AddFactHelper()
261 FactManager fact_manager(context.get()); in TEST() local
272 fact_manager.GetConstantsAvailableFromUniformsForType(type_uint32_id) in TEST()
280 ASSERT_TRUE(AddFactHelper(&fact_manager, {1}, in TEST()
285 &fact_manager, {1}, MakeUniformBufferElementDescriptor(0, 1, {1, 2, 3}))); in TEST()
289 AddFactHelper(&fact_manager, {1}, in TEST()
293 ASSERT_TRUE(AddFactHelper(&fact_manager, {buffer_int32_min[0]}, in TEST()
298 AddFactHelper(&fact_manager, {buffer_int32_min[0]}, in TEST()
303 AddFactHelper(&fact_manager, {buffer_int64_max[0], buffer_int64_max[1]}, in TEST()
[all …]
Ddead_block_facts_test.cpp59 FactManager fact_manager(context.get()); in TEST() local
61 ASSERT_FALSE(fact_manager.BlockIsDead(9)); in TEST()
62 ASSERT_FALSE(fact_manager.BlockIsDead(11)); in TEST()
63 ASSERT_FALSE(fact_manager.BlockIsDead(12)); in TEST()
65 fact_manager.AddFactBlockIsDead(12); in TEST()
67 ASSERT_FALSE(fact_manager.BlockIsDead(9)); in TEST()
68 ASSERT_FALSE(fact_manager.BlockIsDead(11)); in TEST()
69 ASSERT_TRUE(fact_manager.BlockIsDead(12)); in TEST()
/third_party/skia/third_party/externals/spirv-tools/test/fuzz/
Dfuzzer_pass_add_opphi_synonyms_test.cpp36 void SetUpIdSynonyms(FactManager* fact_manager) { in SetUpIdSynonyms() argument
38 fact_manager->MaybeAddFact(MakeSynonymFact(11, 9)); in SetUpIdSynonyms()
39 fact_manager->MaybeAddFact(MakeSynonymFact(15, 9)); in SetUpIdSynonyms()
40 fact_manager->MaybeAddFact(MakeSynonymFact(16, 9)); in SetUpIdSynonyms()
41 fact_manager->MaybeAddFact(MakeSynonymFact(21, 9)); in SetUpIdSynonyms()
42 fact_manager->MaybeAddFact(MakeSynonymFact(22, 9)); in SetUpIdSynonyms()
45 fact_manager->MaybeAddFact(MakeSynonymFact(10, 23)); in SetUpIdSynonyms()
48 fact_manager->MaybeAddFact(MakeSynonymFact(14, 27)); in SetUpIdSynonyms()
51 fact_manager->MaybeAddFact(MakeSynonymFact(26, 24)); in SetUpIdSynonyms()
52 fact_manager->MaybeAddFact(MakeSynonymFact(30, 24)); in SetUpIdSynonyms()
Dtransformation_add_opphi_synonym_test.cpp35 void SetUpIdSynonyms(FactManager* fact_manager) { in SetUpIdSynonyms() argument
36 fact_manager->MaybeAddFact(MakeSynonymFact(11, 9)); in SetUpIdSynonyms()
37 fact_manager->MaybeAddFact(MakeSynonymFact(13, 9)); in SetUpIdSynonyms()
38 fact_manager->MaybeAddFact(MakeSynonymFact(14, 9)); in SetUpIdSynonyms()
39 fact_manager->MaybeAddFact(MakeSynonymFact(19, 9)); in SetUpIdSynonyms()
40 fact_manager->MaybeAddFact(MakeSynonymFact(20, 9)); in SetUpIdSynonyms()
41 fact_manager->MaybeAddFact(MakeSynonymFact(10, 21)); in SetUpIdSynonyms()
/third_party/skia/third_party/externals/swiftshader/third_party/SPIRV-Tools/test/fuzz/
Dfuzzer_pass_add_opphi_synonyms_test.cpp36 void SetUpIdSynonyms(FactManager* fact_manager) { in SetUpIdSynonyms() argument
38 fact_manager->MaybeAddFact(MakeSynonymFact(11, 9)); in SetUpIdSynonyms()
39 fact_manager->MaybeAddFact(MakeSynonymFact(15, 9)); in SetUpIdSynonyms()
40 fact_manager->MaybeAddFact(MakeSynonymFact(16, 9)); in SetUpIdSynonyms()
41 fact_manager->MaybeAddFact(MakeSynonymFact(21, 9)); in SetUpIdSynonyms()
42 fact_manager->MaybeAddFact(MakeSynonymFact(22, 9)); in SetUpIdSynonyms()
45 fact_manager->MaybeAddFact(MakeSynonymFact(10, 23)); in SetUpIdSynonyms()
48 fact_manager->MaybeAddFact(MakeSynonymFact(14, 27)); in SetUpIdSynonyms()
51 fact_manager->MaybeAddFact(MakeSynonymFact(26, 24)); in SetUpIdSynonyms()
52 fact_manager->MaybeAddFact(MakeSynonymFact(30, 24)); in SetUpIdSynonyms()
Dtransformation_add_opphi_synonym_test.cpp35 void SetUpIdSynonyms(FactManager* fact_manager) { in SetUpIdSynonyms() argument
36 fact_manager->MaybeAddFact(MakeSynonymFact(11, 9)); in SetUpIdSynonyms()
37 fact_manager->MaybeAddFact(MakeSynonymFact(13, 9)); in SetUpIdSynonyms()
38 fact_manager->MaybeAddFact(MakeSynonymFact(14, 9)); in SetUpIdSynonyms()
39 fact_manager->MaybeAddFact(MakeSynonymFact(19, 9)); in SetUpIdSynonyms()
40 fact_manager->MaybeAddFact(MakeSynonymFact(20, 9)); in SetUpIdSynonyms()
41 fact_manager->MaybeAddFact(MakeSynonymFact(10, 21)); in SetUpIdSynonyms()
/third_party/spirv-tools/test/fuzz/
Dfuzzer_pass_add_opphi_synonyms_test.cpp36 void SetUpIdSynonyms(FactManager* fact_manager) { in SetUpIdSynonyms() argument
38 fact_manager->MaybeAddFact(MakeSynonymFact(11, 9)); in SetUpIdSynonyms()
39 fact_manager->MaybeAddFact(MakeSynonymFact(15, 9)); in SetUpIdSynonyms()
40 fact_manager->MaybeAddFact(MakeSynonymFact(16, 9)); in SetUpIdSynonyms()
41 fact_manager->MaybeAddFact(MakeSynonymFact(21, 9)); in SetUpIdSynonyms()
42 fact_manager->MaybeAddFact(MakeSynonymFact(22, 9)); in SetUpIdSynonyms()
45 fact_manager->MaybeAddFact(MakeSynonymFact(10, 23)); in SetUpIdSynonyms()
48 fact_manager->MaybeAddFact(MakeSynonymFact(14, 27)); in SetUpIdSynonyms()
51 fact_manager->MaybeAddFact(MakeSynonymFact(26, 24)); in SetUpIdSynonyms()
52 fact_manager->MaybeAddFact(MakeSynonymFact(30, 24)); in SetUpIdSynonyms()
Dtransformation_add_opphi_synonym_test.cpp35 void SetUpIdSynonyms(FactManager* fact_manager) { in SetUpIdSynonyms() argument
36 fact_manager->MaybeAddFact(MakeSynonymFact(11, 9)); in SetUpIdSynonyms()
37 fact_manager->MaybeAddFact(MakeSynonymFact(13, 9)); in SetUpIdSynonyms()
38 fact_manager->MaybeAddFact(MakeSynonymFact(14, 9)); in SetUpIdSynonyms()
39 fact_manager->MaybeAddFact(MakeSynonymFact(19, 9)); in SetUpIdSynonyms()
40 fact_manager->MaybeAddFact(MakeSynonymFact(20, 9)); in SetUpIdSynonyms()
41 fact_manager->MaybeAddFact(MakeSynonymFact(10, 21)); in SetUpIdSynonyms()
/third_party/skia/third_party/externals/swiftshader/third_party/SPIRV-Tools/source/fuzz/
Dtransformation_context.cpp51 std::unique_ptr<FactManager> fact_manager, in TransformationContext() argument
53 : fact_manager_(std::move(fact_manager)), in TransformationContext()
58 std::unique_ptr<FactManager> fact_manager, in TransformationContext() argument
61 : fact_manager_(std::move(fact_manager)), in TransformationContext()
/third_party/spirv-tools/source/fuzz/
Dtransformation_context.cpp51 std::unique_ptr<FactManager> fact_manager, in TransformationContext() argument
53 : fact_manager_(std::move(fact_manager)), in TransformationContext()
58 std::unique_ptr<FactManager> fact_manager, in TransformationContext() argument
61 : fact_manager_(std::move(fact_manager)), in TransformationContext()
DCMakeLists.txt46 fact_manager/constant_uniform_facts.h
47 fact_manager/data_synonym_and_id_equation_facts.h
48 fact_manager/dead_block_facts.h
49 fact_manager/fact_manager.h
50 fact_manager/irrelevant_value_facts.h
51 fact_manager/livesafe_function_facts.h
237 fact_manager/constant_uniform_facts.cpp
238 fact_manager/data_synonym_and_id_equation_facts.cpp
239 fact_manager/dead_block_facts.cpp
240 fact_manager/fact_manager.cpp
[all …]
/third_party/skia/third_party/externals/spirv-tools/source/fuzz/
Dtransformation_context.cpp51 std::unique_ptr<FactManager> fact_manager, in TransformationContext() argument
53 : fact_manager_(std::move(fact_manager)), in TransformationContext()
58 std::unique_ptr<FactManager> fact_manager, in TransformationContext() argument
61 : fact_manager_(std::move(fact_manager)), in TransformationContext()
/third_party/skia/third_party/externals/swiftshader/third_party/SPIRV-Tools/source/fuzz/fact_manager/
Dfact_manager.h214 fact_manager::ConstantUniformFacts constant_uniform_facts_;
215 fact_manager::DataSynonymAndIdEquationFacts
217 fact_manager::DeadBlockFacts dead_block_facts_;
218 fact_manager::LivesafeFunctionFacts livesafe_function_facts_;
219 fact_manager::IrrelevantValueFacts irrelevant_value_facts_;
/third_party/skia/third_party/externals/spirv-tools/source/fuzz/fact_manager/
Dfact_manager.h214 fact_manager::ConstantUniformFacts constant_uniform_facts_;
215 fact_manager::DataSynonymAndIdEquationFacts
217 fact_manager::DeadBlockFacts dead_block_facts_;
218 fact_manager::LivesafeFunctionFacts livesafe_function_facts_;
219 fact_manager::IrrelevantValueFacts irrelevant_value_facts_;
/third_party/spirv-tools/source/fuzz/fact_manager/
Dfact_manager.h214 fact_manager::ConstantUniformFacts constant_uniform_facts_;
215 fact_manager::DataSynonymAndIdEquationFacts
217 fact_manager::DeadBlockFacts dead_block_facts_;
218 fact_manager::LivesafeFunctionFacts livesafe_function_facts_;
219 fact_manager::IrrelevantValueFacts irrelevant_value_facts_;

1234