From: Sebastian Pop <sebastian.pop@amd.com>
Date: Wed, 25 Nov 2009 04:30:10 +0000 (+0000)
Subject: tree-scalar-evolution.c (instantiate_scev_poly): New.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ec6636ebd828017e1af5b0515cf48149b13003b7;p=gcc.git

tree-scalar-evolution.c (instantiate_scev_poly): New.

2009-09-01  Sebastian Pop  <sebastian.pop@amd.com>

	* tree-scalar-evolution.c (instantiate_scev_poly): New.
	(instantiate_scev_1): Move code in instantiate_scev_poly.

From-SVN: r154536
---

diff --git a/gcc/ChangeLog.graphite b/gcc/ChangeLog.graphite
index 72ed8cd8324..d4227df59a5 100644
--- a/gcc/ChangeLog.graphite
+++ b/gcc/ChangeLog.graphite
@@ -1,3 +1,8 @@
+2009-09-01  Sebastian Pop  <sebastian.pop@amd.com>
+
+	* tree-scalar-evolution.c (instantiate_scev_poly): New.
+	(instantiate_scev_1): Move code in instantiate_scev_poly.
+
 2009-09-01  Sebastian Pop  <sebastian.pop@amd.com>
 
 	* tree-scalar-evolution.c (instantiate_scev_bitnot): New.
diff --git a/gcc/tree-scalar-evolution.c b/gcc/tree-scalar-evolution.c
index 6d8bf26c64c..6c9e09193c7 100644
--- a/gcc/tree-scalar-evolution.c
+++ b/gcc/tree-scalar-evolution.c
@@ -2191,6 +2191,47 @@ instantiate_scev_name (basic_block instantiate_below,
 
 }
 
+/* Analyze all the parameters of the chrec, between INSTANTIATE_BELOW
+   and EVOLUTION_LOOP, that were left under a symbolic form.
+
+   CHREC is a polynomial chain of recurrence to be instantiated.
+
+   CACHE is the cache of already instantiated values.
+
+   FOLD_CONVERSIONS should be set to true when the conversions that
+   may wrap in signed/pointer type are folded, as long as the value of
+   the chrec is preserved.
+
+   SIZE_EXPR is used for computing the size of the expression to be
+   instantiated, and to stop if it exceeds some limit.  */
+
+static tree
+instantiate_scev_poly (basic_block instantiate_below,
+		       struct loop *evolution_loop, tree chrec,
+		       bool fold_conversions, htab_t cache, int size_expr)
+{
+  tree op1;
+  tree op0 = instantiate_scev_1 (instantiate_below, evolution_loop,
+				 CHREC_LEFT (chrec), fold_conversions, cache,
+				 size_expr);
+  if (op0 == chrec_dont_know)
+    return chrec_dont_know;
+
+  op1 = instantiate_scev_1 (instantiate_below, evolution_loop,
+			    CHREC_RIGHT (chrec), fold_conversions, cache,
+			    size_expr);
+  if (op1 == chrec_dont_know)
+    return chrec_dont_know;
+
+  if (CHREC_LEFT (chrec) != op0
+      || CHREC_RIGHT (chrec) != op1)
+    {
+      op1 = chrec_convert_rhs (chrec_type (op0), op1, NULL);
+      chrec = build_polynomial_chrec (CHREC_VARIABLE (chrec), op0, op1);
+    }
+  return chrec;
+}
+
 /* Analyze all the parameters of the chrec, between INSTANTIATE_BELOW
    and EVOLUTION_LOOP, that were left under a symbolic form.
 
@@ -2371,25 +2412,8 @@ instantiate_scev_1 (basic_block instantiate_below,
 				    fold_conversions, cache, size_expr);
 
     case POLYNOMIAL_CHREC:
-      op0 = instantiate_scev_1 (instantiate_below, evolution_loop,
-				CHREC_LEFT (chrec), fold_conversions, cache,
-				size_expr);
-      if (op0 == chrec_dont_know)
-	return chrec_dont_know;
-
-      op1 = instantiate_scev_1 (instantiate_below, evolution_loop,
-				CHREC_RIGHT (chrec), fold_conversions, cache,
-				size_expr);
-      if (op1 == chrec_dont_know)
-	return chrec_dont_know;
-
-      if (CHREC_LEFT (chrec) != op0
-	  || CHREC_RIGHT (chrec) != op1)
-	{
-	  op1 = chrec_convert_rhs (chrec_type (op0), op1, NULL);
-	  chrec = build_polynomial_chrec (CHREC_VARIABLE (chrec), op0, op1);
-	}
-      return chrec;
+      return instantiate_scev_poly (instantiate_below, evolution_loop, chrec,
+				    fold_conversions, cache, size_expr);
 
     case POINTER_PLUS_EXPR:
     case PLUS_EXPR: