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

#include <value-relation.h>

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

Public Member Functions

 dom_oracle (bool do_trans_p=true)
 
 ~dom_oracle ()
 
void 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 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
 
void record (gimple *, relation_kind, tree, tree)
 
void 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

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

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

bool m_do_trans_p
 
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 ( bool do_trans_p = true)

References BITMAP_ALLOC, cfun, last_basic_block_for_fn, equiv_oracle::m_bitmaps, m_do_trans_p, 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, 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::record(), and equiv_oracle::register_initial_def().

◆ add_partial_equiv()

void 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(), equiv_oracle::m_bitmaps, equiv_oracle::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 equiv_oracle::record().

◆ debug()

void relation_oracle::debug ( ) const
inherited

References relation_oracle::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(), 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

Reimplemented from relation_oracle.

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

Referenced by equiv_oracle::add_equiv_to_block(), query(), equiv_oracle::query(), equiv_oracle::record(), equiv_oracle::register_initial_def(), 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::record(), and equiv_oracle::register_initial_def().

◆ 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, 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 m_relations, and VREL_VARYING.

Referenced by find_relation_dom(), query(), 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(), basic_block_def::index, m_relation_set, r, and VREL_VARYING.

Referenced by query(), 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().

◆ 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 pe_slice::code, equiv_oracle::m_partial, pe_slice::members, pe_min(), pe_slice::ssa_base, SSA_NAME_VERSION, and VREL_VARYING.

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

◆ partial_equiv_set()

const pe_slice * equiv_oracle::partial_equiv_set ( tree name)
finaloverrideprotectedvirtualinherited

Reimplemented from relation_oracle.

References equiv_oracle::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(), find_relation_dom(), equiv_oracle::has_equiv_p(), m_relation_set, equiv_oracle::partial_equiv(), query(), SSA_NAME_VERSION, VREL_EQ, and VREL_VARYING.

Referenced by query().

◆ 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 dom_oracle::record ( basic_block bb,
relation_kind k,
tree op1,
tree op2 )
finaloverridevirtual

Reimplemented from relation_oracle.

References bitmap_bit_p, basic_block_def::index, m_relation_set, m_relations, equiv_oracle::record(), register_transitives(), relation_equiv_p(), set_one_relation(), and SSA_NAME_VERSION.

◆ 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 )
privateinherited

References b, BITMAP_ALLOC, bitmap_clear(), bitmap_ior_into(), basic_block_def::index, equiv_chain::m_bb, equiv_oracle::m_bitmaps, equiv_oracle::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 )
privateinherited

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

Referenced by equiv_oracle::record().

◆ 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::record().

◆ 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(), basic_block_def::index, value_relation::kind(), m_do_trans_p, 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 record().

◆ 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, 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 record(), 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, 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 equiv_oracle::add_equiv_to_block(), equiv_oracle::add_partial_equiv(), dom_oracle(), equiv_oracle::equiv_oracle(), equiv_oracle::equiv_set(), equiv_oracle::record(), equiv_oracle::register_equiv(), equiv_oracle::register_equiv(), equiv_oracle::register_initial_def(), 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_do_trans_p

bool dom_oracle::m_do_trans_p
private

Referenced by dom_oracle(), and register_transitives().

◆ 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::record(), equiv_oracle::register_equiv(), and equiv_oracle::register_initial_def().

◆ 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(), query(), record(), 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(), record(), 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: