GCC Middle and Back End API Reference
|
#include <value-range.h>
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 |
References m_base, and set_undefined().
|
pure virtualinherited |
Referenced by Value_Range::accept(), and vrange::dump().
|
overridevirtual |
References vrange_visitor::visit().
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(), irange_bitmask::get_nonzero_bits(), ggc_alloc(), wi::le_p(), lower_bound(), wi::lt_p(), m_bitmask, m_num_ranges, r, TYPE_SIGN, vrange::undefined_p(), irange_bitmask::unknown_p(), and upper_bound().
Referenced by contains_p(), expr_not_equal_to(), cfn_signbit::op1_range(), and set_range_from_bitmask().
Implements vrange.
References contains_p(), ggc_alloc(), and wi::to_wide().
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().
Implements vrange.
References ggc_alloc(), m_max_ranges, and r.
|
overridevirtual |
Reimplemented from vrange.
References gcc_checking_assert, get_bitmask_from_range(), irange_bitmask::intersect(), lower_bound(), m_bitmask, vrange::undefined_p(), irange_bitmask::unknown_p(), and upper_bound().
Referenced by operator_equal::fold_range(), operator_not_equal::fold_range(), intersect_bitmask(), operator==(), and union_bitmask().
|
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().
Implements vrange.
References gcc_checking_assert, wi::ge_p(), ggc_alloc(), i, i2, intersect(), intersect_bitmask(), 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_SIGN, vrange::undefined_p(), vrange::varying_p(), verify_range(), and VR_RANGE.
Referenced by adjust_pointer_diff_expr(), irange_bitmask::adjust_range(), evaluate_control_stmt_using_entry_checks(), intersect(), simplify_using_ranges::simplify(), and size_must_be_zero_p().
References irange_bitmask::adjust_range(), gcc_checking_assert, get_bitmask(), ggc_alloc(), irange_bitmask::intersect(), m_bitmask, normalize_kind(), r, set_range_from_bitmask(), vrange::undefined_p(), and verify_range().
Referenced by intersect().
void irange::invert | ( | ) |
References wi::add(), add_one(), gcc_checking_assert, ggc_alloc(), i, m_base, m_bitmask, vrange::m_kind, m_num_ranges, wi::max_value(), maybe_resize(), wi::min_value(), irange_bitmask::set_unknown(), subtract_one(), type(), TYPE_PRECISION, TYPE_SIGN, vrange::undefined_p(), vrange::varying_p(), verify_range(), and VR_RANGE.
Referenced by irange_bitmask::adjust_range(), get_legacy_range(), operator_not_equal::op1_range(), operator_equal::op1_range(), and unswitch_predicate::unswitch_predicate().
References gcc_checking_assert, wi::ge_p(), ggc_alloc(), i, 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_().
References gcc_checking_assert, wi::ge_p(), ggc_alloc(), 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_().
|
overridevirtual |
Implements vrange.
References lower_bound(), and wide_int_to_tree().
References gcc_checking_assert, m_base, m_num_ranges, and num_pairs().
Referenced by compare_nonzero_chars(), contains_p(), strlen_pass::count_nonzero_bytes_addr(), determine_value_range(), dr_step_indicator(), expr_to_aff_combination(), operator_cast::fold_pair(), operator_equal::fold_range(), operator_not_equal::fold_range(), operator_lt::fold_range(), operator_le::fold_range(), operator_gt::fold_range(), operator_ge::fold_range(), pointer_plus_operator::fold_range(), get_bitmask(), get_legacy_range(), get_range_strlen_dynamic(), get_ref_base_and_extent(), handle_printf_call(), intersect(), lbound(), operator_plus::lhs_op1_relation(), operator_rshift::lhs_op1_relation(), operator_bitwise_and::lhs_op1_relation(), nonnegative_p(), operator_bitwise_and::op1_range(), operator_trunc_mod::op1_range(), operator_abs::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_trunc_mod::op2_range(), operator_lt::op2_range(), operator_le::op2_range(), operator_gt::op2_range(), operator_ge::op2_range(), operator==(), range_fits_type_p(), phi_group::refine_using_relation(), operator_bitwise_and::simple_op1_range_solver(), simplify_conversion_using_ranges(), simplify_using_ranges::simplify_div_or_mod_using_ranges(), singleton_p(), singleton_p(), test_for_singularity(), simplify_using_ranges::two_valued_val_range_p(), verify_range(), vr_set_zero_nonzero_bits(), and zero_p().
|
inlineprotected |
References ggc_alloc(), HARD_MAX_RANGES, i, m_base, m_max_ranges, m_resizable, and num_pairs().
Referenced by intersect(), invert(), operator=(), union_(), and union_append().
bool irange::nonnegative_p | ( | ) | const |
References wi::ge_p(), lower_bound(), and TYPE_SIGN.
bool irange::nonpositive_p | ( | ) | const |
References wi::le_p(), TYPE_SIGN, and upper_bound().
|
inlineoverridevirtual |
Implements vrange.
References TYPE_PRECISION, vrange::undefined_p(), VR_ANTI_RANGE, and wi::zero().
|
inlineprotected |
References ggc_alloc(), 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().
|
inline |
References m_num_ranges.
Referenced by operator_cast::fold_range(), intersect(), intersect(), irange_contains_p(), lower_bound(), maybe_resize(), operator_bitwise_and::op1_range(), operator=(), singleton_p(), singleton_p(), simplify_using_ranges::two_valued_val_range_p(), upper_bound(), and upper_bound().
References ggc_alloc(), 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_().
References get_bitmask(), ggc_alloc(), i, lower_bound(), m_num_ranges, type(), TYPE_SIGN, upper_bound(), and upper_bound().
References gcc_unreachable, ggc_alloc(), is_a< frange >(), is_a< irange >(), and is_a< prange >().
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, ggc_alloc(), m_base, m_bitmask, vrange::m_kind, m_max_ranges, m_num_ranges, m_type, wi::max_value(), wi::min_value(), irange_bitmask::set_unknown(), SIGNED, wi::sub(), type(), TYPE_PRECISION, TYPE_SIGN, verify_range(), VR_ANTI_RANGE, VR_RANGE, VR_UNDEFINED, and VR_VARYING.
Referenced by int_range< N, RESIZABLE >::int_range(), int_range< N, RESIZABLE >::int_range(), phi_group::refine_using_relation(), set(), set_nonnegative(), set_nonzero(), set_range_from_bitmask(), and set_zero().
|
overrideprotectedvirtual |
Implements vrange.
References gcc_checking_assert, ggc_alloc(), POLY_INT_CST_P, set(), set_varying(), wi::to_wide(), TREE_CODE, and TREE_TYPE.
Implements vrange.
References set(), wi::to_wide(), TYPE_MAX_VALUE, TYPE_PRECISION, and wi::zero().
Implements vrange.
References ggc_alloc(), m_base, m_bitmask, vrange::m_kind, m_num_ranges, m_type, wi::minus_one(), wi::one(), set(), irange_bitmask::set_unknown(), type(), TYPE_PRECISION, TYPE_UNSIGNED, verify_range(), VR_ANTI_RANGE, VR_RANGE, and wi::zero().
Referenced by strlen_pass::handle_integral_assign().
References gcc_checking_assert, TYPE_PRECISION, vrange::undefined_p(), vrange::update_bitmask(), and wi::zero().
|
private |
References contains_p(), contains_zero_p(), gcc_checking_assert, irange_bitmask::get_nonzero_bits(), ggc_alloc(), m_bitmask, m_type, irange_bitmask::mask(), wi::popcount(), set(), irange_bitmask::set_nonzero_bits(), set_zero(), vrange::undefined_p(), union_(), irange_bitmask::unknown_p(), irange_bitmask::value(), and verify_range().
Referenced by intersect_bitmask(), and update_bitmask().
|
inlineoverridevirtual |
Implements vrange.
References vrange::m_kind, m_num_ranges, and VR_UNDEFINED.
Referenced by operator_rshift::fold_range(), intersect(), intersect(), irange(), normalize_kind(), range_negatives(), simplify_using_ranges::simplify_compare_using_ranges_1(), and unsupported_range::unsupported_range().
Implements vrange.
References error_mark_node, INTEGRAL_TYPE_P, m_base, m_bitmask, vrange::m_kind, m_num_ranges, m_type, wi::max_value(), wi::min_value(), POINTER_TYPE_P, irange_bitmask::set_unknown(), type(), TYPE_PRECISION, TYPE_SIGN, and VR_VARYING.
Referenced by adjust_imagpart_expr(), evaluate_conditions_for_known_args(), get_size_range(), int_range< N, RESIZABLE >::int_range(), operator_bitwise_xor::op1_range(), phi_group::phi_group(), set(), set_switch_stmt_execution_predicate(), simplify_using_ranges::simplify_div_or_mod_using_ranges(), size_must_be_zero_p(), split_constant_offset(), union_(), unswitch_predicate::unswitch_predicate(), and vect_get_range_info().
Implements vrange.
References set(), TYPE_PRECISION, and wi::zero().
Referenced by set_range_from_bitmask().
If range is a singleton, place it in RESULT and return TRUE.
Implements vrange.
References lower_bound(), num_pairs(), upper_bound(), and wide_int_to_tree().
Referenced by compare_nonzero_chars(), operator_bitwise_and::lhs_op1_relation(), operator_rshift::op1_range(), operator_cast::op1_range(), operator_lshift::op1_range(), operator_bitwise_and::op1_range(), operator_exact_divide::op1_range(), operator_mult::op1_range(), operator_cast::op1_range(), and operator_bitwise_and::simple_op1_range_solver().
References ggc_alloc(), lower_bound(), num_pairs(), and upper_bound().
|
inlinestatic |
References INTEGRAL_TYPE_P.
Referenced by assume_query::assume_query(), vrange_allocator::clone_undefined(), vrange_allocator::clone_varying(), evaluate_control_stmt_using_entry_checks(), get_nonzero_bits(), Value_Range::init(), ipa_supports_p(), irange_val_max(), irange_val_min(), gimple_range_op_handler::maybe_builtin_call(), phi_analyzer::operator[](), fold_using_range::range_of_phi(), fold_using_range::range_of_range_op(), Value_Range::supports_type_p(), supports_type_p(), unswitch_predicate::unswitch_predicate(), unswitch_predicate::unswitch_predicate(), and verify_range().
|
overridevirtual |
Implements vrange.
References supports_p().
|
inlineoverridevirtual |
Implements vrange.
References gcc_checking_assert, m_num_ranges, and m_type.
Referenced by compare_nonzero_chars(), operator_cast::fold_pair(), operator_lt::fold_range(), operator_le::fold_range(), operator_gt::fold_range(), operator_ge::fold_range(), get_range_strlen_dynamic(), get_shift_range(), operator_cast::inside_domain_p(), intersect(), invert(), 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(), cfn_signbit::op1_range(), operator_rshift::op1_range(), operator_cast::op1_range(), operator_lshift::op1_range(), operator_bitwise_and::op1_range(), operator_cast::op1_range(), operator_cast::op1_range(), operator==(), range_fits_type_p(), phi_group::refine_using_relation(), set(), set_nonzero(), set_varying(), simplify_using_ranges::simplify_div_or_mod_using_ranges(), and operator_cast::truncating_cast_p().
|
overridevirtual |
Implements vrange.
References upper_bound(), and wide_int_to_tree().
|
inlineinherited |
References vrange::m_kind, and VR_UNDEFINED.
Referenced by inchash::add_vrange(), adjust_equivalence_range(), array_bounds_checker::check_array_ref(), frange::clear_nan(), frange::combine_zeros(), compare_nonzero_chars(), gori_compute::compute_operand_range(), gori_compute::compute_operand_range_switch(), frange::contains_p(), 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(), frange::flush_denormals_to_zero(), operator_lshift::fold_range(), operator_rshift::fold_range(), 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(), intersect(), frange::intersect(), unsupported_range::intersect(), prange::intersect(), intersect(), intersect_bitmask(), invert(), prange::invert(), irange_contains_p(), irange_single_pair_union(), frange::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(), frange::lower_bound(), frange::maybe_isinf(), frange::maybe_isnan(), frange::maybe_isnan(), frange::nan_signbit_p(), 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(), frange::operator==(), prange::operator==(), range_fits_type_p(), range_includes_zero_p(), vrange::set_nonzero_bits(), set_nonzero_range_from_mask(), set_range_from_bitmask(), set_switch_stmt_execution_predicate(), frange::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(), frange::type(), Value_Range::undefined_p(), union_(), frange::union_(), unsupported_range::union_(), prange::union_(), union_bitmask(), unswitch_predicate::unswitch_predicate(), update_bitmask(), prange::update_bitmask(), operator_equal::update_bitmask(), frange::update_nan(), frange::update_nan(), frange::update_nan(), prange::upper_bound(), frange::upper_bound(), relation_oracle::validate_relation(), prange::varying_compatible_p(), vect_get_range_info(), frange::verify_range(), and vr_set_zero_nonzero_bits().
Implements vrange.
References ggc_alloc(), wi::gt_p(), i, irange_contains_p(), irange_single_pair_union(), m_base, vrange::m_kind, m_max_ranges, m_num_ranges, m_type, maybe_resize(), normalize_kind(), operator=(), r, set_varying(), TYPE_SIGN, vrange::undefined_p(), union_append(), union_bitmask(), upper_bound(), vrange::varying_p(), verify_range(), and VR_RANGE.
Referenced by operator_rshift::op1_range(), and set_range_from_bitmask().
References ggc_alloc(), 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_().
References gcc_checking_assert, get_bitmask(), m_bitmask, normalize_kind(), r, vrange::undefined_p(), and irange_bitmask::union_().
Referenced by irange_single_pair_union(), union_(), and union_append().
|
overridevirtual |
Reimplemented from vrange.
References gcc_checking_assert, ggc_alloc(), 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.
|
inline |
References gcc_checking_assert, ggc_alloc(), num_pairs(), and upper_bound().
Referenced by contains_p(), get_bitmask(), intersect(), nonpositive_p(), operator==(), singleton_p(), singleton_p(), ubound(), union_(), union_append(), upper_bound(), verify_range(), and zero_p().
References gcc_checking_assert, m_base, m_num_ranges, and num_pairs().
Referenced by strlen_pass::count_nonzero_bytes_addr(), determine_value_range(), dr_step_indicator(), expr_to_aff_combination(), operator_cast::fold_pair(), operator_equal::fold_range(), operator_not_equal::fold_range(), operator_lt::fold_range(), operator_le::fold_range(), operator_gt::fold_range(), operator_ge::fold_range(), pointer_plus_operator::fold_range(), get_legacy_range(), get_range_strlen_dynamic(), get_ref_base_and_extent(), handle_printf_call(), operator_plus::lhs_op1_relation(), operator_bitwise_and::op1_range(), operator_trunc_mod::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_trunc_mod::op2_range(), operator_lt::op2_range(), operator_le::op2_range(), operator_gt::op2_range(), operator_ge::op2_range(), operator==(), range_fits_type_p(), phi_group::refine_using_relation(), operator_bitwise_and::simple_op1_range_solver(), simplify_conversion_using_ranges(), simplify_using_ranges::simplify_div_or_mod_using_ranges(), test_for_singularity(), simplify_using_ranges::two_valued_val_range_p(), and vr_set_zero_nonzero_bits().
|
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, irange_bitmask::unknown_p(), and VR_VARYING.
Referenced by normalize_kind(), and verify_range().
|
inlineinherited |
References vrange::m_kind, and VR_VARYING.
Referenced by array_bounds_checker::check_array_ref(), compare_nonzero_chars(), gori_compute::compute_operand_range(), frange::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(), intersect(), frange::intersect(), unsupported_range::intersect(), prange::intersect(), invert(), prange::invert(), irange_contains_p(), irange_single_pair_union(), frange::known_isfinite(), frange::maybe_isinf(), operator_cast::op1_range(), operator_bitwise_xor::op1_range(), frange::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(), union_(), frange::union_(), unsupported_range::union_(), prange::union_(), unswitch_predicate::unswitch_predicate(), Value_Range::varying_p(), and vr_set_zero_nonzero_bits().
|
protected |
References wi::cmp(), error_mark_node, gcc_checking_assert, wide_int_storage::get_precision(), i, lower_bound(), m_bitmask, vrange::m_discriminator, vrange::m_kind, m_max_ranges, m_num_ranges, m_type, supports_p(), TYPE_PRECISION, TYPE_SIGN, irange_bitmask::unknown_p(), upper_bound(), varying_compatible_p(), irange_bitmask::verify_mask(), VR_IRANGE, VR_UNDEFINED, and VR_VARYING.
Referenced by intersect(), intersect_bitmask(), invert(), irange_single_pair_union(), normalize_kind(), operator=(), set(), set_nonzero(), set_range_from_bitmask(), union_(), union_append(), and update_bitmask().
|
inlineoverridevirtual |
Implements vrange.
References lower_bound(), vrange::m_kind, m_num_ranges, upper_bound(), and VR_RANGE.
Referenced by gori_compute::compute_logical_operands(), evaluate_conditions_for_known_args(), operator_lt::fold_range(), operator_plus::lhs_op1_relation(), gori_compute::logical_combine(), 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(), cfn_signbit::op1_range(), pointer_or_operator::op1_range(), operator_bitwise_xor::op1_range(), operator_bitwise_and::op1_range(), operator_bitwise_or::op1_range(), and size_must_be_zero_p().
|
friend |
|
friend |
|
staticprotected |
Referenced by maybe_resize().
|
protected |
|
private |
|
protectedinherited |
|
protectedinherited |
Referenced by frange::combine_zeros(), frange::contains_p(), frange::internal_singleton_p(), intersect(), frange::intersect(), intersect(), frange::intersect_nans(), invert(), frange::known_isfinite(), frange::known_isinf(), frange::known_isnan(), frange::maybe_isinf(), prange::nonzero_p(), normalize_kind(), frange::normalize_kind(), frange::operator=(), operator=(), prange::operator=(), vrange::operator=(), frange::operator==(), prange::operator==(), frange::set(), set(), prange::set(), frange::set_nan(), prange::set_nonzero(), set_nonzero(), prange::set_undefined(), unsupported_range::set_undefined(), set_undefined(), frange::set_undefined(), prange::set_varying(), set_varying(), frange::set_varying(), unsupported_range::set_varying(), prange::set_zero(), prange::singleton_p(), vrange::undefined_p(), union_(), frange::union_nans(), update_bitmask(), prange::update_bitmask(), varying_compatible_p(), vrange::varying_p(), verify_range(), frange::verify_range(), prange::verify_range(), prange::zero_p(), zero_p(), and frange::zero_p().
Referenced by fits_p(), intersect(), irange_single_pair_union(), maybe_resize(), operator=(), set(), union_(), union_append(), and verify_range().
Referenced by contains_p(), intersect(), intersect(), invert(), irange_single_pair_union(), lower_bound(), normalize_kind(), num_pairs(), operator=(), operator==(), set(), set_nonzero(), set_undefined(), set_varying(), type(), union_(), union_append(), upper_bound(), varying_compatible_p(), verify_range(), and zero_p().
|
private |
Referenced by maybe_resize().
|
private |