Polly 20.0.0git
Macros | Typedefs | Functions
isl_int_imath.h File Reference
#include <isl_imath.h>

Go to the source code of this file.

Macros

#define isl_int_init(i)   i = mp_int_alloc()
 
#define isl_int_clear(i)   mp_int_free(i)
 
#define isl_int_set(r, i)   impz_set(r,i)
 
#define isl_int_set_si(r, i)   impz_set_si(r,i)
 
#define isl_int_set_ui(r, i)   impz_set_ui(r,i)
 
#define isl_int_fits_slong(r)   isl_imath_fits_slong_p(r)
 
#define isl_int_get_si(r)   impz_get_si(r)
 
#define isl_int_fits_ulong(r)   isl_imath_fits_ulong_p(r)
 
#define isl_int_get_ui(r)   impz_get_ui(r)
 
#define isl_int_get_d(r)   impz_get_si(r)
 
#define isl_int_get_str(r)   impz_get_str(0, 10, r)
 
#define isl_int_abs(r, i)   impz_abs(r,i)
 
#define isl_int_neg(r, i)   impz_neg(r,i)
 
#define isl_int_swap(i, j)   impz_swap(i,j)
 
#define isl_int_swap_or_set(i, j)   impz_swap(i,j)
 
#define isl_int_add_ui(r, i, j)   impz_add_ui(r,i,j)
 
#define isl_int_sub_ui(r, i, j)   impz_sub_ui(r,i,j)
 
#define isl_int_add(r, i, j)   impz_add(r,i,j)
 
#define isl_int_sub(r, i, j)   impz_sub(r,i,j)
 
#define isl_int_mul(r, i, j)   impz_mul(r,i,j)
 
#define isl_int_mul_2exp(r, i, j)   impz_mul_2exp(r,i,j)
 
#define isl_int_mul_si(r, i, j)   mp_int_mul_value(i,j,r)
 
#define isl_int_mul_ui(r, i, j)   impz_mul_ui(r,i,j)
 
#define isl_int_pow_ui(r, i, j)   impz_pow_ui(r,i,j)
 
#define isl_int_addmul(r, i, j)   impz_addmul(r,i,j)
 
#define isl_int_addmul_ui(r, i, j)   isl_imath_addmul_ui(r,i,j)
 
#define isl_int_submul(r, i, j)   impz_submul(r,i,j)
 
#define isl_int_submul_ui(r, i, j)   isl_imath_submul_ui(r,i,j)
 
#define isl_int_gcd(r, i, j)   impz_gcd(r,i,j)
 
#define isl_int_lcm(r, i, j)   impz_lcm(r,i,j)
 
#define isl_int_divexact(r, i, j)   impz_divexact(r,i,j)
 
#define isl_int_divexact_ui(r, i, j)   impz_divexact_ui(r,i,j)
 
#define isl_int_tdiv_q(r, i, j)   impz_tdiv_q(r,i,j)
 
#define isl_int_cdiv_q(r, i, j)   impz_cdiv_q(r,i,j)
 
#define isl_int_cdiv_q_ui(r, i, j)   isl_imath_cdiv_q_ui(r,i,j)
 
#define isl_int_fdiv_q(r, i, j)   impz_fdiv_q(r,i,j)
 
#define isl_int_fdiv_r(r, i, j)   impz_fdiv_r(r,i,j)
 
#define isl_int_fdiv_q_ui(r, i, j)   isl_imath_fdiv_q_ui(r,i,j)
 
#define isl_int_read(r, s)   impz_set_str(r,s,10)
 
#define isl_int_sgn(i)   impz_sgn(i)
 
#define isl_int_cmp(i, j)   impz_cmp(i,j)
 
#define isl_int_cmp_si(i, si)   impz_cmp_si(i,si)
 
#define isl_int_eq(i, j)   (impz_cmp(i,j) == 0)
 
#define isl_int_ne(i, j)   (impz_cmp(i,j) != 0)
 
#define isl_int_lt(i, j)   (impz_cmp(i,j) < 0)
 
