frange Class Reference

#include <value-range.h>

Inheritance diagram for frange:

Collaboration diagram for frange:

Public Member Functions
	frange ()
	frange (const frange &)
	frange (tree, tree, value_range_kind=VR_RANGE)
	frange (tree type)
	frange (tree type, const REAL_VALUE_TYPE &min, const REAL_VALUE_TYPE &max, value_range_kind=VR_RANGE)
virtual tree	type () const override
void	set (tree type, const REAL_VALUE_TYPE &, const REAL_VALUE_TYPE &, value_range_kind=VR_RANGE)
void	set (tree type, const REAL_VALUE_TYPE &, const REAL_VALUE_TYPE &, const nan_state &, value_range_kind=VR_RANGE)
void	set_nan (tree type)
void	set_nan (tree type, bool sign)
void	set_nan (tree type, const nan_state &)
virtual void	set_varying (tree type) override
virtual void	set_undefined () override
virtual bool	union_ (const vrange &) override
virtual bool	intersect (const vrange &) override
bool	contains_p (const REAL_VALUE_TYPE &) const
virtual bool	singleton_p (tree *result=NULL) const override
bool	singleton_p (REAL_VALUE_TYPE &r) const
virtual bool	supports_type_p (const_tree type) const override
virtual void	accept (const vrange_visitor &v) const override
virtual bool	zero_p () const override
virtual bool	nonzero_p () const override
virtual void	set_nonzero (tree type) override
virtual void	set_zero (tree type) override
virtual void	set_nonnegative (tree type) override
virtual bool	fits_p (const vrange &) const override
frange &	operator= (const frange &)
bool	operator== (const frange &) const
bool	operator!= (const frange &r) const
const REAL_VALUE_TYPE &	lower_bound () const
const REAL_VALUE_TYPE &	upper_bound () const
virtual tree	lbound () const override
virtual tree	ubound () const override
nan_state	get_nan_state () const
void	update_nan ()
void	update_nan (bool sign)
void	update_nan (tree)=delete
void	update_nan (const nan_state &)
void	clear_nan ()
void	flush_denormals_to_zero ()
bool	known_isfinite () const
bool	known_isnan () const
bool	known_isinf () const
bool	maybe_isnan () const
bool	maybe_isnan (bool sign) const
bool	maybe_isinf () const
bool	signbit_p (bool &signbit) const
bool	nan_signbit_p (bool &signbit) const
virtual void	accept (const class vrange_visitor &v) const =0
virtual void	update_bitmask (const class irange_bitmask &)
virtual irange_bitmask	get_bitmask () const
wide_int	get_nonzero_bits () const
void	set_nonzero_bits (const wide_int &bits)
bool	varying_p () const
bool	undefined_p () const
bool	operator== (const vrange &) const
bool	operator!= (const vrange &r) const
void	dump (FILE *) const

Static Public Member Functions
static bool	supports_p (const_tree type)

Protected Member Functions
virtual bool	contains_p (tree cst) const override
virtual void	set (tree, tree, value_range_kind=VR_RANGE) override

Protected Attributes
enum value_range_kind	m_kind: 8
enum value_range_discriminator	m_discriminator: 4

Private Member Functions
bool	internal_singleton_p (REAL_VALUE_TYPE *=NULL) const
void	verify_range ()
bool	normalize_kind ()
bool	union_nans (const frange &)
bool	intersect_nans (const frange &)
bool	combine_zeros (const frange &, bool union_p)

Private Attributes
tree	m_type
REAL_VALUE_TYPE	m_min
REAL_VALUE_TYPE	m_max
bool	m_pos_nan
bool	m_neg_nan

Friends
class	frange_storage
class	vrange_printer

Constructor & Destructor Documentation

frange() [1/5]

frange::frange ( )

inline

References set_undefined().

frange() [2/5]

frange::frange ( const frange & src )

inline

frange() [3/5]

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

inline

References set().

frange() [4/5]

frange::frange ( tree type )

inline

References set_varying().

frange() [5/5]

frange::frange ( tree type, const REAL_VALUE_TYPE & min, const REAL_VALUE_TYPE & max, value_range_kind kind = VR_RANGE )

inline

References set().

Member Function Documentation

accept() [1/2]

virtual void vrange::accept ( const class vrange_visitor & v ) const

pure virtualinherited

