dom_oracle Class Reference

#include <value-relation.h>

Inheritance diagram for dom_oracle:

Collaboration diagram for dom_oracle:

Public Member Functions
	dom_oracle ()
	~dom_oracle ()
void	register_relation (basic_block bb, relation_kind k, tree op1, tree op2) final override
relation_kind	query_relation (basic_block bb, tree ssa1, tree ssa2) final override
relation_kind	query_relation (basic_block bb, const_bitmap b1, const_bitmap b2) final override
void	dump (FILE *f, basic_block bb) const final override
void	dump (FILE *f) const final override
const_bitmap	equiv_set (tree ssa, basic_block bb) final override
const pe_slice *	partial_equiv_set (tree name) final override
void	add_partial_equiv (relation_kind, tree, tree)
relation_kind	partial_equiv (tree ssa1, tree ssa2, tree *base=NULL) const
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
bool	has_equiv_p (unsigned v)
void	valid_equivs (bitmap b, const_bitmap equivs, basic_block bb)

Protected Attributes
bitmap_obstack	m_bitmaps
struct obstack	m_chain_obstack

Private Member Functions
relation_kind	find_relation_block (unsigned bb, const_bitmap b1, const_bitmap b2) const
relation_kind	find_relation_block (int bb, unsigned v1, unsigned v2, relation_chain **obj=NULL) const
relation_kind	find_relation_dom (basic_block bb, unsigned v1, unsigned v2) const
relation_chain *	set_one_relation (basic_block bb, relation_kind k, tree op1, tree op2)
void	register_transitives (basic_block, const class value_relation &)
void	limit_check (basic_block bb=NULL)
equiv_chain *	find_equiv_block (unsigned ssa, int bb) const
equiv_chain *	find_equiv_dom (tree name, basic_block bb) const
bitmap	register_equiv (basic_block bb, unsigned v, equiv_chain *equiv_1)
bitmap	register_equiv (basic_block bb, equiv_chain *equiv_1, equiv_chain *equiv_2)
void	register_initial_def (tree ssa)
void	add_equiv_to_block (basic_block bb, bitmap equiv)

Private Attributes
bitmap	m_tmp
bitmap	m_tmp2
bitmap	m_relation_set
vec< relation_chain_head >	m_relations
bitmap	m_equiv_set
vec< equiv_chain * >	m_equiv
vec< bitmap >	m_self_equiv
vec< pe_slice >	m_partial

Constructor & Destructor Documentation

dom_oracle()

dom_oracle::dom_oracle

(

)

References BITMAP_ALLOC, cfun, last_basic_block_for_fn, equiv_oracle::m_bitmaps, m_relation_set, m_relations, m_tmp, and m_tmp2.

~dom_oracle()

dom_oracle::~dom_oracle

(

)

References m_relations.

Member Function Documentation

add_equiv_to_block()

void equiv_oracle::add_equiv_to_block ( basic_block bb, bitmap equiv )

privateinherited

References BITMAP_ALLOC, bitmap_copy(), bitmap_ior_into(), equiv_oracle::equiv_set(), gcc_checking_assert, ggc_alloc(), basic_block_def::index, equiv_oracle::limit_check(), equiv_chain::m_bb, equiv_oracle::m_bitmaps, equiv_oracle::m_chain_obstack, equiv_oracle::m_equiv, equiv_chain::m_names, equiv_chain::m_next, and NULL.

Referenced by equiv_oracle::register_initial_def(), and equiv_oracle::register_relation().

add_partial_equiv()

void equiv_oracle::add_partial_equiv ( relation_kind r, tree op1, tree op2 )

inherited

References BITMAP_ALLOC, bitmap_set_bit, bits_to_pe(), EXECUTE_IF_SET_IN_BITMAP, gcc_checking_assert, ggc_alloc(), has_zero_uses(), equiv_oracle::m_bitmaps, equiv_oracle::m_partial, num_ssa_names, pe_min(), pe_to_bits(), r, SSA_NAME_VERSION, TREE_TYPE, TYPE_PRECISION, and VREL_VARYING.

Referenced by equiv_oracle::register_relation().

debug()

void relation_oracle::debug ( ) const

inherited

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

dump() [1/2]

void dom_oracle::dump ( FILE * f ) const

finaloverridevirtual

Implements relation_oracle.

References BASIC_BLOCK_FOR_FN, cfun, dump(), ggc_alloc(), i, and m_relations.

dump() [2/2]

void dom_oracle::dump ( FILE * f, basic_block bb ) const

finaloverridevirtual

Implements relation_oracle.

References value_relation::dump(), equiv_oracle::dump(), ggc_alloc(), basic_block_def::index, relation_chain::m_next, and m_relations.

Referenced by dump().

equiv_set()

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

finaloverridevirtualinherited

Implements relation_oracle.

References BITMAP_ALLOC, bitmap_set_bit, equiv_oracle::find_equiv_dom(), ggc_alloc(), equiv_oracle::m_bitmaps, equiv_oracle::m_self_equiv, num_ssa_names, and SSA_NAME_VERSION.

