public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
From: "Sam James" <sam@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] proj/gcc-patches:master commit in: 15.0.0/gentoo/
Date: Mon, 07 Apr 2025 18:02:14 +0000 (UTC)	[thread overview]
Message-ID: <1744048921.3c997ffed4de1d98d745b63d1ef95342800c52f1.sam@gentoo> (raw)

commit:     3c997ffed4de1d98d745b63d1ef95342800c52f1
Author:     Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Mon Apr  7 18:02:01 2025 +0000
Commit:     Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Mon Apr  7 18:02:01 2025 +0000
URL:        https://gitweb.gentoo.org/proj/gcc-patches.git/commit/?id=3c997ffe

15.0.0: drop 88_all_PR119614.patch patch, merged upstream

Signed-off-by: Sam James <sam <AT> gentoo.org>

 15.0.0/gentoo/88_all_PR119614.patch | 195 ------------------------------------
 15.0.0/gentoo/README.history        |   2 +-
 2 files changed, 1 insertion(+), 196 deletions(-)

diff --git a/15.0.0/gentoo/88_all_PR119614.patch b/15.0.0/gentoo/88_all_PR119614.patch
deleted file mode 100644
index 753002f..0000000
--- a/15.0.0/gentoo/88_all_PR119614.patch
+++ /dev/null
@@ -1,195 +0,0 @@
-https://inbox.sourceware.org/gcc-patches/Z%2FNiBLuNG0iaDHwi@tucnak/
-
-From de8e860faaee40f7f34a66440e8f98ed97219a89 Mon Sep 17 00:00:00 2001
-Message-ID: <de8e860faaee40f7f34a66440e8f98ed97219a89.1744008820.git.sam@gentoo.org>
-From: Jakub Jelinek <jakub@redhat.com>
-Date: Mon, 7 Apr 2025 07:26:28 +0200
-Subject: [PATCH] tailc: Extend the IPA-VRP workaround [PR119614]
-
-Hi!
-
-The IPA-VRP workaround in the tailc/musttail passes was just comparing
-the singleton constant from a tail call candidate return with the ret_val.
-This unfortunately doesn't work in the following testcase, where we have
-  <bb 5> [local count: 152205050]:
-  baz (); [must tail call]
-  goto <bb 4>; [100.00%]
-
-  <bb 6> [local count: 762356696]:
-  _8 = foo ();
-
-  <bb 7> [local count: 1073741824]:
-  # _3 = PHI <0B(4), _8(6)>
-  return _3;
-and in the unreduced testcase even more PHIs before we reach the return
-stmt.
-
-Normally when the call has lhs, whenever we follow a (non-EH) successor
-edge, it calls propagate_through_phis and that walks the PHIs in the
-destination bb of the edge and when it sees a PHI whose argument matches
-that of the currently tracked value (ass_var), it updates ass_var to
-PHI result of that PHI.  I think it is theoretically dangerous that it
-picks the first one, perhaps there could be multiple PHIs, so perhaps safer
-would be walk backwards from the return value up to the call.
-
-Anyway, this PR is about the IPA-VRP workaround, there ass_var is NULL
-because the potential tail call has no lhs, but ret_var is not TREE_CONSTANT
-but SSA_NAME with PHI as SSA_NAME_DEF_STMT.  The following patch handles
-it by pushing the edges we've walked through when ass_var is NULL into a
-vector and if ret_var is SSA_NAME set to PHI result, it attempts to walk
-back from the ret_var through arguments of PHIs corresponding to the
-edges we've walked back until we reach a constant and compare that constant
-against the singleton value as well.
-
-Bootstrapped/regtested on x86_64-linux and i686-linux, ok for trunk?
-
-2025-04-07  Jakub Jelinek  <jakub@redhat.com>
-
-	PR tree-optimization/119614
-	* tree-tailcall.cc (find_tail_calls): Remember edges which have been
-	walked through if !ass_var.  Perform IPA-VRP workaround even when
-	ret_var is not TREE_CONSTANT, in that case check in a loop if it is
-	a PHI result and in that case look at the PHI argument from
-	corresponding edge in the edge vector.
-
-	* g++.dg/opt/pr119613.C: Change { c || c++11 } in obviously C++ only
-	test to just c++11.
-	* g++.dg/opt/pr119614.C: New test.
----
- gcc/testsuite/g++.dg/opt/pr119613.C |  2 +-
- gcc/testsuite/g++.dg/opt/pr119614.C | 30 ++++++++++++++++++
- gcc/tree-tailcall.cc                | 47 +++++++++++++++++++++++++----
- 3 files changed, 72 insertions(+), 7 deletions(-)
- create mode 100644 gcc/testsuite/g++.dg/opt/pr119614.C
-
-diff --git a/gcc/testsuite/g++.dg/opt/pr119613.C b/gcc/testsuite/g++.dg/opt/pr119613.C
-index 432a30cdcdb0..2ced2e8fa2a0 100644
---- a/gcc/testsuite/g++.dg/opt/pr119613.C
-+++ b/gcc/testsuite/g++.dg/opt/pr119613.C
-@@ -1,5 +1,5 @@
- // PR middle-end/119613
--// { dg-do compile { target { musttail && { c || c++11 } } } }
-+// { dg-do compile { target { musttail && c++11 } } }
- // { dg-options "-O0" }
- 
- struct S { S () {} };
-diff --git a/gcc/testsuite/g++.dg/opt/pr119614.C b/gcc/testsuite/g++.dg/opt/pr119614.C
-new file mode 100644
-index 000000000000..cb73fc3ec09d
---- /dev/null
-+++ b/gcc/testsuite/g++.dg/opt/pr119614.C
-@@ -0,0 +1,30 @@
-+// PR tree-optimization/119614
-+// { dg-do compile { target musttail } }
-+// { dg-options "-O2" }
-+
-+struct S {} b;
-+char *foo ();
-+int e, g;
-+void bar ();
-+void corge (S);
-+
-+[[gnu::noinline]] char *
-+baz ()
-+{
-+  bar ();
-+  return 0;
-+}
-+
-+const char *
-+qux ()
-+{
-+  if (e)
-+    {
-+      S a = b;
-+      corge (a);
-+      if (g)
-+        return 0;
-+      [[gnu::musttail]] return baz ();
-+    }
-+  return foo ();
-+}
-diff --git a/gcc/tree-tailcall.cc b/gcc/tree-tailcall.cc
-index c8740f9353e2..f51bb970e329 100644
---- a/gcc/tree-tailcall.cc
-+++ b/gcc/tree-tailcall.cc
-@@ -920,6 +920,7 @@ find_tail_calls (basic_block bb, struct tailcall **ret, bool only_musttail,
-   auto_bitmap to_move_defs;
-   auto_vec<gimple *> to_move_stmts;
-   bool is_noreturn = gimple_call_noreturn_p (call);
-+  auto_vec<edge> edges;
- 
-   abb = bb;
-   agsi = gsi;
-@@ -933,6 +934,8 @@ find_tail_calls (basic_block bb, struct tailcall **ret, bool only_musttail,
- 	{
- 	  edge e = single_non_eh_succ_edge (abb);
- 	  ass_var = propagate_through_phis (ass_var, e);
-+	  if (!ass_var)
-+	    edges.safe_push (e);
- 	  abb = e->dest;
- 	  agsi = gsi_start_bb (abb);
- 	}
-@@ -1040,9 +1043,7 @@ find_tail_calls (basic_block bb, struct tailcall **ret, bool only_musttail,
-       /* If IPA-VRP proves called function always returns a singleton range,
- 	 the return value is replaced by the only value in that range.
- 	 For tail call purposes, pretend such replacement didn't happen.  */
--      if (ass_var == NULL_TREE
--	  && !tail_recursion
--	  && TREE_CONSTANT (ret_var))
-+      if (ass_var == NULL_TREE && !tail_recursion)
- 	if (tree type = gimple_range_type (call))
- 	  if (tree callee = gimple_call_fndecl (call))
- 	    if ((INTEGRAL_TYPE_P (type)
-@@ -1052,9 +1053,43 @@ find_tail_calls (basic_block bb, struct tailcall **ret, bool only_musttail,
- 					      type)
- 		&& useless_type_conversion_p (TREE_TYPE (ret_var), type)
- 		&& ipa_return_value_range (val, callee)
--		&& val.singleton_p (&valr)
--		&& operand_equal_p (ret_var, valr, 0))
--	      ok = true;
-+		&& val.singleton_p (&valr))
-+	      {
-+		tree rv = ret_var;
-+		unsigned int i = edges.length ();
-+		/* If ret_var is equal to valr, we can tail optimize.  */
-+		if (operand_equal_p (ret_var, valr, 0))
-+		  ok = true;
-+		else
-+		  /* Otherwise, if ret_var is a PHI result, try to find out
-+		     if valr isn't propagated through PHIs on the path from
-+		     call's bb to SSA_NAME_DEF_STMT (ret_var)'s bb.  */
-+		  while (TREE_CODE (rv) == SSA_NAME
-+			 && gimple_code (SSA_NAME_DEF_STMT (rv)) == GIMPLE_PHI)
-+		    {
-+		      tree nrv = NULL_TREE;
-+		      gimple *g = SSA_NAME_DEF_STMT (rv);
-+		      for (; i; --i)
-+			{
-+			  if (edges[i - 1]->dest == gimple_bb (g))
-+			    {
-+			      nrv
-+				= gimple_phi_arg_def_from_edge (g,
-+								edges[i - 1]);
-+			      --i;
-+			      break;
-+			    }
-+			}
-+		      if (nrv == NULL_TREE)
-+			break;
-+		      if (operand_equal_p (nrv, valr, 0))
-+			{
-+			  ok = true;
-+			  break;
-+			}
-+		      rv = nrv;
-+		    }
-+	      }
-       if (!ok)
- 	{
- 	  maybe_error_musttail (call,
-
-base-commit: 8fbe7d24373556d40886c7c00e9e2be5d9718c55
--- 
-2.49.0
-

diff --git a/15.0.0/gentoo/README.history b/15.0.0/gentoo/README.history
index 51cd6a7..c3166a6 100644
--- a/15.0.0/gentoo/README.history
+++ b/15.0.0/gentoo/README.history
@@ -5,7 +5,7 @@
 	- 85_all_combine-Optimise-distribute_links-search-PR116398.patch
 	- 86_all_combine-Limit-insn-searchs-for-2-2-combinations-PR11.patch
 	- 87_all_simplify-rtx-Fix-shortcut-for-vector-eq-ne.patch
-	U 88_all_PR119614.patch
+	- 88_all_PR119614.patch
 
 53	7 April 2025
 


             reply	other threads:[~2025-04-07 18:02 UTC|newest]

Thread overview: 210+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2025-04-07 18:02 Sam James [this message]
  -- strict thread matches above, loose matches on Subject: below --
2025-04-10 21:59 [gentoo-commits] proj/gcc-patches:master commit in: 15.0.0/gentoo/ Sam James
2025-04-10  9:08 Sam James
2025-04-09 15:27 Sam James
2025-04-09 13:27 Sam James
2025-04-09 12:42 Sam James
2025-04-07  7:07 Sam James
2025-04-07  6:54 Sam James
2025-04-06 23:08 Sam James
2025-04-05 15:33 Sam James
2025-04-05  8:02 Sam James
2025-04-05  1:43 Sam James
2025-04-04 19:06 Sam James
2025-04-02 18:48 Sam James
2025-04-02 18:03 Sam James
2025-04-02 16:14 Sam James
2025-04-02 13:56 Sam James
2025-04-02  4:59 Sam James
2025-04-01 14:46 Sam James
2025-04-01 14:46 Sam James
2025-03-31 22:16 Sam James
2025-03-31 22:03 Sam James
2025-03-31  4:05 Sam James
2025-03-29 20:31 Sam James
2025-03-29 14:33 Sam James
2025-03-29 13:51 Sam James
2025-03-26  6:25 Sam James
2025-03-25 10:27 Sam James
2025-03-25  8:38 Sam James
2025-03-25  2:32 Sam James
2025-03-25  1:27 Sam James
2025-03-24  0:35 Sam James
2025-03-21 19:31 Sam James
2025-03-21 17:21 Sam James
2025-03-21 16:23 Sam James
2025-03-21 11:20 Sam James
2025-03-21  8:51 Sam James
2025-03-21  6:07 Sam James
2025-03-20 22:08 Sam James
2025-03-20  1:59 Sam James
2025-03-20  1:59 Sam James
2025-03-16 22:37 Sam James
2025-03-14 14:46 Sam James
2025-03-14 13:37 Sam James
2025-03-13 16:48 Sam James
2025-03-13 10:08 Sam James
2025-03-11 10:32 Sam James
2025-03-07 16:54 Sam James
2025-03-03 16:38 Sam James
2025-03-01 10:33 Sam James
2025-03-01  6:50 Sam James
2025-02-17  1:30 Sam James
2025-02-13  9:23 Sam James
2025-02-12 15:12 Sam James
2025-02-10 21:22 Sam James
2025-02-09 23:58 Sam James
2025-02-07 23:37 Sam James
2025-02-07 21:19 Sam James
2025-02-03 22:04 Sam James
2025-02-02 22:41 Sam James
2025-01-29 20:21 Sam James
2025-01-26 22:52 Sam James
2025-01-22 16:27 Sam James
2025-01-19 22:43 Sam James
2025-01-16 23:11 Sam James
2025-01-16 23:11 Sam James
2025-01-15 11:41 Sam James
2025-01-14 16:22 Sam James
2025-01-14 15:06 Sam James
2025-01-14 15:06 Sam James
2025-01-14 12:29 Sam James
2025-01-14  8:43 Sam James
2025-01-14  8:40 Sam James
2025-01-13 13:58 Sam James
2025-01-13  6:00 Sam James
2025-01-13  3:40 Sam James
2025-01-13  3:23 Sam James
2025-01-13  3:20 Sam James
2025-01-13  0:20 Sam James
2025-01-12 18:53 Sam James
2025-01-11 12:53 Sam James
2025-01-08 21:51 Sam James
2025-01-06 10:50 Sam James
2025-01-06 10:03 Sam James
2025-01-06  4:49 Sam James
2025-01-06  4:44 Sam James
2025-01-06  4:13 Sam James
2025-01-06  4:13 Sam James
2025-01-06  4:13 Sam James
2025-01-06  4:03 Sam James
2025-01-05 23:19 Sam James
2025-01-03  3:07 Sam James
2024-12-30  1:05 Sam James
2024-12-29 10:00 Sam James
2024-12-27 15:14 Sam James
2024-12-24 20:48 Sam James
2024-12-22 22:46 Sam James
2024-12-20 11:25 Sam James
2024-12-20  5:57 Sam James
2024-12-20  1:55 Sam James
2024-12-19 18:34 Sam James
2024-12-13 13:23 Sam James
2024-12-13 11:52 Sam James
2024-12-13  5:08 Sam James
2024-12-12 12:28 Sam James
2024-12-11  4:41 Sam James
2024-12-11  0:58 Sam James
2024-12-10 19:19 Sam James
2024-12-10 14:55 Sam James
2024-12-10  5:19 Sam James
2024-12-10  5:13 Sam James
2024-12-10  5:11 Sam James
2024-12-10  5:07 Sam James
2024-12-09  3:05 Sam James
2024-12-08 22:41 Sam James
2024-12-06 17:33 Sam James
2024-12-04 20:40 Sam James
2024-12-01 22:51 Sam James
2024-12-01 22:51 Sam James
2024-11-30 11:30 Sam James
2024-11-27 17:42 Sam James
2024-11-25 15:10 Sam James
2024-11-25  3:01 Sam James
2024-11-25  3:00 Sam James
2024-11-25  3:00 Sam James
2024-11-24 22:42 Sam James
2024-11-18 17:25 Sam James
2024-11-18 10:42 Sam James
2024-11-18 10:42 Sam James
2024-11-18  9:25 Sam James
2024-11-18  9:25 Sam James
2024-11-14 18:38 Sam James
2024-11-13  4:26 Sam James
2024-11-13  0:16 Sam James
2024-11-12  2:33 Sam James
2024-11-11 19:46 Sam James
2024-11-11 19:46 Sam James
2024-11-10 22:41 Sam James
2024-11-09 16:24 Sam James
2024-11-09  7:55 Sam James
2024-11-08  8:22 Sam James
2024-11-07 16:13 Sam James
2024-11-03 23:16 Sam James
2024-11-01  8:24 Sam James
2024-11-01  8:24 Sam James
2024-11-01  8:18 Sam James
2024-11-01  8:17 Sam James
2024-10-30 16:03 Sam James
2024-10-29 19:17 Sam James
2024-10-28 21:32 Sam James
2024-10-28  8:09 Sam James
2024-10-23 15:40 Sam James
2024-10-22 19:09 Sam James
2024-10-22 18:34 Sam James
2024-10-21 12:33 Sam James
2024-10-21 12:27 Sam James
2024-10-21 12:26 Sam James
2024-10-21 11:45 Sam James
2024-10-20 22:42 Sam James
2024-10-18 14:05 Sam James
2024-10-18 10:35 Sam James
2024-10-17 23:33 Sam James
2024-10-17 23:03 Sam James
2024-10-17  5:01 Sam James
2024-10-17  4:15 Sam James
2024-10-13 22:48 Sam James
2024-10-07  2:45 Sam James
2024-10-04 10:37 Sam James
2024-10-04  9:28 Sam James
2024-10-02 19:45 Sam James
2024-09-30 14:05 Sam James
2024-09-29 22:56 Sam James
2024-09-24  1:41 Sam James
2024-09-23 15:23 Sam James
2024-09-02  2:28 Sam James
2024-08-26 13:44 Sam James
2024-08-26  6:24 Sam James
2024-08-23 13:51 Sam James
2024-08-20 20:31 Sam James
2024-08-19 18:43 Sam James
2024-08-14  9:48 Sam James
2024-08-14  2:57 Sam James
2024-08-11 22:40 Sam James
2024-08-09 19:54 Sam James
2024-08-09 19:54 Sam James
2024-08-09 19:47 Sam James
2024-08-09 19:25 Sam James
2024-08-08 11:10 Sam James
2024-08-08 11:06 Sam James
2024-08-08 11:03 Sam James
2024-08-05  9:09 Sam James
2024-08-05  1:54 Sam James
2024-08-05  1:51 Sam James
2024-08-02 20:39 Sam James
2024-08-01 14:40 Sam James
2024-07-28 23:34 Sam James
2024-07-22  1:11 Sam James
2024-07-19 11:14 Sam James
2024-07-18  0:45 Sam James
2024-07-14 23:36 Sam James
2024-06-28 12:49 Sam James
2024-06-27  0:02 Sam James
2024-06-26 23:57 Sam James
2024-06-16 22:45 Sam James
2024-06-10 20:18 Sam James
2024-06-10 17:28 Sam James
2024-06-10 17:28 Sam James
2024-06-10  2:08 Sam James
2024-06-08 17:03 Sam James
2024-06-08 17:03 Sam James

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=1744048921.3c997ffed4de1d98d745b63d1ef95342800c52f1.sam@gentoo \
    --to=sam@gentoo.org \
    --cc=gentoo-commits@lists.gentoo.org \
    --cc=gentoo-dev@lists.gentoo.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox