isl_gmp.c

Go to the documentation of this file.

/*
 * Copyright 2008-2009 Katholieke Universiteit Leuven
 *
 * Use of this software is governed by the MIT license
 *
 * Written by Sven Verdoolaege, K.U.Leuven, Departement
 * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
 */
 
#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;
}