From: Aldy Hernandez <aldyh@redhat.com>
Date: Mon, 10 Oct 2022 11:43:16 +0000 (+0200)
Subject: Add frange::maybe_isnan (bool sign).
X-Git-Tag: basepoints/gcc-14~4011
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=e23f7dabe6f7ce1d92bfc07d2b62cc7bcdc0caae;p=thirdparty%2Fgcc.git

Add frange::maybe_isnan (bool sign).

It is useful to know if there's the possiblity of a NAN with a given
sign.  This is to complement maybe_isnan(void) which returns TRUE for a
NAN of any sign.

A follow-up patch implementing ABS will make use of this.

gcc/ChangeLog:

	* value-range.h (frange::maybe_isnan): New.
---

diff --git a/gcc/value-range.h b/gcc/value-range.h
index 484f911bd905..07a2067898c9 100644
--- a/gcc/value-range.h
+++ b/gcc/value-range.h
@@ -323,6 +323,7 @@ public:
   bool known_isnan () const;
   bool known_isinf () const;
   bool maybe_isnan () const;
+  bool maybe_isnan (bool sign) const;
   bool maybe_isinf () const;
   bool signbit_p (bool &signbit) const;
 private:
@@ -1295,6 +1296,18 @@ frange::maybe_isnan () const
   return m_pos_nan || m_neg_nan;
 }
 
+// Return TRUE if range is possibly a NAN with SIGN.
+
+inline bool
+frange::maybe_isnan (bool sign) const
+{
+  if (undefined_p ())
+    return false;
+  if (sign)
+    return m_neg_nan;
+  return m_pos_nan;
+}
+
 // Return TRUE if range is a +NAN or -NAN.
 
 inline bool