This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Handling aliasing memory accesses in gimple/ssa
- From: Kyrill Tkachov <kyrylo dot tkachov at foss dot arm dot com>
- To: "gcc at gcc dot gnu dot org" <gcc at gcc dot gnu dot org>
- Date: Tue, 10 May 2016 14:41:43 +0100
- Subject: Handling aliasing memory accesses in gimple/ssa
- Authentication-results: sourceware.org; auth=none
Hi all,
I'm taking a stab at fixing PR 22141 by merging adjacent stores into wider stores in a late gimple pass.
My current plan is to go through all the assignments in a basic block and keep track of
LHS expressions that are COMPONENT_REF, BIT_FIELD_REF, ARRAY_REF or ARRAY_RANGE_REF until
we encounter an expression that affects the recorded stores or a mergeable store that aliases with
any of the preceeding loads. My question is how to express that question in gimple/tree-ssa?
Is taking get_alias_set of the two expressions that I want to compare and
checking alias_sets_conflict_p enough?
Thanks,
Kyrill