#include <value-range.h>

Inheritance diagram for irange:

[legend]

Collaboration diagram for irange:

[legend]

Public Member Functions
void	set (tree type, const wide_int &, const wide_int &, value_range_kind=VR_RANGE)

virtual void	set_nonzero (tree type) override

virtual void	set_zero (tree type) override

virtual void	set_nonnegative (tree type) override

virtual void	set_varying (tree type) override

virtual void	set_undefined () override

virtual bool	supports_type_p (const_tree type) const override

virtual tree	type () const override

unsigned	num_pairs () const

wide_int	lower_bound (unsigned=0) const

wide_int	upper_bound (unsigned) const

wide_int	upper_bound () const

virtual tree	lbound () const override

virtual tree	ubound () const override

virtual bool	zero_p () const override

virtual bool	nonzero_p () const override

virtual bool	singleton_p (tree *result=NULL) const override

bool	singleton_p (wide_int &) const

bool	contains_p (const wide_int &) const

bool	nonnegative_p () const

bool	nonpositive_p () const

virtual bool	union_ (const vrange &) override

virtual bool	intersect (const vrange &) override

void	invert ()

irange &	operator= (const irange &)

bool	operator== (const irange &) const

bool	operator!= (const irange &r) const

virtual bool	fits_p (const vrange &r) const override

virtual void	accept (const vrange_visitor &v) const override

virtual void	update_bitmask (const class irange_bitmask &) override

virtual irange_bitmask	get_bitmask () const override

virtual void	accept (const class vrange_visitor &v) const =0

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
void	maybe_resize (int needed)

virtual void	set (tree, tree, value_range_kind=VR_RANGE) override

virtual bool	contains_p (tree cst) const override

	irange (wide_int *, unsigned nranges, bool resizable)

bool	irange_contains_p (const irange &) const

bool	irange_single_pair_union (const irange &r)

void	normalize_kind ()

void	verify_range ()

Protected Attributes
wide_int *	m_base

enum value_range_kind	m_kind: 8

enum value_range_discriminator	m_discriminator: 4

Static Protected Attributes
static const int	HARD_MAX_RANGES = 255

Private Member Functions
bool	varying_compatible_p () const

bool	intersect_bitmask (const irange &r)

bool	union_bitmask (const irange &r)

bool	set_range_from_bitmask ()

bool	intersect (const wide_int &lb, const wide_int &ub)

bool	union_append (const irange &r)

Private Attributes
unsigned char	m_num_ranges

bool	m_resizable

unsigned char	m_max_ranges

tree	m_type

irange_bitmask	m_bitmask

Friends
class	irange_storage

class	vrange_printer

Constructor & Destructor Documentation

◆ irange()

irange::irange	(	wide_int *	base,
		unsigned	nranges,
		bool	resizable )

inlineprotected

Member Function Documentation

◆ accept() [1/2]

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

overridevirtual

References vrange_visitor::visit().

◆ accept() [2/2]

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

pure virtualinherited

◆ contains_p() [1/2]

bool irange::contains_p ( const wide_int & cst ) const

Return 1 if CST is inside value range.
       0 if CST is not inside value range.

Benchmark compile/20001226-1.c compilation time after changing this
function.

References wi::bit_and(), wi::le_p(), lower_bound(), wi::lt_p(), m_bitmask, m_num_ranges, r, type(), TYPE_SIGN, vrange::undefined_p(), and upper_bound().

Referenced by contains_p(), expr_not_equal_to(), and set_range_from_bitmask().

◆ contains_p() [2/2]

bool irange::contains_p ( tree cst ) const

inlineoverrideprotectedvirtual

Implements vrange.

References contains_p(), and wi::to_wide().

◆ dump()

void vrange::dump ( FILE * file ) const

inherited

Referenced by assume_query::calculate_phi(), assume_query::calculate_stmt(), dump_strlen_info(), dump_value_range(), gori_compute::logical_combine(), phi_analyzer::process_phi(), and fold_using_range::relation_fold_and_or().

◆ fits_p()

bool irange::fits_p ( const vrange & r ) const

overridevirtual

Implements vrange.

References as_a(), m_max_ranges, r, and vrange::vrange().

◆ get_bitmask()

irange_bitmask irange::get_bitmask ( ) const

overridevirtual

Reimplemented from vrange.

