Scevs could be expressions without chrecs and still be scev_analyzable_p.

2010-07-15  Sebastian Pop  <sebastian.pop@amd.com>

	* sese.h (scev_analyzable_p): Scevs could be expressions without
	chrecs and still be scev_analyzable_p.

From-SVN: r163144

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 6b8a4da2932313588eb50f6fcf33901a870a5111..61f53149dea3ebe07b7764a7aec524d497315862 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2010-08-02  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * sese.h (scev_analyzable_p): Scevs could be expressions without
+       chrecs and still be scev_analyzable_p.
+
 2010-08-02  Sebastian Pop  <sebastian.pop@amd.com>
 
        * params.def (PARAM_SCEV_MAX_EXPR_SIZE): Bump the value to 100.

diff --git a/gcc/ChangeLog.graphite b/gcc/ChangeLog.graphite
index 9eb3ae84a8373a7106a4d358610b4130e304c20a..a93e0357517851d4b888fcc2b2e68158cb3d6ce2 100644 (file)
--- a/gcc/ChangeLog.graphite
+++ b/gcc/ChangeLog.graphite
@@ -1,3 +1,8 @@
+2010-07-15  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * sese.h (scev_analyzable_p): Scevs could be expressions without
+       chrecs and still be scev_analyzable_p.
+
 2010-07-15  Sebastian Pop  <sebastian.pop@amd.com>
 
        * params.def (PARAM_SCEV_MAX_EXPR_SIZE): Bump the value to 100.

diff --git a/gcc/sese.h b/gcc/sese.h
index 1502cbe97f97a1d82514a0cb28d378771f0dbe07..f10030c67a814ea441e694187414d33274684b31 100644 (file)
--- a/gcc/sese.h
+++ b/gcc/sese.h
@@ -398,7 +398,8 @@ scev_analyzable_p (tree def, sese region)
 
   return !chrec_contains_undetermined (scev)
     && TREE_CODE (scev) != SSA_NAME
-    && evolution_function_is_affine_p (scev);
+    && (tree_does_not_contain_chrecs (scev)
+       || evolution_function_is_affine_p (scev));
 }
 
 #endif