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
next 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