irange_bitmask Class Reference

#include <value-range.h>

Collaboration diagram for irange_bitmask:

Public Member Functions
	irange_bitmask ()
	irange_bitmask (unsigned prec)
	irange_bitmask (const wide_int &value, const wide_int &mask)
wide_int	value () const
wide_int	mask () const
void	set_unknown (unsigned prec)
bool	unknown_p () const
unsigned	get_precision () const
void	union_ (const irange_bitmask &src)
void	intersect (const irange_bitmask &src)
bool	operator== (const irange_bitmask &src) const
bool	operator!= (const irange_bitmask &src) const
void	verify_mask () const
void	dump (FILE *) const
bool	member_p (const wide_int &val) const
void	adjust_range (irange &r) const
wide_int	get_nonzero_bits () const
void	set_nonzero_bits (const wide_int &bits)

Private Attributes
wide_int	m_value
wide_int	m_mask

Constructor & Destructor Documentation

irange_bitmask() [1/3]

irange_bitmask::irange_bitmask ( )

inline

irange_bitmask() [2/3]

irange_bitmask::irange_bitmask ( unsigned prec )

inline

References set_unknown().

irange_bitmask() [3/3]

irange_bitmask::irange_bitmask ( const wide_int & value, const wide_int & mask )

inline

References ggc_alloc(), m_mask, m_value, mask(), value(), and verify_mask().

Member Function Documentation

adjust_range()

void irange_bitmask::adjust_range

(

irange &

r

)

const

References wi::ctz(), gcc_checking_assert, ggc_alloc(), irange::intersect(), irange::invert(), m_mask, m_value, wi::one(), r, TYPE_PRECISION, unknown_p(), value(), VR_ANTI_RANGE, and wi::zero().

Referenced by irange::intersect_bitmask().

dump()

void irange_bitmask::dump

(

FILE *

file

)

const

References pretty_printer::buffer, ggc_alloc(), m_mask, m_value, MAX, pp_flush(), pp_needs_newline, pp_string(), print_hex(), print_hex_buf_size(), output_buffer::stream, and WIDE_INT_PRINT_BUFFER_SIZE.

Referenced by debug().

get_nonzero_bits()

wide_int irange_bitmask::get_nonzero_bits ( ) const

inline

References m_mask, and m_value.

Referenced by irange::contains_p(), cfn_popcount::fold_range(), and irange::set_range_from_bitmask().

get_precision()

unsigned irange_bitmask::get_precision ( ) const

inline

References wide_int_storage::get_precision(), and m_mask.

intersect()

void irange_bitmask::intersect ( const irange_bitmask & src )

inline

References wi::bit_and(), wide_int_storage::get_precision(), ggc_alloc(), m_mask, m_value, wi::minus_one(), verify_mask(), and wi::zero().

Referenced by irange::get_bitmask(), prange::intersect(), and irange::intersect_bitmask().

mask()

wide_int irange_bitmask::mask ( ) const

inline

References m_mask.

Referenced by inchash::add_vrange(), vrange::get_nonzero_bits(), ipcp_get_parm_bits(), ipcp_update_vr(), irange_bitmask(), print_irange_bitmasks(), propagate_bits_across_jump_function(), irange_storage::set_irange(), prange_storage::set_prange(), irange::set_range_from_bitmask(), and prange::update_bitmask().

member_p()

bool irange_bitmask::member_p ( const wide_int & val ) const

inline

References ggc_alloc(), m_mask, m_value, and unknown_p().

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

operator!=()

bool irange_bitmask::operator!= ( const irange_bitmask & src ) const

inline

operator==()

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

inline

References ggc_alloc(), m_mask, m_value, and unknown_p().

set_nonzero_bits()

void irange_bitmask::set_nonzero_bits ( const wide_int & bits )

inline

References wide_int_storage::get_precision(), ggc_alloc(), m_mask, m_value, verify_mask(), and wi::zero().

Referenced by irange::set_range_from_bitmask().

set_unknown()

void irange_bitmask::set_unknown ( unsigned prec )

inline

References ggc_alloc(), m_mask, m_value, wi::minus_one(), verify_mask(), and wi::zero().

Referenced by irange::invert(), irange_bitmask(), irange::set(), prange::set(), prange::set_nonzero(), irange::set_nonzero(), prange::set_varying(), and irange::set_varying().

union_()

void irange_bitmask::union_ ( const irange_bitmask & src )

inline

References ggc_alloc(), m_mask, m_value, and verify_mask().

Referenced by irange::union_bitmask().

unknown_p()

bool irange_bitmask::unknown_p ( ) const

inline

References m_mask.

Referenced by adjust_range(), irange::contains_p(), irange::get_bitmask(), member_p(), operator==(), print_irange_bitmasks(), irange::set_range_from_bitmask(), irange::update_bitmask(), prange::update_bitmask(), irange::varying_compatible_p(), and irange::verify_range().

value()

wide_int irange_bitmask::value ( ) const

inline

References m_value.

Referenced by inchash::add_vrange(), adjust_range(), cfn_popcount::fold_range(), vrange::get_nonzero_bits(), ipcp_get_parm_bits(), ipcp_update_vr(), irange_bitmask(), print_irange_bitmasks(), propagate_bits_across_jump_function(), irange_storage::set_irange(), prange_storage::set_prange(), irange::set_range_from_bitmask(), and prange::update_bitmask().

verify_mask()

void irange_bitmask::verify_mask

(

)

const

References wi::bit_and(), gcc_assert, gcc_checking_assert, wide_int_storage::get_precision(), m_mask, and m_value.

Referenced by intersect(), irange_bitmask(), set_nonzero_bits(), set_unknown(), union_(), and irange::verify_range().

Field Documentation

m_mask

wide_int irange_bitmask::m_mask

private

Referenced by adjust_range(), dump(), get_nonzero_bits(), get_precision(), intersect(), irange_bitmask(), mask(), member_p(), operator==(), set_nonzero_bits(), set_unknown(), union_(), unknown_p(), and verify_mask().

m_value

wide_int irange_bitmask::m_value

private

Referenced by adjust_range(), dump(), get_nonzero_bits(), intersect(), irange_bitmask(), member_p(), operator==(), set_nonzero_bits(), set_unknown(), union_(), value(), and verify_mask().

---

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

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