diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ceda15c5b4f..be9aee1122f 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2001-09-21 Richard Henderson + + * reload.c (push_secondary_reload): Don't check for "=" in output + constraint after ""->ALL_REGS check. + 2001-09-21 Richard Henderson * predict.c (expected_value_to_br_prob): Use pc_set. diff --git a/gcc/reload.c b/gcc/reload.c index 99e4c6ec027..8e6d2b3afbf 100644 --- a/gcc/reload.c +++ b/gcc/reload.c @@ -381,13 +381,16 @@ push_secondary_reload (in_p, x, opnum, optional, reload_class, reload_mode, insn_class = (insn_letter == 'r' ? GENERAL_REGS : REG_CLASS_FROM_LETTER ((unsigned char) insn_letter)); + + if (insn_class == NO_REGS) + abort (); + if (in_p + && insn_data[(int) icode].operand[!in_p].constraint[0] != '=') + abort (); } - if (insn_class == NO_REGS - || (in_p - && insn_data[(int) icode].operand[!in_p].constraint[0] != '=') - /* The scratch register's constraint must start with "=&". */ - || insn_data[(int) icode].operand[2].constraint[0] != '=' + /* The scratch register's constraint must start with "=&". */ + if (insn_data[(int) icode].operand[2].constraint[0] != '=' || insn_data[(int) icode].operand[2].constraint[1] != '&') abort ();