diff options
| author | kenner <kenner@138bc75d-0d04-0410-961f-82ee72b054a4> | 1994-03-11 13:29:36 +0000 |
|---|---|---|
| committer | kenner <kenner@138bc75d-0d04-0410-961f-82ee72b054a4> | 1994-03-11 13:29:36 +0000 |
| commit | 50dfbc2acd8d5c4b4d3694788cd1bb7fe9ca9128 (patch) | |
| tree | 98bfa7e196cd47ea775b341eb2d86294694a6c36 /gcc/jump.c | |
| parent | d04239cbe3aa2a7103c65dd087804e871600b895 (diff) | |
| download | gcc-50dfbc2acd8d5c4b4d3694788cd1bb7fe9ca9128.tar.gz | |
(jump_optimize): Delete REG_LABEL note if label no longer in insn.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@6745 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/jump.c')
| -rw-r--r-- | gcc/jump.c | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/gcc/jump.c b/gcc/jump.c index 1129b6d1277..a69ca799298 100644 --- a/gcc/jump.c +++ b/gcc/jump.c @@ -143,7 +143,7 @@ jump_optimize (f, cross_jump, noop_moves, after_regscan) int noop_moves; int after_regscan; { - register rtx insn, next; + register rtx insn, next, note; int changed; int first = 1; int max_uid = 0; @@ -151,7 +151,8 @@ jump_optimize (f, cross_jump, noop_moves, after_regscan) cross_jump_death_matters = (cross_jump == 2); - /* Initialize LABEL_NUSES and JUMP_LABEL fields. */ + /* Initialize LABEL_NUSES and JUMP_LABEL fields. Delete any REG_LABEL + notes whose labels don't occur in the insn any more. */ for (insn = f; insn; insn = NEXT_INSN (insn)) { @@ -159,6 +160,15 @@ jump_optimize (f, cross_jump, noop_moves, after_regscan) LABEL_NUSES (insn) = (LABEL_PRESERVE_P (insn) != 0); else if (GET_CODE (insn) == JUMP_INSN) JUMP_LABEL (insn) = 0; + else if (GET_CODE (insn) == INSN || GET_CODE (insn) == CALL_INSN) + for (note = REG_NOTES (insn); note; note = next) + { + next = XEXP (note, 1); + if (REG_NOTE_KIND (note) == REG_LABEL + && ! reg_mentioned_p (XEXP (note, 0), PATTERN (insn))) + remove_note (insn, note); + } + if (INSN_UID (insn) > max_uid) max_uid = INSN_UID (insn); } |