[gcc r13-3025] Do not compare nonzero masks for varying.

[Aldy Hernandez <aldyh@gcc.gnu.org>]

https://gcc.gnu.org/g:8e1de8d2db2500d9d4d76c91c3c2dab761566a1a

commit r13-3025-g8e1de8d2db2500d9d4d76c91c3c2dab761566a1a
Author: Aldy Hernandez <aldyh@redhat.com>
Date:   Sat Oct 1 22:25:52 2022 +0200

    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:
---
 gcc/value-range.cc | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/gcc/value-range.cc b/gcc/value-range.cc
index 6154d73ccf5..ddbcdd67633 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),