This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: Tree-SSA self checking infrastructure

From: Richard Henderson <rth at redhat dot com>
To: law at redhat dot com
Cc: Jan Hubicka <hubicka at ucw dot cz>, Jan Hubicka <jh at suse dot cz>, gcc at gcc dot gnu dot org
Date: Wed, 19 Nov 2003 13:45:58 -0800
Subject: Re: Tree-SSA self checking infrastructure
References: <20031119210127.GB31811@redhat.com> <200311192127.hAJLRCrb011997@speedy.slc.redhat.com>

On Wed, Nov 19, 2003 at 02:27:12PM -0700, law@redhat.com wrote:
> So that would mean he needs PHIs for any arguments that are changed which
> reach the loop backedge and for local variables in the toplevel scope
> which have a definition which reaches the backedge.

No local variables should reach the backedge.  If a value
isn't passed as an argument, then it's dead.


r~

References:
- Re: Tree-SSA self checking infrastructure
  - From: Richard Henderson
- Re: Tree-SSA self checking infrastructure
  - From: law

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]