diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2022-10-01 22:25:52 +0200 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@redhat.com> | 2022-10-03 13:06:25 +0200 |
| commit | 8e1de8d2db2500d9d4d76c91c3c2dab761566a1a (patch) | |
| tree | 1c382c19460d4123d7da23e00295965210fd7c58 /gcc | |
| parent | b90d1b50867d7c0468e1851f24bc33fe338bcc20 (diff) | |
| download | gcc-8e1de8d2db2500d9d4d76c91c3c2dab761566a1a.zip gcc-8e1de8d2db2500d9d4d76c91c3c2dab761566a1a.tar.gz gcc-8e1de8d2db2500d9d4d76c91c3c2dab761566a1a.tar.bz2 | |
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.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/value-range.cc | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/gcc/value-range.cc b/gcc/value-range.cc index 6154d73..ddbcdd6 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), |