GCC Middle and Back End API Reference
Public Member Functions | Protected Member Functions | Protected Attributes | Private Member Functions | Private Attributes
equiv_oracle Class Reference

#include <value-relation.h>

Inheritance diagram for equiv_oracle:
Inheritance graph
[legend]
Collaboration diagram for equiv_oracle:
Collaboration graph
[legend]

Public Member Functions

 equiv_oracle ()
 
 ~equiv_oracle ()
 
const_bitmap equiv_set (tree ssa, basic_block bb) final override
 
void record (basic_block bb, relation_kind k, tree ssa1, tree ssa2) override
 
relation_kind partial_equiv (tree ssa1, tree ssa2, tree *base=NULL) const
 
relation_kind query (basic_block, tree, tree) override
 
relation_kind query (basic_block, const_bitmap, const_bitmap) override
 
void dump (FILE *f, basic_block bb) const override
 
void dump (FILE *f) const 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
 

Protected Member Functions

void 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_obstack m_bitmaps
 
struct obstack m_chain_obstack
 

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_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< bitmap > m_self_equiv
 
vec< pe_slice > m_partial
 

Constructor & Destructor Documentation

◆ equiv_oracle()

equiv_oracle::equiv_oracle ( )

References BITMAP_ALLOC, bitmap_obstack_initialize(), bitmap_tree_view(), cfun, last_basic_block_for_fn, m_bitmaps, m_chain_obstack, m_equiv, m_equiv_set, m_partial, m_self_equiv, and num_ssa_names.

◆ ~equiv_oracle()

equiv_oracle::~equiv_oracle ( )

References bitmap_obstack_release(), m_bitmaps, m_chain_obstack, m_equiv, m_partial, m_self_equiv, and NULL.

Member Function Documentation

◆ add_equiv_to_block()

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

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, and NULL.

Referenced by record(), and register_initial_def().

◆ add_partial_equiv()

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

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

◆ debug()

void relation_oracle::debug ( ) const
inherited

References relation_oracle::dump().

◆ dump() [1/2]

void equiv_oracle::dump ( FILE * f) const
overridevirtual

Reimplemented from relation_oracle.

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

◆ dump() [2/2]

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

Reimplemented from relation_oracle.

References equiv_chain::dump(), value_relation::dump(), fputc(), gimple_bb(), gimple_range_ssa_p(), i, basic_block_def::index, m_equiv, equiv_chain::m_next, m_partial, num_ssa_names, partial_equiv(), ssa_name, SSA_NAME_DEF_STMT, and VREL_VARYING.

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

◆ equiv_set()

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

Reimplemented from relation_oracle.

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

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

◆ find_equiv_block()

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

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
private

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

◆ has_equiv_p()

bool equiv_oracle::has_equiv_p ( unsigned v)
inlineprotected

References bitmap_bit_p, and m_equiv_set.

Referenced by dom_oracle::query().

◆ limit_check()

void equiv_oracle::limit_check ( basic_block bb = NULL)
private

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

Referenced by add_equiv_to_block().

◆ partial_equiv()

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

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)
finaloverrideprotectedvirtual

Reimplemented from relation_oracle.

References m_partial, NULL, and SSA_NAME_VERSION.

◆ query() [1/4]

relation_kind equiv_oracle::query ( basic_block bb,
const_bitmap e1,
const_bitmap e2 )
overridevirtual

Reimplemented from relation_oracle.

References bitmap_equal_p(), VREL_EQ, and VREL_VARYING.

◆ query() [2/4]

relation_kind equiv_oracle::query ( basic_block bb,
tree ssa1,
tree ssa2 )
overridevirtual

Reimplemented from relation_oracle.

References equiv_set(), partial_equiv(), and VREL_EQ.

◆ query() [3/4]

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

References relation_oracle::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(), relation_oracle::query(), TREE_CODE, and VREL_VARYING.

Referenced by path_oracle::query(), relation_oracle::query(), relation_oracle::query(), fur_stmt::query_relation(), jt_fur_source::query_relation(), and fold_using_range::range_of_phi().

◆ record() [1/3]

void equiv_oracle::record ( basic_block bb,
relation_kind k,
tree ssa1,
tree ssa2 )
overridevirtual

Reimplemented from relation_oracle.

References add_equiv_to_block(), add_partial_equiv(), BITMAP_ALLOC, bitmap_bit_p, bitmap_set_bit, equiv_set(), find_equiv_dom(), m_bitmaps, m_equiv_set, register_equiv(), register_initial_def(), relation_partial_equiv_p(), SSA_NAME_VERSION, and VREL_EQ.

Referenced by dom_oracle::record().

◆ record() [2/3]

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

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

◆ record() [3/3]

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

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

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

◆ register_equiv() [1/2]

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

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, and relation_oracle::valid_equivs().

◆ register_equiv() [2/2]

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

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, and relation_oracle::valid_equivs().

Referenced by record().

◆ register_initial_def()

void equiv_oracle::register_initial_def ( tree ssa)
private

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

◆ 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, i, ssa_name, and SSA_NAME_IN_FREE_LIST.

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

Field Documentation

◆ m_bitmaps

bitmap_obstack equiv_oracle::m_bitmaps
protected

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

◆ m_chain_obstack

struct obstack equiv_oracle::m_chain_obstack
protected

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

◆ m_equiv

vec<equiv_chain *> equiv_oracle::m_equiv
private

Referenced by add_equiv_to_block(), 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
private

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

◆ m_partial

vec<pe_slice> equiv_oracle::m_partial
private

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

◆ m_self_equiv

vec<bitmap> equiv_oracle::m_self_equiv
private

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

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