Introduce layered SCoP detection and data reference building.
commitd13758912310592fe04c34eb6f90c9caaf3bd8af
authorgrosser <grosser@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 7 May 2009 07:46:29 +0000 (7 07:46 +0000)
committergrosser <grosser@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 7 May 2009 07:46:29 +0000 (7 07:46 +0000)
tree2a60696fa889eedb61dc6fcefdebd94e7766b9a0
parenta901062b32a59c5e2f1e889313a6b9f004a2d201
Introduce layered SCoP detection and data reference building.

2009-05-07  Tobias Grosser  <grosser@fim.uni-passau.de>

* graphite-scop-detection.c (graphite_can_represent_scev): Only
allow integer constant strides.
(graphite_can_represent_expr): Depend on outermost_loop.
(stmt_simple_memref_p, graphite_cannot_represent_loop,
harmful_stmt_in_bb, is_simple_operand, stmt_simple_for_scop_p,
build_scops_1): Same.
(scopdet_basic_block_info): Same and insert layered SCoP
detection.
  (try_generate_gimple_bb): Cleanup.
(build_scops): Enable data references.

* testsuite/gcc.dg/graphite/id-5.c: New.
* testsuite/gcc.dg/graphite/id-9.c: New.
* tree-chrec.c (evolution_function_right_is_integer_cst): New.
* tree-chrec.h (evolution_function_right_is_integer_cst): New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/graphite@147219 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog.graphite
gcc/graphite-scop-detection.c
gcc/graphite-sese-to-poly.c
gcc/testsuite/gcc.dg/graphite/id-5.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/graphite/id-9.c [new file with mode: 0644]
gcc/tree-chrec.c
gcc/tree-chrec.h