value-range.cc File Reference

#include "config.h"
#include "system.h"
#include "coretypes.h"
#include "backend.h"
#include "tree.h"
#include "gimple.h"
#include "ssa.h"
#include "pretty-print.h"
#include "value-range-pretty-print.h"
#include "value-range-storage.h"
#include "fold-const.h"
#include "gimple-range.h"
#include "tree-dfa.h"
#include "tree-affine.h"

Include dependency graph for value-range.cc:

Namespaces
namespace	inchash

Macros
#define	DEFINE_INT_RANGE_INSTANCE(N)

Functions
DEBUG_FUNCTION void	debug (const value_range &r)
DEBUG_FUNCTION void	debug (const irange_bitmask &bm)
void	inchash::add_vrange (const vrange &v, inchash::hash &hstate, unsigned int)
static int	frange_cmp (const REAL_VALUE_TYPE &a, const REAL_VALUE_TYPE &b)
static const REAL_VALUE_TYPE &	frange_min (const REAL_VALUE_TYPE &a, const REAL_VALUE_TYPE &b)
static const REAL_VALUE_TYPE &	frange_max (const REAL_VALUE_TYPE &a, const REAL_VALUE_TYPE &b)
static bool	frange_fusible_p (machine_mode mode, const REAL_VALUE_TYPE &a_max, const REAL_VALUE_TYPE &b_min)
static REAL_VALUE_TYPE	float_widen_bound (tree type, const REAL_VALUE_TYPE &bound, const REAL_VALUE_TYPE &dir)
static value_range_kind	get_legacy_range (const irange &r, tree &min, tree &max)
static value_range_kind	get_legacy_range (const prange &r, tree &min, tree &max)
value_range_kind	get_legacy_range (const vrange &v, tree &min, tree &max)
static wide_int	subtract_one (const wide_int &x, tree type, wi::overflow_type &overflow)
static wide_int	add_one (const wide_int &x, tree type, wi::overflow_type &overflow)
void	dump_value_range (FILE *file, const vrange *vr)
DEBUG_FUNCTION void	debug (const vrange *vr)
DEBUG_FUNCTION void	debug (const vrange &vr)
bool	vrp_operand_equal_p (const_tree val1, const_tree val2)

Macro Definition Documentation

DEFINE_INT_RANGE_INSTANCE

#define DEFINE_INT_RANGE_INSTANCE

(

N

)

Value:

template int_range<N>::int_range(tree_node *,                         \
                                 const wide_int &,                    \
                                 const wide_int &,                    \
                                 value_range_kind);                   \
template int_range<N>::int_range(tree);                               \
template int_range<N>::int_range(const irange &);             \
template int_range<N>::int_range(const int_range &);                  \
template int_range<N>& int_range<N>::operator= (const int_range &);

Function Documentation

add_one()

wide_int add_one ( const wide_int & x, tree type, wi::overflow_type & overflow )

inlinestatic

References wi::add(), add_one(), SIGNED, wi::sub(), TYPE_SIGN, and UNSIGNED.

Referenced by add_one(), and irange::invert().

debug() [1/4]

DEBUG_FUNCTION void debug

(

const irange_bitmask &

bm

)

References debug, and irange_bitmask::dump().

debug() [2/4]

DEBUG_FUNCTION void debug

(

const value_range &

r

)

References debug, and r.

debug() [3/4]

DEBUG_FUNCTION void debug

(

const vrange &

vr

)

References debug.

debug() [4/4]

DEBUG_FUNCTION void debug

(

const vrange *

vr

)

References debug, and dump_value_range().

dump_value_range()

void dump_value_range	(	FILE *	file,
		const vrange *	vr )

References vrange::dump(), and dump_value_range().

Referenced by debug(), and dump_value_range().

float_widen_bound()

REAL_VALUE_TYPE float_widen_bound ( tree type, const REAL_VALUE_TYPE & bound, const REAL_VALUE_TYPE & dir )

static

Widen a single bound of a sub-range by 1ulp (or 0.5ulp) in the direction of
DIR.   