References gcc_checking_assert, get_bitmask_from_range(), irange_bitmask::intersect(), lower_bound(), m_bitmask, type(), vrange::undefined_p(), and upper_bound().

Referenced by cfn_popcount::fold_range(), operator_cast::fold_range(), operator_equal::fold_range(), operator_not_equal::fold_range(), get_known_nonzero_bits_1(), intersect_bitmask(), operator==(), and union_bitmask().

◆ get_nonzero_bits()

wide_int vrange::get_nonzero_bits ( ) const

inherited

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

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

◆ intersect() [1/2]

bool irange::intersect ( const vrange & v )

overridevirtual

Implements vrange.

References as_a(), gcc_checking_assert, wi::ge_p(), i, i2, intersect(), intersect_bitmask(), irange(), wi::le_p(), wi::lt_p(), m_base, vrange::m_kind, m_max_ranges, m_num_ranges, m_type, maybe_resize(), normalize_kind(), num_pairs(), operator=(), r, range_compatible_p(), set_undefined(), type(), TYPE_SIGN, vrange::undefined_p(), vrange::varying_p(), verify_range(), VR_RANGE, and vrange::vrange().

Referenced by adjust_pointer_diff_expr(), irange_bitmask::adjust_range(), gimple_outgoing_range::calc_switch_ranges(), find_case_label_range(), operator_equal::fold_range(), operator_not_equal::fold_range(), intersect(), simplify_using_ranges::legacy_fold_cond_overflow(), operator_cast::lhs_op1_relation(), operator_cast::lhs_op1_relation(), operator_cast::lhs_op1_relation(), operator_cast::lhs_op1_relation(), minus_op1_op2_relation_effect(), operator_bitwise_xor::op1_op2_relation_effect(), operator_abs::op1_range(), operator_cast::op1_range(), operator_rshift::op1_range(), fur_source::register_outgoing_edges(), simplify_using_ranges::simplify(), and size_must_be_zero_p().

◆ intersect() [2/2]

bool irange::intersect	(	const wide_int &	lb,
		const wide_int &	ub )

private

References gcc_checking_assert, wi::ge_p(), wi::get_precision(), wi::gt_p(), i, wi::le_p(), lower_bound(), wi::lt_p(), m_base, vrange::m_kind, m_num_ranges, num_pairs(), set_undefined(), type(), TYPE_PRECISION, TYPE_SIGN, vrange::undefined_p(), upper_bound(), and VR_RANGE.

◆ intersect_bitmask()

bool irange::intersect_bitmask ( const irange & r )

private

References gcc_checking_assert, get_bitmask(), irange_bitmask::intersect(), irange(), m_bitmask, normalize_kind(), r, set_range_from_bitmask(), vrange::undefined_p(), and verify_range().

Referenced by intersect().

◆ invert()

void irange::invert ( )

◆ irange_contains_p()

bool irange::irange_contains_p ( const irange & r ) const

protected

References gcc_checking_assert, wi::ge_p(), i, irange(), wi::le_p(), wi::lt_p(), m_base, m_type, num_pairs(), r, TYPE_SIGN, vrange::undefined_p(), and vrange::varying_p().

Referenced by union_().

◆ irange_single_pair_union()

bool irange::irange_single_pair_union ( const irange & r )

protected

References gcc_checking_assert, wi::ge_p(), irange(), wi::le_p(), m_base, m_max_ranges, m_num_ranges, m_type, normalize_kind(), r, TYPE_SIGN, vrange::undefined_p(), union_bitmask(), vrange::varying_p(), and verify_range().

Referenced by union_().

◆ lbound()

tree irange::lbound ( ) const

overridevirtual

Implements vrange.

References lower_bound(), type(), and wide_int_to_tree().

◆ lower_bound()

wide_int irange::lower_bound ( unsigned pair = 0 ) const

inline

References gcc_checking_assert, m_base, m_num_ranges, and num_pairs().

◆ maybe_resize()

void irange::maybe_resize ( int needed )

inlineprotected

References HARD_MAX_RANGES, i, m_base, m_max_ranges, m_resizable, and num_pairs().

Referenced by intersect(), invert(), operator=(), union_(), and union_append().

◆ nonnegative_p()

bool irange::nonnegative_p ( ) const

References wi::ge_p(), lower_bound(), type(), and TYPE_SIGN.

◆ nonpositive_p()

bool irange::nonpositive_p ( ) const

