RFC -- More problems with disappearing labels

law@redhat.com law@redhat.com
Mon May 14 13:01:00 GMT 2001


  In message < 20010514113034T.mitchell@codesourcery.com >you write:
  > >>>>> "Jeffrey" == Jeffrey A Law <law@cygnus.com> writes:
  > 
  >     Jeffrey> If we deferred cleaup until life analysis, then we could
  >     Jeffrey> actually verify that when we find a dangling REG_LABEL
  >     Jeffrey> note that the destination of set in the insn with the
  >     Jeffrey> REG_LABEL note is never used.
  > 
  > I like this one.
  > 
  > If the block containing the REG_LABEL is reachable, and the register
  > set isn't dead, then we're in trouble, and we should abort.  That
  > seems like a good consistency check.
OK.  I'll go with this one.  It's actually not any harder than the others.
We basically twiddle the code in life analysis to not die when presented
with a deleted label in one place and do a scan over the insns after we've
finished life analysis/dead code elimination searching for dangling
REG_LABEL notes.

jeff



More information about the Gcc mailing list