fur_relation Class Reference

Inheritance diagram for fur_relation:

Collaboration diagram for fur_relation:

Public Member Functions
	fur_relation (gimple *s, range_query *q=NULL)
virtual void	register_relation (gimple *stmt, relation_kind k, tree op1, tree op2)
virtual void	register_relation (edge e, relation_kind k, tree op1, tree op2)
relation_trio	trio () const
virtual bool	get_operand (vrange &r, tree expr) override
virtual bool	get_phi_operand (vrange &r, tree expr, edge e) override
virtual relation_kind	query_relation (tree op1, tree op2) override
range_query *	query () const
gori_map *	gori_ssa () const
class gimple_outgoing_range *	gori ()
void	register_outgoing_edges (gcond *, irange &lhs_range, edge e0, edge e1)

Protected Attributes
range_query *	m_query
bool	m_depend_p

Private Attributes
relation_kind	def_op1
relation_kind	def_op2
relation_kind	op1_op2
gimple *	m_stmt

Constructor & Destructor Documentation

fur_relation()

fur_relation::fur_relation	(	gimple *	s,
		range_query *	q = NULL )

References def_op1, def_op2, op1_op2, and VREL_VARYING.

Member Function Documentation

get_operand()

bool fur_stmt::get_operand ( vrange & r, tree expr )

overridevirtualinherited

Reimplemented from fur_source.

References fur_source::m_query, fur_stmt::m_stmt, r, and range_query::range_of_expr().

Referenced by gori_stmt_info::gori_stmt_info(), op1_range(), and op2_range().

get_phi_operand()

bool fur_stmt::get_phi_operand ( vrange & r, tree expr, edge e )

overridevirtualinherited

Reimplemented from fur_source.

References fur_edge::get_operand(), fur_source::m_query, and r.

gori()

class gimple_outgoing_range * fur_source::gori ( )

inlineinherited

References range_query::gori(), fur_source::m_depend_p, fur_source::m_query, and NULL.

Referenced by assume_query::calculate_op(), fold_using_range::condexpr_adjust(), fur_source::register_outgoing_edges(), and fold_using_range::relation_fold_and_or().

gori_ssa()

gori_map * fur_source::gori_ssa ( ) const

inlineinherited

References range_query::gori_ssa(), fur_source::m_depend_p, fur_source::m_query, and NULL.

Referenced by fold_using_range::condexpr_adjust(), fold_using_range::range_of_address(), fold_using_range::range_of_phi(), fold_using_range::range_of_range_op(), and fur_source::register_outgoing_edges().

query()

range_query * fur_source::query ( ) const

inlineinherited

References fur_source::m_query.

Referenced by fold_using_range::range_of_phi(), and fold_using_range::range_of_ssa_name_with_loop_info().

query_relation()

relation_kind fur_stmt::query_relation ( tree op1, tree op2 )

overridevirtualinherited

Reimplemented from fur_source.

Reimplemented in jt_fur_source.

References fur_source::m_query, fur_stmt::m_stmt, relation_oracle::query(), and range_query::relation().

register_outgoing_edges()

void fur_source::register_outgoing_edges ( gcond * s, irange & lhs_range, edge e0, edge e1 )

inherited

References FOR_EACH_GORI_EXPORT_NAME, gcond_edge_range(), gimple_bb(), gimple_range_ssa_p(), fur_source::gori(), fur_source::gori_ssa(), irange::intersect(), fur_source::m_query, NULL, range_op_handler::op1_op2_relation(), gimple_range_op_handler::operand1(), gimple_range_op_handler::operand2(), r, fur_source::register_relation(), value_range::set_varying(), SSA_NAME_DEF_STMT, TREE_CODE, TREE_TYPE, vrange::undefined_p(), and VREL_VARYING.

Referenced by path_range_query::compute_outgoing_relations(), and fold_using_range::range_of_range_op().

register_relation() [1/2]

void fur_relation::register_relation ( edge e, relation_kind k, tree op1, tree op2 )

virtual

Reimplemented from fur_source.

register_relation() [2/2]

void fur_relation::register_relation ( gimple * stmt, relation_kind k, tree op1, tree op2 )

virtual

Reimplemented from fur_source.

References def_op1, def_op2, gimple_assign_rhs1(), gimple_assign_rhs2(), gimple_cond_lhs(), gimple_cond_rhs(), gimple_get_lhs(), gimple_num_ops(), NULL_TREE, op1_op2, and relation_swap().

trio()

relation_trio fur_relation::trio

(

)

const

References def_op1, def_op2, and op1_op2.

Referenced by fold_relations().

Field Documentation

def_op1

relation_kind fur_relation::def_op1

private

Referenced by fur_relation(), register_relation(), and trio().

def_op2

relation_kind fur_relation::def_op2

private

Referenced by fur_relation(), register_relation(), and trio().

m_depend_p

bool fur_source::m_depend_p

protectedinherited

Referenced by fur_depend::fur_depend(), fur_source::fur_source(), fur_source::gori(), and fur_source::gori_ssa().

m_query

range_query* fur_source::m_query

protectedinherited

Referenced by fur_source::fur_source(), fur_edge::get_operand(), fur_list::get_operand(), fur_source::get_operand(), fur_stmt::get_operand(), fur_edge::get_phi_operand(), fur_source::get_phi_operand(), fur_stmt::get_phi_operand(), fur_source::gori(), fur_source::gori_ssa(), fur_source::query(), fur_stmt::query_relation(), jt_fur_source::query_relation(), fur_source::register_outgoing_edges(), fur_depend::register_relation(), fur_depend::register_relation(), jt_fur_source::register_relation(), and jt_fur_source::register_relation().

m_stmt

gimple* fur_stmt::m_stmt

privateinherited

Referenced by fur_stmt::fur_stmt(), fur_stmt::get_operand(), and fur_stmt::query_relation().

op1_op2

relation_kind fur_relation::op1_op2

private

Referenced by fur_relation(), register_relation(), and trio().

---

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

• gimple-range-fold.cc