New SCoPDetection detects first SCoPs.

2010-09-02  Vladimir Kargov  <kargov@gmail.com>

	* graphite-scop-detection.c (is_valid_expr_p, is_valid_loop_p): New.
	(is_valid_stmt_p): Add data reference and operation-specific checks.
	(is_valid_bb_p): Change structure, add loop validity check.
	(is_scop_p): Move the TODO list
	(find_scops_new): New.
	(build_scops_new): Move part of functionality to find_scops_new and
	build_scops.  Add necessary steps for successful SCoP construction.
	(build_scops): Compute SCoP sets for both detection algorithms, choose
	the resulting one depending on static condition.

From-SVN: r164796

diff --git a/gcc/ChangeLog.graphite b/gcc/ChangeLog.graphite
index 0ffb9431008136ea3451a945e62927b35055db05..82a67a1509a60e4aeca068d6a1a26d34e31c053f 100644 (file)
--- a/gcc/ChangeLog.graphite
+++ b/gcc/ChangeLog.graphite
@@ -1,3 +1,15 @@
+2010-09-02  Vladimir Kargov  <kargov@gmail.com>
+
+       * graphite-scop-detection.c (is_valid_expr_p, is_valid_loop_p): New.
+       (is_valid_stmt_p): Add data reference and operation-specific checks.
+       (is_valid_bb_p): Change structure, add loop validity check.
+       (is_scop_p): Move the TODO list
+       (find_scops_new): New.
+       (build_scops_new): Move part of functionality to find_scops_new and
+       build_scops.  Add necessary steps for successful SCoP construction.
+       (build_scops): Compute SCoP sets for both detection algorithms, choose
+       the resulting one depending on static condition.
+
 2010-08-24  Sebastian Pop  <sebastian.pop@amd.com>
 
        * graphite-poly.c (graphite_read_scop_file): Fix uninitialize warning.