From: Sebastian Pop <sebastian.pop@amd.com>
Date: Wed, 25 Nov 2009 04:31:40 +0000 (+0000)
Subject: tree-scalar-evolution.c (instantiate_scev_bitnot): Renamed instantiate_scev_not.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4b9d48a18cb082703fb192657e424f041e8e0284;p=gcc.git

tree-scalar-evolution.c (instantiate_scev_bitnot): Renamed instantiate_scev_not.

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

	* tree-scalar-evolution.c (instantiate_scev_bitnot): Renamed
	instantiate_scev_not.  Handle NEGATE_EXPR.
	(instantiate_scev_r): Handle NEGATE_EXPR.

From-SVN: r154539
---

diff --git a/gcc/ChangeLog.graphite b/gcc/ChangeLog.graphite
index aedf0162979..e108c395e9c 100644
--- a/gcc/ChangeLog.graphite
+++ b/gcc/ChangeLog.graphite
@@ -1,3 +1,9 @@
+2009-09-01  Sebastian Pop  <sebastian.pop@amd.com>
+
+	* tree-scalar-evolution.c (instantiate_scev_bitnot): Renamed
+	instantiate_scev_not.  Handle NEGATE_EXPR.
+	(instantiate_scev_r): Handle NEGATE_EXPR.
+
 2009-09-01  Sebastian Pop  <sebastian.pop@amd.com>
 
 	* tree-scalar-evolution.c (instantiate_scev_1): Renamed
diff --git a/gcc/tree-scalar-evolution.c b/gcc/tree-scalar-evolution.c
index 368cd28530f..41944972cb8 100644
--- a/gcc/tree-scalar-evolution.c
+++ b/gcc/tree-scalar-evolution.c
@@ -2341,8 +2341,9 @@ instantiate_scev_convert (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 BIT_NOT_EXPR expression to be instantiated.
+   CHREC is a BIT_NOT_EXPR or a NEGATE_EXPR expression to be instantiated.
    Handle ~X as -1 - X.
+   Handle -X as -1 * X.
 
    CACHE is the cache of already instantiated values.
 
@@ -2354,9 +2355,9 @@ instantiate_scev_convert (basic_block instantiate_below,
    instantiated, and to stop if it exceeds some limit.  */
 
 static tree
-instantiate_scev_bitnot (basic_block instantiate_below,
-			 struct loop *evolution_loop, tree chrec,
-			 bool fold_conversions, htab_t cache, int size_expr)
+instantiate_scev_not (basic_block instantiate_below,
+		      struct loop *evolution_loop, tree chrec,
+		      bool fold_conversions, htab_t cache, int size_expr)
 {
   tree type = chrec_type (chrec);
   tree op0 = instantiate_scev_r (instantiate_below, evolution_loop,
@@ -2368,11 +2369,22 @@ instantiate_scev_bitnot (basic_block instantiate_below,
   if (TREE_OPERAND (chrec, 0) != op0)
     {
       op0 = chrec_convert (type, op0, NULL);
-      chrec = chrec_fold_minus (type,
-				fold_convert (type,
-					      integer_minus_one_node),
-				op0);
+
+      switch (TREE_CODE (chrec))
+	{
+	case BIT_NOT_EXPR:
+	  return chrec_fold_minus
+	    (type, fold_convert (type, integer_minus_one_node), op0);
+
+	case NEGATE_EXPR:
+	  return chrec_fold_multiply
+	    (type, fold_convert (type, integer_minus_one_node), op0);
+
+	default:
+	  gcc_unreachable ();
+	}
     }
+
   return chrec;
 }
 
@@ -2543,9 +2555,10 @@ instantiate_scev_r (basic_block instantiate_below,
 				       TREE_TYPE (chrec), TREE_OPERAND (chrec, 0),
 				       fold_conversions, cache, size_expr);
 
+    case NEGATE_EXPR:
     case BIT_NOT_EXPR:
-      return instantiate_scev_bitnot (instantiate_below, evolution_loop, chrec,
-				      fold_conversions, cache, size_expr);
+      return instantiate_scev_not (instantiate_below, evolution_loop, chrec,
+				   fold_conversions, cache, size_expr);
 
     case SCEV_NOT_KNOWN:
       return chrec_dont_know;