This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: RFC: merging MEM_ATTRS
- From: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
- To: joern dot rennecke at superh dot com
- Cc: gcc at gcc dot gnu dot org
- Date: Tue, 10 Feb 04 15:12:23 EST
- Subject: Re: RFC: merging MEM_ATTRS
For all what exactly? One alias set to include all variables that didn't
have their address taken is not useful; most of these accesses are
already described exactly by their MEM_EXPRs.
Sure it's useful: you can set things up so that the alias set used by
indirect references don't conflict with it. Essentially for each type,
you have two subset alias sets: one for dereferences and one for things
that aren't addressable. The two don't conflict.
I haven't worked out all the details of this (or even thought about it
much in the last year or so), but the above is the basic idea.