#include <isl_map_private.h>
#include <isl_union_map_private.h>
#include <isl_polynomial_private.h>
#include <isl_point_private.h>
#include <isl_space_private.h>
#include <isl_lp_private.h>
#include <isl_seq.h>
#include <isl_mat_private.h>
#include <isl_val_private.h>
#include <isl_vec_private.h>
#include <isl_config.h>
#undef EL_BASE
#define EL_BASE …
#include <isl_list_templ.c>
enum isl_fold isl_fold_type_negate(enum isl_fold type)
{ … }
static __isl_give isl_qpolynomial_fold *qpolynomial_fold_alloc(
enum isl_fold type, __isl_take isl_space *space,
__isl_take isl_qpolynomial_list *list)
{ … }
isl_ctx *isl_qpolynomial_fold_get_ctx(__isl_keep isl_qpolynomial_fold *fold)
{ … }
static __isl_keep isl_space *isl_qpolynomial_fold_peek_domain_space(
__isl_keep isl_qpolynomial_fold *fold)
{ … }
__isl_give isl_space *isl_qpolynomial_fold_get_domain_space(
__isl_keep isl_qpolynomial_fold *fold)
{ … }
static __isl_give isl_space *isl_qpolynomial_fold_take_domain_space(
__isl_keep isl_qpolynomial_fold *fold)
{ … }
static
__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_restore_domain_space(
__isl_keep isl_qpolynomial_fold *fold, __isl_take isl_space *space)
{ … }
__isl_give isl_space *isl_qpolynomial_fold_get_space(
__isl_keep isl_qpolynomial_fold *fold)
{ … }
__isl_keep isl_qpolynomial_list *isl_qpolynomial_fold_peek_list(
__isl_keep isl_qpolynomial_fold *fold)
{ … }
static __isl_give isl_qpolynomial_list *isl_qpolynomial_fold_get_list(
__isl_keep isl_qpolynomial_fold *fold)
{ … }
static __isl_give isl_qpolynomial_list *isl_qpolynomial_fold_take_list(
__isl_keep isl_qpolynomial_fold *fold)
{ … }
static __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_restore_list(
__isl_keep isl_qpolynomial_fold *fold,
__isl_take isl_qpolynomial_list *list)
{ … }
static __isl_give isl_qpolynomial *reset_domain_space(
__isl_take isl_qpolynomial *qp, void *user)
{ … }
__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_reset_domain_space(
__isl_take isl_qpolynomial_fold *fold, __isl_take isl_space *space)
{ … }
__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_reset_space_and_domain(
__isl_take isl_qpolynomial_fold *fold, __isl_take isl_space *space,
__isl_take isl_space *domain)
{ … }
struct isl_fold_dims_data { … };
static isl_bool not_involved(__isl_keep isl_qpolynomial *qp, void *user)
{ … }
static isl_bool isl_qpolynomial_fold_involves_dims(
__isl_keep isl_qpolynomial_fold *fold,
enum isl_dim_type type, unsigned first, unsigned n)
{ … }
struct isl_fold_set_dim_name_data { … };
static __isl_give isl_qpolynomial *set_dim_name(__isl_take isl_qpolynomial *qp,
void *user)
{ … }
static enum isl_dim_type domain_type(enum isl_dim_type type)
{ … }
__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_set_dim_name(
__isl_take isl_qpolynomial_fold *fold,
enum isl_dim_type type, unsigned pos, const char *s)
{ … }
static __isl_give isl_qpolynomial *drop_dims(__isl_take isl_qpolynomial *qp,
void *user)
{ … }
__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_drop_dims(
__isl_take isl_qpolynomial_fold *fold,
enum isl_dim_type type, unsigned first, unsigned n)
{ … }
static __isl_give isl_qpolynomial *insert_dims(__isl_take isl_qpolynomial *qp,
void *user)
{ … }
__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_insert_dims(
__isl_take isl_qpolynomial_fold *fold,
enum isl_dim_type type, unsigned first, unsigned n)
{ … }
static int isl_qpolynomial_cst_sign(__isl_keep isl_qpolynomial *qp)
{ … }
static int isl_qpolynomial_aff_sign(__isl_keep isl_set *set,
__isl_keep isl_qpolynomial *qp)
{ … }
static int isl_qpolynomial_sign(__isl_keep isl_set *set,
__isl_keep isl_qpolynomial *qp)
{ … }
static isl_stat isl_qpolynomial_fold_check_equal_type(
__isl_keep isl_qpolynomial_fold *fold1,
__isl_keep isl_qpolynomial_fold *fold2)
{ … }
static isl_stat isl_qpolynomial_fold_check_equal_space(
__isl_keep isl_qpolynomial_fold *fold1,
__isl_keep isl_qpolynomial_fold *fold2)
{ … }
static __isl_give isl_qpolynomial_list *merge_lists(__isl_keep isl_set *set,
__isl_take isl_qpolynomial_list *list1,
__isl_take isl_qpolynomial_list *list2, int better)
{ … }
__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_fold_on_domain(
__isl_keep isl_set *set,
__isl_take isl_qpolynomial_fold *fold1,
__isl_take isl_qpolynomial_fold *fold2)
{ … }
static __isl_give isl_qpolynomial *add_qpolynomial(
__isl_take isl_qpolynomial *qp, void *user)
{ … }
__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_add_qpolynomial(
__isl_take isl_qpolynomial_fold *fold, __isl_take isl_qpolynomial *qp)
{ … }
__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_add_on_domain(
__isl_keep isl_set *dom,
__isl_take isl_qpolynomial_fold *fold1,
__isl_take isl_qpolynomial_fold *fold2)
{ … }
static __isl_give isl_qpolynomial *substitute_equalities(
__isl_take isl_qpolynomial *qp, void *user)
{ … }
__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_substitute_equalities(
__isl_take isl_qpolynomial_fold *fold, __isl_take isl_basic_set *eq)
{ … }
static __isl_give isl_qpolynomial *gist(__isl_take isl_qpolynomial *qp,
void *user)
{ … }
__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_gist(
__isl_take isl_qpolynomial_fold *fold, __isl_take isl_set *context)
{ … }
__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_gist_params(
__isl_take isl_qpolynomial_fold *fold, __isl_take isl_set *context)
{ … }
static __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_zero_in_space(
__isl_take isl_space *space, enum isl_fold type)
{ … }
#define isl_qpolynomial_fold_involves_nan …
#define HAS_TYPE
#undef PW
#define PW …
#undef BASE
#define BASE …
#undef EL_IS_ZERO
#define EL_IS_ZERO …
#undef ZERO
#define ZERO …
#undef IS_ZERO
#define IS_ZERO …
#undef FIELD
#define FIELD …
#undef DEFAULT_IS_ZERO
#define DEFAULT_IS_ZERO …
#include <isl_pw_templ.c>
#include <isl_pw_add_disjoint_templ.c>
#include <isl_pw_eval.c>
#include <isl_pw_fix_templ.c>
#include <isl_pw_from_range_templ.c>
#include <isl_pw_insert_dims_templ.c>
#include <isl_pw_lift_templ.c>
#include <isl_pw_morph_templ.c>
#include <isl_pw_move_dims_templ.c>
#include <isl_pw_opt_templ.c>
#undef BASE
#define BASE …
#include <isl_union_single.c>
#include <isl_union_eval.c>
__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_empty(enum isl_fold type,
__isl_take isl_space *space)
{ … }
__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_alloc(
enum isl_fold type, __isl_take isl_qpolynomial *qp)
{ … }
__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_copy(
__isl_keep isl_qpolynomial_fold *fold)
{ … }
__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_dup(
__isl_keep isl_qpolynomial_fold *fold)
{ … }
__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_cow(
__isl_take isl_qpolynomial_fold *fold)
{ … }
__isl_null isl_qpolynomial_fold *isl_qpolynomial_fold_free(
__isl_take isl_qpolynomial_fold *fold)
{ … }
isl_bool isl_qpolynomial_fold_is_empty(__isl_keep isl_qpolynomial_fold *fold)
{ … }
isl_bool isl_qpolynomial_fold_is_nan(__isl_keep isl_qpolynomial_fold *fold)
{ … }
__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_fold(
__isl_take isl_qpolynomial_fold *fold1,
__isl_take isl_qpolynomial_fold *fold2)
{ … }
__isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_fold(
__isl_take isl_pw_qpolynomial_fold *pw1,
__isl_take isl_pw_qpolynomial_fold *pw2)
{ … }
__isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_fold_pw_qpolynomial_fold(
__isl_take isl_union_pw_qpolynomial_fold *u,
__isl_take isl_pw_qpolynomial_fold *part)
{ … }
static isl_stat fold_part(__isl_take isl_pw_qpolynomial_fold *part, void *user)
{ … }
__isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_fold(
__isl_take isl_union_pw_qpolynomial_fold *u1,
__isl_take isl_union_pw_qpolynomial_fold *u2)
{ … }
__isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_from_pw_qpolynomial(
enum isl_fold type, __isl_take isl_pw_qpolynomial *pwqp)
{ … }
__isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_add(
__isl_take isl_pw_qpolynomial_fold *pwf1,
__isl_take isl_pw_qpolynomial_fold *pwf2)
{ … }
int isl_qpolynomial_fold_plain_cmp(__isl_keep isl_qpolynomial_fold *fold1,
__isl_keep isl_qpolynomial_fold *fold2)
{ … }
static isl_bool isl_qpolynomial_list_plain_is_equal(unsigned n,
isl_qpolynomial_list *list1, isl_qpolynomial_list *list2)
{ … }
static int qpolynomial_cmp(__isl_keep isl_qpolynomial *a,
__isl_keep isl_qpolynomial *b, void *user)
{ … }
isl_bool isl_qpolynomial_fold_plain_is_equal(
__isl_keep isl_qpolynomial_fold *fold1,
__isl_keep isl_qpolynomial_fold *fold2)
{ … }
__isl_give isl_val *isl_qpolynomial_fold_eval(
__isl_take isl_qpolynomial_fold *fold, __isl_take isl_point *pnt)
{ … }
size_t isl_pw_qpolynomial_fold_size(__isl_keep isl_pw_qpolynomial_fold *pwf)
{ … }
__isl_give isl_val *isl_qpolynomial_fold_opt_on_domain(
__isl_take isl_qpolynomial_fold *fold, __isl_take isl_set *set, int max)
{ … }
static isl_bool qpolynomial_fold_covers_on_domain(__isl_keep isl_set *set,
__isl_keep isl_qpolynomial_fold *fold1,
__isl_keep isl_qpolynomial_fold *fold2)
{ … }
isl_bool isl_pw_qpolynomial_fold_covers(
__isl_keep isl_pw_qpolynomial_fold *pwf1,
__isl_keep isl_pw_qpolynomial_fold *pwf2)
{ … }
static __isl_give isl_qpolynomial *morph_domain(
__isl_take isl_qpolynomial *qp, void *user)
{ … }
__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_morph_domain(
__isl_take isl_qpolynomial_fold *fold, __isl_take isl_morph *morph)
{ … }
enum isl_fold isl_qpolynomial_fold_get_type(__isl_keep isl_qpolynomial_fold *fold)
{ … }
enum isl_fold isl_pw_qpolynomial_fold_get_type(
__isl_keep isl_pw_qpolynomial_fold *pwf)
{ … }
enum isl_fold isl_union_pw_qpolynomial_fold_get_type(
__isl_keep isl_union_pw_qpolynomial_fold *upwf)
{ … }
static __isl_give isl_qpolynomial *lift(__isl_take isl_qpolynomial *qp,
void *user)
{ … }
__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_lift(
__isl_take isl_qpolynomial_fold *fold, __isl_take isl_space *space)
{ … }
isl_stat isl_qpolynomial_fold_foreach_qpolynomial(
__isl_keep isl_qpolynomial_fold *fold,
isl_stat (*fn)(__isl_take isl_qpolynomial *qp, void *user), void *user)
{ … }
struct isl_fold_move_dims_data { … };
static __isl_give isl_qpolynomial *move_dims(__isl_take isl_qpolynomial *qp,
void *user)
{ … }
__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_move_dims(
__isl_take isl_qpolynomial_fold *fold,
enum isl_dim_type dst_type, unsigned dst_pos,
enum isl_dim_type src_type, unsigned src_pos, unsigned n)
{ … }
struct isl_fold_substitute { … };
static __isl_give isl_qpolynomial *substitute(__isl_take isl_qpolynomial *qp,
void *user)
{ … }
__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_substitute(
__isl_take isl_qpolynomial_fold *fold,
enum isl_dim_type type, unsigned first, unsigned n,
__isl_keep isl_qpolynomial **subs)
{ … }
static isl_stat add_pwqp(__isl_take isl_pw_qpolynomial *pwqp, void *user)
{ … }
__isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_add_union_pw_qpolynomial(
__isl_take isl_union_pw_qpolynomial_fold *upwf,
__isl_take isl_union_pw_qpolynomial *upwqp)
{ … }
static isl_bool join_compatible(__isl_keep isl_space *space1,
__isl_keep isl_space *space2)
{ … }
__isl_give isl_pw_qpolynomial_fold *isl_map_apply_pw_qpolynomial_fold(
__isl_take isl_map *map, __isl_take isl_pw_qpolynomial_fold *pwf,
isl_bool *tight)
{ … }
__isl_give isl_pw_qpolynomial_fold *isl_set_apply_pw_qpolynomial_fold(
__isl_take isl_set *set, __isl_take isl_pw_qpolynomial_fold *pwf,
isl_bool *tight)
{ … }
struct isl_apply_fold_data { … };
static isl_stat pw_qpolynomial_fold_apply(
__isl_take isl_pw_qpolynomial_fold *pwf, void *user)
{ … }
static isl_stat map_apply(__isl_take isl_map *map, void *user)
{ … }
__isl_give isl_union_pw_qpolynomial_fold *isl_union_map_apply_union_pw_qpolynomial_fold(
__isl_take isl_union_map *umap,
__isl_take isl_union_pw_qpolynomial_fold *upwf, isl_bool *tight)
{ … }
__isl_give isl_union_pw_qpolynomial_fold *isl_union_set_apply_union_pw_qpolynomial_fold(
__isl_take isl_union_set *uset,
__isl_take isl_union_pw_qpolynomial_fold *upwf, isl_bool *tight)
{ … }
static __isl_give isl_qpolynomial *realign_domain(
__isl_take isl_qpolynomial *qp, void *user)
{ … }
__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_realign_domain(
__isl_take isl_qpolynomial_fold *fold, __isl_take isl_reordering *r)
{ … }
static __isl_give isl_qpolynomial *mul_int(__isl_take isl_qpolynomial *qp,
void *user)
{ … }
__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_mul_isl_int(
__isl_take isl_qpolynomial_fold *fold, isl_int v)
{ … }
__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_scale(
__isl_take isl_qpolynomial_fold *fold, isl_int v)
{ … }
static __isl_give isl_qpolynomial *scale_val(__isl_take isl_qpolynomial *qp,
void *user)
{ … }
__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_scale_val(
__isl_take isl_qpolynomial_fold *fold, __isl_take isl_val *v)
{ … }
__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_scale_down_val(
__isl_take isl_qpolynomial_fold *fold, __isl_take isl_val *v)
{ … }