dom_oracle Class Reference

#include <value-relation.h>

Inheritance diagram for dom_oracle:

Collaboration diagram for dom_oracle:

Data Structures
struct	related
struct	frontier_element

Public Member Functions
	dom_oracle ()
	~dom_oracle ()
bool	record (basic_block bb, relation_kind k, tree op1, tree op2) final override
relation_kind	query (basic_block bb, tree ssa1, tree ssa2) final override
relation_kind	query (basic_block bb, const_bitmap b1, const_bitmap b2) final override
void	clear (tree name) 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
bool	record (gimple *, relation_kind, tree, tree)
bool	record (edge, relation_kind, tree, tree)
relation_kind	partial_equiv (tree ssa1, tree ssa2, tree *base=NULL) const
relation_kind	query (gimple *s, tree ssa1, tree ssa2)
relation_kind	query (edge e, tree ssa1, tree ssa2)
void	debug () const

Protected Member Functions
virtual relation_chain *	next_relation (basic_block, relation_chain *, tree) const override
relation_kind	find_relation_block (unsigned bb, const_bitmap b1, const_bitmap b2) const
relation_kind	find_relation_block (int bb, tree ssa1, tree ssa2, relation_chain **obj=NULL) const
relation_kind	find_relation_dom (basic_block bb, tree ssa1, tree ssa2) const
relation_chain *	create_relation_in_bb (basic_block bb, relation_kind k, tree op1, tree op2)
relation_chain *	search_and_merge_relation (basic_block bb, relation_kind k, tree op1, tree op2)
void	record_relation_block (unsigned v, unsigned bbi)
relation_kind	recomputed_relation (basic_block, tree, tree) const
basic_block	nearest_relations (tree name, basic_block bb)
relation_kind	relation_search (basic_block, tree, const_bitmap, tree, const_bitmap)
void	cache_relation (basic_block, relation_kind, tree, tree)
void	start_search (frontier_data &side, tree root, const_bitmap equiv, basic_block bb)
void	add_to_frontier (frontier_data &side, tree name, relation_kind rel, basic_block bb)
bool	expand_frontier (frontier_element w, basic_block bb, relation_kind &result)
bool	add_partial_equiv (relation_kind, tree, tree)
const pe_slice *	partial_equiv_set (tree name) final override
bool	has_equiv_p (unsigned v)
void	valid_equivs (bitmap b, const_bitmap equivs, basic_block bb)

Protected Attributes
bitmap	m_tmp
bitmap	m_tmp2
bitmap	m_relation_set
vec< relation_chain_head >	m_relations
vec< bitmap >	m_block_list
vec< struct related >	m_near
frontier_data	m_lhs_search
frontier_data	m_rhs_search
vec< struct frontier_element >	m_worklist
unsigned	m_wl_ix
bitmap_obstack	m_bitmaps
struct obstack	m_chain_obstack
bitmap	m_lhs_equiv_set_p

Private Member Functions
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_equiv_block (unsigned v, unsigned bbi)
void	register_equiv_block (const_bitmap equiv, basic_block bb)
void	register_initial_def (tree ssa)
void	add_equiv_to_block (basic_block bb, bitmap equiv)

Private Attributes
bitmap	m_equiv_set
vec< equiv_chain * >	m_equiv
vec< name_info >	m_name_info
vec< pe_slice >	m_partial

Constructor & Destructor Documentation

dom_oracle()

dom_oracle::dom_oracle

(

)

References BITMAP_ALLOC, cfun, false, last_basic_block_for_fn, equiv_oracle::m_bitmaps, m_block_list, m_lhs_search, m_near, m_relation_set, m_relations, m_rhs_search, m_tmp, m_tmp2, m_wl_ix, m_worklist, num_ssa_names, and true.

Referenced by range_query::create_relation_oracle().

~dom_oracle()

dom_oracle::~dom_oracle

(

)

