189 lines
6.5 KiB
C
189 lines
6.5 KiB
C
/* Support routines for range operations on wide ints.
|
|
Copyright (C) 2018-2019 Free Software Foundation, Inc.
|
|
|
|
This file is part of GCC.
|
|
|
|
GCC is free software; you can redistribute it and/or modify
|
|
it under the terms of the GNU General Public License as published by
|
|
the Free Software Foundation; either version 3, or (at your option)
|
|
any later version.
|
|
|
|
GCC is distributed in the hope that it will be useful,
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
GNU General Public License for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with GCC; see the file COPYING3. If not see
|
|
<http://www.gnu.org/licenses/>. */
|
|
|
|
#ifndef GCC_WIDE_INT_RANGE_H
|
|
#define GCC_WIDE_INT_RANGE_H
|
|
|
|
extern bool wide_int_range_cross_product (wide_int &res_lb, wide_int &res_ub,
|
|
enum tree_code code, signop sign,
|
|
const wide_int &, const wide_int &,
|
|
const wide_int &, const wide_int &,
|
|
bool overflow_undefined);
|
|
extern bool wide_int_range_mult_wrapping (wide_int &res_lb,
|
|
wide_int &res_ub,
|
|
signop sign,
|
|
unsigned prec,
|
|
const wide_int &min0_,
|
|
const wide_int &max0_,
|
|
const wide_int &min1_,
|
|
const wide_int &max1_);
|
|
extern bool wide_int_range_multiplicative_op (wide_int &res_lb,
|
|
wide_int &res_ub,
|
|
enum tree_code code,
|
|
signop sign,
|
|
unsigned prec,
|
|
const wide_int &vr0_lb,
|
|
const wide_int &vr0_ub,
|
|
const wide_int &vr1_lb,
|
|
const wide_int &vr1_ub,
|
|
bool overflow_undefined);
|
|
extern bool wide_int_range_lshift (wide_int &res_lb, wide_int &res_ub,
|
|
signop sign, unsigned prec,
|
|
const wide_int &, const wide_int &,
|
|
const wide_int &, const wide_int &,
|
|
bool overflow_undefined);
|
|
extern void wide_int_range_set_zero_nonzero_bits (signop,
|
|
const wide_int &lb,
|
|
const wide_int &ub,
|
|
wide_int &may_be_nonzero,
|
|
wide_int &must_be_nonzero);
|
|
extern bool wide_int_range_optimize_bit_op (wide_int &res_lb, wide_int &res_ub,
|
|
enum tree_code code,
|
|
signop sign,
|
|
const wide_int &vr0_lb,
|
|
const wide_int &vr0_ub,
|
|
const wide_int &vr1_lb,
|
|
const wide_int &vr1_ub);
|
|
extern bool wide_int_range_get_mask_and_bounds (wide_int &mask,
|
|
wide_int &lower_bound,
|
|
wide_int &upper_bound,
|
|
const wide_int &vr0_min,
|
|
const wide_int &vr0_max,
|
|
const wide_int &vr1_min,
|
|
const wide_int &vr1_max);
|
|
extern bool wide_int_range_bit_xor (wide_int &wmin, wide_int &wmax,
|
|
signop sign,
|
|
unsigned prec,
|
|
const wide_int &must_be_nonzero0,
|
|
const wide_int &may_be_nonzero0,
|
|
const wide_int &must_be_nonzero1,
|
|
const wide_int &may_be_nonzero1);
|
|
extern bool wide_int_range_bit_ior (wide_int &wmin, wide_int &wmax,
|
|
signop sign,
|
|
const wide_int &vr0_min,
|
|
const wide_int &vr0_max,
|
|
const wide_int &vr1_min,
|
|
const wide_int &vr1_max,
|
|
const wide_int &must_be_nonzero0,
|
|
const wide_int &may_be_nonzero0,
|
|
const wide_int &must_be_nonzero1,
|
|
const wide_int &may_be_nonzero1);
|
|
extern bool wide_int_range_bit_and (wide_int &wmin, wide_int &wmax,
|
|
signop sign,
|
|
unsigned prec,
|
|
const wide_int &vr0_min,
|
|
const wide_int &vr0_max,
|
|
const wide_int &vr1_min,
|
|
const wide_int &vr1_max,
|
|
const wide_int &must_be_nonzero0,
|
|
const wide_int &may_be_nonzero0,
|
|
const wide_int &must_be_nonzero1,
|
|
const wide_int &may_be_nonzero1);
|
|
extern void wide_int_range_trunc_mod (wide_int &wmin, wide_int &wmax,
|
|
signop sign,
|
|
unsigned prec,
|
|
const wide_int &vr0_min,
|
|
const wide_int &vr0_max,
|
|
const wide_int &vr1_min,
|
|
const wide_int &vr1_max);
|
|
extern bool wide_int_range_abs (wide_int &min, wide_int &max,
|
|
signop sign, unsigned prec,
|
|
const wide_int &vr0_min,
|
|
const wide_int &vr0_max,
|
|
bool overflow_undefined);
|
|
extern void wide_int_range_absu (wide_int &min, wide_int &max,
|
|
unsigned prec,
|
|
const wide_int &vr0_min,
|
|
const wide_int &vr0_max);
|
|
extern bool wide_int_range_convert (wide_int &min, wide_int &max,
|
|
signop inner_sign,
|
|
unsigned inner_prec,
|
|
signop outer_sign,
|
|
unsigned outer_prec,
|
|
const wide_int &vr0_min,
|
|
const wide_int &vr0_max);
|
|
extern bool wide_int_range_div (wide_int &wmin, wide_int &wmax,
|
|
enum tree_code code,
|
|
signop sign, unsigned prec,
|
|
const wide_int ÷nd_min,
|
|
const wide_int ÷nd_max,
|
|
const wide_int &divisor_min,
|
|
const wide_int &divisor_max,
|
|
bool overflow_undefined,
|
|
bool &extra_range_p,
|
|
wide_int &extra_min, wide_int &extra_max);
|
|
|
|
/* Return TRUE if shifting by range [MIN, MAX] is undefined behavior,
|
|
interpreting MIN and MAX according to SIGN. */
|
|
|
|
inline bool
|
|
wide_int_range_shift_undefined_p (signop sign, unsigned prec,
|
|
const wide_int &min, const wide_int &max)
|
|
{
|
|
/* ?? Note: The original comment said this only applied to
|
|
RSHIFT_EXPR, but it was being applied to both left and right
|
|
shifts. */
|
|
|
|
/* Shifting by any values outside [0..prec-1], gets undefined
|
|
behavior from the shift operation. We cannot even trust
|
|
SHIFT_COUNT_TRUNCATED at this stage, because that applies to rtl
|
|
shifts, and the operation at the tree level may be widened. */
|
|
return wi::lt_p (min, 0, sign) || wi::ge_p (max, prec, sign);
|
|
}
|
|
|
|
/* Calculate MIN/MAX_EXPR of two ranges and store the result in [MIN, MAX]. */
|
|
|
|
inline bool
|
|
wide_int_range_min_max (wide_int &min, wide_int &max,
|
|
tree_code code,
|
|
signop sign, unsigned prec,
|
|
const wide_int &vr0_min, const wide_int &vr0_max,
|
|
const wide_int &vr1_min, const wide_int &vr1_max)
|
|
{
|
|
wi::overflow_type overflow;
|
|
wide_int_binop (min, code, vr0_min, vr1_min, sign, &overflow);
|
|
wide_int_binop (max, code, vr0_max, vr1_max, sign, &overflow);
|
|
/* If the new range covers the entire domain, that's really no range
|
|
at all. */
|
|
if (min == wi::min_value (prec, sign)
|
|
&& max == wi::max_value (prec, sign))
|
|
return false;
|
|
return true;
|
|
}
|
|
|
|
/* Return TRUE if 0 is within [WMIN, WMAX]. */
|
|
|
|
inline bool
|
|
wide_int_range_includes_zero_p (const wide_int &wmin, const wide_int &wmax,
|
|
signop sign)
|
|
{
|
|
return wi::le_p (wmin, 0, sign) && wi::ge_p (wmax, 0, sign);
|
|
}
|
|
|
|
/* Return TRUE if [WMIN, WMAX] is the singleton 0. */
|
|
|
|
inline bool
|
|
wide_int_range_zero_p (const wide_int &wmin, const wide_int &wmax,
|
|
unsigned prec)
|
|
{
|
|
return wmin == wmax && wi::eq_p (wmin, wi::zero (prec));
|
|
}
|
|
|
|
#endif /* GCC_WIDE_INT_RANGE_H */
|