This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: should MEM tracking be able to optimize this?
- From: Alexandre Oliva <aoliva at redhat dot com>
- To: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
- Cc: dan at cgsoftware dot com, gcc at gcc dot gnu dot org
- Date: 18 Nov 2001 12:30:11 -0200
- Subject: Re: should MEM tracking be able to optimize this?
- Organization: GCC Team, Red Hat
- References: <10111181231.AA29598@vlsi1.ultra.nyu.edu>
On Nov 18, 2001, kenner@vlsi1.ultra.nyu.edu (Richard Kenner) wrote:
> struct foo { float a[2048], b[2048]; }
> It's obvious statically that X.a[i] and Y.b[j] can never conflict for any
> expressions X and Y of type struct foo. But there needs to be a way to
> represent this.
Err... Isn't it valid to assume that &X.a[2048] == &X.b[0], which
would be the reason why both fields must be in the same alias set?
--
Alexandre Oliva Enjoy Guarana', see http://www.ic.unicamp.br/~oliva/
Red Hat GCC Developer aoliva@{cygnus.com, redhat.com}
CS PhD student at IC-Unicamp oliva@{lsd.ic.unicamp.br, gnu.org}
Free Software Evangelist *Please* write to mailing lists, not to me