isl_val_private.h

   1 #ifndef ISL_VAL_PRIVATE_H
   2 #define ISL_VAL_PRIVATE_H
   3
   4 #include <isl_int.h>
   5 #include <isl/val.h>
   6 #include <isl/local_space.h>
   7 #include <isl_reordering.h>
   8
   9 /* Represents a "value", which may be an integer value, a rational value,
  10  * plus or minus infinity or "not a number".
  11  *
  12  * Internally, +infinity is represented as 1/0,
  13  * -infinity as -1/0 and NaN as 0/0.
  14  *
  15  * A rational value is always normalized before it is passed to the user.
  16  */
  17 struct isl_val {
  18         int ref;
  19         isl_ctx *ctx;
  20
  21         isl_int n;
  22         isl_int d;
  23 };
  24
  25 #undef EL
  26 #define EL isl_val
  27
  28 #include <isl_list_templ.h>
  29
  30 __isl_give isl_val *isl_val_alloc(isl_ctx *ctx);
  31 __isl_give isl_val *isl_val_normalize(__isl_take isl_val *v);
  32 __isl_give isl_val *isl_val_int_from_isl_int(isl_ctx *ctx, isl_int n);
  33 __isl_give isl_val *isl_val_rat_from_isl_int(isl_ctx *ctx,
  34         isl_int n, isl_int d);
  35 __isl_give isl_val *isl_val_cow(__isl_take isl_val *val);
  36
  37 int isl_val_get_num_isl_int(__isl_keep isl_val *v, isl_int *n);
  38
  39 int isl_val_involves_dims(__isl_keep isl_val *v, enum isl_dim_type type,
  40         unsigned first, unsigned n);
  41 __isl_give isl_val *isl_val_insert_dims(__isl_take isl_val *v,
  42         enum isl_dim_type type, unsigned first, unsigned n);
  43 __isl_give isl_val *isl_val_drop_dims(__isl_take isl_val *v,
  44         enum isl_dim_type type, unsigned first, unsigned n);
  45 __isl_give isl_val *isl_val_set_dim_name(__isl_take isl_val *v,
  46         enum isl_dim_type type, unsigned pos, const char *s);
  47 __isl_give isl_space *isl_val_get_space(__isl_keep isl_val *v);
  48 __isl_give isl_val *isl_val_reset_domain_space(__isl_take isl_val *v,
  49         __isl_take isl_space *space);
  50 __isl_give isl_val *isl_val_align_params(__isl_take isl_val *v,
  51         __isl_take isl_space *space);
  52 __isl_give isl_val *isl_val_realign_domain(__isl_take isl_val *v,
  53         __isl_take isl_reordering *r);
  54 __isl_give isl_val *isl_val_zero_on_domain(__isl_take isl_local_space *ls);
  55
  56 __isl_give isl_val *isl_val_scale_val(__isl_take isl_val *v1,
  57         __isl_take isl_val *v2);
  58 __isl_give isl_val *isl_val_scale_down_val(__isl_take isl_val *v1,
  59         __isl_take isl_val *v2);
  60 __isl_give isl_val *isl_val_mod_val(__isl_take isl_val *v1,
  61         __isl_take isl_val *v2);
  62
  63 int isl_val_plain_is_equal(__isl_keep isl_val *val1, __isl_keep isl_val *val2);
  64
  65 isl_bool isl_val_matching_params(__isl_keep isl_val *v,
  66         __isl_keep isl_space *space);
  67 isl_stat isl_val_check_match_domain_space(__isl_keep isl_val *v,
  68         __isl_keep isl_space *space);
  69
  70 #undef BASE
  71 #define BASE val
  72
  73 #include <isl_multi_templ.h>
  74
  75 #endif