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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@163144 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 6b8a4da..61f5314 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,10 @@
 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.
 
 2010-08-02  Sebastian Pop  <sebastian.pop@amd.com>

diff --git a/gcc/ChangeLog.graphite b/gcc/ChangeLog.graphite
index 9eb3ae8..a93e035 100644 (file)
--- a/gcc/ChangeLog.graphite
+++ b/gcc/ChangeLog.graphite
@@ -1,5 +1,10 @@
 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.
 
 2010-07-15  Sebastian Pop  <sebastian.pop@amd.com>

diff --git a/gcc/sese.h b/gcc/sese.h
index 1502cbe..f10030c 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