References wi::le_p(), type(), TYPE_SIGN, and upper_bound().

◆ nonzero_p()

bool irange::nonzero_p ( ) const

inlineoverridevirtual

Implements vrange.

References type(), TYPE_PRECISION, vrange::undefined_p(), VR_ANTI_RANGE, and wi::zero().

◆ normalize_kind()

void irange::normalize_kind ( )

inlineprotected

References vrange::m_kind, m_num_ranges, set_undefined(), varying_compatible_p(), verify_range(), VR_ANTI_RANGE, VR_RANGE, and VR_VARYING.

Referenced by intersect(), intersect_bitmask(), irange_single_pair_union(), operator=(), union_(), union_append(), union_bitmask(), and update_bitmask().

◆ num_pairs()

unsigned irange::num_pairs ( ) const

inline

References m_num_ranges.

Referenced by compute_distributive_range(), operator_cast::fold_range(), range_operator::fold_range(), intersect(), intersect(), invert(), irange_contains_p(), lower_bound(), maybe_resize(), operator_abs::op1_range(), operator=(), singleton_p(), singleton_p(), simplify_using_ranges::two_valued_val_range_p(), upper_bound(), and upper_bound().

◆ operator!=() [1/2]

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

inline

References irange(), and r.

◆ operator!=() [2/2]

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

inlineinherited

References r, and vrange().

◆ operator=()

irange & irange::operator= ( const irange & src )

References irange(), m_base, m_bitmask, vrange::m_kind, m_max_ranges, m_num_ranges, m_type, maybe_resize(), normalize_kind(), num_pairs(), and verify_range().

Referenced by int_range< N, RESIZABLE >::int_range(), int_range< N, RESIZABLE >::int_range(), intersect(), int_range< N, RESIZABLE >::operator=(), and union_().

◆ operator==() [1/2]

bool irange::operator== ( const irange & other ) const

References get_bitmask(), i, irange(), lower_bound(), m_num_ranges, irange_bitmask::mask(), type(), TYPE_SIGN, irange_bitmask::unknown_p(), upper_bound(), and irange_bitmask::value().

◆ operator==() [2/2]

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

inherited

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

◆ set() [1/2]

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

Set value range to the canonical form of {VRTYPE, MIN, MAX, EQUIV}.
This means adjusting VRTYPE, MIN and MAX representing the case of a
wrapping range with MAX < MIN covering [MIN, type_max] U [type_min, MAX]
as anti-rage ~[MAX+1, MIN-1].  Likewise for wrapping anti-ranges.
In corner cases where MAX+1 or MIN-1 wraps this will fall back
to varying.
This routine exists to ease canonicalization in the case where we
extract ranges from var + CST op limit.

References wi::add(), gcc_checking_assert, m_base, m_bitmask, vrange::m_kind, m_max_ranges, m_num_ranges, m_type, wi::max_value(), wi::min_value(), SIGNED, wi::sub(), type(), TYPE_PRECISION, TYPE_SIGN, verify_range(), VR_ANTI_RANGE, VR_RANGE, VR_UNDEFINED, and VR_VARYING.

Referenced by find_unswitching_predicates_for_bb(), int_range< N, RESIZABLE >::int_range(), int_range< N, RESIZABLE >::int_range(), simplify_using_ranges::legacy_fold_cond_overflow(), set(), set_nonnegative(), set_nonzero(), set_range_from_bitmask(), set_zero(), split_constant_offset(), and unswitch_predicate::unswitch_predicate().

◆ set() [2/2]

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

overrideprotectedvirtual

Implements vrange.

References gcc_checking_assert, POLY_INT_CST_P, set(), set_varying(), wi::to_wide(), TREE_CODE, and TREE_TYPE.

◆ set_nonnegative()

void irange::set_nonnegative ( tree type )

overridevirtual

Implements vrange.

References set(), wi::to_wide(), type(), TYPE_MAX_VALUE, TYPE_PRECISION, and wi::zero().

◆ set_nonzero()

void irange::set_nonzero ( tree type )

inlineoverridevirtual

Implements vrange.

References m_base, m_bitmask, vrange::m_kind, m_num_ranges, m_type, wi::minus_one(), wi::one(), set(), type(), TYPE_PRECISION, TYPE_UNSIGNED, verify_range(), VR_ANTI_RANGE, VR_RANGE, and wi::zero().

