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;
151 void dump (FILE *)
const;
192 return m_mask.get_precision ();
234 if (unknown1 || unknown2)
235 return unknown1 == unknown2;
258 unsigned prec =
m_mask.get_precision ();
366template<
unsigned N,
bool RESIZABLE = false>
415 bool operator== (const
prange &) const;
545 virtual tree type ()
const override;
551 void set_nan (
tree type,
bool sign);
553 virtual void set_varying (
tree type)
override;
554 virtual void set_undefined ()
override;
555 virtual bool union_ (
const vrange &)
override;
556 virtual bool intersect (
const vrange &)
override;
558 virtual bool singleton_p (
tree *result =
NULL)
const override;
562 virtual bool zero_p ()
const override;
563 virtual bool nonzero_p ()
const override;
564 virtual void set_nonzero (
tree type)
override;
565 virtual void set_zero (
tree type)
override;
566 virtual void set_nonnegative (
tree type)
override;
567 virtual bool fits_p (
const vrange &)
const override;
573 virtual tree lbound ()
const override;
574 virtual tree ubound ()
const override;
577 void update_nan (
bool sign);
652 const T &derived =
static_cast<const T &
> (v);
653 return is_a <T> (
const_cast<T &
> (derived));
661 return static_cast <T &
> (v);
669 return static_cast <const T &
> (v);
716 for (
unsigned i = 0;
i < n; ++
i)
722template<
unsigned N,
bool RESIZABLE>
774 operator const vrange &()
const;
775 void dump (FILE *)
const;
787 {
return m_vrange->singleton_p (result); }
797 {
return m_vrange->update_bitmask (bm); }
801 void init (
const vrange &);
952value_range::operator
const vrange &()
const
952value_range::operator
const vrange &()
const {
…}
1078template<
unsigned N,
bool RESIZABLE>
1085template<
unsigned N,
bool RESIZABLE>
1092template<
unsigned N,
bool RESIZABLE>
1099template<
unsigned N,
bool RESIZABLE>
1106template<
unsigned N,
bool RESIZABLE>
1114template<
unsigned N,
bool RESIZABLE>
1121template<
unsigned N,
bool RESIZABLE>
1243 if (
r.undefined_p ())
1247 return r.contains_p (zero);
1447 set (min, max, kind);
1551 buf,
sizeof (buf),
false);
1751 signbit =
m_min.sign;
1759 || (nan_sign ==
m_min.sign && nan_sign ==
m_max.sign))
Definition value-range.h:528
tree m_type
Definition value-range.h:607
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:1507
void clear_nan()
Definition value-range.h:1533
REAL_VALUE_TYPE m_min
Definition value-range.h:608
bool known_isfinite() const
Definition value-range.h:1647
bool known_isdenormal_or_zero() const
Definition value-range.h:1671
REAL_VALUE_TYPE m_max
Definition value-range.h:609
bool intersect_nans(const frange &)
Definition value-range.cc:992
void verify_range()
Definition value-range.cc:1208
bool maybe_isinf() const
Definition value-range.h:1684
bool internal_singleton_p(REAL_VALUE_TYPE *=NULL) const
Definition value-range.cc:1153
bool m_neg_nan
Definition value-range.h:611
bool known_isnormal() const
Definition value-range.h:1657
bool nan_signbit_p(bool &signbit) const
Definition value-range.h:1771
virtual void set_varying(tree type) override
Definition value-range.h:1458
bool m_pos_nan
Definition value-range.h:610
bool known_isnan() const
Definition value-range.h:1729
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:1477
bool maybe_isnan() const
Definition value-range.h:1707
bool normalize_kind()
Definition value-range.cc:850
bool known_isinf() const
Definition value-range.h:1696
const REAL_VALUE_TYPE & upper_bound() const
Definition value-range.h:622
void set_nan(tree type)
Definition value-range.h:1629
friend class vrange_printer
Definition value-range.h:530
frange()
Definition value-range.h:1410
const REAL_VALUE_TYPE & lower_bound() const
Definition value-range.h:615
bool combine_zeros(const frange &, bool union_p)
Definition value-range.cc:888
friend class frange_storage
Definition value-range.h:529
bool signbit_p(bool &signbit) const
Definition value-range.h:1738
bool contains_p(const REAL_VALUE_TYPE &) const
Definition value-range.cc:1114
static bool supports_p(const_tree type)
Definition value-range.h:538
virtual tree type() const override
Definition value-range.h:1451
nan_state get_nan_state() const
Definition value-range.h:631
Definition value-range.h:368
wide_int m_ranges[N *2]
Definition value-range.h:381
int_range()
Definition value-range.h:1080
int_range(tree type, const wide_int &, const wide_int &, value_range_kind=VR_RANGE)
Definition value-range.h:1107
int_range(tree type)
Definition value-range.h:1100
int_range(const irange &)
Definition value-range.h:1115
int_range(const int_range &)
Definition value-range.h:1086
int_range & operator=(const int_range &)
Definition value-range.h:1123
~int_range() final override
Definition value-range.h:724
Definition value-range.h:134
irange_bitmask(unsigned prec)
Definition value-range.h:137
void dump(FILE *) const
Definition value-range.cc:294
void verify_mask() const
Definition value-range.cc:2506
void set_nonzero_bits(const wide_int &bits)
Definition value-range.h:208
unsigned get_precision() const
Definition value-range.h:190
bool member_p(const wide_int &val) const
Definition value-range.h:219
void set_unknown(unsigned prec)
Definition value-range.h:164
bool unknown_p() const
Definition value-range.h:175
void union_(const irange_bitmask &src)
Definition value-range.h:240
bool operator==(const irange_bitmask &src) const
Definition value-range.h:230
wide_int get_nonzero_bits() const
Definition value-range.h:201
wide_int mask() const
Definition value-range.h:142
bool operator!=(const irange_bitmask &src) const
Definition value-range.h:149
irange_bitmask()
Definition value-range.h:136
wide_int m_mask
Definition value-range.h:160
void intersect(const irange_bitmask &src)
Definition value-range.h:249
wide_int m_value
Definition value-range.h:159
wide_int value() const
Definition value-range.h:141
Definition value-range.h:274
friend class irange_storage
Definition value-range.h:275
void invert()
Definition value-range.cc:2163
bool union_bitmask(const irange &r)
Definition value-range.cc:2465
virtual bool nonzero_p() const override
Definition value-range.h:1031
virtual bool zero_p() const override
Definition value-range.h:1023
bool m_resizable
Definition value-range.h:351
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:1190
unsigned num_pairs() const
Definition value-range.h:976
unsigned char m_max_ranges
Definition value-range.h:352
virtual bool union_(const vrange &) override
Definition value-range.cc:1758
virtual void set_nonnegative(tree type) override
Definition value-range.cc:413
void maybe_resize(int needed)
Definition value-range.h:706
bool union_append(const irange &r)
Definition value-range.cc:1720
virtual void set_varying(tree type) override
Definition value-range.h:1137
virtual tree lbound() const override
Definition value-range.cc:2494
bool intersect_bitmask(const irange &r)
Definition value-range.cc:2433
tree m_type
Definition value-range.h:353
virtual bool contains_p(tree cst) const override
Definition value-range.h:1047
virtual bool intersect(const vrange &) override
Definition value-range.cc:1943
bool nonnegative_p() const
Definition value-range.cc:387
virtual irange_bitmask get_bitmask() const override
Definition value-range.cc:2379
wide_int * m_base
Definition value-range.h:356
static const int HARD_MAX_RANGES
Definition value-range.h:341
bool operator==(const irange &) const
Definition value-range.cc:1560
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:350
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:1653
virtual bool singleton_p(tree *result=NULL) const override
Definition value-range.cc:1597
static bool supports_p(const_tree type)
Definition value-range.h:1041
wide_int upper_bound() const
Definition value-range.h:1180
wide_int lower_bound(unsigned=0) const
Definition value-range.h:1159
irange_bitmask m_bitmask
Definition value-range.h:354
virtual void set_undefined() override
Definition value-range.h:1130
virtual tree ubound() const override
Definition value-range.cc:2500
bool nonpositive_p() const
Definition value-range.cc:393
irange & operator=(const irange &)
Definition value-range.cc:1320
void verify_range()
Definition value-range.cc:1518
friend class vrange_printer
Definition value-range.h:276
virtual void set_zero(tree type) override
Definition value-range.h:1216
virtual void update_bitmask(const class irange_bitmask &) override
Definition value-range.cc:2356
bool contains_p(const wide_int &) const
Definition value-range.cc:1626
bool set_range_from_bitmask()
Definition value-range.cc:2262
bool irange_contains_p(const irange &) const
Definition value-range.cc:1897
bool varying_compatible_p() const
Definition value-range.h:989
virtual tree type() const override
Definition value-range.h:982
void normalize_kind()
Definition value-range.h:1225
wide_int upper_bound(unsigned) const
Definition value-range.h:1170
bool operator!=(const irange &r) const
Definition value-range.h:317
irange(wide_int *, unsigned nranges, bool resizable)
Definition value-range.h:1067
Definition value-range.h:474
bool neg_p() const
Definition value-range.h:517
bool m_neg_nan
Definition value-range.h:482
bool pos_p() const
Definition value-range.h:509
bool m_pos_nan
Definition value-range.h:481
nan_state(bool)
Definition value-range.h:489
Definition value-range.h:385
virtual bool supports_type_p(const_tree type) const final override
Definition value-range.h:1300
wide_int m_min
Definition value-range.h:429
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:1265
virtual tree lbound() const final override
Definition value-range.cc:506
wide_int upper_bound() const
Definition value-range.h:1383
irange_bitmask get_bitmask() const final override
Definition value-range.h:1397
wide_int m_max
Definition value-range.h:430
virtual bool contains_p(tree cst) const final override
Definition value-range.h:1351
tree m_type
Definition value-range.h:428
bool varying_compatible_p() const
Definition value-range.h:1390
virtual void set_varying(tree type) final override
Definition value-range.h:1312
static bool supports_p(const_tree type)
Definition value-range.h:1294
virtual void set_zero(tree type) final override
Definition value-range.h:1338
wide_int lower_bound() const
Definition value-range.h:1376
virtual bool fits_p(const vrange &v) const final override
Definition value-range.h:1403
virtual bool zero_p() const final override
Definition value-range.h:1357
virtual void set_undefined() final override
Definition value-range.h:1306
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:1325
virtual bool nonzero_p() const final override
Definition value-range.h:1363
friend class vrange_printer
Definition value-range.h:387
friend class prange_storage
Definition value-range.h:386
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:1369
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:431
Definition value-range.h:438
unsupported_range & operator=(const unsupported_range &r)
Definition value-range.cc:223
unsupported_range(const unsupported_range &src)
Definition value-range.h:445
unsupported_range()
Definition value-range.h:440
Definition value-range.h:760
void set_zero(tree type)
Definition value-range.h:788
~value_range()
Definition value-range.h:860
bool undefined_p() const
Definition value-range.h:780
bool contains_p(tree cst) const
Definition value-range.h:785
static bool supports_type_p(const_tree type)
Definition value-range.h:960
void accept(const vrange_visitor &v) const
Definition value-range.h:798
bool nonzero_p() const
Definition value-range.h:791
bool varying_p() const
Definition value-range.h:779
vrange * m_vrange
Definition value-range.h:803
tree type()
Definition value-range.h:778
irange_bitmask get_bitmask() const
Definition value-range.h:795
tree ubound() const
Definition value-range.h:794
value_range()
Definition value-range.h:818
bool intersect(const vrange &r)
Definition value-range.h:784
void update_bitmask(const class irange_bitmask &bm)
Definition value-range.h:796
bool union_(const vrange &r)
Definition value-range.h:783
void set_nonzero(tree type)
Definition value-range.h:789
void set_type(tree type)
Definition value-range.h:870
void set_undefined()
Definition value-range.h:782
bool zero_p() const
Definition value-range.h:792
bool operator!=(const value_range &r) const
Definition value-range.h:940
bool singleton_p(tree *result=NULL) const
Definition value-range.h:786
tree lbound() const
Definition value-range.h:793
void set_varying(tree type)
Definition value-range.h:781
vrange & operator=(const vrange &)
Definition value-range.h:916
union value_range::buffer_type m_buffer
bool operator==(const value_range &r) const
Definition value-range.h:934
void init(tree type)
Definition value-range.h:881
Definition value-range.h:737
virtual void visit(const unsupported_range &) const
Definition value-range.h:742
virtual void visit(const irange &) const
Definition value-range.h:739
virtual void visit(const frange &) const
Definition value-range.h:741
virtual void visit(const prange &) const
Definition value-range.h:740
Definition value-range.h:78
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:115
enum value_range_kind m_kind
Definition value-range.h:116
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:1017
enum value_range_discriminator m_discriminator
Definition value-range.h:117
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:641
void set_nonzero_bits(const wide_int &bits)
Definition value-range.cc:2412
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:2422
virtual bool fits_p(const vrange &r) const =0
bool varying_p() const
Definition value-range.h:1011
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 type_p type(options_p *optsp, bool nested)
Definition gengtype-parse.cc:883
static struct token T
Definition gengtype-parse.cc:45
tree_code
Definition genmatch.cc:1002
#define N
Definition gensupport.cc:202
Definition fold-const.cc:4338
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:2356
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:2364
tree_to_wide_ref to_wide(const_tree)
Definition tree.h:6473
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:5498
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:5539
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:5436
#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:2722
#define DECIMAL_FLOAT_TYPE_P(TYPE)
Definition tree.h:680
#define TYPE_PRECISION(NODE)
Definition tree.h:2306
#define SCALAR_FLOAT_TYPE_P(TYPE)
Definition tree.h:648
#define TREE_REAL_CST_PTR(NODE)
Definition tree.h:1155
#define TYPE_UNSIGNED(NODE)
Definition tree.h:949
#define TYPE_MODE(NODE)
Definition tree.h:2315
#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:4477
unsupported_range unsupported
Definition value-range.h:807
buffer_type()
Definition value-range.h:809
prange pointers
Definition value-range.h:808
~buffer_type()
Definition value-range.h:810
frange floats
Definition value-range.h:806
int_range_max ints
Definition value-range.h:805
T & as_a(vrange &v)
Definition value-range.h:658
REAL_VALUE_TYPE frange_val_max(const_tree type)
Definition value-range.h:1581
bool range_includes_zero_p(const vrange &vr)
Definition value-range.h:1053
wide_int irange_val_max(const_tree type)
Definition value-range.h:1258
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:2513
bool is_a< prange >(vrange &v)
Definition value-range.h:683
bool is_a< unsupported_range >(vrange &v)
Definition value-range.h:697
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:1560
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:734
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:690
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:1546
wide_int irange_val_min(const_tree type)
Definition value-range.h:1251
bool range_compatible_p(tree type1, tree type2)
Definition value-range.h:1792
bool frange_val_is_min(const REAL_VALUE_TYPE &r, const_tree type)
Definition value-range.h:1592
bool contains_zero_p(const irange &r)
Definition value-range.h:1241
bool frange_val_is_max(const REAL_VALUE_TYPE &r, const_tree type)
Definition value-range.h:1601
bool vrp_operand_equal_p(const_tree, const_tree)
Definition value-range.cc:2534
REAL_VALUE_TYPE frange_val_min(const_tree type)
Definition value-range.h:1570
bool is_a< irange >(vrange &v)
Definition value-range.h:676
generic_wide_int< wide_int_storage > wide_int
Definition wide-int.h:343