jt_fur_source Class Reference

Inheritance diagram for jt_fur_source:

Collaboration diagram for jt_fur_source:

Public Member Functions
	jt_fur_source (gimple *s, path_range_query *, gori_compute *, const vec< basic_block > &)
relation_kind	query_relation (tree op1, tree op2) override
void	register_relation (gimple *, relation_kind, tree op1, tree op2) override
void	register_relation (edge, relation_kind, tree op1, tree op2) override
virtual bool	get_operand (vrange &r, tree expr) override
virtual bool	get_phi_operand (vrange &r, tree expr, edge e) override
range_query *	query ()
class gori_compute *	gori ()
void	register_outgoing_edges (gcond *, irange &lhs_range, edge e0, edge e1)

Protected Attributes
relation_oracle *	m_oracle
range_query *	m_query
gori_compute *	m_gori

Private Attributes
basic_block	m_entry
gimple *	m_stmt

Constructor & Destructor Documentation

jt_fur_source()

jt_fur_source::jt_fur_source	(	gimple *	s,
		path_range_query *	query,
		gori_compute *	gori,
		const vec< basic_block > &	path )

References CDI_DOMINATORS, dom_info_available_p(), gcc_checking_assert, m_entry, fur_depend::m_oracle, NULL, range_query::oracle(), and fur_source::query().

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

get_phi_operand()

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

overridevirtualinherited

Reimplemented from fur_source.

References ggc_alloc(), fur_source::m_query, and r.

gori()

class gori_compute * fur_source::gori ( )

inlineinherited

References fur_source::m_gori.

Referenced by fur_depend::fur_depend(), fold_using_range::range_of_address(), fold_using_range::range_of_cond_expr(), fold_using_range::range_of_phi(), fold_using_range::range_of_range_op(), fur_source::register_outgoing_edges(), and fold_using_range::relation_fold_and_or().

query()

range_query * fur_source::query ( )

inlineinherited

References fur_source::m_query.

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

query_relation()

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

overridevirtual

Reimplemented from fur_stmt.

References m_entry, fur_depend::m_oracle, relation_oracle::query_relation(), TREE_CODE, and VREL_VARYING.

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(), ggc_alloc(), gimple_bb(), gimple_range_ssa_p(), fur_source::gori(), 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(), SSA_NAME_DEF_STMT, TREE_CODE, TREE_TYPE, and VREL_VARYING.

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

register_relation() [1/2]

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

overridevirtual

Reimplemented from fur_depend.

References ggc_alloc(), m_entry, fur_depend::m_oracle, and relation_oracle::register_relation().

register_relation() [2/2]

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

overridevirtual

Reimplemented from fur_depend.

References ggc_alloc(), m_entry, fur_depend::m_oracle, and relation_oracle::register_relation().

Field Documentation

m_entry

basic_block jt_fur_source::m_entry

private

Referenced by jt_fur_source(), query_relation(), register_relation(), and register_relation().

m_gori

gori_compute* fur_source::m_gori

protectedinherited

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

m_oracle

relation_oracle* fur_depend::m_oracle

protectedinherited

Referenced by fur_depend::fur_depend(), jt_fur_source(), query_relation(), fur_depend::register_relation(), register_relation(), register_relation(), and fur_depend::register_relation().

m_query

range_query* fur_source::m_query

protectedinherited

Referenced by fur_source::fur_source(), fur_source::get_operand(), fur_edge::get_operand(), fur_list::get_operand(), fur_stmt::get_operand(), fur_source::get_phi_operand(), fur_edge::get_phi_operand(), fur_stmt::get_phi_operand(), fur_source::query(), fur_stmt::query_relation(), and fur_source::register_outgoing_edges().

m_stmt

gimple* fur_stmt::m_stmt

privateinherited

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

---

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

• gimple-range-path.cc