public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc r14-4146] [frange] Remove redundant known_isnan() checks.
@ 2023-09-19 16:30 Aldy Hernandez
0 siblings, 0 replies; only message in thread
From: Aldy Hernandez @ 2023-09-19 16:30 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:36eec7995b4d53083c3ee7824bd765b5eba8b1a1
commit r14-4146-g36eec7995b4d53083c3ee7824bd765b5eba8b1a1
Author: Aldy Hernandez <aldyh@redhat.com>
Date: Mon Sep 18 21:45:35 2023 -0400
[frange] Remove redundant known_isnan() checks.
The known_isnan() method is a subset of maybe_isnan(). This patch
removes redundant calls to known_isnan().
gcc/ChangeLog:
* range-op-float.cc (operator_lt::op1_range): Remove known_isnan check.
(operator_lt::op2_range): Same.
(operator_le::op1_range): Same.
(operator_le::op2_range): Same.
(operator_gt::op1_range): Same.
(operator_gt::op2_range): Same.
(operator_ge::op1_range): Same.
(operator_ge::op2_range): Same.
(foperator_unordered_lt::op1_range): Same.
(foperator_unordered_lt::op2_range): Same.
(foperator_unordered_le::op1_range): Same.
(foperator_unordered_le::op2_range): Same.
(foperator_unordered_gt::op1_range): Same.
(foperator_unordered_gt::op2_range): Same.
(foperator_unordered_ge::op1_range): Same.
(foperator_unordered_ge::op2_range): Same.
Diff:
---
gcc/range-op-float.cc | 32 ++++++++++++++++----------------
1 file changed, 16 insertions(+), 16 deletions(-)
diff --git a/gcc/range-op-float.cc b/gcc/range-op-float.cc
index 91d3096fdac..5eb1d9c06e3 100644
--- a/gcc/range-op-float.cc
+++ b/gcc/range-op-float.cc
@@ -981,7 +981,7 @@ operator_lt::op1_range (frange &r,
case BRS_FALSE:
// On the FALSE side of x < NAN, we know nothing about x.
- if (op2.known_isnan () || op2.maybe_isnan ())
+ if (op2.maybe_isnan ())
r.set_varying (type);
else
build_ge (r, type, op2);
@@ -1018,7 +1018,7 @@ operator_lt::op2_range (frange &r,
case BRS_FALSE:
// On the FALSE side of NAN < x, we know nothing about x.
- if (op1.known_isnan () || op1.maybe_isnan ())
+ if (op1.maybe_isnan ())
r.set_varying (type);
else
build_le (r, type, op1);
@@ -1091,7 +1091,7 @@ operator_le::op1_range (frange &r,
case BRS_FALSE:
// On the FALSE side of x <= NAN, we know nothing about x.
- if (op2.known_isnan () || op2.maybe_isnan ())
+ if (op2.maybe_isnan ())
r.set_varying (type);
else
build_gt (r, type, op2);
@@ -1124,7 +1124,7 @@ operator_le::op2_range (frange &r,
case BRS_FALSE:
// On the FALSE side of NAN <= x, we know nothing about x.
- if (op1.known_isnan () || op1.maybe_isnan ())
+ if (op1.maybe_isnan ())
r.set_varying (type);
else if (op1.undefined_p ())
return false;
@@ -1210,7 +1210,7 @@ operator_gt::op1_range (frange &r,
case BRS_FALSE:
// On the FALSE side of x > NAN, we know nothing about x.
- if (op2.known_isnan () || op2.maybe_isnan ())
+ if (op2.maybe_isnan ())
r.set_varying (type);
else if (op2.undefined_p ())
return false;
@@ -1249,7 +1249,7 @@ operator_gt::op2_range (frange &r,
case BRS_FALSE:
// On The FALSE side of NAN > x, we know nothing about x.
- if (op1.known_isnan () || op1.maybe_isnan ())
+ if (op1.maybe_isnan ())
r.set_varying (type);
else if (op1.undefined_p ())
return false;
@@ -1323,7 +1323,7 @@ operator_ge::op1_range (frange &r,
case BRS_FALSE:
// On the FALSE side of x >= NAN, we know nothing about x.
- if (op2.known_isnan () || op2.maybe_isnan ())
+ if (op2.maybe_isnan ())
r.set_varying (type);
else if (op2.undefined_p ())
return false;
@@ -1357,7 +1357,7 @@ operator_ge::op2_range (frange &r, tree type,
case BRS_FALSE:
// On the FALSE side of NAN >= x, we know nothing about x.
- if (op1.known_isnan () || op1.maybe_isnan ())
+ if (op1.maybe_isnan ())
r.set_varying (type);
else if (op1.undefined_p ())
return false;
@@ -1720,7 +1720,7 @@ foperator_unordered_lt::op1_range (frange &r, tree type,
switch (get_bool_state (r, lhs, type))
{
case BRS_TRUE:
- if (op2.known_isnan () || op2.maybe_isnan ())
+ if (op2.maybe_isnan ())
r.set_varying (type);
else if (op2.undefined_p ())
return false;
@@ -1754,7 +1754,7 @@ foperator_unordered_lt::op2_range (frange &r, tree type,
switch (get_bool_state (r, lhs, type))
{
case BRS_TRUE:
- if (op1.known_isnan () || op1.maybe_isnan ())
+ if (op1.maybe_isnan ())
r.set_varying (type);
else if (op1.undefined_p ())
return false;
@@ -1832,7 +1832,7 @@ foperator_unordered_le::op1_range (frange &r, tree type,
switch (get_bool_state (r, lhs, type))
{
case BRS_TRUE:
- if (op2.known_isnan () || op2.maybe_isnan ())
+ if (op2.maybe_isnan ())
r.set_varying (type);
else if (op2.undefined_p ())
return false;
@@ -1865,7 +1865,7 @@ foperator_unordered_le::op2_range (frange &r,
switch (get_bool_state (r, lhs, type))
{
case BRS_TRUE:
- if (op1.known_isnan () || op1.maybe_isnan ())
+ if (op1.maybe_isnan ())
r.set_varying (type);
else if (op1.undefined_p ())
return false;
@@ -1945,7 +1945,7 @@ foperator_unordered_gt::op1_range (frange &r,
switch (get_bool_state (r, lhs, type))
{
case BRS_TRUE:
- if (op2.known_isnan () || op2.maybe_isnan ())
+ if (op2.maybe_isnan ())
r.set_varying (type);
else if (op2.undefined_p ())
return false;
@@ -1980,7 +1980,7 @@ foperator_unordered_gt::op2_range (frange &r,
switch (get_bool_state (r, lhs, type))
{
case BRS_TRUE:
- if (op1.known_isnan () || op1.maybe_isnan ())
+ if (op1.maybe_isnan ())
r.set_varying (type);
else if (op1.undefined_p ())
return false;
@@ -2060,7 +2060,7 @@ foperator_unordered_ge::op1_range (frange &r,
switch (get_bool_state (r, lhs, type))
{
case BRS_TRUE:
- if (op2.known_isnan () || op2.maybe_isnan ())
+ if (op2.maybe_isnan ())
r.set_varying (type);
else if (op2.undefined_p ())
return false;
@@ -2094,7 +2094,7 @@ foperator_unordered_ge::op2_range (frange &r, tree type,
switch (get_bool_state (r, lhs, type))
{
case BRS_TRUE:
- if (op1.known_isnan () || op1.maybe_isnan ())
+ if (op1.maybe_isnan ())
r.set_varying (type);
else if (op1.undefined_p ())
return false;
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2023-09-19 16:30 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-09-19 16:30 [gcc r14-4146] [frange] Remove redundant known_isnan() checks 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).