(eliminate_regs_in_insn): Rerecognize if move insn becomes a non-move.
authorRichard Stallman <rms@gnu.org>
Sat, 26 Sep 1992 22:48:08 +0000 (22:48 +0000)
committerRichard Stallman <rms@gnu.org>
Sat, 26 Sep 1992 22:48:08 +0000 (22:48 +0000)
From-SVN: r2257

gcc/reload1.c

index a6d95efb842568dcecb6c04dfe5352adac1d96f2..42dedcaf9173bda8b3de7d67cb2d8d4d78586c71 100644 (file)
@@ -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);