#include <value-relation.h>
|
| path_oracle (relation_oracle *oracle=NULL) |
|
| ~path_oracle () |
|
const_bitmap | equiv_set (tree, basic_block) final override |
|
void | record (basic_block, relation_kind, tree, tree) final override |
|
void | killing_def (tree) |
|
relation_kind | query (basic_block, tree, tree) final override |
|
relation_kind | query (basic_block, const_bitmap, const_bitmap) final override |
|
void | reset_path (relation_oracle *oracle=NULL) |
|
void | set_root_oracle (relation_oracle *oracle) |
|
void | dump (FILE *, basic_block) const final override |
|
void | dump (FILE *) const final override |
|
void | record (gimple *, relation_kind, tree, tree) |
|
void | record (edge, relation_kind, tree, tree) |
|
relation_kind | query (gimple *s, tree ssa1, tree ssa2) |
|
relation_kind | query (edge e, tree ssa1, tree ssa2) |
|
void | debug () const |
|
◆ path_oracle()
◆ ~path_oracle()
path_oracle::~path_oracle |
( |
| ) |
|
◆ debug()
void relation_oracle::debug |
( |
| ) |
const |
|
inherited |
◆ dump() [1/2]
void path_oracle::dump |
( |
FILE * | f | ) |
const |
|
finaloverridevirtual |
◆ dump() [2/2]
◆ equiv_set()
◆ killing_def()
void path_oracle::killing_def |
( |
tree | ssa | ) |
|
References b, BITMAP_ALLOC, bitmap_bit_p, bitmap_clear_bit(), bitmap_set_bit, dump_file, dump_flags, gcc_checking_assert, equiv_chain::m_bb, m_bitmaps, m_chain_obstack, m_equiv, m_killed_defs, equiv_chain::m_names, equiv_chain::m_next, m_relations, NULL, print_generic_expr(), SSA_NAME_VERSION, TDF_DETAILS, and TDF_SLIM.
Referenced by path_range_query::maybe_register_phi_relation(), and path_range_query::range_defined_in_block().
◆ partial_equiv_set()
virtual const class pe_slice * relation_oracle::partial_equiv_set |
( |
tree | | ) |
|
|
inlineprotectedvirtualinherited |
◆ query() [1/4]
◆ query() [2/4]
◆ query() [3/4]
◆ query() [4/4]
◆ record() [1/3]
Reimplemented from relation_oracle.
References bitmap_set_bit, value_relation::dump(), dump_file, dump_flags, basic_block_def::index, m_chain_obstack, relation_chain::m_next, m_relations, query(), register_equiv(), relation_intersect(), value_relation::set_relation(), SSA_NAME_VERSION, TDF_DETAILS, VREL_EQ, and VREL_VARYING.
◆ record() [2/3]
◆ record() [3/3]
References value_relation::dump(), dump_file, dump_flags, gcc_checking_assert, gimple_bb(), gimple_phi_result(), is_a(), print_generic_expr(), print_gimple_stmt(), record(), SSA_NAME_DEF_STMT, TDF_DETAILS, TDF_SLIM, TREE_CODE, VREL_EQ, and VREL_VARYING.
Referenced by record(), and record().
◆ register_equiv()
References b, BITMAP_ALLOC, bitmap_equal_p(), bitmap_ior_into(), equiv_set(), equiv_chain::m_bb, m_bitmaps, m_chain_obstack, m_equiv, equiv_chain::m_names, equiv_chain::m_next, NULL, and relation_oracle::valid_equivs().
Referenced by record().
◆ reset_path()
◆ set_root_oracle()
◆ valid_equivs()
◆ m_bitmaps
◆ m_chain_obstack
struct obstack path_oracle::m_chain_obstack |
|
private |
◆ m_equiv
◆ m_killed_defs
bitmap path_oracle::m_killed_defs |
|
private |
◆ m_relations
◆ m_root
The documentation for this class was generated from the following files: