a scalar depending on vdefs in the current region is not invariant

When a scalar is defined in function of an array reference in the current scop,
it does variate.  Graphite cannot represent the condition in scop-11.c, as a[*]
variates in the current region, and it is not an affine condition:

  for (j = 0; j <= 20; j++)
    a[j] = b + i;

  if (a[12] == 23)
    b = 3;
  else
    b = 1;

  for (j = 0; j <= 20; j++)
    a[j] = b + i;

	* graphite-scop-detection.c (parameter_index_in_region): Update call to
	invariant_in_sese_p_rec.
	* graphite-sese-to-poly.c (extract_affine): Same.
	* sese.c (invariant_in_sese_p_rec): Pass in an extra parameter has_vdefs.
	(scalar_evolution_in_region): Return chrec_dont_know when the scalar variable
	depends on virtual definitions in the current region.
	* sese.h (invariant_in_sese_p_rec): Update declaration.

testsuite/
	* gcc.dg/graphite/scop-11.c: Update pattern.

Co-Authored-By: Sebastian Pop <s.pop@samsung.com>

From-SVN: r229151

0 files changed, 0 insertions, 0 deletions