diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index ecf9d744f6c..e9d07781679 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-05-31  Martin Jambor  <mjambor@suse.cz>
 
         Backport from mainline
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 14c4edbe282..bb3e752f41f 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;
+}