procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Add frange::update_nan (const nan_state &).

Browse source 
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.
This commit is contained in:
Aldy Hernandez 2023-09-18 11:39:32 -04:00
parent 9c739c9893
commit cb3f870fdb
1 changed files with 21 additions and 17 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

38
gcc/value-range.h
View file

@ -1257,20 +1257,30 @@ 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 (const nan_state &nan)
{
gcc_checking_assert (!undefined_p ());
if (HONOR_NANS (m_type))
{
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 ());
if (HONOR_NANS (m_type))
{
m_pos_nan = true;
m_neg_nan = true;
normalize_kind ();
if (flag_checking)
verify_range ();
}
nan_state nan (true);
update_nan (nan);
}
// Like above, but set the sign of the NAN.
@ -1279,14 +1289,8 @@ 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