Searched refs:equiv_class (Results 1 – 14 of 14) sorted by relevance
41 class equiv_class44 equiv_class ();45 equiv_class (const equiv_class &other);48 bool operator== (const equiv_class &other);93 const equiv_class &get_obj (const constraint_manager &cm) const;94 equiv_class &get_obj (constraint_manager &cm) const;190 const equiv_class &get_equiv_class_by_index (unsigned idx) const in get_equiv_class_by_index()194 equiv_class &get_equiv_class_by_index (unsigned idx) in get_equiv_class_by_index()199 equiv_class &get_equiv_class (svalue_id sid) in get_equiv_class()235 auto_delete_vec<equiv_class> m_equiv_classes;
165 equiv_class::equiv_class () in equiv_class() function in ana::equiv_class173 equiv_class::equiv_class (const equiv_class &other) in equiv_class() function in ana::equiv_class187 equiv_class::print (pretty_printer *pp) const in print()210 equiv_class::hash () const in hash()225 equiv_class::operator== (const equiv_class &other) in operator ==()247 equiv_class::add (svalue_id sid, const constraint_manager &cm) in add()266 equiv_class::del (svalue_id sid) in del()292 equiv_class::get_representative () const in get_representative()306 equiv_class::remap_svalue_ids (const svalue_id_map &map) in remap_svalue_ids()328 equiv_class::canonicalize () in canonicalize()[all …]
52 class equiv_class; variable
170 bool set_state (const equiv_class &ec,
321 equiv_class &ec = model->get_constraints ()->get_equiv_class (sid); in set_state()344 sm_state_map::set_state (const equiv_class &ec, in set_state()
3721 equiv_class *ec; in dump_to_pp()3750 const equiv_class &lhs = c->m_lhs.get_obj (*m_constraints); in dump_to_pp()3751 const equiv_class &rhs = c->m_rhs.get_obj (*m_constraints); in dump_to_pp()5300 equiv_class &ec = m_constraints->get_equiv_class (sid); in maybe_cast_1()6545 equiv_class *ec; in purge_unused_svalues()
240 class equiv_class243 equiv_class ();244 equiv_class (const equiv_class &other);247 bool operator== (const equiv_class &other);294 const equiv_class &get_obj (const constraint_manager &cm) const;295 equiv_class &get_obj (constraint_manager &cm) const;422 const equiv_class &get_equiv_class_by_index (unsigned idx) const426 equiv_class &get_equiv_class_by_index (unsigned idx)431 equiv_class &get_equiv_class (const svalue *sval)487 auto_delete_vec<equiv_class> m_equiv_classes;
1063 equiv_class::equiv_class () in equiv_class() function in ana::equiv_class1070 equiv_class::equiv_class (const equiv_class &other) in equiv_class() function in ana::equiv_class1082 equiv_class::print (pretty_printer *pp) const in print()1107 equiv_class::to_json () const in to_json()1132 equiv_class::hash () const in hash()1148 equiv_class::operator== (const equiv_class &other) in operator ==()1170 equiv_class::add (const svalue *sval) in add()1189 equiv_class::del (const svalue *sval) in del()1215 equiv_class::get_representative () const in get_representative()1224 equiv_class::canonicalize () in canonicalize()[all …]
140 bool set_state (const equiv_class &ec,
83 class equiv_class; variable
1107 * constraint-manager.cc (equiv_class::contains_non_constant_p):1113 * constraint-manager.h (equiv_class::contains_non_constant_p):2537 * constraint-manager.cc (equiv_class::equiv_class): Likewise.2538 (equiv_class::to_json): Likewise.2539 (equiv_class::hash): Likewise.3503 (equiv_class::canonicalize): Use svalue::cmp_ptr_ptr instead.3813 (equiv_class::to_json): New.3816 * constraint-manager.h (equiv_class::to_json): New decl.4584 (equiv_class::equiv_class): Port from svalue_id to const svalue *.4585 (equiv_class::print): Likewise.[all …]
465 equiv_class &ec = model->get_constraints ()->get_equiv_class (sval); in set_state()475 sm_state_map::set_state (const equiv_class &ec, in set_state()
390 remat_equiv_class *equiv_class; member1104 gcc_checking_assert (!cand2->equiv_class); in record_equiv_candidates()1106 remat_equiv_class *ec = cand1->equiv_class; in record_equiv_candidates()1114 cand1->equiv_class = ec; in record_equiv_candidates()1116 cand2->equiv_class = ec; in record_equiv_candidates()1282 if (remat_equiv_class *ec = m_candidates[cand_index].equiv_class) in canon_candidate()1329 if (remat_equiv_class *ec = m_candidates[cand_index].equiv_class) in resolve_reaching_def()1607 remat_equiv_class *ec = cand->equiv_class; in stabilize_pattern()