Referenced by Value_Range::accept(), and vrange::dump().

accept() [2/2]

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

overridevirtual

References vrange_visitor::visit().

clear_nan()

void frange::clear_nan ( )

inline

References gcc_checking_assert, ggc_alloc(), m_neg_nan, m_pos_nan, normalize_kind(), vrange::undefined_p(), and verify_range().

Referenced by set_zero().

combine_zeros()

bool frange::combine_zeros ( const frange & r, bool union_p )

private

References changed, gcc_checking_assert, ggc_alloc(), known_isnan(), vrange::m_kind, m_max, m_min, maybe_isnan(), r, real_isneg(), real_iszero(), set_undefined(), vrange::undefined_p(), and VR_NAN.

Referenced by intersect(), and union_().

contains_p() [1/2]

bool frange::contains_p

(

const REAL_VALUE_TYPE &

r

)

const

References gcc_checking_assert, ggc_alloc(), HONOR_SIGNED_ZEROS(), known_isnan(), vrange::m_kind, m_max, m_min, m_neg_nan, m_pos_nan, m_type, r, real_compare(), real_isnan(), real_iszero(), vrange::undefined_p(), vrange::varying_p(), and VR_ANTI_RANGE.

Referenced by contains_p().

contains_p() [2/2]

bool frange::contains_p ( tree cst ) const

inlineoverrideprotectedvirtual

Implements vrange.

References contains_p(), ggc_alloc(), and TREE_REAL_CST_PTR.

dump()

void vrange::dump ( FILE * file ) const

inherited

References vrange::accept(), pretty_printer::buffer, ggc_alloc(), pp_flush(), pp_needs_newline, and output_buffer::stream.

Referenced by gori_compute::compute_operand1_range(), gori_compute::compute_operand2_range(), gori_compute::compute_operand_range(), phi_group::dump(), Value_Range::dump(), dump_strlen_info(), dump_value_range(), and gori_compute::logical_combine().

fits_p()

bool frange::fits_p ( const vrange & ) const

overridevirtual

Implements vrange.

flush_denormals_to_zero()

void frange::flush_denormals_to_zero

(

)

References dconst0, dconstm0, HONOR_SIGNED_ZEROS(), known_isnan(), m_max, m_min, m_type, real_isdenormal(), real_isneg(), TYPE_MODE, and vrange::undefined_p().

get_bitmask()

irange_bitmask vrange::get_bitmask ( ) const

virtualinherited

Reimplemented in prange, and irange.

References TYPE_PRECISION.

Referenced by Value_Range::get_bitmask(), and vrange::get_nonzero_bits().

get_nan_state()

nan_state frange::get_nan_state ( ) const

inline

Referenced by float_widen_lhs_range().

get_nonzero_bits()

wide_int vrange::get_nonzero_bits ( ) const

inherited

References gcc_checking_assert, vrange::get_bitmask(), irange_bitmask::mask(), vrange::undefined_p(), and irange_bitmask::value().

Referenced by operator_lt::fold_range(), operator_lt::fold_range(), and operator_bitwise_and::op1_range().

internal_singleton_p()

bool frange::internal_singleton_p ( REAL_VALUE_TYPE * result = NULL ) const

private

References ggc_alloc(), HONOR_NANS(), vrange::m_kind, m_max, m_min, m_type, maybe_isnan(), MODE_COMPOSITE_P, r, real_convert(), real_identical(), real_isinf(), REAL_VALUE_TYPE, TYPE_MODE, and VR_RANGE.

Referenced by singleton_p(), and singleton_p().

intersect()

bool frange::intersect ( const vrange & v )

overridevirtual

Implements vrange.

References changed, combine_zeros(), ggc_alloc(), HONOR_SIGNED_ZEROS(), intersect_nans(), known_isnan(), vrange::m_kind, m_max, m_min, m_neg_nan, m_pos_nan, m_type, maybe_isnan(), normalize_kind(), r, real_less(), set_undefined(), vrange::undefined_p(), vrange::varying_p(), verify_range(), and VR_NAN.

intersect_nans()

bool frange::intersect_nans ( const frange & r )

private

References gcc_checking_assert, ggc_alloc(), known_isnan(), vrange::m_kind, m_neg_nan, m_pos_nan, maybe_isnan(), r, set_undefined(), verify_range(), and VR_NAN.

