This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: More on c-gimplify.c:gimplify_decl_stmt
- From: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
- To: rth at redhat dot com
- Cc: gcc at gcc dot gnu dot org
- Date: Mon, 7 Jun 04 12:56:24 EDT
- Subject: Re: More on c-gimplify.c:gimplify_decl_stmt
> Saying that the first reference uses field F1 of a type and the second
> reference uses field F2 of that same type says they can't alias.
True, but only for structures (as opposed to unions or variant records).
And for structures, the offsets are unique.
I don't follow. We're talking about a nest of references and there are
intermediate fields.
Not at all. We've *got* a biased index -- the offset into the record.
We can strength reduce on offset 15+4*i just as easy as we can for [i].
For strength-reduction, sure. But I was thinking more of the LNO-style
optimizations.