From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2153) id 479683858C54; Wed, 7 Jun 2023 17:21:17 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 479683858C54 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1686158477; bh=jjC2W8G5cNP45e8xNcCdASK9pxuNDlw07EFwxw1/zOw=; h=From:To:Subject:Date:From; b=l/6MAMBHcUR6kMGKwWDvnUseSmGF4R55/NypZ9+8+0SlvYsTGBQ1LmGtkxSVxzodH q1tPo8yd4zLJhvX5EsF1BfI/Ku8sZEIrkX77lOXUWk+ZB7JiHJnkjnSS+4g+MfiqDx f1iCaI7xzjHWMugLo/DS4K92wy1Vnf++4n3tM4fY= MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Jakub Jelinek To: gcc-cvs@gcc.gnu.org Subject: [gcc r14-1618] match.pd: Improve zero_one_valued_p X-Act-Checkin: gcc X-Git-Author: Jakub Jelinek X-Git-Refname: refs/heads/master X-Git-Oldrev: 9963029a24f2d2510b82e7106fae3f364da33c5d X-Git-Newrev: e2ebd22acac844ba74e69a34dbf064d41d102cc1 Message-Id: <20230607172117.479683858C54@sourceware.org> Date: Wed, 7 Jun 2023 17:21:17 +0000 (GMT) List-Id: https://gcc.gnu.org/g:e2ebd22acac844ba74e69a34dbf064d41d102cc1 commit r14-1618-ge2ebd22acac844ba74e69a34dbf064d41d102cc1 Author: Jakub Jelinek Date: Wed Jun 7 19:18:26 2023 +0200 match.pd: Improve zero_one_valued_p Recently zero_one_valued_p was changed to handle integer_zerop case specially, because tree_nonzero_bits (@0) == 1 only returns true for non-constant values with range [0, 1] or constant 1, constant 0 has tree_nonzero_bits (integer_zero_node) == 0. The following patch reverts that change and instead checks that tree_nonzero_bits is <= 1U. 2023-06-07 Jakub Jelinek * match.pd (zero_one_valued_p): Don't handle integer_zerop specially, instead compare tree_nonzero_bits <= 1U rather than just == 1. Diff: --- gcc/match.pd | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/gcc/match.pd b/gcc/match.pd index dc36927cd0f..fd32389decf 100644 --- a/gcc/match.pd +++ b/gcc/match.pd @@ -1984,15 +1984,12 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) @0) /* zero_one_valued_p will match when a value is known to be either - 0 or 1 including the constant 0. */ + 0 or 1 including constants 0 or 1. */ (match zero_one_valued_p @0 - (if (INTEGRAL_TYPE_P (type) && tree_nonzero_bits (@0) == 1))) + (if (INTEGRAL_TYPE_P (type) && wi::leu_p (tree_nonzero_bits (@0), 1)))) (match zero_one_valued_p truth_valued_p@0) -(match zero_one_valued_p - integer_zerop@0 - (if (INTEGRAL_TYPE_P (type)))) /* Transform { 0 or 1 } * { 0 or 1 } into { 0 or 1 } & { 0 or 1 }. */ (simplify