Referenced by equiv_oracle::add_equiv_to_block(), query_relation(), equiv_oracle::query_relation(), equiv_oracle::register_initial_def(), equiv_oracle::register_relation(), and register_transitives().

find_equiv_block()

equiv_chain * equiv_oracle::find_equiv_block ( unsigned ssa, int bb ) const

privateinherited

References equiv_oracle::m_equiv, and NULL.

Referenced by equiv_oracle::find_equiv_dom().

find_equiv_dom()

equiv_chain * equiv_oracle::find_equiv_dom ( tree name, basic_block bb ) const

privateinherited

References bitmap_bit_p, CDI_DOMINATORS, equiv_oracle::find_equiv_block(), get_immediate_dominator(), basic_block_def::index, equiv_oracle::m_equiv_set, NULL, and SSA_NAME_VERSION.

Referenced by equiv_oracle::equiv_set(), equiv_oracle::register_initial_def(), and equiv_oracle::register_relation().

find_relation_block() [1/2]

relation_kind dom_oracle::find_relation_block ( int bb, unsigned v1, unsigned v2, relation_chain ** obj = NULL ) const

private

References bitmap_bit_p, ggc_alloc(), value_relation::kind(), relation_chain::m_next, m_relations, value_relation::op1(), value_relation::op2(), relation_swap(), SSA_NAME_VERSION, and VREL_VARYING.

find_relation_block() [2/2]

relation_kind dom_oracle::find_relation_block ( unsigned bb, const_bitmap b1, const_bitmap b2 ) const

private

References ggc_alloc(), m_relations, and VREL_VARYING.

Referenced by find_relation_dom(), query_relation(), and set_one_relation().

find_relation_dom()

relation_kind dom_oracle::find_relation_dom ( basic_block bb, unsigned v1, unsigned v2 ) const

private

References bitmap_bit_p, CDI_DOMINATORS, find_relation_block(), get_immediate_dominator(), ggc_alloc(), basic_block_def::index, m_relation_set, r, and VREL_VARYING.

Referenced by query_relation(), and set_one_relation().

has_equiv_p()

bool equiv_oracle::has_equiv_p ( unsigned v )

inlineprotectedinherited

References bitmap_bit_p, and equiv_oracle::m_equiv_set.

Referenced by query_relation().

limit_check()

void equiv_oracle::limit_check ( basic_block bb = NULL )

privateinherited

References cfun, i, basic_block_def::index, last_basic_block_for_fn, and equiv_oracle::m_equiv.

Referenced by equiv_oracle::add_equiv_to_block().

partial_equiv()

relation_kind equiv_oracle::partial_equiv ( tree ssa1, tree ssa2, tree * base = NULL ) const

inherited

References ggc_alloc(), equiv_oracle::m_partial, pe_min(), SSA_NAME_VERSION, and VREL_VARYING.

Referenced by equiv_oracle::dump(), query_relation(), and equiv_oracle::query_relation().

partial_equiv_set()

const pe_slice * equiv_oracle::partial_equiv_set ( tree name )

finaloverridevirtualinherited

Reimplemented from relation_oracle.

References equiv_oracle::m_partial, NULL, and SSA_NAME_VERSION.

query_relation() [1/2]

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

finaloverridevirtual

Implements relation_oracle.

References bitmap_equal_p(), bitmap_intersect_p(), CDI_DOMINATORS, find_relation_block(), get_immediate_dominator(), ggc_alloc(), basic_block_def::index, m_relation_set, r, VREL_EQ, and VREL_VARYING.

query_relation() [2/2]

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

finaloverridevirtual

Implements relation_oracle.

References bitmap_bit_p, equiv_oracle::equiv_set(), find_relation_dom(), ggc_alloc(), equiv_oracle::has_equiv_p(), m_relation_set, equiv_oracle::partial_equiv(), query_relation(), SSA_NAME_VERSION, VREL_EQ, and VREL_VARYING.

Referenced by query_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() [1/2]

bitmap equiv_oracle::register_equiv ( basic_block bb, equiv_chain * equiv_1, equiv_chain * equiv_2 )

privateinherited

References b, BITMAP_ALLOC, bitmap_clear(), bitmap_ior_into(), ggc_alloc(), basic_block_def::index, equiv_oracle::m_bitmaps, equiv_oracle::m_equiv, NULL, and relation_oracle::valid_equivs().

register_equiv() [2/2]

bitmap equiv_oracle::register_equiv ( basic_block bb, unsigned v, equiv_chain * equiv_1 )

privateinherited

References b, BITMAP_ALLOC, bitmap_set_bit, ggc_alloc(), basic_block_def::index, equiv_oracle::m_bitmaps, equiv_oracle::m_equiv, equiv_oracle::m_equiv_set, NULL, and relation_oracle::valid_equivs().

Referenced by equiv_oracle::register_relation().

register_initial_def()

void equiv_oracle::register_initial_def ( tree ssa )

privateinherited

