From: Richard Stallman <rms@gnu.org>
Date: Sun, 27 Sep 1992 03:28:28 +0000 (+0000)
Subject: (eliminate_regs_in_insn): If recognition fails on modified insn,
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0ba846c771eba2229f64fc22b3bf86ceb70e4557;p=gcc.git

(eliminate_regs_in_insn): If recognition fails on modified insn,

go ahead and modify just the same.

From-SVN: r2258
---

diff --git a/gcc/reload1.c b/gcc/reload1.c
index 42dedcaf917..2d6b43bce23 100644
--- a/gcc/reload1.c
+++ b/gcc/reload1.c
@@ -2988,20 +2988,22 @@ eliminate_regs_in_insn (insn, replace)
   if (new_body != old_body)
     {
       /* 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 ((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 this was an add insn before, rerecognize.  */
+	  ||
+	  (GET_CODE (old_body) == SET
+	   && GET_CODE (SET_SRC (old_body)) == PLUS))
 	{
 	  if (! validate_change (insn, &PATTERN (insn), new_body, 0))
-	    abort ();
+	    /* If recognition fails, store the new body anyway.
+	       It's normal to have recognition failures here
+	       due to bizarre memory addresses; reloading will fix them.  */
+	    PATTERN (insn) = new_body;
 	}
-      /* 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))
+      else
 	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);