diff options
| author | Richard Earnshaw <rearnsha@arm.com> | 1999-10-21 06:24:03 +0000 |
|---|---|---|
| committer | Jeff Law <law@gcc.gnu.org> | 1999-10-21 00:24:03 -0600 |
| commit | 8e76cd45cdc5777ad7234cb660cdb3a86a9067d2 (patch) | |
| tree | 95080954b2df42c072da61a31c1eb856c22f5bfb | |
| parent | 396f7e1a0fa15400d32fa4e202bb368e6a948ae0 (diff) | |
| download | gcc-8e76cd45cdc5777ad7234cb660cdb3a86a9067d2.zip gcc-8e76cd45cdc5777ad7234cb660cdb3a86a9067d2.tar.gz gcc-8e76cd45cdc5777ad7234cb660cdb3a86a9067d2.tar.bz2 | |
* jump.c (jump_optimize_1): More accurately detect casesi insns.
From-SVN: r30114
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/jump.c | 12 |
2 files changed, 12 insertions, 4 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 093aaf6..35d9c62 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +Wed Oct 20 10:46:41 1999 Richard Earnshaw (rearnsha@arm.com) + + * jump.c (jump_optimize_1): More accurately detect casesi insns. + Wed Oct 20 22:57:58 1999 Jeffrey A Law (law@cygnus.com) * sparc.md (movsf_const_intreg): If splitting, length must be > 1. @@ -371,19 +371,23 @@ jump_optimize_1 (f, cross_jump, noop_moves, after_regscan, mark_labels_only) int diff_vec_p = GET_CODE (PATTERN (insn)) == ADDR_DIFF_VEC; int len = XVECLEN (pat, diff_vec_p); rtx dispatch = prev_real_insn (insn); + rtx set; for (i = 0; i < len; i++) if (XEXP (XVECEXP (pat, diff_vec_p, i), 0) != XEXP (XVECEXP (pat, diff_vec_p, 0), 0)) break; + if (i == len && dispatch != 0 && GET_CODE (dispatch) == JUMP_INSN && JUMP_LABEL (dispatch) != 0 - /* Don't mess with a casesi insn. */ - && !(GET_CODE (PATTERN (dispatch)) == SET - && (GET_CODE (SET_SRC (PATTERN (dispatch))) - == IF_THEN_ELSE)) + /* Don't mess with a casesi insn. + XXX according to the comment before computed_jump_p(), + all casesi insns should be a parallel of the jump + and a USE of a LABEL_REF. */ + && ! ((set = single_set (dispatch)) != NULL + && (GET_CODE (SET_SRC (set)) == IF_THEN_ELSE)) && next_real_insn (JUMP_LABEL (dispatch)) == insn) { redirect_tablejump (dispatch, |