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

dump()

void value_range::dump

(

FILE *

out

)

const

References vrange::dump(), and m_vrange.

Referenced by assume_query::calculate_op(), assume_query::calculate_phi(), gimple_infer_range::check_assume_func(), ipa_vr::dump(), gimple_ranger::dump_bb(), ranger_cache::fill_block_cache(), ipa_record_return_value_range(), ipcp_update_vr(), ipcp_vr_lattice::print(), ranger_cache::propagate_cache(), fold_using_range::range_of_call(), fold_using_range::range_of_cond_expr(), fold_using_range::range_of_phi(), set_range_info(), and assume_query::update_parms().

get_bitmask()

irange_bitmask value_range::get_bitmask ( ) const

inline

References vrange::get_bitmask(), and m_vrange.

Referenced by ipcp_get_parm_bits(), ipcp_update_vr(), and propagate_bits_across_jump_function().

init() [1/2]

void value_range::init ( const vrange & r )

inlineprivate

References as_a(), value_range::buffer_type::floats, 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, frange::supports_p(), irange::supports_p(), prange::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 assume_query::calculate_phi(), fold_using_range::condexpr_adjust(), ranger_cache::fill_block_cache(), gori_compute::logical_combine(), ssa_cache::merge_range(), gimple_ranger::prefill_stmt_dependencies(), remove_unreachable::remove_and_update_globals(), and set_range_info().

lbound()

tree value_range::lbound ( ) const

inline

References vrange::lbound(), and m_vrange.

Referenced by record_nonwrapping_iv().

nonzero_p()

bool value_range::nonzero_p ( ) const

inline

References m_vrange, and vrange::nonzero_p().

Referenced by execute_ranger_vrp(), and 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().

Referenced by ranger_cache::fill_block_cache(), and ranger_cache::propagate_cache().

set_varying()

void value_range::set_varying ( tree type )

inline

References m_vrange, and vrange::set_varying().

Referenced by gimple_range_op_handler::calc_op1(), gimple_range_op_handler::calc_op2(), gori_compute::compute_operand_range(), evaluate_conditions_for_known_args(), execute_ranger_vrp(), range_query::get_tree_range(), ipa_compute_jump_functions_for_edge(), ipa_vr_operation_and_type_effects(), ipcp_store_vr_results(), op1_range(), op2_range(), propagate_vr_across_jump_function(), range_cast(), range_cast(), ranger_cache::range_from_dom(), fold_using_range::range_of_range_op(), fur_source::register_outgoing_edges(), remove_unreachable::remove_and_update_globals(), set_range_info(), ipcp_vr_lattice::set_to_bottom(), and assume_query::update_parms().

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

Referenced by fold_using_range::range_of_cond_expr(), and fold_using_range::range_of_phi().

supports_type_p()

bool value_range::supports_type_p ( const_tree type )

inlinestatic

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

Referenced by path_range_query::add_to_exit_dependencies(), gimple_infer_range::check_assume_func(), hybrid_jt_simplifier::compute_exit_dependencies(), fold_using_range::condexpr_adjust(), 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(), ipa_vr_intersect_with_arith_jfunc(), vrange_storage::set_vrange(), and ipa_vr::streamer_read().

ubound()

tree value_range::ubound ( ) const

inline

References m_vrange, and vrange::ubound().

Referenced by record_nonwrapping_iv().

undefined_p()

bool value_range::undefined_p ( ) const

inline

References m_vrange, and vrange::undefined_p().

Referenced by assume_query::calculate_phi(), evaluate_conditions_for_known_args(), evaluate_properties_for_edge(), ipa_compute_jump_functions_for_edge(), ipa_vr_intersect_with_arith_jfunc(), ipcp_get_parm_bits(), ipcp_update_vr(), propagate_bits_across_jump_function(), propagate_vr_across_jump_function(), fold_using_range::range_of_phi(), record_nonwrapping_iv(), set_range_info(), and ipcp_vr_lattice::top_p().

union_()

bool value_range::union_ ( const vrange & r )

inline

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

Referenced by execute_ranger_vrp(), gori_compute::logical_combine(), ipcp_vr_lattice::meet_with_1(), ranger_cache::propagate_cache(), fold_using_range::range_of_cond_expr(), fold_using_range::range_of_phi(), and assume_query::update_parms().

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

varying_p()

bool value_range::varying_p ( ) const

inline

References m_vrange, and vrange::varying_p().

Referenced by assume_query::assume_query(), ipcp_vr_lattice::bottom_p(), assume_query::calculate_op(), gimple_infer_range::check_assume_func(), gimple_ranger::dump_bb(), evaluate_conditions_for_known_args(), evaluate_properties_for_edge(), execute_ranger_vrp(), gimple_infer_range::gimple_infer_range(), ipa_compute_jump_functions_for_edge(), ipa_vr_intersect_with_arith_jfunc(), ipcp_get_parm_bits(), ipcp_update_vr(), propagate_bits_across_jump_function(), ranger_cache::propagate_cache(), propagate_vr_across_jump_function(), fold_using_range::range_of_phi(), record_nonwrapping_iv(), gimple_ranger::register_inferred_ranges(), and ipcp_vr_lattice::set_to_bottom().

zero_p()

bool value_range::zero_p ( ) const

inline

References m_vrange, and vrange::zero_p().

Referenced by fold_using_range::range_of_cond_expr().

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