#define isl_int_le(i, j)   (impz_cmp(i,j) <= 0)
 
#define isl_int_gt(i, j)   (impz_cmp(i,j) > 0)
 
#define isl_int_ge(i, j)   (impz_cmp(i,j) >= 0)
 
#define isl_int_abs_cmp(i, j)   impz_cmpabs(i,j)
 
#define isl_int_abs_eq(i, j)   (impz_cmpabs(i,j) == 0)
 
#define isl_int_abs_ne(i, j)   (impz_cmpabs(i,j) != 0)
 
#define isl_int_abs_lt(i, j)   (impz_cmpabs(i,j) < 0)
 
#define isl_int_abs_gt(i, j)   (impz_cmpabs(i,j) > 0)
 
#define isl_int_abs_ge(i, j)   (impz_cmpabs(i,j) >= 0)
 
#define isl_int_is_divisible_by(i, j)   impz_divisible_p(i,j)
 
#define isl_int_hash(v, h)   isl_imath_hash(v,h)
 
#define isl_int_free_str(s)   free(s)
 

Typedefs

typedef mp_int isl_int
 
typedef void(* isl_int_print_mp_free_t) (void *, size_t)
 

Functions

uint32_t isl_imath_hash (mp_int v, uint32_t hash)
 

Macro Definition Documentation

◆ isl_int_abs

#define isl_int_abs (   r,
 
)    impz_abs(r,i)

Definition at line 21 of file isl_int_imath.h.

◆ isl_int_abs_cmp

#define isl_int_abs_cmp (   i,
 
)    impz_cmpabs(i,j)

Definition at line 61 of file isl_int_imath.h.

◆ isl_int_abs_eq

#define isl_int_abs_eq (   i,
 
)    (impz_cmpabs(i,j) == 0)

Definition at line 62 of file isl_int_imath.h.

◆ isl_int_abs_ge

#define isl_int_abs_ge (   i,
 
)    (impz_cmpabs(i,j) >= 0)

Definition at line 66 of file isl_int_imath.h.

◆ isl_int_abs_gt

#define isl_int_abs_gt (   i,
 
)    (impz_cmpabs(i,j) > 0)

Definition at line 65 of file isl_int_imath.h.

◆ isl_int_abs_lt

#define isl_int_abs_lt (   i,
 
)    (impz_cmpabs(i,j) < 0)

Definition at line 64 of file isl_int_imath.h.

◆ isl_int_abs_ne

#define isl_int_abs_ne (   i,
 
)    (impz_cmpabs(i,j) != 0)

Definition at line 63 of file isl_int_imath.h.

◆ isl_int_add

#define isl_int_add (   r,
  i,
 
)    impz_add(r,i,j)

Definition at line 28 of file isl_int_imath.h.

◆ isl_int_add_ui

#define isl_int_add_ui (   r,
  i,
 
)    impz_add_ui(r,i,j)

Definition at line 25 of file isl_int_imath.h.

◆ isl_int_addmul

#define isl_int_addmul (   r,
  i,
 
)    impz_addmul(r,i,j)

Definition at line 35 of file isl_int_imath.h.

◆ isl_int_addmul_ui

#define isl_int_addmul_ui (   r,
  i,
 
)    isl_imath_addmul_ui(r,i,j)

Definition at line 36 of file isl_int_imath.h.

◆ isl_int_cdiv_q

#define isl_int_cdiv_q (   r,
  i,
 
)    impz_cdiv_q(r,i,j)

Definition at line 45 of file isl_int_imath.h.

◆ isl_int_cdiv_q_ui

#define isl_int_cdiv_q_ui (   r,
  i,
 
)    isl_imath_cdiv_q_ui(r,i,j)

Definition at line 46 of file isl_int_imath.h.

◆ isl_int_clear

#define isl_int_clear (   i)    mp_int_free(i)

Definition at line 10 of file isl_int_imath.h.

◆ isl_int_cmp

