GCC Middle and Back End API Reference
fur_edge Class Reference
Inheritance diagram for fur_edge:
Collaboration diagram for fur_edge:

Public Member Functions

 fur_edge (edge e, range_query *q=NULL)
 
virtual bool get_operand (vrange &r, tree expr) override
 
virtual bool get_phi_operand (vrange &r, tree expr, edge e) override
 
range_queryquery ()
 
class gori_computegori ()
 
virtual relation_kind query_relation (tree op1, tree op2)
 
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)
 
void register_outgoing_edges (gcond *, irange &lhs_range, edge e0, edge e1)
 

Protected Attributes

range_querym_query
 
gori_computem_gori
 

Private Attributes

edge m_edge
 

Constructor & Destructor Documentation

◆ fur_edge()

fur_edge::fur_edge ( edge e,
range_query * q = NULL )
inline

References m_edge.

Member Function Documentation

◆ get_operand()

bool fur_edge::get_operand ( vrange & r,
tree expr )
overridevirtual

Reimplemented from fur_source.

References m_edge, fur_source::m_query, r, and range_query::range_on_edge().

◆ get_phi_operand()

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

◆ gori()

◆ query()

◆ query_relation()

relation_kind fur_source::query_relation ( tree op1,
tree op2 )
virtualinherited

Reimplemented in fur_stmt, and jt_fur_source.

References VREL_VARYING.

Referenced by fold_using_range::range_of_range_op().

◆ register_outgoing_edges()

◆ register_relation() [1/2]

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

Reimplemented in fur_relation, fur_depend, and jt_fur_source.

◆ register_relation() [2/2]

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

Field Documentation

◆ m_edge

edge fur_edge::m_edge
private

◆ m_gori

gori_compute* fur_source::m_gori
protectedinherited

◆ m_query


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