diff --git a/gcc/ChangeLog b/gcc/ChangeLog index cd7336eafb1..5e578ae996e 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,8 @@ 2001-05-21 Richard Henderson + * combine.c (subst): Do not substitute for a register as + a destination subreg/strict_low_part/zero_extract. + * combine.c (simplify_comparison): Update op1 after constant extension. * recog.c (const_int_operand): Accept only constants valid diff --git a/gcc/combine.c b/gcc/combine.c index e3ad70a9604..675b1fe3e91 100644 --- a/gcc/combine.c +++ b/gcc/combine.c @@ -3394,7 +3394,16 @@ subst (x, from, to, in_dest, unique_copy) } else if (fmt[i] == 'e') { - if (COMBINE_RTX_EQUAL_P (XEXP (x, i), from)) + /* If this is a register being set, ignore it. */ + new = XEXP (x, i); + if (in_dest + && (code == SUBREG || code == STRICT_LOW_PART + || code == ZERO_EXTRACT) + && i == 0 + && GET_CODE (new) == REG) + ; + + else if (COMBINE_RTX_EQUAL_P (XEXP (x, i), from)) { /* In general, don't install a subreg involving two modes not tieable. It can worsen register