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 33750912248 : uint32_t isl_gmp_hash(mpz_t v, uint32_t hash)
      13             : {
      14 33750912248 :         int sa = v[0]._mp_size;
      15 33750912248 :         int abs_sa = sa < 0 ? -sa : sa;
      16 33750912248 :         unsigned char *data = (unsigned char *)v[0]._mp_d;
      17 33750912248 :         unsigned char *end = data + abs_sa * sizeof(v[0]._mp_d[0]);
      18             : 
      19 33750912248 :         if (sa < 0)
      20 15724406764 :                 isl_hash_byte(hash, 0xFF);
      21 >31916*10^7 :         for (; data < end; ++data)
      22 >28541*10^7 :                 isl_hash_byte(hash, *data);
      23 33750912248 :         return hash;
      24             : }