References m_block_list, m_near, m_relations, and m_worklist.

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_set(), gcc_checking_assert, basic_block_def::index, limit_check(), equiv_chain::m_bb, m_bitmaps, m_chain_obstack, m_equiv, equiv_chain::m_names, equiv_chain::m_next, NULL, and register_equiv_block().

Referenced by record(), and register_initial_def().

add_partial_equiv()

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

protectedinherited

References BITMAP_ALLOC, bitmap_set_bit, bits_to_pe(), pe_slice::code, EXECUTE_IF_SET_IN_BITMAP, gcc_checking_assert, has_zero_uses(), m_bitmaps, m_partial, pe_slice::members, num_ssa_names, pe_min(), pe_to_bits(), r, pe_slice::ssa_base, SSA_NAME_VERSION, TREE_TYPE, TYPE_PRECISION, and VREL_VARYING.

Referenced by record().

add_to_frontier()

void dom_oracle::add_to_frontier ( frontier_data & side, tree name, relation_kind rel, basic_block bb )

protected

References bitmap_set_bit, frontier_data::known_relation(), frontier_data::m_rhs, frontier_data::m_visited, m_worklist, relation_intersect(), frontier_data::set_known(), SSA_NAME_VERSION, frontier_data::visited_p(), and VREL_UNDEFINED.

Referenced by expand_frontier().

cache_relation()

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

protected

References relation_equiv_p(), search_and_merge_relation(), VREL_UNDEFINED, and VREL_VARYING.

Referenced by relation_search().

clear()

void dom_oracle::clear ( tree name )

overridevirtual

Reimplemented from relation_oracle.

References bitmap_bit_p, bitmap_clear(), bitmap_clear_bit(), equiv_oracle::clear(), EXECUTE_IF_SET_IN_BITMAP, gcc_checking_assert, m_block_list, m_relation_set, m_relations, and SSA_NAME_VERSION.

create_relation_in_bb()

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

protected

References BITMAP_ALLOC, bitmap_set_bit, cfun, find_relation_block(), gcc_checking_assert, basic_block_def::index, last_basic_block_for_fn, equiv_oracle::m_bitmaps, equiv_oracle::m_chain_obstack, relation_chain::m_next, m_relation_set, m_relations, NULL, record_relation_block(), value_relation::set_relation(), SSA_NAME_VERSION, and VREL_VARYING.

Referenced by search_and_merge_relation().

debug()

void relation_oracle::debug ( ) const

inherited

References dump().

dump() [1/2]

void dom_oracle::dump ( FILE * f ) const

finaloverridevirtual

Reimplemented from relation_oracle.

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

dump() [2/2]

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

finaloverridevirtual

Reimplemented from relation_oracle.

References equiv_oracle::dump(), value_relation::dump(), FOR_EACH_RELATION_BB, basic_block_def::index, and m_relations.

Referenced by dump().

equiv_set()

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

finaloverridevirtualinherited

Reimplemented from relation_oracle.

References BITMAP_ALLOC, bitmap_set_bit, find_equiv_dom(), m_bitmaps, m_name_info, equiv_chain::m_names, num_ssa_names, and SSA_NAME_VERSION.

Referenced by add_equiv_to_block(), dom_oracle::query(), query(), record(), and register_initial_def().

expand_frontier()

bool dom_oracle::expand_frontier ( frontier_element w, basic_block bb, relation_kind & result )

protected

References add_to_frontier(), value_relation::apply_transitive(), CDI_DOMINATORS, dump_file, fputc(), get_immediate_dominator(), gimple_bb(), i, value_relation::kind(), frontier_data::known_relation(), m_lhs_search, m_near, m_rhs_search, frontier_data::m_root, m_worklist, nearest_relations(), value_relation::op2(), print_generic_expr(), print_relation(), RANGER_DEBUG_RELATION, relation_swap(), relation_transitive(), SSA_NAME_DEF_STMT, SSA_NAME_VERSION, TDF_SLIM, and VREL_VARYING.

Referenced by relation_search().

find_equiv_block()

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

privateinherited

References m_equiv, and NULL.