Referenced by intersect().

known_isfinite()

bool frange::known_isfinite ( ) const

inline

References vrange::m_kind, m_max, m_min, maybe_isnan(), real_isinf(), vrange::undefined_p(), vrange::varying_p(), and VR_ANTI_RANGE.

known_isinf()

bool frange::known_isinf ( ) const

inline

References vrange::m_kind, m_max, m_min, maybe_isnan(), real_identical(), real_isinf(), and VR_RANGE.

known_isnan()

bool frange::known_isnan ( ) const

inline

References vrange::m_kind, and VR_NAN.

Referenced by build_ge(), build_gt(), build_le(), build_lt(), combine_zeros(), contains_p(), float_binary_op_range_finish(), float_widen_lhs_range(), flush_denormals_to_zero(), range_operator::fold_range(), operator_abs::fold_range(), operator_negate::fold_range(), operator_not_equal::fold_range(), operator_le::fold_range(), foperator_unordered_lt::fold_range(), foperator_unordered_le::fold_range(), foperator_unordered_gt::fold_range(), foperator_unordered_ge::fold_range(), foperator_unordered_equal::fold_range(), foperator_ltgt::fold_range(), foperator_unordered::fold_range(), foperator_ordered::fold_range(), operator_equal::fold_range(), operator_lt::fold_range(), operator_gt::fold_range(), operator_ge::fold_range(), intersect(), intersect_nans(), operator_abs::op1_range(), foperator_div::op1_range(), operator_mult::op1_range(), operator_le::op1_range(), foperator_unordered_lt::op1_range(), foperator_unordered::op1_range(), foperator_ordered::op1_range(), foperator_unordered_le::op1_range(), foperator_unordered_gt::op1_range(), foperator_unordered_ge::op1_range(), foperator_unordered_equal::op1_range(), foperator_ltgt::op1_range(), operator_equal::op1_range(), operator_not_equal::op1_range(), operator_lt::op1_range(), operator_gt::op1_range(), operator_ge::op1_range(), foperator_div::op2_range(), operator_le::op2_range(), foperator_unordered_lt::op2_range(), foperator_unordered_le::op2_range(), foperator_unordered_gt::op2_range(), foperator_unordered_ge::op2_range(), operator_lt::op2_range(), operator_gt::op2_range(), operator_ge::op2_range(), operator==(), signbit_p(), union_(), and union_nans().

lbound()

tree frange::lbound ( ) const

overridevirtual

Implements vrange.

References build_real(), and lower_bound().

lower_bound()

const REAL_VALUE_TYPE & frange::lower_bound ( ) const

inline

References gcc_checking_assert, and vrange::undefined_p().

Referenced by build_ge(), build_gt(), float_binary_op_range_finish(), float_widen_lhs_range(), range_operator::fold_range(), operator_abs::fold_range(), operator_negate::fold_range(), operator_not_equal::fold_range(), operator_le::fold_range(), operator_equal::fold_range(), operator_lt::fold_range(), operator_gt::fold_range(), operator_ge::fold_range(), lbound(), foperator_div::op1_range(), operator_mult::op1_range(), operator_equal::op1_range(), operator_not_equal::op1_range(), and foperator_div::op2_range().

maybe_isinf()

bool frange::maybe_isinf ( ) const

inline

References vrange::m_kind, m_max, m_min, real_isinf(), vrange::undefined_p(), vrange::varying_p(), VR_ANTI_RANGE, and VR_NAN.

maybe_isnan() [1/2]

bool frange::maybe_isnan ( ) const

inline

References m_neg_nan, m_pos_nan, and vrange::undefined_p().

Referenced by combine_zeros(), float_binary_op_range_finish(), range_operator::fold_range(), operator_abs::fold_range(), operator_negate::fold_range(), foperator_unordered_lt::fold_range(), foperator_unordered_le::fold_range(), foperator_unordered_gt::fold_range(), foperator_unordered_ge::fold_range(), foperator_unordered_equal::fold_range(), foperator_ltgt::fold_range(), foperator_unordered::fold_range(), foperator_ordered::fold_range(), internal_singleton_p(), intersect(), intersect_nans(), known_isfinite(), known_isinf(), maybe_isnan(), operator_le::op1_range(), foperator_unordered_lt::op1_range(), foperator_unordered::op1_range(), foperator_unordered_le::op1_range(), foperator_unordered_gt::op1_range(), foperator_unordered_ge::op1_range(), operator_equal::op1_range(), operator_lt::op1_range(), operator_gt::op1_range(), operator_ge::op1_range(), operator_le::op2_range(), foperator_unordered_lt::op2_range(), foperator_unordered_le::op2_range(), foperator_unordered_gt::op2_range(), foperator_unordered_ge::op2_range(), operator_lt::op2_range(), operator_gt::op2_range(), operator_ge::op2_range(), and verify_range().

