On Thu, 15 Aug 2019, Jan Hubicka wrote:
> Hi,
> here is updated version.
> > > + /* We generally assume that both access paths starts by same sequence
> > > + of refs. However if number of array refs is not in sync, try
> > > + to recover and pop elts until number match. This helps
>
> * tree-ssa-alias.c (nonoverlapping_component_refs_since_match_p):
> Rename to ...
> (nonoverlapping_refs_since_match_p): ... this; handle also
> ARRAY_REFs.
> (alias_stats): Update stats.
> (dump_alias_stats): Likewise.
> (cheap_array_ref_low_bound):
Hi,
here is updated version.
> > + /* We generally assume that both access paths starts by same sequence
> > +of refs. However if number of array refs is not in sync, try
> > +to recover and pop elts until number match. This helps the case
> > +where one access path
On Mon, 29 Jul 2019, Jan Hubicka wrote:
> Hello,
> I missed your email initially, so sorry for late reaction.
> > > +/* REF1 and REF2 are ARRAY_REFs which either start at the same address or
> > > + are completely disjoint.
> >
> > So the ARRAY_REF array bases are at the same address, not the
Hello,
I missed your email initially, so sorry for late reaction.
> > +/* REF1 and REF2 are ARRAY_REFs which either start at the same address or
> > + are completely disjoint.
>
> So the ARRAY_REF array bases are at the same address, not the ARRAY_REF
> itself?
Yes, updated the comment.
>
>
On Fri, 19 Jul 2019, Jan Hubicka wrote:
> Hi,
> this patch adds bare bones of disambiguation of access paths via
> ARRAY_REF. Similarly to COMPONENT_REF we need a matched ARRAY_REF size
> and prove that indexes are actually different.
>
> This adds about 20 new disambiguations to tramp3d.
>
>
