isl_union_eval.c

   1 /*
   2  * Copyright 2010      INRIA Saclay
   3  *
   4  * Use of this software is governed by the MIT license
   5  *
   6  * Written by Sven Verdoolaege, INRIA Saclay - Ile-de-France,
   7  * Parc Club Orsay Universite, ZAC des vignes, 4 rue Jacques Monod,
   8  * 91893 Orsay, France
   9  */
  10
  11 #include <isl_union_macro.h>
  12
  13 /* Evaluate "u" in the void point "pnt".
  14  * In particular, return the value NaN.
  15  */
  16 static __isl_give isl_val *FN(UNION,eval_void)(__isl_take UNION *u,
  17         __isl_take isl_point *pnt)
  18 {
  19         isl_ctx *ctx;
  20
  21         ctx = isl_point_get_ctx(pnt);
  22         FN(UNION,free)(u);
  23         isl_point_free(pnt);
  24         return isl_val_nan(ctx);
  25 }
  26
  27 /* Do the tuples of "space" correspond to those of the domain of "part"?
  28  * That is, is the domain space of "part" equal to "space", ignoring parameters?
  29  */
  30 static isl_bool FN(UNION,has_domain_space_tuples)(const void *entry,
  31         const void *val)
  32 {
  33         PART *part = (PART *)entry;
  34         isl_space *space = (isl_space *) val;
  35
  36         return FN(PART,has_domain_space_tuples)(part, space);
  37 }
  38
  39 __isl_give isl_val *FN(UNION,eval)(__isl_take UNION *u,
  40         __isl_take isl_point *pnt)
  41 {
  42         uint32_t hash;
  43         struct isl_hash_table_entry *entry;
  44         isl_bool is_void;
  45         isl_space *space;
  46         isl_val *v;
  47
  48         if (!u || !pnt)
  49                 goto error;
  50         is_void = isl_point_is_void(pnt);
  51         if (is_void < 0)
  52                 goto error;
  53         if (is_void)
  54                 return FN(UNION,eval_void)(u, pnt);
  55
  56         space = isl_space_copy(pnt->dim);
  57         if (!space)
  58                 goto error;
  59         hash = isl_space_get_hash(space);
  60         entry = isl_hash_table_find(u->space->ctx, &u->table,
  61                                     hash, &FN(UNION,has_domain_space_tuples),
  62                                     space, 0);
  63         isl_space_free(space);
  64         if (!entry)
  65                 goto error;
  66         if (entry == isl_hash_table_entry_none) {
  67                 v = isl_val_zero(isl_point_get_ctx(pnt));
  68                 isl_point_free(pnt);
  69         } else {
  70                 v = FN(PART,eval)(FN(PART,copy)(entry->data), pnt);
  71         }
  72         FN(UNION,free)(u);
  73         return v;
  74 error:
  75         FN(UNION,free)(u);
  76         isl_point_free(pnt);
  77         return NULL;
  78 }