From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2136) id EB4EF3854165; Mon, 3 Oct 2022 11:08:38 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org EB4EF3854165 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1664795318; bh=FzgvA0SoQb5JAblRqfK2MUjSwTkoYFNbw6+tVYS3fmU=; h=From:To:Subject:Date:From; b=D4wYL9ejo/buU7eqN7zdBRO9NiiFa/3b7hXXWU9Js5m7LZTM5s8F6e1P7mouNhwPx +99/wMbCUeiL55LAfb4VFBfqmeR1+P/1/j/yQF2/s2z/odK/Px4eNBRy9+OQ+Ox/zR 5aJXnCrkryaJ0N4F+EEY3+bNgy1zP0Ha+pMV9zWk= 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-3025] Do not compare nonzero masks for varying. X-Act-Checkin: gcc X-Git-Author: Aldy Hernandez X-Git-Refname: refs/heads/master X-Git-Oldrev: b90d1b50867d7c0468e1851f24bc33fe338bcc20 X-Git-Newrev: 8e1de8d2db2500d9d4d76c91c3c2dab761566a1a Message-Id: <20221003110838.EB4EF3854165@sourceware.org> Date: Mon, 3 Oct 2022 11:08:38 +0000 (GMT) List-Id: https://gcc.gnu.org/g:8e1de8d2db2500d9d4d76c91c3c2dab761566a1a commit r13-3025-g8e1de8d2db2500d9d4d76c91c3c2dab761566a1a Author: Aldy Hernandez 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),