re PR tree-optimization/82321 (ICE in check_loop_closed_ssa_use, at tree-ssa-loop-manip.c:707)

2017-09-26  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/82321
	* graphite.c (canonicalize_loop_closed_ssa): Properly check
	for the def being inside the loop.

	* gcc.dg/graphite/pr82321.c: New testcase.

From-SVN: r253199

gcc/ChangeLog

+2017-09-26  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/82321
+	* graphite.c (canonicalize_loop_closed_ssa): Properly check
+	for the def being inside the loop.
+
 2017-09-26  Andreas Krebbel  <krebbel@linux.vnet.ibm.com>
 
 	* config/s390/vx-builtins.md ("vmslg"): Add missing operand in

gcc/graphite.c

@@ -326,7 +326,9 @@ canonicalize_loop_closed_ssa (loop_p loop)
 
 	  /* Only add close phi nodes for SSA_NAMEs defined in LOOP.  */
 	  if (TREE_CODE (arg) != SSA_NAME
-	      || loop_containing_stmt (SSA_NAME_DEF_STMT (arg)) != loop)
+	      || SSA_NAME_IS_DEFAULT_DEF (arg)
+	      || ! flow_bb_inside_loop_p (loop,
+					  gimple_bb (SSA_NAME_DEF_STMT (arg))))
 	    continue;
 
 	  tree res = copy_ssa_name (arg);

gcc/testsuite/ChangeLog

+2017-09-26  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/82321
+	* gcc.dg/graphite/pr82321.c: New testcase.
+
 2017-09-26  Andreas Krebbel  <krebbel@linux.vnet.ibm.com>
 
 	* lib/target-supports.exp: Enable tests for S/390.

gcc/testsuite/gcc.dg/graphite/pr82321.c

+/* { dg-do compile } */
+/* { dg-options "-O2 -floop-nest-optimize" } */
+
+int y8;
+
+void
+dm (int io)
+{
+  if (y8 != 0)
+    {
+      int pu = 1;
+
+      while (io < 2)
+	{
+	  int xo = (pu != 0) ? y8 : 0;
+
+	  while (y8 != 0)
+	    if (xo != 0)
+	      {
+gi:
+		xo = (__INTPTR_TYPE__)&io;
+		pu = 0;
+	      }
+	}
+    }
+
+  if (io != 0)
+    {
+      y8 = 1;
+      while (y8 != 0)
+	if (io / !y8 != 0)
+	  y8 = 0;
+
+      goto gi;
+    }
+}