From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1666) id 136763857343; Fri, 9 Sep 2022 09:48:16 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 136763857343 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1662716896; bh=qlDzkEAOzxoHMzps5qqOY6wwLsZt9lsksZa70ljXyo0=; h=From:To:Subject:Date:From; b=egTv2ddr8cd4mdY0n9/SMgrsirqTMP/ysKrBDE7nOAKsgCCaHncrq0azXU8rP+m50 5zxzou+pybQQmGDBUam6hTJGL1CnoLgmGFneaOkINpqXtTTto82GXVaW1KvEGY2J48 GaIjgwzSGW/Ixco6geKz5RKDUITbvXwNF+2Z/LeY= MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Richard Biener To: gcc-cvs@gcc.gnu.org Subject: [gcc r13-2557] tree-optimization/106881 - fix simple_control_dep_chain part X-Act-Checkin: gcc X-Git-Author: Richard Biener X-Git-Refname: refs/heads/master X-Git-Oldrev: c2c3e4f6698925c8c969d8525677fbfe98f78909 X-Git-Newrev: 923da63e0f69b091014df5cc91498756053b1a46 Message-Id: <20220909094816.136763857343@sourceware.org> Date: Fri, 9 Sep 2022 09:48:16 +0000 (GMT) List-Id: https://gcc.gnu.org/g:923da63e0f69b091014df5cc91498756053b1a46 commit r13-2557-g923da63e0f69b091014df5cc91498756053b1a46 Author: Richard Biener Date: Fri Sep 9 09:56:45 2022 +0200 tree-optimization/106881 - fix simple_control_dep_chain part This adjusts simple_control_dep_chain in the same way I adjusted compute_control_dep_chain_pdom to avoid adding fallthru edges to the predicate chain. PR tree-optimization/106881 * gimple-predicate-analysis.cc (simple_control_dep_chain): Add only non-fallthru edges and avoid the same set of edges as compute_control_dep_chain_pdom does. Diff: --- gcc/gimple-predicate-analysis.cc | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/gcc/gimple-predicate-analysis.cc b/gcc/gimple-predicate-analysis.cc index 910ab97a29e..bc9ed847267 100644 --- a/gcc/gimple-predicate-analysis.cc +++ b/gcc/gimple-predicate-analysis.cc @@ -926,10 +926,14 @@ simple_control_dep_chain (vec& chain, basic_block from, basic_block to) { basic_block dest = src; src = get_immediate_dominator (CDI_DOMINATORS, src); - edge pred_e; - if (single_pred_p (dest) - && (pred_e = find_edge (src, dest))) - chain.safe_push (pred_e); + if (single_pred_p (dest)) + { + edge pred_e = single_pred_edge (dest); + gcc_assert (pred_e->src == src); + if (!(pred_e->flags & ((EDGE_FAKE | EDGE_ABNORMAL | EDGE_DFS_BACK))) + && !single_succ_p (src)) + chain.safe_push (pred_e); + } } }