maybe_isnan() [2/2]

bool frange::maybe_isnan ( bool sign ) const

inline

References m_neg_nan, m_pos_nan, and vrange::undefined_p().

nan_signbit_p()

bool frange::nan_signbit_p ( bool & signbit ) const

inline

References ggc_alloc(), m_neg_nan, m_pos_nan, and vrange::undefined_p().

Referenced by operator_negate::fold_range().

nonzero_p()

bool frange::nonzero_p ( ) const

overridevirtual

Implements vrange.

normalize_kind()

bool frange::normalize_kind ( )

private

References frange_val_is_max(), frange_val_is_min(), frange_val_max(), frange_val_min(), ggc_alloc(), HONOR_NANS(), vrange::m_kind, m_max, m_min, m_neg_nan, m_pos_nan, m_type, set_undefined(), set_varying(), verify_range(), VR_NAN, VR_RANGE, and VR_VARYING.

Referenced by clear_nan(), intersect(), set(), union_(), union_nans(), and update_nan().

operator!=() [1/2]

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

inline

References r.

operator!=() [2/2]

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

inlineinherited

References r.

operator=()

frange & frange::operator=

(

const frange &

src

)

References ggc_alloc(), vrange::m_kind, m_max, m_min, m_neg_nan, m_pos_nan, m_type, and verify_range().

operator==() [1/2]

bool frange::operator==

(

const frange &

src

)

const

References ggc_alloc(), known_isnan(), vrange::m_kind, m_max, m_min, m_neg_nan, m_pos_nan, m_type, real_identical(), types_compatible_p(), vrange::undefined_p(), and vrange::varying_p().

operator==() [2/2]

bool vrange::operator== ( const vrange & src ) const

inherited

References gcc_unreachable, ggc_alloc(), is_a< frange >(), is_a< irange >(), and is_a< prange >().

set() [1/3]

void frange::set	(	tree	type,
		const REAL_VALUE_TYPE &	min,
		const REAL_VALUE_TYPE &	max,
		const nan_state &	nan,
		value_range_kind	kind = VR_RANGE )

References frange_val_max(), frange_val_min(), gcc_checking_assert, gcc_unreachable, ggc_alloc(), HONOR_INFINITIES(), HONOR_NANS(), HONOR_SIGNED_ZEROS(), vrange::m_kind, m_max, m_min, m_neg_nan, m_pos_nan, m_type, MODE_HAS_SIGNED_ZEROS, normalize_kind(), real_compare(), real_isnan(), real_iszero(), real_less(), REAL_VALUE_TYPE, set_undefined(), set_varying(), type(), TYPE_MODE, VR_ANTI_RANGE, VR_RANGE, VR_UNDEFINED, and VR_VARYING.

set() [2/3]

void frange::set	(	tree	type,
		const REAL_VALUE_TYPE &	min,
		const REAL_VALUE_TYPE &	max,
		value_range_kind	kind = VR_RANGE )

References set().

Referenced by frange(), frange(), range_query::get_tree_range(), set(), set(), set_nonnegative(), and set_zero().

set() [3/3]

void frange::set ( tree min, tree max, value_range_kind kind = VR_RANGE )

overrideprotectedvirtual

Implements vrange.

References set(), TREE_REAL_CST_PTR, and TREE_TYPE.

set_nan() [1/3]

void frange::set_nan ( tree type )

inline

References ggc_alloc(), and set_nan().

Referenced by range_query::get_tree_range(), set_nan(), and set_nan().

set_nan() [2/3]

void frange::set_nan ( tree type, bool sign )

inline

References ggc_alloc(), and set_nan().

set_nan() [3/3]

void frange::set_nan ( tree type, const nan_state & nan )

inline

