diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2022-08-31 14:41:04 +0200 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@redhat.com> | 2022-09-01 13:19:07 +0200 |
| commit | e9b0dd2afe7a9e8a3033340dfa26ec606930eef5 (patch) | |
| tree | 5ba1ceb1e6770c9f6e9de27184b2cfe91741b5e1 /gcc/value-range-pretty-print.cc | |
| parent | 0e1b1222af5e5346df9431df817f2e7dca01bee6 (diff) | |
| download | gcc-e9b0dd2afe7a9e8a3033340dfa26ec606930eef5.zip gcc-e9b0dd2afe7a9e8a3033340dfa26ec606930eef5.tar.gz gcc-e9b0dd2afe7a9e8a3033340dfa26ec606930eef5.tar.bz2 | |
Add signbit property to frange to better model signed zeros.
As discussed here:
https://gcc.gnu.org/pipermail/gcc-patches/2022-August/600656.html
This adds an frange property to keep track of the sign bit. We keep
it updated at all times, but we don't use it make any decisions when
!HONOR_SIGNED_ZEROS.
With this property we can now query the range for the appropriate sign
with frange::get_signbit (). Possible values are yes, no, and unknown.
gcc/ChangeLog:
* range-op-float.cc (foperator_equal::op1_range): Do not copy sign
bit.
(foperator_not_equal::op1_range): Same.
* value-query.cc (range_query::get_tree_range): Set sign bit.
* value-range-pretty-print.cc (vrange_printer::visit): Dump sign bit.
* value-range.cc (frange::set_signbit): New.
(frange::set): Adjust for sign bit.
(frange::normalize_kind): Same.
(frange::union_): Remove useless comment.
(frange::intersect): Same.
(frange::contains_p): Adjust for sign bit.
(frange::singleton_p): Same.
(frange::verify_range): Same.
(range_tests_signbit): New tests.
(range_tests_floats): Call range_tests_signbit.
* value-range.h (class frange_props): Add signbit
(class frange): Same.
Diffstat (limited to 'gcc/value-range-pretty-print.cc')
| -rw-r--r-- | gcc/value-range-pretty-print.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/value-range-pretty-print.cc b/gcc/value-range-pretty-print.cc index e66d56d..93e18d3 100644 --- a/gcc/value-range-pretty-print.cc +++ b/gcc/value-range-pretty-print.cc @@ -146,6 +146,7 @@ vrange_printer::visit (const frange &r) const pp_string (pp, "] "); print_frange_prop ("NAN", r.get_nan ()); + print_frange_prop ("SIGN", r.get_signbit ()); } // Print the FP properties in an frange. |