Home
last modified time | relevance | path

Searched refs:MaybeAddFact (Results 1 – 25 of 38) sorted by relevance

12

/external/swiftshader/third_party/SPIRV-Tools/test/fuzz/
Dfuzzer_pass_add_opphi_synonyms_test.cpp38 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()
Ddata_synonym_transformation_test.cpp132 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
134 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
136 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
138 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
140 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
142 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
144 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
426 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
428 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
430 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
[all …]
Dtransformation_replace_id_with_synonym_test.cpp205 fact_manager->MaybeAddFact(MakeSynonymFact(15, 200)); in SetUpIdSynonyms()
206 fact_manager->MaybeAddFact(MakeSynonymFact(15, 201)); in SetUpIdSynonyms()
207 fact_manager->MaybeAddFact(MakeSynonymFact(15, 202)); in SetUpIdSynonyms()
208 fact_manager->MaybeAddFact(MakeSynonymFact(55, 203)); in SetUpIdSynonyms()
209 fact_manager->MaybeAddFact(MakeSynonymFact(54, 204)); in SetUpIdSynonyms()
210 fact_manager->MaybeAddFact(MakeSynonymFact(74, 205)); in SetUpIdSynonyms()
211 fact_manager->MaybeAddFact(MakeSynonymFact(78, 206)); in SetUpIdSynonyms()
212 fact_manager->MaybeAddFact(MakeSynonymFact(84, 207)); in SetUpIdSynonyms()
213 fact_manager->MaybeAddFact(MakeSynonymFact(33, 208)); in SetUpIdSynonyms()
214 fact_manager->MaybeAddFact(MakeSynonymFact(12, 209)); in SetUpIdSynonyms()
[all …]
Dtransformation_add_opphi_synonym_test.cpp36 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()
94 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
217 transformation_context.GetFactManager()->MaybeAddFact(MakeSynonymFact(28, 9)); in TEST()
218 transformation_context.GetFactManager()->MaybeAddFact(MakeSynonymFact(30, 9)); in TEST()
363 transformation_context.GetFactManager()->MaybeAddFact(MakeSynonymFact(3, 15)); in TEST()
[all …]
/external/deqp-deps/SPIRV-Tools/test/fuzz/
Dfuzzer_pass_add_opphi_synonyms_test.cpp38 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()
Ddata_synonym_transformation_test.cpp132 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
134 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
136 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
138 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
140 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
142 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
144 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
426 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
428 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
430 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
[all …]
Dtransformation_replace_id_with_synonym_test.cpp205 fact_manager->MaybeAddFact(MakeSynonymFact(15, 200)); in SetUpIdSynonyms()
206 fact_manager->MaybeAddFact(MakeSynonymFact(15, 201)); in SetUpIdSynonyms()
207 fact_manager->MaybeAddFact(MakeSynonymFact(15, 202)); in SetUpIdSynonyms()
208 fact_manager->MaybeAddFact(MakeSynonymFact(55, 203)); in SetUpIdSynonyms()
209 fact_manager->MaybeAddFact(MakeSynonymFact(54, 204)); in SetUpIdSynonyms()
210 fact_manager->MaybeAddFact(MakeSynonymFact(74, 205)); in SetUpIdSynonyms()
211 fact_manager->MaybeAddFact(MakeSynonymFact(78, 206)); in SetUpIdSynonyms()
212 fact_manager->MaybeAddFact(MakeSynonymFact(84, 207)); in SetUpIdSynonyms()
213 fact_manager->MaybeAddFact(MakeSynonymFact(33, 208)); in SetUpIdSynonyms()
214 fact_manager->MaybeAddFact(MakeSynonymFact(12, 209)); in SetUpIdSynonyms()
[all …]
Dtransformation_add_opphi_synonym_test.cpp36 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()
94 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
217 transformation_context.GetFactManager()->MaybeAddFact(MakeSynonymFact(28, 9)); in TEST()
218 transformation_context.GetFactManager()->MaybeAddFact(MakeSynonymFact(30, 9)); in TEST()
363 transformation_context.GetFactManager()->MaybeAddFact(MakeSynonymFact(3, 15)); in TEST()
[all …]
/external/deqp-deps/SPIRV-Tools/source/fuzz/fact_manager/
Dfact_manager.cpp100 if (!MaybeAddFact(fact)) { in AddInitialFacts()
107 bool FactManager::MaybeAddFact(const fuzz::protobufs::Fact& fact) { in MaybeAddFact() function in spvtools::fuzz::FactManager
110 return dead_block_facts_.MaybeAddFact(fact.block_is_dead_fact()); in MaybeAddFact()
112 return constant_uniform_facts_.MaybeAddFact(fact.constant_uniform_fact()); in MaybeAddFact()
114 return data_synonym_and_id_equation_facts_.MaybeAddFact( in MaybeAddFact()
117 return livesafe_function_facts_.MaybeAddFact( in MaybeAddFact()
120 return data_synonym_and_id_equation_facts_.MaybeAddFact( in MaybeAddFact()
123 return irrelevant_value_facts_.MaybeAddFact( in MaybeAddFact()
126 return irrelevant_value_facts_.MaybeAddFact( in MaybeAddFact()
143 auto success = data_synonym_and_id_equation_facts_.MaybeAddFact( in AddFactDataSynonym()
[all …]
Dirrelevant_value_facts.h43 bool MaybeAddFact(
52 bool MaybeAddFact(
Dirrelevant_value_facts.cpp30 bool IrrelevantValueFacts::MaybeAddFact( in MaybeAddFact() function in spvtools::fuzz::fact_manager::IrrelevantValueFacts
54 bool IrrelevantValueFacts::MaybeAddFact( in MaybeAddFact() function in spvtools::fuzz::fact_manager::IrrelevantValueFacts
Ddata_synonym_and_id_equation_facts.h45 bool MaybeAddFact(const protobufs::FactDataSynonym& fact,
53 bool MaybeAddFact(const protobufs::FactIdEquation& fact,
Dlivesafe_function_facts.h36 bool MaybeAddFact(const protobufs::FactFunctionIsLivesafe& fact);
Ddead_block_facts.h36 bool MaybeAddFact(const protobufs::FactBlockIsDead& fact);
Dlivesafe_function_facts.cpp26 bool LivesafeFunctionFacts::MaybeAddFact( in MaybeAddFact() function in spvtools::fuzz::fact_manager::LivesafeFunctionFacts
Ddead_block_facts.cpp26 bool DeadBlockFacts::MaybeAddFact(const protobufs::FactBlockIsDead& fact) { in MaybeAddFact() function in spvtools::fuzz::fact_manager::DeadBlockFacts
/external/swiftshader/third_party/SPIRV-Tools/source/fuzz/fact_manager/
Dfact_manager.cpp100 if (!MaybeAddFact(fact)) { in AddInitialFacts()
107 bool FactManager::MaybeAddFact(const fuzz::protobufs::Fact& fact) { in MaybeAddFact() function in spvtools::fuzz::FactManager
110 return dead_block_facts_.MaybeAddFact(fact.block_is_dead_fact()); in MaybeAddFact()
112 return constant_uniform_facts_.MaybeAddFact(fact.constant_uniform_fact()); in MaybeAddFact()
114 return data_synonym_and_id_equation_facts_.MaybeAddFact( in MaybeAddFact()
117 return livesafe_function_facts_.MaybeAddFact( in MaybeAddFact()
120 return data_synonym_and_id_equation_facts_.MaybeAddFact( in MaybeAddFact()
123 return irrelevant_value_facts_.MaybeAddFact( in MaybeAddFact()
126 return irrelevant_value_facts_.MaybeAddFact( in MaybeAddFact()
143 auto success = data_synonym_and_id_equation_facts_.MaybeAddFact( in AddFactDataSynonym()
[all …]
Dirrelevant_value_facts.h43 bool MaybeAddFact(
52 bool MaybeAddFact(
Dirrelevant_value_facts.cpp30 bool IrrelevantValueFacts::MaybeAddFact( in MaybeAddFact() function in spvtools::fuzz::fact_manager::IrrelevantValueFacts
54 bool IrrelevantValueFacts::MaybeAddFact( in MaybeAddFact() function in spvtools::fuzz::fact_manager::IrrelevantValueFacts
Ddata_synonym_and_id_equation_facts.h45 bool MaybeAddFact(const protobufs::FactDataSynonym& fact,
53 bool MaybeAddFact(const protobufs::FactIdEquation& fact,
Dlivesafe_function_facts.h36 bool MaybeAddFact(const protobufs::FactFunctionIsLivesafe& fact);
Ddead_block_facts.h36 bool MaybeAddFact(const protobufs::FactBlockIsDead& fact);
Dlivesafe_function_facts.cpp26 bool LivesafeFunctionFacts::MaybeAddFact( in MaybeAddFact() function in spvtools::fuzz::fact_manager::LivesafeFunctionFacts
Ddead_block_facts.cpp26 bool DeadBlockFacts::MaybeAddFact(const protobufs::FactBlockIsDead& fact) { in MaybeAddFact() function in spvtools::fuzz::fact_manager::DeadBlockFacts
Dconstant_uniform_facts.h34 bool MaybeAddFact(const protobufs::FactConstantUniform& fact);

12