diff options
| author | Richard Henderson <rth@cygnus.com> | 2000-02-09 23:25:24 -0800 |
|---|---|---|
| committer | Richard Henderson <rth@gcc.gnu.org> | 2000-02-09 23:25:24 -0800 |
| commit | ae32f34a96614b4288d7bc57dd0eba14a618d08b (patch) | |
| tree | 719755901d47e4ebb97cdc359da68c8ca3ce524c /gcc | |
| parent | 7e1878ef57e0ce5845a1b00b019732f2e9979bd7 (diff) | |
| download | gcc-ae32f34a96614b4288d7bc57dd0eba14a618d08b.zip gcc-ae32f34a96614b4288d7bc57dd0eba14a618d08b.tar.gz gcc-ae32f34a96614b4288d7bc57dd0eba14a618d08b.tar.bz2 | |
* jump.c (delete_insn): Don't delete user labels at -O0.
From-SVN: r31885
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rw-r--r-- | 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 <rth@cygnus.com> + + * jump.c (delete_insn): Don't delete user labels at -O0. + 2000-02-09 Robert Lipe <robertl@sco.com> * Makefile.in (gen-protos): Don't depend on HOST_LIBDEPS. @@ -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. */ |