22#ifndef GCC_VALUE_RANGE_H
23#define GCC_VALUE_RANGE_H
79 template <
typename T>
friend bool is_a (
vrange &);
113 void dump (FILE *)
const;
152 void dump (FILE *)
const;
193 return m_mask.get_precision ();
235 if (unknown1 || unknown2)
236 return unknown1 == unknown2;
259 unsigned prec =
m_mask.get_precision ();
369template<
unsigned N,
bool RESIZABLE = false>
418 bool operator== (const
prange &) const;
548 virtual tree type ()
const override;
554 void set_nan (
tree type,
bool sign);
556 virtual void set_varying (
tree type)
override;
557 virtual void set_undefined ()
override;
558 virtual bool union_ (
const vrange &)
override;
559 virtual bool intersect (
const vrange &)
override;
561 virtual bool singleton_p (
tree *result =
NULL)
const override;
565 virtual bool zero_p ()
const override;
566 virtual bool nonzero_p ()
const override;
567 virtual void set_nonzero (
tree type)
override;
568 virtual void set_zero (
tree type)
override;
569 virtual void set_nonnegative (
tree type)
override;
570 virtual bool fits_p (
const vrange &)
const override;
576 virtual tree lbound ()
const override;
577 virtual tree ubound ()
const override;
580 void update_nan (
bool sign);
654 const T &derived =
static_cast<const T &
> (v);
655 return is_a <T> (
const_cast<T &
> (derived));
663 return static_cast <T &
> (v);
671 return static_cast <const T &
> (v);
718 for (
unsigned i = 0;
i < n; ++
i)
724template<
unsigned N,
bool RESIZABLE>
776 operator const vrange &()
const;
777 void dump (FILE *)
const;
789 {
return m_vrange->singleton_p (result); }
799 {
return m_vrange->update_bitmask (bm); }
804 void init (
const vrange &);
955value_range::operator
const vrange &()
const
955value_range::operator
const vrange &()
const {
…}
1081template<
unsigned N,
bool RESIZABLE>
1088template<
unsigned N,
bool RESIZABLE>
1095template<
unsigned N,
bool RESIZABLE>
1102template<
unsigned N,
bool RESIZABLE>
1109template<
unsigned N,
bool RESIZABLE>
1117template<
unsigned N,
bool RESIZABLE>
1124template<
unsigned N,
bool RESIZABLE>
1246 if (
r.undefined_p ())
1250 return r.contains_p (zero);
1450 set (min, max, kind);
1554 buf,
sizeof (buf),
false);
1754 signbit =
m_min.sign;
1762 || (nan_sign ==
m_min.sign && nan_sign ==
m_max.sign))
Definition value-range.h:531
tree m_type
Definition value-range.h:609
void update_nan(tree)=delete
void set(tree type, const REAL_VALUE_TYPE &, const REAL_VALUE_TYPE &, value_range_kind=VR_RANGE)
Definition value-range.cc:827
void update_nan()
Definition value-range.h:1510
void clear_nan()
Definition value-range.h:1536
REAL_VALUE_TYPE m_min
Definition value-range.h:610
bool known_isfinite() const
Definition value-range.h:1650
bool known_isdenormal_or_zero() const
Definition value-range.h:1674
REAL_VALUE_TYPE m_max
Definition value-range.h:611
bool intersect_nans(const frange &)
Definition value-range.cc:992
bool maybe_isinf() const
Definition value-range.h:1687
bool internal_singleton_p(REAL_VALUE_TYPE *=NULL) const
Definition value-range.cc:1153
bool m_neg_nan
Definition value-range.h:613
bool known_isnormal() const
Definition value-range.h:1660
bool nan_signbit_p(bool &signbit) const
Definition value-range.h:1774
virtual void set_varying(tree type) override
Definition value-range.h:1461
bool m_pos_nan
Definition value-range.h:612
bool known_isnan() const
Definition value-range.h:1732
void flush_denormals_to_zero()
Definition value-range.cc:728
bool union_nans(const frange &)
Definition value-range.cc:920
virtual void set_undefined() override
Definition value-range.h:1480
bool maybe_isnan() const
Definition value-range.h:1710
bool normalize_kind()
Definition value-range.cc:850
bool known_isinf() const
Definition value-range.h:1699
virtual void verify_range() const
Definition value-range.cc:1208
const REAL_VALUE_TYPE & upper_bound() const
Definition value-range.h:624
void set_nan(tree type)
Definition value-range.h:1632
friend class vrange_printer
Definition value-range.h:533
frange()
Definition value-range.h:1413
const REAL_VALUE_TYPE & lower_bound() const
Definition value-range.h:617
bool combine_zeros(const frange &, bool union_p)
Definition value-range.cc:888
friend class frange_storage
Definition value-range.h:532
bool signbit_p(bool &signbit) const
Definition value-range.h:1741
bool contains_p(const REAL_VALUE_TYPE &) const
Definition value-range.cc:1114
static bool supports_p(const_tree type)
Definition value-range.h:541
virtual tree type() const override
Definition value-range.h:1454
nan_state get_nan_state() const
Definition value-range.h:633
Definition value-range.h:371
wide_int m_ranges[N *2]
Definition value-range.h:384
int_range()
Definition value-range.h:1083
int_range(tree type, const wide_int &, const wide_int &, value_range_kind=VR_RANGE)
Definition value-range.h:1110
int_range(tree type)
Definition value-range.h:1103
int_range(const irange &)
Definition value-range.h:1118
int_range(const int_range &)
Definition value-range.h:1089
int_range & operator=(const int_range &)
Definition value-range.h:1126
~int_range() final override
Definition value-range.h:726
Definition value-range.h:135
irange_bitmask(unsigned prec)
Definition value-range.h:138
void dump(FILE *) const
Definition value-range.cc:294
void verify_mask() const
Definition value-range.cc:2623
void set_nonzero_bits(const wide_int &bits)
Definition value-range.h:209
unsigned get_precision() const
Definition value-range.h:191
bool member_p(const wide_int &val) const
Definition value-range.h:220
void set_unknown(unsigned prec)
Definition value-range.h:165
bool unknown_p() const
Definition value-range.h:176
void union_(const irange_bitmask &src)
Definition value-range.h:241
bool operator==(const irange_bitmask &src) const
Definition value-range.h:231
wide_int get_nonzero_bits() const
Definition value-range.h:202
wide_int mask() const
Definition value-range.h:143
bool operator!=(const irange_bitmask &src) const
Definition value-range.h:150
irange_bitmask()
Definition value-range.h:137
wide_int m_mask
Definition value-range.h:161
void intersect(const irange_bitmask &src)
Definition value-range.h:250
wide_int m_value
Definition value-range.h:160
wide_int value() const
Definition value-range.h:142
Definition value-range.h:275
friend class irange_storage
Definition value-range.h:276
void invert()
Definition value-range.cc:2181
bool union_bitmask(const irange &r)
Definition value-range.cc:2582
virtual bool nonzero_p() const override
Definition value-range.h:1034
virtual bool zero_p() const override
Definition value-range.h:1026
bool m_resizable
Definition value-range.h:354
virtual bool supports_type_p(const_tree type) const override
Definition value-range.cc:399
virtual void set_nonzero(tree type) override
Definition value-range.h:1193
unsigned num_pairs() const
Definition value-range.h:979
unsigned char m_max_ranges
Definition value-range.h:355
virtual bool union_(const vrange &) override
Definition value-range.cc:1761
virtual void set_nonnegative(tree type) override
Definition value-range.cc:413
void maybe_resize(int needed)
Definition value-range.h:708
bool union_append(const irange &r)
Definition value-range.cc:1723
virtual void set_varying(tree type) override
Definition value-range.h:1140
virtual tree lbound() const override
Definition value-range.cc:2611
bool intersect_bitmask(const irange &r)
Definition value-range.cc:2551
tree m_type
Definition value-range.h:356
virtual bool contains_p(tree cst) const override
Definition value-range.h:1050
virtual bool intersect(const vrange &) override
Definition value-range.cc:1951
bool nonnegative_p() const
Definition value-range.cc:387
virtual irange_bitmask get_bitmask() const override
Definition value-range.cc:2491
wide_int * m_base
Definition value-range.h:359
static const int HARD_MAX_RANGES
Definition value-range.h:342
bool operator==(const irange &) const
Definition value-range.cc:1565
virtual bool fits_p(const vrange &r) const override
Definition value-range.cc:407
void set(tree type, const wide_int &, const wide_int &, value_range_kind=VR_RANGE)
Definition value-range.cc:1441
unsigned char m_num_ranges
Definition value-range.h:353
virtual void accept(const vrange_visitor &v) const override
Definition value-range.cc:59
bool irange_single_pair_union(const irange &r)
Definition value-range.cc:1656
virtual bool singleton_p(tree *result=NULL) const override
Definition value-range.cc:1602
static bool supports_p(const_tree type)
Definition value-range.h:1044
wide_int upper_bound() const
Definition value-range.h:1183
virtual void verify_range() const
Definition value-range.cc:1518
wide_int lower_bound(unsigned=0) const
Definition value-range.h:1162
irange_bitmask m_bitmask
Definition value-range.h:357
virtual void set_undefined() override
Definition value-range.h:1133
virtual tree ubound() const override
Definition value-range.cc:2617
bool nonpositive_p() const
Definition value-range.cc:393
irange & operator=(const irange &)
Definition value-range.cc:1320
bool snap(const wide_int &, const wide_int &, wide_int &, wide_int &)
Definition value-range.cc:2287
friend class vrange_printer
Definition value-range.h:277
virtual void set_zero(tree type) override
Definition value-range.h:1219
virtual void update_bitmask(const class irange_bitmask &) override
Definition value-range.cc:2468
bool contains_p(const wide_int &) const
Definition value-range.cc:1631
bool set_range_from_bitmask()
Definition value-range.cc:2367
bool irange_contains_p(const irange &) const
Definition value-range.cc:1900
bool varying_compatible_p() const
Definition value-range.h:992
virtual tree type() const override
Definition value-range.h:985
void normalize_kind()
Definition value-range.h:1228
bool snap_subranges()
Definition value-range.cc:2329
wide_int upper_bound(unsigned) const
Definition value-range.h:1173
bool operator!=(const irange &r) const
Definition value-range.h:318
irange(wide_int *, unsigned nranges, bool resizable)
Definition value-range.h:1070
Definition value-range.h:477
bool neg_p() const
Definition value-range.h:520
bool m_neg_nan
Definition value-range.h:485
bool pos_p() const
Definition value-range.h:512
bool m_pos_nan
Definition value-range.h:484
nan_state(bool)
Definition value-range.h:492
Definition value-range.h:388
virtual bool supports_type_p(const_tree type) const final override
Definition value-range.h:1303
wide_int m_min
Definition value-range.h:432
virtual bool intersect(const vrange &v) final override
Definition value-range.cc:558
virtual void set_nonnegative(tree type) final override
Definition value-range.cc:429
void invert()
Definition value-range.cc:636
prange()
Definition value-range.h:1268
virtual tree lbound() const final override
Definition value-range.cc:506
wide_int upper_bound() const
Definition value-range.h:1386
irange_bitmask get_bitmask() const final override
Definition value-range.h:1400
wide_int m_max
Definition value-range.h:433
virtual bool contains_p(tree cst) const final override
Definition value-range.h:1354
tree m_type
Definition value-range.h:431
bool varying_compatible_p() const
Definition value-range.h:1393
virtual void set_varying(tree type) final override
Definition value-range.h:1315
static bool supports_p(const_tree type)
Definition value-range.h:1297
virtual void set_zero(tree type) final override
Definition value-range.h:1341
wide_int lower_bound() const
Definition value-range.h:1379
virtual bool fits_p(const vrange &v) const final override
Definition value-range.h:1406
virtual bool zero_p() const final override
Definition value-range.h:1360
virtual void set_undefined() final override
Definition value-range.h:1309
virtual void verify_range() const
Definition value-range.cc:668
void update_bitmask(const irange_bitmask &) final override
Definition value-range.cc:687
virtual void set_nonzero(tree type) final override
Definition value-range.h:1328
virtual bool nonzero_p() const final override
Definition value-range.h:1366
friend class vrange_printer
Definition value-range.h:390
friend class prange_storage
Definition value-range.h:389
virtual bool singleton_p(tree *result=NULL) const final override
Definition value-range.cc:494
virtual tree ubound() const final override
Definition value-range.cc:512
virtual tree type() const final override
Definition value-range.h:1372
virtual void set(tree, tree, value_range_kind=VR_RANGE) final override
Definition value-range.cc:437
virtual bool union_(const vrange &v) final override
Definition value-range.cc:518
irange_bitmask m_bitmask
Definition value-range.h:434
Definition value-range.h:441
unsupported_range & operator=(const unsupported_range &r)
Definition value-range.cc:223
unsupported_range(const unsupported_range &src)
Definition value-range.h:448
unsupported_range()
Definition value-range.h:443
Definition value-range.h:762
void verify_range() const
Definition value-range.h:801
void set_zero(tree type)
Definition value-range.h:790
~value_range()
Definition value-range.h:863
bool undefined_p() const
Definition value-range.h:782
bool contains_p(tree cst) const
Definition value-range.h:787
static bool supports_type_p(const_tree type)
Definition value-range.h:963
void accept(const vrange_visitor &v) const
Definition value-range.h:800
bool nonzero_p() const
Definition value-range.h:793
bool varying_p() const
Definition value-range.h:781
vrange * m_vrange
Definition value-range.h:806
tree type()
Definition value-range.h:780
irange_bitmask get_bitmask() const
Definition value-range.h:797
tree ubound() const
Definition value-range.h:796
value_range()
Definition value-range.h:821
bool intersect(const vrange &r)
Definition value-range.h:786
void update_bitmask(const class irange_bitmask &bm)
Definition value-range.h:798
bool union_(const vrange &r)
Definition value-range.h:785
void set_nonzero(tree type)
Definition value-range.h:791
void set_type(tree type)
Definition value-range.h:873
void set_undefined()
Definition value-range.h:784
bool zero_p() const
Definition value-range.h:794
bool operator!=(const value_range &r) const
Definition value-range.h:943
bool singleton_p(tree *result=NULL) const
Definition value-range.h:788
tree lbound() const
Definition value-range.h:795
void set_varying(tree type)
Definition value-range.h:783
vrange & operator=(const vrange &)
Definition value-range.h:919
union value_range::buffer_type m_buffer
bool operator==(const value_range &r) const
Definition value-range.h:937
void init(tree type)
Definition value-range.h:884
Definition value-range.h:739
virtual void visit(const unsupported_range &) const
Definition value-range.h:744
virtual void visit(const irange &) const
Definition value-range.h:741
virtual void visit(const frange &) const
Definition value-range.h:743
virtual void visit(const prange &) const
Definition value-range.h:742
Definition value-range.h:78
virtual void verify_range() const
Definition value-range.h:114
friend class value_range
Definition value-range.h:80
virtual irange_bitmask get_bitmask() const
Definition value-range.cc:101
vrange(enum value_range_discriminator d)
Definition value-range.h:116
enum value_range_kind m_kind
Definition value-range.h:117
virtual bool singleton_p(tree *result=NULL) const =0
bool operator!=(const vrange &r) const
Definition value-range.h:112
virtual bool supports_type_p(const_tree type) const =0
virtual void set_zero(tree type)=0
virtual bool union_(const vrange &)=0
virtual ~vrange()
Definition value-range.h:100
virtual bool nonzero_p() const =0
friend class range_op_handler
Definition value-range.h:82
virtual bool zero_p() const =0
virtual void set(tree, tree, value_range_kind=VR_RANGE)=0
virtual void set_varying(tree type)=0
bool undefined_p() const
Definition value-range.h:1020
enum value_range_discriminator m_discriminator
Definition value-range.h:118
virtual void set_undefined()=0
virtual bool intersect(const vrange &)=0
virtual void set_nonzero(tree type)=0
virtual void update_bitmask(const class irange_bitmask &)
Definition value-range.cc:96
virtual tree ubound() const =0
friend bool is_a(vrange &)
Definition value-range.h:643
void set_nonzero_bits(const wide_int &bits)
Definition value-range.cc:2530
virtual void set_nonnegative(tree type)=0
virtual void accept(const class vrange_visitor &v) const =0
virtual bool contains_p(tree cst) const =0
vrange & operator=(const vrange &)
Definition value-range.cc:250
virtual tree lbound() const =0
virtual tree type() const =0
void dump(FILE *) const
Definition value-range.cc:283
friend void streamer_write_vrange(struct output_block *, const vrange &)
Definition data-streamer-out.cc:408
wide_int get_nonzero_bits() const
Definition value-range.cc:2540
virtual bool fits_p(const vrange &r) const =0
bool varying_p() const
Definition value-range.h:1014
bool operator==(const vrange &) const
Definition value-range.cc:269
unsigned int get_precision() const
Definition wide-int.h:1252
const union tree_node * const_tree
Definition coretypes.h:98
union tree_node * tree
Definition coretypes.h:97
bool operator==(const nowarn_spec_t &lhs, const nowarn_spec_t &rhs)
Definition diagnostic-spec.h:131
bool operator!=(const nowarn_spec_t &lhs, const nowarn_spec_t &rhs)
Definition diagnostic-spec.h:139
REAL_VALUE_TYPE dconstninf
Definition emit-rtl.cc:114
REAL_VALUE_TYPE dconstinf
Definition emit-rtl.cc:113
void final(rtx_insn *first, FILE *file, int optimize_p)
Definition final.cc:2008
static struct token T
Definition gengtype-parse.cc:45
tree_code
Definition genmatch.cc:1002
#define N
Definition gensupport.cc:202
@ value
Definition logical-location.h:59
@ type
Definition logical-location.h:41
Definition fold-const.cc:4346
void add_vrange(const vrange &v, inchash::hash &hstate, unsigned int)
Definition value-range.cc:320
wide_int min_value(machine_mode, signop)
Definition rtl.h:2364
hwi_with_prec minus_one(unsigned int)
Definition wide-int.h:2011
hwi_with_prec zero(unsigned int)
Definition wide-int.h:2018
BINARY_FUNCTION bit_and(const T1 &, const T2 &)
wide_int max_value(machine_mode, signop)
Definition rtl.h:2372
tree_to_wide_ref to_wide(const_tree)
Definition tree.h:6503
hwi_with_prec one(unsigned int)
Definition wide-int.h:2025
poly_int< N, C > r
Definition poly-int.h:774
i
Definition poly-int.h:776
static bool maybe_isnan(const frange &op1, const frange &op2)
Definition range-op-float.cc:239
static bool zero_p(const REAL_VALUE_TYPE &lb, const REAL_VALUE_TYPE &ub)
Definition range-op-float.cc:2266
int real_from_string(REAL_VALUE_TYPE *r, const char *str)
Definition real.cc:2006
bool HONOR_NANS(machine_mode m)
Definition real.cc:5512
REAL_VALUE_TYPE real_value_negate(const REAL_VALUE_TYPE *op0)
Definition real.cc:1115
bool real_isneg(const REAL_VALUE_TYPE *r)
Definition real.cc:1280
bool real_isinf(const REAL_VALUE_TYPE *r)
Definition real.cc:1242
static bool real_isdenormal(const REAL_VALUE_TYPE *r)
Definition real.cc:120
bool real_identical(const REAL_VALUE_TYPE *a, const REAL_VALUE_TYPE *b)
Definition real.cc:1312
bool HONOR_INFINITIES(machine_mode m)
Definition real.cc:5553
bool real_iszero(const REAL_VALUE_TYPE *r)
Definition real.cc:1288
void get_max_float(const struct real_format *fmt, char *buf, size_t len, bool norm_max)
Definition real.cc:5450
#define REAL_MODE_FORMAT(MODE)
Definition real.h:183
#define REAL_VALUE_TYPE
Definition real.h:68
signop
Definition signop.h:28
@ UNSIGNED
Definition signop.h:30
Definition lto-streamer.h:709
Definition gengtype.h:218
Definition gengtype.h:252
#define NULL
Definition system.h:50
#define gcc_unreachable()
Definition system.h:841
#define gcc_checking_assert(EXPR)
Definition system.h:821
tree build_zero_cst(tree type)
Definition tree.cc:2775
#define DECIMAL_FLOAT_TYPE_P(TYPE)
Definition tree.h:680
#define TYPE_PRECISION(NODE)
Definition tree.h:2330
#define SCALAR_FLOAT_TYPE_P(TYPE)
Definition tree.h:648
#define TREE_REAL_CST_PTR(NODE)
Definition tree.h:1160
#define TYPE_UNSIGNED(NODE)
Definition tree.h:949
#define TYPE_MODE(NODE)
Definition tree.h:2339
#define TYPE_SIGN(NODE)
Definition tree.h:952
#define POINTER_TYPE_P(TYPE)
Definition tree.h:700
#define TYPE_P(NODE)
Definition tree.h:226
#define TREE_TYPE(NODE)
Definition tree.h:512
#define INTEGRAL_TYPE_P(TYPE)
Definition tree.h:613
#define error_mark_node
Definition tree.h:4501
unsupported_range unsupported
Definition value-range.h:810
buffer_type()
Definition value-range.h:812
prange pointers
Definition value-range.h:811
~buffer_type()
Definition value-range.h:813
frange floats
Definition value-range.h:809
int_range_max ints
Definition value-range.h:808
T & as_a(vrange &v)
Definition value-range.h:660
REAL_VALUE_TYPE frange_val_max(const_tree type)
Definition value-range.h:1584
bool range_includes_zero_p(const vrange &vr)
Definition value-range.h:1056
wide_int irange_val_max(const_tree type)
Definition value-range.h:1261
value_range_kind
Definition value-range.h:29
@ VR_ANTI_RANGE
Definition value-range.h:37
@ VR_RANGE
Definition value-range.h:35
@ VR_LAST
Definition value-range.h:41
@ VR_NAN
Definition value-range.h:39
@ VR_VARYING
Definition value-range.h:33
@ VR_UNDEFINED
Definition value-range.h:31
void dump_value_range(FILE *, const vrange *)
Definition value-range.cc:2630
bool is_a< prange >(vrange &v)
Definition value-range.h:685
bool is_a< unsupported_range >(vrange &v)
Definition value-range.h:699
value_range_discriminator
Definition value-range.h:47
@ VR_UNKNOWN
Definition value-range.h:55
@ VR_IRANGE
Definition value-range.h:49
@ VR_PRANGE
Definition value-range.h:51
@ VR_FRANGE
Definition value-range.h:53
REAL_VALUE_TYPE real_min_representable(const_tree type)
Definition value-range.h:1563
void frange_arithmetic(enum tree_code, tree, REAL_VALUE_TYPE &, const REAL_VALUE_TYPE &, const REAL_VALUE_TYPE &, const REAL_VALUE_TYPE &)
Definition range-op-float.cc:331
int_range< 3, true > int_range_max
Definition value-range.h:736
value_range_kind get_legacy_range(const vrange &, tree &min, tree &max)
Definition value-range.cc:1423
bool is_a< frange >(vrange &v)
Definition value-range.h:692
void frange_nextafter(enum machine_mode, REAL_VALUE_TYPE &, const REAL_VALUE_TYPE &)
Definition range-op-float.cc:298
REAL_VALUE_TYPE real_max_representable(const_tree type)
Definition value-range.h:1549
wide_int irange_val_min(const_tree type)
Definition value-range.h:1254
bool range_compatible_p(tree type1, tree type2)
Definition value-range.h:1795
bool frange_val_is_min(const REAL_VALUE_TYPE &r, const_tree type)
Definition value-range.h:1595
bool contains_zero_p(const irange &r)
Definition value-range.h:1244
bool frange_val_is_max(const REAL_VALUE_TYPE &r, const_tree type)
Definition value-range.h:1604
bool vrp_operand_equal_p(const_tree, const_tree)
Definition value-range.cc:2651
REAL_VALUE_TYPE frange_val_min(const_tree type)
Definition value-range.h:1573
bool is_a< irange >(vrange &v)
Definition value-range.h:678
generic_wide_int< wide_int_storage > wide_int
Definition wide-int.h:343