GCC Middle and Back End API Reference
Public Member Functions | Protected Member Functions | Protected Attributes | Friends
vrange Class Referenceabstract

#include <value-range.h>

Inheritance diagram for vrange:
Inheritance graph
[legend]

Public Member Functions

virtual void accept (const class vrange_visitor &v) const =0
 
virtual void set (tree, tree, value_range_kind=VR_RANGE)=0
 
virtual tree type () const =0
 
virtual bool supports_type_p (const_tree type) const =0
 
virtual void set_varying (tree type)=0
 
virtual void set_undefined ()=0
 
virtual bool union_ (const vrange &)=0
 
virtual bool intersect (const vrange &)=0
 
virtual bool singleton_p (tree *result=NULL) const =0
 
virtual bool contains_p (tree cst) const =0
 
virtual bool zero_p () const =0
 
virtual bool nonzero_p () const =0
 
virtual void set_nonzero (tree type)=0
 
virtual void set_zero (tree type)=0
 
virtual void set_nonnegative (tree type)=0
 
virtual bool fits_p (const vrange &r) const =0
 
virtual ~vrange ()
 
virtual tree lbound () const =0
 
virtual tree ubound () 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
 
vrange & operator= (const vrange &)
 
bool operator== (const vrange &) const
 
bool operator!= (const vrange &r) const
 
void dump (FILE *) const
 

Protected Member Functions

 vrange (enum value_range_discriminator d)
 

Protected Attributes

enum value_range_kind m_kind: 8
 
enum value_range_discriminator m_discriminator: 4
 

Friends

class value_range
 
class range_op_handler
 
template<typename T >
bool is_a (vrange &)
 
void streamer_write_vrange (struct output_block *ob, const vrange &v)
 

Constructor & Destructor Documentation

◆ ~vrange()

virtual vrange::~vrange ( )
inlinevirtual

Referenced by value_range::operator=(), value_range::set_type(), and value_range::~value_range().

◆ vrange()

vrange::vrange ( enum value_range_discriminator d)
inlineprotected

Member Function Documentation

◆ accept()

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

Referenced by value_range::accept(), and dump().

◆ contains_p()

virtual bool vrange::contains_p ( tree cst) const
pure virtual

Implemented in frange, irange, prange, and unsupported_range.

Referenced by value_range::contains_p(), and range_includes_zero_p().

◆ dump()

void vrange::dump ( FILE * file) const

References accept(), pp_flush(), pp_needs_newline(), and pretty_printer::set_output_stream().

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

◆ fits_p()

virtual bool vrange::fits_p ( const vrange & r) const
pure virtual

Implemented in frange, irange, prange, and unsupported_range.

◆ get_bitmask()

irange_bitmask vrange::get_bitmask ( ) const
virtual

Reimplemented in irange, and prange.

References TYPE_PRECISION.

Referenced by value_range::get_bitmask(), get_nonzero_bits(), and update_known_bitmask().

◆ get_nonzero_bits()

wide_int vrange::get_nonzero_bits ( ) const

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

virtual bool vrange::intersect ( const vrange & )
pure virtual

Implemented in frange, irange, prange, and unsupported_range.

Referenced by adjust_imagpart_expr(), adjust_realpart_expr(), fold_using_range::condexpr_adjust(), value_range::intersect(), ipa_vr_intersect_with_arith_jfunc(), and gori_compute::logical_combine().

◆ lbound()

virtual tree vrange::lbound ( ) const
pure virtual

Implemented in frange, irange, prange, and unsupported_range.

Referenced by value_range::lbound().

◆ nonzero_p()

virtual bool vrange::nonzero_p ( ) const
pure virtual

Implemented in frange, irange, prange, and unsupported_range.

Referenced by value_range::nonzero_p().

◆ operator!=()

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

References r.

◆ operator=()

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

References as_a(), gcc_checking_assert, is_a< frange >(), is_a< irange >(), is_a< prange >(), is_a< unsupported_range >(), and m_kind.

◆ operator==()

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

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

◆ set()

virtual void vrange::set ( tree ,
tree ,
value_range_kind = VR_RANGE )
pure virtual

