> No, DELETED_LABEL notes still work just fine. It depends on how you > remove the label and replace it with a note, and Tom isn't showing > what he did, so...
I agree that there is no obvious reason why just calling delete_insn would not work, so this should be investigated first. -- Eric Botcazou