Referenced by 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, find_equiv_block(), get_immediate_dominator(), basic_block_def::index, m_equiv_set, NULL, and SSA_NAME_VERSION.

Referenced by equiv_set(), record(), and register_initial_def().

find_relation_block() [1/2]

relation_kind dom_oracle::find_relation_block ( int bb, tree ssa1, tree ssa2, relation_chain ** obj = NULL ) const

protected

References bitmap_bit_p, 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

protected

References m_relations, and VREL_VARYING.

Referenced by create_relation_in_bb(), find_relation_dom(), query(), and search_and_merge_relation().

find_relation_dom()

relation_kind dom_oracle::find_relation_dom ( basic_block bb, tree ssa1, tree ssa2 ) const

protected

References bitmap_bit_p, CDI_DOMINATORS, find_relation_block(), get_immediate_dominator(), m_relation_set, r, SSA_NAME_VERSION, and VREL_VARYING.

Referenced by search_and_merge_relation().

has_equiv_p()

bool equiv_oracle::has_equiv_p ( unsigned v )

inlineprotectedinherited

References bitmap_bit_p, and m_equiv_set.

Referenced by dom_oracle::query().

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 m_equiv.

Referenced by add_equiv_to_block().

nearest_relations()

basic_block dom_oracle::nearest_relations ( tree name, basic_block bb )

protected

References bitmap_bit_p, CDI_DOMINATORS, get_immediate_dominator(), gimple_bb(), basic_block_def::index, m_near, m_relation_set, m_relations, NULL, relation_swap(), SSA_NAME_DEF_STMT, SSA_NAME_IN_FREE_LIST, SSA_NAME_VERSION, and TREE_CODE.

Referenced by expand_frontier().

next_relation()

relation_chain * dom_oracle::next_relation ( basic_block bb, relation_chain * ptr, tree name ) const

overrideprotectedvirtual

Reimplemented from relation_oracle.

References basic_block_def::index, relation_chain::m_next, m_relations, NULL, value_relation::op1(), and value_relation::op2().

partial_equiv()

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

inherited

References pe_slice::code, m_partial, pe_slice::members, pe_min(), pe_slice::ssa_base, SSA_NAME_VERSION, and VREL_VARYING.

Referenced by dump(), dom_oracle::query(), and query().

partial_equiv_set()

const pe_slice * equiv_oracle::partial_equiv_set ( tree name )

finaloverrideprotectedvirtualinherited

Reimplemented from relation_oracle.

References m_partial, NULL, and SSA_NAME_VERSION.

query() [1/4]

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

finaloverridevirtual

Reimplemented from relation_oracle.

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

query() [2/4]

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

finaloverridevirtual

Reimplemented from relation_oracle.

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

query() [3/4]

relation_kind relation_oracle::query ( edge e, tree ssa1, tree ssa2 )

inherited

References query(), single_pred_p(), TREE_CODE, and VREL_VARYING.

query() [4/4]

relation_kind relation_oracle::query ( gimple * s, tree ssa1, tree ssa2 )

inherited

References gimple_bb(), query(), TREE_CODE, and VREL_VARYING.

Referenced by check_for_binary_op_overflow(), simplify_using_ranges::fold_cond_with_ops(), path_oracle::query(), path_oracle::query(), query(), query(), fur_stmt::query_relation(), jt_fur_source::query_relation(), fold_using_range::range_of_phi(), and simplify_using_ranges::simplify_compare_using_ranges_1().

recomputed_relation()

relation_kind dom_oracle::recomputed_relation ( basic_block orig_bb, tree ssa1, tree ssa2 ) const

protected

