This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: RFC -- update_equiv_regs and friends
- To: john at feith dot com (John Wehle)
- Subject: Re: RFC -- update_equiv_regs and friends
- From: Joern Rennecke <amylaar at cambridge dot redhat dot com>
- Date: Fri, 2 Mar 2001 03:20:43 +0000 (GMT)
- Cc: amylaar at cambridge dot redhat dot com, rth at redhat dot com, amylaar at redhat dot com,law at redhat dot com, gcc at gcc dot gnu dot org
> /* Return nonzero if the rtx X is invariant over the current function. */
>
> int
> function_invariant_p (x)
>
> implies that it's a redundant function given the existence of rtx_varies_p.
Well, as we have seen, it is not redundant, since rtx_varies_p accepts things
as non-varying that are not strictly non-varying, from the standpoint of
register allocation.
Maybe you can make this more clear by changing the comments at the start
of these two functions.