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: Wed, 02 Apr 2025 04:59:49 +0000 (UTC)	[thread overview]
Message-ID: <1743569985.6f8b1c816299484f66a6184635b6202eb5ec72b0.sam@gentoo> (raw)

commit:     6f8b1c816299484f66a6184635b6202eb5ec72b0
Author:     Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Wed Apr  2 04:59:09 2025 +0000
Commit:     Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Wed Apr  2 04:59:45 2025 +0000
URL:        https://gitweb.gentoo.org/proj/gcc-patches.git/commit/?id=6f8b1c81

15.0.0: add another tailcall patch (for eh this time)

This should fix protobuf.

Bug: https://gcc.gnu.org/PR119491
Signed-off-by: Sam James <sam <AT> gentoo.org>

 15.0.0/gentoo/83_all_PR119491-tailcall-eh.patch | 323 ++++++++++++++++++++++++
 15.0.0/gentoo/README.history                    |   1 +
 2 files changed, 324 insertions(+)

diff --git a/15.0.0/gentoo/83_all_PR119491-tailcall-eh.patch b/15.0.0/gentoo/83_all_PR119491-tailcall-eh.patch
new file mode 100644
index 0000000..339ba64
--- /dev/null
+++ b/15.0.0/gentoo/83_all_PR119491-tailcall-eh.patch
@@ -0,0 +1,323 @@
+https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119491#c4
+
+2025-04-01  Jakub Jelinek  <jakub@redhat.com>
+
+	PR tree-optimization/119491
+	* tree-tailcall.cc (independent_of_stmt_p): Use
+	find_fallthru_edge (bb->succs)->dest instead of single_succ (bb).
+	(empty_eh_cleanup): New function.
+	(find_tail_calls): Diagnose throwing of exceptions which do not
+	propagate only if there are no EDGE_EH successor edges.  If there are
+	and the call is musttail, use empty_eh_cleanup to find if the cleanup
+	is not empty.  If not or the call is not musttail, use different
+	diagnostics.  Set is_noreturn even if there are successor edges.  Use
+	find_fallthru_edge (abb->succs) instead of single_succ_edge (abb).
+	(decrease_profile): Don't assert 0 or 1 successor edges.
+	(eliminate_tail_call): Use
+	find_fallthru_edge (gsi_bb (t->call_gsi)->succs) instead of
+	single_succ_edge (gsi_bb (t->call_gsi)).
+	(tree_optimize_tail_calls_1): Also look into basic blocks with
+	single succ edge which is EDGE_EH for noreturn musttail calls.
+
+	* g++.dg/opt/musttail3.C: New test.
+	* g++.dg/opt/musttail4.C: New test.
+	* g++.dg/opt/musttail5.C: New test.
+diff --git a/gcc/testsuite/g++.dg/opt/musttail3.C b/gcc/testsuite/g++.dg/opt/musttail3.C
+new file mode 100644
+index 000000000000..1c4e54952b1e
+--- /dev/null
++++ b/gcc/testsuite/g++.dg/opt/musttail3.C
+@@ -0,0 +1,41 @@
++// PR tree-optimization/119491
++// { dg-do compile { target { external_musttail && c++11 } } }
++// { dg-options "-O2" }
++
++struct A {
++  struct B {};
++  A () {}
++};
++void qux ();
++unsigned char v;
++A w;
++void foo (A);
++
++template <typename T>
++[[gnu::always_inline]] static inline void
++bar (int &)
++{
++}
++
++[[gnu::always_inline]] static inline void
++baz (int *)
++{
++  int r = 0;
++  bar<int> (r);
++}
++
++[[gnu::always_inline]] inline void
++corge (A)
++{
++  if (v)
++    qux ();
++  [[gnu::musttail]] return foo (w);
++}
++
++void
++freddy (A)
++{
++  int t;
++  baz (&t);
++  [[gnu::musttail]] return corge (A{});
++}
+diff --git a/gcc/testsuite/g++.dg/opt/musttail4.C b/gcc/testsuite/g++.dg/opt/musttail4.C
+new file mode 100644
+index 000000000000..ede2959f7d74
+--- /dev/null
++++ b/gcc/testsuite/g++.dg/opt/musttail4.C
+@@ -0,0 +1,35 @@
++// { dg-do compile { target { external_musttail && c++11 } } }
++// { dg-options "-O2 -fexceptions" }
++
++struct S { ~S (); };
++volatile int v;
++struct T { ~T () { v = v + 1; } };
++struct U { ~U () {} };
++int foo ();
++
++int
++bar () noexcept
++{
++  [[gnu::musttail]] return foo ();	// { dg-error "cannot tail-call: call may throw exception that does not propagate" }
++}
++
++int
++baz ()
++{
++  S s;
++  [[gnu::musttail]] return foo ();	// { dg-error "cannot tail-call: other reasons" }
++}
++
++int
++qux ()
++{
++  T t;
++  [[gnu::musttail]] return foo ();	// { dg-error "cannot tail-call: other reasons" }
++}
++
++int
++corge ()
++{
++  U u;
++  [[gnu::musttail]] return foo ();
++}
+diff --git a/gcc/testsuite/g++.dg/opt/musttail5.C b/gcc/testsuite/g++.dg/opt/musttail5.C
+new file mode 100644
+index 000000000000..604dd6907aa9
+--- /dev/null
++++ b/gcc/testsuite/g++.dg/opt/musttail5.C
+@@ -0,0 +1,41 @@
++// PR tree-optimization/119491
++// { dg-do compile { target { external_musttail && c++11 } } }
++// { dg-options "-O2" }
++
++struct A {
++  struct B {};
++  A () {}
++};
++void qux ();
++unsigned char v;
++A w;
++[[noreturn]] void foo (A);
++
++template <typename T>
++[[gnu::always_inline]] static inline void
++bar (int &)
++{
++}
++
++[[gnu::always_inline]] static inline void
++baz (int *)
++{
++  int r = 0;
++  bar<int> (r);
++}
++
++[[gnu::always_inline]] inline void
++corge (A)
++{
++  if (v)
++    qux ();
++  [[gnu::musttail]] return foo (w);
++}
++
++void
++freddy (A)
++{
++  int t;
++  baz (&t);
++  [[gnu::musttail]] return corge (A{});
++}
+diff --git a/gcc/tree-tailcall.cc b/gcc/tree-tailcall.cc
+index e71341bfb2bc..b910dce7acbd 100644
+--- a/gcc/tree-tailcall.cc
++++ b/gcc/tree-tailcall.cc
+@@ -245,7 +245,7 @@ independent_of_stmt_p (tree expr, gimple *at, gimple_stmt_iterator gsi,
+   /* Mark the blocks in the chain leading to the end.  */
+   at_bb = gimple_bb (at);
+   call_bb = gimple_bb (gsi_stmt (gsi));
+-  for (bb = call_bb; bb != at_bb; bb = single_succ (bb))
++  for (bb = call_bb; bb != at_bb; bb = find_fallthru_edge (bb->succs)->dest)
+     bb->aux = &bb->aux;
+   bb->aux = &bb->aux;
+ 
+@@ -289,7 +289,7 @@ independent_of_stmt_p (tree expr, gimple *at, gimple_stmt_iterator gsi,
+     }
+ 
+   /* Unmark the blocks.  */
+-  for (bb = call_bb; bb != at_bb; bb = single_succ (bb))
++  for (bb = call_bb; bb != at_bb; bb = find_fallthru_edge (bb->succs)->dest)
+     bb->aux = NULL;
+   bb->aux = NULL;
+ 
+@@ -462,6 +462,33 @@ maybe_error_musttail (gcall *call, const char *err, bool diag_musttail)
+     }
+ }
+ 
++/* Return true if there is no real work performed in the exception
++   path starting at BB and it will in the end result in external exception.
++   Search at most CNT basic blocks (so that we don't need to do trivial
++   loop discovery).  */
++static bool
++empty_eh_cleanup (basic_block bb, int cnt)
++{
++  if (EDGE_COUNT (bb->succs) > 1)
++    return false;
++
++  for (gimple_stmt_iterator gsi = gsi_after_labels (bb); !gsi_end_p (gsi);
++       gsi_next (&gsi))
++    {
++      gimple *g = gsi_stmt (gsi);
++      if (is_gimple_debug (g) || gimple_clobber_p (g))
++	continue;
++      if (is_gimple_resx (g) && stmt_can_throw_external (cfun, g))
++	return true;
++      return false;
++    }
++  if (!single_succ_p (bb))
++    return false;
++  if (cnt == 1)
++    return false;
++  return empty_eh_cleanup (single_succ (bb), cnt - 1);
++}
++
+ /* Argument for compute_live_vars/live_vars_at_stmt and what compute_live_vars
+    returns.  Computed lazily, but just once for the function.  */
+ static live_vars_map *live_vars;
+@@ -612,14 +639,35 @@ find_tail_calls (basic_block bb, struct tailcall **ret, bool only_musttail,
+   if ((stmt_could_throw_p (cfun, stmt)
+        && !stmt_can_throw_external (cfun, stmt)) || EDGE_COUNT (bb->succs) > 1)
+   {
+-    if (stmt == last_stmt)
+-      maybe_error_musttail (call,
+-			    _("call may throw exception that does not "
+-			      "propagate"), diag_musttail);
+-    else
+-      maybe_error_musttail (call, _("code between call and return"),
+-			    diag_musttail);
+-    return;
++    if (stmt != last_stmt)
++      {
++	maybe_error_musttail (call, _("code between call and return"),
++			      diag_musttail);
++	return;
++      }
++
++    edge e;
++    edge_iterator ei;
++    FOR_EACH_EDGE (e, ei, bb->succs)
++      if (e->flags & EDGE_EH)
++	break;
++
++    if (!e)
++      {
++	maybe_error_musttail (call,
++			      _("call may throw exception that does not "
++				"propagate"), diag_musttail);
++	return;
++      }
++
++    if (!gimple_call_must_tail_p (call)
++	|| !empty_eh_cleanup (e->dest, 20))
++      {
++	maybe_error_musttail (call,
++			      _("call may throw exception caught locally "
++				"or perform cleanups"), diag_musttail);
++	return;
++      }
+   }
+ 
+   /* If the function returns a value, then at present, the tail call
+@@ -763,8 +811,7 @@ find_tail_calls (basic_block bb, struct tailcall **ret, bool only_musttail,
+   a = NULL_TREE;
+   auto_bitmap to_move_defs;
+   auto_vec<gimple *> to_move_stmts;
+-  bool is_noreturn
+-    = EDGE_COUNT (bb->succs) == 0 && gimple_call_noreturn_p (call);
++  bool is_noreturn = gimple_call_noreturn_p (call);
+ 
+   abb = bb;
+   agsi = gsi;
+@@ -776,8 +823,9 @@ find_tail_calls (basic_block bb, struct tailcall **ret, bool only_musttail,
+ 
+       while (gsi_end_p (agsi))
+ 	{
+-	  ass_var = propagate_through_phis (ass_var, single_succ_edge (abb));
+-	  abb = single_succ (abb);
++	  edge e = find_fallthru_edge (abb->succs);
++	  ass_var = propagate_through_phis (ass_var, e);
++	  abb = e->dest;
+ 	  agsi = gsi_start_bb (abb);
+ 	}
+ 
+@@ -1112,11 +1160,6 @@ static void
+ decrease_profile (basic_block bb, profile_count count)
+ {
+   bb->count = bb->count - count;
+-  if (!single_succ_p (bb))
+-    {
+-      gcc_assert (!EDGE_COUNT (bb->succs));
+-      return;
+-    }
+ }
+ 
+ /* Eliminates tail call described by T.  TMP_VARS is a list of
+@@ -1181,7 +1224,7 @@ eliminate_tail_call (struct tailcall *t, class loop *&new_loop)
+   else
+     {
+       /* Number of executions of function has reduced by the tailcall.  */
+-      e = single_succ_edge (gsi_bb (t->call_gsi));
++      e = find_fallthru_edge (gsi_bb (t->call_gsi)->succs);
+ 
+       profile_count count = e->count ();
+ 
+@@ -1196,8 +1239,7 @@ eliminate_tail_call (struct tailcall *t, class loop *&new_loop)
+ 	decrease_profile (e->dest, count);
+ 
+       /* Replace the call by a jump to the start of function.  */
+-      e = redirect_edge_and_branch (single_succ_edge (gsi_bb (t->call_gsi)),
+-				    first);
++      e = redirect_edge_and_branch (e, first);
+     }
+   gcc_assert (e);
+   PENDING_STMT (e) = NULL;
+@@ -1362,7 +1404,9 @@ tree_optimize_tail_calls_1 (bool opt_tailcalls, bool only_musttail,
+     {
+       basic_block bb;
+       FOR_EACH_BB_FN (bb, cfun)
+-	if (EDGE_COUNT (bb->succs) == 0)
++	if (EDGE_COUNT (bb->succs) == 0
++	    || (single_succ_p (bb)
++		&& (single_succ_edge (bb)->flags & EDGE_EH)))
+ 	  if (gimple *c = last_nondebug_stmt (bb))
+ 	    if (is_gimple_call (c)
+ 		&& gimple_call_must_tail_p (as_a <gcall *> (c))

diff --git a/15.0.0/gentoo/README.history b/15.0.0/gentoo/README.history
index 7e0990c..b497164 100644
--- a/15.0.0/gentoo/README.history
+++ b/15.0.0/gentoo/README.history
@@ -1,6 +1,7 @@
 51	????
 
 	+ 82_all_PR119318-ipa-cp.patch
+	+ 83_all_PR119491-tailcall-eh.patch
 
 50	31 March 2025
 


             reply	other threads:[~2025-04-02  4:59 UTC|newest]

Thread overview: 224+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2025-04-02  4:59 Sam James [this message]
  -- strict thread matches above, loose matches on Subject: below --
2025-04-18 19:21 [gentoo-commits] proj/gcc-patches:master commit in: 15.0.0/gentoo/ Sam James
2025-04-16 13:30 Sam James
2025-04-16 10:04 Sam James
2025-04-16  9:58 Sam James
2025-04-15 21:09 Sam James
2025-04-15 16:40 Sam James
2025-04-14 22:59 Sam James
2025-04-14 22:47 Sam James
2025-04-14 22:44 Sam James
2025-04-14 21:06 Sam James
2025-04-14 20:51 Sam James
2025-04-14 16:08 Sam James
2025-04-14 16:08 Sam James
2025-04-13 22:54 Sam James
2025-04-10 21:59 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 18:02 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-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=1743569985.6f8b1c816299484f66a6184635b6202eb5ec72b0.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