References gimple_range_op_handler::calc_op1(), gimple_range_op_handler::calc_op2(), CDI_DOMINATORS, cfun, dominated_by_p(), gimple_outgoing_range::edge_range_p(), FOR_EACH_EDGE, FOR_EACH_IMM_USE_FAST, get_range_query(), gimple_bb(), gimple_num_ops(), gimple_range_ssa_p(), range_query::gori(), range_query::gori_ssa(), range_def_chain::in_chain_p(), gori_map::is_export_p(), is_gimple_assign(), gimple_range_op_handler::lhs(), NULL, range_op_handler::op1_op2_relation(), op1_range(), op2_range(), gimple_range_op_handler::operand1(), gimple_range_op_handler::operand2(), r, range_query::range_on_entry(), relation_intersect(), relation_swap(), single_pred_p(), SSA_NAME_DEF_STMT, basic_block_def::succs, TREE_TYPE, USE_STMT, VREL_EQ, VREL_UNDEFINED, and VREL_VARYING.

Referenced by relation_search().

record() [1/3]

bool dom_oracle::record ( basic_block bb, relation_kind k, tree op1, tree op2 )

finaloverridevirtual

Reimplemented from relation_oracle.

References NULL, equiv_oracle::record(), relation_equiv_p(), search_and_merge_relation(), and VREL_UNDEFINED.

record() [2/3]

bool relation_oracle::record ( edge e, relation_kind k, tree op1, tree op2 )

inherited

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

record() [3/3]

bool relation_oracle::record ( gimple * stmt, relation_kind k, tree op1, tree op2 )

inherited

References bitmap_set_bit, value_relation::dump(), dump_file, dump_flags, gcc_checking_assert, gimple_bb(), gimple_get_lhs(), gimple_phi_result(), is_a(), m_lhs_equiv_set_p, print_gimple_stmt(), record(), relation_equiv_p(), SSA_NAME_DEF_STMT, SSA_NAME_VERSION, TDF_DETAILS, TDF_SLIM, TREE_CODE, VREL_EQ, and VREL_VARYING.

Referenced by path_range_query::maybe_register_phi_relation(), record(), record(), fur_depend::register_relation(), fur_depend::register_relation(), jt_fur_source::register_relation(), and jt_fur_source::register_relation().

record_relation_block()

void dom_oracle::record_relation_block ( unsigned v, unsigned bbi )

protected

References BITMAP_ALLOC, bitmap_set_bit, equiv_oracle::m_bitmaps, m_block_list, and num_ssa_names.

Referenced by create_relation_in_bb().

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(), basic_block_def::index, equiv_chain::m_bb, m_bitmaps, m_equiv, equiv_chain::m_names, NULL, register_equiv_block(), 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, basic_block_def::index, equiv_chain::m_bb, m_bitmaps, m_equiv, m_equiv_set, equiv_chain::m_names, NULL, register_equiv_block(), and relation_oracle::valid_equivs().

Referenced by record().

register_equiv_block() [1/2]

void equiv_oracle::register_equiv_block ( const_bitmap equiv, basic_block bb )

privateinherited

References EXECUTE_IF_SET_IN_BITMAP, basic_block_def::index, and register_equiv_block().

register_equiv_block() [2/2]

void equiv_oracle::register_equiv_block ( unsigned v, unsigned bbi )

privateinherited

References BITMAP_ALLOC, bitmap_set_bit, m_bitmaps, m_name_info, and num_ssa_names.

Referenced by add_equiv_to_block(), register_equiv(), register_equiv(), and register_equiv_block().

register_initial_def()

void equiv_oracle::register_initial_def ( tree ssa )

privateinherited

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

Referenced by record().

relation_search()

relation_kind dom_oracle::relation_search ( basic_block bb, tree lhs, const_bitmap lhs_equiv, tree rhs, const_bitmap rhs_equiv )

protected

References cache_relation(), frontier_data::clear_search(), dump_file, expand_frontier(), basic_block_def::index, m_lhs_search, m_rhs_search, m_wl_ix, m_worklist, print_generic_expr(), print_relation(), RANGER_DEBUG_RELATION, recomputed_relation(), relation_intersect(), start_search(), TDF_SLIM, VREL_UNDEFINED, and VREL_VARYING.

Referenced by query().

search_and_merge_relation()

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

protected

