This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: RMS's aliasing suggestion appears unimplementable
- To: law at cygnus dot com
- Subject: Re: RMS's aliasing suggestion appears unimplementable
- From: Richard Stallman <rms at gnu dot org>
- Date: Sun, 19 Sep 1999 14:52:31 -0600 (MDT)
- CC: zack at bitmover dot com, mrs at wrs dot com, egcs at egcs dot cygnus dot com
- References: <23298.937635123@upchuck.cygnus.com>
- Reply-to: rms at gnu dot org
Catching simple reg copy propagations adds complexity, but can also be done
as a variant of the existing code to propagate base values (ie, only propagate
simple sets, but not any arithmetic).
Right. The same code that keeps track of this for the sake
of making sure two values do not alias, will also do this subtask
for ascertaining that they do alias.