This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: [tree-ssa] reaching def. question
- From: Diego Novillo <dnovillo at redhat dot com>
- To: Jeff Law <law at redhat dot com>
- Cc: Devang Patel <dpatel at apple dot com>, "gcc at gcc dot gnu dot org list" <gcc at gcc dot gnu dot org>
- Date: Tue, 16 Mar 2004 18:50:13 -0500
- Subject: Re: [tree-ssa] reaching def. question
- Organization: Red Hat Canada
- References: <200403162342.i2GNgKVw001394@speedy.slc.redhat.com>
On Tue, 2004-03-16 at 18:42, law@redhat.com wrote:
> It seems to me that to do that he must first take the affected variables
> out of SSA form. Otherwise how does the renamer know which instance of
> "a" ought to be used?
>
If you mark a _DECL to be renamed, the renamer itself strips the
SSA_NAME wrappers. Or you mean *really* taking the variable out of SSA
form?
In this case, the renamer should never use the version of 'a' on the LHS
of the assignment, as it comes from the same statement.
Diego.