Unshare create_empty_if_region_on_edge argument

2016-03-14  Tom de Vries  <tom@codesourcery.com>

	PR tree-optimization/70045
	* graphite-isl-ast-to-gimple.c (graphite_create_new_loop_guard): Unshare
	create_empty_if_region_on_edge argument.

	* gcc.dg/graphite/pr70045.c: New test.

From-SVN: r234177

gcc/ChangeLog

+2016-03-14  Tom de Vries  <tom@codesourcery.com>
+
+	PR tree-optimization/70045
+	* graphite-isl-ast-to-gimple.c (graphite_create_new_loop_guard): Unshare
+	create_empty_if_region_on_edge argument.
+
 2016-03-13  Eric Botcazou  <ebotcazou@adacore.com>
 
 	* config/arm/vxworks.h (STACK_CHECK_STATIC_BUILTIN): Define.

gcc/graphite-isl-ast-to-gimple.c

@@ -821,7 +821,8 @@ graphite_create_new_loop_guard (edge entry_edge,
   if (integer_onep (cond_expr))
     exit_edge = entry_edge;
   else
-    exit_edge = create_empty_if_region_on_edge (entry_edge, cond_expr);
+    exit_edge = create_empty_if_region_on_edge (entry_edge,
+						unshare_expr (cond_expr));
 
   return exit_edge;
 }

gcc/testsuite/ChangeLog

+2016-03-14  Tom de Vries  <tom@codesourcery.com>
+
+	PR tree-optimization/70045
+	* gcc.dg/graphite/pr70045.c: New test.
+
 2016-03-13  Jerry DeLisle  <jvdelisle@gcc.gnu.org>
 
 	PR fortran/69043

gcc/testsuite/gcc.dg/graphite/pr70045.c

+/* { dg-do compile } */
+/* { dg-options "-O2 -floop-interchange" } */
+
+int a, b, d, e, f;
+int c[9];
+void
+fn1 ()
+{
+  e = 1;
+  for (; e >= 0; e--)
+    {
+      d = 1;
+      for (; d >= 0; d--)
+	{
+	  f = 0;
+	  for (; f <= 1; f++)
+	    {
+	      a = 0;
+	      for (; a < 9; a++)
+		{
+		  b = 0;
+		  for (; b < 2; b++)
+		    c[a + b] = 3;
+		}
+	    }
+	}
+    }
+}