isl_gmp.c

   1 #include "isl_int.h"
   2
   3 uint32_t isl_gmp_hash(mpz_t v, uint32_t hash)
   4 {
   5         int sa = v[0]._mp_size;
   6         int abs_sa = sa < 0 ? -sa : sa;
   7         unsigned char *data = (unsigned char *)v[0]._mp_d;
   8         unsigned char *end = data + abs_sa * sizeof(v[0]._mp_d[0]);
   9
  10         if (sa < 0)
  11                 isl_hash_byte(hash, 0xFF);
  12         for (; data < end; ++data)
  13                 isl_hash_byte(hash, *data);
  14         return hash;
  15 }