References gcc_checking_assert, ggc_alloc(), HONOR_NANS(), vrange::m_kind, m_neg_nan, m_pos_nan, m_type, set_undefined(), type(), verify_range(), and VR_NAN.

set_nonnegative()

void frange::set_nonnegative ( tree type )

overridevirtual

Implements vrange.

References dconst0, frange_val_max(), and set().

set_nonzero()

void frange::set_nonzero ( tree type )

overridevirtual

Implements vrange.

References set_varying().

set_nonzero_bits()

void vrange::set_nonzero_bits ( const wide_int & bits )

inherited

References gcc_checking_assert, TYPE_PRECISION, vrange::undefined_p(), vrange::update_bitmask(), and wi::zero().

set_undefined()

void frange::set_undefined ( )

inlineoverridevirtual

Implements vrange.

References ggc_alloc(), vrange::m_kind, m_neg_nan, m_pos_nan, m_type, NULL, verify_range(), and VR_UNDEFINED.

Referenced by combine_zeros(), frange(), intersect(), intersect_nans(), normalize_kind(), set(), and set_nan().

set_varying()

void frange::set_varying ( tree type )

inlineoverridevirtual

Implements vrange.

References frange_val_max(), frange_val_min(), HONOR_NANS(), vrange::m_kind, m_max, m_min, m_neg_nan, m_pos_nan, m_type, type(), and VR_VARYING.

Referenced by frange(), normalize_kind(), set(), and set_nonzero().

set_zero()

void frange::set_zero ( tree type )

overridevirtual

Implements vrange.

References clear_nan(), dconst0, dconstm0, HONOR_SIGNED_ZEROS(), and set().

signbit_p()

bool frange::signbit_p ( bool & signbit ) const

inline

References ggc_alloc(), known_isnan(), m_max, m_min, m_neg_nan, m_pos_nan, and vrange::undefined_p().

singleton_p() [1/2]

bool frange::singleton_p

(

REAL_VALUE_TYPE &

r

)

const

References internal_singleton_p(), and r.

singleton_p() [2/2]

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

overridevirtual

Implements vrange.

References build_real(), internal_singleton_p(), m_min, and m_type.

Referenced by operator_not_equal::fold_range(), operator_equal::fold_range(), operator_equal::op1_range(), and operator_not_equal::op1_range().

supports_p()

static bool frange::supports_p ( const_tree type )

inlinestatic

References DECIMAL_FLOAT_TYPE_P, and SCALAR_FLOAT_TYPE_P.

Referenced by vrange_allocator::clone_undefined(), vrange_allocator::clone_varying(), gimple_stmt_nonnegative_warnv_p(), Value_Range::init(), gimple_range_op_handler::maybe_builtin_call(), Value_Range::supports_type_p(), and supports_type_p().

supports_type_p()

bool frange::supports_type_p ( const_tree type ) const

overridevirtual

Implements vrange.

References supports_p().

type()

tree frange::type ( ) const

inlineoverridevirtual

Implements vrange.

References gcc_checking_assert, m_type, and vrange::undefined_p().

Referenced by set(), set_nan(), and set_varying().

ubound()

tree frange::ubound ( ) const

overridevirtual

Implements vrange.

References build_real(), and upper_bound().

undefined_p()

bool vrange::undefined_p ( ) const

inlineinherited

References vrange::m_kind, and VR_UNDEFINED.

