From ae32f34a96614b4288d7bc57dd0eba14a618d08b Mon Sep 17 00:00:00 2001 From: Richard Henderson Date: Wed, 9 Feb 2000 23:25:24 -0800 Subject: [PATCH] * jump.c (delete_insn): Don't delete user labels at -O0. From-SVN: r31885 --- gcc/ChangeLog | 4 ++++ gcc/jump.c | 20 ++++++++++++-------- 2 files changed, 16 insertions(+), 8 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 8ca5fd9..a7bbcf3 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +2000-02-09 Richard Henderson + + * jump.c (delete_insn): Don't delete user labels at -O0. + 2000-02-09 Robert Lipe * Makefile.in (gen-protos): Don't depend on HOST_LIBDEPS. diff --git a/gcc/jump.c b/gcc/jump.c index 417425d..fcabc27 100644 --- a/gcc/jump.c +++ b/gcc/jump.c @@ -4223,15 +4223,19 @@ delete_insn (insn) if (was_code_label) remove_node_from_expr_list (insn, &nonlocal_goto_handler_labels); - /* Don't delete user-declared labels. Convert them to special NOTEs - instead. */ - if (was_code_label && LABEL_NAME (insn) != 0 - && optimize && ! dont_really_delete) + /* Don't delete user-declared labels. When optimizing, convert them + to special NOTEs instead. When not optimizing, leave them alone. */ + if (was_code_label && LABEL_NAME (insn) != 0) { - PUT_CODE (insn, NOTE); - NOTE_LINE_NUMBER (insn) = NOTE_INSN_DELETED_LABEL; - NOTE_SOURCE_FILE (insn) = 0; - dont_really_delete = 1; + if (! optimize) + dont_really_delete = 1; + else if (! dont_really_delete) + { + PUT_CODE (insn, NOTE); + NOTE_LINE_NUMBER (insn) = NOTE_INSN_DELETED_LABEL; + NOTE_SOURCE_FILE (insn) = 0; + dont_really_delete = 1; + } } else /* Mark this insn as deleted. */ -- 2.7.4