GCC Middle and Back End API Reference
ipcp_vr_lattice Class Reference

#include <ipa-cp.h>

Collaboration diagram for ipcp_vr_lattice:

Public Member Functions

bool bottom_p () const
 
bool top_p () const
 
bool set_to_bottom ()
 
bool meet_with (const vrange &p_vr)
 
bool meet_with (const ipcp_vr_lattice &other)
 
void init (tree type)
 
void print (FILE *f)
 

Data Fields

Value_Range m_vr
 

Private Member Functions

bool meet_with_1 (const vrange &other_vr)
 

Detailed Description

Lattice of value ranges.   

Member Function Documentation

◆ bottom_p()

bool ipcp_vr_lattice::bottom_p ( ) const
inline
Return true if value range information in the lattice is known to be
unusable.   

References m_vr, and Value_Range::varying_p().

Referenced by decide_whether_version_node(), ipcp_store_vr_results(), meet_with_1(), and propagate_vr_across_jump_function().

◆ init()

void ipcp_vr_lattice::init ( tree type)
inline

References m_vr, and Value_Range::set_type().

Referenced by initialize_node_lattices().

◆ meet_with() [1/2]

bool ipcp_vr_lattice::meet_with ( const ipcp_vr_lattice & other)

References m_vr, and meet_with_1().

◆ meet_with() [2/2]

bool ipcp_vr_lattice::meet_with ( const vrange & p_vr)
Meet the current value of the lattice with the range described by
P_VR.   

References meet_with_1().

Referenced by propagate_vr_across_jump_function().

◆ meet_with_1()

bool ipcp_vr_lattice::meet_with_1 ( const vrange & other_vr)
private
Meet the current value of the lattice with the range described by
OTHER_VR.  Return TRUE if anything changed.   

References bottom_p(), gcc_assert, m_vr, set_to_bottom(), Value_Range::union_(), and vrange::varying_p().

Referenced by meet_with(), and meet_with().

◆ print()

void ipcp_vr_lattice::print ( FILE * f)
Print value range lattice to F.   

References Value_Range::dump(), and m_vr.

Referenced by print_all_lattices().

◆ set_to_bottom()

bool ipcp_vr_lattice::set_to_bottom ( )
inline
Set value range information in the lattice to bottom.  Return true if it
previously was in a different state.   

References m_vr, Value_Range::set_type(), Value_Range::set_varying(), Value_Range::varying_p(), and void_type_node.

Referenced by initialize_node_lattices(), meet_with_1(), propagate_constants_across_call(), propagate_vr_across_jump_function(), and set_all_contains_variable().

◆ top_p()

bool ipcp_vr_lattice::top_p ( ) const
inline
Return true if value range information in the lattice is yet unknown.   

References m_vr, and Value_Range::undefined_p().

Referenced by ipcp_store_vr_results().

Field Documentation

◆ m_vr


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