Referenced by inchash::add_vrange(), adjust_equivalence_range(), array_bounds_checker::check_array_ref(), clear_nan(), combine_zeros(), compare_nonzero_chars(), gori_compute::compute_operand_range(), gori_compute::compute_operand_range_switch(), contains_p(), irange::contains_p(), prange::contains_p(), strlen_pass::count_nonzero_bytes_addr(), determine_value_range(), dr_step_indicator(), empty_range_varying(), expr_not_equal_to(), expr_to_aff_combination(), find_case_label_ranges(), find_range_for_lhs(), flush_denormals_to_zero(), operator_lshift::fold_range(), operator_rshift::fold_range(), irange::get_bitmask(), get_bool_state(), vrange::get_nonzero_bits(), get_range_strlen_dynamic(), get_ref_base_and_extent(), get_shift_range(), get_size_range(), handle_printf_call(), irange::intersect(), intersect(), unsupported_range::intersect(), prange::intersect(), irange::intersect(), irange::intersect_bitmask(), irange::invert(), prange::invert(), irange::irange_contains_p(), irange::irange_single_pair_union(), known_isfinite(), operator_identity::lhs_op1_relation(), operator_plus::lhs_op1_relation(), operator_minus::lhs_op1_relation(), operator_rshift::lhs_op1_relation(), operator_cast::lhs_op1_relation(), operator_bitwise_and::lhs_op1_relation(), operator_cast::lhs_op1_relation(), operator_cast::lhs_op1_relation(), operator_identity::lhs_op1_relation(), operator_cast::lhs_op1_relation(), prange::lower_bound(), lower_bound(), maybe_isinf(), maybe_isnan(), maybe_isnan(), nan_signbit_p(), irange::nonzero_p(), operator_equal::op1_op2_relation(), operator_not_equal::op1_op2_relation(), operator_lt::op1_op2_relation(), operator_le::op1_op2_relation(), operator_gt::op1_op2_relation(), operator_ge::op1_op2_relation(), operator_equal::op1_op2_relation(), operator_not_equal::op1_op2_relation(), operator_lt::op1_op2_relation(), operator_le::op1_op2_relation(), operator_gt::op1_op2_relation(), operator_ge::op1_op2_relation(), operator_equal::op1_op2_relation(), operator_not_equal::op1_op2_relation(), operator_lt::op1_op2_relation(), operator_le::op1_op2_relation(), operator_gt::op1_op2_relation(), operator_ge::op1_op2_relation(), foperator_div::op1_range(), operator_plus::op1_range(), operator_minus::op1_range(), operator_mult::op1_range(), operator_le::op1_range(), foperator_unordered_lt::op1_range(), foperator_unordered_le::op1_range(), foperator_unordered_gt::op1_range(), foperator_unordered_ge::op1_range(), operator_lt::op1_range(), operator_gt::op1_range(), operator_ge::op1_range(), operator_rshift::op1_range(), pointer_or_operator::op1_range(), operator_cast::op1_range(), operator_addr_expr::op1_range(), operator_bitwise_not::op1_range(), operator_bitwise_xor::op1_range(), operator_lshift::op1_range(), operator_bitwise_and::op1_range(), operator_bitwise_or::op1_range(), operator_exact_divide::op1_range(), operator_trunc_mod::op1_range(), operator_plus::op1_range(), operator_minus::op1_range(), operator_mult::op1_range(), operator_not_equal::op1_range(), operator_lt::op1_range(), operator_le::op1_range(), operator_gt::op1_range(), operator_ge::op1_range(), operator_equal::op1_range(), operator_cast::op1_range(), operator_cast::op1_range(), operator_not_equal::op1_range(), operator_lt::op1_range(), operator_le::op1_range(), operator_gt::op1_range(), operator_ge::op1_range(), operator_equal::op1_range(), operator_cast::op1_range(), operator_addr_expr::op1_range(), foperator_div::op2_range(), operator_minus::op2_range(), operator_le::op2_range(), foperator_unordered_lt::op2_range(), foperator_unordered_le::op2_range(), foperator_unordered_gt::op2_range(), foperator_unordered_ge::op2_range(), operator_lt::op2_range(), operator_gt::op2_range(), operator_ge::op2_range(), operator_trunc_mod::op2_range(), operator_minus::op2_range(), operator_lt::op2_range(), operator_le::op2_range(), operator_gt::op2_range(), operator_ge::op2_range(), operator_lt::op2_range(), operator_le::op2_range(), operator_gt::op2_range(), operator_ge::op2_range(), range_op_handler::op2_range(), operator==(), prange::operator==(), range_fits_type_p(), range_includes_zero_p(), vrange::set_nonzero_bits(), set_nonzero_range_from_mask(), irange::set_range_from_bitmask(), set_switch_stmt_execution_predicate(), signbit_p(), simplify_using_ranges::simplify(), simplify_using_ranges::simplify_casted_compare(), simplify_using_ranges::simplify_compare_using_ranges_1(), simplify_conversion_using_ranges(), simplify_using_ranges::simplify_div_or_mod_using_ranges(), simplify_using_ranges::simplify_float_conversion_using_ranges(), simplify_using_ranges::simplify_switch_using_ranges(), size_must_be_zero_p(), split_constant_offset(), simplify_using_ranges::two_valued_val_range_p(), prange::type(), type(), Value_Range::undefined_p(), irange::union_(), union_(), unsupported_range::union_(), prange::union_(), irange::union_bitmask(), unswitch_predicate::unswitch_predicate(), irange::update_bitmask(), prange::update_bitmask(), operator_equal::update_bitmask(), update_nan(), update_nan(), update_nan(), prange::upper_bound(), upper_bound(), relation_oracle::validate_relation(), prange::varying_compatible_p(), vect_get_range_info(), verify_range(), and vr_set_zero_nonzero_bits().

