Replace Value with mpz_t

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

	* graphite-blocking.c
	(pbb_strip_mine_profitable_p): Replace Value with mpz_t.
	* graphite-clast-to-gimple.c
	(clast_to_gcc_expression): Same.
	(precision_for_value): Same.
	(precision_for_interval): Same.
	(gcc_type_for_interval): Same.
	(graphite_create_new_guard): Same.
	(compute_bounds_for_level): Same.
	(graphite_create_new_loop_guard): Same.
	* graphite-interchange.c
	(build_linearized_memory_access): Same.
	(pdr_stride_in_loop): Same.
	(memory_strides_in_loop_1): Same.
	(memory_strides_in_loop): Same.
	(extend_scattering): Same.
	(psct_scattering_dim_for_loop_depth): Same.
	(pbb_number_of_iterations): Same.
	* graphite-poly.h
	(debug_iteration_domains): Same.
	* graphite-ppl.c
	(new_Cloog_Domain_from_ppl_Pointset_Powerset): Same.
	(ppl_set_inhomogeneous_gmp): Same.
	(ppl_strip_loop): Same.
	(ppl_lexico_compare_linear_expressions): Same.
	(ppl_read_polyhedron_matrix): Same.
	(ppl_max_for_le_pointset): Same.
	* graphite-ppl.h
	(ppl_read_polyhedron_matrix): Same.
	(tree_int_to_gmp): Same.
	(gmp_cst_to_tree): Same.
	(ppl_set_inhomogeneous): Same.
	(ppl_set_inhomogeneous_tree): Same.
	(ppl_set_coef): Same.
	(ppl_set_coef_tree): Same.
	* graphite-sese-to-poly.c
	(build_pbb_scattering_polyhedrons): Same.
	(build_scop_scattering): Same.
	(scan_tree_for_params_right_scev): Same.
	(scan_tree_for_params): Same.
	(find_params_in_bb): Same.
	(find_scop_parameters): Same.
	(add_upper_bounds_from_estimated_nit): Same.
	(build_loop_iteration_domains): Same.
	(add_condition_to_domain): Same.
	(pdr_add_memory_accesses): Same.

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

1 files changed, 9 insertions, 9 deletions

diff --git a/gcc/graphite-clast-to-gimple.c b/gcc/graphite-clast-to-gimple.c
index e433cefeb2d..340c8fc4ecb 100644
--- a/gcc/graphite-clast-to-gimple.c
+++ b/gcc/graphite-clast-to-gimple.c
@@ -421,9 +421,9 @@ clast_to_gcc_expression (tree type, struct clast_expr *e,
 /* Return the precision needed to represent the value VAL.  */
 
 static int
-precision_for_value (Value val)
+precision_for_value (mpz_t val)
 {
-  Value x, y, two;
+  mpz_t x, y, two;
   int precision;
 
   value_init (x);
@@ -454,9 +454,9 @@ precision_for_value (Value val)
    UP.  */
 
 static int
-precision_for_interval (Value low, Value up)
+precision_for_interval (mpz_t low, mpz_t up)
 {
-  Value diff;
+  mpz_t diff;
   int precision;
 
   gcc_assert (value_le (low, up));
@@ -473,7 +473,7 @@ precision_for_interval (Value low, Value up)
    otherwise return NULL_TREE.  */
 
 static tree
-gcc_type_for_interval (Value low, Value up, tree old_type)
+gcc_type_for_interval (mpz_t low, mpz_t up, tree old_type)
 {
   bool unsigned_p = true;
   int precision, prec_up, prec_int;
@@ -504,7 +504,7 @@ gcc_type_for_interval (Value low, Value up, tree old_type)
    otherwise return NULL_TREE.  */
 
 static tree
-gcc_type_for_value (Value val)
+gcc_type_for_value (mpz_t val)
 {
   return gcc_type_for_interval (val, val, NULL_TREE);
 }
@@ -694,7 +694,7 @@ graphite_create_new_guard (sese region, edge entry_edge,
    the iteration domain, and G the context parameters.  */
 
 static void
-compute_bounds_for_level (poly_bb_p pbb, int level, Value low, Value up)
+compute_bounds_for_level (poly_bb_p pbb, int level, mpz_t low, mpz_t up)
 {
   ppl_Pointset_Powerset_C_Polyhedron_t ps;
   ppl_Linear_Expression_t le;
@@ -722,7 +722,7 @@ compute_bounds_for_level (poly_bb_p pbb, int level, Value low, Value up)
 static tree
 compute_type_for_level_1 (poly_bb_p pbb, int level, tree old_type)
 {
-  Value low, up;
+  mpz_t low, up;
   tree type;
 
   value_init (low);
@@ -1035,7 +1035,7 @@ graphite_create_new_loop_guard (sese region, edge entry_edge,
      2^{32|64}, and the condition lb <= ub is true, even if we do not want this.
      However lb < ub + 1 is false, as expected.  */
   tree one;
-  Value gmp_one;
+  mpz_t gmp_one;
   
   mpz_init (gmp_one);
   mpz_set_si (gmp_one, 1);