Lines Matching refs:fact
27 std::string ToString(const protobufs::FactConstantUniform& fact) { in ToString() argument
29 stream << "(" << fact.uniform_buffer_element_descriptor().descriptor_set() in ToString()
30 << ", " << fact.uniform_buffer_element_descriptor().binding() << ")["; in ToString()
33 for (auto index : fact.uniform_buffer_element_descriptor().index()) { in ToString()
45 for (auto constant_word : fact.constant_word()) { in ToString()
58 std::string ToString(const protobufs::FactDataSynonym& fact) { in ToString() argument
60 stream << fact.data1() << " = " << fact.data2(); in ToString()
64 std::string ToString(const protobufs::FactIdEquation& fact) { in ToString() argument
66 stream << fact.lhs_id(); in ToString()
67 stream << " " << static_cast<SpvOp>(fact.opcode()); in ToString()
68 for (auto rhs_id : fact.rhs_id()) { in ToString()
74 std::string ToString(const protobufs::Fact& fact) { in ToString() argument
75 switch (fact.fact_case()) { in ToString()
77 return ToString(fact.constant_uniform_fact()); in ToString()
79 return ToString(fact.data_synonym_fact()); in ToString()
81 return ToString(fact.id_equation_fact()); in ToString()
99 for (auto& fact : facts.fact()) { in AddInitialFacts() local
100 if (!MaybeAddFact(fact)) { in AddInitialFacts()
101 auto message = "Invalid fact " + ToString(fact) + " ignored."; in AddInitialFacts()
107 bool FactManager::MaybeAddFact(const fuzz::protobufs::Fact& fact) { in MaybeAddFact() argument
108 switch (fact.fact_case()) { in MaybeAddFact()
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()
115 fact.data_synonym_fact(), dead_block_facts_, irrelevant_value_facts_); in MaybeAddFact()
118 fact.function_is_livesafe_fact()); in MaybeAddFact()
121 fact.id_equation_fact(), dead_block_facts_, irrelevant_value_facts_); in MaybeAddFact()
124 fact.id_is_irrelevant(), data_synonym_and_id_equation_facts_); in MaybeAddFact()
127 fact.pointee_value_is_irrelevant_fact(), in MaybeAddFact()
140 protobufs::FactDataSynonym fact; in AddFactDataSynonym() local
141 *fact.mutable_data1() = data1; in AddFactDataSynonym()
142 *fact.mutable_data2() = data2; in AddFactDataSynonym()
144 fact, dead_block_facts_, irrelevant_value_facts_); in AddFactDataSynonym()
209 protobufs::FactBlockIsDead fact; in AddFactBlockIsDead() local
210 fact.set_block_id(block_id); in AddFactBlockIsDead()
211 auto success = dead_block_facts_.MaybeAddFact(fact); in AddFactBlockIsDead()
221 protobufs::FactFunctionIsLivesafe fact; in AddFactFunctionIsLivesafe() local
222 fact.set_function_id(function_id); in AddFactFunctionIsLivesafe()
223 auto success = livesafe_function_facts_.MaybeAddFact(fact); in AddFactFunctionIsLivesafe()
241 protobufs::FactPointeeValueIsIrrelevant fact; in AddFactValueOfPointeeIsIrrelevant() local
242 fact.set_pointer_id(pointer_id); in AddFactValueOfPointeeIsIrrelevant()
244 fact, data_synonym_and_id_equation_facts_); in AddFactValueOfPointeeIsIrrelevant()
250 protobufs::FactIdIsIrrelevant fact; in AddFactIdIsIrrelevant() local
251 fact.set_result_id(result_id); in AddFactIdIsIrrelevant()
253 fact, data_synonym_and_id_equation_facts_); in AddFactIdIsIrrelevant()
260 protobufs::FactIdEquation fact; in AddFactIdEquation() local
261 fact.set_lhs_id(lhs_id); in AddFactIdEquation()
262 fact.set_opcode(opcode); in AddFactIdEquation()
264 fact.add_rhs_id(an_rhs_id); in AddFactIdEquation()
267 fact, dead_block_facts_, irrelevant_value_facts_); in AddFactIdEquation()