union_()

bool frange::union_ ( const vrange & v )

overridevirtual

Implements vrange.

References changed, combine_zeros(), ggc_alloc(), HONOR_SIGNED_ZEROS(), known_isnan(), m_max, m_min, m_neg_nan, m_pos_nan, m_type, normalize_kind(), r, real_less(), vrange::undefined_p(), union_nans(), and vrange::varying_p().

union_nans()

bool frange::union_nans ( const frange & r )

private

References changed, gcc_checking_assert, known_isnan(), vrange::m_kind, m_max, m_min, m_neg_nan, m_pos_nan, normalize_kind(), and r.

Referenced by union_().

update_bitmask()

void vrange::update_bitmask ( const class irange_bitmask & )

virtualinherited

Reimplemented in irange.

Referenced by vrange::set_nonzero_bits(), and Value_Range::update_bitmask().

update_nan() [1/4]

void frange::update_nan ( )

inline

References gcc_checking_assert, ggc_alloc(), vrange::undefined_p(), and update_nan().

Referenced by update_nan(), and update_nan().

update_nan() [2/4]

void frange::update_nan ( bool sign )

inline

References gcc_checking_assert, ggc_alloc(), vrange::undefined_p(), and update_nan().

update_nan() [3/4]

void frange::update_nan ( const nan_state & nan )

inline

References gcc_checking_assert, ggc_alloc(), HONOR_NANS(), m_neg_nan, m_pos_nan, m_type, normalize_kind(), vrange::undefined_p(), and verify_range().

update_nan() [4/4]

void frange::update_nan ( tree )

delete

upper_bound()

const REAL_VALUE_TYPE & frange::upper_bound ( ) const

inline

References gcc_checking_assert, and vrange::undefined_p().

Referenced by build_le(), build_lt(), float_binary_op_range_finish(), float_widen_lhs_range(), range_operator::fold_range(), operator_abs::fold_range(), operator_negate::fold_range(), operator_not_equal::fold_range(), operator_le::fold_range(), operator_equal::fold_range(), operator_lt::fold_range(), operator_gt::fold_range(), operator_ge::fold_range(), foperator_div::op1_range(), operator_mult::op1_range(), foperator_div::op2_range(), and ubound().

varying_p()

bool vrange::varying_p ( ) const

inlineinherited

References vrange::m_kind, and VR_VARYING.

Referenced by array_bounds_checker::check_array_ref(), compare_nonzero_chars(), gori_compute::compute_operand_range(), contains_p(), prange::contains_p(), unsupported_range::contains_p(), strlen_pass::count_nonzero_bytes_addr(), determine_value_range(), expr_to_aff_combination(), find_case_label_ranges(), operator_cast::fold_range(), get_range_strlen_dynamic(), get_ref_base_and_extent(), irange::intersect(), intersect(), unsupported_range::intersect(), prange::intersect(), irange::invert(), prange::invert(), irange::irange_contains_p(), irange::irange_single_pair_union(), known_isfinite(), maybe_isinf(), operator_cast::op1_range(), operator_bitwise_xor::op1_range(), operator==(), prange::operator==(), range_fits_type_p(), range_includes_zero_p(), simplify_using_ranges::simplify_casted_compare(), simplify_using_ranges::simplify_compare_using_ranges_1(), simplify_conversion_using_ranges(), simplify_using_ranges::simplify_div_or_mod_using_ranges(), simplify_using_ranges::simplify_float_conversion_using_ranges(), simplify_using_ranges::simplify_switch_using_ranges(), simplify_using_ranges::two_valued_val_range_p(), irange::union_(), union_(), unsupported_range::union_(), prange::union_(), unswitch_predicate::unswitch_predicate(), Value_Range::varying_p(), and vr_set_zero_nonzero_bits().

