This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Tree-SSA self checking infrastructure
> On Wed, 2003-11-19 at 16:33, Jan Hubicka wrote:
>
> > > Yes. I don't know anything about tree sharing rules. I expect we
> > > can't share much.
> >
> > I think we do pretty heavy shaing via CCP that does move around the
> > constant PLUS_EXPRs and friends. I am not even aware of way to copy
> > tree expressions.
> >
> Eh, no. That shouldn't happen. We share only DECLs and perhaps
> constants. In particular, we should not be sharing expressions that are
> going to be re-written. Otherwise the SSA renamer pass munges up the
> program real good.
>
>
> > THis is nice, however
> > I am mostly concerned about constants like &a+8 and so.
> > We are allowing them as gimple operands, or did you changed this?
> >
> &a+8 should be a gimple_val, yes. We were missing an obvious VUSE when
> used as a CALL_EXPR argument. I thought you had fixed that (or did it
> get reverted as well?).
Yes, you did reverted that too. I am going to send the bugfix part of
patch again at friday. (likely I can't do full testing before that)
Honza
>
>
> Diego.