/* Return the precision needed to represent the value VAL. */
static int
-precision_for_value (mpz_t val)
+precision_for_value (Value val)
{
- mpz_t x, y, two;
+ Value x, y, two;
int precision;
value_init (x);
UP. */
static int
-precision_for_interval (mpz_t low, mpz_t up)
+precision_for_interval (Value low, Value up)
{
- mpz_t diff;
+ Value diff;
int precision;
gcc_assert (value_le (low, up));
otherwise return NULL_TREE. */
static tree
-gcc_type_for_interval (mpz_t low, mpz_t up, tree old_type)
+gcc_type_for_interval (Value low, Value up, tree old_type)
{
bool unsigned_p = true;
int precision, prec_up, prec_int;
otherwise return NULL_TREE. */
static tree
-gcc_type_for_value (mpz_t val)
+gcc_type_for_value (Value val)
{
return gcc_type_for_interval (val, val, NULL_TREE);
}
the iteration domain, and G the context parameters. */
static void
-compute_bounds_for_level (poly_bb_p pbb, int level, mpz_t low, mpz_t up)
+compute_bounds_for_level (poly_bb_p pbb, int level, Value low, Value up)
{
ppl_Pointset_Powerset_C_Polyhedron_t ps;
ppl_Linear_Expression_t le;
static tree
compute_type_for_level_1 (poly_bb_p pbb, int level, tree old_type)
{
- mpz_t low, up;
+ Value low, up;
tree type;
value_init (low);
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;
- mpz_t gmp_one;
-
- mpz_init (gmp_one);
- mpz_set_si (gmp_one, 1);
+ Value gmp_one;
+
+ value_init (gmp_one);
+ value_set_si (gmp_one, 1);
one = gmp_cst_to_tree (type, gmp_one);
mpz_clear (gmp_one);