From 4a5d0fb5959a5dd39e1fcf765de5912dfb2febd8 Mon Sep 17 00:00:00 2001 From: Richard Stallman Date: Sat, 26 Sep 1992 22:48:08 +0000 Subject: [PATCH] (eliminate_regs_in_insn): Rerecognize if move insn becomes a non-move. From-SVN: r2257 --- gcc/reload1.c | 16 ++++++++++++++-- 1 file changed, 14 insertions(+), 2 deletions(-) diff --git a/gcc/reload1.c b/gcc/reload1.c index a6d95efb842..42dedcaf917 100644 --- a/gcc/reload1.c +++ b/gcc/reload1.c @@ -2987,9 +2987,21 @@ eliminate_regs_in_insn (insn, replace) new_body = eliminate_regs (old_body, 0, replace ? insn : NULL_RTX); if (new_body != old_body) { - if (GET_CODE (old_body) != SET || GET_CODE (SET_SRC (old_body)) != PLUS - || ! validate_change (insn, &PATTERN (insn), new_body, 0)) + /* If we had a move insn but now we don't, rerecognize it. */ + if (GET_CODE (old_body) == SET && GET_CODE (SET_SRC (old_body)) == REG + && (GET_CODE (new_body) != SET + || GET_CODE (SET_SRC (new_body)) != REG)) + { + if (! validate_change (insn, &PATTERN (insn), new_body, 0)) + abort (); + } + /* If this was not a move insn, rerecognize. */ + else if (GET_CODE (old_body) != SET + || GET_CODE (SET_SRC (old_body)) != PLUS + || ! validate_change (insn, &PATTERN (insn), new_body, 0)) PATTERN (insn) = new_body; + /* ??? Is it really correct to store the new body anyway + if validate_change fails? Shouldn't this abort instead? */ if (replace && REG_NOTES (insn)) REG_NOTES (insn) = eliminate_regs (REG_NOTES (insn), 0, NULL_RTX); -- 2.30.2