References CDI_DOMINATORS, create_relation_in_bb(), find_relation_block(), find_relation_dom(), gcc_checking_assert, get_immediate_dominator(), basic_block_def::index, value_relation::intersect(), NULL, relation_intersect(), value_relation::set_relation(), VREL_EQ, VREL_UNDEFINED, and VREL_VARYING.

Referenced by cache_relation(), and record().

start_search()

void dom_oracle::start_search ( frontier_data & side, tree root, const_bitmap equiv, basic_block bb )

protected

References bitmap_set_bit, EXECUTE_IF_SET_IN_BITMAP, i, frontier_data::m_rhs, frontier_data::m_root, frontier_data::m_visited, m_worklist, frontier_data::set_known(), ssa_name, SSA_NAME_IN_FREE_LIST, SSA_NAME_VERSION, and VREL_EQ.

Referenced by relation_search().

valid_equivs()

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

protectedinherited

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

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

Field Documentation

m_bitmaps

bitmap_obstack equiv_oracle::m_bitmaps

protectedinherited

Referenced by add_equiv_to_block(), add_partial_equiv(), dom_oracle::create_relation_in_bb(), dom_oracle::dom_oracle(), equiv_oracle(), equiv_set(), record(), dom_oracle::record_relation_block(), register_equiv(), register_equiv(), register_equiv_block(), register_initial_def(), and ~equiv_oracle().

m_block_list

vec<bitmap> dom_oracle::m_block_list

protected

Referenced by clear(), dom_oracle(), record_relation_block(), and ~dom_oracle().

m_chain_obstack

struct obstack equiv_oracle::m_chain_obstack

protectedinherited

Referenced by add_equiv_to_block(), dom_oracle::create_relation_in_bb(), equiv_oracle(), and ~equiv_oracle().

m_equiv

vec<equiv_chain *> equiv_oracle::m_equiv

privateinherited

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

m_equiv_set

bitmap equiv_oracle::m_equiv_set

privateinherited

Referenced by clear(), equiv_oracle(), find_equiv_dom(), has_equiv_p(), record(), register_equiv(), and register_initial_def().

m_lhs_equiv_set_p

bitmap relation_oracle::m_lhs_equiv_set_p

protectedinherited

Referenced by equiv_oracle::equiv_oracle(), record(), and relation_oracle().

m_lhs_search

frontier_data dom_oracle::m_lhs_search

protected

Referenced by dom_oracle(), expand_frontier(), and relation_search().

m_name_info

vec<name_info> equiv_oracle::m_name_info

privateinherited

Referenced by clear(), equiv_oracle(), equiv_set(), register_equiv_block(), and ~equiv_oracle().

m_near

vec<struct related> dom_oracle::m_near

protected

Referenced by dom_oracle(), expand_frontier(), nearest_relations(), and ~dom_oracle().

m_partial

vec<pe_slice> equiv_oracle::m_partial

privateinherited

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

m_relation_set

bitmap dom_oracle::m_relation_set

protected

Referenced by clear(), create_relation_in_bb(), dom_oracle(), find_relation_dom(), nearest_relations(), query(), and query().

m_relations

vec<relation_chain_head> dom_oracle::m_relations

protected

Referenced by clear(), create_relation_in_bb(), dom_oracle(), dump(), dump(), find_relation_block(), find_relation_block(), nearest_relations(), next_relation(), and ~dom_oracle().

m_rhs_search

frontier_data dom_oracle::m_rhs_search

protected

Referenced by dom_oracle(), expand_frontier(), and relation_search().

m_tmp

bitmap dom_oracle::m_tmp

protected

Referenced by dom_oracle().

m_tmp2

bitmap dom_oracle::m_tmp2

protected

Referenced by dom_oracle().

m_wl_ix

unsigned dom_oracle::m_wl_ix

protected

Referenced by dom_oracle(), and relation_search().

m_worklist

vec<struct frontier_element> dom_oracle::m_worklist

protected

Referenced by add_to_frontier(), dom_oracle(), expand_frontier(), relation_search(), start_search(), and ~dom_oracle().

---

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

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