Re: [PATCH] Improve TBAA with unions

2016-06-29 Thread Richard Biener
On Tue, 21 Jun 2016, Jeff Law wrote: > On 05/24/2016 03:14 AM, Richard Biener wrote: > > On Wed, 18 May 2016, Richard Biener wrote: > > > > > > > > The following adjusts get_alias_set beahvior when applied to > > > union accesses to use the union alias-set rather than alias-set > > > zero. This

Re: [PATCH] Improve TBAA with unions

2016-06-21 Thread Jeff Law
On 05/24/2016 03:14 AM, Richard Biener wrote: On Wed, 18 May 2016, Richard Biener wrote: The following adjusts get_alias_set beahvior when applied to union accesses to use the union alias-set rather than alias-set zero. This is in line with behavior from the alias oracle which (bogously) circ

Re: [PATCH] Improve TBAA with unions

2016-05-24 Thread Richard Biener
On Wed, 18 May 2016, Richard Biener wrote: > > The following adjusts get_alias_set beahvior when applied to > union accesses to use the union alias-set rather than alias-set > zero. This is in line with behavior from the alias oracle > which (bogously) circumvents alias-set zero with looking at

Re: [PATCH] Improve TBAA with unions

2016-05-18 Thread Eric Botcazou
> We have a good place in the middle-end to apply such rules which > is component_uses_parent_alias_set_from - this is where I move > the logic that is duplicated in various frontends. > > The Java and Ada frontends do not allow union type punning (LTO does), > so this patch may eventually pessimi

[PATCH] Improve TBAA with unions

2016-05-18 Thread Richard Biener
The following adjusts get_alias_set beahvior when applied to union accesses to use the union alias-set rather than alias-set zero. This is in line with behavior from the alias oracle which (bogously) circumvents alias-set zero with looking at the alias-sets of the base object. Thus for union U