#define isl_int_cmp (   i,
 
)    impz_cmp(i,j)

Definition at line 53 of file isl_int_imath.h.

◆ isl_int_cmp_si

#define isl_int_cmp_si (   i,
  si 
)    impz_cmp_si(i,si)

Definition at line 54 of file isl_int_imath.h.

◆ isl_int_divexact

#define isl_int_divexact (   r,
  i,
 
)    impz_divexact(r,i,j)

Definition at line 42 of file isl_int_imath.h.

◆ isl_int_divexact_ui

#define isl_int_divexact_ui (   r,
  i,
 
)    impz_divexact_ui(r,i,j)

Definition at line 43 of file isl_int_imath.h.

◆ isl_int_eq

#define isl_int_eq (   i,
 
)    (impz_cmp(i,j) == 0)

Definition at line 55 of file isl_int_imath.h.

◆ isl_int_fdiv_q

#define isl_int_fdiv_q (   r,
  i,
 
)    impz_fdiv_q(r,i,j)

Definition at line 47 of file isl_int_imath.h.

◆ isl_int_fdiv_q_ui

#define isl_int_fdiv_q_ui (   r,
  i,
 
)    isl_imath_fdiv_q_ui(r,i,j)

Definition at line 49 of file isl_int_imath.h.

◆ isl_int_fdiv_r

#define isl_int_fdiv_r (   r,
  i,
 
)    impz_fdiv_r(r,i,j)

Definition at line 48 of file isl_int_imath.h.

◆ isl_int_fits_slong

#define isl_int_fits_slong (   r)    isl_imath_fits_slong_p(r)

Definition at line 15 of file isl_int_imath.h.

◆ isl_int_fits_ulong

#define isl_int_fits_ulong (   r)    isl_imath_fits_ulong_p(r)

Definition at line 17 of file isl_int_imath.h.

◆ isl_int_free_str

#define isl_int_free_str (   s)    free(s)

Definition at line 73 of file isl_int_imath.h.

◆ isl_int_gcd

#define isl_int_gcd (   r,
  i,
 
)    impz_gcd(r,i,j)

Definition at line 40 of file isl_int_imath.h.

◆ isl_int_ge

#define isl_int_ge (   i,
 
)    (impz_cmp(i,j) >= 0)

Definition at line 60 of file isl_int_imath.h.

◆ isl_int_get_d

#define isl_int_get_d (   r)    impz_get_si(r)

Definition at line 19 of file isl_int_imath.h.

◆ isl_int_get_si

#define isl_int_get_si (   r)    impz_get_si(r)

Definition at line 16 of file isl_int_imath.h.

◆ isl_int_get_str

#define isl_int_get_str (   r)    impz_get_str(0, 10, r)

Definition at line 20 of file isl_int_imath.h.

◆ isl_int_get_ui

#define isl_int_get_ui (   r)    impz_get_ui(r)

Definition at line 18 of file isl_int_imath.h.

◆ isl_int_gt

#define isl_int_gt (   i,
 
)    (impz_cmp(i,j) > 0)

Definition at line 59 of file isl_int_imath.h.

◆ isl_int_hash

#define isl_int_hash (   v,
 
)    isl_imath_hash(v,h)

Definition at line 70 of file isl_int_imath.h.

◆ isl_int_init

#define isl_int_init (   i)    i = mp_int_alloc()

Definition at line 9 of file isl_int_imath.h.

◆ isl_int_is_divisible_by

#define isl_int_is_divisible_by (   i,
 
)    impz_divisible_p(i,j)

Definition at line 67 of file isl_int_imath.h.

◆ isl_int_lcm

#define isl_int_lcm (   r,
  i,
 
)    impz_lcm(r,i,j)

Definition at line 41 of file isl_int_imath.h.

◆ isl_int_le

#define isl_int_le (   i,
 
)    (impz_cmp(i,j) <= 0)

Definition at line 58 of file isl_int_imath.h.

◆ isl_int_lt

#define isl_int_lt (   i,
 
)    (impz_cmp(i,j) < 0)

