path_oracle Class Reference

#include <value-relation.h>

Inheritance diagram for path_oracle:

Collaboration diagram for path_oracle:

Public Member Functions
	path_oracle (relation_oracle *oracle=NULL)
	~path_oracle ()
const_bitmap	equiv_set (tree, basic_block) final override
void	register_relation (basic_block, relation_kind, tree, tree) final override
void	killing_def (tree)
relation_kind	query_relation (basic_block, tree, tree) final override
relation_kind	query_relation (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	register_stmt (gimple *, relation_kind, tree, tree)
void	register_edge (edge, relation_kind, tree, tree)
relation_kind	validate_relation (relation_kind, tree, tree)
relation_kind	validate_relation (relation_kind, vrange &, vrange &)
void	debug () const

Protected Member Functions
virtual const class pe_slice *	partial_equiv_set (tree)
void	valid_equivs (bitmap b, const_bitmap equivs, basic_block bb)

Private Member Functions
void	register_equiv (basic_block bb, tree ssa1, tree ssa2)

Private Attributes
equiv_chain	m_equiv
relation_chain_head	m_relations
relation_oracle *	m_root
bitmap	m_killed_defs
bitmap_obstack	m_bitmaps
struct obstack	m_chain_obstack

Constructor & Destructor Documentation

path_oracle()

path_oracle::path_oracle

(

relation_oracle *

oracle = NULL

)

References BITMAP_ALLOC, bitmap_obstack_initialize(), ggc_alloc(), equiv_chain::m_bb, m_bitmaps, m_chain_obstack, m_equiv, relation_chain_head::m_head, m_killed_defs, equiv_chain::m_names, relation_chain_head::m_names, equiv_chain::m_next, m_relations, NULL, and set_root_oracle().

~path_oracle()

path_oracle::~path_oracle

(

)

References bitmap_obstack_release(), ggc_alloc(), m_bitmaps, m_chain_obstack, and NULL.

Member Function Documentation

debug()

void relation_oracle::debug ( ) const

inherited

References relation_oracle::dump(), and ggc_alloc().

dump() [1/2]

void path_oracle::dump ( FILE * f ) const

finaloverridevirtual

Implements relation_oracle.

References equiv_chain::dump(), ggc_alloc(), m_equiv, relation_chain_head::m_head, equiv_chain::m_next, and m_relations.

dump() [2/2]

void path_oracle::dump ( FILE * , basic_block  ) const

finaloverridevirtual

Implements relation_oracle.

Referenced by path_range_query::compute_ranges().

equiv_set()

const_bitmap path_oracle::equiv_set ( tree ssa, basic_block bb )

finaloverridevirtual

Implements relation_oracle.

References BITMAP_ALLOC, bitmap_set_bit, relation_oracle::equiv_set(), equiv_chain::find(), ggc_alloc(), m_bitmaps, m_equiv, equiv_chain::m_names, m_root, and SSA_NAME_VERSION.

Referenced by query_relation(), and register_equiv().

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, ggc_alloc(), equiv_chain::m_bb, m_bitmaps, m_chain_obstack, m_equiv, relation_chain_head::m_head, m_killed_defs, equiv_chain::m_names, relation_chain_head::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

Reimplemented in equiv_oracle.

References NULL.

Referenced by equiv_relation_iterator::equiv_relation_iterator(), and equiv_relation_iterator::get_name().

query_relation() [1/2]

relation_kind path_oracle::query_relation ( basic_block bb, const_bitmap b1, const_bitmap b2 )

finaloverridevirtual

Implements relation_oracle.

References bitmap_equal_p(), bitmap_intersect_p(), relation_chain_head::find_relation(), ggc_alloc(), m_killed_defs, m_relations, m_root, relation_oracle::query_relation(), VREL_EQ, and VREL_VARYING.

query_relation() [2/2]

relation_kind path_oracle::query_relation ( basic_block bb, tree ssa1, tree ssa2 )

finaloverridevirtual

Implements relation_oracle.

References bitmap_bit_p, equiv_set(), ggc_alloc(), query_relation(), SSA_NAME_VERSION, and VREL_EQ.

Referenced by query_relation(), and register_relation().

register_edge()

void relation_oracle::register_edge ( edge e, relation_kind k, tree op1, tree op2 )

inherited

References value_relation::dump(), dump_file, dump_flags, gcc_checking_assert, ggc_alloc(), relation_oracle::register_relation(), single_pred_p(), TDF_DETAILS, TREE_CODE, and VREL_VARYING.

Referenced by fur_depend::register_relation().

register_equiv()

void path_oracle::register_equiv ( basic_block bb, tree ssa1, tree ssa2 )

private

References b, BITMAP_ALLOC, bitmap_equal_p(), bitmap_ior_into(), equiv_set(), ggc_alloc(), 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 register_relation().

register_relation()

void path_oracle::register_relation ( basic_block bb, relation_kind k, tree ssa1, tree ssa2 )

finaloverridevirtual

Implements relation_oracle.

References bitmap_set_bit, value_relation::dump(), dump_file, dump_flags, ggc_alloc(), basic_block_def::index, m_chain_obstack, relation_chain_head::m_head, relation_chain_head::m_names, relation_chain::m_next, m_relations, query_relation(), register_equiv(), relation_intersect(), value_relation::set_relation(), SSA_NAME_VERSION, TDF_DETAILS, VREL_EQ, and VREL_VARYING.

register_stmt()

void relation_oracle::register_stmt ( gimple * stmt, relation_kind k, tree op1, tree op2 )

inherited

References value_relation::dump(), dump_file, dump_flags, gcc_checking_assert, ggc_alloc(), gimple_bb(), gimple_phi_result(), print_generic_expr(), print_gimple_stmt(), relation_oracle::register_relation(), SSA_NAME_DEF_STMT, TDF_DETAILS, TDF_SLIM, TREE_CODE, VREL_EQ, and VREL_VARYING.

Referenced by fur_depend::register_relation().

reset_path()

void path_oracle::reset_path

(

relation_oracle *

oracle = NULL

)

References bitmap_clear(), m_equiv, relation_chain_head::m_head, m_killed_defs, equiv_chain::m_names, relation_chain_head::m_names, equiv_chain::m_next, m_relations, NULL, and set_root_oracle().

Referenced by path_range_query::compute_ranges(), and path_range_query::compute_ranges_in_block().

set_root_oracle()

void path_oracle::set_root_oracle ( relation_oracle * oracle )

inline

References m_root.

Referenced by path_oracle(), and reset_path().

valid_equivs()

void relation_oracle::valid_equivs ( bitmap b, const_bitmap equivs, basic_block bb )

protectedinherited

References b, bitmap_set_bit, relation_oracle::equiv_set(), EXECUTE_IF_SET_IN_BITMAP, ggc_alloc(), i, ssa_name, and SSA_NAME_IN_FREE_LIST.

Referenced by equiv_oracle::register_equiv(), register_equiv(), and equiv_oracle::register_equiv().

validate_relation() [1/2]

relation_kind relation_oracle::validate_relation ( relation_kind rel, tree ssa1, tree ssa2 )

inherited

References ggc_alloc(), Value_Range::set_varying(), TREE_TYPE, and relation_oracle::validate_relation().

Referenced by relation_oracle::validate_relation().

validate_relation() [2/2]

relation_kind relation_oracle::validate_relation ( relation_kind rel, vrange & op1, vrange & op2 )

inherited

References boolean_type_node, range_op_handler::fold_range(), ggc_alloc(), relation_trio::op1_op2(), range_compatible_p(), relation_to_code, vrange::type(), vrange::undefined_p(), Value_Range::varying_p(), VREL_VARYING, and Value_Range::zero_p().

Field Documentation

m_bitmaps

bitmap_obstack path_oracle::m_bitmaps

private

Referenced by equiv_set(), killing_def(), path_oracle(), register_equiv(), and ~path_oracle().

m_chain_obstack

struct obstack path_oracle::m_chain_obstack

private

Referenced by killing_def(), path_oracle(), register_equiv(), register_relation(), and ~path_oracle().

m_equiv

equiv_chain path_oracle::m_equiv

private

Referenced by dump(), equiv_set(), killing_def(), path_oracle(), register_equiv(), and reset_path().

m_killed_defs

bitmap path_oracle::m_killed_defs

private

Referenced by killing_def(), path_oracle(), query_relation(), and reset_path().

m_relations

relation_chain_head path_oracle::m_relations

private

Referenced by dump(), killing_def(), path_oracle(), query_relation(), register_relation(), and reset_path().

m_root

relation_oracle* path_oracle::m_root

private

Referenced by equiv_set(), query_relation(), and set_root_oracle().

---

The documentation for this class was generated from the following files:

• value-relation.h
• value-relation.cc