re PR target/89474 (ice in df_reg_chain_verify_unmarked, at df-scan.c:3995)

	PR target/89474
	* config/i386/i386.c (remove_partial_avx_dependency): Call
	df_analyze etc. before creation of the v4sf_const0 pseudo, rather than
	after changing possibly many instructions to use that pseudo.  Fix up
	insertion of v4sf_const0 setter at the start of bb.

	* gcc.target/i386/pr89474.c: New test.

From-SVN: r269206

5 files changed, 56 insertions, 17 deletions

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 9450599..fdc72bb 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,13 +1,19 @@
+2019-02-26  Jakub Jelinek  <jakub@redhat.com>
+
+	PR target/89474
+	* config/i386/i386.c (remove_partial_avx_dependency): Call
+	df_analyze etc. before creation of the v4sf_const0 pseudo, rather than
+	after changing possibly many instructions to use that pseudo.  Fix up
+	insertion of v4sf_const0 setter at the start of bb.
+
 2019-02-25  Sandra Loosemore  <sandra@codesourcery.com>
 
 	PR c/80409
-
 	* doc/extend.texi (Variadic Pointer Args): New section.
 
 2019-02-25  Sandra Loosemore  <sandra@codesourcery.com>
 	    Martin Sebor  <msebor@gmail.com>
 
-	* c-family/c.opt (Wmissing-attributes): Clean up doc string.
 	* common.opt (Wattribute-alias): Likewise.
 	* doc/invoke.texi (Option Summary): List general form of
 	-Wattribute-alias=.  List positive form of -Wmissing-attributes.
@@ -18,8 +24,6 @@
 
 2019-02-25  Paul A. Clarke  <pc@us.ibm.com>
 
-[gcc]
-
 	* config/rs6000/emmintrin.h (_mm_cvtpd_epi32): Fix big endian.
 	(_mm_cvtpd_ps): Likewise.
 	(_mm_cvttpd_epi32): Likewise.
@@ -31,7 +35,6 @@
 	PR target/89339
 	* config/rs6000/xmmintrin.h (_mm_movemask_pi8): Fix 32-bit.
 
-
 2019-02-25  Tamar Christina  <tamar.christina@arm.com>
 
 	PR target/88530
@@ -95,7 +98,6 @@
 	vfmlalq_lane_high_f16, vfmlslq_lane_high_f16, vfmlalq_laneq_high_f16,
 	vfmlslq_laneq_high_f16): ... To this.
 
-
 2019-02-25  Alexander Monakov  <amonakov@ispras.ru>
 
 	PR rtl-optimization/86096
diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index 72d4fd2..da8918c 100644
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,8 @@
+2019-02-25  Sandra Loosemore  <sandra@codesourcery.com>
+	    Martin Sebor  <msebor@gmail.com>
+
+	* c.opt (Wmissing-attributes): Clean up doc string.
+
 2019-02-25  Jakub Jelinek  <jakub@redhat.com>
 
 	PR c/89495
diff --git a/gcc/config/i386/i386.c b/gcc/config/i386/i386.c
index e77653d..b8357a7 100644
--- a/gcc/config/i386/i386.c
+++ b/gcc/config/i386/i386.c
@@ -2835,7 +2835,14 @@ remove_partial_avx_dependency (void)
 	    continue;
 
 	  if (!v4sf_const0)
-	    v4sf_const0 = gen_reg_rtx (V4SFmode);
+	    {
+	      calculate_dominance_info (CDI_DOMINATORS);
+	      df_set_flags (DF_DEFER_INSN_RESCAN);
+	      df_chain_add_problem (DF_DU_CHAIN | DF_UD_CHAIN);
+	      df_md_add_problem ();
+	      df_analyze ();
+	      v4sf_const0 = gen_reg_rtx (V4SFmode);
+	    }
 
 	  /* Convert PARTIAL_XMM_UPDATE_TRUE insns, DF -> SF, SF -> DF,
 	     SI -> SF, SI -> DF, DI -> SF, DI -> DF, to vec_dup and
@@ -2883,12 +2890,6 @@ remove_partial_avx_dependency (void)
 
   if (v4sf_const0)
     {
-      calculate_dominance_info (CDI_DOMINATORS);
-      df_set_flags (DF_DEFER_INSN_RESCAN);
-      df_chain_add_problem (DF_DU_CHAIN | DF_UD_CHAIN);
-      df_md_add_problem ();
-      df_analyze ();
-
       /* (Re-)discover loops so that bb->loop_father can be used in the
 	 analysis below.  */
       loop_optimizer_init (AVOID_CFG_MODIFICATIONS);
@@ -2904,11 +2905,23 @@ remove_partial_avx_dependency (void)
 	bb = get_immediate_dominator (CDI_DOMINATORS,
 				      bb->loop_father->header);
 
-      insn = BB_HEAD (bb);
-      if (!NONDEBUG_INSN_P (insn))
-	insn = next_nonnote_nondebug_insn (insn);
       set = gen_rtx_SET (v4sf_const0, CONST0_RTX (V4SFmode));
-      set_insn = emit_insn_before (set, insn);
+
+      insn = BB_HEAD (bb);
+      while (insn && !NONDEBUG_INSN_P (insn))
+	{
+	  if (insn == BB_END (bb))
+	    {
+	      insn = NULL;
+	      break;
+	    }
+	  insn = NEXT_INSN (insn);
+	}
+      if (insn == BB_HEAD (bb))
+        set_insn = emit_insn_before (set, insn);
+      else
+	set_insn = emit_insn_after (set,
+				    insn ? PREV_INSN (insn) : BB_END (bb));
       df_insn_rescan (set_insn);
       df_process_deferred_rescans ();
       loop_optimizer_finalize ();
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index dcd7c67..3c90c8d 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2019-02-26  Jakub Jelinek  <jakub@redhat.com>
+
+	PR target/89474
+	* gcc.target/i386/pr89474.c: New test.
+
 2019-02-25  Jakub Jelinek  <jakub@redhat.com>
 
 	PR c/77754
diff --git a/gcc/testsuite/gcc.target/i386/pr89474.c b/gcc/testsuite/gcc.target/i386/pr89474.c
new file mode 100644
index 0000000..7d0dd9e
--- /dev/null
+++ b/gcc/testsuite/gcc.target/i386/pr89474.c
@@ -0,0 +1,14 @@
+/* PR target/89474 */
+/* { dg-do compile } */
+/* { dg-options "-O2 -mavx" } */
+
+int a;
+void foo (double);
+int baz (void);
+
+void
+bar (void)
+{
+  while (baz ())
+    foo (a);
+}