[tcb] Incremental SSA updates

Daniel Berlin dberlin@dberlin.org
Fri Feb 11 19:53:00 GMT 2005


On Fri, 2005-02-11 at 15:37 +0100, Zdenek Dvorak wrote:
> Hello,
> > I believe we went over this before. you aren't actually interpreting the
> > code correctly, because that's not where the real bug is.
> > The mark_for_rewrite call you removed was there to keep it from
> > releasing the phi node names while we moved them.  If you don't have it,
> > it will simply release them when we remove the phi nodes from one block,
> > and then they get reused, but are still referenced in the copies we
> > moved, as well as wherever else they got reused, which is the real
> > reason why you get verify_ssa failures.
> 
> no, I have solved this problem (I simply set PHI_RESULT of the removed
> phi to NULL before releasing it). This is something entirely different.

On what exact testcase does it now fail that it did not before?
I will simply try the same trick on the current code, and see if it
works there, to see if it actually is something entirely different.



More information about the Gcc-patches mailing list