Referenced by strlen_pass::handle_builtin_string_cmp(), operator_bitwise_xor::op1_op2_relation_effect(), operator_bitwise_xor::wi_fold(), and wi_optimize_and_or().

◆ set_nonzero_bits()

void vrange::set_nonzero_bits ( const wide_int & bits )

inherited

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

Referenced by operator_bitwise_and::op1_range().

◆ set_range_from_bitmask()

bool irange::set_range_from_bitmask ( )

private

References contains_p(), contains_zero_p(), gcc_checking_assert, m_bitmask, m_type, wi::popcount(), set(), set_zero(), type(), vrange::undefined_p(), union_(), and verify_range().

Referenced by intersect_bitmask(), and update_bitmask().

◆ set_undefined()

void irange::set_undefined ( )

inlineoverridevirtual

Implements vrange.

References vrange::m_kind, m_num_ranges, and VR_UNDEFINED.

Referenced by gimple_outgoing_range::calc_switch_ranges(), intersect(), intersect(), irange(), normalize_kind(), phi_analyzer::process_phi(), simplify_using_ranges::simplify_compare_using_ranges_1(), and unsupported_range::unsupported_range().

◆ set_varying()

void irange::set_varying ( tree type )

inlineoverridevirtual

◆ set_zero()

void irange::set_zero ( tree type )

inlineoverridevirtual

Implements vrange.

References set(), type(), TYPE_PRECISION, and wi::zero().

Referenced by operator_bitwise_xor::op1_op2_relation_effect(), and set_range_from_bitmask().

◆ singleton_p() [1/2]

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

overridevirtual

If range is a singleton, place it in RESULT and return TRUE.

Implements vrange.

References lower_bound(), num_pairs(), type(), upper_bound(), and wide_int_to_tree().

Referenced by compare_nonzero_chars(), cfn_constant_p::fold_range(), cfn_goacc_dim::fold_range(), cfn_popcount::fold_range(), operator_lshift::fold_range(), operator_bitwise_and::lhs_op1_relation(), operator_bitwise_and::op1_range(), operator_exact_divide::op1_range(), operator_lshift::op1_range(), operator_mult::op1_range(), operator_rshift::op1_range(), plus_minus_ranges(), fold_using_range::relation_fold_and_or(), and operator_bitwise_and::simple_op1_range_solver().

◆ singleton_p() [2/2]

bool irange::singleton_p ( wide_int & w ) const

References lower_bound(), num_pairs(), and upper_bound().

◆ supports_p()

◆ supports_type_p()

bool irange::supports_type_p ( const_tree type ) const

overridevirtual

Implements vrange.

References supports_p(), and type().

◆ type()

tree irange::type ( ) const

inlineoverridevirtual

Implements vrange.

References gcc_checking_assert, m_num_ranges, and m_type.

Referenced by compare_nonzero_chars(), contains_p(), find_case_label_range(), operator_cast::fold_pair(), cfn_clrsb::fold_range(), cfn_clz::fold_range(), cfn_ctz::fold_range(), cfn_ffs::fold_range(), operator_ge::fold_range(), operator_gt::fold_range(), operator_le::fold_range(), operator_logical_and::fold_range(), operator_lt::fold_range(), get_bitmask(), get_range_strlen_dynamic(), get_shift_range(), operator_cast::inside_domain_p(), int_range< N, RESIZABLE >::int_range(), int_range< N, RESIZABLE >::int_range(), intersect(), intersect(), invert(), lbound(), operator_bitwise_and::lhs_op1_relation(), operator_cast::lhs_op1_relation(), operator_cast::lhs_op1_relation(), operator_minus::lhs_op1_relation(), operator_rshift::lhs_op1_relation(), nonnegative_p(), nonpositive_p(), nonzero_p(), operator_cast::op1_range(), operator_cast::op1_range(), operator_lshift::op1_range(), operator_rshift::op1_range(), operator==(), operator_minus::overflow_free_p(), operator_mult::overflow_free_p(), operator_plus::overflow_free_p(), phi_group::phi_group(), plus_minus_ranges(), range_fits_type_p(), set(), set_nonnegative(), set_nonzero(), set_range_from_bitmask(), set_varying(), set_zero(), simplify_using_ranges::simplify_div_or_mod_using_ranges(), singleton_p(), supports_p(), supports_type_p(), operator_cast::truncating_cast_p(), ubound(), union_(), verify_range(), and vrange_printer.

