From: Richard Stallman <rms@gnu.org>
Date: Sat, 26 Sep 1992 22:48:08 +0000 (+0000)
Subject: (eliminate_regs_in_insn): Rerecognize if move insn becomes a non-move.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4a5d0fb5959a5dd39e1fcf765de5912dfb2febd8;p=gcc.git

(eliminate_regs_in_insn): Rerecognize if move insn becomes a non-move.

From-SVN: r2257
---

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);