Value_Range Class Reference

#include <value-range.h>

Collaboration diagram for Value_Range:

Data Structures
union	buffer_type

Public Member Functions
	Value_Range ()
	Value_Range (const vrange &r)
	Value_Range (tree type)
	Value_Range (tree, tree, value_range_kind kind=VR_RANGE)
	Value_Range (const Value_Range &)
	~Value_Range ()
void	set_type (tree type)
vrange &	operator= (const vrange &)
Value_Range &	operator= (const Value_Range &)
bool	operator== (const Value_Range &r) const
bool	operator!= (const Value_Range &r) const
	operator vrange & ()
	operator const vrange & () const
void	dump (FILE *) const
tree	type ()
bool	varying_p () const
bool	undefined_p () const
void	set_varying (tree type)
void	set_undefined ()
bool	union_ (const vrange &r)
bool	intersect (const vrange &r)
bool	contains_p (tree cst) const
bool	singleton_p (tree *result=NULL) const
void	set_zero (tree type)
void	set_nonzero (tree type)
bool	nonzero_p () const
bool	zero_p () const
tree	lbound () const
tree	ubound () const
irange_bitmask	get_bitmask () const
void	update_bitmask (const class irange_bitmask &bm)
void	accept (const vrange_visitor &v) const

Static Public Member Functions
static bool	supports_type_p (const_tree type)

Private Member Functions
void	init (tree type)
void	init (const vrange &)

Private Attributes
vrange *	m_vrange
union Value_Range::buffer_type	m_buffer

Constructor & Destructor Documentation

Value_Range() [1/5]

Value_Range::Value_Range ( )

inline

References m_vrange, and NULL.

Value_Range() [2/5]

Value_Range::Value_Range ( const vrange & r )

inline

References init(), and r.

Value_Range() [3/5]

Value_Range::Value_Range ( tree type )

inline

References init().

Value_Range() [4/5]

Value_Range::Value_Range ( tree min, tree max, value_range_kind kind = VR_RANGE )

inline

References init(), m_vrange, vrange::set(), and TREE_TYPE.

Value_Range() [5/5]

Value_Range::Value_Range ( const Value_Range & r )

inline

References init(), and r.

~Value_Range()

Value_Range::~Value_Range ( )

inline

References m_vrange, and vrange::~vrange().

Member Function Documentation

accept()

void Value_Range::accept ( const vrange_visitor & v ) const

inline

References vrange::accept(), and m_vrange.

contains_p()

bool Value_Range::contains_p ( tree cst ) const

inline

References vrange::contains_p(), ggc_alloc(), and m_vrange.

dump()

void Value_Range::dump

(

FILE *

out

)

const

References vrange::dump(), ggc_alloc(), and m_vrange.

Referenced by gori_compute::compute_operand1_range(), gori_compute::compute_operand2_range(), ipa_vr::dump(), gimple_ranger::dump_bb(), ipa_record_return_value_range(), ipcp_vr_lattice::print(), fold_using_range::range_of_call(), and dom_ranger::range_of_stmt().

get_bitmask()

irange_bitmask Value_Range::get_bitmask ( ) const

inline

References vrange::get_bitmask(), and m_vrange.

Referenced by propagate_bits_across_jump_function().

init() [1/2]

void Value_Range::init ( const vrange & r )

inlineprivate

References Value_Range::buffer_type::floats, ggc_alloc(), Value_Range::buffer_type::ints, is_a< frange >(), is_a< irange >(), is_a< prange >(), m_buffer, m_vrange, Value_Range::buffer_type::pointers, r, and Value_Range::buffer_type::unsupported.

init() [2/2]

void Value_Range::init ( tree type )

inlineprivate

References Value_Range::buffer_type::floats, gcc_checking_assert, Value_Range::buffer_type::ints, m_buffer, m_vrange, Value_Range::buffer_type::pointers, irange::supports_p(), prange::supports_p(), frange::supports_p(), TYPE_P, and Value_Range::buffer_type::unsupported.

Referenced by operator=(), set_type(), Value_Range(), Value_Range(), Value_Range(), and Value_Range().

intersect()

bool Value_Range::intersect ( const vrange & r )

inline

References vrange::intersect(), m_vrange, and r.

Referenced by gori_compute::logical_combine(), propagate_vr_across_jump_function(), and fold_using_range::range_of_call().

lbound()

tree Value_Range::lbound ( ) const

inline

References vrange::lbound(), and m_vrange.

nonzero_p()

bool Value_Range::nonzero_p ( ) const

inline

References m_vrange, and vrange::nonzero_p().

Referenced by ipa_compute_jump_functions_for_edge().

operator const vrange &()

Value_Range::operator const vrange & ( ) const

inline

operator vrange &()

Value_Range::operator vrange & ( )

inline

operator!=()

