From: Aldy Hernandez <aldyh@redhat.com>
Date: Sat, 1 Oct 2022 20:25:52 +0000 (+0200)
Subject: Do not compare nonzero masks for varying.
X-Git-Tag: basepoints/gcc-14~4182
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8e1de8d2db2500d9d4d76c91c3c2dab761566a1a;p=thirdparty%2Fgcc.git

Do not compare nonzero masks for varying.

There is no need to compare nonzero masks when comparing two VARYING
ranges, as they are always the same when range types are the same.

gcc/ChangeLog:

	* value-range.cc (irange::legacy_equal_p): Remove nonozero mask
	check when comparing VR_VARYING ranges.
---

diff --git a/gcc/value-range.cc b/gcc/value-range.cc
index 6154d73ccf5d..ddbcdd676331 100644
--- a/gcc/value-range.cc
+++ b/gcc/value-range.cc
@@ -1233,10 +1233,7 @@ irange::legacy_equal_p (const irange &other) const
   if (m_kind == VR_UNDEFINED)
     return true;
   if (m_kind == VR_VARYING)
-    {
-      return (range_compatible_p (type (), other.type ())
-	      && vrp_operand_equal_p (m_nonzero_mask, other.m_nonzero_mask));
-    }
+    return range_compatible_p (type (), other.type ());
   return (vrp_operand_equal_p (tree_lower_bound (0),
 			       other.tree_lower_bound (0))
 	  && vrp_operand_equal_p (tree_upper_bound (0),