isl_pw_hash.c

Go to the documentation of this file.

/*
 * Copyright 2016      Sven Verdoolaege
 *
 * Use of this software is governed by the MIT license
 *
 * Written by Sven Verdoolaege
 */
 
#include <isl_pw_macro.h>
#include <isl/hash.h>
 
/* Return a hash value that digests "pw".
 */
uint32_t FN(PW,get_hash)(__isl_keep PW *pw)
{
  int i;
  uint32_t hash;
 
  if (!pw)
    return 0;
 
  hash = isl_hash_init();
  for (i = 0; i < pw->n; ++i) {
    uint32_t set_hash, el_hash;
 
    set_hash = isl_set_get_hash(pw->p[i].set);
    isl_hash_hash(hash, set_hash);
    el_hash = FN(EL,get_hash)(pw->p[i].FIELD);
    isl_hash_hash(hash, el_hash);
  }
 
  return hash;
}