diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 6b9ac6ed1a27fc56e813b0d6df7f6b78973f5605..bff9fd89a99e18659554c95c44861d9ca79eef3a 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2004-02-24 Kazu Hirata <kazu@cs.umass.edu> + + * cse.c (cse_change_cc_mode_insns): Stop at any instruction + which modifies NEWREG. + (cse_condition_code_reg): Update the mode of CC_REG in + CC_SRC_INSN on our own. + 2004-02-24 Michael Matz <matz@suse.de> * config/i386/i386.c (ix86_comp_type_attributes): Check for diff --git a/gcc/cse.c b/gcc/cse.c index 2d560e0d408eabe630dbf1626ac9196b4c50c8c3..20a4b698ab86f306f6cceb85d2722a3891ee7ae0 100644 --- a/gcc/cse.c +++ b/gcc/cse.c @@ -7704,7 +7704,7 @@ cse_change_cc_mode (rtx *loc, void *data) /* Change the mode of any reference to the register REGNO (NEWREG) to GET_MODE (NEWREG), starting at START. Stop before END. Stop at - any instruction after START which modifies NEWREG. */ + any instruction which modifies NEWREG. */ static void cse_change_cc_mode_insns (rtx start, rtx end, rtx newreg) @@ -7716,7 +7716,7 @@ cse_change_cc_mode_insns (rtx start, rtx end, rtx newreg) if (! INSN_P (insn)) continue; - if (insn != start && reg_set_p (newreg, insn)) + if (reg_set_p (newreg, insn)) return; for_each_rtx (&PATTERN (insn), cse_change_cc_mode, newreg); @@ -8008,8 +8008,22 @@ cse_condition_code_reg (void) if (mode != GET_MODE (cc_src)) abort (); if (mode != orig_mode) - cse_change_cc_mode_insns (cc_src_insn, NEXT_INSN (last_insn), - gen_rtx_REG (mode, REGNO (cc_reg))); + { + rtx newreg = gen_rtx_REG (mode, REGNO (cc_reg)); + + /* Change the mode of CC_REG in CC_SRC_INSN to + GET_MODE (NEWREG). */ + for_each_rtx (&PATTERN (cc_src_insn), cse_change_cc_mode, + newreg); + for_each_rtx (®_NOTES (cc_src_insn), cse_change_cc_mode, + newreg); + + /* Do the same in the following insns that use the + current value of CC_REG within BB. */ + cse_change_cc_mode_insns (NEXT_INSN (cc_src_insn), + NEXT_INSN (last_insn), + newreg); + } } } }