Definition at line 57 of file isl_int_imath.h.

◆ isl_int_mul

#define isl_int_mul (   r,
  i,
 
)    impz_mul(r,i,j)

Definition at line 30 of file isl_int_imath.h.

◆ isl_int_mul_2exp

#define isl_int_mul_2exp (   r,
  i,
 
)    impz_mul_2exp(r,i,j)

Definition at line 31 of file isl_int_imath.h.

◆ isl_int_mul_si

#define isl_int_mul_si (   r,
  i,
 
)    mp_int_mul_value(i,j,r)

Definition at line 32 of file isl_int_imath.h.

◆ isl_int_mul_ui

#define isl_int_mul_ui (   r,
  i,
 
)    impz_mul_ui(r,i,j)

Definition at line 33 of file isl_int_imath.h.

◆ isl_int_ne

#define isl_int_ne (   i,
 
)    (impz_cmp(i,j) != 0)

Definition at line 56 of file isl_int_imath.h.

◆ isl_int_neg

#define isl_int_neg (   r,
 
)    impz_neg(r,i)

Definition at line 22 of file isl_int_imath.h.

◆ isl_int_pow_ui

#define isl_int_pow_ui (   r,
  i,
 
)    impz_pow_ui(r,i,j)

Definition at line 34 of file isl_int_imath.h.

◆ isl_int_read

#define isl_int_read (   r,
 
)    impz_set_str(r,s,10)

Definition at line 51 of file isl_int_imath.h.

◆ isl_int_set

#define isl_int_set (   r,
 
)    impz_set(r,i)

Definition at line 12 of file isl_int_imath.h.

◆ isl_int_set_si

#define isl_int_set_si (   r,
 
)    impz_set_si(r,i)

Definition at line 13 of file isl_int_imath.h.

◆ isl_int_set_ui

#define isl_int_set_ui (   r,
 
)    impz_set_ui(r,i)

Definition at line 14 of file isl_int_imath.h.

◆ isl_int_sgn

#define isl_int_sgn (   i)    impz_sgn(i)

Definition at line 52 of file isl_int_imath.h.

◆ isl_int_sub

#define isl_int_sub (   r,
  i,
 
)    impz_sub(r,i,j)

Definition at line 29 of file isl_int_imath.h.

◆ isl_int_sub_ui

#define isl_int_sub_ui (   r,
  i,
 
)    impz_sub_ui(r,i,j)

Definition at line 26 of file isl_int_imath.h.

◆ isl_int_submul

#define isl_int_submul (   r,
  i,
 
)    impz_submul(r,i,j)

Definition at line 37 of file isl_int_imath.h.

◆ isl_int_submul_ui

#define isl_int_submul_ui (   r,
  i,
 
)    isl_imath_submul_ui(r,i,j)

Definition at line 38 of file isl_int_imath.h.

◆ isl_int_swap

#define isl_int_swap (   i,
 
)    impz_swap(i,j)

Definition at line 23 of file isl_int_imath.h.

◆ isl_int_swap_or_set

#define isl_int_swap_or_set (   i,
 
)    impz_swap(i,j)

Definition at line 24 of file isl_int_imath.h.

◆ isl_int_tdiv_q

#define isl_int_tdiv_q (   r,
  i,
 
)    impz_tdiv_q(r,i,j)

Definition at line 44 of file isl_int_imath.h.

Typedef Documentation

◆ isl_int

typedef mp_int isl_int

Definition at line 7 of file isl_int_imath.h.

◆ isl_int_print_mp_free_t

typedef void(* isl_int_print_mp_free_t) (void *, size_t)

Definition at line 72 of file isl_int_imath.h.

Function Documentation

◆ isl_imath_hash()

uint32_t isl_imath_hash ( mp_int  v,
uint32_t  hash 
)

Definition at line 3 of file isl_imath.c.

References mpz_t::digits, isl_hash_byte, mpz_t::sign, and mpz_t::used.

Referenced by isl_sioimath_hash().