From: Jakub Jelinek <jakub@redhat.com>
Date: Fri, 2 Jun 2017 08:07:15 +0000 (+0200)
Subject: re PR rtl-optimization/80903 (ICE: internal consistency failure (error: invalid rtl... 
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=74b4885d944854e7a8c032cb169a5c6f4d6e4058;p=gcc.git

re PR rtl-optimization/80903 (ICE: internal consistency failure (error: invalid rtl sharing found in the insn))

	PR rtl-optimization/80903
	* loop-doloop.c (add_test): Unshare sequence.

	* gcc.dg/pr80903.c: New test.

From-SVN: r248815
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 3700ebc087a..f44c2b829f6 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2017-06-02  Jakub Jelinek  <jakub@redhat.com>
+
+	PR rtl-optimization/80903
+	* loop-doloop.c (add_test): Unshare sequence.
+
 2017-06-02  Bernd Edlinger  <bernd.edlinger@hotmail.de>
 
 	* doc/invoke.texi: Document the -Wsizeof-pointer-div warning.
diff --git a/gcc/loop-doloop.c b/gcc/loop-doloop.c
index 3483000aa97..c018e2ce634 100644
--- a/gcc/loop-doloop.c
+++ b/gcc/loop-doloop.c
@@ -367,6 +367,7 @@ add_test (rtx cond, edge *e, basic_block dest)
     }
 
   seq = get_insns ();
+  unshare_all_rtl_in_chain (seq);
   end_sequence ();
 
   /* There always is at least the jump insn in the sequence.  */
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index a111f2b80bc..dc6cdcd3606 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,8 @@
 2017-06-02  Jakub Jelinek  <jakub@redhat.com>
 
+	PR rtl-optimization/80903
+	* gcc.dg/pr80903.c: New test.
+
 	PR fortran/80918
 	* gfortran.dg/gomp/pr80918.f90: New test.
 
diff --git a/gcc/testsuite/gcc.dg/pr80903.c b/gcc/testsuite/gcc.dg/pr80903.c
new file mode 100644
index 00000000000..73d44b0dc45
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr80903.c
@@ -0,0 +1,34 @@
+/* PR rtl-optimization/80903 */
+/* { dg-do compile } */
+/* { dg-options "-O3 -funroll-loops" } */
+
+short int a;
+
+void
+foo (int x, short int y, short int z)
+{
+  if (y != 0)
+    {
+      const short int b = 37;
+      y = 0;
+      while (y < b)
+	{
+	  while (y < b)
+	    {
+	    lab:
+	      ++y;
+	    }
+	  for (y = 0; y < b - 1; ++y)
+	    ;
+	  if (z != 0)
+	    {
+	      --a;
+	      y *= a;
+	    }
+	  z = x;
+	}
+      x = 0;
+    }
+
+  goto lab;
+}