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