re PR tree-optimization/62070 (ICE: verify_ssa failed)

2014-08-11  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/62070
	* tree-ssa-loop-manip.c (gimple_duplicate_loop_to_header_edge):
	Remove SSA checking.

	* gcc.dg/pr62070.c: New testcase.

From-SVN: r213810

gcc/ChangeLog

+2014-08-11  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/62070
+	* tree-ssa-loop-manip.c (gimple_duplicate_loop_to_header_edge):
+	Remove SSA checking.
+
 2014-08-11  Yury Gribov  <y.gribov@samsung.com>
 
 	* asan.c (asan_check_flags): New enum.

gcc/testsuite/ChangeLog

+2014-08-11  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/62070
+	* gcc.dg/pr62070.c: New testcase.
+
 2014-08-11  Yury Gribov  <y.gribov@samsung.com>
 
 	* c-c++-common/asan/inc.c: Update test.

gcc/testsuite/gcc.dg/pr62070.c

+/* { dg-do compile } */
+/* { dg-options "-O3 -fno-tree-vectorize" } */
+
+int in[8][4];
+int out[4];
+
+void
+foo (void)
+{
+  int sum = 1;
+  int i, j, k;
+  for (k = 0; k < 4; k++)
+    {
+      for (j = 0; j < 4; j++)
+	for (i = 0; i < 4; i++)
+	  sum *= in[i + k][j];
+      out[k] = sum;
+    }
+}

gcc/tree-ssa-loop-manip.c

@@ -761,17 +761,6 @@ gimple_duplicate_loop_to_header_edge (struct loop *loop, edge e,
   if (!loops_state_satisfies_p (LOOPS_HAVE_PREHEADERS))
     return false;
 
-#ifdef ENABLE_CHECKING
-  /* ???  This forces needless update_ssa calls after processing each
-     loop instead of just once after processing all loops.  We should
-     instead verify that loop-closed SSA form is up-to-date for LOOP
-     only (and possibly SSA form).  For now just skip verifying if
-     there are to-be renamed variables.  */
-  if (!need_ssa_update_p (cfun)
-      && loops_state_satisfies_p (LOOP_CLOSED_SSA))
-    verify_loop_closed_ssa (true);
-#endif
-
   first_new_block = last_basic_block_for_fn (cfun);
   if (!duplicate_loop_to_header_edge (loop, e, ndupl, wont_exit,
 				      orig, to_remove, flags))