New SCoPDetection detects first SCoPs.regtest/success/2010_09_02_22_00_41
commitec1ef8ddc953cb2e4167f451ee318e76c208a237
authorgrosser <grosser@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 2 Sep 2010 19:57:09 +0000 (2 19:57 +0000)
committergrosser <grosser@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 2 Sep 2010 19:57:09 +0000 (2 19:57 +0000)
treea7f86dc6cfd4fc81862e8d54496ed6074f1bb65b
parentbe3d0bab38ae73139475d78fc00061293ac0fcbc
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/graphite@163791 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog.graphite
gcc/graphite-scop-detection.c