New SCoPDetection detects first SCoPs.

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