diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2022-09-19 09:59:01 +0200 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@redhat.com> | 2022-09-20 19:33:32 +0200 |
| commit | 10d6109fe183d984a0377a7afe2854a0d794ebeb (patch) | |
| tree | 33d9bf1ef1b19f9bc7f48ff129445a521b7c0ca9 /gcc/value-range.cc | |
| parent | d812e8cb2a920fd75768e16ca8ded59ad93c172f (diff) | |
| download | gcc-10d6109fe183d984a0377a7afe2854a0d794ebeb.zip gcc-10d6109fe183d984a0377a7afe2854a0d794ebeb.tar.gz gcc-10d6109fe183d984a0377a7afe2854a0d794ebeb.tar.bz2 | |
frange::set_nonnegative should not contain -NAN.
A specifically nonnegative range should not contain -NAN, otherwise
signbit_p() would return false, because we'd be unsure of the sign.
PR 68097/tree-optimization
gcc/ChangeLog:
* value-range.cc (frange::set_nonnegative): Set +NAN.
(range_tests_signed_zeros): New test.
* value-range.h (frange::update_nan): New overload to set NAN sign.
Diffstat (limited to 'gcc/value-range.cc')
| -rw-r--r-- | gcc/value-range.cc | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gcc/value-range.cc b/gcc/value-range.cc index a8e3bb3..dc42b6d 100644 --- a/gcc/value-range.cc +++ b/gcc/value-range.cc @@ -775,6 +775,10 @@ void frange::set_nonnegative (tree type) { set (type, dconst0, dconstinf); + + // Set +NAN as the only possibility. + if (HONOR_NANS (type)) + update_nan (/*sign=*/0); } // Here we copy between any two irange's. The ranges can be legacy or @@ -3823,6 +3827,11 @@ range_tests_signed_zeros () r1.update_nan (); r0.intersect (r1); ASSERT_TRUE (r0.known_isnan ()); + + r0.set_nonnegative (float_type_node); + ASSERT_TRUE (r0.signbit_p (signbit) && !signbit); + if (HONOR_NANS (float_type_node)) + ASSERT_TRUE (r0.maybe_isnan ()); } static void |