Resolve CLooG's value_* macros to their respective mpz_* counterparts.

2010-07-04  Andreas Simbuerger  <simbuerg@fim.uni-passau.de>

	* graphite-clast-to-gimple.c
	(precision_for_value): Resolve value_* calls to matching mpz_* calls.
	(precision_for_interval): Same.
	(gcc_type_for_interval): Same.
	(compute_type_for_level): Same.
	* graphite-interchange.c
	(lst_interchange_profitable_p): Same.
	* graphite-poly.c
	(psct_scattering_dim_for_loop_depth): Same.
	* graphite-ppl.c
	(ppl_max_for_le_pointset): Same.
	(ppl_min_for_le_pointset): Same.

From-SVN: r163133

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 5dd2b2090c35ed62fb2cf98ecc3d1dc678eb21c5..80cd9995eca60e1e34d152cd944b146cf1975cab 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,18 @@
+2010-08-02  Andreas Simbuerger  <simbuerg@fim.uni-passau.de>
+
+       * graphite-clast-to-gimple.c
+       (precision_for_value): Resolve value_* calls to matching mpz_* calls.
+       (precision_for_interval): Same.
+       (gcc_type_for_interval): Same.
+       (compute_type_for_level): Same.
+       * graphite-interchange.c
+       (lst_interchange_profitable_p): Same.
+       * graphite-poly.c
+       (psct_scattering_dim_for_loop_depth): Same.
+       * graphite-ppl.c
+       (ppl_max_for_le_pointset): Same.
+       (ppl_min_for_le_pointset): Same.
+
 2010-08-02  Sebastian Pop  <sebastian.pop@amd.com>
 
        * graphite-sese-to-poly.c (rewrite_degenerate_phi): New.

diff --git a/gcc/ChangeLog.graphite b/gcc/ChangeLog.graphite
index 34a83b607f09c642310aa1f91cd1de1c7108f64f..a589860718a1faca9c83f1e3b7c23c578531b1d9 100644 (file)
--- a/gcc/ChangeLog.graphite
+++ b/gcc/ChangeLog.graphite
@@ -1,3 +1,18 @@
+2010-07-04  Andreas Simbuerger  <simbuerg@fim.uni-passau.de>
+
+       * graphite-clast-to-gimple.c
+       (precision_for_value): Resolve value_* calls to matching mpz_* calls.
+       (precision_for_interval): Same.
+       (gcc_type_for_interval): Same.
+       (compute_type_for_level): Same.
+       * graphite-interchange.c
+       (lst_interchange_profitable_p): Same.
+       * graphite-poly.c
+       (psct_scattering_dim_for_loop_depth): Same.
+       * graphite-ppl.c
+       (ppl_max_for_le_pointset): Same.
+       (ppl_min_for_le_pointset): Same.
+
 2010-06-25  Vladimir Kargov  <kargov@gmail.com>
 
        * refined-regions.c (bb_index_compare): New.

diff --git a/gcc/graphite-clast-to-gimple.c b/gcc/graphite-clast-to-gimple.c
index 7eb916500ce21fe14e20b0980825b76940a9f776..aca2c31d9114a4a7c1e968ac74abc657d96304fc 100644 (file)
--- a/gcc/graphite-clast-to-gimple.c
+++ b/gcc/graphite-clast-to-gimple.c
@@ -426,26 +426,26 @@ precision_for_value (mpz_t val)
   mpz_t x, y, two;
   int precision;
 
-  value_init (x);
-  value_init (y);
-  value_init (two);
-  value_set_si (x, 2);
-  value_assign (y, val);
-  value_set_si (two, 2);
+  mpz_init (x);
+  mpz_init (y);
+  mpz_init (two);
+  mpz_set_si (x, 2);
+  mpz_set (y, val);
+  mpz_set_si (two, 2);
   precision = 1;
 
-  if (value_neg_p (y))
-    value_oppose (y, y);
+  if (mpz_sgn (y) < 0)
+    mpz_neg (y, y);
 
-  while (value_gt (y, x))
+  while (mpz_cmp (y, x) > 0)
     {
-      value_multiply (x, x, two);
+      mpz_mul (x, x, two);
       precision++;
     }
 
-  value_clear (x);
-  value_clear (y);
-  value_clear (two);
+  mpz_clear (x);
+  mpz_clear (y);
+  mpz_clear (two);
 
   return precision;
 }