◆ ubound()

tree irange::ubound ( ) const

overridevirtual

Implements vrange.

References type(), upper_bound(), and wide_int_to_tree().

◆ undefined_p()

bool vrange::undefined_p ( ) const

inlineinherited

References m_kind, and VR_UNDEFINED.

Referenced by adjust_equivalence_range(), gimple_range_op_handler::calc_op1(), gimple_range_op_handler::calc_op2(), array_bounds_checker::check_array_ref(), check_for_binary_op_overflow(), frange::clear_nan(), frange::combine_zeros(), compare_nonzero_chars(), compute_distributive_range(), frange::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_range(), find_case_label_ranges(), find_range_for_lhs(), frange::flush_denormals_to_zero(), cfn_clrsb::fold_range(), cfn_clz::fold_range(), cfn_ctz::fold_range(), cfn_ffs::fold_range(), cfn_isfinite::fold_range(), cfn_isinf::fold_range(), cfn_isnormal::fold_range(), cfn_popcount::fold_range(), operator_addr_expr::fold_range(), operator_equal::fold_range(), operator_equal::fold_range(), operator_equal::fold_range(), operator_logical_not::fold_range(), operator_lshift::fold_range(), operator_not_equal::fold_range(), operator_not_equal::fold_range(), operator_not_equal::fold_range(), operator_rshift::fold_range(), range_op_handler::fold_range(), irange::get_bitmask(), get_known_nonzero_bits_1(), get_nonzero_bits(), get_range_strlen_dynamic(), get_ref_base_and_extent(), get_shift_range(), get_size_range(), handle_printf_call(), frange::intersect(), irange::intersect(), irange::intersect(), prange::intersect(), unsupported_range::intersect(), irange::intersect_bitmask(), irange::invert(), prange::invert(), ipa_vr_operation_and_type_effects(), irange::irange_contains_p(), irange::irange_single_pair_union(), frange::known_isfinite(), simplify_using_ranges::legacy_fold_cond_overflow(), operator_bitwise_and::lhs_op1_relation(), operator_cast::lhs_op1_relation(), operator_cast::lhs_op1_relation(), operator_cast::lhs_op1_relation(), operator_cast::lhs_op1_relation(), operator_minus::lhs_op1_relation(), operator_plus::lhs_op1_relation(), operator_rshift::lhs_op1_relation(), frange::lower_bound(), prange::lower_bound(), frange::maybe_isinf(), frange::maybe_isnan(), frange::maybe_isnan(), frange::nan_signbit_p(), irange::nonzero_p(), foperator_div::op1_range(), foperator_unordered_ge::op1_range(), foperator_unordered_gt::op1_range(), foperator_unordered_le::op1_range(), foperator_unordered_lt::op1_range(), operator_bitwise_xor::op1_range(), operator_equal::op1_range(), operator_equal::op1_range(), operator_ge::op1_range(), operator_ge::op1_range(), operator_ge::op1_range(), operator_gt::op1_range(), operator_gt::op1_range(), operator_gt::op1_range(), operator_le::op1_range(), operator_le::op1_range(), operator_le::op1_range(), operator_lt::op1_range(), operator_lt::op1_range(), operator_lt::op1_range(), operator_mult::op1_range(), operator_not_equal::op1_range(), operator_not_equal::op1_range(), operator_rshift::op1_range(), foperator_div::op2_range(), foperator_unordered_ge::op2_range(), foperator_unordered_gt::op2_range(), foperator_unordered_le::op2_range(), foperator_unordered_lt::op2_range(), operator_ge::op2_range(), operator_ge::op2_range(), operator_ge::op2_range(), operator_gt::op2_range(), operator_gt::op2_range(), operator_gt::op2_range(), operator_le::op2_range(), operator_le::op2_range(), operator_le::op2_range(), operator_lt::op2_range(), operator_lt::op2_range(), operator_lt::op2_range(), range_op_handler::op2_range(), frange::operator==(), prange::operator==(), operator_minus::overflow_free_p(), operator_mult::overflow_free_p(), operator_plus::overflow_free_p(), phi_group::phi_group(), phi_analyzer::process_phi(), range_fits_type_p(), range_includes_zero_p(), fur_source::register_outgoing_edges(), set_nonzero_bits(), irange::set_range_from_bitmask(), set_switch_stmt_execution_predicate(), frange::signbit_p(), simplify_using_ranges::simplify(), simplify_using_ranges::simplify_bit_ops_using_ranges(), 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(), streamer_write_vrange, simplify_using_ranges::two_valued_val_range_p(), frange::type(), prange::type(), frange::union_(), irange::union_(), prange::union_(), unsupported_range::union_(), irange::union_bitmask(), irange::update_bitmask(), pointer_plus_operator::update_bitmask(), prange::update_bitmask(), update_known_bitmask(), frange::update_nan(), frange::update_nan(), frange::update_nan(), frange::upper_bound(), prange::upper_bound(), prange::varying_compatible_p(), vect_get_range_info(), frange::verify_range(), and vr_set_zero_nonzero_bits().

