From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1666) id 57226385840F; Thu, 1 Sep 2022 13:05:34 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 57226385840F DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1662037534; bh=H3fbfsl6GM7wDDi1dzuEprMMcOyx4BhixGEoLV4FAZ4=; h=From:To:Subject:Date:From; b=d/d3LIql+rhbm2USkvEkAsoE4vRq8M9+/yq/WwzjdoGO64ud6zG+aFnMT+THmGFds +OvueHNRHQejEpHfRcjAkDUlBiLqg2plMtJkGzi7CFU0v+8gXeHY6SG+Z8R2+1hWTF jfyhDKkqQJk9JScyYLs33WvVF2+XQPJNGvClOzCA= 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-2341] Some predicate analysis TLC X-Act-Checkin: gcc X-Git-Author: Richard Biener X-Git-Refname: refs/heads/master X-Git-Oldrev: c5699dd82aa053a8597a69f3331f11aff3e2823d X-Git-Newrev: e75398ac9f06d67cffe495a150e2b27064f3971d Message-Id: <20220901130534.57226385840F@sourceware.org> Date: Thu, 1 Sep 2022 13:05:34 +0000 (GMT) List-Id: https://gcc.gnu.org/g:e75398ac9f06d67cffe495a150e2b27064f3971d commit r13-2341-ge75398ac9f06d67cffe495a150e2b27064f3971d Author: Richard Biener Date: Thu Sep 1 13:52:51 2022 +0200 Some predicate analysis TLC The following hides some internal details of compute_control_dep_chain. * gimple-predicate-analysis.cc (compute_control_dep_chain): New wrapping overload. (uninit_analysis::init_use_preds): Simplify. (uninit_analysis::init_from_phi_def): Likewise. Diff: --- gcc/gimple-predicate-analysis.cc | 21 ++++++++++++++------- 1 file changed, 14 insertions(+), 7 deletions(-) diff --git a/gcc/gimple-predicate-analysis.cc b/gcc/gimple-predicate-analysis.cc index eb1e11cead8..2982268fdfd 100644 --- a/gcc/gimple-predicate-analysis.cc +++ b/gcc/gimple-predicate-analysis.cc @@ -1124,6 +1124,18 @@ compute_control_dep_chain (basic_block dom_bb, const_basic_block dep_bb, return found_cd_chain; } +static bool +compute_control_dep_chain (basic_block dom_bb, const_basic_block dep_bb, + vec cd_chains[], unsigned *num_chains, + unsigned in_region = 0) +{ + auto_vec cur_cd_chain; + unsigned num_calls = 0; + unsigned depth = 0; + return compute_control_dep_chain (dom_bb, dep_bb, cd_chains, num_chains, + cur_cd_chain, &num_calls, in_region, depth); +} + /* Implemented simplifications: 1) ((x IOR y) != 0) AND (x != 0) is equivalent to (x != 0); @@ -1919,13 +1931,10 @@ uninit_analysis::init_use_preds (predicate &use_preds, basic_block def_bb, Each DEP_CHAINS element is a series of edges whose conditions are logical conjunctions. Together, the DEP_CHAINS vector is used below to initialize an OR expression of the conjunctions. */ - unsigned num_calls = 0; unsigned num_chains = 0; auto_vec dep_chains[MAX_NUM_CHAINS]; - auto_vec cur_chain; - if (!compute_control_dep_chain (cd_root, use_bb, dep_chains, &num_chains, - cur_chain, &num_calls)) + if (!compute_control_dep_chain (cd_root, use_bb, dep_chains, &num_chains)) { gcc_assert (num_chains == 0); simple_control_dep_chain (dep_chains[0], cd_root, use_bb); @@ -2023,14 +2032,12 @@ uninit_analysis::init_from_phi_def (gphi *phi) unsigned num_chains = 0; auto_vec dep_chains[MAX_NUM_CHAINS]; - auto_vec cur_chain; for (unsigned i = 0; i < nedges; i++) { edge e = def_edges[i]; - unsigned num_calls = 0; unsigned prev_nc = num_chains; compute_control_dep_chain (cd_root, e->src, dep_chains, - &num_chains, cur_chain, &num_calls, in_region); + &num_chains, in_region); /* Update the newly added chains with the phi operand edge. */ if (EDGE_COUNT (e->src->succs) > 1)