bool Value_Range::operator!= ( const Value_Range & r ) const

inline

References m_vrange, and r.

operator=() [1/2]

Value_Range & Value_Range::operator= ( const Value_Range & r )

inline

References r.

operator=() [2/2]

vrange & Value_Range::operator= ( const vrange & r )

inline

References init(), m_vrange, r, and vrange::~vrange().

operator==()

bool Value_Range::operator== ( const Value_Range & r ) const

inline

References m_vrange, and r.

set_nonzero()

void Value_Range::set_nonzero ( tree type )

inline

References m_vrange, and vrange::set_nonzero().

Referenced by ipa_compute_jump_functions_for_edge().

set_type()

void Value_Range::set_type ( tree type )

inline

References init(), m_vrange, and vrange::~vrange().

Referenced by gori_compute::compute_operand1_and_operand2_range(), gori_compute::compute_operand_range(), gori_stmt_info::gori_stmt_info(), ipcp_vr_lattice::init(), ipcp_vr_lattice::set_to_bottom(), and streamer_read_value_range().

set_undefined()

void Value_Range::set_undefined ( )

inline

References m_vrange, and vrange::set_undefined().

set_varying()

void Value_Range::set_varying ( tree type )

inline

References m_vrange, and vrange::set_varying().

Referenced by evaluate_conditions_for_known_args(), ipa_compute_jump_functions_for_edge(), ipcp_vr_lattice::set_to_bottom(), and relation_oracle::validate_relation().

set_zero()

void Value_Range::set_zero ( tree type )

inline

References m_vrange, and vrange::set_zero().

singleton_p()

bool Value_Range::singleton_p ( tree * result = NULL ) const

inline

References m_vrange, and vrange::singleton_p().

supports_type_p()

bool Value_Range::supports_type_p ( const_tree type )

inlinestatic

References irange::supports_p(), prange::supports_p(), and frange::supports_p().

Referenced by path_range_query::add_to_exit_dependencies(), gimple_infer_range::check_assume_func(), hybrid_jt_simplifier::compute_exit_dependencies(), assume_query::dump(), evaluate_conditions_for_known_args(), execute_ranger_vrp(), range_query::get_tree_range(), gimple_range_ssa_p(), gimple_range_type(), loop_static_stmt_p(), gimple_range_op_handler::maybe_builtin_call(), op1_range(), range_query::value_of_expr(), range_query::value_of_stmt(), range_query::value_on_edge(), range_query::value_on_entry(), and range_query::value_on_exit().

type()

tree Value_Range::type ( )

inline

References m_vrange, and vrange::type().

Referenced by evaluate_conditions_for_known_args(), and ipa_vr::streamer_read().

ubound()

tree Value_Range::ubound ( ) const

inline

References m_vrange, and vrange::ubound().

undefined_p()

bool Value_Range::undefined_p ( ) const

inline

References m_vrange, and vrange::undefined_p().

Referenced by evaluate_conditions_for_known_args(), evaluate_properties_for_edge(), ipa_compute_jump_functions_for_edge(), propagate_bits_across_jump_function(), propagate_vr_across_jump_function(), and ipcp_vr_lattice::top_p().

union_()

bool Value_Range::union_ ( const vrange & r )

inline

References m_vrange, r, and vrange::union_().

Referenced by ipcp_vr_lattice::meet_with_1().

update_bitmask()

void Value_Range::update_bitmask ( const class irange_bitmask & bm )

inline

References m_vrange, and vrange::update_bitmask().

Referenced by ipa_compute_jump_functions_for_edge().

varying_p()

bool Value_Range::varying_p ( ) const

inline

References m_vrange, and vrange::varying_p().

Referenced by ipcp_vr_lattice::bottom_p(), gimple_ranger::dump_bb(), evaluate_conditions_for_known_args(), evaluate_properties_for_edge(), propagate_bits_across_jump_function(), propagate_vr_across_jump_function(), ipcp_vr_lattice::set_to_bottom(), and relation_oracle::validate_relation().

zero_p()

bool Value_Range::zero_p ( ) const

inline

References m_vrange, and vrange::zero_p().

Referenced by relation_oracle::validate_relation().

Field Documentation

m_buffer

union Value_Range::buffer_type Value_Range::m_buffer

private

Referenced by init(), and init().

m_vrange

vrange* Value_Range::m_vrange

private

Referenced by accept(), contains_p(), dump(), get_bitmask(), init(), init(), intersect(), lbound(), nonzero_p(), operator!=(), operator=(), operator==(), set_nonzero(), set_type(), set_undefined(), set_varying(), set_zero(), singleton_p(), type(), ubound(), undefined_p(), union_(), update_bitmask(), Value_Range(), Value_Range(), varying_p(), zero_p(), and ~Value_Range().

---

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

• value-range.h
• value-range.cc