verify_range()

void frange::verify_range ( )

private

References frange_val_is_max(), frange_val_is_min(), gcc_checking_assert, gcc_unreachable, HONOR_NANS(), vrange::m_kind, m_max, m_min, m_neg_nan, m_pos_nan, m_type, maybe_isnan(), real_isnan(), real_iszero(), real_less(), vrange::undefined_p(), VR_NAN, VR_RANGE, VR_UNDEFINED, and VR_VARYING.

Referenced by clear_nan(), intersect(), intersect_nans(), normalize_kind(), operator=(), set_nan(), set_undefined(), and update_nan().

zero_p()

bool frange::zero_p ( ) const

overridevirtual

Implements vrange.

References vrange::m_kind, m_max, m_min, real_iszero(), and VR_RANGE.

Referenced by operator_equal::op1_range().

Friends And Related Symbol Documentation

frange_storage

friend class frange_storage

friend

vrange_printer

friend class vrange_printer

friend

Field Documentation

m_discriminator

enum value_range_discriminator vrange::m_discriminator

protectedinherited

Referenced by range_op_handler::dispatch_kind(), is_a< frange >(), is_a< irange >(), is_a< prange >(), is_a< unsupported_range >(), irange::verify_range(), and prange::verify_range().

m_kind

enum value_range_kind vrange::m_kind

protectedinherited

Referenced by combine_zeros(), contains_p(), internal_singleton_p(), irange::intersect(), intersect(), irange::intersect(), intersect_nans(), irange::invert(), known_isfinite(), known_isinf(), known_isnan(), maybe_isinf(), prange::nonzero_p(), irange::normalize_kind(), normalize_kind(), operator=(), irange::operator=(), prange::operator=(), vrange::operator=(), operator==(), prange::operator==(), set(), irange::set(), prange::set(), set_nan(), prange::set_nonzero(), irange::set_nonzero(), prange::set_undefined(), unsupported_range::set_undefined(), irange::set_undefined(), set_undefined(), prange::set_varying(), irange::set_varying(), set_varying(), unsupported_range::set_varying(), prange::set_zero(), prange::singleton_p(), vrange::undefined_p(), irange::union_(), union_nans(), irange::update_bitmask(), prange::update_bitmask(), irange::varying_compatible_p(), vrange::varying_p(), irange::verify_range(), verify_range(), prange::verify_range(), prange::zero_p(), irange::zero_p(), and zero_p().

m_max

REAL_VALUE_TYPE frange::m_max

private

Referenced by combine_zeros(), contains_p(), flush_denormals_to_zero(), internal_singleton_p(), intersect(), known_isfinite(), known_isinf(), maybe_isinf(), normalize_kind(), operator=(), operator==(), set(), set_varying(), signbit_p(), union_(), union_nans(), verify_range(), and zero_p().

m_min

REAL_VALUE_TYPE frange::m_min

private

Referenced by combine_zeros(), contains_p(), flush_denormals_to_zero(), internal_singleton_p(), intersect(), known_isfinite(), known_isinf(), maybe_isinf(), normalize_kind(), operator=(), operator==(), set(), set_varying(), signbit_p(), singleton_p(), union_(), union_nans(), verify_range(), and zero_p().

m_neg_nan

bool frange::m_neg_nan

private

Referenced by clear_nan(), contains_p(), intersect(), intersect_nans(), maybe_isnan(), maybe_isnan(), nan_signbit_p(), normalize_kind(), operator=(), operator==(), set(), set_nan(), set_undefined(), set_varying(), signbit_p(), union_(), union_nans(), update_nan(), and verify_range().

m_pos_nan

bool frange::m_pos_nan

private

Referenced by clear_nan(), contains_p(), intersect(), intersect_nans(), maybe_isnan(), maybe_isnan(), nan_signbit_p(), normalize_kind(), operator=(), operator==(), set(), set_nan(), set_undefined(), set_varying(), signbit_p(), union_(), union_nans(), update_nan(), and verify_range().

m_type

tree frange::m_type

private

Referenced by contains_p(), flush_denormals_to_zero(), internal_singleton_p(), intersect(), normalize_kind(), operator=(), operator==(), set(), set_nan(), set_undefined(), set_varying(), singleton_p(), type(), union_(), update_nan(), and verify_range().

---

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

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