[RFA:] Fix g77.f-torture/compile/970915-0.f, -Os verify_local_live_at_start MMIX
Hans-Peter Nilsson
hp@bitrange.com
Tue Apr 16 13:53:00 GMT 2002
Thanks for the review; I consistently forget to say that.
On Tue, 16 Apr 2002, Richard Henderson wrote:
> That is,
>
> update_life_info (NULL, UPDATE_LIFE_GLOBAL,
> PROP_SCAN_DEAD_CODE
> | PROP_KILL_DEAD_CODE
> | PROP_ALLOW_CFG_CHANGES);
>
> immediately followed by
>
> update_life_info (NULL, UPDATE_LIFE_LOCAL, 0);
>
> must *never* fail the verify_local_live_at_start test.
IIRC that's not what we had in this case; the latter local call
removed dead code too.
In the case at hand, there was a dead store (of an uninitialized
pseudo). The only insn that used that pseudo was the dead store
that wasn't removed due to capping. So G_L_A_S was correct at
that time. On a later *local* revisit, the other dead stores
were gone, so the remaining dead store fit the list and was
discovered. Removing it also caused the pseudo to be removed
from G_L_A_S.
This in rapidly vanishing recollection. I'll revisit the second
inconsistency-causing update_life_info call to see what comes
out.
brgds, H-P
More information about the Gcc-patches
mailing list