From: Richard Biener <rguenther@suse.de>
To: gcc-patches@gcc.gnu.org
Subject: [PATCH 1/2] Improve compute_control_dep_chain documentation
Date: Fri, 26 Aug 2022 14:34:08 +0200 (CEST) [thread overview]
Message-ID: <20220826123409.524BF13A7E@imap2.suse-dmz.suse.de> (raw)
In the quest to understand how compute_control_dep_chain works I've
produced the following two changes, documenting PR106754 on the
way.
Bootstrap and regtest is running on x86_64-unknown-linux-gnu,
the changes should be no-ops but hopefully improve understanding
of the code.
--
The following refactors compute_control_dep_chain slightly by
inlining is_loop_exit and factoring the check on the loop
invariant condition. It also adds a comment as of how I
understand the code and it's current problem.
* gimple-predicate-analysis.cc (compute_control_dep_chain):
Inline is_loop_exit and refactor, add comment about
loop exits.
---
gcc/gimple-predicate-analysis.cc | 27 +++++++++++++++++++++++----
1 file changed, 23 insertions(+), 4 deletions(-)
diff --git a/gcc/gimple-predicate-analysis.cc b/gcc/gimple-predicate-analysis.cc
index 32542f93057..934e9516e7b 100644
--- a/gcc/gimple-predicate-analysis.cc
+++ b/gcc/gimple-predicate-analysis.cc
@@ -1110,6 +1110,10 @@ compute_control_dep_chain (basic_block dom_bb, const_basic_block dep_bb,
vec<edge> &cur_cd_chain, unsigned *num_calls,
unsigned in_region = 0, unsigned depth = 0)
{
+ /* In our recursive calls this doesn't happen. */
+ if (single_succ_p (dom_bb))
+ return false;
+
if (*num_calls > (unsigned)param_uninit_control_dep_attempts)
{
if (dump_file)
@@ -1167,7 +1171,21 @@ compute_control_dep_chain (basic_block dom_bb, const_basic_block dep_bb,
basic_block cd_bb = e->dest;
cur_cd_chain.safe_push (e);
while (!dominated_by_p (CDI_POST_DOMINATORS, dom_bb, cd_bb)
- || is_loop_exit (dom_bb, cd_bb))
+ /* We want to stop when the CFG merges back from the
+ branch in dom_bb. The post-dominance check alone
+ falls foul of the case of a loop exit test branch
+ where the path on the loop exit post-dominates
+ the branch block.
+ The following catches this but will not allow
+ exploring the post-dom path further. For the
+ outermost recursion this means we will fail to
+ reach dep_bb while for others it means at least
+ dropping the loop exit predicate from the path
+ which is problematic as it increases the domain
+ spanned by the resulting predicate.
+ See gcc.dg/uninit-pred-11.c for the first case
+ and PR106754 for the second. */
+ || single_pred_p (cd_bb))
{
if (cd_bb == dep_bb)
{
@@ -1187,9 +1205,10 @@ compute_control_dep_chain (basic_block dom_bb, const_basic_block dep_bb,
break;
/* Check if DEP_BB is indirectly control-dependent on DOM_BB. */
- if (compute_control_dep_chain (cd_bb, dep_bb, cd_chains,
- num_chains, cur_cd_chain,
- num_calls, in_region, depth + 1))
+ if (!single_succ_p (cd_bb)
+ && compute_control_dep_chain (cd_bb, dep_bb, cd_chains,
+ num_chains, cur_cd_chain,
+ num_calls, in_region, depth + 1))
{
found_cd_chain = true;
break;
--
2.35.3
next reply other threads:[~2022-08-26 12:34 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-08-26 12:34 Richard Biener [this message]
2022-08-26 16:19 ` Jeff Law
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=20220826123409.524BF13A7E@imap2.suse-dmz.suse.de \
--to=rguenther@suse.de \
--cc=gcc-patches@gcc.gnu.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;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).