This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: Fw: [PATCH] ipa aliasing analysis





Daniel Berlin <dberlin@us.ibm.com> wrote on 02/05/2005 16:18:21:

> >
> > In tree-ssa-alias.c, add_pointed_to_expr sets the SSA_NAMEs for x
> > and y to points-to-anything immediately the first time it sees them.
> > I don't see how you could explain to it that x and y may point to
> > anything but not to each other.
> >
> > The tree AA guru's are Diego and Dan, maybe they have ideas...
>
> For this situation, TPO uses anti-aliasing sets and an anti-alias oracle.
>
> This would be the equivalent of interfacing into may_alias_p and telling
> it p and q can't may alias.
>

Thanks a lot, I'll look at it.

olga


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]