]>
Commit | Line | Data |
---|---|---|
cca78449 | 1 | /* Support routines for value ranges. |
a945c346 | 2 | Copyright (C) 2019-2024 Free Software Foundation, Inc. |
4ba9fb0a AH |
3 | Contributed by Aldy Hernandez <aldyh@redhat.com> and |
4 | Andrew Macleod <amacleod@redhat.com>. | |
cca78449 AH |
5 | |
6 | This file is part of GCC. | |
7 | ||
8 | GCC is free software; you can redistribute it and/or modify | |
9 | it under the terms of the GNU General Public License as published by | |
10 | the Free Software Foundation; either version 3, or (at your option) | |
11 | any later version. | |
12 | ||
13 | GCC is distributed in the hope that it will be useful, | |
14 | but WITHOUT ANY WARRANTY; without even the implied warranty of | |
15 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
16 | GNU General Public License for more details. | |
17 | ||
18 | You should have received a copy of the GNU General Public License | |
19 | along with GCC; see the file COPYING3. If not see | |
20 | <http://www.gnu.org/licenses/>. */ | |
21 | ||
22 | #ifndef GCC_VALUE_RANGE_H | |
23 | #define GCC_VALUE_RANGE_H | |
24 | ||
4f1bce19 AH |
25 | class irange; |
26 | ||
4ba9fb0a | 27 | // Types of value ranges. |
cca78449 AH |
28 | enum value_range_kind |
29 | { | |
30 | /* Empty range. */ | |
31 | VR_UNDEFINED, | |
32 | /* Range spans the entire domain. */ | |
33 | VR_VARYING, | |
34 | /* Range is [MIN, MAX]. */ | |
35 | VR_RANGE, | |
36 | /* Range is ~[MIN, MAX]. */ | |
37 | VR_ANTI_RANGE, | |
91746147 AH |
38 | /* Range is a NAN. */ |
39 | VR_NAN, | |
cca78449 AH |
40 | /* Range is a nice guy. */ |
41 | VR_LAST | |
42 | }; | |
43 | ||
4f1bce19 AH |
44 | // Discriminator between different vrange types. |
45 | ||
46 | enum value_range_discriminator | |
47 | { | |
48 | // Range holds an integer or pointer. | |
49 | VR_IRANGE, | |
64993a89 AH |
50 | // Pointer range. |
51 | VR_PRANGE, | |
1a10bd84 AH |
52 | // Floating point range. |
53 | VR_FRANGE, | |
4f1bce19 AH |
54 | // Range holds an unsupported type. |
55 | VR_UNKNOWN | |
56 | }; | |
57 | ||
58 | // Abstract class for ranges of any of the supported types. | |
a9058b08 AH |
59 | // |
60 | // To query what types ranger and the entire ecosystem can support, | |
3dedfad5 | 61 | // use value_range::supports_type_p(tree type). This is a static |
a9058b08 AH |
62 | // method available independently of any vrange object. |
63 | // | |
64 | // To query what a given vrange variant can support, use: | |
65 | // irange::supports_p () | |
66 | // frange::supports_p () | |
67 | // etc | |
68 | // | |
69 | // To query what a range object can support, use: | |
70 | // void foo (vrange &v, irange &i, frange &f) | |
71 | // { | |
72 | // if (v.supports_type_p (type)) ... | |
73 | // if (i.supports_type_p (type)) ... | |
74 | // if (f.supports_type_p (type)) ... | |
75 | // } | |
4f1bce19 | 76 | |
eeef1f69 | 77 | class vrange |
4f1bce19 AH |
78 | { |
79 | template <typename T> friend bool is_a (vrange &); | |
3dedfad5 | 80 | friend class value_range; |
e11685f7 | 81 | friend void streamer_write_vrange (struct output_block *, const vrange &); |
cd9c7f89 | 82 | friend class range_op_handler; |
4f1bce19 | 83 | public: |
91a7f306 | 84 | virtual void accept (const class vrange_visitor &v) const = 0; |
21713edf AH |
85 | virtual void set (tree, tree, value_range_kind = VR_RANGE) = 0; |
86 | virtual tree type () const = 0; | |
87 | virtual bool supports_type_p (const_tree type) const = 0; | |
88 | virtual void set_varying (tree type) = 0; | |
89 | virtual void set_undefined () = 0; | |
90 | virtual bool union_ (const vrange &) = 0; | |
91 | virtual bool intersect (const vrange &) = 0; | |
92 | virtual bool singleton_p (tree *result = NULL) const = 0; | |
93 | virtual bool contains_p (tree cst) const = 0; | |
94 | virtual bool zero_p () const = 0; | |
95 | virtual bool nonzero_p () const = 0; | |
96 | virtual void set_nonzero (tree type) = 0; | |
97 | virtual void set_zero (tree type) = 0; | |
98 | virtual void set_nonnegative (tree type) = 0; | |
99 | virtual bool fits_p (const vrange &r) const = 0; | |
a78dfb0f | 100 | virtual ~vrange () { } |
ba1a8e8e AH |
101 | virtual tree lbound () const = 0; |
102 | virtual tree ubound () const = 0; | |
fd4cf7a0 AH |
103 | virtual void update_bitmask (const class irange_bitmask &); |
104 | virtual irange_bitmask get_bitmask () const; | |
105 | wide_int get_nonzero_bits () const; | |
106 | void set_nonzero_bits (const wide_int &bits); | |
4f1bce19 | 107 | |
4f1bce19 AH |
108 | bool varying_p () const; |
109 | bool undefined_p () const; | |
110 | vrange& operator= (const vrange &); | |
111 | bool operator== (const vrange &) const; | |
112 | bool operator!= (const vrange &r) const { return !(*this == r); } | |
64864aa9 | 113 | void dump (FILE *) const; |
4f1bce19 | 114 | protected: |
027a94b0 | 115 | vrange (enum value_range_discriminator d) : m_discriminator (d) { } |
4f1bce19 | 116 | ENUM_BITFIELD(value_range_kind) m_kind : 8; |
027a94b0 | 117 | const ENUM_BITFIELD(value_range_discriminator) m_discriminator : 4; |
4f1bce19 AH |
118 | }; |
119 | ||
4d747ea3 AH |
120 | namespace inchash |
121 | { | |
122 | extern void add_vrange (const vrange &, hash &, unsigned flags = 0); | |
123 | } | |
124 | ||
0c888665 AH |
125 | // A pair of values representing the known bits in a range. Zero bits |
126 | // in MASK cover constant values. Set bits in MASK cover unknown | |
127 | // values. VALUE are the known bits. | |
128 | // | |
129 | // Set bits in MASK (no meaningful information) must have their | |
130 | // corresponding bits in VALUE cleared, as this speeds up union and | |
131 | // intersect. | |
132 | ||
133 | class irange_bitmask | |
134 | { | |
135 | public: | |
136 | irange_bitmask () { /* uninitialized */ } | |
137 | irange_bitmask (unsigned prec) { set_unknown (prec); } | |
138 | irange_bitmask (const wide_int &value, const wide_int &mask); | |
139 | wide_int value () const { return m_value; } | |
140 | wide_int mask () const { return m_mask; } | |
141 | void set_unknown (unsigned prec); | |
142 | bool unknown_p () const; | |
143 | unsigned get_precision () const; | |
d71308d5 AH |
144 | void union_ (const irange_bitmask &src); |
145 | void intersect (const irange_bitmask &src); | |
0c888665 AH |
146 | bool operator== (const irange_bitmask &src) const; |
147 | bool operator!= (const irange_bitmask &src) const { return !(*this == src); } | |
148 | void verify_mask () const; | |
149 | void dump (FILE *) const; | |
150 | ||
7ab79a40 | 151 | bool member_p (const wide_int &val) const; |
a291237b AM |
152 | void adjust_range (irange &r) const; |
153 | ||
0c888665 AH |
154 | // Convenience functions for nonzero bitmask compatibility. |
155 | wide_int get_nonzero_bits () const; | |
156 | void set_nonzero_bits (const wide_int &bits); | |
157 | private: | |
158 | wide_int m_value; | |
159 | wide_int m_mask; | |
160 | }; | |
161 | ||
162 | inline void | |
163 | irange_bitmask::set_unknown (unsigned prec) | |
164 | { | |
165 | m_value = wi::zero (prec); | |
166 | m_mask = wi::minus_one (prec); | |
167 | if (flag_checking) | |
168 | verify_mask (); | |
169 | } | |
170 | ||
171 | // Return TRUE if THIS does not have any meaningful information. | |
172 | ||
173 | inline bool | |
174 | irange_bitmask::unknown_p () const | |
175 | { | |
176 | return m_mask == -1; | |
177 | } | |
178 | ||
179 | inline | |
180 | irange_bitmask::irange_bitmask (const wide_int &value, const wide_int &mask) | |
181 | { | |
182 | m_value = value; | |
183 | m_mask = mask; | |
184 | if (flag_checking) | |
185 | verify_mask (); | |
186 | } | |
187 | ||
188 | inline unsigned | |
189 | irange_bitmask::get_precision () const | |
190 | { | |
191 | return m_mask.get_precision (); | |
192 | } | |
193 | ||
194 | // The following two functions are meant for backwards compatability | |
195 | // with the nonzero bitmask. A cleared bit means the value must be 0. | |
196 | // A set bit means we have no information for the bit. | |
197 | ||
198 | // Return the nonzero bits. | |
199 | inline wide_int | |
200 | irange_bitmask::get_nonzero_bits () const | |
201 | { | |
202 | return m_value | m_mask; | |
203 | } | |
204 | ||
205 | // Set the bitmask to the nonzero bits in BITS. | |
206 | inline void | |
207 | irange_bitmask::set_nonzero_bits (const wide_int &bits) | |
208 | { | |
209 | m_value = wi::zero (bits.get_precision ()); | |
210 | m_mask = bits; | |
211 | if (flag_checking) | |
212 | verify_mask (); | |
213 | } | |
214 | ||
7ab79a40 AM |
215 | // Return TRUE if val could be a valid value with this bitmask. |
216 | ||
217 | inline bool | |
218 | irange_bitmask::member_p (const wide_int &val) const | |
219 | { | |
220 | if (unknown_p ()) | |
221 | return true; | |
222 | wide_int res = m_mask & val; | |
223 | if (m_value != 0) | |
224 | res |= ~m_mask & m_value; | |
225 | return res == val; | |
226 | } | |
227 | ||
0c888665 AH |
228 | inline bool |
229 | irange_bitmask::operator== (const irange_bitmask &src) const | |
230 | { | |
231 | bool unknown1 = unknown_p (); | |
232 | bool unknown2 = src.unknown_p (); | |
233 | if (unknown1 || unknown2) | |
234 | return unknown1 == unknown2; | |
235 | return m_value == src.m_value && m_mask == src.m_mask; | |
236 | } | |
237 | ||
d71308d5 AH |
238 | inline void |
239 | irange_bitmask::union_ (const irange_bitmask &src) | |
0c888665 | 240 | { |
0c888665 AH |
241 | m_mask = (m_mask | src.m_mask) | (m_value ^ src.m_value); |
242 | m_value = m_value & src.m_value; | |
243 | if (flag_checking) | |
244 | verify_mask (); | |
0c888665 AH |
245 | } |
246 | ||
d71308d5 AH |
247 | inline void |
248 | irange_bitmask::intersect (const irange_bitmask &src) | |
0c888665 | 249 | { |
0c888665 AH |
250 | // If we have two known bits that are incompatible, the resulting |
251 | // bit is undefined. It is unclear whether we should set the entire | |
252 | // range to UNDEFINED, or just a subset of it. For now, set the | |
253 | // entire bitmask to unknown (VARYING). | |
254 | if (wi::bit_and (~(m_mask | src.m_mask), | |
255 | m_value ^ src.m_value) != 0) | |
256 | { | |
257 | unsigned prec = m_mask.get_precision (); | |
258 | m_mask = wi::minus_one (prec); | |
259 | m_value = wi::zero (prec); | |
260 | } | |
261 | else | |
262 | { | |
263 | m_mask = m_mask & src.m_mask; | |
264 | m_value = m_value | src.m_value; | |
265 | } | |
266 | if (flag_checking) | |
267 | verify_mask (); | |
0c888665 AH |
268 | } |
269 | ||
4f1bce19 | 270 | // An integer range without any storage. |
cca78449 | 271 | |
eeef1f69 | 272 | class irange : public vrange |
cca78449 | 273 | { |
e1366a7e | 274 | friend class irange_storage; |
0c888665 | 275 | friend class vrange_printer; |
cca78449 | 276 | public: |
4ba9fb0a | 277 | // In-place setters. |
cb779afe | 278 | void set (tree type, const wide_int &, const wide_int &, |
1db05e1a | 279 | value_range_kind = VR_RANGE); |
4f1bce19 AH |
280 | virtual void set_nonzero (tree type) override; |
281 | virtual void set_zero (tree type) override; | |
282 | virtual void set_nonnegative (tree type) override; | |
283 | virtual void set_varying (tree type) override; | |
284 | virtual void set_undefined () override; | |
cca78449 | 285 | |
4ba9fb0a | 286 | // Range types. |
7e029e06 AH |
287 | static bool supports_p (const_tree type); |
288 | virtual bool supports_type_p (const_tree type) const override; | |
4f1bce19 | 289 | virtual tree type () const override; |
cca78449 | 290 | |
4ba9fb0a | 291 | // Iteration over sub-ranges. |
cca78449 AH |
292 | unsigned num_pairs () const; |
293 | wide_int lower_bound (unsigned = 0) const; | |
294 | wide_int upper_bound (unsigned) const; | |
295 | wide_int upper_bound () const; | |
ba1a8e8e AH |
296 | virtual tree lbound () const override; |
297 | virtual tree ubound () const override; | |
4ba9fb0a AH |
298 | |
299 | // Predicates. | |
4f1bce19 AH |
300 | virtual bool zero_p () const override; |
301 | virtual bool nonzero_p () const override; | |
302 | virtual bool singleton_p (tree *result = NULL) const override; | |
cb779afe AH |
303 | bool singleton_p (wide_int &) const; |
304 | bool contains_p (const wide_int &) const; | |
97442a08 JG |
305 | bool nonnegative_p () const; |
306 | bool nonpositive_p () const; | |
4ba9fb0a AH |
307 | |
308 | // In-place operators. | |
4f1bce19 AH |
309 | virtual bool union_ (const vrange &) override; |
310 | virtual bool intersect (const vrange &) override; | |
cca78449 AH |
311 | void invert (); |
312 | ||
4ba9fb0a AH |
313 | // Operator overloads. |
314 | irange& operator= (const irange &); | |
315 | bool operator== (const irange &) const; | |
316 | bool operator!= (const irange &r) const { return !(*this == r); } | |
317 | ||
318 | // Misc methods. | |
4f1bce19 | 319 | virtual bool fits_p (const vrange &r) const override; |
91a7f306 | 320 | virtual void accept (const vrange_visitor &v) const override; |
4ba9fb0a | 321 | |
fd4cf7a0 AH |
322 | virtual void update_bitmask (const class irange_bitmask &) override; |
323 | virtual irange_bitmask get_bitmask () const override; | |
4e82205b | 324 | |
cca78449 | 325 | protected: |
76e11280 | 326 | void maybe_resize (int needed); |
cb779afe AH |
327 | virtual void set (tree, tree, value_range_kind = VR_RANGE) override; |
328 | virtual bool contains_p (tree cst) const override; | |
76e11280 | 329 | irange (wide_int *, unsigned nranges, bool resizable); |
4ba9fb0a AH |
330 | |
331 | // In-place operators. | |
1d3d7e88 | 332 | bool irange_contains_p (const irange &) const; |
f3204ce1 | 333 | bool irange_single_pair_union (const irange &r); |
4ba9fb0a | 334 | |
dc80d5e8 | 335 | void normalize_kind (); |
4ba9fb0a | 336 | |
4ba9fb0a | 337 | void verify_range (); |
cca78449 | 338 | |
76e11280 AH |
339 | // Hard limit on max ranges allowed. |
340 | static const int HARD_MAX_RANGES = 255; | |
cca78449 | 341 | private: |
dc80d5e8 | 342 | bool varying_compatible_p () const; |
0c888665 AH |
343 | bool intersect_bitmask (const irange &r); |
344 | bool union_bitmask (const irange &r); | |
0c888665 | 345 | bool set_range_from_bitmask (); |
88081d38 | 346 | |
1d3d7e88 | 347 | bool intersect (const wide_int& lb, const wide_int& ub); |
f7dbf623 | 348 | bool union_append (const irange &r); |
4ba9fb0a | 349 | unsigned char m_num_ranges; |
76e11280 AH |
350 | bool m_resizable; |
351 | unsigned char m_max_ranges; | |
c92b8be9 | 352 | tree m_type; |
0c888665 | 353 | irange_bitmask m_bitmask; |
76e11280 | 354 | protected: |
c92b8be9 | 355 | wide_int *m_base; |
cca78449 AH |
356 | }; |
357 | ||
4ba9fb0a AH |
358 | // Here we describe an irange with N pairs of ranges. The storage for |
359 | // the pairs is embedded in the class as an array. | |
76e11280 AH |
360 | // |
361 | // If RESIZABLE is true, the storage will be resized on the heap when | |
362 | // the number of ranges needed goes past N up to a max of | |
363 | // HARD_MAX_RANGES. This new storage is freed upon destruction. | |
4ba9fb0a | 364 | |
76e11280 | 365 | template<unsigned N, bool RESIZABLE = false> |
4e0aa05f | 366 | class int_range final : public irange |
4ba9fb0a AH |
367 | { |
368 | public: | |
369 | int_range (); | |
4ba9fb0a AH |
370 | int_range (tree type, const wide_int &, const wide_int &, |
371 | value_range_kind = VR_RANGE); | |
372 | int_range (tree type); | |
373 | int_range (const int_range &); | |
374 | int_range (const irange &); | |
a78dfb0f | 375 | ~int_range () final override; |
4ba9fb0a | 376 | int_range& operator= (const int_range &); |
cb779afe AH |
377 | protected: |
378 | int_range (tree, tree, value_range_kind = VR_RANGE); | |
4ba9fb0a | 379 | private: |
c92b8be9 | 380 | wide_int m_ranges[N*2]; |
4ba9fb0a AH |
381 | }; |
382 | ||
4e0aa05f | 383 | class prange final : public vrange |
f5891967 | 384 | { |
64993a89 AH |
385 | friend class prange_storage; |
386 | friend class vrange_printer; | |
f5891967 | 387 | public: |
64993a89 AH |
388 | prange (); |
389 | prange (const prange &); | |
390 | prange (tree type); | |
391 | prange (tree type, const wide_int &, const wide_int &, | |
392 | value_range_kind = VR_RANGE); | |
393 | static bool supports_p (const_tree type); | |
394 | virtual bool supports_type_p (const_tree type) const final override; | |
395 | virtual void accept (const vrange_visitor &v) const final override; | |
396 | virtual void set_undefined () final override; | |
397 | virtual void set_varying (tree type) final override; | |
398 | virtual void set_nonzero (tree type) final override; | |
399 | virtual void set_zero (tree type) final override; | |
400 | virtual void set_nonnegative (tree type) final override; | |
401 | virtual bool contains_p (tree cst) const final override; | |
402 | virtual bool fits_p (const vrange &v) const final override; | |
403 | virtual bool singleton_p (tree *result = NULL) const final override; | |
404 | virtual bool zero_p () const final override; | |
405 | virtual bool nonzero_p () const final override; | |
406 | virtual void set (tree, tree, value_range_kind = VR_RANGE) final override; | |
407 | virtual tree type () const final override; | |
408 | virtual bool union_ (const vrange &v) final override; | |
409 | virtual bool intersect (const vrange &v) final override; | |
410 | virtual tree lbound () const final override; | |
411 | virtual tree ubound () const final override; | |
412 | ||
413 | prange& operator= (const prange &); | |
414 | bool operator== (const prange &) const; | |
415 | void set (tree type, const wide_int &, const wide_int &, | |
416 | value_range_kind = VR_RANGE); | |
417 | void invert (); | |
418 | bool contains_p (const wide_int &) const; | |
f5891967 AH |
419 | wide_int lower_bound () const; |
420 | wide_int upper_bound () const; | |
64993a89 | 421 | void verify_range () const; |
f5891967 | 422 | irange_bitmask get_bitmask () const final override; |
64993a89 AH |
423 | void update_bitmask (const irange_bitmask &) final override; |
424 | protected: | |
425 | bool varying_compatible_p () const; | |
426 | ||
427 | tree m_type; | |
f5891967 AH |
428 | wide_int m_min; |
429 | wide_int m_max; | |
430 | irange_bitmask m_bitmask; | |
431 | }; | |
432 | ||
4f1bce19 | 433 | // Unsupported temporaries may be created by ranger before it's known |
89b0276d | 434 | // they're unsupported, or by vr_values::get_value_range. |
4f1bce19 AH |
435 | |
436 | class unsupported_range : public vrange | |
437 | { | |
438 | public: | |
47964e76 | 439 | unsupported_range () |
027a94b0 | 440 | : vrange (VR_UNKNOWN) |
47964e76 | 441 | { |
47964e76 AH |
442 | set_undefined (); |
443 | } | |
1b5732de AH |
444 | unsupported_range (const unsupported_range &src) |
445 | : vrange (VR_UNKNOWN) | |
446 | { | |
447 | unsupported_range::operator= (src); | |
448 | } | |
21713edf AH |
449 | void set (tree min, tree, value_range_kind = VR_RANGE) final override; |
450 | tree type () const final override; | |
451 | bool supports_type_p (const_tree) const final override; | |
452 | void set_varying (tree) final override; | |
453 | void set_undefined () final override; | |
454 | void accept (const vrange_visitor &v) const final override; | |
455 | bool union_ (const vrange &r) final override; | |
456 | bool intersect (const vrange &r) final override; | |
457 | bool singleton_p (tree * = NULL) const final override; | |
458 | bool contains_p (tree) const final override; | |
459 | bool zero_p () const final override; | |
460 | bool nonzero_p () const final override; | |
461 | void set_nonzero (tree type) final override; | |
462 | void set_zero (tree type) final override; | |
463 | void set_nonnegative (tree type) final override; | |
464 | bool fits_p (const vrange &) const final override; | |
1b5732de | 465 | unsupported_range& operator= (const unsupported_range &r); |
ba1a8e8e AH |
466 | tree lbound () const final override; |
467 | tree ubound () const final override; | |
4f1bce19 AH |
468 | }; |
469 | ||
a024ac7b | 470 | // The NAN state as an opaque object. |
81295d44 AH |
471 | |
472 | class nan_state | |
473 | { | |
474 | public: | |
a024ac7b | 475 | nan_state (bool); |
81295d44 AH |
476 | nan_state (bool pos_nan, bool neg_nan); |
477 | bool neg_p () const; | |
478 | bool pos_p () const; | |
479 | private: | |
480 | bool m_pos_nan; | |
481 | bool m_neg_nan; | |
482 | }; | |
483 | ||
a024ac7b AH |
484 | // Set NAN state to +-NAN if NAN_P is true. Otherwise set NAN state |
485 | // to false. | |
81295d44 AH |
486 | |
487 | inline | |
a024ac7b | 488 | nan_state::nan_state (bool nan_p) |
81295d44 | 489 | { |
a024ac7b AH |
490 | m_pos_nan = nan_p; |
491 | m_neg_nan = nan_p; | |
81295d44 AH |
492 | } |
493 | ||
494 | // Constructor initializing the object to +NAN if POS_NAN is set, -NAN | |
495 | // if NEG_NAN is set, or +-NAN if both are set. Otherwise POS_NAN and | |
496 | // NEG_NAN are clear, and the object cannot be a NAN. | |
497 | ||
498 | inline | |
499 | nan_state::nan_state (bool pos_nan, bool neg_nan) | |
500 | { | |
501 | m_pos_nan = pos_nan; | |
502 | m_neg_nan = neg_nan; | |
503 | } | |
504 | ||
505 | // Return if +NAN is possible. | |
506 | ||
507 | inline bool | |
508 | nan_state::pos_p () const | |
509 | { | |
510 | return m_pos_nan; | |
511 | } | |
512 | ||
513 | // Return if -NAN is possible. | |
514 | ||
515 | inline bool | |
516 | nan_state::neg_p () const | |
517 | { | |
518 | return m_neg_nan; | |
519 | } | |
520 | ||
1a10bd84 | 521 | // A floating point range. |
91746147 AH |
522 | // |
523 | // The representation is a type with a couple of endpoints, unioned | |
524 | // with the set of { -NAN, +Nan }. | |
1a10bd84 | 525 | |
4e0aa05f | 526 | class frange final : public vrange |
1a10bd84 | 527 | { |
e1366a7e | 528 | friend class frange_storage; |
67263231 | 529 | friend class vrange_printer; |
1a10bd84 AH |
530 | public: |
531 | frange (); | |
532 | frange (const frange &); | |
8bb1df03 | 533 | frange (tree, tree, value_range_kind = VR_RANGE); |
a901343a | 534 | frange (tree type); |
8bb1df03 AH |
535 | frange (tree type, const REAL_VALUE_TYPE &min, const REAL_VALUE_TYPE &max, |
536 | value_range_kind = VR_RANGE); | |
7e029e06 | 537 | static bool supports_p (const_tree type) |
1a10bd84 | 538 | { |
b4d8a56a AH |
539 | // ?? Decimal floats can have multiple representations for the |
540 | // same number. Supporting them may be as simple as just | |
541 | // disabling them in singleton_p. No clue. | |
542 | return SCALAR_FLOAT_TYPE_P (type) && !DECIMAL_FLOAT_TYPE_P (type); | |
1a10bd84 AH |
543 | } |
544 | virtual tree type () const override; | |
8bb1df03 AH |
545 | void set (tree type, const REAL_VALUE_TYPE &, const REAL_VALUE_TYPE &, |
546 | value_range_kind = VR_RANGE); | |
81295d44 AH |
547 | void set (tree type, const REAL_VALUE_TYPE &, const REAL_VALUE_TYPE &, |
548 | const nan_state &, value_range_kind = VR_RANGE); | |
9c4c4186 | 549 | void set_nan (tree type); |
91746147 | 550 | void set_nan (tree type, bool sign); |
c1c56462 | 551 | void set_nan (tree type, const nan_state &); |
1a10bd84 AH |
552 | virtual void set_varying (tree type) override; |
553 | virtual void set_undefined () override; | |
554 | virtual bool union_ (const vrange &) override; | |
555 | virtual bool intersect (const vrange &) override; | |
cb779afe | 556 | bool contains_p (const REAL_VALUE_TYPE &) const; |
8bb1df03 | 557 | virtual bool singleton_p (tree *result = NULL) const override; |
cb779afe | 558 | bool singleton_p (REAL_VALUE_TYPE &r) const; |
7e029e06 | 559 | virtual bool supports_type_p (const_tree type) const override; |
1a10bd84 | 560 | virtual void accept (const vrange_visitor &v) const override; |
048d3ad7 ML |
561 | virtual bool zero_p () const override; |
562 | virtual bool nonzero_p () const override; | |
563 | virtual void set_nonzero (tree type) override; | |
564 | virtual void set_zero (tree type) override; | |
cc95bca7 | 565 | virtual void set_nonnegative (tree type) override; |
21713edf | 566 | virtual bool fits_p (const vrange &) const override; |
1a10bd84 AH |
567 | frange& operator= (const frange &); |
568 | bool operator== (const frange &) const; | |
569 | bool operator!= (const frange &r) const { return !(*this == r); } | |
8bb1df03 AH |
570 | const REAL_VALUE_TYPE &lower_bound () const; |
571 | const REAL_VALUE_TYPE &upper_bound () const; | |
ba1a8e8e AH |
572 | virtual tree lbound () const override; |
573 | virtual tree ubound () const override; | |
81295d44 | 574 | nan_state get_nan_state () const; |
91746147 | 575 | void update_nan (); |
10d6109f | 576 | void update_nan (bool sign); |
6ce08237 | 577 | void update_nan (tree) = delete; // Disallow silent conversion to bool. |
81295d44 | 578 | void update_nan (const nan_state &); |
91746147 | 579 | void clear_nan (); |
ce3974e5 | 580 | void flush_denormals_to_zero (); |
1a10bd84 | 581 | |
67263231 | 582 | // fpclassify like API |
91746147 AH |
583 | bool known_isfinite () const; |
584 | bool known_isnan () const; | |
585 | bool known_isinf () const; | |
586 | bool maybe_isnan () const; | |
e23f7dab | 587 | bool maybe_isnan (bool sign) const; |
91746147 AH |
588 | bool maybe_isinf () const; |
589 | bool signbit_p (bool &signbit) const; | |
658788f3 | 590 | bool nan_signbit_p (bool &signbit) const; |
d2e90c7d HG |
591 | bool known_isnormal () const; |
592 | bool known_isdenormal_or_zero () const; | |
cb779afe AH |
593 | |
594 | protected: | |
595 | virtual bool contains_p (tree cst) const override; | |
596 | virtual void set (tree, tree, value_range_kind = VR_RANGE) override; | |
597 | ||
1a10bd84 | 598 | private: |
cb779afe | 599 | bool internal_singleton_p (REAL_VALUE_TYPE * = NULL) const; |
1a10bd84 | 600 | void verify_range (); |
3f056053 | 601 | bool normalize_kind (); |
91746147 AH |
602 | bool union_nans (const frange &); |
603 | bool intersect_nans (const frange &); | |
604 | bool combine_zeros (const frange &, bool union_p); | |
1a10bd84 | 605 | |
1a10bd84 | 606 | tree m_type; |
8bb1df03 AH |
607 | REAL_VALUE_TYPE m_min; |
608 | REAL_VALUE_TYPE m_max; | |
91746147 AH |
609 | bool m_pos_nan; |
610 | bool m_neg_nan; | |
1a10bd84 AH |
611 | }; |
612 | ||
8bb1df03 AH |
613 | inline const REAL_VALUE_TYPE & |
614 | frange::lower_bound () const | |
615 | { | |
91746147 | 616 | gcc_checking_assert (!undefined_p () && !known_isnan ()); |
8bb1df03 AH |
617 | return m_min; |
618 | } | |
619 | ||
620 | inline const REAL_VALUE_TYPE & | |
621 | frange::upper_bound () const | |
622 | { | |
91746147 | 623 | gcc_checking_assert (!undefined_p () && !known_isnan ()); |
8bb1df03 AH |
624 | return m_max; |
625 | } | |
626 | ||
81295d44 AH |
627 | // Return the NAN state. |
628 | ||
629 | inline nan_state | |
630 | frange::get_nan_state () const | |
631 | { | |
632 | return nan_state (m_pos_nan, m_neg_nan); | |
633 | } | |
634 | ||
f4fa81ba | 635 | // is_a<> and as_a<> implementation for vrange. |
4f1bce19 | 636 | |
f4fa81ba | 637 | // Anything we haven't specialized is a hard fail. |
4f1bce19 AH |
638 | template <typename T> |
639 | inline bool | |
f4fa81ba | 640 | is_a (vrange &) |
4f1bce19 AH |
641 | { |
642 | gcc_unreachable (); | |
643 | return false; | |
644 | } | |
645 | ||
646 | template <typename T> | |
647 | inline bool | |
648 | is_a (const vrange &v) | |
649 | { | |
650 | // Reuse is_a <vrange> to implement the const version. | |
651 | const T &derived = static_cast<const T &> (v); | |
652 | return is_a <T> (const_cast<T &> (derived)); | |
653 | } | |
654 | ||
655 | template <typename T> | |
656 | inline T & | |
657 | as_a (vrange &v) | |
658 | { | |
f4fa81ba AH |
659 | gcc_checking_assert (is_a <T> (v)); |
660 | return static_cast <T &> (v); | |
4f1bce19 AH |
661 | } |
662 | ||
663 | template <typename T> | |
664 | inline const T & | |
665 | as_a (const vrange &v) | |
666 | { | |
f4fa81ba AH |
667 | gcc_checking_assert (is_a <T> (v)); |
668 | return static_cast <const T &> (v); | |
4f1bce19 AH |
669 | } |
670 | ||
671 | // Specializations for the different range types. | |
672 | ||
673 | template <> | |
674 | inline bool | |
675 | is_a <irange> (vrange &v) | |
676 | { | |
677 | return v.m_discriminator == VR_IRANGE; | |
678 | } | |
679 | ||
64993a89 AH |
680 | template <> |
681 | inline bool | |
682 | is_a <prange> (vrange &v) | |
683 | { | |
684 | return v.m_discriminator == VR_PRANGE; | |
685 | } | |
686 | ||
1a10bd84 AH |
687 | template <> |
688 | inline bool | |
689 | is_a <frange> (vrange &v) | |
690 | { | |
691 | return v.m_discriminator == VR_FRANGE; | |
692 | } | |
693 | ||
615e3d1e AH |
694 | template <> |
695 | inline bool | |
696 | is_a <unsupported_range> (vrange &v) | |
697 | { | |
698 | return v.m_discriminator == VR_UNKNOWN; | |
699 | } | |
700 | ||
76e11280 AH |
701 | // For resizable ranges, resize the range up to HARD_MAX_RANGES if the |
702 | // NEEDED pairs is greater than the current capacity of the range. | |
703 | ||
704 | inline void | |
705 | irange::maybe_resize (int needed) | |
706 | { | |
707 | if (!m_resizable || m_max_ranges == HARD_MAX_RANGES) | |
708 | return; | |
709 | ||
710 | if (needed > m_max_ranges) | |
711 | { | |
712 | m_max_ranges = HARD_MAX_RANGES; | |
713 | wide_int *newmem = new wide_int[m_max_ranges * 2]; | |
0d00385e JJ |
714 | unsigned n = num_pairs () * 2; |
715 | for (unsigned i = 0; i < n; ++i) | |
716 | newmem[i] = m_base[i]; | |
76e11280 AH |
717 | m_base = newmem; |
718 | } | |
719 | } | |
720 | ||
721 | template<unsigned N, bool RESIZABLE> | |
722 | inline | |
723 | int_range<N, RESIZABLE>::~int_range () | |
724 | { | |
725 | if (RESIZABLE && m_base != m_ranges) | |
493a63af | 726 | delete[] m_base; |
76e11280 AH |
727 | } |
728 | ||
729 | // This is an "infinite" precision irange for use in temporary | |
730 | // calculations. It starts with a sensible default covering 99% of | |
731 | // uses, and goes up to HARD_MAX_RANGES when needed. Any allocated | |
732 | // storage is freed upon destruction. | |
733 | typedef int_range<3, /*RESIZABLE=*/true> int_range_max; | |
734 | ||
91a7f306 AH |
735 | class vrange_visitor |
736 | { | |
737 | public: | |
738 | virtual void visit (const irange &) const { } | |
64993a89 | 739 | virtual void visit (const prange &) const { } |
1a10bd84 | 740 | virtual void visit (const frange &) const { } |
91a7f306 AH |
741 | virtual void visit (const unsupported_range &) const { } |
742 | }; | |
743 | ||
59c8e96d AH |
744 | // This is an "infinite" precision range object for use in temporary |
745 | // calculations for any of the handled types. The object can be | |
746 | // transparently used as a vrange. | |
c60b3e21 AH |
747 | // |
748 | // Using any of the various constructors initializes the object | |
749 | // appropriately, but the default constructor is uninitialized and | |
750 | // must be initialized either with set_type() or by assigning into it. | |
751 | // | |
752 | // Assigning between incompatible types is allowed. For example if a | |
753 | // temporary holds an irange, you can assign an frange into it, and | |
754 | // all the right things will happen. However, before passing this | |
755 | // object to a function accepting a vrange, the correct type must be | |
756 | // set. If it isn't, you can do so with set_type(). | |
59c8e96d | 757 | |
3dedfad5 | 758 | class value_range |
59c8e96d AH |
759 | { |
760 | public: | |
3dedfad5 AH |
761 | value_range (); |
762 | value_range (const vrange &r); | |
763 | value_range (tree type); | |
764 | value_range (tree, tree, value_range_kind kind = VR_RANGE); | |
765 | value_range (const value_range &); | |
766 | ~value_range (); | |
59c8e96d AH |
767 | void set_type (tree type); |
768 | vrange& operator= (const vrange &); | |
3dedfad5 AH |
769 | value_range& operator= (const value_range &); |
770 | bool operator== (const value_range &r) const; | |
771 | bool operator!= (const value_range &r) const; | |
59c8e96d AH |
772 | operator vrange &(); |
773 | operator const vrange &() const; | |
64864aa9 | 774 | void dump (FILE *) const; |
7e029e06 | 775 | static bool supports_type_p (const_tree type); |
59c8e96d | 776 | |
59c8e96d | 777 | tree type () { return m_vrange->type (); } |
59c8e96d AH |
778 | bool varying_p () const { return m_vrange->varying_p (); } |
779 | bool undefined_p () const { return m_vrange->undefined_p (); } | |
c47ceea5 | 780 | void set_varying (tree type) { init (type); m_vrange->set_varying (type); } |
59c8e96d AH |
781 | void set_undefined () { m_vrange->set_undefined (); } |
782 | bool union_ (const vrange &r) { return m_vrange->union_ (r); } | |
783 | bool intersect (const vrange &r) { return m_vrange->intersect (r); } | |
d5904f35 | 784 | bool contains_p (tree cst) const { return m_vrange->contains_p (cst); } |
59c8e96d AH |
785 | bool singleton_p (tree *result = NULL) const |
786 | { return m_vrange->singleton_p (result); } | |
c47ceea5 AM |
787 | void set_zero (tree type) { init (type); return m_vrange->set_zero (type); } |
788 | void set_nonzero (tree type) | |
789 | { init (type); return m_vrange->set_nonzero (type); } | |
90685c36 | 790 | bool nonzero_p () const { return m_vrange->nonzero_p (); } |
59c8e96d | 791 | bool zero_p () const { return m_vrange->zero_p (); } |
ba1a8e8e AH |
792 | tree lbound () const { return m_vrange->lbound (); } |
793 | tree ubound () const { return m_vrange->ubound (); } | |
fd4cf7a0 AH |
794 | irange_bitmask get_bitmask () const { return m_vrange->get_bitmask (); } |
795 | void update_bitmask (const class irange_bitmask &bm) | |
796 | { return m_vrange->update_bitmask (bm); } | |
91a7f306 | 797 | void accept (const vrange_visitor &v) const { m_vrange->accept (v); } |
59c8e96d AH |
798 | private: |
799 | void init (tree type); | |
c60b3e21 AH |
800 | void init (const vrange &); |
801 | ||
59c8e96d | 802 | vrange *m_vrange; |
d7ff8ae5 AH |
803 | union buffer_type { |
804 | int_range_max ints; | |
805 | frange floats; | |
806 | unsupported_range unsupported; | |
807 | prange pointers; | |
808 | buffer_type () { } | |
809 | ~buffer_type () { } | |
810 | } m_buffer; | |
59c8e96d AH |
811 | }; |
812 | ||
c60b3e21 AH |
813 | // The default constructor is uninitialized and must be initialized |
814 | // with either set_type() or with an assignment into it. | |
815 | ||
59c8e96d | 816 | inline |
3dedfad5 | 817 | value_range::value_range () |
d7ff8ae5 | 818 | : m_buffer () |
59c8e96d | 819 | { |
c60b3e21 AH |
820 | m_vrange = NULL; |
821 | } | |
822 | ||
823 | // Copy constructor. | |
824 | ||
825 | inline | |
3dedfad5 | 826 | value_range::value_range (const value_range &r) |
c60b3e21 AH |
827 | { |
828 | init (*r.m_vrange); | |
59c8e96d AH |
829 | } |
830 | ||
831 | // Copy constructor from a vrange. | |
832 | ||
833 | inline | |
3dedfad5 | 834 | value_range::value_range (const vrange &r) |
59c8e96d | 835 | { |
c60b3e21 | 836 | init (r); |
59c8e96d AH |
837 | } |
838 | ||
c60b3e21 AH |
839 | // Construct an UNDEFINED range that can hold ranges of TYPE. If TYPE |
840 | // is not supported, default to unsupported_range. | |
59c8e96d AH |
841 | |
842 | inline | |
3dedfad5 | 843 | value_range::value_range (tree type) |
59c8e96d AH |
844 | { |
845 | init (type); | |
846 | } | |
847 | ||
c60b3e21 AH |
848 | // Construct a range that can hold a range of [MIN, MAX], where MIN |
849 | // and MAX are trees. | |
850 | ||
d5904f35 | 851 | inline |
3dedfad5 | 852 | value_range::value_range (tree min, tree max, value_range_kind kind) |
d5904f35 AH |
853 | { |
854 | init (TREE_TYPE (min)); | |
cb779afe | 855 | m_vrange->set (min, max, kind); |
d5904f35 AH |
856 | } |
857 | ||
0fd3c706 | 858 | inline |
3dedfad5 | 859 | value_range::~value_range () |
0fd3c706 | 860 | { |
c60b3e21 AH |
861 | if (m_vrange) |
862 | m_vrange->~vrange (); | |
0fd3c706 AH |
863 | } |
864 | ||
c60b3e21 AH |
865 | // Initialize object to an UNDEFINED range that can hold ranges of |
866 | // TYPE. Clean-up memory if there was a previous object. | |
867 | ||
868 | inline void | |
3dedfad5 | 869 | value_range::set_type (tree type) |
c60b3e21 AH |
870 | { |
871 | if (m_vrange) | |
872 | m_vrange->~vrange (); | |
873 | init (type); | |
874 | } | |
875 | ||
876 | // Initialize object to an UNDEFINED range that can hold ranges of | |
877 | // TYPE. | |
59c8e96d AH |
878 | |
879 | inline void | |
3dedfad5 | 880 | value_range::init (tree type) |
59c8e96d AH |
881 | { |
882 | gcc_checking_assert (TYPE_P (type)); | |
883 | ||
a9058b08 | 884 | if (irange::supports_p (type)) |
d7ff8ae5 | 885 | m_vrange = new (&m_buffer.ints) int_range_max (); |
64993a89 | 886 | else if (prange::supports_p (type)) |
d7ff8ae5 | 887 | m_vrange = new (&m_buffer.pointers) prange (); |
1a10bd84 | 888 | else if (frange::supports_p (type)) |
d7ff8ae5 | 889 | m_vrange = new (&m_buffer.floats) frange (); |
59c8e96d | 890 | else |
d7ff8ae5 | 891 | m_vrange = new (&m_buffer.unsupported) unsupported_range (); |
59c8e96d AH |
892 | } |
893 | ||
c60b3e21 | 894 | // Initialize object with a copy of R. |
59c8e96d AH |
895 | |
896 | inline void | |
3dedfad5 | 897 | value_range::init (const vrange &r) |
59c8e96d | 898 | { |
c60b3e21 | 899 | if (is_a <irange> (r)) |
d7ff8ae5 | 900 | m_vrange = new (&m_buffer.ints) int_range_max (as_a <irange> (r)); |
64993a89 | 901 | else if (is_a <prange> (r)) |
d7ff8ae5 | 902 | m_vrange = new (&m_buffer.pointers) prange (as_a <prange> (r)); |
c60b3e21 | 903 | else if (is_a <frange> (r)) |
d7ff8ae5 | 904 | m_vrange = new (&m_buffer.floats) frange (as_a <frange> (r)); |
c60b3e21 | 905 | else |
d7ff8ae5 AH |
906 | m_vrange = new (&m_buffer.unsupported) |
907 | unsupported_range (as_a <unsupported_range> (r)); | |
59c8e96d AH |
908 | } |
909 | ||
c60b3e21 AH |
910 | // Assignment operator. Copying incompatible types is allowed. That |
911 | // is, assigning an frange to an object holding an irange does the | |
912 | // right thing. | |
59c8e96d AH |
913 | |
914 | inline vrange & | |
3dedfad5 | 915 | value_range::operator= (const vrange &r) |
59c8e96d | 916 | { |
c60b3e21 AH |
917 | if (m_vrange) |
918 | m_vrange->~vrange (); | |
919 | init (r); | |
59c8e96d AH |
920 | return *m_vrange; |
921 | } | |
922 | ||
3dedfad5 AH |
923 | inline value_range & |
924 | value_range::operator= (const value_range &r) | |
f513a10e | 925 | { |
c60b3e21 AH |
926 | // No need to call the m_vrange destructor here, as we will do so in |
927 | // the assignment below. | |
928 | *this = *r.m_vrange; | |
f513a10e AH |
929 | return *this; |
930 | } | |
931 | ||
59c8e96d | 932 | inline bool |
3dedfad5 | 933 | value_range::operator== (const value_range &r) const |
59c8e96d AH |
934 | { |
935 | return *m_vrange == *r.m_vrange; | |
936 | } | |
937 | ||
938 | inline bool | |
3dedfad5 | 939 | value_range::operator!= (const value_range &r) const |
59c8e96d AH |
940 | { |
941 | return *m_vrange != *r.m_vrange; | |
942 | } | |
943 | ||
944 | inline | |
3dedfad5 | 945 | value_range::operator vrange &() |
59c8e96d AH |
946 | { |
947 | return *m_vrange; | |
948 | } | |
949 | ||
950 | inline | |
3dedfad5 | 951 | value_range::operator const vrange &() const |
59c8e96d AH |
952 | { |
953 | return *m_vrange; | |
954 | } | |
955 | ||
a9058b08 AH |
956 | // Return TRUE if TYPE is supported by the vrange infrastructure. |
957 | ||
958 | inline bool | |
3dedfad5 | 959 | value_range::supports_type_p (const_tree type) |
a9058b08 | 960 | { |
64993a89 AH |
961 | return irange::supports_p (type) |
962 | || prange::supports_p (type) | |
963 | || frange::supports_p (type); | |
a9058b08 AH |
964 | } |
965 | ||
9a2f0d15 | 966 | extern value_range_kind get_legacy_range (const vrange &, tree &min, tree &max); |
4f1bce19 | 967 | extern void dump_value_range (FILE *, const vrange *); |
cca78449 | 968 | extern bool vrp_operand_equal_p (const_tree, const_tree); |
b7fd7fb5 AH |
969 | inline REAL_VALUE_TYPE frange_val_min (const_tree type); |
970 | inline REAL_VALUE_TYPE frange_val_max (const_tree type); | |
cca78449 | 971 | |
4ba9fb0a AH |
972 | // Number of sub-ranges in a range. |
973 | ||
974 | inline unsigned | |
975 | irange::num_pairs () const | |
cca78449 | 976 | { |
e1f83aa3 | 977 | return m_num_ranges; |
cca78449 AH |
978 | } |
979 | ||
4ba9fb0a AH |
980 | inline tree |
981 | irange::type () const | |
982 | { | |
77803216 | 983 | gcc_checking_assert (m_num_ranges > 0); |
c92b8be9 | 984 | return m_type; |
4ba9fb0a AH |
985 | } |
986 | ||
cca78449 | 987 | inline bool |
dc80d5e8 | 988 | irange::varying_compatible_p () const |
cca78449 | 989 | { |
4ba9fb0a AH |
990 | if (m_num_ranges != 1) |
991 | return false; | |
992 | ||
c92b8be9 AH |
993 | const wide_int &l = m_base[0]; |
994 | const wide_int &u = m_base[1]; | |
995 | tree t = m_type; | |
dc80d5e8 | 996 | |
da73261c | 997 | if (m_kind == VR_VARYING) |
dc80d5e8 AH |
998 | return true; |
999 | ||
3d3470e2 AH |
1000 | unsigned prec = TYPE_PRECISION (t); |
1001 | signop sign = TYPE_SIGN (t); | |
c92b8be9 AH |
1002 | if (INTEGRAL_TYPE_P (t) || POINTER_TYPE_P (t)) |
1003 | return (l == wi::min_value (prec, sign) | |
1004 | && u == wi::max_value (prec, sign) | |
0c888665 | 1005 | && m_bitmask.unknown_p ()); |
4ba9fb0a | 1006 | return true; |
dc80d5e8 | 1007 | } |
4ba9fb0a | 1008 | |
dc80d5e8 | 1009 | inline bool |
4f1bce19 | 1010 | vrange::varying_p () const |
dc80d5e8 AH |
1011 | { |
1012 | return m_kind == VR_VARYING; | |
cca78449 AH |
1013 | } |
1014 | ||
1015 | inline bool | |
4f1bce19 | 1016 | vrange::undefined_p () const |
cca78449 AH |
1017 | { |
1018 | return m_kind == VR_UNDEFINED; | |
1019 | } | |
1020 | ||
1021 | inline bool | |
4ba9fb0a | 1022 | irange::zero_p () const |
cca78449 | 1023 | { |
4ba9fb0a | 1024 | return (m_kind == VR_RANGE && m_num_ranges == 1 |
6b73cbb0 AH |
1025 | && lower_bound (0) == 0 |
1026 | && upper_bound (0) == 0); | |
cca78449 AH |
1027 | } |
1028 | ||
1029 | inline bool | |
4ba9fb0a | 1030 | irange::nonzero_p () const |
cca78449 | 1031 | { |
4ba9fb0a AH |
1032 | if (undefined_p ()) |
1033 | return false; | |
cca78449 | 1034 | |
cb779afe AH |
1035 | wide_int zero = wi::zero (TYPE_PRECISION (type ())); |
1036 | return *this == int_range<2> (type (), zero, zero, VR_ANTI_RANGE); | |
cca78449 AH |
1037 | } |
1038 | ||
1039 | inline bool | |
7e029e06 | 1040 | irange::supports_p (const_tree type) |
cca78449 | 1041 | { |
da73261c | 1042 | return INTEGRAL_TYPE_P (type); |
cca78449 AH |
1043 | } |
1044 | ||
cb779afe AH |
1045 | inline bool |
1046 | irange::contains_p (tree cst) const | |
1047 | { | |
1048 | return contains_p (wi::to_wide (cst)); | |
1049 | } | |
1050 | ||
cca78449 | 1051 | inline bool |
b102633b | 1052 | range_includes_zero_p (const vrange &vr) |
cca78449 | 1053 | { |
d883fc7d | 1054 | if (vr.undefined_p ()) |
cca78449 AH |
1055 | return false; |
1056 | ||
d883fc7d | 1057 | if (vr.varying_p ()) |
cca78449 AH |
1058 | return true; |
1059 | ||
b102633b | 1060 | return vr.contains_p (build_zero_cst (vr.type ())); |
cca78449 AH |
1061 | } |
1062 | ||
4ba9fb0a AH |
1063 | // Constructors for irange |
1064 | ||
1065 | inline | |
76e11280 | 1066 | irange::irange (wide_int *base, unsigned nranges, bool resizable) |
027a94b0 | 1067 | : vrange (VR_IRANGE), |
76e11280 | 1068 | m_resizable (resizable), |
027a94b0 | 1069 | m_max_ranges (nranges) |
4ba9fb0a AH |
1070 | { |
1071 | m_base = base; | |
17dea11c | 1072 | set_undefined (); |
4ba9fb0a AH |
1073 | } |
1074 | ||
1075 | // Constructors for int_range<>. | |
1076 | ||
76e11280 | 1077 | template<unsigned N, bool RESIZABLE> |
4ba9fb0a | 1078 | inline |
76e11280 AH |
1079 | int_range<N, RESIZABLE>::int_range () |
1080 | : irange (m_ranges, N, RESIZABLE) | |
4ba9fb0a AH |
1081 | { |
1082 | } | |
1083 | ||
76e11280 AH |
1084 | template<unsigned N, bool RESIZABLE> |
1085 | int_range<N, RESIZABLE>::int_range (const int_range &other) | |
1086 | : irange (m_ranges, N, RESIZABLE) | |
4ba9fb0a AH |
1087 | { |
1088 | irange::operator= (other); | |
1089 | } | |
1090 | ||
76e11280 AH |
1091 | template<unsigned N, bool RESIZABLE> |
1092 | int_range<N, RESIZABLE>::int_range (tree min, tree max, value_range_kind kind) | |
1093 | : irange (m_ranges, N, RESIZABLE) | |
4ba9fb0a AH |
1094 | { |
1095 | irange::set (min, max, kind); | |
1096 | } | |
1097 | ||
76e11280 AH |
1098 | template<unsigned N, bool RESIZABLE> |
1099 | int_range<N, RESIZABLE>::int_range (tree type) | |
1100 | : irange (m_ranges, N, RESIZABLE) | |
4ba9fb0a AH |
1101 | { |
1102 | set_varying (type); | |
1103 | } | |
1104 | ||
76e11280 AH |
1105 | template<unsigned N, bool RESIZABLE> |
1106 | int_range<N, RESIZABLE>::int_range (tree type, const wide_int &wmin, const wide_int &wmax, | |
4ba9fb0a | 1107 | value_range_kind kind) |
76e11280 | 1108 | : irange (m_ranges, N, RESIZABLE) |
4ba9fb0a | 1109 | { |
c92b8be9 | 1110 | set (type, wmin, wmax, kind); |
4ba9fb0a AH |
1111 | } |
1112 | ||
76e11280 AH |
1113 | template<unsigned N, bool RESIZABLE> |
1114 | int_range<N, RESIZABLE>::int_range (const irange &other) | |
1115 | : irange (m_ranges, N, RESIZABLE) | |
4ba9fb0a AH |
1116 | { |
1117 | irange::operator= (other); | |
1118 | } | |
1119 | ||
76e11280 AH |
1120 | template<unsigned N, bool RESIZABLE> |
1121 | int_range<N, RESIZABLE>& | |
1122 | int_range<N, RESIZABLE>::operator= (const int_range &src) | |
4ba9fb0a AH |
1123 | { |
1124 | irange::operator= (src); | |
1125 | return *this; | |
1126 | } | |
1127 | ||
4ba9fb0a AH |
1128 | inline void |
1129 | irange::set_undefined () | |
1130 | { | |
dc80d5e8 | 1131 | m_kind = VR_UNDEFINED; |
4ba9fb0a | 1132 | m_num_ranges = 0; |
4ba9fb0a AH |
1133 | } |
1134 | ||
1135 | inline void | |
1136 | irange::set_varying (tree type) | |
1137 | { | |
dc80d5e8 | 1138 | m_kind = VR_VARYING; |
4ba9fb0a | 1139 | m_num_ranges = 1; |
0c888665 | 1140 | m_bitmask.set_unknown (TYPE_PRECISION (type)); |
dc80d5e8 | 1141 | |
c92b8be9 | 1142 | if (INTEGRAL_TYPE_P (type) || POINTER_TYPE_P (type)) |
4ba9fb0a | 1143 | { |
c92b8be9 | 1144 | m_type = type; |
e828f4b5 AM |
1145 | // Strict enum's require varying to be not TYPE_MIN/MAX, but rather |
1146 | // min_value and max_value. | |
c92b8be9 AH |
1147 | m_base[0] = wi::min_value (TYPE_PRECISION (type), TYPE_SIGN (type)); |
1148 | m_base[1] = wi::max_value (TYPE_PRECISION (type), TYPE_SIGN (type)); | |
4ba9fb0a AH |
1149 | } |
1150 | else | |
c92b8be9 | 1151 | m_type = error_mark_node; |
4ba9fb0a AH |
1152 | } |
1153 | ||
4ba9fb0a AH |
1154 | // Return the lower bound of a sub-range. PAIR is the sub-range in |
1155 | // question. | |
1156 | ||
1157 | inline wide_int | |
1158 | irange::lower_bound (unsigned pair) const | |
1159 | { | |
77803216 | 1160 | gcc_checking_assert (m_num_ranges > 0); |
4ba9fb0a | 1161 | gcc_checking_assert (pair + 1 <= num_pairs ()); |
c92b8be9 | 1162 | return m_base[pair * 2]; |
4ba9fb0a AH |
1163 | } |
1164 | ||
1165 | // Return the upper bound of a sub-range. PAIR is the sub-range in | |
1166 | // question. | |
1167 | ||
1168 | inline wide_int | |
1169 | irange::upper_bound (unsigned pair) const | |
1170 | { | |
77803216 | 1171 | gcc_checking_assert (m_num_ranges > 0); |
4ba9fb0a | 1172 | gcc_checking_assert (pair + 1 <= num_pairs ()); |
c92b8be9 | 1173 | return m_base[pair * 2 + 1]; |
4ba9fb0a AH |
1174 | } |
1175 | ||
1176 | // Return the highest bound of a range. | |
1177 | ||
1178 | inline wide_int | |
1179 | irange::upper_bound () const | |
1180 | { | |
1181 | unsigned pairs = num_pairs (); | |
1182 | gcc_checking_assert (pairs > 0); | |
1183 | return upper_bound (pairs - 1); | |
1184 | } | |
1185 | ||
4ba9fb0a AH |
1186 | // Set value range VR to a nonzero range of type TYPE. |
1187 | ||
1188 | inline void | |
1189 | irange::set_nonzero (tree type) | |
1190 | { | |
bd0ac4b2 AH |
1191 | unsigned prec = TYPE_PRECISION (type); |
1192 | ||
1193 | if (TYPE_UNSIGNED (type)) | |
1194 | { | |
1195 | m_type = type; | |
1196 | m_kind = VR_RANGE; | |
1197 | m_base[0] = wi::one (prec); | |
0c888665 AH |
1198 | m_base[1] = wi::minus_one (prec); |
1199 | m_bitmask.set_unknown (prec); | |
bd0ac4b2 AH |
1200 | m_num_ranges = 1; |
1201 | ||
1202 | if (flag_checking) | |
1203 | verify_range (); | |
1204 | } | |
1205 | else | |
1206 | { | |
1207 | wide_int zero = wi::zero (prec); | |
1208 | set (type, zero, zero, VR_ANTI_RANGE); | |
1209 | } | |
4ba9fb0a AH |
1210 | } |
1211 | ||
1212 | // Set value range VR to a ZERO range of type TYPE. | |
1213 | ||
1214 | inline void | |
1215 | irange::set_zero (tree type) | |
1216 | { | |
cb779afe AH |
1217 | wide_int zero = wi::zero (TYPE_PRECISION (type)); |
1218 | set (type, zero, zero); | |
4ba9fb0a AH |
1219 | } |
1220 | ||
4e85ad79 | 1221 | // Normalize a range to VARYING or UNDEFINED if possible. |
4ba9fb0a | 1222 | |
4e85ad79 | 1223 | inline void |
dc80d5e8 AH |
1224 | irange::normalize_kind () |
1225 | { | |
1226 | if (m_num_ranges == 0) | |
4e82205b | 1227 | set_undefined (); |
dc80d5e8 | 1228 | else if (varying_compatible_p ()) |
4ba9fb0a | 1229 | { |
4e85ad79 | 1230 | if (m_kind == VR_RANGE) |
dc80d5e8 | 1231 | m_kind = VR_VARYING; |
4e85ad79 | 1232 | else if (m_kind == VR_ANTI_RANGE) |
4ba9fb0a | 1233 | set_undefined (); |
4ba9fb0a | 1234 | } |
27a0f014 AH |
1235 | if (flag_checking) |
1236 | verify_range (); | |
4ba9fb0a AH |
1237 | } |
1238 | ||
cb779afe AH |
1239 | inline bool |
1240 | contains_zero_p (const irange &r) | |
1241 | { | |
1242 | if (r.undefined_p ()) | |
7ece864a | 1243 | return false; |
cb779afe AH |
1244 | |
1245 | wide_int zero = wi::zero (TYPE_PRECISION (r.type ())); | |
1246 | return r.contains_p (zero); | |
1247 | } | |
1248 | ||
8b2181a4 AH |
1249 | inline wide_int |
1250 | irange_val_min (const_tree type) | |
3f056053 | 1251 | { |
8b2181a4 AH |
1252 | gcc_checking_assert (irange::supports_p (type)); |
1253 | return wi::min_value (TYPE_PRECISION (type), TYPE_SIGN (type)); | |
3f056053 AH |
1254 | } |
1255 | ||
8b2181a4 AH |
1256 | inline wide_int |
1257 | irange_val_max (const_tree type) | |
3f056053 | 1258 | { |
8b2181a4 AH |
1259 | gcc_checking_assert (irange::supports_p (type)); |
1260 | return wi::max_value (TYPE_PRECISION (type), TYPE_SIGN (type)); | |
3f056053 | 1261 | } |
1a10bd84 | 1262 | |
64993a89 AH |
1263 | inline |
1264 | prange::prange () | |
1265 | : vrange (VR_PRANGE) | |
1266 | { | |
1267 | set_undefined (); | |
1268 | } | |
1269 | ||
1270 | inline | |
1271 | prange::prange (const prange &r) | |
1272 | : vrange (VR_PRANGE) | |
1273 | { | |
1274 | *this = r; | |
1275 | } | |
1276 | ||
1277 | inline | |
1278 | prange::prange (tree type) | |
1279 | : vrange (VR_PRANGE) | |
1280 | { | |
1281 | set_varying (type); | |
1282 | } | |
1283 | ||
1284 | inline | |
1285 | prange::prange (tree type, const wide_int &lb, const wide_int &ub, | |
1286 | value_range_kind kind) | |
1287 | : vrange (VR_PRANGE) | |
1288 | { | |
1289 | set (type, lb, ub, kind); | |
1290 | } | |
1291 | ||
1292 | inline bool | |
1293 | prange::supports_p (const_tree type) | |
1294 | { | |
1295 | return POINTER_TYPE_P (type); | |
1296 | } | |
1297 | ||
1298 | inline bool | |
1299 | prange::supports_type_p (const_tree type) const | |
1300 | { | |
1301 | return POINTER_TYPE_P (type); | |
1302 | } | |
1303 | ||
1304 | inline void | |
1305 | prange::set_undefined () | |
1306 | { | |
1307 | m_kind = VR_UNDEFINED; | |
1308 | } | |
1309 | ||
1310 | inline void | |
1311 | prange::set_varying (tree type) | |
1312 | { | |
1313 | m_kind = VR_VARYING; | |
1314 | m_type = type; | |
1315 | m_min = wi::zero (TYPE_PRECISION (type)); | |
1316 | m_max = wi::max_value (TYPE_PRECISION (type), UNSIGNED); | |
1317 | m_bitmask.set_unknown (TYPE_PRECISION (type)); | |
1318 | ||
1319 | if (flag_checking) | |
1320 | verify_range (); | |
1321 | } | |
1322 | ||
1323 | inline void | |
1324 | prange::set_nonzero (tree type) | |
1325 | { | |
1326 | m_kind = VR_RANGE; | |
1327 | m_type = type; | |
1328 | m_min = wi::one (TYPE_PRECISION (type)); | |
1329 | m_max = wi::max_value (TYPE_PRECISION (type), UNSIGNED); | |
1330 | m_bitmask.set_unknown (TYPE_PRECISION (type)); | |
1331 | ||
1332 | if (flag_checking) | |
1333 | verify_range (); | |
1334 | } | |
1335 | ||
f5891967 AH |
1336 | inline void |
1337 | prange::set_zero (tree type) | |
1338 | { | |
64993a89 AH |
1339 | m_kind = VR_RANGE; |
1340 | m_type = type; | |
f5891967 AH |
1341 | wide_int zero = wi::zero (TYPE_PRECISION (type)); |
1342 | m_min = m_max = zero; | |
1343 | m_bitmask = irange_bitmask (zero, zero); | |
64993a89 AH |
1344 | |
1345 | if (flag_checking) | |
1346 | verify_range (); | |
1347 | } | |
1348 | ||
1349 | inline bool | |
1350 | prange::contains_p (tree cst) const | |
1351 | { | |
1352 | return contains_p (wi::to_wide (cst)); | |
1353 | } | |
1354 | ||
1355 | inline bool | |
1356 | prange::zero_p () const | |
1357 | { | |
1358 | return m_kind == VR_RANGE && m_min == 0 && m_max == 0; | |
1359 | } | |
1360 | ||
1361 | inline bool | |
1362 | prange::nonzero_p () const | |
1363 | { | |
1364 | return m_kind == VR_RANGE && m_min == 1 && m_max == -1; | |
1365 | } | |
1366 | ||
1367 | inline tree | |
1368 | prange::type () const | |
1369 | { | |
1370 | gcc_checking_assert (!undefined_p ()); | |
1371 | return m_type; | |
f5891967 AH |
1372 | } |
1373 | ||
1374 | inline wide_int | |
1375 | prange::lower_bound () const | |
1376 | { | |
64993a89 | 1377 | gcc_checking_assert (!undefined_p ()); |
f5891967 AH |
1378 | return m_min; |
1379 | } | |
1380 | ||
1381 | inline wide_int | |
1382 | prange::upper_bound () const | |
1383 | { | |
64993a89 | 1384 | gcc_checking_assert (!undefined_p ()); |
f5891967 AH |
1385 | return m_max; |
1386 | } | |
1387 | ||
64993a89 AH |
1388 | inline bool |
1389 | prange::varying_compatible_p () const | |
1390 | { | |
1391 | return (!undefined_p () | |
1392 | && m_min == 0 && m_max == -1 && get_bitmask ().unknown_p ()); | |
1393 | } | |
1394 | ||
f5891967 AH |
1395 | inline irange_bitmask |
1396 | prange::get_bitmask () const | |
1397 | { | |
1398 | return m_bitmask; | |
1399 | } | |
1400 | ||
64993a89 AH |
1401 | inline bool |
1402 | prange::fits_p (const vrange &) const | |
1403 | { | |
1404 | return true; | |
1405 | } | |
1406 | ||
1407 | ||
1a10bd84 AH |
1408 | inline |
1409 | frange::frange () | |
027a94b0 | 1410 | : vrange (VR_FRANGE) |
1a10bd84 | 1411 | { |
1a10bd84 AH |
1412 | set_undefined (); |
1413 | } | |
1414 | ||
1415 | inline | |
1416 | frange::frange (const frange &src) | |
027a94b0 | 1417 | : vrange (VR_FRANGE) |
1a10bd84 | 1418 | { |
1a10bd84 AH |
1419 | *this = src; |
1420 | } | |
1421 | ||
a901343a AH |
1422 | inline |
1423 | frange::frange (tree type) | |
027a94b0 | 1424 | : vrange (VR_FRANGE) |
a901343a | 1425 | { |
a901343a AH |
1426 | set_varying (type); |
1427 | } | |
1428 | ||
8bb1df03 AH |
1429 | // frange constructor from REAL_VALUE_TYPE endpoints. |
1430 | ||
1431 | inline | |
1432 | frange::frange (tree type, | |
1433 | const REAL_VALUE_TYPE &min, const REAL_VALUE_TYPE &max, | |
1434 | value_range_kind kind) | |
027a94b0 | 1435 | : vrange (VR_FRANGE) |
8bb1df03 | 1436 | { |
8bb1df03 AH |
1437 | set (type, min, max, kind); |
1438 | } | |
1439 | ||
1440 | // frange constructor from trees. | |
1441 | ||
1442 | inline | |
1443 | frange::frange (tree min, tree max, value_range_kind kind) | |
027a94b0 | 1444 | : vrange (VR_FRANGE) |
8bb1df03 | 1445 | { |
8bb1df03 AH |
1446 | set (min, max, kind); |
1447 | } | |
1448 | ||
1a10bd84 AH |
1449 | inline tree |
1450 | frange::type () const | |
1451 | { | |
6da65479 | 1452 | gcc_checking_assert (!undefined_p ()); |
1a10bd84 AH |
1453 | return m_type; |
1454 | } | |
1455 | ||
1456 | inline void | |
1457 | frange::set_varying (tree type) | |
1458 | { | |
1459 | m_kind = VR_VARYING; | |
1460 | m_type = type; | |
b7fd7fb5 AH |
1461 | m_min = frange_val_min (type); |
1462 | m_max = frange_val_max (type); | |
f4fda3ee AH |
1463 | if (HONOR_NANS (m_type)) |
1464 | { | |
1465 | m_pos_nan = true; | |
1466 | m_neg_nan = true; | |
1467 | } | |
1468 | else | |
1469 | { | |
1470 | m_pos_nan = false; | |
1471 | m_neg_nan = false; | |
1472 | } | |
1a10bd84 AH |
1473 | } |
1474 | ||
1475 | inline void | |
1476 | frange::set_undefined () | |
1477 | { | |
1478 | m_kind = VR_UNDEFINED; | |
324fa420 AH |
1479 | m_type = NULL; |
1480 | m_pos_nan = false; | |
1481 | m_neg_nan = false; | |
c46b5b0a | 1482 | // m_min and m_min are uninitialized as they are REAL_VALUE_TYPE ??. |
91746147 AH |
1483 | if (flag_checking) |
1484 | verify_range (); | |
1485 | } | |
1486 | ||
cb3f870f | 1487 | // Set the NAN bits to NAN and adjust the range. |
91746147 AH |
1488 | |
1489 | inline void | |
cb3f870f | 1490 | frange::update_nan (const nan_state &nan) |
91746147 AH |
1491 | { |
1492 | gcc_checking_assert (!undefined_p ()); | |
e9d50e7a AH |
1493 | if (HONOR_NANS (m_type)) |
1494 | { | |
cb3f870f AH |
1495 | m_pos_nan = nan.pos_p (); |
1496 | m_neg_nan = nan.neg_p (); | |
e9d50e7a AH |
1497 | normalize_kind (); |
1498 | if (flag_checking) | |
1499 | verify_range (); | |
1500 | } | |
91746147 AH |
1501 | } |
1502 | ||
cb3f870f AH |
1503 | // Set the NAN bit to +-NAN. |
1504 | ||
1505 | inline void | |
1506 | frange::update_nan () | |
1507 | { | |
1508 | gcc_checking_assert (!undefined_p ()); | |
1509 | nan_state nan (true); | |
1510 | update_nan (nan); | |
1511 | } | |
1512 | ||
10d6109f AH |
1513 | // Like above, but set the sign of the NAN. |
1514 | ||
1515 | inline void | |
1516 | frange::update_nan (bool sign) | |
1517 | { | |
1518 | gcc_checking_assert (!undefined_p ()); | |
cb3f870f AH |
1519 | nan_state nan (/*pos=*/!sign, /*neg=*/sign); |
1520 | update_nan (nan); | |
10d6109f AH |
1521 | } |
1522 | ||
cb779afe AH |
1523 | inline bool |
1524 | frange::contains_p (tree cst) const | |
1525 | { | |
1526 | return contains_p (*TREE_REAL_CST_PTR (cst)); | |
1527 | } | |
1528 | ||
91746147 AH |
1529 | // Clear the NAN bit and adjust the range. |
1530 | ||
1531 | inline void | |
1532 | frange::clear_nan () | |
1533 | { | |
1534 | gcc_checking_assert (!undefined_p ()); | |
1535 | m_pos_nan = false; | |
1536 | m_neg_nan = false; | |
1537 | normalize_kind (); | |
1538 | if (flag_checking) | |
1539 | verify_range (); | |
8bb1df03 AH |
1540 | } |
1541 | ||
1542 | // Set R to maximum representable value for TYPE. | |
1543 | ||
b7fd7fb5 AH |
1544 | inline REAL_VALUE_TYPE |
1545 | real_max_representable (const_tree type) | |
8bb1df03 | 1546 | { |
b7fd7fb5 | 1547 | REAL_VALUE_TYPE r; |
8bb1df03 AH |
1548 | char buf[128]; |
1549 | get_max_float (REAL_MODE_FORMAT (TYPE_MODE (type)), | |
1550 | buf, sizeof (buf), false); | |
b7fd7fb5 | 1551 | int res = real_from_string (&r, buf); |
8bb1df03 | 1552 | gcc_checking_assert (!res); |
b7fd7fb5 | 1553 | return r; |
8bb1df03 AH |
1554 | } |
1555 | ||
b7fd7fb5 | 1556 | // Return the minimum representable value for TYPE. |
8bb1df03 | 1557 | |
b7fd7fb5 AH |
1558 | inline REAL_VALUE_TYPE |
1559 | real_min_representable (const_tree type) | |
1560 | { | |
1561 | REAL_VALUE_TYPE r = real_max_representable (type); | |
1562 | r = real_value_negate (&r); | |
1563 | return r; | |
1564 | } | |
1565 | ||
1566 | // Return the minimum value for TYPE. | |
1567 | ||
1568 | inline REAL_VALUE_TYPE | |
1569 | frange_val_min (const_tree type) | |
1570 | { | |
82866f43 | 1571 | if (HONOR_INFINITIES (type)) |
b7fd7fb5 | 1572 | return dconstninf; |
82866f43 AH |
1573 | else |
1574 | return real_min_representable (type); | |
b7fd7fb5 AH |
1575 | } |
1576 | ||
1577 | // Return the maximum value for TYPE. | |
1578 | ||
1579 | inline REAL_VALUE_TYPE | |
1580 | frange_val_max (const_tree type) | |
1581 | { | |
82866f43 | 1582 | if (HONOR_INFINITIES (type)) |
b7fd7fb5 | 1583 | return dconstinf; |
82866f43 AH |
1584 | else |
1585 | return real_max_representable (type); | |
b7fd7fb5 AH |
1586 | } |
1587 | ||
1588 | // Return TRUE if R is the minimum value for TYPE. | |
1589 | ||
1590 | inline bool | |
1591 | frange_val_is_min (const REAL_VALUE_TYPE &r, const_tree type) | |
1592 | { | |
1593 | REAL_VALUE_TYPE min = frange_val_min (type); | |
1594 | return real_identical (&min, &r); | |
1595 | } | |
1596 | ||
1597 | // Return TRUE if R is the max value for TYPE. | |
1598 | ||
1599 | inline bool | |
1600 | frange_val_is_max (const REAL_VALUE_TYPE &r, const_tree type) | |
8bb1df03 | 1601 | { |
b7fd7fb5 AH |
1602 | REAL_VALUE_TYPE max = frange_val_max (type); |
1603 | return real_identical (&max, &r); | |
1a10bd84 AH |
1604 | } |
1605 | ||
c1c56462 | 1606 | // Build a NAN with a state of NAN. |
7e3f1843 | 1607 | |
9c4c4186 | 1608 | inline void |
c1c56462 | 1609 | frange::set_nan (tree type, const nan_state &nan) |
7e3f1843 | 1610 | { |
c1c56462 | 1611 | gcc_checking_assert (nan.pos_p () || nan.neg_p ()); |
e9d50e7a AH |
1612 | if (HONOR_NANS (type)) |
1613 | { | |
1614 | m_kind = VR_NAN; | |
1615 | m_type = type; | |
c1c56462 AH |
1616 | m_neg_nan = nan.neg_p (); |
1617 | m_pos_nan = nan.pos_p (); | |
e9d50e7a AH |
1618 | if (flag_checking) |
1619 | verify_range (); | |
1620 | } | |
1621 | else | |
1622 | set_undefined (); | |
91746147 AH |
1623 | } |
1624 | ||
c1c56462 AH |
1625 | // Build a signless NAN of type TYPE. |
1626 | ||
1627 | inline void | |
1628 | frange::set_nan (tree type) | |
1629 | { | |
1630 | nan_state nan (true); | |
1631 | set_nan (type, nan); | |
1632 | } | |
1633 | ||
91746147 AH |
1634 | // Build a NAN of type TYPE with SIGN. |
1635 | ||
1636 | inline void | |
1637 | frange::set_nan (tree type, bool sign) | |
1638 | { | |
c1c56462 AH |
1639 | nan_state nan (/*pos=*/!sign, /*neg=*/sign); |
1640 | set_nan (type, nan); | |
7e3f1843 AH |
1641 | } |
1642 | ||
67263231 AH |
1643 | // Return TRUE if range is known to be finite. |
1644 | ||
1645 | inline bool | |
91746147 | 1646 | frange::known_isfinite () const |
67263231 AH |
1647 | { |
1648 | if (undefined_p () || varying_p () || m_kind == VR_ANTI_RANGE) | |
1649 | return false; | |
91746147 | 1650 | return (!maybe_isnan () && !real_isinf (&m_min) && !real_isinf (&m_max)); |
67263231 AH |
1651 | } |
1652 | ||
d2e90c7d HG |
1653 | // Return TRUE if range is known to be normal. |
1654 | ||
1655 | inline bool | |
1656 | frange::known_isnormal () const | |
1657 | { | |
1658 | if (!known_isfinite ()) | |
1659 | return false; | |
1660 | ||
1661 | machine_mode mode = TYPE_MODE (type ()); | |
1662 | return (!real_isdenormal (&m_min, mode) && !real_isdenormal (&m_max, mode) | |
1663 | && !real_iszero (&m_min) && !real_iszero (&m_max) | |
1664 | && (!real_isneg (&m_min) || real_isneg (&m_max))); | |
1665 | } | |
1666 | ||
1667 | // Return TRUE if range is known to be denormal. | |
1668 | ||
1669 | inline bool | |
1670 | frange::known_isdenormal_or_zero () const | |
1671 | { | |
1672 | if (!known_isfinite ()) | |
1673 | return false; | |
1674 | ||
1675 | machine_mode mode = TYPE_MODE (type ()); | |
1676 | return ((real_isdenormal (&m_min, mode) || real_iszero (&m_min)) | |
1677 | && (real_isdenormal (&m_max, mode) || real_iszero (&m_max))); | |
1678 | } | |
1679 | ||
67263231 AH |
1680 | // Return TRUE if range may be infinite. |
1681 | ||
1682 | inline bool | |
91746147 | 1683 | frange::maybe_isinf () const |
67263231 | 1684 | { |
91746147 | 1685 | if (undefined_p () || m_kind == VR_ANTI_RANGE || m_kind == VR_NAN) |
67263231 AH |
1686 | return false; |
1687 | if (varying_p ()) | |
1688 | return true; | |
1689 | return real_isinf (&m_min) || real_isinf (&m_max); | |
1690 | } | |
1691 | ||
1692 | // Return TRUE if range is known to be the [-INF,-INF] or [+INF,+INF]. | |
1693 | ||
1694 | inline bool | |
91746147 | 1695 | frange::known_isinf () const |
67263231 AH |
1696 | { |
1697 | return (m_kind == VR_RANGE | |
844190af | 1698 | && !maybe_isnan () |
67263231 AH |
1699 | && real_identical (&m_min, &m_max) |
1700 | && real_isinf (&m_min)); | |
1701 | } | |
1702 | ||
1703 | // Return TRUE if range is possibly a NAN. | |
1704 | ||
1705 | inline bool | |
91746147 | 1706 | frange::maybe_isnan () const |
67263231 | 1707 | { |
2438b6a4 AH |
1708 | if (undefined_p ()) |
1709 | return false; | |
91746147 | 1710 | return m_pos_nan || m_neg_nan; |
67263231 AH |
1711 | } |
1712 | ||
e23f7dab AH |
1713 | // Return TRUE if range is possibly a NAN with SIGN. |
1714 | ||
1715 | inline bool | |
1716 | frange::maybe_isnan (bool sign) const | |
1717 | { | |
1718 | if (undefined_p ()) | |
1719 | return false; | |
1720 | if (sign) | |
1721 | return m_neg_nan; | |
1722 | return m_pos_nan; | |
1723 | } | |
1724 | ||
67263231 AH |
1725 | // Return TRUE if range is a +NAN or -NAN. |
1726 | ||
1727 | inline bool | |
91746147 | 1728 | frange::known_isnan () const |
67263231 | 1729 | { |
91746147 | 1730 | return m_kind == VR_NAN; |
67263231 AH |
1731 | } |
1732 | ||
1733 | // If the signbit for the range is known, set it in SIGNBIT and return | |
1734 | // TRUE. | |
1735 | ||
1736 | inline bool | |
91746147 | 1737 | frange::signbit_p (bool &signbit) const |
67263231 | 1738 | { |
91746147 | 1739 | if (undefined_p ()) |
67263231 | 1740 | return false; |
91746147 AH |
1741 | |
1742 | // NAN with unknown sign. | |
1743 | if (m_pos_nan && m_neg_nan) | |
67263231 | 1744 | return false; |
91746147 AH |
1745 | // No NAN. |
1746 | if (!m_pos_nan && !m_neg_nan) | |
1747 | { | |
1748 | if (m_min.sign == m_max.sign) | |
1749 | { | |
1750 | signbit = m_min.sign; | |
1751 | return true; | |
1752 | } | |
1753 | return false; | |
1754 | } | |
1755 | // NAN with known sign. | |
1756 | bool nan_sign = m_neg_nan; | |
1757 | if (known_isnan () | |
1758 | || (nan_sign == m_min.sign && nan_sign == m_max.sign)) | |
1759 | { | |
1760 | signbit = nan_sign; | |
1761 | return true; | |
1762 | } | |
1763 | return false; | |
67263231 AH |
1764 | } |
1765 | ||
658788f3 AH |
1766 | // If range has a NAN with a known sign, set it in SIGNBIT and return |
1767 | // TRUE. | |
1768 | ||
1769 | inline bool | |
1770 | frange::nan_signbit_p (bool &signbit) const | |
1771 | { | |
1772 | if (undefined_p ()) | |
1773 | return false; | |
1774 | ||
1775 | if (m_pos_nan == m_neg_nan) | |
1776 | return false; | |
1777 | ||
1778 | signbit = m_neg_nan; | |
1779 | return true; | |
1780 | } | |
1781 | ||
9ffddbfc JJ |
1782 | void frange_nextafter (enum machine_mode, REAL_VALUE_TYPE &, |
1783 | const REAL_VALUE_TYPE &); | |
82aef047 JJ |
1784 | void frange_arithmetic (enum tree_code, tree, REAL_VALUE_TYPE &, |
1785 | const REAL_VALUE_TYPE &, const REAL_VALUE_TYPE &, | |
1786 | const REAL_VALUE_TYPE &); | |
9ffddbfc | 1787 | |
c6bb413e AM |
1788 | // Return true if TYPE1 and TYPE2 are compatible range types. |
1789 | ||
1790 | inline bool | |
1791 | range_compatible_p (tree type1, tree type2) | |
1792 | { | |
1793 | // types_compatible_p requires conversion in both directions to be useless. | |
1794 | // GIMPLE only requires a cast one way in order to be compatible. | |
1795 | // Ranges really only need the sign and precision to be the same. | |
fa86f510 KL |
1796 | return (TYPE_PRECISION (type1) == TYPE_PRECISION (type2) |
1797 | && TYPE_SIGN (type1) == TYPE_SIGN (type2)); | |
c6bb413e | 1798 | } |
cca78449 | 1799 | #endif // GCC_VALUE_RANGE_H |