reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

   54 __isl_give isl_val *isl_valFromAPInt(isl_ctx *Ctx, const llvm::APInt Int,
  118 llvm::APInt APIntFromVal(__isl_take isl_val *Val);

  749   isl_val *Val;

  151                                isl_bool (*Predicate)(__isl_keep isl_val *)) {

   21 	__isl_take isl_val *val);
   46 __isl_give isl_val *isl_aff_get_constant_val(__isl_keep isl_aff *aff);
   47 __isl_give isl_val *isl_aff_get_coefficient_val(__isl_keep isl_aff *aff,
   51 __isl_give isl_val *isl_aff_get_denominator_val(__isl_keep isl_aff *aff);
   54 	__isl_take isl_val *v);
   58 	enum isl_dim_type type, int pos, __isl_take isl_val *v);
   61 	__isl_take isl_val *v);
   66 	enum isl_dim_type type, int pos, __isl_take isl_val *v);
   97 	__isl_take isl_val *mod);
  114 	__isl_take isl_val *v);
  118 	__isl_take isl_val *v);
  139 __isl_give isl_val *isl_aff_eval(__isl_take isl_aff *aff,
  203 	__isl_take isl_val *v);
  293 	__isl_take isl_val *mod);
  314 	__isl_take isl_val *v);
  317 	__isl_take isl_val *f);
  335 __isl_give isl_val *isl_pw_aff_eval(__isl_take isl_pw_aff *pa,
  570 	__isl_take isl_pw_multi_aff *pma, __isl_take isl_val *v);
  572 	__isl_take isl_pw_multi_aff *pma, __isl_take isl_val *v);
  749 	__isl_take isl_union_pw_multi_aff *upma, __isl_take isl_val *val);
  751 	__isl_take isl_union_pw_multi_aff *upma, __isl_take isl_val *val);
  885 	__isl_take isl_union_set *domain, __isl_take isl_val *v);
  939 	__isl_take isl_union_pw_aff *upa, __isl_take isl_val *v);
  941 	__isl_take isl_union_pw_aff *upa, __isl_take isl_val *v);
  943 	__isl_take isl_union_pw_aff *upa, __isl_take isl_val *f);

   22 __isl_give isl_ast_expr *isl_ast_expr_from_val(__isl_take isl_val *v);
   66 __isl_give isl_val *isl_ast_expr_get_val(__isl_keep isl_ast_expr *expr);

   93 __isl_give isl_val *isl_constraint_get_constant_val(
   95 __isl_give isl_val *isl_constraint_get_coefficient_val(
  100 	__isl_take isl_constraint *constraint, __isl_take isl_val *v);
  106 	enum isl_dim_type type, int pos, __isl_take isl_val *v);

   23 __isl_give isl_val *isl_basic_set_max_val(__isl_keep isl_basic_set *bset,
   26 __isl_give isl_val *isl_set_min_val(__isl_keep isl_set *set,
   29 __isl_give isl_val *isl_set_max_val(__isl_keep isl_set *set,
   34 __isl_give isl_val *isl_union_pw_aff_min_val(__isl_take isl_union_pw_aff *upa);
   35 __isl_give isl_val *isl_union_pw_aff_max_val(__isl_take isl_union_pw_aff *upa);
   43 __isl_give isl_val *isl_basic_set_dim_max_val(__isl_take isl_basic_set *bset,

 3633 inline val manage(__isl_take isl_val *ptr);
 3634 inline val manage_copy(__isl_keep isl_val *ptr);
 3637   friend inline val manage(__isl_take isl_val *ptr);
 3638   friend inline val manage_copy(__isl_keep isl_val *ptr);
 3640   isl_val *ptr = nullptr;
 3642   inline explicit val(__isl_take isl_val *ptr);
 3652   inline __isl_give isl_val *copy() const &;
 3653   inline __isl_give isl_val *copy() && = delete;
 3654   inline __isl_keep isl_val *get() const;
 3655   inline __isl_give isl_val *release();
19006 val manage(__isl_take isl_val *ptr) {
19009 val manage_copy(__isl_keep isl_val *ptr) {
19026 val::val(__isl_take isl_val *ptr)
19050 __isl_give isl_val *val::copy() const & {
19054 __isl_keep isl_val *val::get() const {
19058 __isl_give isl_val *val::release() {
19059   isl_val *tmp = ptr;

   28 __isl_give isl_val *isl_basic_set_min_lp_val(__isl_keep isl_basic_set *bset,
   30 __isl_give isl_val *isl_basic_set_max_lp_val(__isl_keep isl_basic_set *bset,

  210 	enum isl_dim_type type, unsigned pos, __isl_take isl_val *v);
  226 	__isl_take isl_val *d);
  270 __isl_give isl_val *isl_basic_map_plain_get_val_if_fixed(
  390 	enum isl_dim_type type, unsigned pos, __isl_take isl_val *v);
  588 __isl_give isl_val *isl_map_plain_get_val_if_fixed(__isl_keep isl_map *map,
  630 	__isl_take isl_val *exp);

   38 __isl_give isl_val *isl_mat_get_element_val(__isl_keep isl_mat *mat,
   43 	int row, int col, __isl_take isl_val *v);

   22 __isl_give isl_val *isl_point_get_coordinate_val(__isl_keep isl_point *pnt,
   25 	enum isl_dim_type type, int pos, __isl_take isl_val *v);

   28 __isl_give isl_val *isl_qpolynomial_get_constant_val(
   41 	__isl_take isl_space *space, __isl_take isl_val *val);
   66 	__isl_take isl_qpolynomial *qp, __isl_take isl_val *v);
   68 	__isl_take isl_qpolynomial *qp, __isl_take isl_val *v);
  107 __isl_give isl_val *isl_term_get_coefficient_val(__isl_keep isl_term *term);
  115 __isl_give isl_val *isl_qpolynomial_eval(__isl_take isl_qpolynomial *qp,
  216 	__isl_take isl_pw_qpolynomial *pwqp, __isl_take isl_val *v);
  218 	__isl_take isl_pw_qpolynomial *pwqp, __isl_take isl_val *v);
  235 	enum isl_dim_type type, unsigned n, __isl_take isl_val *v);
  238 __isl_give isl_val *isl_pw_qpolynomial_eval(
  241 __isl_give isl_val *isl_pw_qpolynomial_max(__isl_take isl_pw_qpolynomial *pwqp);
  242 __isl_give isl_val *isl_pw_qpolynomial_min(__isl_take isl_pw_qpolynomial *pwqp);
  308 	__isl_take isl_qpolynomial_fold *fold, __isl_take isl_val *v);
  310 	__isl_take isl_qpolynomial_fold *fold, __isl_take isl_val *v);
  324 	enum isl_dim_type type, unsigned n, __isl_take isl_val *v);
  326 __isl_give isl_val *isl_qpolynomial_fold_eval(
  413 	__isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_val *v);
  415 	__isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_val *v);
  432 __isl_give isl_val *isl_pw_qpolynomial_fold_eval(
  458 __isl_give isl_val *isl_pw_qpolynomial_fold_max(
  460 __isl_give isl_val *isl_pw_qpolynomial_fold_min(
  519 	__isl_take isl_union_pw_qpolynomial *upwqp, __isl_take isl_val *v);
  521 	__isl_take isl_union_pw_qpolynomial *upwqp, __isl_take isl_val *v);
  557 __isl_give isl_val *isl_union_pw_qpolynomial_eval(
  616 	__isl_take isl_union_pw_qpolynomial_fold *upwf, __isl_take isl_val *v);
  619 	__isl_take isl_union_pw_qpolynomial_fold *upwf, __isl_take isl_val *v);
  660 __isl_give isl_val *isl_union_pw_qpolynomial_fold_eval(

  152 	enum isl_dim_type type, unsigned pos, __isl_take isl_val *v);
  159 	__isl_take isl_val *value);
  161 	enum isl_dim_type type, unsigned pos, __isl_take isl_val *value);
  166 	__isl_take isl_val *value);
  168 	enum isl_dim_type type, unsigned pos, __isl_take isl_val *value);
  307 	enum isl_dim_type type, unsigned pos, __isl_take isl_val *v);
  406 __isl_give isl_val *isl_set_plain_get_val_if_fixed(__isl_keep isl_set *set,
  430 	int pos, __isl_give isl_val **modulo, __isl_give isl_val **residue);
  430 	int pos, __isl_give isl_val **modulo, __isl_give isl_val **residue);
  435 __isl_give isl_val *isl_set_get_stride(__isl_keep isl_set *set, int pos);
  457 __isl_give isl_val *isl_set_count_val(__isl_keep isl_set *set);

   45 __isl_give isl_val *isl_token_get_val(isl_ctx *ctx, struct isl_token *tok);
   77 __isl_give isl_val *isl_stream_read_val(__isl_keep isl_stream *s);

   19 __isl_give isl_val *isl_stride_info_get_stride(__isl_keep isl_stride_info *si);

  255 	__isl_take isl_union_map *umap, __isl_take isl_val *exp);

   21 __isl_give isl_val *isl_val_zero(isl_ctx *ctx);
   23 __isl_give isl_val *isl_val_one(isl_ctx *ctx);
   25 __isl_give isl_val *isl_val_negone(isl_ctx *ctx);
   27 __isl_give isl_val *isl_val_nan(isl_ctx *ctx);
   29 __isl_give isl_val *isl_val_infty(isl_ctx *ctx);
   31 __isl_give isl_val *isl_val_neginfty(isl_ctx *ctx);
   33 __isl_give isl_val *isl_val_int_from_si(isl_ctx *ctx, long i);
   34 __isl_give isl_val *isl_val_int_from_ui(isl_ctx *ctx, unsigned long u);
   35 __isl_give isl_val *isl_val_int_from_chunks(isl_ctx *ctx, size_t n,
   38 __isl_give isl_val *isl_val_copy(__isl_keep isl_val *v);
   38 __isl_give isl_val *isl_val_copy(__isl_keep isl_val *v);
   39 __isl_null isl_val *isl_val_free(__isl_take isl_val *v);
   39 __isl_null isl_val *isl_val_free(__isl_take isl_val *v);
   41 isl_ctx *isl_val_get_ctx(__isl_keep isl_val *val);
   42 uint32_t isl_val_get_hash(__isl_keep isl_val *val);
   43 long isl_val_get_num_si(__isl_keep isl_val *v);
   44 long isl_val_get_den_si(__isl_keep isl_val *v);
   45 __isl_give isl_val *isl_val_get_den_val(__isl_keep isl_val *v);
   45 __isl_give isl_val *isl_val_get_den_val(__isl_keep isl_val *v);
   46 double isl_val_get_d(__isl_keep isl_val *v);
   47 size_t isl_val_n_abs_num_chunks(__isl_keep isl_val *v, size_t size);
   48 int isl_val_get_abs_num_chunks(__isl_keep isl_val *v, size_t size,
   51 __isl_give isl_val *isl_val_set_si(__isl_take isl_val *v, long i);
   51 __isl_give isl_val *isl_val_set_si(__isl_take isl_val *v, long i);
   54 __isl_give isl_val *isl_val_abs(__isl_take isl_val *v);
   54 __isl_give isl_val *isl_val_abs(__isl_take isl_val *v);
   56 __isl_give isl_val *isl_val_neg(__isl_take isl_val *v);
   56 __isl_give isl_val *isl_val_neg(__isl_take isl_val *v);
   58 __isl_give isl_val *isl_val_inv(__isl_take isl_val *v);
   58 __isl_give isl_val *isl_val_inv(__isl_take isl_val *v);
   60 __isl_give isl_val *isl_val_floor(__isl_take isl_val *v);
   60 __isl_give isl_val *isl_val_floor(__isl_take isl_val *v);
   62 __isl_give isl_val *isl_val_ceil(__isl_take isl_val *v);
   62 __isl_give isl_val *isl_val_ceil(__isl_take isl_val *v);
   64 __isl_give isl_val *isl_val_trunc(__isl_take isl_val *v);
   64 __isl_give isl_val *isl_val_trunc(__isl_take isl_val *v);
   65 __isl_give isl_val *isl_val_2exp(__isl_take isl_val *v);
   65 __isl_give isl_val *isl_val_2exp(__isl_take isl_val *v);
   67 __isl_give isl_val *isl_val_pow2(__isl_take isl_val *v);
   67 __isl_give isl_val *isl_val_pow2(__isl_take isl_val *v);
   69 __isl_give isl_val *isl_val_min(__isl_take isl_val *v1, __isl_take isl_val *v2);
   69 __isl_give isl_val *isl_val_min(__isl_take isl_val *v1, __isl_take isl_val *v2);
   69 __isl_give isl_val *isl_val_min(__isl_take isl_val *v1, __isl_take isl_val *v2);
   71 __isl_give isl_val *isl_val_max(__isl_take isl_val *v1, __isl_take isl_val *v2);
   71 __isl_give isl_val *isl_val_max(__isl_take isl_val *v1, __isl_take isl_val *v2);
   71 __isl_give isl_val *isl_val_max(__isl_take isl_val *v1, __isl_take isl_val *v2);
   73 __isl_give isl_val *isl_val_add(__isl_take isl_val *v1, __isl_take isl_val *v2);
   73 __isl_give isl_val *isl_val_add(__isl_take isl_val *v1, __isl_take isl_val *v2);
   73 __isl_give isl_val *isl_val_add(__isl_take isl_val *v1, __isl_take isl_val *v2);
   74 __isl_give isl_val *isl_val_add_ui(__isl_take isl_val *v1, unsigned long v2);
   74 __isl_give isl_val *isl_val_add_ui(__isl_take isl_val *v1, unsigned long v2);
   76 __isl_give isl_val *isl_val_sub(__isl_take isl_val *v1, __isl_take isl_val *v2);
   76 __isl_give isl_val *isl_val_sub(__isl_take isl_val *v1, __isl_take isl_val *v2);
   76 __isl_give isl_val *isl_val_sub(__isl_take isl_val *v1, __isl_take isl_val *v2);
   77 __isl_give isl_val *isl_val_sub_ui(__isl_take isl_val *v1, unsigned long v2);
   77 __isl_give isl_val *isl_val_sub_ui(__isl_take isl_val *v1, unsigned long v2);
   79 __isl_give isl_val *isl_val_mul(__isl_take isl_val *v1, __isl_take isl_val *v2);
   79 __isl_give isl_val *isl_val_mul(__isl_take isl_val *v1, __isl_take isl_val *v2);
   79 __isl_give isl_val *isl_val_mul(__isl_take isl_val *v1, __isl_take isl_val *v2);
   80 __isl_give isl_val *isl_val_mul_ui(__isl_take isl_val *v1, unsigned long v2);
   80 __isl_give isl_val *isl_val_mul_ui(__isl_take isl_val *v1, unsigned long v2);
   82 __isl_give isl_val *isl_val_div(__isl_take isl_val *v1, __isl_take isl_val *v2);
   82 __isl_give isl_val *isl_val_div(__isl_take isl_val *v1, __isl_take isl_val *v2);
   82 __isl_give isl_val *isl_val_div(__isl_take isl_val *v1, __isl_take isl_val *v2);
   83 __isl_give isl_val *isl_val_div_ui(__isl_take isl_val *v1, unsigned long v2);
   83 __isl_give isl_val *isl_val_div_ui(__isl_take isl_val *v1, unsigned long v2);
   85 __isl_give isl_val *isl_val_mod(__isl_take isl_val *v1, __isl_take isl_val *v2);
   85 __isl_give isl_val *isl_val_mod(__isl_take isl_val *v1, __isl_take isl_val *v2);
   85 __isl_give isl_val *isl_val_mod(__isl_take isl_val *v1, __isl_take isl_val *v2);
   87 __isl_give isl_val *isl_val_gcd(__isl_take isl_val *v1, __isl_take isl_val *v2);
   87 __isl_give isl_val *isl_val_gcd(__isl_take isl_val *v1, __isl_take isl_val *v2);
   87 __isl_give isl_val *isl_val_gcd(__isl_take isl_val *v1, __isl_take isl_val *v2);
   88 __isl_give isl_val *isl_val_gcdext(__isl_take isl_val *v1,
   88 __isl_give isl_val *isl_val_gcdext(__isl_take isl_val *v1,
   89 	__isl_take isl_val *v2, __isl_give isl_val **x, __isl_give isl_val **y);
   89 	__isl_take isl_val *v2, __isl_give isl_val **x, __isl_give isl_val **y);
   89 	__isl_take isl_val *v2, __isl_give isl_val **x, __isl_give isl_val **y);
   92 int isl_val_sgn(__isl_keep isl_val *v);
   94 isl_bool isl_val_is_zero(__isl_keep isl_val *v);
   96 isl_bool isl_val_is_one(__isl_keep isl_val *v);
   98 isl_bool isl_val_is_negone(__isl_keep isl_val *v);
  100 isl_bool isl_val_is_nonneg(__isl_keep isl_val *v);
  102 isl_bool isl_val_is_nonpos(__isl_keep isl_val *v);
  104 isl_bool isl_val_is_pos(__isl_keep isl_val *v);
  106 isl_bool isl_val_is_neg(__isl_keep isl_val *v);
  108 isl_bool isl_val_is_int(__isl_keep isl_val *v);
  110 isl_bool isl_val_is_rat(__isl_keep isl_val *v);
  112 isl_bool isl_val_is_nan(__isl_keep isl_val *v);
  114 isl_bool isl_val_is_infty(__isl_keep isl_val *v);
  116 isl_bool isl_val_is_neginfty(__isl_keep isl_val *v);
  119 int isl_val_cmp_si(__isl_keep isl_val *v, long i);
  122 isl_bool isl_val_lt(__isl_keep isl_val *v1, __isl_keep isl_val *v2);
  122 isl_bool isl_val_lt(__isl_keep isl_val *v1, __isl_keep isl_val *v2);
  124 isl_bool isl_val_le(__isl_keep isl_val *v1, __isl_keep isl_val *v2);
  124 isl_bool isl_val_le(__isl_keep isl_val *v1, __isl_keep isl_val *v2);
  126 isl_bool isl_val_gt(__isl_keep isl_val *v1, __isl_keep isl_val *v2);
  126 isl_bool isl_val_gt(__isl_keep isl_val *v1, __isl_keep isl_val *v2);
  127 isl_bool isl_val_gt_si(__isl_keep isl_val *v, long i);
  129 isl_bool isl_val_ge(__isl_keep isl_val *v1, __isl_keep isl_val *v2);
  129 isl_bool isl_val_ge(__isl_keep isl_val *v1, __isl_keep isl_val *v2);
  131 isl_bool isl_val_eq(__isl_keep isl_val *v1, __isl_keep isl_val *v2);
  131 isl_bool isl_val_eq(__isl_keep isl_val *v1, __isl_keep isl_val *v2);
  133 isl_bool isl_val_ne(__isl_keep isl_val *v1, __isl_keep isl_val *v2);
  133 isl_bool isl_val_ne(__isl_keep isl_val *v1, __isl_keep isl_val *v2);
  135 isl_bool isl_val_abs_eq(__isl_keep isl_val *v1, __isl_keep isl_val *v2);
  135 isl_bool isl_val_abs_eq(__isl_keep isl_val *v1, __isl_keep isl_val *v2);
  138 isl_bool isl_val_is_divisible_by(__isl_keep isl_val *v1,
  139 	__isl_keep isl_val *v2);
  142 __isl_give isl_val *isl_val_read_from_str(isl_ctx *ctx, const char *str);
  144 	__isl_keep isl_val *v);
  145 void isl_val_dump(__isl_keep isl_val *v);
  146 __isl_give char *isl_val_to_str(__isl_keep isl_val *v);
  149 	__isl_take isl_val *v);
  151 	__isl_take isl_val *v);

   34 __isl_give isl_val *isl_vec_get_element_val(__isl_keep isl_vec *vec, int pos);
   38 	int pos, __isl_take isl_val *v);
   52 	__isl_take isl_val *v);

  157 	__isl_take isl_val *val)
  642 __isl_give isl_val *isl_aff_get_denominator_val(__isl_keep isl_aff *aff)
  657 __isl_give isl_val *isl_aff_get_constant_val(__isl_keep isl_aff *aff)
  660 	isl_val *v;
  675 __isl_give isl_val *isl_aff_get_coefficient_val(__isl_keep isl_aff *aff,
  679 	isl_val *v;
  758 	__isl_take isl_val *v)
  838 	__isl_take isl_val *v)
 1050 	enum isl_dim_type type, int pos, __isl_take isl_val *v)
 1154 	enum isl_dim_type type, int pos, __isl_take isl_val *v)
 1576 	__isl_take isl_val *m)
 1624 	__isl_take isl_val *m)
 1843 	__isl_take isl_val *v)
 1910 	__isl_take isl_val *v)
 2139 	isl_val *c;
 4500 	isl_val *mod;
 6717 	isl_val *v;
 7206 	__isl_take isl_val *v)
 7241 		isl_val *v;
 7489 	__isl_take isl_union_pw_aff *upa, __isl_take isl_val *m)
 7710 	isl_val *v;
 7721 	isl_val *v;
 7737 	__isl_take isl_union_set *domain, __isl_take isl_val *v)
 8241 		isl_val *v;
 8723 	isl_val *v;
 9155 static __isl_give isl_val *eval_void(__isl_take isl_aff *aff,
 9169 static __isl_give isl_val *eval(__isl_keep isl_vec *aff,
 9174 	isl_val *v;
 9210 __isl_give isl_val *isl_aff_eval(__isl_take isl_aff *aff,
 9214 	isl_val *v;

  250 __isl_give isl_val *isl_ast_expr_get_val(__isl_keep isl_ast_expr *expr)
  446 __isl_give isl_ast_expr *isl_ast_expr_from_val(__isl_take isl_val *v)
 1946 	isl_val *v;

 1267 	__isl_take isl_val *stride, __isl_take isl_aff *offset)
 1305 	isl_val *stride;
 1343 	isl_val *stride;
 1408 	isl_val *stride;
 1687 	__isl_take isl_ast_build *build, __isl_take isl_val *m,
 1691 	isl_val *v;
 1914 	isl_val *v;
 1933 __isl_give isl_val *isl_ast_build_get_stride(__isl_keep isl_ast_build *build,

   31 	__isl_take isl_val *d)
   51 	isl_val *cst;
   52 	isl_val *v;
   76 	__isl_keep isl_val *d, struct isl_ast_add_term_data *data)
   79 	isl_val *shift;
  129 	__isl_keep isl_val *d, struct isl_ast_add_term_data *data)
  132 	isl_val *shift, *t;
  190 	isl_val *d;
  336 static __isl_give isl_ast_expr *isl_ast_expr_mod(__isl_keep isl_val *v,
  337 	__isl_keep isl_aff *aff, __isl_keep isl_val *d,
  371 	__isl_take isl_val *v)
  423 	__isl_take isl_val *v, struct isl_ast_add_term_data *data)
  447 	__isl_take isl_ast_expr *expr, __isl_take isl_val *v)
  505 	isl_val *v;
  506 	isl_val *d;
  639 	isl_val *v1, *v2;
  698 		isl_val *v;
  708 			isl_val *v1, *v2;
  826 	isl_val *v1, *v2;
 1007 	isl_val *v, *d;
 1086 	isl_val *v;
 1139 	isl_val *v;
 1174 static int constant_is_considered_positive(__isl_keep isl_val *v,
 1213 	isl_val *c, *d;
 1281 	isl_val *c;
 1973 	isl_val *den;

  218 	__isl_take isl_ast_build *build, __isl_take isl_val *m,
  300 __isl_give isl_val *isl_ast_build_get_stride(__isl_keep isl_ast_build *build,

  452 		isl_val *stride;
  927 	isl_val *v;
 1066 	isl_val *v;
 1570 	isl_val *m;
 1594 			isl_val *d;
 1693 	isl_val *d;
 2411 	__isl_keep isl_aff *lower, __isl_keep isl_val *n)
 2475 	isl_val *max;
 3699 	isl_val *v;
 3906 	__isl_keep isl_val *stride, __isl_keep isl_multi_val *offset,
 3931 		isl_val *v;
 3985 	__isl_keep isl_val *stride, __isl_keep isl_multi_val *offset,
 3991 	isl_val *val;
 4125 	isl_val *gcd = NULL;
 4159 		isl_val *r, *m;
 4190 			isl_val *a, *b;

   22 		isl_val *v;

  100 	__isl_keep isl_val *size)
  117 	__isl_keep isl_val *size)
  135 	isl_val *infty;
  216 	isl_val *size;
  251 	isl_val *v;

 2516 	isl_val *c;

  485 __isl_give isl_val *isl_constraint_get_constant_val(
  514 __isl_give isl_val *isl_constraint_get_coefficient_val(
  558 	__isl_take isl_constraint *constraint, __isl_take isl_val *v)
  622 	enum isl_dim_type type, int pos, __isl_take isl_val *v)

  876 	int pos, __isl_give isl_val **modulo, __isl_give isl_val **residue)
  876 	int pos, __isl_give isl_val **modulo, __isl_give isl_val **residue)

 1421 		isl_val *v;

 1087 __isl_give isl_val *isl_qpolynomial_fold_eval(
 1091 	isl_val *v;
 1108 			isl_val *v_i;
 1139 __isl_give isl_val *isl_qpolynomial_fold_opt_on_domain(
 1143 	isl_val *opt;
 1158 		isl_val *opt_i;
 1728 	__isl_take isl_qpolynomial_fold *fold, __isl_take isl_val *v)
 1775 	__isl_take isl_qpolynomial_fold *fold, __isl_take isl_val *v)

  518 static __isl_give isl_val *convert_lp_result(enum isl_lp_result lp_res,
  519 	__isl_take isl_val *v, int max)
  547 __isl_give isl_val *isl_basic_set_opt_val(__isl_keep isl_basic_set *bset,
  551 	isl_val *res;
  571 __isl_give isl_val *isl_basic_set_max_val(__isl_keep isl_basic_set *bset,
  585 __isl_give isl_val *isl_set_opt_val(__isl_keep isl_set *set, int max,
  589 	isl_val *res;
  609 __isl_give isl_val *isl_set_min_val(__isl_keep isl_set *set,
  621 __isl_give isl_val *isl_set_max_val(__isl_keep isl_set *set,
  631 static __isl_give isl_val *val_opt(__isl_take isl_val *v1,
  631 static __isl_give isl_val *val_opt(__isl_take isl_val *v1,
  632 	__isl_take isl_val *v2, int max)
  662 	isl_val *res;
  672 	isl_val *opt;
  694 static __isl_give isl_val *isl_pw_aff_opt_val(__isl_take isl_pw_aff *pa,
  715 	isl_val *res;
  723 	isl_val *opt;
  743 static __isl_give isl_val *isl_union_pw_aff_opt_val(
  762 __isl_give isl_val *isl_union_pw_aff_min_val(__isl_take isl_union_pw_aff *upa)
  773 __isl_give isl_val *isl_union_pw_aff_max_val(__isl_take isl_union_pw_aff *upa)
  800 		isl_val *v;
  876 __isl_give isl_val *isl_basic_set_dim_max_val(__isl_take isl_basic_set *bset,
  881 	isl_val *v;

  186 __isl_give isl_val *isl_stream_read_val(__isl_keep isl_stream *s)
  190 	isl_val *val;
  245 	isl_val *val;
 3536 	isl_val *val;

  214 static __isl_give isl_val *basic_set_opt_lp(
  218 	isl_val *res;
  253 static __isl_give isl_val *isl_basic_set_opt_lp_val_aligned(
  261 	isl_val *res;
  318 static __isl_give isl_val *isl_basic_set_opt_lp_val(
  322 	isl_val *res;
  351 __isl_give isl_val *isl_basic_set_min_lp_val(__isl_keep isl_basic_set *bset,
  362 __isl_give isl_val *isl_basic_set_max_lp_val(__isl_keep isl_basic_set *bset,

 4816 	__isl_take isl_val *d)
 6228 	enum isl_dim_type type, unsigned pos, __isl_take isl_val *v)
 6405 	enum isl_dim_type type, unsigned pos, __isl_take isl_val *v)
 6689 	__isl_take isl_val *value, int upper)
 9414 __isl_give isl_val *isl_basic_map_plain_get_val_if_fixed(
 9419 	isl_val *v;
 9453 __isl_give isl_val *isl_map_plain_get_val_if_fixed(__isl_keep isl_map *map,
 9457 	isl_val *v;
 9481 __isl_give isl_val *isl_set_plain_get_val_if_fixed(__isl_keep isl_set *set,

  329 __isl_give isl_val *isl_mat_get_element_val(__isl_keep isl_mat *mat,
  369 	int row, int col, __isl_take isl_val *v)

  159 		isl_val *val;

 1324 		isl_val *v;
 1360 		isl_val *v;
 1396 		isl_val *v;

  261 __isl_give isl_val *isl_point_get_coordinate_val(__isl_keep isl_point *pnt,
  265 	isl_val *v;
  289 	enum isl_dim_type type, int pos, __isl_take isl_val *v)

  902 	__isl_take struct isl_upoly *up, __isl_keep isl_val *v)
  925 	__isl_take struct isl_upoly *up, __isl_keep isl_val *v)
 1629 	__isl_take isl_qpolynomial *qp, __isl_take isl_val *v)
 1671 	__isl_take isl_qpolynomial *qp, __isl_take isl_val *v)
 1847 static __isl_give isl_val *isl_upoly_get_constant_val(
 1872 __isl_give isl_val *isl_qpolynomial_get_constant_val(
 2464 	__isl_take isl_space *domain, __isl_take isl_val *val)
 3059 __isl_give isl_val *isl_upoly_eval(__isl_take struct isl_upoly *up,
 3064 	isl_val *res;
 3065 	isl_val *base;
 3106 static __isl_give isl_val *eval_void(__isl_take isl_qpolynomial *qp,
 3117 __isl_give isl_val *isl_qpolynomial_eval(__isl_take isl_qpolynomial *qp,
 3122 	isl_val *v;
 3845 __isl_give isl_val *isl_term_get_coefficient_val(__isl_keep isl_term *term)
 4108 	isl_val *opt;
 4115 	isl_val *val;
 4130 __isl_give isl_val *isl_qpolynomial_opt_on_domain(

  190 __isl_give isl_val *isl_qpolynomial_opt_on_domain(
  215 __isl_give isl_val *isl_qpolynomial_fold_opt_on_domain(

   22 static __isl_give isl_val *FN(PW,eval_void)(__isl_take PW *pw,
   38 __isl_give isl_val *FN(PW,eval)(__isl_take PW *pw, __isl_take isl_point *pnt)
   46 	isl_val *v;

 1383 	enum isl_dim_type type, unsigned pos, __isl_take isl_val *v)
 1441 __isl_give isl_val *FN(PW,opt)(__isl_take PW *pw, int max)
 1444 	isl_val *opt;
 1458 		isl_val *opt_i;
 1471 __isl_give isl_val *FN(PW,max)(__isl_take PW *pw)
 1476 __isl_give isl_val *FN(PW,min)(__isl_take PW *pw)

   35 	isl_val *opt;

  312 __isl_give isl_val *isl_set_count_val(__isl_keep isl_set *set)
  314 	isl_val *v;

 1080 	isl_val *v;

  462 		isl_val *val;
  487 		isl_val *v;
  519 		isl_val *v;

 1717 	isl_val *v = NULL;

  864 		isl_val *size;
  909 static __isl_give isl_val *compute_size(__isl_take isl_set *set, int dim)
  914 	isl_val *v;
  966 		isl_val *v;
 1568 		isl_val *size;
 4395 		isl_val *v;

   92 __isl_give isl_val *isl_token_get_val(isl_ctx *ctx, struct isl_token *tok)

   21 	isl_val *stride;
   51 	__isl_take isl_val *stride, __isl_take isl_aff *offset)
   83 __isl_give isl_val *isl_stride_info_get_stride(__isl_keep isl_stride_info *si)
  112 	isl_val *stride;
  144 	__isl_take isl_val *stride, __isl_take isl_aff *offset)
  154 		isl_val *stride2, *a, *b, *g;
  233 	isl_val *v, *stride, *m;
  261 		isl_val *gcd, *a, *b;
  350 __isl_give isl_val *isl_set_get_stride(__isl_keep isl_set *set, int pos)

  563 	isl_val *v;
  648 static isl_stat val_check_equal(__isl_keep isl_val *val, const char *str)
  652 	isl_val *res;
  676 	__isl_give isl_val *(*op)(__isl_take isl_val *v);
  676 	__isl_give isl_val *(*op)(__isl_take isl_val *v);
  734 	isl_val *v;
  735 	__isl_give isl_val *(*fn)(__isl_take isl_val *v);
  735 	__isl_give isl_val *(*fn)(__isl_take isl_val *v);
  753 	__isl_give isl_val *(*fn)(__isl_take isl_val *v1,
  753 	__isl_give isl_val *(*fn)(__isl_take isl_val *v1,
  754 				__isl_take isl_val *v2);
  854 	isl_val *v1, *v2, *res;
  855 	__isl_give isl_val *(*fn)(__isl_take isl_val *v1,
  855 	__isl_give isl_val *(*fn)(__isl_take isl_val *v1,
  856 				__isl_take isl_val *v2);
 2736 	isl_val *res;
 2770 	isl_val *res;
 2792 	__isl_give isl_val *(*fn)(__isl_keep isl_set *set,
 2812 	isl_val *val, *res;
 7019 	isl_val *v;
 7047 	isl_val *v;
 7113 		isl_val *v;
 7329 	isl_val *exp;

   16 static __isl_give isl_val *FN(UNION,eval_void)(__isl_take UNION *u,
   41 __isl_give isl_val *FN(UNION,eval)(__isl_take UNION *u,
   48 	isl_val *v;

  873 	isl_val *v = user;
  924 	isl_val *v = user;

   21 __isl_give isl_val *isl_val_alloc(isl_ctx *ctx)
   23 	isl_val *v;
   40 __isl_give isl_val *isl_val_zero(isl_ctx *ctx)
   47 __isl_give isl_val *isl_val_one(isl_ctx *ctx)
   54 __isl_give isl_val *isl_val_negone(isl_ctx *ctx)
   61 __isl_give isl_val *isl_val_nan(isl_ctx *ctx)
   63 	isl_val *v;
   77 __isl_give isl_val *isl_val_set_nan(__isl_take isl_val *v)
   77 __isl_give isl_val *isl_val_set_nan(__isl_take isl_val *v)
   95 __isl_give isl_val *isl_val_infty(isl_ctx *ctx)
   97 	isl_val *v;
  111 __isl_give isl_val *isl_val_neginfty(isl_ctx *ctx)
  113 	isl_val *v;
  127 __isl_give isl_val *isl_val_int_from_si(isl_ctx *ctx, long i)
  129 	isl_val *v;
  143 __isl_give isl_val *isl_val_set_si(__isl_take isl_val *v, long i)
  143 __isl_give isl_val *isl_val_set_si(__isl_take isl_val *v, long i)
  161 __isl_give isl_val *isl_val_set_zero(__isl_take isl_val *v)
  161 __isl_give isl_val *isl_val_set_zero(__isl_take isl_val *v)
  168 __isl_give isl_val *isl_val_int_from_ui(isl_ctx *ctx, unsigned long u)
  170 	isl_val *v;
  184 __isl_give isl_val *isl_val_int_from_isl_int(isl_ctx *ctx, isl_int n)
  186 	isl_val *v;
  201 __isl_give isl_val *isl_val_rat_from_isl_int(isl_ctx *ctx,
  204 	isl_val *v;
  218 __isl_give isl_val *isl_val_copy(__isl_keep isl_val *v)
  218 __isl_give isl_val *isl_val_copy(__isl_keep isl_val *v)
  229 __isl_give isl_val *isl_val_dup(__isl_keep isl_val *val)
  229 __isl_give isl_val *isl_val_dup(__isl_keep isl_val *val)
  231 	isl_val *dup;
  249 __isl_give isl_val *isl_val_cow(__isl_take isl_val *val)
  249 __isl_give isl_val *isl_val_cow(__isl_take isl_val *val)
  262 __isl_null isl_val *isl_val_free(__isl_take isl_val *v)
  262 __isl_null isl_val *isl_val_free(__isl_take isl_val *v)
  281 long isl_val_get_num_si(__isl_keep isl_val *v)
  298 isl_stat isl_val_get_num_isl_int(__isl_keep isl_val *v, isl_int *n)
  313 long isl_val_get_den_si(__isl_keep isl_val *v)
  330 __isl_give isl_val *isl_val_get_den_val(__isl_keep isl_val *v)
  330 __isl_give isl_val *isl_val_get_den_val(__isl_keep isl_val *v)
  342 double isl_val_get_d(__isl_keep isl_val *v)
  354 isl_ctx *isl_val_get_ctx(__isl_keep isl_val *val)
  361 uint32_t isl_val_get_hash(__isl_keep isl_val *val)
  384 __isl_give isl_val *isl_val_normalize(__isl_take isl_val *v)
  384 __isl_give isl_val *isl_val_normalize(__isl_take isl_val *v)
  409 __isl_give isl_val *isl_val_neg(__isl_take isl_val *v)
  409 __isl_give isl_val *isl_val_neg(__isl_take isl_val *v)
  428 __isl_give isl_val *isl_val_inv(__isl_take isl_val *v)
  428 __isl_give isl_val *isl_val_inv(__isl_take isl_val *v)
  455 __isl_give isl_val *isl_val_abs(__isl_take isl_val *v)
  455 __isl_give isl_val *isl_val_abs(__isl_take isl_val *v)
  469 __isl_give isl_val *isl_val_floor(__isl_take isl_val *v)
  469 __isl_give isl_val *isl_val_floor(__isl_take isl_val *v)
  490 __isl_give isl_val *isl_val_ceil(__isl_take isl_val *v)
  490 __isl_give isl_val *isl_val_ceil(__isl_take isl_val *v)
  511 __isl_give isl_val *isl_val_trunc(__isl_take isl_val *v)
  511 __isl_give isl_val *isl_val_trunc(__isl_take isl_val *v)
  531 __isl_give isl_val *isl_val_pow2(__isl_take isl_val *v)
  531 __isl_give isl_val *isl_val_pow2(__isl_take isl_val *v)
  562 __isl_give isl_val *isl_val_2exp(__isl_take isl_val *v)
  562 __isl_give isl_val *isl_val_2exp(__isl_take isl_val *v)
  569 __isl_give isl_val *isl_val_min(__isl_take isl_val *v1, __isl_take isl_val *v2)
  569 __isl_give isl_val *isl_val_min(__isl_take isl_val *v1, __isl_take isl_val *v2)
  569 __isl_give isl_val *isl_val_min(__isl_take isl_val *v1, __isl_take isl_val *v2)
  597 __isl_give isl_val *isl_val_max(__isl_take isl_val *v1, __isl_take isl_val *v2)
  597 __isl_give isl_val *isl_val_max(__isl_take isl_val *v1, __isl_take isl_val *v2)
  597 __isl_give isl_val *isl_val_max(__isl_take isl_val *v1, __isl_take isl_val *v2)
  625 __isl_give isl_val *isl_val_add(__isl_take isl_val *v1, __isl_take isl_val *v2)
  625 __isl_give isl_val *isl_val_add(__isl_take isl_val *v1, __isl_take isl_val *v2)
  625 __isl_give isl_val *isl_val_add(__isl_take isl_val *v1, __isl_take isl_val *v2)
  684 __isl_give isl_val *isl_val_add_ui(__isl_take isl_val *v1, unsigned long v2)
  684 __isl_give isl_val *isl_val_add_ui(__isl_take isl_val *v1, unsigned long v2)
  703 __isl_give isl_val *isl_val_sub(__isl_take isl_val *v1, __isl_take isl_val *v2)
  703 __isl_give isl_val *isl_val_sub(__isl_take isl_val *v1, __isl_take isl_val *v2)
  703 __isl_give isl_val *isl_val_sub(__isl_take isl_val *v1, __isl_take isl_val *v2)
  762 __isl_give isl_val *isl_val_sub_ui(__isl_take isl_val *v1, unsigned long v2)
  762 __isl_give isl_val *isl_val_sub_ui(__isl_take isl_val *v1, unsigned long v2)
  781 __isl_give isl_val *isl_val_mul(__isl_take isl_val *v1, __isl_take isl_val *v2)
  781 __isl_give isl_val *isl_val_mul(__isl_take isl_val *v1, __isl_take isl_val *v2)
  781 __isl_give isl_val *isl_val_mul(__isl_take isl_val *v1, __isl_take isl_val *v2)
  842 __isl_give isl_val *isl_val_scale_val(__isl_take isl_val *v1,
  842 __isl_give isl_val *isl_val_scale_val(__isl_take isl_val *v1,
  843 	__isl_take isl_val *v2)
  850 __isl_give isl_val *isl_val_mul_ui(__isl_take isl_val *v1, unsigned long v2)
  850 __isl_give isl_val *isl_val_mul_ui(__isl_take isl_val *v1, unsigned long v2)
  874 __isl_give isl_val *isl_val_div(__isl_take isl_val *v1, __isl_take isl_val *v2)
  874 __isl_give isl_val *isl_val_div(__isl_take isl_val *v1, __isl_take isl_val *v2)
  874 __isl_give isl_val *isl_val_div(__isl_take isl_val *v1, __isl_take isl_val *v2)
  927 __isl_give isl_val *isl_val_div_ui(__isl_take isl_val *v1, unsigned long v2)
  927 __isl_give isl_val *isl_val_div_ui(__isl_take isl_val *v1, unsigned long v2)
  955 __isl_give isl_val *isl_val_scale_down_val(__isl_take isl_val *v1,
  955 __isl_give isl_val *isl_val_scale_down_val(__isl_take isl_val *v1,
  956 	__isl_take isl_val *v2)
  963 isl_bool isl_val_is_divisible_by(__isl_keep isl_val *v1, __isl_keep isl_val *v2)
  963 isl_bool isl_val_is_divisible_by(__isl_keep isl_val *v1, __isl_keep isl_val *v2)
  978 __isl_give isl_val *isl_val_mod(__isl_take isl_val *v1, __isl_take isl_val *v2)
  978 __isl_give isl_val *isl_val_mod(__isl_take isl_val *v1, __isl_take isl_val *v2)
  978 __isl_give isl_val *isl_val_mod(__isl_take isl_val *v1, __isl_take isl_val *v2)
 1007 __isl_give isl_val *isl_val_mod_val(__isl_take isl_val *v1,
 1007 __isl_give isl_val *isl_val_mod_val(__isl_take isl_val *v1,
 1008 	__isl_take isl_val *v2)
 1015 __isl_give isl_val *isl_val_gcd(__isl_take isl_val *v1, __isl_take isl_val *v2)
 1015 __isl_give isl_val *isl_val_gcd(__isl_take isl_val *v1, __isl_take isl_val *v2)
 1015 __isl_give isl_val *isl_val_gcd(__isl_take isl_val *v1, __isl_take isl_val *v2)
 1091 __isl_give isl_val *isl_val_gcdext(__isl_take isl_val *v1,
 1091 __isl_give isl_val *isl_val_gcdext(__isl_take isl_val *v1,
 1092 	__isl_take isl_val *v2, __isl_give isl_val **x, __isl_give isl_val **y)
 1092 	__isl_take isl_val *v2, __isl_give isl_val **x, __isl_give isl_val **y)
 1092 	__isl_take isl_val *v2, __isl_give isl_val **x, __isl_give isl_val **y)
 1095 	isl_val *a = NULL, *b = NULL;
 1140 isl_bool isl_val_is_int(__isl_keep isl_val *v)
 1150 isl_bool isl_val_is_rat(__isl_keep isl_val *v)
 1160 isl_bool isl_val_is_nan(__isl_keep isl_val *v)
 1170 isl_bool isl_val_is_infty(__isl_keep isl_val *v)
 1180 isl_bool isl_val_is_neginfty(__isl_keep isl_val *v)
 1190 isl_bool isl_val_is_zero(__isl_keep isl_val *v)
 1200 isl_bool isl_val_is_one(__isl_keep isl_val *v)
 1213 isl_bool isl_val_is_negone(__isl_keep isl_val *v)
 1223 isl_bool isl_val_is_pos(__isl_keep isl_val *v)
 1233 isl_bool isl_val_is_neg(__isl_keep isl_val *v)
 1243 isl_bool isl_val_is_nonneg(__isl_keep isl_val *v)
 1256 isl_bool isl_val_is_nonpos(__isl_keep isl_val *v)
 1271 int isl_val_sgn(__isl_keep isl_val *v)
 1284 isl_bool isl_val_lt(__isl_keep isl_val *v1, __isl_keep isl_val *v2)
 1284 isl_bool isl_val_lt(__isl_keep isl_val *v1, __isl_keep isl_val *v2)
 1317 isl_bool isl_val_gt(__isl_keep isl_val *v1, __isl_keep isl_val *v2)
 1317 isl_bool isl_val_gt(__isl_keep isl_val *v1, __isl_keep isl_val *v2)
 1324 isl_bool isl_val_gt_si(__isl_keep isl_val *v, long i)
 1326 	isl_val *vi;
 1349 isl_bool isl_val_le(__isl_keep isl_val *v1, __isl_keep isl_val *v2)
 1349 isl_bool isl_val_le(__isl_keep isl_val *v1, __isl_keep isl_val *v2)
 1382 isl_bool isl_val_ge(__isl_keep isl_val *v1, __isl_keep isl_val *v2)
 1382 isl_bool isl_val_ge(__isl_keep isl_val *v1, __isl_keep isl_val *v2)
 1393 int isl_val_cmp_si(__isl_keep isl_val *v, long i)
 1420 isl_bool isl_val_eq(__isl_keep isl_val *v1, __isl_keep isl_val *v2)
 1420 isl_bool isl_val_eq(__isl_keep isl_val *v1, __isl_keep isl_val *v2)
 1432 isl_bool isl_val_abs_eq(__isl_keep isl_val *v1, __isl_keep isl_val *v2)
 1432 isl_bool isl_val_abs_eq(__isl_keep isl_val *v1, __isl_keep isl_val *v2)
 1444 isl_bool isl_val_ne(__isl_keep isl_val *v1, __isl_keep isl_val *v2)
 1444 isl_bool isl_val_ne(__isl_keep isl_val *v1, __isl_keep isl_val *v2)
 1457 	__isl_keep isl_val *v)
 1490 int isl_val_plain_is_equal(__isl_keep isl_val *val1, __isl_keep isl_val *val2)
 1490 int isl_val_plain_is_equal(__isl_keep isl_val *val1, __isl_keep isl_val *val2)
 1503 isl_bool isl_val_involves_dims(__isl_keep isl_val *v, enum isl_dim_type type,
 1519 __isl_give isl_val *isl_val_insert_dims(__isl_take isl_val *v,
 1519 __isl_give isl_val *isl_val_insert_dims(__isl_take isl_val *v,
 1532 __isl_give isl_val *isl_val_drop_dims(__isl_take isl_val *v,
 1532 __isl_give isl_val *isl_val_drop_dims(__isl_take isl_val *v,
 1545 __isl_give isl_val *isl_val_set_dim_name(__isl_take isl_val *v,
 1545 __isl_give isl_val *isl_val_set_dim_name(__isl_take isl_val *v,
 1559 __isl_give isl_space *isl_val_get_space(__isl_keep isl_val *v)
 1574 __isl_give isl_val *isl_val_reset_domain_space(__isl_take isl_val *v,
 1574 __isl_give isl_val *isl_val_reset_domain_space(__isl_take isl_val *v,
 1592 __isl_give isl_val *isl_val_align_params(__isl_take isl_val *v,
 1592 __isl_give isl_val *isl_val_align_params(__isl_take isl_val *v,
 1609 __isl_give isl_val *isl_val_realign_domain(__isl_take isl_val *v,
 1609 __isl_give isl_val *isl_val_realign_domain(__isl_take isl_val *v,
 1625 __isl_give isl_val *isl_val_zero_on_domain(__isl_take isl_local_space *ls)
 1643 isl_bool isl_val_matching_params(__isl_keep isl_val *v,
 1658 isl_stat isl_val_check_match_domain_space(__isl_keep isl_val *v,
 1683 	__isl_give isl_val *(*fn)(__isl_take isl_val *v1,
 1683 	__isl_give isl_val *(*fn)(__isl_take isl_val *v1,
 1684 					__isl_take isl_val *v2),
 1685 	__isl_take isl_val *v)
 1710 	__isl_take isl_val *v)
 1724 	__isl_take isl_val *v)

   30 __isl_give isl_val *isl_val_alloc(isl_ctx *ctx);
   31 __isl_give isl_val *isl_val_normalize(__isl_take isl_val *v);
   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,
   35 __isl_give isl_val *isl_val_cow(__isl_take isl_val *val);
   35 __isl_give isl_val *isl_val_cow(__isl_take isl_val *val);
   37 isl_stat isl_val_get_num_isl_int(__isl_keep isl_val *v, isl_int *n);
   39 isl_bool isl_val_involves_dims(__isl_keep isl_val *v, enum isl_dim_type type,
   41 __isl_give isl_val *isl_val_insert_dims(__isl_take isl_val *v,
   41 __isl_give isl_val *isl_val_insert_dims(__isl_take isl_val *v,
   43 __isl_give isl_val *isl_val_drop_dims(__isl_take isl_val *v,
   43 __isl_give isl_val *isl_val_drop_dims(__isl_take isl_val *v,
   45 __isl_give isl_val *isl_val_set_dim_name(__isl_take isl_val *v,
   45 __isl_give isl_val *isl_val_set_dim_name(__isl_take isl_val *v,
   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,
   48 __isl_give isl_val *isl_val_reset_domain_space(__isl_take isl_val *v,
   50 __isl_give isl_val *isl_val_align_params(__isl_take isl_val *v,
   50 __isl_give isl_val *isl_val_align_params(__isl_take isl_val *v,
   52 __isl_give isl_val *isl_val_realign_domain(__isl_take isl_val *v,
   52 __isl_give isl_val *isl_val_realign_domain(__isl_take isl_val *v,
   54 __isl_give isl_val *isl_val_zero_on_domain(__isl_take isl_local_space *ls);
   56 __isl_give isl_val *isl_val_scale_val(__isl_take isl_val *v1,
   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,
   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,
   60 __isl_give isl_val *isl_val_mod_val(__isl_take isl_val *v1,
   61 	__isl_take isl_val *v2);
   63 int isl_val_plain_is_equal(__isl_keep isl_val *val1, __isl_keep isl_val *val2);
   63 int isl_val_plain_is_equal(__isl_keep isl_val *val1, __isl_keep isl_val *val2);
   65 isl_bool isl_val_matching_params(__isl_keep isl_val *v,
   67 isl_stat isl_val_check_match_domain_space(__isl_keep isl_val *v,

    7 __isl_give isl_val *isl_val_int_from_chunks(isl_ctx *ctx, size_t n,
   10 	isl_val *v;
   34 int isl_val_get_abs_num_chunks(__isl_keep isl_val *v, size_t size,
   57 size_t isl_val_n_abs_num_chunks(__isl_keep isl_val *v, size_t size)

  255 __isl_give isl_val *isl_vec_get_element_val(__isl_keep isl_vec *vec, int pos)
  303 	int pos, __isl_take isl_val *v)
  408 	__isl_take isl_val *v)

  238 __isl_give isl_val *pet_expr_int_get_val(__isl_keep pet_expr *expr);
  241 	__isl_take isl_val *v);

  415 		isl_val *v;

  545 		isl_val *v;
  879 		isl_val *bound;
  940 	isl_val *left, *size;
 1081 		isl_val *max;

   57 __isl_give isl_val *gpu_array_tile_size(struct gpu_array_tile *tile)
   60 	isl_val *size;

   18 	isl_val *size;
   21 	isl_val *stride;
   57 __isl_give isl_val *gpu_array_tile_size(struct gpu_array_tile *tile);

  130 	struct gpu_array_bound *bound, __isl_keep isl_val *stride, int sign)
  133 	isl_val *v;
  191 	isl_val *v;
  201 		isl_val *stride = isl_val_zero(ctx);
  332 	isl_val *v;
 1314 	isl_val *size, *size1, *size2;
 1582 		isl_val *v;
 1738 		isl_val *stride_i;

   48 	isl_val *upper;
   86 		isl_val *v = isl_val_copy(bounds->upper);
  113 __isl_give isl_val *ppcg_ht_bounds_get_upper(__isl_keep ppcg_ht_bounds *bounds)
  124 	__isl_take ppcg_ht_bounds *bounds, __isl_take isl_val *upper)
  140 __isl_give isl_val *ppcg_ht_bounds_get_lower(__isl_keep ppcg_ht_bounds *bounds,
  152 	__isl_take ppcg_ht_bounds *bounds, int pos, __isl_take isl_val *lower)
  186 		isl_val *v;
  424 	__isl_keep isl_val *h, __isl_keep isl_val *du, __isl_keep isl_val *duh)
  424 	__isl_keep isl_val *h, __isl_keep isl_val *du, __isl_keep isl_val *duh)
  424 	__isl_keep isl_val *h, __isl_keep isl_val *du, __isl_keep isl_val *duh)
  426 	isl_val *v;
  449 	__isl_keep isl_val *h)
  451 	isl_val *v;
  472 	__isl_take isl_local_space *ls, __isl_keep isl_val *h,
  473 	__isl_keep isl_val *s0, __isl_keep isl_val *dl, __isl_keep isl_val *duh)
  473 	__isl_keep isl_val *s0, __isl_keep isl_val *dl, __isl_keep isl_val *duh)
  473 	__isl_keep isl_val *s0, __isl_keep isl_val *dl, __isl_keep isl_val *duh)
  475 	isl_val *v;
  500 	__isl_keep isl_val *h, __isl_keep isl_val *dl)
  500 	__isl_keep isl_val *h, __isl_keep isl_val *dl)
  502 	isl_val *v, *d;
  527 	__isl_take isl_local_space *ls, __isl_keep isl_val *h,
  528 	__isl_keep isl_val *s0, __isl_keep isl_val *du,
  528 	__isl_keep isl_val *s0, __isl_keep isl_val *du,
  529 	__isl_keep isl_val *dlh, __isl_keep isl_val *duh)
  529 	__isl_keep isl_val *dlh, __isl_keep isl_val *duh)
  531 	isl_val *v, *d;
  601 	__isl_keep isl_val *h, __isl_keep isl_val *s0,
  601 	__isl_keep isl_val *h, __isl_keep isl_val *s0,
  602 	__isl_keep isl_val *dl, __isl_keep isl_val *du,
  602 	__isl_keep isl_val *dl, __isl_keep isl_val *du,
  603 	__isl_keep isl_val *dlh, __isl_keep isl_val *duh)
  603 	__isl_keep isl_val *dlh, __isl_keep isl_val *duh)
  678 	__isl_keep isl_val *dlh, __isl_keep isl_val *duh)
  678 	__isl_keep isl_val *dlh, __isl_keep isl_val *duh)
  680 	isl_val *size;
  701 	__isl_keep isl_space *space, __isl_keep isl_val *st,
  702 	__isl_keep isl_val *s0, __isl_keep isl_val *duh)
  702 	__isl_keep isl_val *s0, __isl_keep isl_val *duh)
  704 	isl_val *v;
  723 	__isl_keep isl_val *st)
  725 	isl_val *v;
  768 	isl_val *v;
  818 	__isl_keep isl_val *st, __isl_keep isl_multi_val *space_sizes)
  820 	isl_val *v;
  887 	isl_val *h, *duh, *dlh;
  888 	isl_val *st, *s0, *du, *dl;
 1177 	isl_val *a, *b;
 1228 	isl_val *v;
 1265 	isl_val *nan;
 1523 		isl_val *v;
 1945 static isl_bool wide_enough(__isl_keep isl_val *s0, __isl_keep isl_val *delta,
 1945 static isl_bool wide_enough(__isl_keep isl_val *s0, __isl_keep isl_val *delta,
 1946 	__isl_keep isl_val *h)
 1948 	isl_val *v, *v2;
 1994 	isl_val *s0, *h;
 1995 	isl_val *delta;

   24 	isl_val *v;
   59 		isl_val *v;

   19 __isl_give isl_val *polly::isl_valFromAPInt(isl_ctx *Ctx, const APInt Int,
   22   isl_val *v;
   51 APInt polly::APIntFromVal(__isl_take isl_val *Val) {

  243   isl_val *v;