Home | History | Annotate | Line # | Download | only in dist 
      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 isl_stat isl_val_get_num_isl_int(__isl_keep isl_val *v, isl_int *n);
     38 
     39 isl_bool 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_set_dim_name(__isl_take isl_val *v,
     44 	enum isl_dim_type type, unsigned pos, const char *s);
     45 
     46 __isl_give isl_val *isl_val_scale_val(__isl_take isl_val *v1,
     47 	__isl_take isl_val *v2);
     48 __isl_give isl_val *isl_val_scale_down_val(__isl_take isl_val *v1,
     49 	__isl_take isl_val *v2);
     50 __isl_give isl_val *isl_val_mod_val(__isl_take isl_val *v1,
     51 	__isl_take isl_val *v2);
     52 
     53 isl_bool isl_val_plain_is_equal(__isl_keep isl_val *val1,
     54 	__isl_keep isl_val *val2);
     55 
     56 #undef BASE
     57 #define BASE val
     58 
     59 #include <isl_multi_templ.h>
     60 
     61 #endif
     62