A function is affine when CHREC_RIGHT is invariant.

2010-08-20  Sebastian Pop  <sebastian.pop@amd.com>

	* tree-chrec.h (evolution_function_is_affine_p): Do not check
	whether CHREC_LEFT is invariant.  A function is affine when
	CHREC_RIGHT is invariant.

From-SVN: r164788

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 52e75658a24f60bd2569d25962c7398f9b7f6e01..fa87e2746e1796eba3f099eb074bd02947ac2ca6 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2010-09-30  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * tree-chrec.h (evolution_function_is_affine_p): Do not check
+       whether CHREC_LEFT is invariant.  A function is affine when
+       CHREC_RIGHT is invariant.
+
 2010-09-30  Sebastian Pop  <sebastian.pop@amd.com>
 
        * graphite-sese-to-poly.c (reduction_phi_p): Remove check for

diff --git a/gcc/ChangeLog.graphite b/gcc/ChangeLog.graphite
index e48ee07472bbdf6c1e7d79b6fbdb74ac9f55ad93..93b999d308a1ef595e20bb7a21069f5b3c723ed3 100644 (file)
--- a/gcc/ChangeLog.graphite
+++ b/gcc/ChangeLog.graphite
@@ -1,3 +1,9 @@
+2010-08-20  Sebastian Pop  <sebastian.pop@amd.com>
+
+       * tree-chrec.h (evolution_function_is_affine_p): Do not check
+       whether CHREC_LEFT is invariant.  A function is affine when
+       CHREC_RIGHT is invariant.
+
 2010-08-20  Sebastian Pop  <sebastian.pop@amd.com>
 
        * graphite-sese-to-poly.c (reduction_phi_p): Remove check for

diff --git a/gcc/tree-chrec.h b/gcc/tree-chrec.h
index eb60ac9460170c5849abefbd72a7bd75c0525b1e..58b14e7dc5bf3f84e072e953b7c7c84febec1629 100644 (file)
--- a/gcc/tree-chrec.h
+++ b/gcc/tree-chrec.h
@@ -202,23 +202,10 @@ evolution_function_is_affine_in_loop (const_tree chrec, int loopnum)
 static inline bool
 evolution_function_is_affine_p (const_tree chrec)
 {
-  if (chrec == NULL_TREE)
-    return false;
-
-  switch (TREE_CODE (chrec))
-    {
-    case POLYNOMIAL_CHREC:
-      if (evolution_function_is_invariant_p (CHREC_LEFT (chrec),
-                                            CHREC_VARIABLE (chrec))
-         && evolution_function_is_invariant_p (CHREC_RIGHT (chrec),
-                                               CHREC_VARIABLE (chrec)))
-       return true;
-      else
-       return false;
-
-    default:
-      return false;
-    }
+  return chrec
+    && TREE_CODE (chrec) == POLYNOMIAL_CHREC
+    && evolution_function_is_invariant_p (CHREC_RIGHT (chrec),
+                                         CHREC_VARIABLE (chrec));
 }
 
 /* Determines whether EXPR does not contains chrec expressions.  */