diff options
| author | Bernd Schmidt <bernds@redhat.co.uk> | 2000-11-27 14:42:54 +0000 |
|---|---|---|
| committer | Bernd Schmidt <bernds@gcc.gnu.org> | 2000-11-27 14:42:54 +0000 |
| commit | 7dbe6ae9b3232d6ff940ef8c6a65381e291154cd (patch) | |
| tree | 6d154dfc6c0730c4f7ae41a405ed947c335379a8 | |
| parent | 76e57b458976f18172c6e0ac1cffea3e6b6a1e24 (diff) | |
| download | gcc-7dbe6ae9b3232d6ff940ef8c6a65381e291154cd.zip gcc-7dbe6ae9b3232d6ff940ef8c6a65381e291154cd.tar.gz gcc-7dbe6ae9b3232d6ff940ef8c6a65381e291154cd.tar.bz2 | |
Re-apply an earlier fix, with a small update
From-SVN: r37794
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/loop.c | 36 |
2 files changed, 26 insertions, 15 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 9858a21..6e8fd89 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -12,6 +12,11 @@ htab_find_slot_with_hash. (cselib_lookup): Likewise. + Based on a patch from Geoff Keating <geoffk@redhat.com>: + * loop.c (basic_induction_var): If a REG is set from something + that is not a biv, then the REG is not a biv. Even if it is + earlier set from something that is a biv. + 2000-11-27 Alexandre Oliva <aoliva@redhat.com> * configure.in (extra_objs): Enclose extra_headers in quotes. @@ -5467,6 +5467,7 @@ basic_induction_var (loop, x, mode, dest_reg, p, inc_val, mult_val, location) insn = p; while (1) { + rtx dest; do { insn = PREV_INSN (insn); @@ -5479,21 +5480,26 @@ basic_induction_var (loop, x, mode, dest_reg, p, inc_val, mult_val, location) set = single_set (insn); if (set == 0) break; - - if ((SET_DEST (set) == x - || (GET_CODE (SET_DEST (set)) == SUBREG - && (GET_MODE_SIZE (GET_MODE (SET_DEST (set))) - <= UNITS_PER_WORD) - && (GET_MODE_CLASS (GET_MODE (SET_DEST (set))) - == MODE_INT) - && SUBREG_REG (SET_DEST (set)) == x)) - && basic_induction_var (loop, SET_SRC (set), - (GET_MODE (SET_SRC (set)) == VOIDmode - ? GET_MODE (x) - : GET_MODE (SET_SRC (set))), - dest_reg, insn, - inc_val, mult_val, location)) - return 1; + dest = SET_DEST (set); + if (dest == x + || (GET_CODE (dest) == SUBREG + && (GET_MODE_SIZE (GET_MODE (dest)) <= UNITS_PER_WORD) + && (GET_MODE_CLASS (GET_MODE (dest)) == MODE_INT) + && SUBREG_REG (dest) == x)) + return basic_induction_var (loop, SET_SRC (set), + (GET_MODE (SET_SRC (set)) == VOIDmode + ? GET_MODE (x) + : GET_MODE (SET_SRC (set))), + dest_reg, insn, + inc_val, mult_val, location); + + while (GET_CODE (dest) == SIGN_EXTRACT + || GET_CODE (dest) == ZERO_EXTRACT + || GET_CODE (dest) == SUBREG + || GET_CODE (dest) == STRICT_LOW_PART) + dest = XEXP (dest, 0); + if (dest == x) + break; } /* Fall through. */ |