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