From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2136) id E2C9B385703F; Fri, 11 Nov 2022 13:53:54 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org E2C9B385703F DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1668174834; bh=qflsckRzyQMgBcUCxvUuFFW/4Tp3iAuNe6675dkjbWE=; h=From:To:Subject:Date:From; b=p2iXWBQOSFG/IHfX3RX+b0p0smqJCYN4yJY4fzQJ2CjaE4vZPG/CK9R1bmC6hdiuQ BnahBRiqOhYTX9L1SAzugAohQT8RSLXUmxvsHecVwqTh7VJDmiP21JYDEQfW445SvE YQJgEH/+ES4OzIhd5zWB2EZgod/cj8O9TJVdH2GM= 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-3902] [range-ops] Avoid unnecessary intersection in update_known_bitmask. X-Act-Checkin: gcc X-Git-Author: Aldy Hernandez X-Git-Refname: refs/heads/master X-Git-Oldrev: c16c40808331a02947b1ad962e85e1b40e30a707 X-Git-Newrev: c0662c74969820fb576c8a2f35e946581c2c6f9d Message-Id: <20221111135354.E2C9B385703F@sourceware.org> Date: Fri, 11 Nov 2022 13:53:54 +0000 (GMT) List-Id: https://gcc.gnu.org/g:c0662c74969820fb576c8a2f35e946581c2c6f9d commit r13-3902-gc0662c74969820fb576c8a2f35e946581c2c6f9d Author: Aldy Hernandez Date: Fri Nov 11 10:11:03 2022 +0100 [range-ops] Avoid unnecessary intersection in update_known_bitmask. All the work for keeping the maybe nonzero masks up to date is being done by the bit-CCP code now. Any bitmask inherent in the range that range-ops may have calculated has no extra information, so the intersection is unnecessary. gcc/ChangeLog: * range-op.cc (update_known_bitmask): Avoid unnecessary intersection. Diff: --- gcc/range-op.cc | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/gcc/range-op.cc b/gcc/range-op.cc index 9eec46441a3..0b01cf48fdf 100644 --- a/gcc/range-op.cc +++ b/gcc/range-op.cc @@ -89,10 +89,7 @@ update_known_bitmask (irange &r, tree_code code, bit_value_binop (code, sign, prec, &value, &mask, lh_sign, lh_prec, lh_value, lh_mask, rh_sign, rh_prec, rh_value, rh_mask); - - int_range<2> tmp (type); - tmp.set_nonzero_bits (value | mask); - r.intersect (tmp); + r.set_nonzero_bits (value | mask); } // Return the upper limit for a type.