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/jump.c | |
| 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/jump.c')
| -rw-r--r-- | gcc/jump.c | 20 |
1 files changed, 12 insertions, 8 deletions
@@ -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. */ |