Home
last modified time | relevance | path

Searched refs:irrelevant_value_facts_ (Results 1 – 6 of 6) sorted by relevance

/external/angle/third_party/vulkan-deps/spirv-tools/src/source/fuzz/fact_manager/
Dfact_manager.cpp95 irrelevant_value_facts_(ir_context) {} in FactManager()
115 fact.data_synonym_fact(), dead_block_facts_, irrelevant_value_facts_); in MaybeAddFact()
121 fact.id_equation_fact(), dead_block_facts_, irrelevant_value_facts_); in MaybeAddFact()
123 return irrelevant_value_facts_.MaybeAddFact( in MaybeAddFact()
126 return irrelevant_value_facts_.MaybeAddFact( in MaybeAddFact()
144 fact, dead_block_facts_, irrelevant_value_facts_); in AddFactDataSynonym()
229 return irrelevant_value_facts_.PointeeValueIsIrrelevant(pointer_id); in PointeeValueIsIrrelevant()
233 return irrelevant_value_facts_.IdIsIrrelevant(result_id, dead_block_facts_); in IdIsIrrelevant()
237 return irrelevant_value_facts_.GetIrrelevantIds(dead_block_facts_); in GetIrrelevantIds()
243 auto success = irrelevant_value_facts_.MaybeAddFact( in AddFactValueOfPointeeIsIrrelevant()
[all …]
Dfact_manager.h219 fact_manager::IrrelevantValueFacts irrelevant_value_facts_; variable
/external/deqp-deps/SPIRV-Tools/source/fuzz/fact_manager/
Dfact_manager.cpp95 irrelevant_value_facts_(ir_context) {} in FactManager()
115 fact.data_synonym_fact(), dead_block_facts_, irrelevant_value_facts_); in MaybeAddFact()
121 fact.id_equation_fact(), dead_block_facts_, irrelevant_value_facts_); in MaybeAddFact()
123 return irrelevant_value_facts_.MaybeAddFact( in MaybeAddFact()
126 return irrelevant_value_facts_.MaybeAddFact( in MaybeAddFact()
144 fact, dead_block_facts_, irrelevant_value_facts_); in AddFactDataSynonym()
229 return irrelevant_value_facts_.PointeeValueIsIrrelevant(pointer_id); in PointeeValueIsIrrelevant()
233 return irrelevant_value_facts_.IdIsIrrelevant(result_id, dead_block_facts_); in IdIsIrrelevant()
237 return irrelevant_value_facts_.GetIrrelevantIds(dead_block_facts_); in GetIrrelevantIds()
243 auto success = irrelevant_value_facts_.MaybeAddFact( in AddFactValueOfPointeeIsIrrelevant()
[all …]
Dfact_manager.h219 fact_manager::IrrelevantValueFacts irrelevant_value_facts_; variable
/external/swiftshader/third_party/SPIRV-Tools/source/fuzz/fact_manager/
Dfact_manager.cpp95 irrelevant_value_facts_(ir_context) {} in FactManager()
115 fact.data_synonym_fact(), dead_block_facts_, irrelevant_value_facts_); in MaybeAddFact()
121 fact.id_equation_fact(), dead_block_facts_, irrelevant_value_facts_); in MaybeAddFact()
123 return irrelevant_value_facts_.MaybeAddFact( in MaybeAddFact()
126 return irrelevant_value_facts_.MaybeAddFact( in MaybeAddFact()
144 fact, dead_block_facts_, irrelevant_value_facts_); in AddFactDataSynonym()
229 return irrelevant_value_facts_.PointeeValueIsIrrelevant(pointer_id); in PointeeValueIsIrrelevant()
233 return irrelevant_value_facts_.IdIsIrrelevant(result_id, dead_block_facts_); in IdIsIrrelevant()
237 return irrelevant_value_facts_.GetIrrelevantIds(dead_block_facts_); in GetIrrelevantIds()
243 auto success = irrelevant_value_facts_.MaybeAddFact( in AddFactValueOfPointeeIsIrrelevant()
[all …]
Dfact_manager.h219 fact_manager::IrrelevantValueFacts irrelevant_value_facts_; variable