GCC Middle and Back End API Reference
relation_oracle Class Reference

#include <value-relation.h>

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

Public Member Functions

 relation_oracle ()
virtual ~relation_oracle ()
bool record (gimple *, relation_kind, tree, tree)
bool record (edge, relation_kind, tree, tree)
virtual bool record (basic_block, relation_kind, tree, tree)
relation_kind query (gimple *s, tree ssa1, tree ssa2)
relation_kind query (edge e, tree ssa1, tree ssa2)
virtual relation_kind query (basic_block, tree, tree)
virtual void clear (tree)
virtual void dump (FILE *, basic_block) const
virtual void dump (FILE *) const
void debug () const

Protected Member Functions

virtual class relation_chain * next_relation (basic_block, relation_chain *, tree) const
virtual const_bitmap equiv_set (tree, basic_block)
virtual const class pe_slice * partial_equiv_set (tree)
void valid_equivs (bitmap b, const_bitmap equivs, basic_block bb)
virtual relation_kind query (basic_block, const_bitmap, const_bitmap)

Protected Attributes

bitmap m_lhs_equiv_set_p

Friends

class equiv_relation_iterator
class block_relation_iterator
class path_oracle

Constructor & Destructor Documentation

◆ relation_oracle()

relation_oracle::relation_oracle ( )
inline

References m_lhs_equiv_set_p, and NULL.

Referenced by path_oracle::path_oracle(), path_oracle::reset_path(), and path_oracle::set_root_oracle().

◆ ~relation_oracle()

virtual relation_oracle::~relation_oracle ( )
inlinevirtual

Member Function Documentation

◆ clear()

virtual void relation_oracle::clear ( tree )
inlinevirtual

Reimplemented in dom_oracle, equiv_oracle, and path_oracle.

Referenced by path_oracle::clear(), and range_query::reset_range_info().

◆ debug()

void relation_oracle::debug ( ) const

References dump().

◆ dump() [1/2]

virtual void relation_oracle::dump ( FILE * ) const
inlinevirtual

Reimplemented in dom_oracle, equiv_oracle, and path_oracle.

◆ dump() [2/2]

virtual void relation_oracle::dump ( FILE * ,
basic_block  ) const
inlinevirtual

Reimplemented in dom_oracle, equiv_oracle, and path_oracle.

Referenced by debug(), and ranger_cache::dump_bb().

◆ equiv_set()

virtual const_bitmap relation_oracle::equiv_set ( tree ,
basic_block  )
inlineprotectedvirtual

Reimplemented in equiv_oracle, and path_oracle.

References NULL.

Referenced by equiv_relation_iterator::equiv_relation_iterator(), path_oracle::equiv_set(), and valid_equivs().

◆ next_relation()

virtual class relation_chain * relation_oracle::next_relation ( basic_block ,
relation_chain * ,
tree  ) const
inlineprotectedvirtual

Reimplemented in dom_oracle.

References NULL.

Referenced by block_relation_iterator::block_relation_iterator(), and block_relation_iterator::get_next_relation().

◆ partial_equiv_set()

virtual const class pe_slice * relation_oracle::partial_equiv_set ( tree )
inlineprotectedvirtual

Reimplemented in equiv_oracle.

References NULL.

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

◆ query() [1/4]

virtual relation_kind relation_oracle::query ( basic_block ,
const_bitmap ,
const_bitmap  )
inlineprotectedvirtual

Reimplemented in dom_oracle, equiv_oracle, and path_oracle.

References VREL_VARYING.

◆ query() [2/4]

virtual relation_kind relation_oracle::query ( basic_block ,
tree ,
tree  )
inlinevirtual

Reimplemented in dom_oracle, equiv_oracle, and path_oracle.

References VREL_VARYING.

◆ query() [3/4]

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

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

◆ query() [4/4]

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

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

◆ record() [1/3]

virtual bool relation_oracle::record ( basic_block ,
relation_kind ,
tree ,
tree  )
inlinevirtual

Reimplemented in dom_oracle, equiv_oracle, and path_oracle.

◆ record() [2/3]

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

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 )

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

◆ valid_equivs()

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

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

◆ block_relation_iterator

friend class block_relation_iterator
friend

References block_relation_iterator.

Referenced by block_relation_iterator.

◆ equiv_relation_iterator

friend class equiv_relation_iterator
friend

References equiv_relation_iterator.

Referenced by equiv_relation_iterator.

◆ path_oracle

friend class path_oracle
friend

References path_oracle.

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

Field Documentation

◆ m_lhs_equiv_set_p

bitmap relation_oracle::m_lhs_equiv_set_p
protected

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

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