@@ -459,12 +459,12 @@ precision_for_interval (mpz_t low, mpz_t up)
   mpz_t diff;
   int precision;
 
-  gcc_assert (value_le (low, up));
+  gcc_assert (mpz_cmp (low, up) <= 0);
 
-  value_init (diff);
-  value_subtract (diff, up, low);
+  mpz_init (diff);
+  mpz_sub (diff, up, low);
   precision = precision_for_value (diff);
-  value_clear (diff);
+  mpz_clear (diff);
 
   return precision;
 }
@@ -479,9 +479,9 @@ gcc_type_for_interval (mpz_t low, mpz_t up)
   tree type;
   enum machine_mode mode;
 
-  gcc_assert (value_le (low, up));
+  gcc_assert (mpz_cmp (low, up) <= 0);
 
-  if (value_neg_p (low))
+  if (mpz_sgn (low) < 0)
     unsigned_p = false;
 
   prec_up = precision_for_value (up);
@@ -731,14 +731,14 @@ compute_type_for_level (poly_bb_p pbb, int level)
   mpz_t low, up;
   tree type;
 
-  value_init (low);
-  value_init (up);
+  mpz_init (low);
+  mpz_init (up);
 
   compute_bounds_for_level (pbb, level, low, up);
   type = gcc_type_for_interval (low, up);
 
-  value_clear (low);
-  value_clear (up);
+  mpz_clear (low);
+  mpz_clear (up);
   return type;
 }
 

diff --git a/gcc/graphite-interchange.c b/gcc/graphite-interchange.c
index 0a7a749e955048976ad6f0e7bf2bdf7496ffc402..de3bf251ced2eba439177ab5f5e04feee9724a6a 100644 (file)
--- a/gcc/graphite-interchange.c
+++ b/gcc/graphite-interchange.c
@@ -478,7 +478,7 @@ lst_interchange_profitable_p (lst_p loop1, lst_p loop2)
   memory_strides_in_loop (loop1, lst_depth (loop1), d1);
   memory_strides_in_loop (loop2, lst_depth (loop2), d2);
 
-  res = value_lt (d1, d2);
+  res = mpz_cmp (d1, d2) < 0;
 
   mpz_clear (d1);
   mpz_clear (d2);

diff --git a/gcc/graphite-poly.c b/gcc/graphite-poly.c
index 28da7f0b93e13fe97a37529f0119f0e3574b146e..5c4a6f9f9678b708b3e8a3a0508c82046d0e6e1d 100644 (file)
--- a/gcc/graphite-poly.c
+++ b/gcc/graphite-poly.c
@@ -1032,7 +1032,7 @@ psct_scattering_dim_for_loop_depth (poly_bb_p pbb, graphite_dim_t loop_depth)
          ppl_Linear_Expression_coefficient (expr, scatter, coef);
          ppl_Coefficient_to_mpz_t (coef, val);
 
-         if (value_notzero_p (val))
+         if (mpz_sgn (val) != 0)
            {
              mpz_clear (val);
              ppl_delete_Linear_Expression (expr);

diff --git a/gcc/graphite-ppl.c b/gcc/graphite-ppl.c
index bbe202472a8422c93e8c9402c82091b268a86dc8..9f5bab0bd1debe2efc1a1c964a58e6d17c069d01 100644 (file)
--- a/gcc/graphite-ppl.c
+++ b/gcc/graphite-ppl.c
@@ -664,7 +664,7 @@ ppl_max_for_le_pointset (ppl_Pointset_Powerset_C_Polyhedron_t ps,
     {
       ppl_Coefficient_to_mpz_t (num, nv);
       ppl_Coefficient_to_mpz_t (denom, dv);
-      gcc_assert (value_notzero_p (dv));
+      gcc_assert (mpz_sgn (dv) != 0);
       mpz_tdiv_q (res, nv, dv);
     }
 
@@ -695,7 +695,7 @@ ppl_min_for_le_pointset (ppl_Pointset_Powerset_C_Polyhedron_t ps,
     {
       ppl_Coefficient_to_mpz_t (num, nv);
       ppl_Coefficient_to_mpz_t (denom, dv);
-      gcc_assert (value_notzero_p (dv));
+      gcc_assert (mpz_sgn (dv) != 0);
       mpz_tdiv_q (res, nv, dv);
     }