GCC Middle and Back End API Reference
ipcp_vr_lattice Class Reference

#include <ipa-cp.h>

Collaboration diagram for ipcp_vr_lattice:
Collaboration graph
[legend]

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.

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.

Referenced by initialize_node_lattices().

◆ meet_with() [1/2]

bool ipcp_vr_lattice::meet_with ( const ipcp_vr_lattice & other)

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

Referenced by ipcp_store_vr_results().

Field Documentation

◆ m_vr

value_range ipcp_vr_lattice::m_vr

Referenced by bottom_p(), decide_whether_version_node(), init(), ipcp_store_vr_results(), meet_with_1(), print(), propagate_vr_across_jump_function(), set_to_bottom(), and top_p().

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