public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc r13-3825] [range-op-float] Implement MINUS_EXPR.
@ 2022-11-09 7:08 Aldy Hernandez
0 siblings, 0 replies; only message in thread
From: Aldy Hernandez @ 2022-11-09 7:08 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:38ec5e4bc8fed58e278e6dcad999d38c5efc1340
commit r13-3825-g38ec5e4bc8fed58e278e6dcad999d38c5efc1340
Author: Aldy Hernandez <aldyh@redhat.com>
Date: Tue Nov 8 23:49:48 2022 +0100
[range-op-float] Implement MINUS_EXPR.
Now that the generic parts of the binary operators have been
abstracted, implementing MINUS_EXPR is a cinch.
The op[12]_range entries will be submitted as a follow-up.
gcc/ChangeLog:
* range-op-float.cc (class foperator_minus): New.
(floating_op_table::floating_op_table): Add MINUS_EXPR entry.
Diff:
---
gcc/range-op-float.cc | 24 ++++++++++++++++++++++++
1 file changed, 24 insertions(+)
diff --git a/gcc/range-op-float.cc b/gcc/range-op-float.cc
index 7075c25442a..d52e971f84e 100644
--- a/gcc/range-op-float.cc
+++ b/gcc/range-op-float.cc
@@ -1884,6 +1884,29 @@ class foperator_plus : public range_operator_float
} fop_plus;
+class foperator_minus : public range_operator_float
+{
+ void rv_fold (REAL_VALUE_TYPE &lb, REAL_VALUE_TYPE &ub, bool &maybe_nan,
+ tree type,
+ const REAL_VALUE_TYPE &lh_lb,
+ const REAL_VALUE_TYPE &lh_ub,
+ const REAL_VALUE_TYPE &rh_lb,
+ const REAL_VALUE_TYPE &rh_ub) const final override
+ {
+ frange_arithmetic (MINUS_EXPR, type, lb, lh_lb, rh_ub, dconstninf);
+ frange_arithmetic (MINUS_EXPR, type, ub, lh_ub, rh_lb, dconstinf);
+
+ // [+INF] - [+INF] = NAN
+ if (real_isinf (&lh_ub, false) && real_isinf (&rh_ub, false))
+ maybe_nan = true;
+ // [-INF] - [-INF] = NAN
+ else if (real_isinf (&lh_lb, true) && real_isinf (&rh_lb, true))
+ maybe_nan = true;
+ else
+ maybe_nan = false;
+ }
+} fop_minus;
+
// Instantiate a range_op_table for floating point operations.
static floating_op_table global_floating_table;
@@ -1917,6 +1940,7 @@ floating_op_table::floating_op_table ()
set (ABS_EXPR, fop_abs);
set (NEGATE_EXPR, fop_negate);
set (PLUS_EXPR, fop_plus);
+ set (MINUS_EXPR, fop_minus);
}
// Return a pointer to the range_operator_float instance, if there is
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2022-11-09 7:08 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-11-09 7:08 [gcc r13-3825] [range-op-float] Implement MINUS_EXPR Aldy Hernandez
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).