Re: Strenghten aliasing_component_refs_p

2019-05-23 Thread Jan Hubicka
> > Whoops, didn't notice that. > > Indeed - Honza please fix. > Thanks to Martin's reduction, hunting down the soplex issue was easy. There was two thinkos I managed to introduce while converting the patch to three way compare. First we only need to call same_types_for_tbaa if the sizes actual

Re: Strenghten aliasing_component_refs_p

2019-05-23 Thread Jan Hubicka
> On Thu, 23 May 2019, Bernhard Reutner-Fischer wrote: > > > On 20 May 2019 11:40:17 CEST, Richard Biener wrote: > > >On Sun, 19 May 2019, Jan Hubicka wrote: > > > > > >> > On Fri, 17 May 2019, Jan Hubicka wrote: > > >> > > > >> > > Hi, > > >> > > this patch cuts walks in aliasing_component_refs

Re: Strenghten aliasing_component_refs_p

2019-05-23 Thread Richard Biener
On Thu, 23 May 2019, Bernhard Reutner-Fischer wrote: > On 20 May 2019 11:40:17 CEST, Richard Biener wrote: > >On Sun, 19 May 2019, Jan Hubicka wrote: > > > >> > On Fri, 17 May 2019, Jan Hubicka wrote: > >> > > >> > > Hi, > >> > > this patch cuts walks in aliasing_component_refs_p if the type we

Re: Strenghten aliasing_component_refs_p

2019-05-22 Thread Bernhard Reutner-Fischer
On 20 May 2019 11:40:17 CEST, Richard Biener wrote: >On Sun, 19 May 2019, Jan Hubicka wrote: > >> > On Fri, 17 May 2019, Jan Hubicka wrote: >> > >> > > Hi, >> > > this patch cuts walks in aliasing_component_refs_p if the type we >look for >> > > can not fit into a given type by comparing their si

Re: Strenghten aliasing_component_refs_p

2019-05-20 Thread Richard Biener
On Sun, 19 May 2019, Jan Hubicka wrote: > > On Fri, 17 May 2019, Jan Hubicka wrote: > > > > > Hi, > > > this patch cuts walks in aliasing_component_refs_p if the type we look for > > > can not fit into a given type by comparing their sizes. Similar logic > > > already exists in indirect_ref_may_a

Re: Strenghten aliasing_component_refs_p

2019-05-19 Thread Jan Hubicka
> On Fri, 17 May 2019, Jan Hubicka wrote: > > > Hi, > > this patch cuts walks in aliasing_component_refs_p if the type we look for > > can not fit into a given type by comparing their sizes. Similar logic > > already exists in indirect_ref_may_alias_decl_p. > > > > When we walk reference a.b.c.d.

Re: Strenghten aliasing_component_refs_p

2019-05-17 Thread Jan Hubicka
> On Fri, 17 May 2019, Jan Hubicka wrote: > > > Hi, > > this patch cuts walks in aliasing_component_refs_p if the type we look for > > can not fit into a given type by comparing their sizes. Similar logic > > already exists in indirect_ref_may_alias_decl_p. > > > > When we walk reference a.b.c.d.

Re: Strenghten aliasing_component_refs_p

2019-05-17 Thread Richard Biener
On Fri, 17 May 2019, Jan Hubicka wrote: > Hi, > this patch cuts walks in aliasing_component_refs_p if the type we look for > can not fit into a given type by comparing their sizes. Similar logic > already exists in indirect_ref_may_alias_decl_p. > > When we walk reference a.b.c.d.e looking for ty