From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 7879) id B7D6F3858D33; Thu, 2 Mar 2023 12:13:20 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org B7D6F3858D33 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1677759200; bh=+yaMUkp5Jin3yoLwEEqtL+4L4s0okJIp/slv7HjrxI0=; h=From:To:Subject:Date:From; b=IsvEsqW9V1wAUYA/7IMinl0AX2SaL1DO0yUDl7MFBr+sj6BaH+/YiSRhWjQ8mZj8y 9ei6mvwgWg7maF0V/tmfiXiaasjB+wifzB+JWlxAmvA7zX4WDAyLO/H5xu/F39b5Uv CHa/TTNeALHGIvsjf1TNpJ9Mj9BkgYsbPmi8OTdw= 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)] sccp handling was_noreturn and can_make_abnormal_goto X-Act-Checkin: gcc X-Git-Author: Filip Kastl X-Git-Refname: refs/users/pheeck/heads/sccp X-Git-Oldrev: 28f460430a0a902e751d63a7ad087bbf5cfa7ea3 X-Git-Newrev: 72b7332883ae3380f0e18280a89fa55ef00d0b2d Message-Id: <20230302121320.B7D6F3858D33@sourceware.org> Date: Thu, 2 Mar 2023 12:13:20 +0000 (GMT) List-Id: https://gcc.gnu.org/g:72b7332883ae3380f0e18280a89fa55ef00d0b2d commit 72b7332883ae3380f0e18280a89fa55ef00d0b2d Author: Filip Kastl Date: Tue Feb 28 13:00:14 2023 +0100 sccp handling was_noreturn and can_make_abnormal_goto Diff: --- gcc/sccp.cc | 11 +++++++++-- gcc/tree-ssa-propagate.cc | 3 ++- 2 files changed, 11 insertions(+), 3 deletions(-) diff --git a/gcc/sccp.cc b/gcc/sccp.cc index 6c8791d8724..57c821a4f9c 100644 --- a/gcc/sccp.cc +++ b/gcc/sccp.cc @@ -455,6 +455,14 @@ replace_use_by (tree get_replaced, tree replace_by, bitmap need_eh_cleanup, gimple *use_stmt; FOR_EACH_IMM_USE_STMT (use_stmt, iter, get_replaced) { + bool was_noreturn = false; + bool can_make_abnormal_goto = false; + if (is_gimple_call (use_stmt)) + { + was_noreturn = gimple_call_noreturn_p (use_stmt); + can_make_abnormal_goto = stmt_can_make_abnormal_goto (use_stmt); + } + FOR_EACH_IMM_USE_ON_STMT (use_p, iter) SET_USE (use_p, unshare_expr (replace_by)); @@ -472,8 +480,7 @@ replace_use_by (tree get_replaced, tree replace_by, bitmap need_eh_cleanup, fold_stmt (&gsi); cleanup_after_replace (use_stmt, gsi_stmt (gsi), need_eh_cleanup, need_ab_cleanup, stmts_to_fixup, - false, false); - update_stmt (gsi_stmt (gsi)); + can_make_abnormal_goto, was_noreturn); } } diff --git a/gcc/tree-ssa-propagate.cc b/gcc/tree-ssa-propagate.cc index e0eeae70ece..01e125bb873 100644 --- a/gcc/tree-ssa-propagate.cc +++ b/gcc/tree-ssa-propagate.cc @@ -909,7 +909,6 @@ substitute_and_fold_dom_walker::before_dom_children (basic_block bb) can_make_abnormal_goto, was_noreturn); /* Determine what needs to be done to update the SSA form. */ - update_stmt_if_modified (stmt); if (!is_gimple_debug (stmt)) something_changed = true; } @@ -1316,6 +1315,8 @@ cleanup_after_replace (gimple *old_stmt, gimple *stmt, bitmap need_eh_cleanup, if (TREE_CODE (rhs) == ADDR_EXPR) recompute_tree_invariant_for_addr_expr (rhs); } + + update_stmt_if_modified (stmt); } /* TODO Comment. */