From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2136) id 5395E3850862; Thu, 20 Oct 2022 14:24:30 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 5395E3850862 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1666275870; bh=DIjfLfO3gW/5mMz3f+KvIPTRK+QfWjubi/4kZFApoZo=; h=From:To:Subject:Date:From; b=mzvz5wJYEH70YlnXJAq556l2nTpNrcsBg7Xiz2bGDflXWngILHg2/7HFm0dyrwqm3 09wKEFPHHG3m/subTI/X1kAj1+6y8RUZnSQvlFHviJJF6jJzy0/qbD88uX6DG5xb/z 39fAPl1Tlr1xyC31Xhx7FkimNlyJuXtNBFl8wpTU= MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Aldy Hernandez To: gcc-cvs@gcc.gnu.org Subject: [gcc r13-3411] Do not set NAN flags for VARYING ranges when !HONOR_NANS. X-Act-Checkin: gcc X-Git-Author: Aldy Hernandez X-Git-Refname: refs/heads/master X-Git-Oldrev: be43d5d3051589ee00f6685103539dced767c47d X-Git-Newrev: f4fda3eec408e1eb12cc966f55f0de396be71597 Message-Id: <20221020142430.5395E3850862@sourceware.org> Date: Thu, 20 Oct 2022 14:24:30 +0000 (GMT) List-Id: https://gcc.gnu.org/g:f4fda3eec408e1eb12cc966f55f0de396be71597 commit r13-3411-gf4fda3eec408e1eb12cc966f55f0de396be71597 Author: Aldy Hernandez Date: Thu Oct 20 08:55:36 2022 +0200 Do not set NAN flags for VARYING ranges when !HONOR_NANS. Since NANs can't appear in ranges for !HONOR_NANS, there's no reason to set them in a VARYING range. gcc/ChangeLog: * value-range.h (frange::set_varying): Do not set NAN flags for !HONOR_NANS. * value-range.cc (frange::normalize_kind): Adjust for no NAN when !HONOR_NANS. (frange::verify_range): Same. * range-op-float.cc (maybe_isnan): Remove flag_finite_math_only check. Diff: --- gcc/range-op-float.cc | 3 --- gcc/value-range.cc | 11 ++++++++--- gcc/value-range.h | 12 ++++++++++-- 3 files changed, 18 insertions(+), 8 deletions(-) diff --git a/gcc/range-op-float.cc b/gcc/range-op-float.cc index 2a4a99ba467..a9e74c86877 100644 --- a/gcc/range-op-float.cc +++ b/gcc/range-op-float.cc @@ -171,9 +171,6 @@ range_operator_float::op1_op2_relation (const frange &lhs ATTRIBUTE_UNUSED) cons static inline bool maybe_isnan (const frange &op1, const frange &op2) { - if (flag_finite_math_only) - return false; - return op1.maybe_isnan () || op2.maybe_isnan (); } diff --git a/gcc/value-range.cc b/gcc/value-range.cc index 511cd0ad767..bcda4987307 100644 --- a/gcc/value-range.cc +++ b/gcc/value-range.cc @@ -388,7 +388,7 @@ frange::normalize_kind () && frange_val_is_min (m_min, m_type) && frange_val_is_max (m_max, m_type)) { - if (m_pos_nan && m_neg_nan) + if (!HONOR_NANS (m_type) || (m_pos_nan && m_neg_nan)) { set_varying (m_type); return true; @@ -396,7 +396,7 @@ frange::normalize_kind () } else if (m_kind == VR_VARYING) { - if (!m_pos_nan || !m_neg_nan) + if (HONOR_NANS (m_type) && (!m_pos_nan || !m_neg_nan)) { m_kind = VR_RANGE; m_min = frange_val_min (m_type); @@ -712,14 +712,19 @@ frange::supports_type_p (const_tree type) const void frange::verify_range () { + if (flag_finite_math_only) + gcc_checking_assert (!maybe_isnan ()); switch (m_kind) { case VR_UNDEFINED: gcc_checking_assert (!m_type); return; case VR_VARYING: + if (flag_finite_math_only) + gcc_checking_assert (!m_pos_nan && !m_neg_nan); + else + gcc_checking_assert (m_pos_nan && m_neg_nan); gcc_checking_assert (m_type); - gcc_checking_assert (m_pos_nan && m_neg_nan); gcc_checking_assert (frange_val_is_min (m_min, m_type)); gcc_checking_assert (frange_val_is_max (m_max, m_type)); return; diff --git a/gcc/value-range.h b/gcc/value-range.h index 60b989b2b50..b48542a68aa 100644 --- a/gcc/value-range.h +++ b/gcc/value-range.h @@ -1103,8 +1103,16 @@ frange::set_varying (tree type) m_type = type; m_min = frange_val_min (type); m_max = frange_val_max (type); - m_pos_nan = true; - m_neg_nan = true; + if (HONOR_NANS (m_type)) + { + m_pos_nan = true; + m_neg_nan = true; + } + else + { + m_pos_nan = false; + m_neg_nan = false; + } } inline void