diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 81d8e5c3e29925d82325f7bcd3c2acbf9a3a657c..7f4b7fba724e8c3a93958be9165c9ecada332445 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2020-01-10 Richard Biener <rguenther@suse.de> + + * gimple-ssa-store-merging + (pass_store_merging::terminate_all_aliasing_chains): Cache alias info. + 2020-01-10 Martin Liska <mliska@suse.cz> PR ipa/93217 diff --git a/gcc/gimple-ssa-store-merging.c b/gcc/gimple-ssa-store-merging.c index 741b1ec039c6fc52d27888764a939decbb7ae773..8371323ef4a3f5dc126a93b9b76c1d4ec6224eab 100644 --- a/gcc/gimple-ssa-store-merging.c +++ b/gcc/gimple-ssa-store-merging.c @@ -2219,6 +2219,8 @@ pass_store_merging::terminate_all_aliasing_chains (imm_store_chain_info return false; tree store_lhs = gimple_store_p (stmt) ? gimple_get_lhs (stmt) : NULL_TREE; + ao_ref store_lhs_ref; + ao_ref_init (&store_lhs_ref, store_lhs); for (imm_store_chain_info *next = m_stores_head, *cur = next; cur; cur = next) { next = cur->next; @@ -2233,9 +2235,12 @@ pass_store_merging::terminate_all_aliasing_chains (imm_store_chain_info FOR_EACH_VEC_ELT (cur->m_store_info, i, info) { tree lhs = gimple_assign_lhs (info->stmt); - if (ref_maybe_used_by_stmt_p (stmt, lhs) - || stmt_may_clobber_ref_p (stmt, lhs) - || (store_lhs && refs_output_dependent_p (store_lhs, lhs))) + ao_ref lhs_ref; + ao_ref_init (&lhs_ref, lhs); + if (ref_maybe_used_by_stmt_p (stmt, &lhs_ref) + || stmt_may_clobber_ref_p_1 (stmt, &lhs_ref) + || (store_lhs && refs_may_alias_p_1 (&store_lhs_ref, + &lhs_ref, false))) { if (dump_file && (dump_flags & TDF_DETAILS)) {