From: Jakub Jelinek <jakub@redhat.com>
Date: Tue, 24 Apr 2018 07:40:04 +0000 (+0200)
Subject: re PR target/84828 (ICE in verify_flow_info at gcc/cfghooks.c:265)
X-Git-Tag: basepoints/gcc-9~20
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b72139eac230616ab92636cd0195b44eb235d23f;p=thirdparty%2Fgcc.git

re PR target/84828 (ICE in verify_flow_info at gcc/cfghooks.c:265)

	PR target/84828
	* reg-stack.c (move_for_stack_reg): Don't fail assertion about dead
	destination if any_malformed_asm.

From-SVN: r259591
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 833601a038e2..d9e5c6f47aec 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2018-04-24  Jakub Jelinek  <jakub@redhat.com>
+
+	PR target/84828
+	* reg-stack.c (move_for_stack_reg): Don't fail assertion about dead
+	destination if any_malformed_asm.
+
 2018-04-23  Eric Botcazou  <ebotcazou@adacore.com>
 
 	PR middle-end/85496
diff --git a/gcc/reg-stack.c b/gcc/reg-stack.c
index 73bb4fcf65d9..519ea6df75c2 100644
--- a/gcc/reg-stack.c
+++ b/gcc/reg-stack.c
@@ -1105,13 +1105,16 @@ move_for_stack_reg (rtx_insn *insn, stack_ptr regstack, rtx pat)
 	}
 
       /* The destination ought to be dead.  */
-      gcc_assert (get_hard_regnum (regstack, dest) < FIRST_STACK_REG);
-
-      replace_reg (psrc, get_hard_regnum (regstack, src));
+      if (get_hard_regnum (regstack, dest) >= FIRST_STACK_REG)
+	gcc_assert (any_malformed_asm);
+      else
+	{
+	  replace_reg (psrc, get_hard_regnum (regstack, src));
 
-      regstack->reg[++regstack->top] = REGNO (dest);
-      SET_HARD_REG_BIT (regstack->reg_set, REGNO (dest));
-      replace_reg (pdest, FIRST_STACK_REG);
+	  regstack->reg[++regstack->top] = REGNO (dest);
+	  SET_HARD_REG_BIT (regstack->reg_set, REGNO (dest));
+	  replace_reg (pdest, FIRST_STACK_REG);
+	}
     }
   else if (STACK_REG_P (src))
     {