diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2022-10-14 12:08:11 +0200 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@redhat.com> | 2022-10-14 16:38:40 +0200 |
| commit | 3dfeda095bd43c011fdc3834b9cec39bb9a73a1f (patch) | |
| tree | 6cac9c74cbf2711e1dffca131fa400c3770e6dbe /gcc/value-range.cc | |
| parent | 0dd9dd1fdfca1219bbe3ac460b50c6776b427119 (diff) | |
| download | gcc-3dfeda095bd43c011fdc3834b9cec39bb9a73a1f.zip gcc-3dfeda095bd43c011fdc3834b9cec39bb9a73a1f.tar.gz gcc-3dfeda095bd43c011fdc3834b9cec39bb9a73a1f.tar.bz2 | |
Check rvc_normal in real_isdenormal.
[-Inf, -Inf] is being flushed to [-Inf, -0.0] because real_isdenormal
is being overly pessimistic. It is missing a check for rvc_normal.
This doesn't cause problems in real.cc because all uses of
real_isdenormal are already on the rvc_normal path. The uses in
value-range.cc however, are not.
This patch adds a check for rvc_normal.
gcc/ChangeLog:
* real.h (real_isdenormal): Check rvc_normal.
* value-range.cc (range_tests_floats): New test.
Diffstat (limited to 'gcc/value-range.cc')
| -rw-r--r-- | gcc/value-range.cc | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/value-range.cc b/gcc/value-range.cc index 6b4f3dd..ee15eb3 100644 --- a/gcc/value-range.cc +++ b/gcc/value-range.cc @@ -4014,6 +4014,11 @@ range_tests_floats () r1.clear_nan (); r0.intersect (r1); ASSERT_TRUE (r0.undefined_p ()); + + // Make sure [-Inf, -Inf] doesn't get normalized. + r0 = frange_float ("-Inf", "-Inf"); + ASSERT_TRUE (real_isinf (&r0.lower_bound (), true)); + ASSERT_TRUE (real_isinf (&r0.upper_bound (), true)); } void |