GCC Middle and Back End API Reference
|
#include <value-range.h>
Protected Attributes | |
enum value_range_kind | m_kind: 8 |
enum value_range_discriminator | m_discriminator: 4 |
|
inline |
References irange::set_undefined().
|
inline |
References operator=().
|
pure virtualinherited |
Referenced by Value_Range::accept(), and vrange::dump().
|
finaloverride |
References vrange_visitor::visit().
Implements vrange.
References vrange::varying_p().
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().
|
virtualinherited |
Reimplemented in prange, and irange.
References TYPE_PRECISION.
Referenced by Value_Range::get_bitmask(), and vrange::get_nonzero_bits().
|
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_unreachable, ggc_alloc(), operator=(), r, set_undefined(), vrange::undefined_p(), and vrange::varying_p().
unsupported_range & unsupported_range::operator= | ( | const unsupported_range & | r | ) |
References gcc_unreachable, r, set_undefined(), set_varying(), and void_type_node.
Referenced by intersect(), union_(), and unsupported_range().
References gcc_unreachable, ggc_alloc(), is_a< frange >(), is_a< irange >(), and is_a< prange >().
|
finaloverridevirtual |
Implements vrange.
References set_varying(), and TREE_TYPE.
Implements vrange.
References set_varying().
Implements vrange.
References set_varying().
References gcc_checking_assert, TYPE_PRECISION, vrange::undefined_p(), vrange::update_bitmask(), and wi::zero().
|
finaloverridevirtual |
Implements vrange.
References vrange::m_kind, and VR_UNDEFINED.
Referenced by intersect(), and operator=().
Implements vrange.
References vrange::m_kind, and VR_VARYING.
Referenced by operator=(), set(), set_nonnegative(), set_nonzero(), and set_zero().
Implements vrange.
References set_varying().
|
finaloverridevirtual |
Implements vrange.
|
finaloverridevirtual |
Implements vrange.
References void_type_node.
|
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(), 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(), frange::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(), frange::intersect(), intersect(), prange::intersect(), irange::intersect(), irange::intersect_bitmask(), irange::invert(), prange::invert(), irange::irange_contains_p(), irange::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(), 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(), frange::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(), 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(), irange::union_(), frange::union_(), union_(), prange::union_(), irange::union_bitmask(), unswitch_predicate::unswitch_predicate(), irange::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 gcc_unreachable, ggc_alloc(), operator=(), r, vrange::undefined_p(), and vrange::varying_p().
|
virtualinherited |
Reimplemented in irange.
Referenced by vrange::set_nonzero_bits(), and Value_Range::update_bitmask().
|
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(), 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(), frange::intersect(), intersect(), prange::intersect(), irange::invert(), prange::invert(), irange::irange_contains_p(), irange::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(), irange::union_(), frange::union_(), union_(), prange::union_(), unswitch_predicate::unswitch_predicate(), Value_Range::varying_p(), and vr_set_zero_nonzero_bits().
|
protectedinherited |
|
protectedinherited |
Referenced by frange::combine_zeros(), frange::contains_p(), frange::internal_singleton_p(), irange::intersect(), frange::intersect(), irange::intersect(), frange::intersect_nans(), irange::invert(), frange::known_isfinite(), frange::known_isinf(), frange::known_isnan(), frange::maybe_isinf(), prange::nonzero_p(), irange::normalize_kind(), frange::normalize_kind(), frange::operator=(), irange::operator=(), prange::operator=(), vrange::operator=(), frange::operator==(), prange::operator==(), frange::set(), irange::set(), prange::set(), frange::set_nan(), prange::set_nonzero(), irange::set_nonzero(), prange::set_undefined(), set_undefined(), irange::set_undefined(), frange::set_undefined(), prange::set_varying(), irange::set_varying(), frange::set_varying(), set_varying(), prange::set_zero(), prange::singleton_p(), vrange::undefined_p(), irange::union_(), frange::union_nans(), irange::update_bitmask(), prange::update_bitmask(), irange::varying_compatible_p(), vrange::varying_p(), irange::verify_range(), frange::verify_range(), prange::verify_range(), prange::zero_p(), irange::zero_p(), and frange::zero_p().