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 *, 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 () 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
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,
		const vec< basic_block > &	path )

References gcc_checking_assert, and m_entry.

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 jt_fur_source::query_relation ( tree op1, tree op2 )

overridevirtual

Reimplemented from fur_stmt.

References m_entry, fur_source::m_query, relation_oracle::query(), range_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(), 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 jt_fur_source::register_relation ( edge , relation_kind k, tree op1, tree op2 )

overridevirtual

Reimplemented from fur_depend.

References m_entry, fur_source::m_query, relation_oracle::record(), and range_query::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 m_entry, fur_source::m_query, relation_oracle::record(), and range_query::relation().

Field Documentation

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_entry

basic_block jt_fur_source::m_entry

private

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

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(), query_relation(), fur_source::register_outgoing_edges(), fur_depend::register_relation(), fur_depend::register_relation(), register_relation(), and 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().

---

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

• gimple-range-path.cc