From cb3f870fdbe47ae9623fb176776ee196db1c5358 Mon Sep 17 00:00:00 2001
From: Aldy Hernandez <aldyh@redhat.com>
Date: Mon, 18 Sep 2023 11:39:32 -0400
Subject: [PATCH] Add frange::update_nan (const nan_state &).
We can set_nan() with a nan_state so it's good form to have the
analogous form for update_nan().
gcc/ChangeLog:
* value-range.h (frange::update_nan): New.
---
gcc/value-range.h | 28 ++++++++++++++++------------
1 file changed, 16 insertions(+), 12 deletions(-)
diff --git a/gcc/value-range.h b/gcc/value-range.h
index da04be00ab41..a792c593faac 100644
--- a/gcc/value-range.h
+++ b/gcc/value-range.h
@@ -1257,36 +1257,40 @@ frange::set_undefined ()
verify_range ();
}
-// Set the NAN bit and adjust the range.
+// Set the NAN bits to NAN and adjust the range.
inline void
-frange::update_nan ()
+frange::update_nan (const nan_state &nan)
{
gcc_checking_assert (!undefined_p ());
if (HONOR_NANS (m_type))
{
- m_pos_nan = true;
- m_neg_nan = true;
+ m_pos_nan = nan.pos_p ();
+ m_neg_nan = nan.neg_p ();
normalize_kind ();
if (flag_checking)
verify_range ();
}
}
+// Set the NAN bit to +-NAN.
+
+inline void
+frange::update_nan ()
+{
+ gcc_checking_assert (!undefined_p ());
+ nan_state nan (true);
+ update_nan (nan);
+}
+
// Like above, but set the sign of the NAN.
inline void
frange::update_nan (bool sign)
{
gcc_checking_assert (!undefined_p ());
- if (HONOR_NANS (m_type))
- {
- m_pos_nan = !sign;
- m_neg_nan = sign;
- normalize_kind ();
- if (flag_checking)
- verify_range ();
- }
+ nan_state nan (/*pos=*/!sign, /*neg=*/sign);
+ update_nan (nan);
}
inline bool
--
GitLab