From: steven <steven@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Wed, 17 Apr 2013 23:05:59 +0000 (+0000)
Subject: 	* lower-subreg.c (resolve_simple_move): If called self-recursive,
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=c7ee148290115d8ed47f615edba75583a800c870;p=thirdparty%2Fgcc.git

	* lower-subreg.c (resolve_simple_move): If called self-recursive,
	do not delete_insn insns that have not yet been emitted, only
	unlink them with remove_insn.
	* df-scan.c (df_insn_delete): Revert r197492.



git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@198042 138bc75d-0d04-0410-961f-82ee72b054a4
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 19d51f1f5e77..104f3170c74f 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,10 @@
+2013-04-18  Steven Bosscher  <steven@gcc.gnu.org>
+
+	* lower-subreg.c (resolve_simple_move): If called self-recursive,
+	do not delete_insn insns that have not yet been emitted, only
+	unlink them with remove_insn.
+	* df-scan.c (df_insn_delete): Revert r197492.
+
 2013-04-17  Steven Bosscher  <steven@gcc.gnu.org>
 
 	* emit-rtl.c (link_insn_into_chain): Handle chaining of SEQUENCEs.
diff --git a/gcc/df-scan.c b/gcc/df-scan.c
index e8ee1892ef87..3a8e9ca7ec49 100644
--- a/gcc/df-scan.c
+++ b/gcc/df-scan.c
@@ -1158,17 +1158,7 @@ df_insn_delete (rtx insn)
      In any case, we expect BB to be non-NULL at least up to register
      allocation, so disallow a non-NULL BB up to there.  Not perfect
      but better than nothing...  */
-  /* ??? bb can also be NULL if lower-subreg.c:resolve_simple_mov emits
-     an insn into a sequence and then does delete_insn on it.  Not sure
-     if that makes sense, but for now it means this assert cannot work.
-     See PR56738.
-     Disable for now but revisit before the end of GCC 4.9 stage1.  */
-#if 0
   gcc_checking_assert (bb != NULL || reload_completed);
-#else
-  if (bb == NULL)
-    return;
-#endif
 
   df_grow_bb_info (df_scan);
   df_grow_reg_info ();
diff --git a/gcc/lower-subreg.c b/gcc/lower-subreg.c
index 5b5b03fb0bd5..eb22d8c87f57 100644
--- a/gcc/lower-subreg.c
+++ b/gcc/lower-subreg.c
@@ -1069,7 +1069,13 @@ resolve_simple_move (rtx set, rtx insn)
 
   emit_insn_before (insns, insn);
 
-  delete_insn (insn);
+  /* If we get here via self-recutsion, then INSN is not yet in the insns
+     chain and delete_insn will fail.  We only want to remove INSN from the
+     current sequence.  See PR56738.  */
+  if (in_sequence_p ())
+    remove_insn (insn);
+  else
+    delete_insn (insn);
 
   return insns;
 }