62 lines · c
1#ifndef ISL_VAL_PRIVATE_H2#define ISL_VAL_PRIVATE_H3 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 */17struct isl_val {18 int ref;19 isl_ctx *ctx;20 21 isl_int n;22 isl_int d;23};24 25#undef EL26#define EL isl_val27 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 37isl_stat isl_val_get_num_isl_int(__isl_keep isl_val *v, isl_int *n);38 39isl_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 53isl_bool isl_val_plain_is_equal(__isl_keep isl_val *val1,54 __isl_keep isl_val *val2);55 56#undef BASE57#define BASE val58 59#include <isl_multi_templ.h>60 61#endif62