Line data    Source code

       1             : /*
       2             :  * Copyright 2008-2009 Katholieke Universiteit Leuven
       3             :  *
       4             :  * Use of this software is governed by the MIT license
       5             :  *
       6             :  * Written by Sven Verdoolaege, K.U.Leuven, Departement
       7             :  * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
       8             :  */
       9             : 
      10             : #include <isl_int.h>
      11             : 
      12   863623378 : uint32_t isl_gmp_hash(mpz_t v, uint32_t hash)
      13             : {
      14   863623378 :         int sa = v[0]._mp_size;
      15   863623378 :         int abs_sa = sa < 0 ? -sa : sa;
      16   863623378 :         unsigned char *data = (unsigned char *)v[0]._mp_d;
      17   863623378 :         unsigned char *end = data + abs_sa * sizeof(v[0]._mp_d[0]);
      18             : 
      19   863623378 :         if (sa < 0)
      20   431396529 :                 isl_hash_byte(hash, 0xFF);
      21  7772610402 :         for (; data < end; ++data)
      22  6908987024 :                 isl_hash_byte(hash, *data);
      23   863623378 :         return hash;
      24             : }