From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id 5C76915808B for ; Mon, 30 Sep 2024 14:05:48 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id B2DFE2BC019; Mon, 30 Sep 2024 14:05:47 +0000 (UTC) Received: from smtp.gentoo.org (woodpecker.gentoo.org [140.211.166.183]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id 7151D2BC019 for ; Mon, 30 Sep 2024 14:05:47 +0000 (UTC) Received: from oystercatcher.gentoo.org (oystercatcher.gentoo.org [148.251.78.52]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id 9268834309D for ; Mon, 30 Sep 2024 14:05:46 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 2EF44C36 for ; Mon, 30 Sep 2024 14:05:45 +0000 (UTC) From: "Sam James" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Sam James" Message-ID: <1727705113.4dffefc137f5ba6524cdb6eb598313646c5df6c8.sam@gentoo> Subject: [gentoo-commits] proj/gcc-patches:master commit in: 15.0.0/gentoo/ X-VCS-Repository: proj/gcc-patches X-VCS-Files: 15.0.0/gentoo/70_all_middle-end-check-explicitly-for-external-or-constant.patch 15.0.0/gentoo/README.history X-VCS-Directories: 15.0.0/gentoo/ X-VCS-Committer: sam X-VCS-Committer-Name: Sam James X-VCS-Revision: 4dffefc137f5ba6524cdb6eb598313646c5df6c8 X-VCS-Branch: master Date: Mon, 30 Sep 2024 14:05:45 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-Archives-Salt: fcbfa436-a1bf-4b43-8658-7f1b101726c8 X-Archives-Hash: a782b468d25ff456051e3be38f4c2582 commit: 4dffefc137f5ba6524cdb6eb598313646c5df6c8 Author: Sam James gentoo org> AuthorDate: Mon Sep 30 14:05:13 2024 +0000 Commit: Sam James gentoo org> CommitDate: Mon Sep 30 14:05:13 2024 +0000 URL: https://gitweb.gentoo.org/proj/gcc-patches.git/commit/?id=4dffefc1 15.0.0: drop 70_all_middle-end-check-explicitly-for-external-or-constant.patch Merged upstream. Signed-off-by: Sam James gentoo.org> ...check-explicitly-for-external-or-constant.patch | 88 ---------------------- 15.0.0/gentoo/README.history | 5 ++ 2 files changed, 5 insertions(+), 88 deletions(-) diff --git a/15.0.0/gentoo/70_all_middle-end-check-explicitly-for-external-or-constant.patch b/15.0.0/gentoo/70_all_middle-end-check-explicitly-for-external-or-constant.patch deleted file mode 100644 index 7dcf89d..0000000 --- a/15.0.0/gentoo/70_all_middle-end-check-explicitly-for-external-or-constant.patch +++ /dev/null @@ -1,88 +0,0 @@ -https://inbox.sourceware.org/gcc-patches/patch-18806-tamar@arm.com/T/#u -https://gcc.gnu.org/PR116817 - -From 9a5d1eb943dcaf26551b534eb62cbf1dd8443335 Mon Sep 17 00:00:00 2001 -Message-ID: <9a5d1eb943dcaf26551b534eb62cbf1dd8443335.1727104663.git.sam@gentoo.org> -From: Tamar Christina -Date: Mon, 23 Sep 2024 15:29:52 +0100 -Subject: [PATCH] middle-end: check explicitly for external or constants when - checking for loop invariant [PR116817] - -Hi All, - -The previous check if a value was external was checking -!vect_get_internal_def (vinfo, var) but this of course isn't completely right -as they could reductions etc. - -This changes the check to just explicitly look at externals and constants. -Note that reductions remain unhandled here, but we don't support codegen of -boolean reductions today anyway. - -So at the time we do then this would have the be handled as well in lowering. - -Bootstrapped Regtested on aarch64-none-linux-gnu and no issues. - -Ok for master? - -Thanks, -Tamar - -gcc/ChangeLog: - - PR tree-optimization/116817 - * tree-vect-patterns.cc (vect_recog_bool_pattern): Check for const or - externals. - -gcc/testsuite/ChangeLog: - -PR tree-optimization/116817 - * g++.dg/vect/pr116817.cc: New test. ---- - gcc/testsuite/g++.dg/vect/pr116817.cc | 16 ++++++++++++++++ - gcc/tree-vect-patterns.cc | 5 ++++- - 2 files changed, 20 insertions(+), 1 deletion(-) - create mode 100644 gcc/testsuite/g++.dg/vect/pr116817.cc - -diff --git a/gcc/testsuite/g++.dg/vect/pr116817.cc b/gcc/testsuite/g++.dg/vect/pr116817.cc -new file mode 100644 -index 00000000000..7e28982fb13 ---- /dev/null -+++ b/gcc/testsuite/g++.dg/vect/pr116817.cc -@@ -0,0 +1,16 @@ -+/* { dg-do compile } */ -+/* { dg-additional-options "-O3" } */ -+ -+int main_ulData0; -+unsigned *main_pSrcBuffer; -+int main(void) { -+ int iSrc = 0; -+ bool bData0; -+ for (; iSrc < 4; iSrc++) { -+ if (bData0) -+ main_pSrcBuffer[iSrc] = main_ulData0; -+ else -+ main_pSrcBuffer[iSrc] = 0; -+ bData0 = !bData0; -+ } -+} -diff --git a/gcc/tree-vect-patterns.cc b/gcc/tree-vect-patterns.cc -index e7e877dd2adb55262822f1660f8d92b42d44e6d0..f0298b2ab97a1e7dd0d943340e1389c3c0fa796e 100644 ---- a/gcc/tree-vect-patterns.cc -+++ b/gcc/tree-vect-patterns.cc -@@ -6062,12 +6062,15 @@ vect_recog_bool_pattern (vec_info *vinfo, - if (get_vectype_for_scalar_type (vinfo, type) == NULL_TREE) - return NULL; - -+ stmt_vec_info var_def_info = vinfo->lookup_def (var); - if (check_bool_pattern (var, vinfo, bool_stmts)) - var = adjust_bool_stmts (vinfo, bool_stmts, type, stmt_vinfo); - else if (integer_type_for_mask (var, vinfo)) - return NULL; - else if (TREE_CODE (TREE_TYPE (var)) == BOOLEAN_TYPE -- && !vect_get_internal_def (vinfo, var)) -+ && (!var_def_info -+ || STMT_VINFO_DEF_TYPE (var_def_info) == vect_external_def -+ || STMT_VINFO_DEF_TYPE (var_def_info) == vect_constant_def)) - { - /* If the condition is already a boolean then manually convert it to a - mask of the given integer type but don't set a vectype. */ diff --git a/15.0.0/gentoo/README.history b/15.0.0/gentoo/README.history index 6c31450..819d192 100644 --- a/15.0.0/gentoo/README.history +++ b/15.0.0/gentoo/README.history @@ -1,5 +1,10 @@ +14 ???? + + - 70_all_middle-end-check-explicitly-for-external-or-constant.patch + 13 29 September 2024 + + 70_all_middle-end-check-explicitly-for-external-or-constant.patch + 71_all_PR116878-libcall.patch 12 1 September 2024