On Tue, Apr 18, 2023 at 12:18 AM Andrew Pinski via Gcc-patches <gcc-patches@gcc.gnu.org> wrote: > > We know that the statement we are moving is already > have a SSA_NAME on the lhs so we don't need to > check that and can also just call reset_flow_sensitive_info > with the name we already got. > > OK? Bootstrapped and tested on x86_64-linux-gnu with no regressions.
OK. > gcc/ChangeLog: > > * tree-ssa-phiopt.cc (match_simplify_replacement): > Simplify code that does the movement slightly. > --- > gcc/tree-ssa-phiopt.cc | 5 ++--- > 1 file changed, 2 insertions(+), 3 deletions(-) > > diff --git a/gcc/tree-ssa-phiopt.cc b/gcc/tree-ssa-phiopt.cc > index 16acd2f1894..4ddb4d5db90 100644 > --- a/gcc/tree-ssa-phiopt.cc > +++ b/gcc/tree-ssa-phiopt.cc > @@ -1094,11 +1094,10 @@ match_simplify_replacement (basic_block cond_bb, > basic_block middle_bb, > > tree name = gimple_get_lhs (stmt_to_move); > // Mark the name to be renamed if there is one. > - if (name && TREE_CODE (name) == SSA_NAME) > - bitmap_set_bit (inserted_exprs, SSA_NAME_VERSION (name)); > + bitmap_set_bit (inserted_exprs, SSA_NAME_VERSION (name)); > gimple_stmt_iterator gsi1 = gsi_for_stmt (stmt_to_move); > gsi_move_before (&gsi1, &gsi); > - reset_flow_sensitive_info (gimple_assign_lhs (stmt_to_move)); > + reset_flow_sensitive_info (name); > } > > replace_phi_edge_with_variable (cond_bb, e1, phi, result, inserted_exprs); > -- > 2.31.1 >