Implemented in frange, irange, prange, and unsupported_range.

Referenced by value_range::value_range().

◆ set_nonnegative()

virtual void vrange::set_nonnegative ( tree type)
pure virtual

Implemented in frange, irange, prange, and unsupported_range.

◆ set_nonzero()

virtual void vrange::set_nonzero ( tree type)
pure virtual

Implemented in frange, irange, prange, and unsupported_range.

Referenced by value_range::set_nonzero().

◆ set_nonzero_bits()

void vrange::set_nonzero_bits ( const wide_int & bits)

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

Referenced by operator_bitwise_and::op1_range().

◆ set_undefined()

virtual void vrange::set_undefined ( )
pure virtual

Implemented in frange, irange, prange, and unsupported_range.

Referenced by value_range::set_undefined().

◆ set_varying()

virtual void vrange::set_varying ( tree type)
pure virtual

Implemented in frange, irange, prange, and unsupported_range.

Referenced by ipa_value_range_from_jfunc(), and value_range::set_varying().

◆ set_zero()

virtual void vrange::set_zero ( tree type)
pure virtual

Implemented in frange, irange, prange, and unsupported_range.

Referenced by value_range::set_zero().

◆ singleton_p()

virtual bool vrange::singleton_p ( tree * result = NULL) const
pure virtual

Implemented in frange, irange, prange, and unsupported_range.

Referenced by ipa_value_range_from_jfunc(), and value_range::singleton_p().

◆ supports_type_p()

virtual bool vrange::supports_type_p ( const_tree type) const
pure virtual

Implemented in frange, irange, prange, and unsupported_range.

◆ type()

virtual tree vrange::type ( ) const
pure virtual

Implemented in frange, irange, prange, and unsupported_range.

Referenced by adjust_equivalence_range(), range_op_handler::fold_range(), range_op_handler::op2_range(), range_includes_zero_p(), value_range::type(), pointer_plus_operator::update_bitmask(), and update_known_bitmask().

◆ ubound()

virtual tree vrange::ubound ( ) const
pure virtual

Implemented in frange, irange, prange, and unsupported_range.

Referenced by value_range::ubound().

◆ undefined_p()

bool vrange::undefined_p ( ) const
inline

References m_kind, and VR_UNDEFINED.

Referenced by inchash::add_vrange(), 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(), simplify_using_ranges::two_valued_val_range_p(), frange::type(), prange::type(), value_range::undefined_p(), frange::union_(), irange::union_(), prange::union_(), unsupported_range::union_(), irange::union_bitmask(), unswitch_predicate::unswitch_predicate(), 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_()

virtual bool vrange::union_ ( const vrange & )
pure virtual

Implemented in frange, irange, prange, and unsupported_range.

Referenced by adjust_equivalence_range(), and value_range::union_().

◆ update_bitmask()

void vrange::update_bitmask ( const class irange_bitmask & )
virtual

Reimplemented in irange.

Referenced by set_nonzero_bits(), and value_range::update_bitmask().

◆ varying_p()

bool vrange::varying_p ( ) const
inline

References m_kind, and VR_VARYING.

Referenced by gimple_infer_range::add_range(), 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(), unsupported_range::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(), 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_(), unswitch_predicate::unswitch_predicate(), value_range::varying_p(), and vr_set_zero_nonzero_bits().

◆ zero_p()

virtual bool vrange::zero_p ( ) const
pure virtual

Implemented in frange, irange, prange, and unsupported_range.

Referenced by value_range::zero_p().

Friends And Related Symbol Documentation

◆ is_a

template<typename T >
bool is_a ( vrange & )
friend

Referenced by as_a(), as_a(), and is_a().

◆ range_op_handler

friend class range_op_handler
friend

◆ streamer_write_vrange

void streamer_write_vrange ( struct output_block * ob,
const vrange & v )
friend

◆ value_range

friend class value_range
friend

Field Documentation

◆ m_discriminator

enum value_range_discriminator vrange::m_discriminator
protected

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(), and prange::verify_range().

◆ m_kind

enum value_range_kind vrange::m_kind
protected

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

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