Home
last modified time | relevance | path

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

/external/angle/third_party/vulkan-deps/spirv-tools/src/source/fuzz/fact_manager/
Dfact_manager.cpp93 dead_block_facts_(ir_context), in FactManager()
110 return dead_block_facts_.MaybeAddFact(fact.block_is_dead_fact()); in MaybeAddFact()
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()
144 fact, dead_block_facts_, irrelevant_value_facts_); in AddFactDataSynonym()
205 return dead_block_facts_.BlockIsDead(block_id); in BlockIsDead()
211 auto success = dead_block_facts_.MaybeAddFact(fact); in AddFactBlockIsDead()
233 return irrelevant_value_facts_.IdIsIrrelevant(result_id, dead_block_facts_); in IdIsIrrelevant()
237 return irrelevant_value_facts_.GetIrrelevantIds(dead_block_facts_); in GetIrrelevantIds()
267 fact, dead_block_facts_, irrelevant_value_facts_); in AddFactIdEquation()
Dfact_manager.h217 fact_manager::DeadBlockFacts dead_block_facts_; variable
/external/deqp-deps/SPIRV-Tools/source/fuzz/fact_manager/
Dfact_manager.cpp93 dead_block_facts_(ir_context), in FactManager()
110 return dead_block_facts_.MaybeAddFact(fact.block_is_dead_fact()); in MaybeAddFact()
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()
144 fact, dead_block_facts_, irrelevant_value_facts_); in AddFactDataSynonym()
205 return dead_block_facts_.BlockIsDead(block_id); in BlockIsDead()
211 auto success = dead_block_facts_.MaybeAddFact(fact); in AddFactBlockIsDead()
233 return irrelevant_value_facts_.IdIsIrrelevant(result_id, dead_block_facts_); in IdIsIrrelevant()
237 return irrelevant_value_facts_.GetIrrelevantIds(dead_block_facts_); in GetIrrelevantIds()
267 fact, dead_block_facts_, irrelevant_value_facts_); in AddFactIdEquation()
Dfact_manager.h217 fact_manager::DeadBlockFacts dead_block_facts_; variable
/external/swiftshader/third_party/SPIRV-Tools/source/fuzz/fact_manager/
Dfact_manager.cpp93 dead_block_facts_(ir_context), in FactManager()
110 return dead_block_facts_.MaybeAddFact(fact.block_is_dead_fact()); in MaybeAddFact()
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()
144 fact, dead_block_facts_, irrelevant_value_facts_); in AddFactDataSynonym()
205 return dead_block_facts_.BlockIsDead(block_id); in BlockIsDead()
211 auto success = dead_block_facts_.MaybeAddFact(fact); in AddFactBlockIsDead()
233 return irrelevant_value_facts_.IdIsIrrelevant(result_id, dead_block_facts_); in IdIsIrrelevant()
237 return irrelevant_value_facts_.GetIrrelevantIds(dead_block_facts_); in GetIrrelevantIds()
267 fact, dead_block_facts_, irrelevant_value_facts_); in AddFactIdEquation()
Dfact_manager.h217 fact_manager::DeadBlockFacts dead_block_facts_; variable