References dconst1, dconst2, dconstm1, FLOAT_MODE_FORMAT, float_widen_bound(), frange_nextafter(), MODE_COMPOSITE_P, real_arithmetic(), real_isfinite(), real_isinf(), real_isneg(), REAL_VALUE_TYPE, SET_REAL_EXP, and TYPE_MODE.

Referenced by float_widen_bound(), and frange::widen().

frange_cmp()

int frange_cmp ( const REAL_VALUE_TYPE & a, const REAL_VALUE_TYPE & b )

static

References a, b, frange_cmp(), gcc_checking_assert, real_isnan(), real_isneg(), real_iszero(), real_less(), and REAL_VALUE_TYPE.

Referenced by frange::contains_p(), frange_cmp(), frange_fusible_p(), frange_max(), frange_min(), frange::intersect(), frange::set_excluding(), frange::set_pairs(), and frange::verify_range().

frange_fusible_p()

bool frange_fusible_p ( machine_mode mode, const REAL_VALUE_TYPE & a_max, const REAL_VALUE_TYPE & b_min )

static

References dconstinf, frange_cmp(), frange_fusible_p(), frange_nextafter(), and REAL_VALUE_TYPE.

Referenced by frange_fusible_p(), frange::set_pairs(), and frange::verify_range().

frange_max()

const REAL_VALUE_TYPE & frange_max ( const REAL_VALUE_TYPE & a, const REAL_VALUE_TYPE & b )

inlinestatic

References a, b, frange_cmp(), frange_max(), and REAL_VALUE_TYPE.

Referenced by frange_max(), and frange::intersect().

frange_min()

const REAL_VALUE_TYPE & frange_min ( const REAL_VALUE_TYPE & a, const REAL_VALUE_TYPE & b )

inlinestatic

References a, b, frange_cmp(), frange_min(), and REAL_VALUE_TYPE.

Referenced by frange_min(), and frange::intersect().

get_legacy_range() [1/3]

value_range_kind get_legacy_range ( const irange & r, tree & min, tree & max )

static

References get_legacy_range(), irange::invert(), irange::lower_bound(), wi::max_value(), wi::min_value(), NULL_TREE, r, TYPE_PRECISION, TYPE_SIGN, irange::upper_bound(), VR_ANTI_RANGE, VR_RANGE, VR_UNDEFINED, VR_VARYING, and wide_int_to_tree().

get_legacy_range() [2/3]

value_range_kind get_legacy_range ( const prange & r, tree & min, tree & max )

static

References build_zero_cst(), get_legacy_range(), prange::lower_bound(), NULL_TREE, r, prange::set_nonzero(), prange::upper_bound(), VR_ANTI_RANGE, VR_RANGE, VR_UNDEFINED, and VR_VARYING.

get_legacy_range() [3/3]

value_range_kind get_legacy_range	(	const vrange &	v,
		tree &	min,
		tree &	max )

References as_a(), get_legacy_range(), and is_a< irange >().

Referenced by array_bounds_checker::check_array_ref(), check_out_of_bounds_and_warn(), determine_block_size(), get_legacy_range(), get_legacy_range(), get_legacy_range(), get_range(), get_size_range(), maybe_diag_stxncpy_trunc(), set_switch_stmt_execution_predicate(), split_constant_offset(), and vect_get_range_info().

subtract_one()

wide_int subtract_one ( const wide_int & x, tree type, wi::overflow_type & overflow )

inlinestatic

References wi::add(), SIGNED, wi::sub(), subtract_one(), TYPE_SIGN, and UNSIGNED.

Referenced by irange::invert(), and subtract_one().

vrp_operand_equal_p()

bool vrp_operand_equal_p	(	const_tree	val1,
		const_tree	val2 )

Return true, if VAL1 and VAL2 are equal values for VRP purposes.   

References operand_equal_p(), and vrp_operand_equal_p().

Referenced by ipa_predicate::add_clause(), add_condition(), adjust_pointer_diff_expr(), expr_eval_ops_equal_p(), prange::pt_equal_p(), prange::pt_invariant_away_p(), prange::pt_invariant_p(), prange::pt_inverted_p(), fold_using_range::range_of_phi(), and vrp_operand_equal_p().