re PR libgomp/84466 (libgomp.graphite/force-parallel-8.c fails starting with r257723)

2018-02-27  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/84466
	* graphite-scop-detection.c (scop_detection::stmt_simple_for_scop_p):
	Adjust last change to less strictly validate use operands.

From-SVN: r258035

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index a230b12df57f014a9bc3ae99a4767434f3acdc1d..d4e56b3bd9b15238244a6c0dc0d070e32766f682 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2018-02-27  Richard Biener  <rguenther@suse.de>
+
+       PR tree-optimization/84466
+       * graphite-scop-detection.c (scop_detection::stmt_simple_for_scop_p):
+       Adjust last change to less strictly validate use operands.
+
 2018-02-27  Martin Liska  <mliska@suse.cz>
 
        PR gcov-profile/84548

diff --git a/gcc/graphite-scop-detection.c b/gcc/graphite-scop-detection.c
index 70cb773186ac0014d3d2f3f381fd8c1a5b487595..2331dec69190ea5f07b053da19249392de693efc 100644 (file)
--- a/gcc/graphite-scop-detection.c
+++ b/gcc/graphite-scop-detection.c
@@ -1028,16 +1028,23 @@ scop_detection::stmt_simple_for_scop_p (sese_l scop, gimple *stmt,
     case GIMPLE_ASSIGN:
     case GIMPLE_CALL:
       {
-       tree op;
+       tree op, lhs = gimple_get_lhs (stmt);
        ssa_op_iter i;
+       /* If we are not going to instantiate the stmt do not require
+          its operands to be instantiatable at this point.  */
+       if (lhs
+           && TREE_CODE (lhs) == SSA_NAME
+           && scev_analyzable_p (lhs, scop))
+         return true;
        /* Verify that if we can analyze operands at their def site we
           also can represent them when analyzed at their uses.  */
        FOR_EACH_SSA_TREE_OPERAND (op, stmt, i, SSA_OP_USE)
          if (scev_analyzable_p (op, scop)
-             && !graphite_can_represent_expr (scop, bb->loop_father, op))
+             && chrec_contains_undetermined
+                  (scalar_evolution_in_region (scop, bb->loop_father, op)))
            {
              DEBUG_PRINT (dp << "[scop-detection-fail] "
-                          << "Graphite cannot represent stmt:\n";
+                          << "Graphite cannot code-gen stmt:\n";
                           print_gimple_stmt (dump_file, stmt, 0,
                                              TDF_VOPS | TDF_MEMSYMS));
              return false;