From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 7879) id EBA11385841A; Wed, 7 Sep 2022 12:59:15 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org EBA11385841A DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1662555555; bh=GU71UOpCgpvpzZmlMbASRcVow2o7J4daoITsPGRfL+8=; h=From:To:Subject:Date:From; b=kFm2zWdjer81etiVHgMKcRzcGJrUJiksXRtJzaHV/k7BgNn5Qs7UDGlVPyY0KpRR8 srN0NuHunxqRwSkgut3kQma+qMQNA87p47thTPS+/d44k9UPSJJY+zigjOmTG7dWgT L/LKiQ31ThBkESmfcUfBBaoxEgFeBpp9c+Ibxndw= Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: Filip Kastl To: gcc-cvs@gcc.gnu.org Subject: [gcc(refs/users/pheeck/heads/sccp)] updating OCCURS_IN_ABNORMAL_PHI X-Act-Checkin: gcc X-Git-Author: Filip Kastl X-Git-Refname: refs/users/pheeck/heads/sccp X-Git-Oldrev: d0786c70d75b78a35e4cf723be921ccf09657bec X-Git-Newrev: 4f05f070963fb2e48f3e1f6c708a9e87a775d313 Message-Id: <20220907125915.EBA11385841A@sourceware.org> Date: Wed, 7 Sep 2022 12:59:15 +0000 (GMT) List-Id: https://gcc.gnu.org/g:4f05f070963fb2e48f3e1f6c708a9e87a775d313 commit 4f05f070963fb2e48f3e1f6c708a9e87a775d313 Author: Filip Kastl Date: Wed Sep 7 14:59:06 2022 +0200 updating OCCURS_IN_ABNORMAL_PHI Diff: --- gcc/sccp.cc | 28 +++++++++++++++++++--------- 1 file changed, 19 insertions(+), 9 deletions(-) diff --git a/gcc/sccp.cc b/gcc/sccp.cc index fd7f01db6b3..86f84b56878 100644 --- a/gcc/sccp.cc +++ b/gcc/sccp.cc @@ -295,23 +295,26 @@ tarjan_compute_sccs (auto_vec &phis) } static void -replace_scc_by_value (vec scc, tree v) +replace_scc_by_value (vec scc, tree replace_by) { // DEBUG + /* if (scc.length () >= 3) { std::cerr << "Replacing scc of size " << scc.length () << std::endl; } + */ for (gphi *phi : scc) { - tree ssa_name = gimple_get_lhs (phi); + tree get_replaced = gimple_get_lhs (phi); // DEBUG - unsigned vnum_get_replaced = SSA_NAME_VERSION (ssa_name); - if (TREE_CODE (v) == SSA_NAME) + /* + unsigned vnum_get_replaced = SSA_NAME_VERSION (get_replaced); + if (TREE_CODE (replace_by) == SSA_NAME) { - unsigned vnum_replaced_by = SSA_NAME_VERSION (v); + unsigned vnum_replaced_by = SSA_NAME_VERSION (replace_by); std::cerr << "Replacing " << vnum_get_replaced << " by " << vnum_replaced_by << std::endl; } @@ -320,15 +323,20 @@ replace_scc_by_value (vec scc, tree v) std::cerr << "Replacing " << vnum_get_replaced << " by something" << " that isn't an SSA name" << std::endl; } + */ + + if (SSA_NAME_OCCURS_IN_ABNORMAL_PHI (get_replaced) + && TREE_CODE (replace_by) == SSA_NAME) + SSA_NAME_OCCURS_IN_ABNORMAL_PHI (replace_by) = 1; - /* Replace each occurence of phi by value v. */ + /* Replace each occurence of PHI by value replace_by. */ use_operand_p use_p; imm_use_iterator iter; gimple *use_stmt; - FOR_EACH_IMM_USE_STMT (use_stmt, iter, ssa_name) + FOR_EACH_IMM_USE_STMT (use_stmt, iter, get_replaced) { FOR_EACH_IMM_USE_ON_STMT (use_p, iter) - SET_USE (use_p, v); + SET_USE (use_p, replace_by); update_stmt (use_stmt); } } @@ -353,8 +361,10 @@ remove_zero_uses_phis () remove_phi_node (&pi, true); // DEBUG + /* unsigned version = SSA_NAME_VERSION (ssa_name); std::cerr << "Removed " << version << std::endl; + */ } else gsi_next (&pi); @@ -480,7 +490,7 @@ public: unsigned pass_sccp::execute (function *) { - debug_phis (); // DEBUG + //debug_phis (); // DEBUG init_sccp (); auto_vec phis = get_all_phis ();