◆ union_()

bool irange::union_ ( const vrange & v )

overridevirtual

◆ union_append()

bool irange::union_append ( const irange & r )

private

References irange(), m_base, m_max_ranges, m_num_ranges, m_type, maybe_resize(), normalize_kind(), r, TYPE_SIGN, union_bitmask(), upper_bound(), and verify_range().

Referenced by union_().

◆ union_bitmask()

bool irange::union_bitmask ( const irange & r )

private

References gcc_checking_assert, get_bitmask(), irange(), m_bitmask, normalize_kind(), r, vrange::undefined_p(), irange_bitmask::union_(), and irange_bitmask::unknown_p().

Referenced by irange_single_pair_union(), union_(), and union_append().

◆ update_bitmask()

void irange::update_bitmask ( const class irange_bitmask & )

overridevirtual

Reimplemented from vrange.

References gcc_checking_assert, m_bitmask, vrange::m_kind, normalize_kind(), set_range_from_bitmask(), vrange::undefined_p(), irange_bitmask::unknown_p(), verify_range(), VR_RANGE, and VR_VARYING.

◆ upper_bound() [1/2]

wide_int irange::upper_bound ( ) const

inline

References gcc_checking_assert, num_pairs(), and upper_bound().

Referenced by union_append(), upper_bound(), and verify_range().

◆ upper_bound() [2/2]

wide_int irange::upper_bound ( unsigned pair ) const

inline

References gcc_checking_assert, m_base, m_num_ranges, and num_pairs().

◆ varying_compatible_p()

bool irange::varying_compatible_p ( ) const

inlineprivate

References INTEGRAL_TYPE_P, m_base, m_bitmask, vrange::m_kind, m_num_ranges, m_type, wi::max_value(), wi::min_value(), POINTER_TYPE_P, TYPE_PRECISION, TYPE_SIGN, and VR_VARYING.

Referenced by normalize_kind(), and verify_range().

◆ varying_p()

bool vrange::varying_p ( ) const

inlineinherited

References m_kind, and VR_VARYING.

Referenced by gimple_outgoing_range::calc_switch_ranges(), phi_group::calculate_using_modifier(), array_bounds_checker::check_array_ref(), compare_nonzero_chars(), compute_distributive_range(), frange::contains_p(), prange::contains_p(), strlen_pass::count_nonzero_bytes_addr(), determine_value_range(), expr_to_aff_combination(), find_case_label_range(), find_case_label_ranges(), operator_cast::fold_range(), operator_logical_not::fold_range(), get_range_strlen_dynamic(), get_ref_base_and_extent(), frange::intersect(), irange::intersect(), prange::intersect(), unsupported_range::intersect(), irange::invert(), prange::invert(), ipa_vr_operation_and_type_effects(), irange::irange_contains_p(), irange::irange_single_pair_union(), frange::known_isfinite(), gori_compute::logical_combine(), frange::maybe_isinf(), ipcp_vr_lattice::meet_with_1(), operator_bitwise_xor::op1_range(), frange::operator==(), prange::operator==(), phi_group::phi_group(), phi_analyzer::process_phi(), range_fits_type_p(), range_includes_zero_p(), int_range< 3, true >::set_nonzero_bits(), 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(), frange::union_(), irange::union_(), prange::union_(), unsupported_range::union_(), and vr_set_zero_nonzero_bits().

◆ verify_range()

void irange::verify_range ( )

protected

◆ zero_p()

bool irange::zero_p ( ) const

inlineoverridevirtual

Implements vrange.

References lower_bound(), vrange::m_kind, m_num_ranges, upper_bound(), and VR_RANGE.

