Fix PR47019: parameters of a SCoP are SCEV analyzable.

2010-12-22  Sebastian Pop  <sebastian.pop@amd.com>

	PR tree-optimization/47019
	* sese.h (scev_analyzable_p): Parameters of a SCoP are SCEV analyzable.

	* gfortran.dg/graphite/pr47019.f: New.

From-SVN: r168182

gcc/ChangeLog

+2010-12-22  Sebastian Pop  <sebastian.pop@amd.com>
+
+	PR tree-optimization/47019
+	* sese.h (scev_analyzable_p): Parameters of a SCoP are SCEV analyzable.
+
 2010-12-22  Nathan Froyd  <froydnj@codesourcery.com>
 
 	* c-aux-info.c (gen_formal_list_for_type): Use prototype_p.

gcc/sese.h

@@ -413,7 +413,8 @@ scev_analyzable_p (tree def, sese region)
   scev = scalar_evolution_in_region (region, loop, def);
 
   return !chrec_contains_undetermined (scev)
-    && TREE_CODE (scev) != SSA_NAME
+    && (TREE_CODE (scev) != SSA_NAME
+	|| !defined_in_sese_p (scev, region))
     && (tree_does_not_contain_chrecs (scev)
 	|| evolution_function_is_affine_p (scev));
 }

gcc/testsuite/ChangeLog

+2010-12-22  Sebastian Pop  <sebastian.pop@amd.com>
+
+	PR tree-optimization/47019
+	* gfortran.dg/graphite/pr47019.f: New.
+
 2010-12-22  Jason Merrill  <jason@redhat.com>
 
 	* g++.dg/init/volatile2.C: New.

gcc/testsuite/gfortran.dg/graphite/pr47019.f

+! { dg-options "-O -ftree-pre -fgraphite-identity -fno-tree-copy-prop" }
+
+      subroutine foo (ldmx,ldmy,v)
+      integer :: ldmx, ldmy, v, l, m
+      dimension v(5,ldmx,ldmy)
+      do m = 5, 1, -1
+        do l = m+1, 5
+          v(m,3,2) = v(1,3,2)
+        end do
+        v(m,3,2) = m
+      end do
+      end