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

value_range ipcp_vr_lattice::m_vr

Referenced by bottom_p(), decide_whether_version_node(), init(), ipcp_store_vr_results(), meet_with(), 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:

• ipa-cp.h
• ipa-cp.cc