diff options
| author | rth <rth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2000-02-10 07:25:24 +0000 |
|---|---|---|
| committer | rth <rth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2000-02-10 07:25:24 +0000 |
| commit | a311e300b17cfd0a3c8de4fd103d78acb6ae9ccd (patch) | |
| tree | 719755901d47e4ebb97cdc359da68c8ca3ce524c | |
| parent | e65966c388583902386677b7e3581beba2752c6a (diff) | |
| download | ppe42-gcc-a311e300b17cfd0a3c8de4fd103d78acb6ae9ccd.tar.gz ppe42-gcc-a311e300b17cfd0a3c8de4fd103d78acb6ae9ccd.zip | |
* jump.c (delete_insn): Don't delete user labels at -O0.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@31885 138bc75d-0d04-0410-961f-82ee72b054a4
| -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 8ca5fd99876..a7bbcf35ec5 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. diff --git a/gcc/jump.c b/gcc/jump.c index 417425d5c82..fcabc27d349 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. */ |
