@@ -1,3 +1,8 @@
+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-17 Paolo Bonzini <bonzini@gnu.org>
PR c/20385
@@ -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));
}
@@ -1,3 +1,8 @@
+2010-12-22 Sebastian Pop <sebastian.pop@amd.com>
+
+ PR tree-optimization/47019
+ * gfortran.dg/graphite/pr47019.f: New.
+
2010-12-17 Paolo Bonzini <bonzini@gnu.org>
PR c/20385
new file mode 100644
@@ -0,0 +1,12 @@
+! { 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