References equiv_oracle::add_equiv_to_block(), BITMAP_ALLOC, bitmap_set_bit, equiv_oracle::equiv_set(), equiv_oracle::find_equiv_dom(), gcc_checking_assert, gimple_bb(), equiv_oracle::m_bitmaps, equiv_oracle::m_equiv_set, SSA_NAME_DEF_STMT, SSA_NAME_IS_DEFAULT_DEF, and SSA_NAME_VERSION.

Referenced by equiv_oracle::register_relation().

register_relation()

void dom_oracle::register_relation ( basic_block bb, relation_kind k, tree op1, tree op2 )

finaloverridevirtual

Implements relation_oracle.

References bitmap_bit_p, ggc_alloc(), m_relation_set, equiv_oracle::register_relation(), register_transitives(), relation_equiv_p(), set_one_relation(), and SSA_NAME_VERSION.

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().

register_transitives()

void dom_oracle::register_transitives ( basic_block , const class value_relation &  )

private

References bitmap_bit_p, bitmap_intersect_p(), CDI_DOMINATORS, dump_file, dump_flags, equiv_oracle::equiv_set(), fputc(), get_immediate_dominator(), ggc_alloc(), basic_block_def::index, relation_chain::m_next, m_relations, nr, NULL_TREE, value_relation::op1(), value_relation::op2(), set_one_relation(), SSA_NAME_VERSION, TDF_DETAILS, VREL_GE, VREL_GT, VREL_LE, and VREL_LT.

Referenced by register_relation().

set_one_relation()

relation_chain * dom_oracle::set_one_relation ( basic_block bb, relation_kind k, tree op1, tree op2 )

private

References BITMAP_ALLOC, bitmap_set_bit, cfun, value_relation::dump(), dump_file, dump_flags, find_relation_block(), find_relation_dom(), gcc_checking_assert, ggc_alloc(), basic_block_def::index, value_relation::intersect(), last_basic_block_for_fn, equiv_oracle::m_bitmaps, equiv_oracle::m_chain_obstack, relation_chain::m_next, m_relation_set, m_relations, NULL, relation_intersect(), value_relation::set_relation(), SSA_NAME_VERSION, TDF_DETAILS, VREL_EQ, and VREL_VARYING.

Referenced by register_relation(), and register_transitives().

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(), path_oracle::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 equiv_oracle::m_bitmaps

protectedinherited

Referenced by equiv_oracle::add_equiv_to_block(), equiv_oracle::add_partial_equiv(), dom_oracle(), equiv_oracle::equiv_oracle(), equiv_oracle::equiv_set(), equiv_oracle::register_equiv(), equiv_oracle::register_equiv(), equiv_oracle::register_initial_def(), equiv_oracle::register_relation(), set_one_relation(), and equiv_oracle::~equiv_oracle().

m_chain_obstack

struct obstack equiv_oracle::m_chain_obstack

protectedinherited

Referenced by equiv_oracle::add_equiv_to_block(), equiv_oracle::equiv_oracle(), set_one_relation(), and equiv_oracle::~equiv_oracle().

m_equiv

vec<equiv_chain *> equiv_oracle::m_equiv

privateinherited

Referenced by equiv_oracle::add_equiv_to_block(), equiv_oracle::dump(), equiv_oracle::dump(), equiv_oracle::equiv_oracle(), equiv_oracle::find_equiv_block(), equiv_oracle::limit_check(), equiv_oracle::register_equiv(), equiv_oracle::register_equiv(), and equiv_oracle::~equiv_oracle().

m_equiv_set

bitmap equiv_oracle::m_equiv_set

privateinherited

Referenced by equiv_oracle::equiv_oracle(), equiv_oracle::find_equiv_dom(), equiv_oracle::has_equiv_p(), equiv_oracle::register_equiv(), equiv_oracle::register_initial_def(), and equiv_oracle::register_relation().

m_partial

vec<pe_slice> equiv_oracle::m_partial

privateinherited

Referenced by equiv_oracle::add_partial_equiv(), equiv_oracle::dump(), equiv_oracle::equiv_oracle(), equiv_oracle::partial_equiv(), equiv_oracle::partial_equiv_set(), and equiv_oracle::~equiv_oracle().

m_relation_set

bitmap dom_oracle::m_relation_set

private

Referenced by dom_oracle(), find_relation_dom(), query_relation(), query_relation(), register_relation(), and set_one_relation().

m_relations

vec<relation_chain_head> dom_oracle::m_relations

private

Referenced by dom_oracle(), dump(), dump(), find_relation_block(), find_relation_block(), register_transitives(), set_one_relation(), and ~dom_oracle().

m_self_equiv

vec<bitmap> equiv_oracle::m_self_equiv

privateinherited

Referenced by equiv_oracle::equiv_oracle(), equiv_oracle::equiv_set(), and equiv_oracle::~equiv_oracle().

m_tmp

bitmap dom_oracle::m_tmp

private

Referenced by dom_oracle().

m_tmp2

bitmap dom_oracle::m_tmp2

private

Referenced by dom_oracle().

---

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

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