From patchwork Thu Nov 25 07:59:32 2021 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: liuhongt X-Patchwork-Id: 48121 Return-Path: X-Original-To: patchwork@sourceware.org Delivered-To: patchwork@sourceware.org Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 54833385780F for ; Thu, 25 Nov 2021 08:00:06 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 54833385780F DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1637827206; bh=DsjBV8JMMnioukR+w99WKa4nmL8nvqBppRqzRqVHq0o=; h=To:Subject:Date:List-Id:List-Unsubscribe:List-Archive:List-Post: List-Help:List-Subscribe:From:Reply-To:From; b=tDDDjvC1l2VZehsjmQPrCnr57QtZv6E1vU1lBNQXPHWIKOXQvhTXiD+Bnru469byQ 0BGZ/iKz+/uSD+YHhpZedIZVF7h8IaB55j5j2+0yPbKkQ7CyzqiOd9f99DkgiVHN7V CjBaUoCKTYBGr9ntHuaXwcSk8JGKQja8qvLnDL48= X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from mga11.intel.com (mga11.intel.com [192.55.52.93]) by sourceware.org (Postfix) with ESMTPS id 099BC3858403 for ; Thu, 25 Nov 2021 07:59:36 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 099BC3858403 X-IronPort-AV: E=McAfee;i="6200,9189,10178"; a="232961129" X-IronPort-AV: E=Sophos;i="5.87,262,1631602800"; d="scan'208";a="232961129" Received: from fmsmga001.fm.intel.com ([10.253.24.23]) by fmsmga102.fm.intel.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 24 Nov 2021 23:59:35 -0800 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.87,262,1631602800"; d="scan'208";a="650670534" Received: from scymds01.sc.intel.com ([10.148.94.138]) by fmsmga001.fm.intel.com with ESMTP; 24 Nov 2021 23:59:34 -0800 Received: from shliclel320.sh.intel.com (shliclel320.sh.intel.com [10.239.236.50]) by scymds01.sc.intel.com with ESMTP id 1AP7xWe2021818; Wed, 24 Nov 2021 23:59:33 -0800 To: gcc-patches@gcc.gnu.org Subject: [PATCH] Fix typo in r12-5486. Date: Thu, 25 Nov 2021 15:59:32 +0800 Message-Id: <20211125075932.72179-1-hongtao.liu@intel.com> X-Mailer: git-send-email 2.18.1 X-Spam-Status: No, score=-11.5 required=5.0 tests=BAYES_00, GIT_PATCH_0, KAM_DMARC_NONE, KAM_DMARC_STATUS, KAM_LAZY_DOMAIN_SECURITY, SPF_HELO_NONE, SPF_NONE, TXREP autolearn=ham autolearn_force=no version=3.4.4 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on server2.sourceware.org X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-Patchwork-Original-From: liuhongt via Gcc-patches From: liuhongt Reply-To: liuhongt Errors-To: gcc-patches-bounces+patchwork=sourceware.org@gcc.gnu.org Sender: "Gcc-patches" TYPE_PRECISION (type) < TYPE_PRECISION (TREE_TYPE (@2)) supposed to check integer type but not pointer type, so use second parameter instead. i.e. first parameter is VPTR, second parameter is I4. 582DEF_SYNC_BUILTIN (BUILT_IN_ATOMIC_FETCH_OR_4, 583 "__atomic_fetch_or_4", 584 BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROWCALL_LEAF_LIST) Bootstrapped and regtested on x86_64-linux-gnu{-m32,}. Failed testcases in PR are verified. Ok for trunk? gcc/ChangeLog: PR middle-end/103419 * match.pd: Fix typo, use the type of second parameter, not first one. --- gcc/match.pd | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/gcc/match.pd b/gcc/match.pd index 5adcd6bd02c..09c7ce749dc 100644 --- a/gcc/match.pd +++ b/gcc/match.pd @@ -4053,7 +4053,7 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) } (if (ibit == ibit2 && ibit >= 0 - && TYPE_PRECISION (type) <= TYPE_PRECISION (TREE_TYPE (@2)))))) + && TYPE_PRECISION (type) <= TYPE_PRECISION (TREE_TYPE (@0)))))) (match (nop_atomic_bit_test_and_p @0 @1 @3) (bit_and (convert?@3 (SYNC_FETCH_OR_XOR_N @2 INTEGER_CST@0)) @@ -4064,21 +4064,21 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) } (if (ibit == ibit2 && ibit >= 0 - && TYPE_PRECISION (type) <= TYPE_PRECISION (TREE_TYPE (@2)))))) + && TYPE_PRECISION (type) <= TYPE_PRECISION (TREE_TYPE (@0)))))) (match (nop_atomic_bit_test_and_p @0 @0 @4) (bit_and:c (convert1?@4 (ATOMIC_FETCH_OR_XOR_N @2 (nop_convert? (lshift@0 integer_onep@5 @6)) @3)) (convert2? @0)) - (if (TYPE_PRECISION (type) <= TYPE_PRECISION (TREE_TYPE (@2))))) + (if (TYPE_PRECISION (type) <= TYPE_PRECISION (TREE_TYPE (@0))))) (match (nop_atomic_bit_test_and_p @0 @0 @4) (bit_and:c (convert1?@4 (SYNC_FETCH_OR_XOR_N @2 (nop_convert? (lshift@0 integer_onep@3 @5)))) (convert2? @0)) - (if (TYPE_PRECISION (type) <= TYPE_PRECISION (TREE_TYPE (@2))))) + (if (TYPE_PRECISION (type) <= TYPE_PRECISION (TREE_TYPE (@0))))) (match (nop_atomic_bit_test_and_p @0 @1 @3) (bit_and@4 (convert?@3 (ATOMIC_FETCH_AND_N @2 INTEGER_CST@0 @5)) @@ -4090,7 +4090,7 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) } (if (ibit == ibit2 && ibit >= 0 - && TYPE_PRECISION (type) <= TYPE_PRECISION (TREE_TYPE (@2)))))) + && TYPE_PRECISION (type) <= TYPE_PRECISION (TREE_TYPE (@0)))))) (match (nop_atomic_bit_test_and_p @0 @1 @3) (bit_and@4 @@ -4103,21 +4103,21 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) } (if (ibit == ibit2 && ibit >= 0 - && TYPE_PRECISION (type) <= TYPE_PRECISION (TREE_TYPE (@2)))))) + && TYPE_PRECISION (type) <= TYPE_PRECISION (TREE_TYPE (@0)))))) (match (nop_atomic_bit_test_and_p @4 @0 @3) (bit_and:c (convert1?@3 (ATOMIC_FETCH_AND_N @2 (nop_convert?@4 (bit_not (lshift@0 integer_onep@6 @7))) @5)) (convert2? @0)) - (if (TYPE_PRECISION (type) <= TYPE_PRECISION (TREE_TYPE (@2))))) + (if (TYPE_PRECISION (type) <= TYPE_PRECISION (TREE_TYPE (@4))))) (match (nop_atomic_bit_test_and_p @4 @0 @3) (bit_and:c (convert1?@3 (SYNC_FETCH_AND_AND_N @2 (nop_convert?@4 (bit_not (lshift@0 integer_onep@6 @7))))) (convert2? @0)) - (if (TYPE_PRECISION (type) <= TYPE_PRECISION (TREE_TYPE (@2))))) + (if (TYPE_PRECISION (type) <= TYPE_PRECISION (TREE_TYPE (@4))))) #endif