vr-values.h File Reference

#include "value-query.h"

Include dependency graph for vr-values.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
class	simplify_using_ranges
struct	simplify_using_ranges::switch_update

Functions
bool	range_fits_type_p (const irange *vr, unsigned dest_precision, signop dest_sgn)
bool	range_of_var_in_loop (vrange &, tree var, class loop *, gimple *, range_query *)

Function Documentation

range_fits_type_p()

bool range_fits_type_p ( const irange * vr, unsigned dest_precision, signop dest_sgn )

extern

Return whether the value range *VR fits in an integer type specified
by PRECISION and UNSIGNED_P.   

References wi::ext(), INTEGRAL_TYPE_P, irange::lower_bound(), wi::lts_p(), POINTER_TYPE_P, SIGNED, irange::type(), TYPE_PRECISION, TYPE_SIGN, vrange::undefined_p(), UNSIGNED, irange::upper_bound(), and vrange::varying_p().

Referenced by nop_conversion_for_offset_p(), simplify_using_ranges::simplify_casted_compare(), simplify_using_ranges::simplify_float_conversion_using_ranges(), and skip_a_safe_conversion_op().

range_of_var_in_loop()

bool range_of_var_in_loop ( vrange & v, tree name, class loop * l, gimple * stmt, range_query * query )

extern

Set V to the range of NAME in STMT within LOOP.  Return TRUE if a
range was found.   

References as_a(), range_op_handler::fold_range(), wide_int_storage::from(), get_scev_info(), induction_variable_may_overflow_p(), max_loop_iterations(), r, range_from_loop_direction(), range_query::range_of_expr(), TREE_TYPE, TYPE_PRECISION, and TYPE_SIGN.

Referenced by fold_using_range::range_of_ssa_name_with_loop_info().