Referenced by evaluate_conditions_for_known_args(), operator_addr_expr::fold_range(), operator_lt::fold_range(), operator_plus::lhs_op1_relation(), operator_bitwise_xor::op1_range(), plus_minus_ranges(), and size_must_be_zero_p().

Friends And Related Symbol Documentation

◆ irange_storage

friend class irange_storage

friend

References irange_storage.

Referenced by irange_storage.

◆ vrange_printer

friend class vrange_printer

friend

References type(), VR_RANGE, and vrange_printer.

Referenced by int_range< 3, true >::set_nonnegative(), and vrange_printer.

Field Documentation

◆ HARD_MAX_RANGES

const int irange::HARD_MAX_RANGES = 255

staticprotected

Referenced by maybe_resize().

◆ m_base

wide_int* irange::m_base

protected

Referenced by intersect(), intersect(), invert(), irange(), irange_contains_p(), irange_single_pair_union(), lower_bound(), maybe_resize(), operator=(), set(), set_nonzero(), set_varying(), union_(), union_append(), upper_bound(), varying_compatible_p(), and int_range< N, RESIZABLE >::~int_range().

◆ m_bitmask

irange_bitmask irange::m_bitmask

private

Referenced by contains_p(), get_bitmask(), intersect_bitmask(), invert(), operator=(), set(), set_nonzero(), set_range_from_bitmask(), set_varying(), union_bitmask(), update_bitmask(), varying_compatible_p(), and verify_range().

◆ m_discriminator

enum value_range_discriminator vrange::m_discriminator

protectedinherited

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

◆ m_kind

enum value_range_kind vrange::m_kind

protectedinherited

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

◆ m_max_ranges

unsigned char irange::m_max_ranges

private

Referenced by fits_p(), intersect(), irange(), irange_single_pair_union(), maybe_resize(), operator=(), set(), union_(), union_append(), and verify_range().

◆ m_num_ranges

unsigned char irange::m_num_ranges

private

◆ m_resizable

bool irange::m_resizable

private

Referenced by irange(), and maybe_resize().

◆ m_type

tree irange::m_type

private

Referenced by intersect(), irange_contains_p(), irange_single_pair_union(), operator=(), set(), set_nonzero(), set_range_from_bitmask(), set_varying(), type(), union_(), union_append(), varying_compatible_p(), and verify_range().

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

Public Member Functions

Static Public Member Functions

Protected Member Functions

Protected Attributes

Static Protected Attributes

Private Member Functions

Private Attributes

Friends

Constructor & Destructor Documentation

◆ irange()

Member Function Documentation

◆ accept() [1/2]

◆ accept() [2/2]

◆ contains_p() [1/2]

◆ contains_p() [2/2]

◆ dump()

◆ fits_p()

◆ get_bitmask()

◆ get_nonzero_bits()

◆ intersect() [1/2]

◆ intersect() [2/2]

◆ intersect_bitmask()

◆ invert()

◆ irange_contains_p()

◆ irange_single_pair_union()

◆ lbound()

◆ lower_bound()

◆ maybe_resize()

◆ nonnegative_p()

◆ nonpositive_p()

◆ nonzero_p()

◆ normalize_kind()

◆ num_pairs()

◆ operator!=() [1/2]

◆ operator!=() [2/2]

◆ operator=()

◆ operator==() [1/2]

◆ operator==() [2/2]

◆ set() [1/2]

◆ set() [2/2]

◆ set_nonnegative()

◆ set_nonzero()

◆ set_nonzero_bits()

◆ set_range_from_bitmask()

◆ set_undefined()

◆ set_varying()

◆ set_zero()

◆ singleton_p() [1/2]

◆ singleton_p() [2/2]

◆ supports_p()

◆ supports_type_p()

◆ type()

◆ ubound()

◆ undefined_p()

◆ union_()

◆ union_append()

◆ union_bitmask()

◆ update_bitmask()

◆ upper_bound() [1/2]

◆ upper_bound() [2/2]

◆ varying_compatible_p()

◆ varying_p()

◆ verify_range()

◆ zero_p()

Friends And Related Symbol Documentation

◆ irange_storage

◆ vrange_printer

Field Documentation

◆ HARD_MAX_RANGES

◆ m_base

◆ m_bitmask

◆ m_discriminator

◆ m_kind

◆ m_max_ranges

◆ m_num_ranges

◆ m_resizable

◆ m_type